optimization - 使用 __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

我不认为这里有错误的答案。编译器将使用您的提示来决定每次比较的“其他”情况；这不仅是其他 C 代码，而且在逻辑的ands和ors中也是如此，而且信息越多越好。

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

您是否考虑过使用-fprofile-generate，使用典型数据运行代码，然后使用 重建-fprofile-use？这样编译器就可以为所有这些情况构建自己的图片。这更可移植（没有特定于编译器的注释），更具可读性和更多的未来证明。