※ 引述《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去执行函式 等return之後load回f最一开始被我们存进stack的变数 再来就可以返回main，就是L12 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.136.148.186 ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1541781667.A.7DD.html 我只是把张凡说的打出来而已XD 他真的是个好老师觉得受益良多啊 main呼叫f之前(此时main是caller) 也要保护自己的变数(a&t开头暂存器) 只是那是main的事，这里是在写f 也不一定会是main呼叫f 也有可能是另外一个函式G呼叫f 如果G同时也是caller跟callee G除了a&t开头也要保护ra&s开头暂存器 ※ 编辑: skyHuan (114.136.235.245), 11/10/2018 10:07:04