__builtin_expect使用指南

Question

我应该用gcc的__builtin_expected宏在带有多个嵌套测试的if中包装什么？我有这样的代码：

if((x<RADIUS && (forward?v<0:v>0)) || (x+RADIUS>dimensions[d] && (forward?v>0:v<0)))

我已经（可笑地）包装了我能包装的一切：

#define likely(x)       __builtin_expect((x),1)
#define unlikely(x)     __builtin_expect((x),0)
if(unlikely(unlikely(unlikely(x<RADIUS) && likely(likely(forward)?likely(v<0):likely(v>0))) || unlikely(unlikely(x+RADIUS>dimensions[d]) && likely(likely(forward)?likely(v>0):likely(v<0)))))

我希望这只是过火，因为它几乎是不可读的。

Answer 1

我不认为这里有错误的答案。编译器将使用您的提示来决定哪一种情况是每次比较的“else”情况；不仅仅是C代码，还有逻辑的and和or，信息越多越好。

为了代码的可读性，我建议将其保留在大内容中：每个if语句一次，但这并不是真的基于任何确凿的证据。

有没有考虑过使用< code>-fprofile-generate，用典型数据运行代码，然后用< code>-fprofile-use重新构建？这样，编译器可以为所有这些情况构建自己的图像。这更具可移植性(没有特定于编译器的注释)，更具可读性，并且更经得起未来的检验。