如何在GAS中使用数值地址强制生成短相对条件跳转指令？

我希望强制GAS生成短操作码的相对条件跳转，但使用数值地址时它总是采用rel32编码。以下是我的代码：

.text
.org 0x123450
.globl test
test:
je.d8 0x123450

编译后输出如下：

$ as x.S -o x && objdump -d x
0000000000123450 <test>:
  123450:   0f 84 00 00 00 00       je     123456 <test+0x6>

当我使用标签，即：

je test

它会正确生成：

123450:   74 fe                   je     123450 <test>

请问如何在仍能输入数值地址的同时，强制生成后者的短跳转指令？

解决方案 #

GAS在处理绝对数值地址的条件跳转时，默认会优先使用rel32编码，因为它无法直接判断该地址是否落在短跳转（8位有符号偏移）的范围内。要强制生成短跳转指令，可通过以下两种方式实现：

方式1：直接使用相对偏移量 #

短跳转的偏移是相对于当前指令的下一条指令地址的8位有符号数。以你的场景为例：

• 当前je指令位于0x123450，短跳转指令本身占2字节，下一条指令地址是0x123452
• 目标地址是0x123450，计算偏移量：0x123450 - 0x123452 = -2（十六进制为0xFE）

直接用这个偏移量作为操作数，配合.d8后缀：

.text
.org 0x123450
.globl test
test:
je.d8 .-2  # .-2 表示相对于当前地址往前2字节，即目标地址0x123450

编译后会生成正确的短跳转机器码：74 fe。

方式2：通过符号计算相对偏移 #

如果你需要保留绝对数值地址的写法，可以先定义目标地址符号，再计算出合法的8位相对偏移：

.text
.org 0x123450
.globl test
test:
.set target_addr, 0x123450
je.d8 target_addr - (. + 2)  # .+2 是当前指令下一条的地址，计算偏移量

这里(. + 2)代表当前je指令执行后的下一条指令地址，用目标地址减去这个值，得到的就是符合短跳转要求的8位有符号偏移，GAS会自动生成短跳转编码。

标签生效的原因 #

当使用标签（比如je test）时，GAS会在汇编阶段直接计算标签与当前指令的相对偏移，并且判断该偏移在8位范围内，因此自动选择短跳转编码。而直接使用绝对数值地址时，GAS默认不会做范围判断，因此采用了兼容性更好的rel32编码。

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