nanoMips中预测不跳转分支预测对无条件分支的适用性及性能影响问询

先看你给出的nanoMips代码片段：

loop: lw $t1, A($t0)
lw $t2, B($t0)
sub $t3, $t1, $t2
beq $t3, $r0, else
sw $t2, A($t0)
b end

针对你的两个问题，解答如下：

1. 无条件跳转指令b end是否会应用“预测不跳转”策略？ #

不会。分支预测策略（包括“预测不跳转”）是专门针对条件分支指令设计的——比如beq、bne这类需要根据运算结果判断是否跳转的指令。而无条件跳转指令（像b、j）的行为是完全确定的：必然执行跳转操作。硬件会直接识别这类指令的特性，跳过条件分支的预测逻辑，直接处理跳转，不存在预测的环节。

2. 若无条件跳转被错误应用该策略，是否会影响性能？ #

先明确：实际硬件中不会出现这种情况。但假设真的发生了——每次执行b end时，预测器都预测“不跳转”，继续取后续指令，但实际要跳转到end，这就会触发流水线冲刷：需要丢弃已经预取、解码的错误指令，重新从end地址取指执行。每次冲刷都会产生流水线气泡，浪费多个时钟周期，确实会明显拉低程序性能。

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