无分支编程在80486之前的老旧x86 CPU上是否具有实用价值？

先明确前提：从80486¹开始的现代x86 CPU采用5级紧密流水线，条件分支会触发流水线刷新重启，带来明显停顿，因此用无分支编程规避分支是合理的。但对于8086、8088、80286、80386这类仅具备松散耦合（缓冲型）流水线/指令预取队列的老旧处理器，情况完全不同：

• 老旧CPU的分支代价极低
  8086/8088只有4/6字节的指令预取队列，分支时仅需清空这个短队列，几乎没有额外停顿；80286的预取队列稍长，但本质还是缓冲型设计，分支恢复成本依然很低；80386虽有简单流水线，但没有分支预测机制，分支代价也只是清空预取队列，远低于486及以后的流水线停顿损失。

• 无分支版本指令数更多时，几乎没有性能优势
  这类老旧CPU的执行效率更依赖指令总数，而非分支带来的微小代价。比如一个简单的条件赋值场景：

  • 分支版本（指令数少）：

    cmp ax, 0
    jnz skip
    mov bx, 1
    skip:
    

  • 无分支版本（指令数多，且80386及以下无cmov指令，需用复杂指令模拟）：

    xor bx, bx
    add bx, ax
    neg bx
    sbb bx, bx
    add bx, 1
    

  无分支版本的指令数是分支版本的2倍以上，执行周期必然更高——哪怕分支每次都触发队列清空，这点代价也远少于多执行几条指令的耗时。

• 仅有的例外场景
  只有当分支完全不可预测（比如随机条件）且触发频率极高时，无分支编程才可能带来微弱优势：此时频繁的队列清空累积起来的代价，可能超过多执行几条指令的耗时。但这种场景在老旧CPU的应用中极其罕见。

总结：在8086、8088、80286、80386这类处理器上，无分支编程基本没有实用意义——除非是极端的不可预测高频分支场景，否则分支版本因指令数更少、分支代价低，性能表现会更优。

¹) 80486拥有5级流水线，是首款采用紧密流水线设计的x86 CPU。

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