※ 引述《LinoYo (Lino)》之铭言：
: 不好意思，请教一下大家有关于下面这张图片
: https://imgur.com/a/ufbOMwC
: 第一个问题是在问说错的地方在哪里，以及如何修正
: 请问一下须修正的地方是哪里?
: 是否为第6、7行的$v0、$v1来存，为了给call funtion f的caller用吗
: 还有第2行及第9行的lw、sw似乎可以不必要?
: 第二个问题问说此assembly code转成C code写出来且funtion f是什么意思
: 有看没有懂。
: 麻烦各位指点指点，谢谢!
手机排版请见谅。有点久没唸计算机组织，有错的话还请鞭小力一点
MIPS 不同字母开头的暂存器有不同使用惯例，比如有一些暂存器的数值要 caller 自己保管，不然 callee 可能会把它用掉。有些则是 callee 有责任要维护好。我目前发现的问题有：
1. sp 不应该存在 ra：因为使用 jal 指令呼叫 f 时，会自动把呼叫完 f 之后的下个指令存在 ra ，你把它用 sp 盖掉， jr ra 后就会把废弃的 stack 里面的东西当指令用（但那里面存的是垃圾）。
2. 但 sp 也是 callee 要维护的暂存器。所以应该要把 sp 在内存里，而不是 ra 中。在 epilogue 的时候从内存里面回复到 sp。
2. 但 sp 也是 callee 要维护的暂存器。所以应该要把 sp 在内存里，而不是 ra 中。在 epilogue 的时候从内存里面回复到 sp。
3. callee 有责任维护 $s0 ～ $s7 暂存器，使 caller 看到的 $s 暂存器们的内容呼叫前后是一样的，但 f 并没有做到这件事（他直接去改 $s0 跟 $s1）所以还少了“ prologue 时把 $s 们的内容塞进内存， epilogue 时
第二个问题问“什么样的 C 程式会被组译成上面那段组合语言”。但这个问题变量有点多，因为不太能斩钉截铁地说编译器一定会编出什么东西来。但我会猜 function body 是这样：
f(...){return foo(foo(a,b), c+d);}
其中一个想法是里面并没有区域变量，如果随便宣告一个整数暂存 c + d 的话，可能就会需要对 stack 做一些事。但显然组译结果里面没有任何对 stack 的动作。
但这还是有一个问题，C99 规格书中并没有指定 function parameter 的计算顺序，所以编译出来的结果也可能会是先算 foo(a,b), 再算 c + d。所以也许有比这个更好的作法啦。