理解MIPS

Question

我需要帮助处理下面的MIPS代码

​

我仍然对堆栈指针保存当前子例程地址的工作方式感到困惑。另外，在jal事实之后会发生什么，因为看起来这段代码从未被使用过，因为jal事实总是用事实的地址更新PC。

Answer 1

将堆栈指针缩减为一个数字，以保留堆栈上的内存字节。增量做相反的事情，释放空间。注释中提供了关于将寄存器保存到堆栈或从堆栈中恢复寄存器的其他所有内容。

最后一条指令从子例程返回。当参数为零时，注意到在例程的末尾有一个有条件的分支。因此，递归调用并不是无限的。最终，参数会减少到零，此时第一次返回发生，因为条件分支跳转到子例程的末尾。然后，在调用者中，在jal之后继续执行。在乘法之后，还有另一个返回。诸若此类。