GCC与Clang编译时不必要栈空间使用问题咨询

问题场景 #

在编译以下C函数时，GCC和Clang会生成看似不必要的栈相关指令：

代码示例 #

void bar(void);

int foo(void) {
    bar();
    return 42;
}

编译说明 #

已验证-mabi=sysv参数对输出无影响，排除ABI参数干扰。

预期汇编输出

foo:
        call    bar
        mov     eax, 42
        ret

GCC -O3 -mabi=sysv编译结果

foo:
        sub     rsp, 8
        call    bar
        mov     eax, 42
        add     rsp, 8
        ret

（疑问：为何要预留未使用的栈帧空间？）

Clang -O3 -mabi=sysv编译结果

foo:
        push    rax
        call    bar@PLT
        mov     eax, 42
        pop     rcx
        ret

（疑问：为何要保存临时寄存器再移至另一未使用的临时寄存器？）

核心问题 #

该函数本身未使用栈，为何编译器仍会生成修改栈帧的指令？

针对这个问题我提出了几个猜想，以下是对应的解答：

• 猜想1：是否为防止bar递归调用foo导致无限循环？Clang的push/pop是否为流水线优化？有无禁用参数？
  这种栈操作和防止无限递归完全无关——call指令本身会将返回地址压栈，即便没有额外栈操作，无限递归依然会触发栈溢出。
  Clang使用push rax+pop rcx，本质是用更短的指令（push rax仅1字节，sub rsp,8为4字节）实现栈调整，同时利用CPU流水线特性：push/pop可与其他指令并行执行，避免sub/add rsp可能带来的流水线停顿。
  若要禁用栈对齐相关的额外操作，GCC可使用-mpreferred-stack-boundary=3（强制栈按8字节而非16字节对齐），但这会违反AMD64 System V ABI规范，可能导致被调用函数（如bar）出现异常。

• 猜想2：是否存在未了解的C语言或AMD64 System V ABI特性？
  这是核心原因：AMD64 System V ABI强制要求，执行call指令前栈指针rsp必须保持16字节对齐（由调用者负责维护对齐状态）。
  当foo被调用时，上层的call指令会将8字节的返回地址压入栈，此时rsp的对齐状态变为8字节偏移（原栈为16字节对齐，压入8字节后打破对齐）。因此foo必须将rsp再调整8字节，恢复16字节对齐后才能调用bar——因为bar的执行依赖该对齐规则（比如bar中使用SSE/AVX指令时，栈上的数据必须是16字节对齐的）。
  GCC的sub rsp,8和Clang的push rax（本质都是将rsp减8），都是为了在调用bar前满足ABI的栈对齐要求。

• 猜想3：是否是编译过程中栈曾被使用，优化后未移除栈操作？
  这并非优化残留，而是编译器主动生成的指令，目的就是严格遵循ABI的栈对齐规范。即便函数本身不需要栈空间，只要它调用了其他函数，就必须保证调用前的栈对齐状态。

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