当固件镜像置于随机地址时，RISC-V auipc指令如何运作？

问题背景 #

RISC-V的auipc指令执行逻辑为 rd = (imm << 12) + PC，其中rd是目标寄存器，imm为12位有符号立即数，指令执行结果会随程序运行时的实际地址变化而改变。

当系统通过bootloader启动固件镜像时，固件的初始PC不为0x0，这个运行地址会在链接脚本中明确声明，例如：

.text :
{
    _text = .;
    *(.text)
    _etext = .;
} > FW_IMG

其中FW_IMG的地址定义示例：

FW_IMG      (rx): ORIGIN = 2048,    LENGTH = 2304

核心问题：该机制如何实现？比如32位CPU场景下，固件镜像要被放置在0x20000000处，第4条指令为auipc，此时运行时PC为0x20000000 + 16，工具链如何生成正确的imm值？

补充说明：

• la是典型的伪指令，会被展开为auipc+addi组合，生成的指令会随镜像运行地址变化而改变。
• 实测用不同链接脚本构建同一镜像，第一条指令为la时，生成的auipc指令内容不同，但都能计算出正确地址，猜测是汇编器生成占位符，链接器填充正确数值。

实现机制 #

你的猜测完全正确，整个流程由汇编器生成占位符，链接器完成最终的数值填充，具体步骤如下：

1. 汇编阶段 #

当汇编器处理auipc指令（或由la伪指令展开的auipc）时，由于此时还不知道程序最终的运行地址，它会在生成的目标文件中为该指令的imm字段留下占位符，同时将该指令与目标地址（或符号）的相对偏移信息，记录到目标文件的重定位表中。

2. 链接阶段 #

链接器读取链接脚本后，明确各个段（如.text）的运行起始地址（ORIGIN），随后完成以下操作：

• 计算auipc指令运行时的实际PC值：段起始地址 + 指令在段内的偏移量（比如你例子中的0x20000000 + 16）。
• 计算目标地址（如要加载的符号地址）与该PC值的高20位偏移（因为auipc负责处理地址的高20位，低12位由后续addi指令处理）。
• 将计算得到的imm值（对应高20位的有符号立即数）填充到auipc指令的对应字段，完成重定位。

这就是为什么用不同链接脚本构建同一镜像时，生成的auipc指令内容不同——链接器会根据脚本中定义的运行地址，重新计算每个auipc指令所需的imm值，确保指令能正确计算出目标地址。

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