RISC-V汇编器将beq替换为bne+jal的原因及规避方法

问题复现 #

编写如下RISC-V测试汇编代码：

addi        x2,x0,5
addi        x3,x0,12
addi        x7,x3,-9
or          x4,x7,x2
and         x5,x3,x4
add         x5,x5,x4
beq         x5,x7,0x48

编写Shell脚本调用工具链提取指令十六进制值，用于FPGA加载：

#!/bin/bash

# 输入汇编源文件，输出每条指令的十六进制机器码
SRC_FILE=$1

RV_AS=riscv64-unknown-elf-as
RV_OBJCOPY=riscv64-unknown-elf-objcopy

$RV_AS -o /tmp/gen_asm_instr.elf $SRC_FILE -march=rv32ima
$RV_OBJCOPY -O binary /tmp/gen_asm_instr.elf /tmp/gen_asm_instr.bin
xxd -e -c 4 /tmp/gen_asm_instr.bin | cut -d ' ' -f 2

注释掉最后一条beq指令时，脚本正常输出6条指令的机器码：

00500113
00c00193
ff718393
0023e233
0041f2b3
004282b3

保留beq指令时，脚本输出8条指令的机器码，比预期多1条：

00500113
00c00193
ff718393
0023e233
0041f2b3
004282b3
00729463
0000006f

将上述8条机器码反汇编后，发现原单条beq指令被替换为两条指令：

./a2.out:     file format binary


Disassembly of section .data:

0000000000000000 <.data>:
   0:   00500113            addi    x2,x0,5
   4:   00c00193            addi    x3,x0,12
   8:   ff718393            addi    x7,x3,-9
   c:   0023e233            or  x4,x7,x2
  10:   0041f2b3            and x5,x3,x4
  14:   004282b3            add x5,x5,x4
  18:   00729463            bne x5,x7,0x20
  1c:   0000006f            jal x0,0x1c

多款RISC-V汇编器均会触发相同替换行为。

产生原因 #

1. 硬件指令范围限制：RISC-V原生条件分支指令（beq/bne等B型指令）的立即数为13位带符号数，仅支持±4KiB范围内的4字节对齐跳转；而无条件跳转jal（J型指令）支持±1MiB范围跳转。当跳转目标超出条件分支指令的可达范围时，必须通过「反转条件分支+jal长跳转」的两指令组合实现远跳转。
2. 汇编器默认保守处理逻辑：代码中直接使用裸数字0x48作为beq的跳转目标，没有通过标签标记位置，GNU汇编器无法在汇编阶段确认该目标地址是否落在单条条件分支的可达范围内，会默认按远跳转场景生成安全的两指令长分支序列：将原beq的判断条件反转为bne，条件成立时跳过后续的jal指令，条件不成立时执行jal跳转到远地址。
3. 反汇编死循环的成因：脚本直接对未完成链接的可重定位目标文件做二进制提取，丢弃了文件中的重定位信息，jal指令的目标地址未被正确修正，默认填充了0偏移，才会出现跳转到自身地址的死循环，不是汇编器生成的逻辑错误。

避免自动替换的方法 #

• 优先使用标签标记跳转目标，不要直接写裸地址。汇编器计算同段内标签的相对偏移时，如果偏移值在B型指令的跳转范围内，会直接生成单条beq指令，不会插入长跳转桩。示例写法：

addi        x2,x0,5
addi        x3,x0,12
addi        x7,x3,-9
or          x4,x7,x2
and         x5,x3,x4
add         x5,x5,x4
beq         x5,x7, target
# 其余代码按顺序编写，在目标地址位置设置标签
.org 0x48  # 按地址对齐到0x48位置
target:

• 完善编译流程，不要跳过链接步骤。汇编生成目标文件后，先用riscv64-unknown-elf-ld指定指令存储器的基地址（比如-Ttext=0x0）完成链接，修正所有地址重定位后，再用objcopy提取二进制文件，避免地址解析错误。
• 如果确认跳转偏移在B型指令范围内，可在调用汇编器时添加-mno-relax参数，禁用汇编器的自动跳转松弛优化，阻止其自动插入长跳转桩。

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