assembly - 为什么这会在 mips 树遍历的前 3 个数字之后停止？

Question

树遍历例程接受 3 个参数，第一个节点、处理函数和顺序常数。

traverse_tree:
    addi    $sp,$sp,-8
    sw      $ra,0($sp)
    sw      $a0,4($sp)

    beq     $a0,$zero,done
    move    $t3,$a2
    move    $t2,$a1
    move    $t0,$a0
    li      $t1,PRE_ORDER
    beq     $t3,$t1,preorder
    li      $t1,IN_ORDER
    beq     $t3,$t1,inorder
    li      $t1,POST_ORDER
    beq     $t3,$t1,postorder

 preorder:

    jalr    $t2
    lw      $a0,4($t0)
    jal     traverse_tree
    lw      $a0,8($t0)
    jal     traverse_tree
    jal     done


inorder:
    lw      $a0,4($t0)
    jal     traverse_tree
    move    $a0,$t0
    jalr    $t2
    lw      $a0,8($t0)
    jal     traverse_tree
    jal     done

 postorder:
    lw      $a0,4($t0)
    jal     traverse_tree
    lw      $a0,8($t0)
    jal     traverse_tree
    move    $a0,$t0
    jalr    $t2
    jal     done


done:
    lw      $ra,0($sp)
    lw      $a0,4($sp)
    addi    $sp,$sp,8
    jr      $ra

程序在遇到第三个元素时停止。我很确定这个元素是一个两个都为空的节点。

Answer 1

杰夫所说的。具体来说，您应该使用s0over t0，因为临时变量不能保证不会被覆盖，但是s*当您调用函数时，寄存器“承诺”会被保存和恢复。s0如果您不希望自己的函数每次调用都覆盖它，您自己需要向堆栈添加 4 个字节并保存和恢复。