assembly - 为什么 $ra 被调用者保存在 RISC-V 中

Question

我发现在RISC-V中，ra是调用者保存的，在MIPS中，ra是被调用者，这意味着在RISC-V中被调用者可以直接更改ra 没有保存，但是由于 ra 已经改变，被调用者如何返回调用者？

Answer 1

无论名称如何，RISC V ra 和 MIPS $ra 的用法实际上是相同的。

由于调用者(需要返回调用者)和(非叶)被调用者都需要重新调整返回地址寄存器的用途，因此需要保留该寄存器中的值。唯一合乎逻辑的方法是在进入时保留寄存器一次并在退出时恢复它一次，就像保留的 s/$s、被调用者保存寄存器一样。

但是，一旦保存，返回地址寄存器可能会被函数重新用于其他用途，并且任何此类用法都将遵循调用者保存约定(与 $s 寄存器不同，$s 寄存器保证在调用过程中被保留)。

因此，实际上，ra/$ra 可以在不同时间表现为被调用者保存和调用者保存。

调用者不能依赖放置在 ra/$ra 中的值在函数调用中幸存(就像使用 $s 寄存器一样)，因此调用者保存了。然而，当被调用者保留 ra/$ra 时，它会像 $s 被调用者保存寄存器一样保留它 - 即在序言/尾声中。

相比之下，如果调用者保留 $t 寄存器以便在函数调用中幸存，则必须在每次更新值后(例如，至少在第一次初始化后)保留它，这就是调用者保存行为。这些寄存器先初始化，然后保留，而 $s 寄存器先保留，然后初始化。

ra/​​$ra 具有被调用者和调用者保存的行为:在初始化和重用/重新利用之前需要保留它，这是一种被调用者保存方法，但是，放入 $ra 中的变量将无法在函数调用中幸存，因此为了在函数调用中生存，需要初始化然后保留。