RISC-V汇编转C代码的三类技术疑问及规则困惑求解

问题1：汇编li t1, 0初始化，为何C代码中t1初始化为6？ #

这是因为汇编到C的转换是逻辑等价转换，而非寄存器到变量的一对一直接映射。
比如原汇编中t0的初始值是6，循环逻辑是t1从0开始递增，直到t1 == t0时退出循环。这种逻辑完全等价于C中用一个变量从6开始递减到0的循环——如果转换时把这个递减变量命名为t1，就会出现C代码里t1初始化为6的情况。核心是看整个循环的执行流程和逻辑等价性，不能只看单个寄存器的初始化指令。

问题2：bne t1, t0, loop对应while(t1 != t0)，但判断t1 == 0用反向逻辑？ #

RISC-V分支指令的核心是条件满足时触发跳转，是否用反向逻辑取决于分支是用来“进入循环”还是“退出循环”：

• bne t1, t0, loop的逻辑是：如果t1 != t0，就跳回循环体。这直接对应while(t1 != t0)的循环继续条件——满足条件就执行循环，因此不需要反向。
• 若判断t1 == 0时用反向逻辑（比如用bne t1, x0, skip），通常是因为要实现“当t1 == 0时执行某段代码”：此时汇编用“t1 != 0就跳过这段代码”来反向实现等价逻辑，对应C的if(t1 == 0) { ... }。教授说的“反向逻辑”，本质是当把C的循环继续条件（比如while(a == b)）转成汇编时，需要用“不满足条件就跳转退出循环”来实现，和这里的“满足条件就跳转进入循环”是两种不同的分支场景。

问题3：为何用addi t0, t0, -1而非sub指令？ #

原因有两点：

1. 指令效率更高：addi是I型指令，支持直接使用负立即数，单条指令就能完成“减1”操作；而sub是R型指令，需要两个寄存器操作——如果用sub实现减1，得先把1加载到另一个寄存器（比如li t2, 1），再执行sub t0, t0, t2，多了一条指令。
2. 指令集设计的常规用法：RISC-V指令集里，addi本身就可以覆盖立即数减法的场景，因此业界普遍用addi rd, rs, -imm来实现寄存器减立即数的操作，而非绕路用sub。

内容的提问来源于stack exchange，提问作者test1