为何无优化GCC生成的汇编函数epilogue无mov rsp, rbp指令？

我正在学习汇编，使用禁用优化选项的GCC编译以下C代码：

void f() {
    int x = 1;
    int y = 2;
    int z = 3;
}

int main() {
    f();
    return 0;
}

编译得到的汇编代码如下：

f():
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], 1
        mov     DWORD PTR [rbp-8], 2
        mov     DWORD PTR [rbp-12], 3
        nop
        pop     rbp
        ret
main:
        push    rbp
        mov     rbp, rsp
        call    f()
        mov     eax, 0
        pop     rbp
        ret

我原本认为函数的完整收尾代码（epilogue）应该是这样的：

mov rsp, rbp
    pop rbp
    ret

但这里函数f()的收尾里却没有mov rsp, rbp指令，这让我感到困惑。

原因解析 #

这是因为在这个函数的执行过程中，rsp寄存器的值自始至终都和rbp保持完全一致：

1. 函数f()的序言部分执行push rbp + mov rbp, rsp后，rbp和rsp指向栈上的同一个位置。
2. 后续操作只是直接通过rbp的偏移（[rbp-4]、[rbp-8]、[rbp-12]）向栈内存写入局部变量的值，全程没有修改过rsp的数值——既没有用sub rsp, xxx显式分配栈空间，也没有其他会改变rsp的操作。

既然rsp和rbp的值完全相同，mov rsp, rbp这一步就属于完全冗余的操作，GCC会直接省略它，这不会影响栈帧的正确恢复：执行pop rbp时，栈顶正好就是之前push rbp存入的旧rbp值，能正确恢复调用者的rbp寄存器，后续的ret指令也能正常返回。

只有当函数中存在动态调整栈指针的操作（比如用sub rsp分配栈空间、调用其他函数导致rsp变化）时，收尾阶段才必须用mov rsp, rbp将rsp拉回rbp的位置，确保pop rbp能正确执行。而这个例子里完全不需要这一步。

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