为什么在函数调用上填充堆栈？

Question

我正在查看函数调用的解集并找到了：

movq    %rsp, %rbp
pushq   %rbx
subq    $136, %rsp        ; Pad the stack
....
addq    $136, %rsp        ; Unpad the stack
popq    %rbx
popq    %rbp
ret

这样做有什么价值？

Answer 1

这是局部变量的空间，而不是填充。

编译器将为运行此函数时必须存储的任何寄存器溢出和局部变量创建该堆栈空间。

你可以看到一些填充，当用SysV ABI分解x86-64代码时（大多数不是Windows的东西，我不知道它是如何在后者中），因为函数调用必须将堆栈对齐为16个字节。但在这种情况下，它实际上为局部变量保留了空间。

您可能需要查看this或查找有关编译器如何工作的更多信息。