x86-64汇编leaq指令中整数寄存器作为有效地址的疑问

关于leaq指令的整数运算用法说明 #

• CPU的运算单元和寄存器本身不会区分存储的值是「内存地址」还是「普通整数」，所有值都是无差别的64位二进制序列。leaq设计初衷是为了快速计算内存访问的有效地址，但它的地址计算逻辑本质就是一套固定的整数运算规则：基址寄存器 + 变址寄存器 * 缩放因子(可选值1/2/4/8) + 固定偏移量，这套运算不需要实际访问内存，直接返回计算结果。
• 因为上述运算规则可以实现很多常用的常数乘法组合，而且比通用乘法指令mul执行速度更快、占用CPU资源更少，编译器在优化阶段会主动用leaq来做普通整数运算，哪怕运算的目标和内存地址完全无关。
• 你给出的x*12示例就是典型的优化场景：
  1. 第一条leaq (%rdi, %rdi, 2), %rax 实际完成的是整数运算 %rdi + %rdi * 2 = 3 * %rdi，也就是得到3x
  2. 第二条salq $2, %rax是将结果左移2位，等价于乘4，最终3x *4 =12x，刚好实现C代码的逻辑
• 你困惑的「%rdi的值从什么意义上属于地址范畴」的答案非常直接：在这个场景里，它完全不属于地址范畴。leaq的命名来自它的原始设计用途，但实际使用中早就脱离了地址计算的限制，你完全可以把它当成一个支持特殊乘加组合的通用整数运算指令来理解，不需要强行绑定地址概念。

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