关于RISC-V伪指令li编译为lui与addi的技术咨询

问题场景 #

用riscv64-unknown-elf-as汇编器编译以下代码：

li      t2, 0x1800
csrc    mstatus, t2

其中的li伪指令被汇编为两条真实硬件指令：

lui x7 2
addi x7 x7 -2048

疑问：

• 为何生成的数值是2和-2048？
• 为何li会被拆解为lui+addi？
• 有没有相关文档说明该行为？

1. 为什么li会被转成lui+addi？ #

RISC-V基础整数指令集没有单条指令能直接加载任意立即数到寄存器，li是伪指令——仅存在于汇编层面，由汇编器自动转换为硬件支持的真实指令组合：

• 若目标立即数在addi的12位有符号范围（-2048 ~ 2047）内，li会直接转成addi rd, x0, imm
• 若立即数超出上述范围，就需要用lui（高位加载指令）先把立即数的高20位加载到寄存器高位，再用addi补全低12位数值。

你的目标值0x1800（十进制6144）超出了addi的12位有符号最大值2047，因此汇编器选择lui+addi的组合实现。

2. 数值2和-2048的由来 #

目标值0x1800的二进制为0000 0000 0001 1000 0000 0000（RV32视角，RV64高位补0）：

• addi的立即数是12位有符号数，0x1800的低12位是0x800，作为有符号数它代表**-2048**（补码规则：最高位为1时表示负数，0x800对应-2^11）
• 为了得到目标值，lui需要加载的高位值需满足：(高位值 << 12) + (-2048) = 0x1800，计算得高位值为(0x1800 + 0x800) >> 12 = 0x2000 >>12 = 0x2

所以lui x7, 2会把2 <<12 = 0x2000加载到x7（t2对应的硬件寄存器是x7），再通过addi x7, x7, -2048减去2048，最终得到0x2000 - 0x800 = 0x1800，正好是目标值。

汇编器优先用有符号立即数适配addi的指令格式，这是RISC-V处理大立即数的标准方式。

3. 相关文档说明 #

该行为属于RISC-V伪指令的标准转换规则，在官方《RISC-V Assembly Programmer's Manual》中有明确定义，详细说明了li等伪指令在不同立即数范围下的指令组合逻辑。此外，GNU汇编器（riscv64-unknown-elf-as属于GNU binutils组件）的官方文档也会包含具体的伪指令实现细节。

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