C与x64汇编代码对应关系存疑：加法函数汇编指令解析

你看到的是无优化编译生成的汇编代码，编译器默认会生成符合标准栈帧结构、便于调试的代码，所以会出现看似冗余的mov操作，下面逐行对应C代码拆解：

原C代码与汇编的对应关系 #

C函数：

int adder2(int a) {
    return a + 2;
}

汇编指令拆解 #

• push %rbp + mov %rsp,%rbp：建立标准栈帧，rbp作为栈帧基址指针，这部分你已经理解，不多赘述。
• mov %edi,-0x4(%rbp)：x64 System V调用约定中，第一个整数参数存在%edi寄存器。这条指令是把参数a从%edi保存到栈帧的局部变量区域（%rbp-0x4的位置）——相当于编译器把C函数的参数a当作栈上的局部变量存储，这是无优化模式下的标准行为。
• mov -0x4(%rbp),%eax：把栈里存储的a重新加载到%eax寄存器，因为%eax是x64下整数返回值的专用寄存器，后续要在这里执行加法操作。
• add $0x2,%eax：给%eax中的值加2，对应C代码里的a + 2，结果直接留在返回寄存器中。
• pop %rbp + retq：销毁栈帧并返回，这部分你也已经理解。

优化后的精简汇编 #

如果开启编译器优化（比如-O1及以上级别），编译器会直接利用寄存器完成计算，跳过参数入栈的冗余步骤，生成的汇编会非常简洁，比如：

lea    0x2(%rdi),%eax
retq

或者：

add    $0x2,%edi
mov    %edi,%eax
retq

这两种写法都直接对参数寄存器操作，没有多余的栈存储步骤，效率更高。

为什么无优化会生成冗余指令？ #

无优化模式下，编译器的目标是尽可能贴近C代码的逻辑结构，方便调试：

1. 把参数存到栈上后，调试器可以直接查看栈中的变量值，而寄存器的值可能随时被覆盖，不利于调试。
2. 严格遵循“参数->局部变量->计算->返回”的逻辑流程，和C代码的结构一一对应，便于初学者理解代码的映射关系。

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