MIPS32中如何在for循环中正确使用SLT（set if less than）指令

调整思路 #

你只需要把SLT指令从y初始化的逻辑中剥离，放到循环头部做条件判断即可：SLT会根据i < x的结果输出1（条件成立）或0（条件不成立），再配合beq/bne指令判断SLT的输出结果，就能实现循环分支，全程不需要用到BLT指令。

修改后符合要求的完整代码 #

.text
.globl main
main:
    li $t1, 7          # 测试值，迭代次数x=7
    li $t0, 0          # t0为计数器i，初始值为0
    li $t2, 1          # y初始值为1，单独初始化不再占用SLT
    
loop:
    slt $t3, $t0, $t1  # 循环判断核心：如果i < x，$t3赋值为1，否则赋值为0
    beq $t3, $zero, end# 如果$t3为0，说明i >= x，直接退出循环
    add $t2, $t2, $t2  # 循环体，y = y * 2
    addi $t0, $t0, 1   # i自增1
    j loop             # 跳转回循环头部重新判断条件
end:
    li $v0, 10
    syscall

验证逻辑 #

当测试值x=7时，i会从0到6共循环7次，y最终结果为1*2^7=128，和C语言代码执行结果完全一致，且循环判断逻辑完全由SLT指令输出结果控制，符合作业要求。

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