关于int main返回0时汇编中[rbp-0x4]=0指令的作用疑问

问题背景 #

返回int的main函数及汇编 #

代码：

int main(void) {
   return 0;
}

编译参数：gcc main.c -o main -g -O0（运行环境：macOS Mojave 10.14.6）

GDB中查看的汇编代码：

0x0000000100000fa0 <+0>:    push   rbp
0x0000000100000fa1 <+1>:    mov    rbp,rsp
0x0000000100000fa4 <+4>:    xor    eax,eax
0x0000000100000fa6 <+6>:    mov    DWORD PTR [rbp-0x4],0x0
0x0000000100000fad <+13>:   pop    rbp
0x0000000100000fae <+14>:   ret

返回void的main函数及差异 #

当代码改为：

void main(void) {
   return ;
}

汇编中不存在mov DWORD PTR [rbp-0x4],0x0这条指令。

疑问：该函数无局部变量，但这条指令用了栈帧的负偏移，它的作用是什么？其中的0代表什么？

解答 #

这条指令是GCC在-O0（未优化）编译模式下生成的冗余调试友好代码，具体细节如下：

• 0的含义：就是你代码中return 0;指定的函数返回值。
• 指令作用：在未优化模式下，GCC会刻意保留代码的逻辑对应关系——它先把返回值写入栈上的临时存储位（rbp-0x4），再通过eax寄存器返回值。实际上这个栈写入操作完全是冗余的：前面的xor eax,eax已经把eax寄存器置为0，直接返回即可，不需要再写栈。GCC这么做是为了让调试时能更直观地看到返回值的存储位置，方便跟踪代码逻辑。
• void main无此指令的原因：void类型函数不需要返回值，GCC不会生成任何和返回值相关的栈操作，因此这条冗余指令自然不会出现。

验证：开启优化后的变化 #

如果用-O1及以上优化级别编译，这条冗余指令会被完全消除，汇编会简化为：

0x0000000100000fa0 <+0>:    xor    eax,eax
0x0000000100000fa2 <+2>:    ret

这也直接证明了该指令是未优化模式下的调试冗余代码。

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