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

嵌套子程序调用MIPS

3 个答案: