关于LEA与MOV指令两类异常现象的技术咨询

缩写说明 #

• r=寄存器（register）
• c=立即数、字节值（immediate value, byte value）

指令编译情况 #

1. lea r, [r+c] ; 符合预期，可正常编译
2. mov r, r+c ; 编译报错
3. mov r, r+r ; 编译报错
4. mov r, [r+c] ; 可正常编译
5. mov r, [r+r] ; 可正常编译
6. mov r, [c+c] ; 可正常编译
7. mov r, c+c ; 可正常编译
8. lea r, [c] 等价于 mov r, c

疑问点 #

1. 第2、3行仅为简单运算却无法编译，而第4-7行的MOV指令可正常完成运算并通过编译，为何无需解引用的第2、3行反而报错？
2. LEA（Load Effective Address，加载有效地址）本应计算内存地址，若常量c未在section .data中定义或预留，lea r, [c]理应触发编译报错，但实际却与mov r, c表现完全一致，请求解释此现象的原因。

解答 #

问题1：mov r, r+c、mov r, r+r编译报错的原因 #

x86指令集对mov的操作数格式有硬性规则：mov的源操作数只能是单个寄存器、单个立即数、内存地址（含地址计算结果），或者内存中存储的值，不支持直接将两个寄存器、寄存器+立即数的运算结果作为源操作数传入。

而第4-7行的合法场景本质不同：

• 第4、5行的[r+c]、[r+r]属于内存寻址表达式，这类地址计算由CPU寻址单元完成，是mov支持的内存操作数格式；
• 第6行的[c+c]是汇编器编译阶段就会计算出的常量地址（立即数相加后作为内存地址），本质仍是单个立即数地址；
• 第7行的c+c是汇编器提前计算好的单个立即数结果，最终会被替换成单个立即数传入mov，符合指令规则。

简言之：mov不支持把“寄存器+寄存器”“寄存器+立即数”的运算结果作为直接操作数，但允许这类运算作为内存地址计算的一部分，或者使用汇编器提前计算好的单个立即数。

问题2：lea r, [c]未定义c却不报错的原因 #

LEA的核心逻辑是计算地址表达式的值并写入寄存器，而非实际访问该地址对应的内存。当c是未在数据段定义的立即数时，汇编器会将[c]视为“基址为0、偏移量为c”的寻址表达式，LEA仅需计算这个表达式的结果（也就是c本身），不需要验证该地址是否真实存在于内存中。

而mov r, [c]会尝试访问c对应的内存地址，若c未定义才会触发报错——LEA没有实际内存访问的需求，自然也就没有地址有效性检查的环节，最终效果和mov r, c完全一致。

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