自制RV32I架构哈佛式RISC-V核遇GNU汇编器.data段标签问题

riscv-gnu-toolchain默认是针对冯·诺依曼架构设计的，它会把.text程序段和.data数据段放到同一个统一地址空间里，汇编器计算标签地址时，是基于当前指令的PC值计算相对偏移。

你的哈佛架构里，程序内存和数据内存是完全独立的两个地址空间，都从0x0起始，但汇编器不知道这一点——它认为my_label在.data段的地址是相对于.text段的偏移，而非独立的数据内存地址。所以你写lb x1, my_label时，汇编器会生成PC相对寻址的指令组合（auipc + lb），这时候寻址的是程序内存空间，自然拿到的是.text起始0x0处的0x01，不是数据内存里的目标数据。

1. 直接使用绝对地址（简单场景） #

既然数据内存从0x0开始，直接用基于x0的绝对地址访问即可，比如把lb x1, my_label改成lb x1, 0(x0)（如果my_label在数据内存0x0处），就像你示例1里的写法。但这种方式在复杂项目里维护性差，标签多了容易搞混。

2. 用链接脚本指定独立地址空间 #

编写一个自定义链接脚本（比如命名为harvard.ld），明确告诉链接器程序内存和数据内存是两个独立的、起始地址均为0x0的空间：

MEMORY
{
  PROGMEM (rx) : ORIGIN = 0x0, LENGTH = 0x10000  # 定义程序内存区域
  DATAMEM (rw) : ORIGIN = 0x0, LENGTH = 0x10000  # 定义数据内存区域
}

SECTIONS
{
  .text : { *(.text) } > PROGMEM  # 将.text段映射到程序内存
  .data : { *(.data) } > DATAMEM  # 将.data段映射到数据内存
}

编译时指定这个链接脚本：

riscv32-unknown-elf-gcc -march=rv32i -mabi=ilp32 -T harvard.ld your_code.S -o your_code.elf

这样链接器会把.data段的标签地址标记为数据内存的绝对地址，汇编器/链接器会自动生成基于x0的绝对寻址指令，而非PC相对寻址。

3. 显式使用绝对寻址伪指令 #

在汇编代码里，用la伪指令结合x0来加载数据标签的绝对地址，比如：

la x1, my_label(x0)  # 显式基于x0加载数据内存的绝对地址
lb x1, 0(x1)

要是你知道标签的具体地址，也可以直接用li指令加载：

li x1, 0x0  # my_label在数据内存0x0处
lb x1, 0(x1)

这种方法无需修改链接脚本，适合小范围调整代码。

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