x64汇编中OR/ADD指令无法使用大常量但MOV可行的替代方案咨询

在使用Visual Studio附带的ML64编译器编写x64汇编函数时，会遇到这样的问题：对64位寄存器执行OR、ADD等运算时，指定超过32位的常量会编译失败，但MOV指令加载64位常量却能正常执行。

问题代码示例 #

汇编模块代码：

text segment
public DoSomething
text ends

.code mycode
DoSomething:
    mov rax, 300000000h; ok
    or  rax, 300000000h; compile error
    add rax, 300000000h; compile error
    or  rax,  30000000h; ok
    add rax,  30000000h; ok
    ret
mycode ends
end

C++链接模块代码：

extern "C" int  DoSomething();

int main() 
{
    DoSomething();
    return 0;
}

原因说明 #

x86-64指令集的设计中，OR、ADD这类算术/位运算指令的立即数操作数仅支持32位（会自动符号扩展为64位），无法直接使用无符号的64位大常量作为立即数。而MOV指令有专门的64位立即数编码格式，因此可以直接加载64位常量。

替代方案 #

1. 用寄存器中转常量

将64位常量先加载到另一个通用寄存器，再通过寄存器操作数完成运算，这是最常用的方案：

mov rax, 300000000h
mov rbx, 300000000h
or  rax, rbx    ; 正常编译
add rax, rbx    ; 正常编译

2. 使用数据段中的内存常量

在数据段定义64位常量，运算时直接引用内存中的值：

text segment
public DoSomething
text ends

.data
big_const qword 300000000h  ; 定义64位常量

.code mycode
DoSomething:
    mov rax, 300000000h
    or  rax, [big_const]    ; 引用内存常量
    add rax, [big_const]    ; 引用内存常量
    ret
mycode ends
end

3. 拆分运算（仅适用于特定常量）

如果64位常量可以拆分为高32位和低32位的组合，可分别对寄存器的低32位和高32位进行运算，但这种方法通用性较差，仅适合部分场景。

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