如何强制生成JMP rel32指令？兼容全局链接器解析标签

问题背景 #

在GCC/Clang环境下编译如下代码时：

jmp 1f
1: ret

因为标签距离较近，编译器会生成短相对跳转指令。现在需要无视标签距离，强制生成JMP rel32指令，且要兼容全局链接器解析标签——之前Michael Petch提出的硬编码0xe9实现jmpq的方案仅支持局部标签，无法满足全局标签的需求。当前临时方案是通过两次跳转实现固定长度指令：

jmp 1f /*definitely short*/; 1: jmp /*short or long*/ actual_target_with_unclear_distance;

但希望用单条长跳转指令达到更简洁高效的效果。

解决方案 #

方案1：硬编码opcode结合链接器符号解析 #

直接通过汇编硬编码JMP rel32的opcode（0xe9），并让链接器负责计算全局标签的偏移量，宏定义如下：

#define FORCE_LONG_JMP(target) \
    __asm__ __volatile__ ( \
        ".byte 0xe9\n\t"          /* JMP rel32 的 opcode */ \
        ".long " #target " - . - 5"  /* 计算相对于下一条指令的32位偏移 */ \
    )

偏移计算说明

JMP rel32的偏移量是相对于下一条指令的地址：当前指令总长度为5字节（1字节opcode + 4字节偏移），所以下一条指令地址是当前位置.加5，偏移量即为target - (. + 5)，也就是target - . -5，链接器会在链接阶段自动解析全局target符号的地址，计算出正确的32位偏移值。

方案2：间接跳转（兼容更多场景） #

如果不需要直接的rel32跳转，也可以用寄存器间接跳转的方式，同样能保证固定长度，且兼容全局标签：

#define FORCE_LONG_JMP(target) \
    __asm__ __volatile__ ("jmp *%0" : : "r"(&(target)))

这种方式会生成jmp *%rax（或其他寄存器）的指令，长度固定为6字节（x86-64），同样能实现跳转到全局目标。

验证 #

上述两种方案在GCC和Clang环境下均能正常工作，链接器可正确解析全局标签的地址，生成符合要求的固定长度长跳转指令。

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