你可以使用switch語句的builtin_expect

Question

我有一個switch語句在一些時間關鍵的代碼。我試圖用__builtin_expect來優化它，但它似乎沒有工作。我想知道是否有人可以告訴我，如果我錯過了一些細節，或者如果編譯器沒有爲它優化。我已經試過我的主機上執行以下操作：

int main() { 
    volatile int v=0; 
    long i = 0; 

    for (i=0; i<1000000000L; i++) { 
      switch(__builtin_expect(v, EXPT)) { 
      case 7: 
        v=7; 
        break; 
      default: 
        v=7; 
        break; 
      } 
    } 
    return v; 
} 

然後我編譯和運行如下：

~/code/builtinexpect> gcc bie.c -o bie -D EXPT=0 && time ./bie 

real 0m2.092s 
user 0m2.086s 
sys  0m0.000s 
~/code/builtinexpect> gcc bie.c -o bie -D EXPT=7 && time ./bie 

real 0m2.092s 
user 0m2.086s 
sys  0m0.000s 

我使用GCC 4.5.1版。

Answer 1

GCC不支持任何我知道的架構。如果您有一個強烈支持特定情況的switch聲明，那麼您最好的辦法是執行if ... else switch ...聲明。這會導致您正在尋找的優化。

Answer 2

兩個case分支（因此所有箱子）做同樣的事情，所以編譯器是免費的v=7整體更換switch語句。即使它沒有（沒有優化），你會期望在時間上有什麼真正的不同嗎？

但更重要的是，__builtin_expect計算爲(v == EXPT)，無論是(0)或(1)，所以case 7:將永遠不會被取出。