gcc中的「假設」子句

Question

gcc（最新版本：4.8,4.9）是否具有類似於由icc支持的__assume()內置的「假定」子句？ 例如，__assume(n % 8 == 0);

Answer 1

從gcc 4.8.2開始，在gcc中沒有__assume（）的等價物。我不知道爲什麼 - 這將是非常有用的。 mafso建議：

#define __assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0) 

這是一個古老的把戲，至少早在2010年就已知，可能更長。編譯器通常優化'cond'的評估，因爲任何對cond爲false的評估都是不確定的。然而，如果它包含對不透明（非內聯）函數的調用，它似乎並沒有優化'cond'。編譯器必須假定不透明的調用可能有副作用（例如，改變全局），並且不能優化掉呼叫，儘管它可以優化結果上的任何計算和分支。出於這個原因，宏觀方法充其量只是一個部分解決方案。