※ 引述 《skyHuan (Huan)》 之铭言： : 　 : ※ 引述《AAQ8 ()》之铭言： : : https://i.imgur.com/RJjsPLH.jpg : 　 : 　 : 看懂这段程式前我们要先有两个概念 : 　 : 1. 原函式(caller)与被呼叫函式(callee)的关系 : 呼叫函式前因为callee会用到暂存器 : 所以要先将暂存器的变数存到stack中 : 以免原来在暂存器中的值被盖掉 : 导致callee return之後caller无法继续执行 : 一般储存变数到stack的工作由caller跟callee分工 : caller负责存a开头跟t开头的暂存器 : 而ra跟s开头的暂存器交由callee负责存 : 原因是如果callee没有用到这些暂存器就可以不用花时间去存 : 　 : 2. 这个程式可以想成是这样运作的： : https://imgur.com/2brKrPw.jpg : 所以是main呼叫f (此时main是caller、f是callee) : 然後f呼叫func (此时f是caller、func是callee) : 　 : 　 : 有了这两个概念後我们就来看这段程式 : https://imgur.com/xizcMRg.jpg : 因为f是main的callee又要当caller呼叫func : 所以要store ra跟s开头的暂存器到stack中 : 以免等等被func改一改f回不去main : 等callee return之後再load回来 : 这就是L1~L3跟L9~L11做的事情 : 而这边为什麽要存s0我们等等再讨论 : 　 : 存完stack之後就可以呼叫func了 : 注意此时f是caller、func是callee : 呼叫前应该要设定引数a0=a, a1=b : 但原本的a0, a1里面就已经分别是a, b了 : 所以这里就不再多设定一次 : 而L4那行move s0 a2是在做什麽的呢？ : 呼叫callee前caller应该要把等等callee return後 : 还要用的a开头暂存器存起来(就是a2=c这个值) : 因为我们不知道func的运作 : (func可能还要再call其他函式会用到很多引数) : 照理来说存到stack是最简单的做法 : (sp-4之後store到stack中等return後再load回来) : 但这里用了另一个做法就是把a2暂存到s0之中 : 所以等callee return之後要用a2就直接去s0找即可 : 所以L4就是在把a2存到s0中 : 　 : 这就是为什麽刚刚L1~L3在存stack的时候L3要多存一个s0 : 因为main跟f之间是caller跟callee的关系 : 而f (callee)这个函式要用到s0这个暂存器 : 所以在开始前要负责把main (caller)的s0内容先存起来 : 同理，当L5呼叫func函式之後 : 如果func中有要用到s0这个暂存器 : 也要在func开始前把s0存到stack中 : (不过这就是func的事了跟我们现在在写f无关) : 　 : 了解L4之後应该就海阔天空了 : L5跳到func去执行函式return之後 : 回传值又要当作引数再呼叫一次func : L6, L7就是在做呼叫前的引数设定 : L7这里就用到刚刚被我们存到s0的a2=c : L8这里一样引数设定完跳到func去执行函式 不好意思挖一下sky大大曾经回答过的古文来再问一下 move $s0, $a2 --->这边是储存a2这里面的引数，这个我了解了 但是为什麽$a0 $a1这两个暂存器的引数不用存起来呢？ 就像sky大说的，我们不知道func这个函数是做什麽的，既然如此call func(a,b)之前身为c aller不是应该也要把这两个引数存起来吗？ 谢谢！ --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 223.140.157.62 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1563155932.A.9A1.html