想象一下将由以下代码生成的汇编代码:
if (__builtin_expect(x, 0)) { foo(); ...} else { bar(); ...}我想应该是这样的:
cmp $x, 0 jne _foo_bar: call bar ... jmp after_if_foo: call foo ...after_if:
您可以看到,指令的排列顺序是
bar大小写先于
foo大小写(与C代码相对)。这可以更好地利用CPU管线,因为跳转会破坏已经获取的指令。
在执行跳转之前,将其下面的指令(
bar案例)推送到管道中。由于
foo情况不太可能发生,因此也不太可能发生跳跃,因此不太可能对管道造成破坏。



