循环中重复与去重相同条件代码的性能对比

版本1代码 #

while (some_condition) {
    // .. work that may trigger rare_condition ...

    if (rare_condition) {
        // .. rare work here ..
        continue;
    }

    // .. work that may trigger rare_condition ...

    if (rare_condition) {
        // .. rare work here ..
        continue;
    }

    // .. more work
}

版本2代码 #

while (some_condition) {
    // .. work that may trigger rare_condition ...

    if (rare_condition) {
        goto rare_work;
    }

    // .. work that may trigger rare_condition ...

    if (rare_condition) {
        goto rare_work;
    }

    // .. more work
    continue;

  rare_work:
    // .. rare work here ..
}

已知两处的rare work逻辑完全相同，编译器通常会自动将版本1转换为版本2以减少汇编代码量、提升指令缓存适配性。现提出问询：若指令缓存不是问题，在底层微优化、手写汇编强制实现两种版本的前提下，是否存在高阶层面的理由预期二者性能有差异？（注：端口可用性等随实际指令变化的因素不在讨论范围内，仅关注高阶层面的差异预期）

高阶层面性能差异分析 #

• 分支预测行为差异：版本1中触发rare_condition后，continue直接跳转到循环头部；版本2则是先跳转到rare_work执行，之后再自然回到循环开头。现代CPU分支预测器对不同跳转路径的学习逻辑不同：版本1的两次continue是指向同一目标的重复分支，预测器更容易识别并维持高预测准确率；版本2的两次goto指向rare_work，后续从rare_work回到循环头又是一个新分支，这会增加预测器的追踪负担，极端情况下可能降低预测准确率，进而影响性能。

• 指令流连续性差异：版本1的rare work内联在两个if分支中，触发时指令是紧跟在判断逻辑之后执行，指令流连续性更好；版本2需要先跳转至独立的rare_work代码段，即使指令缓存已命中，跳转仍可能导致指令预取短暂中断，高阶层面上这种指令流断裂会带来细微的性能开销。

• 优化灵活性差异：若后续对循环做展开等优化，版本1的内联rare work可与循环体指令做更紧密的调度，减少冗余跳转；版本2的集中式rare work是独立代码块，循环展开后仍需跳转至该块，会限制指令调度的灵活度，损失部分优化空间。

内容的提问来源于stack exchange，提问作者Joseph Garvin