x86_64架构C程序main函数首条pushq %rbp指令作用解析

原C程序 #

int main() {
    
    int a = 10;
    a++;

    return 0;
}

反汇编得到的汇编代码 #

0000000100003f90 <_main>:
100003f90: 55                           pushq   %rbp
100003f91: 48 89 e5                     movq    %rsp, %rbp
100003f94: c7 45 fc 00 00 00 00         movl    $0, -4(%rbp)
100003f9b: c7 45 f8 0a 00 00 00         movl    $10, -8(%rbp)
100003fa2: 8b 45 f8                     movl    -8(%rbp), %eax
100003fa5: 83 c0 01                     addl    $1, %eax
100003fa8: 89 45 f8                     movl    %eax, -8(%rbp)
100003fab: 31 c0                        xorl    %eax, %eax
100003fad: 5d                           popq    %rbp
100003fae: c3                           retq

1. pushq %rbp保存的是什么？ #

pushq %rbp保存的是调用main的函数的栈帧基指针（RBP）。在Unix类系统（包括你使用的macOS）中，main并不是程序的真正入口，它会被C运行时（CRT）的入口函数调用。

2. 完整调用过程解析 #

程序的执行流程如下：

• 程序启动后，内核加载可执行文件，跳转到CRT提供的入口函数（通常是_start，macOS内部实现略有不同但逻辑一致）。该函数完成初始化工作：设置栈结构、初始化全局变量、处理命令行参数与环境变量。
• 准备调用main时，入口函数执行call _main指令：该指令自动将当前指令指针（RIP，即入口函数中call之后的下一条指令地址）压入栈，随后跳转到main的入口地址。
• 进入main后，第一条指令pushq %rbp：此时%rbp寄存器存储的是入口函数的栈帧基指针，将其压栈保存，避免后续main操作栈帧时覆盖该值，确保返回时能恢复调用者的栈环境。
• 接着movq %rsp, %rbp：将当前栈指针（RSP）的值赋值给RBP，建立main自己的栈帧基指针。后续通过-4(%rbp)、-8(%rbp)这类偏移地址，就能精准访问main的局部变量（比如你的代码中int a = 10对应movl $10, -8(%rbp)，a存在栈帧中RBP-8的位置）。
• 执行main的业务逻辑：给a赋值、自增操作，最后xorl %eax, %eax将返回值设为0（对应C代码的return 0，x86-64约定用%eax存储函数返回值）。
• 退出main时，popq %rbp：从栈中弹出之前保存的入口函数的RBP值，恢复调用者的栈帧基指针。
• retq指令：从栈顶弹出call指令压入的返回地址，跳转到该地址回到入口函数，入口函数随后调用exit终止程序，完成整个流程。

3. Unix系统下的通用行为 #

• main并非程序入口：所有Unix类系统（Linux、macOS、BSD等）中，C程序的main函数都是被CRT入口函数调用的，内核直接启动的是CRT入口而非main。
• 栈帧建立的标准流程：遵循x86-64的System V AMD64调用约定（macOS也采用该约定），pushq %rbp + movq %rsp, %rbp是函数建立栈帧的标准开头（编译器可通过-fomit-frame-pointer选项优化掉该步骤，但你的汇编未开启此优化），对应的结尾是popq %rbp + retq。
• 栈帧回溯：每个函数的栈帧中都会保存调用者的RBP，形成链表结构，调试器可通过这个链表回溯整个函数调用链，这是栈回溯、生成调用栈的基础。

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