学习 RISC-V 汇编并需要帮助转换 C 循环

问：

我正在学习如何将 RISC-V 汇编代码转换为 C，但我不明白这种转换。我有几个问题：

1. 为什么被初始化为 而不是 ？t160
2. 我们使用 bne 来比较 t1 和 t2，但我们被教导使用相反的，这意味着 C 代码将是 .这种相反的技术似乎被用于 。为什么？while (t1 == t0)if (t1 ==0)
3. 最后，为什么用 sub 代替 sub？addi t0, t0, -1

任何见解都非常感谢。我的课堂环境节奏很快，对提问不是很友好，所以我在课堂上提问很紧张。

main:
    # Tests simple looping behavior
    li t0, 60
    li t1, 0
loop:
    addi t1, t1, 5
    addi t0, t0, -1
    bne t1, t0, loop
    bne t1, zero, success
failure:
    li a0, 0
    li a7, 93 
    ecall
    
success:
    li a0, 42 
    li a7, 93
    ecall

这是我得到的答案：

int main(){

    int t0 = 60;
    int t1 = 6;
    
    while(t1 != t0){
        t1 = t1 + 5;
        t0 = t0 - 1;
    }

    if(t1 == 0){
        int a0 = 0;
        return 0;
    }else{
        int a0 = 42;    
        return 0;    
    }
}

我们被教导在将 C 转换为 RISC-V 时使用 bne/beq 的反义词，因此令人困惑的是，为什么这个 RISC-V 汇编的“正确”C 转换会包括 .while (t1 != t0)

将 t1 初始化为 6 对我来说也没有任何意义。它看起来清楚地加载到 0 与“li t1， 0”。