assembly - MIPS 上的嵌套子程序调用

Question

.data

.text
    .globl __start
    __start:

main:
    jal func
    sll $0,$0,0
    j end

func:
   jal func2
   sll $0,$0,0  
   jr $ra
   sll $0,$0,0

func2:
    jr $ra
    sll $0,$0,0

end

我正在使用 PCSpim。为什么它只是停止工作？我的错误是什么？

Answer 1

当您在 func 中执行跳转和链接时，您正在执行 func2 函数，并且返回地址 ($ra) 设置为跳转和链接 (PC+4) 之后的行。在 func2 子例程中，您将立即返回到保存在返回地址中的位置（func 中的 sll）。在班次之后，您试图再次跳转到返回地址，这是 func 中的 sll，这会导致无限循环。

换句话说，当你进行连续的子程序调用时，你必须分别保存和恢复子程序调用前后的返回地址。

foo:
    #do some functiony stuff
    mov    $s0, $ra    #save return address into s0
    jal    bar         #do the bar subroutine
    mov    $ra, $s0    #restore return address that was saved into s0
    jr     $ra         #jump there

bar:
    #do some more functiony stuff
    jr     $ra

您还需要确保您的“结束”被标记为标签（在其后添加一个冒号）。

Answer 2

之后jal func，ra包含func必须返回的地址。jal func2覆盖ra. func2然后返回func1并func1返回同一个地址，永远循环。

如果一个函数调用另一个函数，它必须在所有调用之前保存ra并在所有调用之后和返回之前恢复它。

Answer 3

您必须保存退货地址

例如：

 main:
 ...
 jal func1
 ...

 func1:
    sw $ra, ($sp) # save address   
    ...
    jal func2
    ...
    lw $ra, ($sp) # load
    jr $ra

 func2:
    ....