分支指令优化疑问

fuping0726

如下面的代码：
if (...)
{
    //代码块1
}
else
{
    //代码块2
}

//代码块3

流行的说法是把可能性最大的放代码块1，或者用likely来直接告诉编译器，但细想觉得cpu分支预测还是毫无作用啊，假如预测成功（假定预测的是代码块1，而实际应该执行代码块1），代码块1进入cpu流水线，但在代码块1结束的时候还是有一条绝对跳转指令跳转到代码块3，这条跳转指令一样会引起流水线的flush吧，因为这条跳转指令之后紧跟的指令是代码块2的；而预测失败呢（假定预测的是代码块1，而实际应该执行代码块2），会马上flush流水线，但在代码块2结束时后面紧跟代码块三的指令，流水线中预取的指令都有效。
我的疑问是：无论预测成功与否如何都要flush一次流水线，那我们的编码技巧（即把可能性最大的放代码块1或增加likely）用处不大啊（仅在预测的是代码块2，实际应该执行代码块2这种情况下才完全避免流水线问题），感觉不合理，还是cpu对绝对跳转指令有更特殊的优化（比如遇到绝对跳转指令就快速译码以便取的下一条指令就是跳转目标）？

liuiang

绝对跳转可能在预解码的时候就可以分析出来，所以损失很小或者没有，但条件跳转则依赖一些运行期的东西，

不到最后一刻是不知道运行哪个分支的，所以如果预测错误，损失会是整个流水线。