c++ - 循环中分支预测的性能

Question

这两个代码片段之间会有明显的速度差异吗？天真地，我认为第二个片段会更快，因为遇到的分支指令要少得多，但另一方面，分支预测器应该可以解决这个问题。还是尽管有可预测的模式，但它会产生明显的开销？假设没有使用条件移动指令。

片段1：

for (int i = 0; i < 100; i++) {
    if (a == 3)
        output[i] = 1;
    else
        output[i] = 0;
}

片段 2：

if (a == 3) {
    for (int i = 0; i < 100; i++)
        output[i] = 1;
} else {
    for (int i = 0; i < 100; i++)
        output[i] = 0;
}

我不打算自己优化这些案例，但我想更多地了解分支的开销，即使具有可预测的模式。

score 3 · Accepted Answer

由于进入循环后a保持不变，因此两个代码片段之间应该没有太大区别。

就个人而言，我更喜欢前者，除非分支预测器无法预测真正不可能的分支，因为它a在循环中保持不变。

此外，编译器可能会执行此优化：

从而使两个代码片段发出完全相同的机器指令。

score 1 · Accepted Answer

你问了一个性能问题，但没有指定硬件（尽管从这个问题我们可以推断它是具有分支预测的架构之一）、工具链或编译选项。

总的来说，这只是另一个空间与速度的权衡，空间本身通常会影响速度（CPU 指令和微码缓存）。

唯一合理的答案是“性能会因处理器硬件和编译器优化而异。 ”

2 回答 2