MIPS 嵌套函数调用

Question

我正在尝试将 C 代码转换为 MIPS 代码。

int main() {
  int a;
  int b;
  int result = 0;
  if (a != b)
    result = test(a, b);
  else
    result = a + b;
  return result;
}
int test(int a, int b) {
  if (a > b)
    return multiply(a, b)
  else
    return subtract(a, b)
}
int multiply(int a, int b) {
  return a * b;
}
int subtract(int a, int b) {
  return a - b;
}

此代码包含测试函数内的嵌套函数调用。我已将测试函数的 return 地址放入堆栈并尝试将减去或乘以的值 return 到 main。

但就我而言，我的代码同时执行减法和乘法函数。我正在尝试将我的结果放入 s0。在运行 s0 之后总是显示值的减法。如果我将乘法结果放入 s1，s1 显示真值。

我认为减法函数会覆盖 s0 处的值。但是当 case 是 multiply 时，为什么要调用 subtract 方法呢？我有一个 if/else 块，但这部分似乎不起作用。

这是我的 MIPS 代码，我做错了什么？

.data
    numberA: .word 4
    numberB: .word 2
.text
.globl main

    main:
    addi   $s0, [=11=], 0 # result = 0
    lw   $a0, numberA
    lw   $a1, numberB

    bne $a0, $a1, L1
    add $s0, $a0, $a1
L1: jal test

    add $s0, $v0, [=11=]

    li $v0,10
    syscall 


test:
        addi $sp, $sp, -4
        sw $ra, 0($sp)

        slt $s1,$a1,$a0
        bne $s1, 1, ELSE
        jal multiply
ELSE:   jal subtract

lw $ra, 0($sp)

addi $sp, $sp, 8

jr $ra


subtract:
    sub $s0, $a0, $a1
    jr  $ra


multiply:
    mult $a0, $a1
    mflo $s0
    jr $ra

Answer 1

问题是，在你从乘法return之后，你仍然调用减法在下一行。在调用 multiply 之后，您必须从函数 test 中 return。但是，由于函数调用都是函数的最后一条指令，您可以使用以下快捷方式：

test:
        slt $s1,$a1,$a0
        bne $s1, 1, ELSE
        j multiply
ELSE:   j subtract

这样，您不必将 $ra 存储在堆栈中，而是可以直接使用它跳回到 test 的 caller 在减法和乘法的 jr $ra 中。这样它应该可以正常工作。

或者，在乘法 return 之后跳过 jal subtract：

       jal multiply
       j OUT
ELSE:  jal subtract

 OUT:  ...

MIPS 嵌套函数调用

MIPS nested function calls

c

assembly

mips

mips32

nested-function