MIPS汇编临时寄存器与保存寄存器使用时机及代码正确性问询

1. 临时寄存器与保存寄存器的使用时机 #

临时寄存器（$t0-$t9）和保存寄存器（$s0-$s7）的使用场景，核心由MIPS的函数调用约定来界定，关键看你是否需要保留寄存器的值跨函数调用：

• 临时寄存器：属于“用完即弃”的类型。如果你在函数里用了临时寄存器，不用负责保存它的原值——调用其他函数后，这些寄存器的值大概率会被修改；反过来，当你写的函数被其他代码调用时，你可以随意修改临时寄存器，不用恢复它们之前的内容。非常适合存储计算过程中的短期中间值，比如表达式运算的临时结果。
• 保存寄存器：需要严格保留原值给调用者。如果你想在函数中使用保存寄存器，必须先把它原来的值压入栈中保存，函数结束前再恢复；同时，当你调用其他函数时，可以放心这些寄存器的值不会被篡改（只要对方遵循调用约定）。适合存储需要长期保留的值，比如函数参数、全局变量引用，或者需要跨多个函数调用保留的局部变量。

2. 代码正确性与运行结果分析 #

你的代码是完全正确的，运行结果和参考答案完全一致，具体分析如下：

先看你的代码逻辑：

add $t0, $s0, $s1      # x($s0) + y($s1) 存入临时寄存器$t0
addi $t0, $t0, -10     # $t0 = $t0 - 10（这里注释描述有误，实际是减去10而非被10减）
lw $t1, 80($s3)        # 加载A[20]到$t1（20*4=80字节偏移，计算正确）
sub $s0, $t0, $t1      # 最终结果$t0 - $t1 存回x($s0)

再对比参考答案：

add $s0, $s0, $s1      # 直接在x($s0)上计算x+y
addi $s0, $s0, -10     # 继续在$s0上减10
lw $t0, 80($s3)        # 加载A[20]到$t0
sub $s0, $s0, $t0      # $s0 = $s0 - A[20]

两者的核心逻辑完全等价：都是按照x = (x + y) - 10 - A[20]的顺序计算，最终结果都正确存回$s0。唯一的区别是你用了临时寄存器$t0、$t1来暂存中间结果，而参考答案直接在$s0上原地修改——这两种写法都符合MIPS的规范，没有违反任何寄存器使用规则。

另外提个小细节：你代码中第二条指令的注释描述错误（写成了“subtracts value of $t0 from 10”，实际是$t0 = $t0 - 10），不过这只是注释问题，不影响代码的实际运行效果。

内容的提问来源于stack exchange，提问作者Matt.C