对MIPS中if跳转逻辑与bge指令执行行为的疑问

核心规则说明 #

所有MIPS的bxx类条件分支指令逻辑完全统一，不存在bge和其他分支指令行为不同的情况，通用执行逻辑如下：

• 条件成立：直接跳转到标签指定的地址执行，分支指令和对应标签之间的所有指令都会被跳过，不会执行
• 条件不成立：顺序执行分支指令后的第一条指令，执行完成后继续向后执行，自然走到标签位置

你产生bge跳转后直接结束的错觉，是因为前两个分支的判断条件不成立，走了顺序执行的分支，而bge的判断条件成立，直接跳过了中间代码，行为表现上看起来有差异，本质逻辑完全一致。

逐段代码运行逻辑纠正 #

我们逐行拆解你的代码，修正你注释中的错误：

.globl main
.data
.text
main:
    li $t5, 8
    li $t6, 9 
    blt $t6,$t5, L1 // 逻辑：如果t6 < t5就跳转到L1，此处9<8不成立，不跳转，顺序执行下一行
    addi $t1, $t1, 2 // t1初始值为0，执行后t1=0+2=2，你的理解正确
L1: 
    addi $t1, $t1, 1 // 无论是否跳转都会执行到此处，t1=2+1=3
    nop // 此处t1=3，你的理解正确
    li $t7, 2
    li $t3, 2
    bne $t7,$t3, L2 // 注意：bne是**不等于才跳转**，此处2==2，条件不成立，不跳转，你的注释逻辑写反了
    addi $t3, $t3, 2 // 执行后t3=2+2=4，你此处注释t3=9是写错了中间过程
L2: 
    addi $t3, $t3, 5 // 执行后t3=4+5=9，不是你认为的7
    nop // 此处t3=9，你的最终结果标注正确，但中间计算逻辑错误
    li $t6, 4
    li $t5, 1
    bge $t6,$t5, L3 // 逻辑：如果t6 >= t5就跳转，4>=1成立，直接跳转到L3，中间两行指令完全不执行
    add $t6, $t6, $t5 // 被跳过，不执行
    addi $t6, $t6, 3 // 被跳过，不执行
L3: 
    addi $t6, $t6, 5 // 执行后t6=4+5=9
    nop // 此处t6=9，你的理解正确

常见误区总结 #

1. 不要搞反分支指令的判断条件，blt是小于跳转、bne是不等跳转、bge是大于等于跳转，语义和指令助记符完全对应
2. 分支跳转只会跳过分支指令和标签之间的代码，跳转到标签后会继续向后执行后续所有代码，不会在标签处结束，你这段代码看起来在L3结束只是因为后面没有其他指令了。

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