RISC-V中auipc与分支松弛：链接器转换的允许场景与条件

一、链接器允许执行此类转换的场景 #

• 偏移量在单条指令的立即数范围内：比如用auipc + addi实现PC相对加载时，目标地址与当前PC的偏移必须落在I型指令12位立即数的覆盖范围（-2048~2047字节）；如果是跳转场景（auipc + jalr），偏移要符合B型跳转指令的13位立即数范围。只有偏移足够小，单条指令能完成相同寻址时，链接器才会考虑替换。
• 临时寄存器无后续依赖：原指令序列会修改临时寄存器（比如t0），如果后续代码没有读取这个寄存器的值，或者该寄存器属于调用者可随意覆盖的临时寄存器（t0-t6）且后续无使用，链接器才会放心替换——毕竟替换后的指令不会修改任何寄存器，不会破坏原有语义。
• 匹配特定重定位组合：链接器只会识别带R_RISCV_PCREL_HI20和R_RISCV_PCREL_LO12_I/R_RISCV_PCREL_LO12_S这类成对重定位标记的指令序列。只有当这两个重定位绑定到同一个目标符号时，链接器才会触发优化检查。

二、自行编写auipc指令时的处理方式 #

链接器不能直接改写普通的auipc+后续指令序列，必须依赖特殊的重定位信息：

• 如果你只是手动写两条独立的auipc和addi/lw指令，没有添加对应的重定位标记，链接器会把它们当成完全独立的指令，不会进行优化替换。
• 必须在汇编代码中显式使用%pcrel_hi和%pcrel_lo这类伪操作，让汇编器生成对应的重定位信息。比如：

  auipc t0, %pcrel_hi(target_symbol)
  lw a1, %pcrel_lo(target_symbol)(t0)
  

  只有当链接器识别到这对绑定到同一符号的重定位后，才会检查偏移是否符合条件，进而决定是否替换成单条PC相对指令。

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