x86_64中LEAQ与MOVABSQ的区别及Windows汇编链接问题

一、为什么leaq版本出现链接错误？ #

链接错误relocation truncated to fit: R_X86_64_32S against '.rodata'的核心原因是：

• Windows x64的PE文件格式中，程序默认虚拟内存基地址为0x140000000，这是一个64位地址，远大于32位有符号整数的最大值0x7FFFFFFF。
• 使用leaq msg, %rdx时，GNU汇编器默认生成R_X86_64_32S类型重定位——这是32位有符号绝对地址重定位，要求符号地址必须能被压缩到32位有符号范围内。但msg所在的.rodata段地址基于PE基地址，超出了32位有符号取值范围，导致链接器无法完成重定位，最终报错。

而movabsq $msg, %rdx会生成R_X86_64_64类型重定位，直接使用完整的64位绝对地址，不受32位范围限制，因此可以正常链接运行。

二、LEAQ与MOVABSQ的核心区别 #

1. 指令本质与用途 #

• LEAQ（Load Effective Address）：
  核心是计算内存地址表达式的结果并存入寄存器，不实际访问内存。它支持复杂地址计算（基址+变址×缩放因子+位移），除加载地址外，还常用作高效算术运算指令（例如leaq (%rax,%rbx,2),%rcx等价于rcx = rax + rbx*2）。
• MOVABSQ（Move Absolute Quadword）：
  是x86_64架构MOV指令的特殊版本，专门用于将64位立即数（包括全局符号的完整64位地址）直接加载到64位通用寄存器，仅用于传递64位常量或绝对地址，不支持地址表达式计算。

2. 地址处理与重定位类型 #

• LEAQ：
  在GAS汇编中引用全局符号时，默认优先使用32位重定位（R_X86_64_32S或R_X86_64_PC32），这在Linux x64中通常可行，但Windows x64的PE内存布局下，基地址超出32位范围会触发重定位截断错误。
• MOVABSQ：
  强制使用64位绝对地址重定位（R_X86_64_64），直接加载完整64位符号地址，完全适配Windows x64的PE内存布局，不会出现重定位问题。

补充：Windows x64下用LEAQ加载地址的正确方式 #

如果一定要用LEAQ，可以使用基于RIP的PC相对寻址，让汇编器生成32位相对PC的重定位（R_X86_64_PC32），这种偏移是相对于当前指令地址的32位有符号值，在Windows x64中合法：

leaq msg(%rip), %rdx  # 基于RIP的PC相对寻址

该写法同样能正确加载msg地址，且不会触发重定位错误。

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