RISC-V GCC：强制通过GP寄存器实现链接器松弛访问静态数据

核心问题定位 #

你当前的关键误区是将__global_pointer$定义为数组起始地址——RISC-V的GP相对寻址依赖12位有符号偏移（范围±2048字节），如果GP指向段起始，数组后半部分元素的偏移会超出范围，链接器只能退化为lui+addi指令对。

具体解决步骤 #

1. 修正链接脚本中GP的定义
   将__global_pointer$设置为小数据段（.srodata/.sdata）的中间地址，确保整个段内的所有数据都能落在GP的±2048字节偏移范围内。示例链接脚本片段：

   SECTIONS {
     .srodata : {
       __srodata_start = .;
       *(.srodata .srodata.*)  /* 包含你的my_data数组 */
       __srodata_end = .;
     } > ROM  /* 对应你的ROM存储区域 */
   
     /* 将GP指向.srodata段的中间位置 */
     __global_pointer$ = __srodata_start + (__srodata_end - __srodata_start) / 2;
   }
   

2. 统一编译与链接选项
   确保编译和链接阶段的参数完全匹配，避免选项传递不完整：

   • 编译命令示例（以RV32为例）：

     riscv64-unknown-elf-gcc -c -march=rv32imc -mabi=ilp32 -msmall-data-limit=512 -fno-pie -ffreestanding -o main.o main.c
     

   • 链接命令示例：

     riscv64-unknown-elf-gcc -T link.ld -march=rv32imc -mabi=ilp32 -msmall-data-limit=512 -fno-pie -ffreestanding -Wl,--relax-gp,-gpsize=512 -o firmware.elf main.o
     

   注意：必须确保交叉编译工具链的ld组件支持RISC-V GP松弛优化，可通过riscv64-unknown-elf-ld --version确认版本兼容性。

3. 显式强制GP相对寻址
   对目标变量添加__attribute__((gp_rel))属性，直接告诉编译器使用GP相对寻址，绕过自动判断逻辑：

   /* 显式指定段并强制GP相对寻址 */
   const uint8_t my_data[] __attribute__((section(".srodata"), gp_rel)) = {
       0x01, 0x02, 0x03, /* 你的常量数据 */
   };
   

4. 验证段归属与偏移范围
   重新生成map文件，检查my_data的地址与__global_pointer$的差值是否在±2048字节内。如果差值超出，需调整-msmall-data-limit的数值（最大不超过4096，对应12位偏移的极限），或拆分数据段。

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