关于x86架构addl指令结果存储位置的技术疑问

嘿，这个问题问到点子上了——核心是你搞反了x86 AT&T汇编里addl指令的操作数顺序！

先给你明确addl指令的语法规则：在AT&T格式的汇编中，addl <源操作数>, <目的操作数> 执行的逻辑是：
目的操作数 = 目的操作数 + 源操作数
加法的结果会直接存储在目的操作数里，而不是源操作数。

回到你贴的汇编代码：

movl a, %edx   ; 把变量a的值（1）加载到edx寄存器
movl b, %eax   ; 把变量b的值（2）加载到eax寄存器
addl %edx, %eax; 执行 eax = eax + edx → eax = 2 + 1 = 3
movl %eax, c   ; 把eax里的结果（3）存到变量c

这里的addl %edx, %eax是把edx作为源，eax作为目的，所以结果自然存在eax里，完全符合指令的设计规则。

至于你疑惑的“为什么不把结果存在edx”——其实编译器完全可以这么做，比如调整寄存器分配：

movl a, %eax
movl b, %edx
addl %eax, %edx  ; 结果存到edx
movl %edx, c

但编译器会根据自己的寄存器分配策略、代码优化需求来选择寄存器组合，这属于编译器的常规操作，并不是“处理方式差异”，而是不同的实现选择。但不管怎么选，addl指令的操作数规则是固定的：结果永远存在**第二个操作数（目的操作数）**里。

另外补充一点：如果是Intel格式的汇编，操作数顺序会反过来，比如同样的加法会写成add eax, edx，意思还是eax = eax + edx，结果依然在eax——两种语法只是操作数顺序不同，本质逻辑一致。

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