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)之后的行。在func子例程中，您会立即返回到返回地址中保存的位置( func2中的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

你还需要确保你的'end‘被标记为一个标签(在它后面加一个冒号)。

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:
    ....