RISC-V中li伪指令底层实现及Myriad sequences含义咨询

1. 什么是Myriad sequences？ #

Myriad sequences直译是“多种序列”，指RISC-V伪指令没有固定的单一展开形式，会根据具体场景（比如立即数的长度、目标寄存器类型、架构位数等）选择最优的真实指令组合。以li为例，加载不同范围的立即数时，会生成完全不同的硬件可执行指令序列，这就是手册里提到“基于多种序列”的核心含义。

2. li伪指令的常见展开形式 #

li（Load Immediate）的作用是将立即数加载到目标寄存器，根据立即数的范围，展开形式分为几种：

• 12位有符号立即数（-2048 ≤ imm ≤ 2047）：直接用addi指令，展开为 addi rd, x0, imm（x0固定为0，addi x0, imm等价于把imm写入rd）
• 立即数高20位非零、低12位全零：用lui指令加载高20位，展开为 lui rd, imm_high
• 立即数需要高20位+低12位组合：先通过lui加载高20位，再用addi补充低12位，展开为：

  lui rd, imm_high
  addi rd, rd, imm_low
  

  （64位架构下，如果是32位立即数，可能会用addiw替代addi保证符号扩展正确）
• 超大64位立即数：会组合lui、addiw、slli、addi等指令分步加载，不过这种场景比较少见。

3. Godbolt中汇编差异的原因 #

你看到的差异不是链接器优化导致的，而是两个阶段的输出差异：

• 未勾选“compile to binary”时，Godbolt展示的是编译器前端生成的汇编源码，其中保留了li这类伪指令——编译器认为伪指令更简洁，适合人类阅读，此时的addi可能是函数中其他逻辑对应的指令，或是编译器对特定场景的处理；
• 勾选“compile to binary”后，Godbolt会调用汇编器（比如gas）将伪指令展开为真实的硬件可执行指令，同时生成二进制，所以你看到的是lui+addi的组合——这是汇编器把li伪指令转换成了真实的机器指令序列。

链接器在这个场景下没有参与优化，因为单个函数的编译不需要链接步骤，差异的核心是“带伪指令的汇编源码”和“汇编器展开后的真实指令”的区别。

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