如何让RISC-V编译器生成.rodata按4字节对齐的Hex文件？

问题背景 #

需要生成.rodata段按4字节对齐的Hex文件，但当前RISC-V编译器生成的Hex中.rodata仅为2字节对齐，已尝试以下方法无效：

• 在linker.ld中使用ALIGN语法
• 修改RISC-V编译器内置.lds文件

当前编译器表现 #

• 当.rodata元素为2字节或更小时（如代码定义rodata = {0x4444, 0x0022}），生成的Hex内容：

00 : 4444
02 : 0000
04 : 0022
06 : 0000

• 当.rodata元素超过2字节时（如代码定义rodata = {0xffff4444, 0x00048888}），生成的Hex内容：

00 : 4444
02 : ffff
04 : 8888
06 : 0004

期望输出 #

00 : 00004444
04 : 00000022

解决思路 #

1. 强制C代码中数据的对齐属性

   • 默认short类型为2字节对齐，若要4字节对齐，需将.rodata数组元素显式定义为unsigned int类型，或用__attribute__((aligned(4)))修饰数组。示例代码：

     const unsigned int rodata[] __attribute__((aligned(4))) = {0x4444, 0x0022};
     

   • 即使元素值小于4字节，定义为int类型会自动填充高位为0，确保每个元素占4字节空间。

2. 完善链接脚本的对齐配置

   • 不仅要在.rodata段起始处设置ALIGN(4)，还要确保段的加载地址（LMA）和虚拟地址（VMA）都强制4字节对齐，同时在段末尾再次对齐。示例链接脚本片段：

     .rodata : ALIGN(4) {
         *(.rodata)
         *(.rodata.*)
         . = ALIGN(4);
     } > ROM
     

   • 链接时通过-T linker.ld参数明确指定自定义脚本，避免编译器默认脚本覆盖配置。

3. 调整编译器编译选项

   • 添加-mstrict-align编译选项，强制编译器生成严格对齐的代码和数据布局，防止优化导致的对齐调整。
   • 检查编译命令中是否存在-mno-strict-align之类的选项，若有需移除。

4. 验证并修正Hex生成过程

   • 使用riscv64-unknown-elf-readelf -S <目标文件>查看.rodata段的Addr和Align字段，确认段本身为4字节对齐。
   • 生成Hex时，用riscv64-unknown-elf-objcopy添加--gap-fill 0x00参数，确保对齐间隙被正确填充为0：

     riscv64-unknown-elf-objcopy -O ihex --gap-fill 0x00 <目标文件> <输出Hex>
     

5. 排查编译器版本与架构配置

   • 旧版本RISC-V编译器可能存在对齐处理bug，建议升级到gcc 12.x及以上的稳定版本。
   • 确认编译时指定的目标架构（如-march=rv32im或-march=rv64gc），不同架构的默认对齐规则可能存在差异。

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