当循环迭代次数不恒定时，分支预测器能否完美预测？

Question

以下代码在 Intel Core i7 上是否会导致分支预测错误？

for(i = 0, count = *ptr; i < count; i++) {
    // do something
}

计数可以是 0、1 或 2。

Answer 1

如果 count 随机变化，则无法预测循环条件。如果它以某种模式运行 - 让我们重复说 0,1,2,1 - 它可以在 core2 或 i7 上完美预测。对于其他模式，这取决于。

参见The microarchitecture of Intel, AMD and VIA CPUs: An optimization guide for assembly programmers and compiler makers在“分支预测”一章中有更详细的解释。