MIPS中非保存寄存器清除时机及递归斐波那契代码疑问

首先先把你提供的MIPS斐波那契函数代码贴出来方便分析：

fib: 
    addi $sp, $sp, -24 
    sw $ra, 16($sp) 
    sw $a0, 20($sp) # recursive calls will overwrite original $a0 
    sw $s0, 0($sp) # holds fib(n-1) 
    # end prologue 
    slti $t0, $a0, 4 # fib(i) = i for i = 1, 2, 3; fib(0) = 0 by C code 
    beq $t0, $zero, L1 
    addi $v0, $a0, 0 # see prior comment (assumes $a0 non-negative integer) 
    j exit 
# fib(n) = fib(n-1) + fib(n-2) 
L1: 
    addi $a0, $a0, -1 
    jal fib 
    addi $s0, $v0, 0 # $s0 = fib(n-1) <-----how can use $v0? 
    addi $a0, $a0, -1 
    jal fib # upon return, $v0 holds fib(n-2) 
    add $v0, $v0, $s0 
exit: 
    # unwind stack and return 
    lw $s0, 0($sp) 
    lw $a0, 20($sp) 
    lw $ra, 16($sp) 
    addi $sp, $sp, 24 
    jr $ra

你的疑问核心其实是对MIPS寄存器调用规范（calling convention）的细节理解有偏差，我来一步步拆解：

先明确MIPS寄存器的两类规则 #

MIPS寄存器分为保存寄存器（$s0-$s7）和临时/非保存寄存器（$t0-$t9、$a0-$a3、$v0-$v1）：

• 保存寄存器：被调用函数必须保证这些寄存器的值在返回时和调用前一致（如果要修改，必须先保存到栈上，返回前恢复）。
• 临时寄存器：被调用函数可以随意修改这些寄存器的值，调用者不能假设调用后这些寄存器的值还保持原来的状态——但这里的关键点是：这个“失效”是指调用其他函数之后，而不是当前函数返回之后立刻失效。

分析你代码里的关键流程 #

看L1段的执行逻辑：

1. 我们先把$a0减1，调用fib(n-1)。当这个递归调用返回时，$v0里确实存放着fib(n-1)的结果——这时候$v0的值是完全有效的，因为我们还没做任何会破坏它的操作。
2. 代码立刻执行addi $s0, $v0, 0，把$v0里的结果转存到$s0（保存寄存器）里。这一步非常关键：因为接下来我们要调用fib(n-2)，而这个新的调用会修改$v0（还有$a0、$t0等临时寄存器），所以必须把需要保留的值先放到保存寄存器或者栈上。
3. 然后修改$a0为n-2，调用fib(n-2)。此时$v0会被这个新的调用覆盖，但我们已经把fib(n-1)的结果存在$s0里了，所以不会丢失。
4. 当fib(n-2)返回后，$v0里是它的结果，我们把$v0和$s0相加，得到最终的fib(n)结果放回$v0，准备返回。

总结非保存寄存器的保留时长 #

• 临时寄存器（包括$v0-$v1）的值，在当前函数的执行流程中，只要你没有调用其他函数，也没有主动修改它们，就会一直保留。比如你在调用fib(n-1)返回后，直接用$v0的值是完全没问题的，因为这时候还没触发新的函数调用。
• 只有当你调用另一个函数（比如用jal指令）时，被调用函数有权修改所有临时寄存器，这时候你如果需要临时寄存器里的值，必须在调用前把它保存到保存寄存器或者栈中。
• 函数返回时，$v0-$v1是专门用来传递返回值的，所以调用者可以在返回后立刻使用这个值，但如果之后还要发起新的函数调用，一定要先把这个返回值存到安全的地方（比如保存寄存器或栈），否则会被新的调用覆盖。

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