RISC-V汇编如何实现所有标签、函数地址自动4字节对齐

你现在需要手动给每个标签加.p2align的核心原因是开启了RISC-V C（压缩指令集）扩展，汇编器会生成2字节长度的压缩指令，打乱原本4字节递增的地址偏移。如果不需要压缩指令，完全不需要手动加任何对齐指令；需要保留C扩展的话也有全局配置方案，不用逐标签写对齐指令。

方案1：禁用压缩指令集（零代码修改，优先推荐） #

如果你的项目不需要靠压缩指令减小代码体积，直接修改汇编/编译参数，指定不带c后缀的目标架构即可：

• 32位RISC-V：将架构参数从rv32*c（比如rv32imac）改为不带c的版本，比如rv32ima
• 64位RISC-V：将架构参数从rv64*c（比如rv64imac）改为不带c的版本，比如rv64ima

禁用C扩展后，汇编器只会生成4字节长度的标准RISC-V指令，整个.text段的地址天然按4字节递增，所有标签、函数入口的地址自动满足4字节对齐要求，完全不需要额外加对齐指令。

方案2：保留C扩展时的全局配置 #

如果你需要保留压缩指令功能，可以通过以下两种方式避免逐标签手动加对齐：

• 汇编器参数自动对齐（最省心）
  2.36及以上版本的GNU RISC-V汇编器支持参数-mrelax-jump-target-align=4，开启后汇编器会自动识别所有作为32位跳转、调用指令目标的标签，自动在标签前插入对齐填充，不需要在代码里写任何对齐伪指令。这个参数只会给实际作为长跳转目标的标签加对齐，不会给普通局部标签插入多余nop，不会浪费代码空间。

• 自定义宏简化标签定义
  如果用的是旧版本汇编器不支持上面的参数，可以在汇编文件最开头定义统一的标签宏，后续声明标签时直接调用宏即可，不用重复写.p2align：

  /* 放在文件最开头，所有代码之前 */
  .macro function name
      .p2align 2
      .type \name, @function
  \name:
  .endm
  
  .macro jump_label name
      .p2align 2
  \name:
  .endm
  
  /* 后续代码使用示例 */
  function trap_routine /* trap routine */
      nop
      csrr t0, mcause
      /* ... 其余指令 ... */
      li t2, 4
      beq t2, t1, LB_uart1_intr
  
      /* HACK: if not uart1, for gpio21 interrupt */
      j LB_gpio21_intr
  
  jump_label LB_uart1_intr /* Uart1 interrupt */
      j LB_trap_routine_end
  
  jump_label LB_gpio21_intr /* Gpio21 interrupt */
  

注意：不要尝试强制所有标签无差别4字节对齐，很多局部顺序执行的标签不需要作为跳转目标，强制对齐会插入大量无用nop，徒增代码体积。

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