分支预测与分支目标预测

Question

我是否理解这一点,if语句更依赖于分支预测,而v-table查找更依赖于分支目标预测？关于v表,没有"分支预测",只有目标预测？

试图了解CPU如何处理v表.

Answer 1

分支预测是预测分支是否将被采用.分支目标预测是预测,其中分支打算.这两件事是独立的,可以在所有组合中出现.

这些例子可能是:

无条件分支,固定目标

• 无限循环
• goto 声明
• break或continue声明
• if/else声明的'then'子句结束(跳过该else子句)
• 非虚函数调用

无条件分支,变量目标

• 从函数返回
• 虚函数调用
• 函数指针调用
• switch 语句(如果编译成跳转表)

条件分支,固定目标

• if 声明
• switch声明(如果汇编成一系列if/else声明)
• 循环条件测试
• 在&&与||运营商
• 三元?:运算符

条件分支,变量目标

• 在正常情况下不太可能出现,但编译器可能会综合一个作为优化,结合上述两种情况.例如,在x86上,编译器可以将代码优化if (condition) { obj->VirtualFunctionCall(); }为条件间接跳转,就像jne *%eax它由于尾调用优化而出现在函数末尾一样.