此C代碼如何轉換為MIPS指令？

Question

我正在研究mips編碼並為給定的問題提供解決方案，並且我正在努力理解它，並據我所知定義了每行，但是我並沒有就它們的主要工作方式選擇兩行fib（n-1）+ fib（n-2）的最后一行如何返回？ 我看到在beq失敗之后，並且bne失敗，t1變為0並達到了退出狀態，將t1的值存儲到v0以進行結果/表達式，並且在從堆棧中刪除之前重新加載了（n），但我不太清楚看到fib（n-1）+ fib（n-2）嗎？ 救命？ 謝謝！

C code:
int fib(int n){
if (n==0)
return 0;
else if (n == 1)
return 1;
else
fib(n-1) + fib(n–2);

我研究過的新**答案/音譯

＃

compare:
addi $sp, $sp, –4 #add immediate adjusts stack for one more item
sw   $ra, 0($sp)  #saves return address on stack of our new item

add $s0, $a0, $0  #add, stores argument 0 + (0) to s0
add $s1, $a1, $0  #add, stores argument 0 + (0) to s1

jal sub           #jump and link to subtract

addi $t1, $0, 1   #add immediate, temp 1 = add 0 + 1
beq $v0, $0, exit #branch on equal, if value in 0 is equal to zero go to -> exit 
slt $t2, $0, $v0  #set less than, if 0 < value at 0  then temp2 equals 1 else 0
bne $t2, $0, exit #branch on not equal, if temp2 not equal to zero go to -> exit
addi $t1, $0, $0  #add immediate, temp1 = 0 + 0

exit:
add $v0, $t1, $0  #add value at 0 = t1 + 0
lw $ra, 0($sp)    #loads register address from stack 0()
addi $sp, $sp, 4  #add immediate, deletes stack pointer pops it off stack
jr $ra            #jump register, return to caller from return address

sub:
sub $v0, $a0, $a1 #subtract, value at 0 = argument 1 - argument 2
jr $ra            #jump register, return to caller from return address

// OLD ***部分正確的答案，但對斐波那契的音譯不正確// ---------------------------

 compare: addi $sp, $sp, –4 #add immediate adjusts stack for one more item sw $ra, 0($sp) #saves return address on stack of our new item add $s0, $a0, $0 #add, stores argument 0 + (0) to s0 add $s1, $a1, $0 #add, stores argument 0 + (0) to s1 jal sub #jump and link to subtract addi $t1, $0, 1 #add immediate, temp 1 = add 0 + 1 beq $v0, $0, exit #branch on equal, if value in 0 is equal to zero go to -> exit slt $t2, $0, $v0 #set less than, if 0 < value at 0 then temp2 equals 1 else 0 bne $t2, $0, exit #branch on not equal, if temp2 not equal to zero go to -> exit addi $t1, $0, $0 #add immediate, temp1 = 0 + 0 exit: add $v0, $t1, $0 #add value at 0 = t1 + 0 lw $ra, 0($sp) #loads register address from stack 0() addi $sp, $sp, 4 #add immediate, deletes stack pointer pops it off stack jr $ra #jump register, return to caller from return address sub: sub $v0, $a0, $a1 #subtract, value at 0 = argument 1 - argument 2 jr $ra #jump register, return to caller from return address 

//

Answer 1

兩種版本均無法按照建議工作。 我還沒有測試下面的代碼； 但是這樣的事情應該可以工作（不進行錯誤檢查（假定$ a0為非負數；寬松的過程框架約定）：

        .text
fib:  addi $sp, $sp, -24
      sw $ra, 16($sp)
      sw $a0, 20(sp)         # recursive calls will overwrite original $a0
      sw $s0. 0($sp)         # holds fib(n-1)
      # end prologue

      slti $t0, $a0, 4      # fib(i) = i for i = 1, 2, 3; fib(0) = 0 by C code
      beq $t0, $zero, L1
      addi $v0, $a0, 0      # see prior comment (assumes $a0 non-negative integer)
      j exit

      # fib(n) = fib(n-1) + fib(n-2)
L1:   addi $a0, $a0, -1
      jal fib
      addi $s0, $v0, 0       # $s0 = fib(n-1)
      addi $a0, $a0, -1
      jal fib                # upon return, $v0 holds fib(n-2)
      add $v0, $v0, $s0

exit: # unwind stack and return
      lw $s0, 0($sp)
      lw $a0, 20($sp)
      lw $ra, 16($sp)
      addi $sp, $sp, 24
      jr $ra