CSAPP 3.7.5节P函数汇编中subq $8, %rsp的栈对齐原因疑问

要搞懂这个指令的作用，得先明确x86-64平台的System V AMD64 ABI（应用二进制接口）的核心规则：当执行call指令调用任意函数时，栈指针%rsp必须是16字节的整数倍。这个规则是为了兼容SIMD指令（比如SSE/AVX，它们要求内存操作数16字节对齐），同时保证函数调用栈帧的一致性，避免出现未定义行为。

接下来我们一步步拆解P函数执行过程中%rsp的变化，就能明白为什么需要这条subq $8, %rsp：

初始调用状态 #

假设调用P的函数严格遵守ABI，在执行call P之前，%rsp是16字节对齐的（比如值为0x1000，16的整数倍）。

• 执行call P时，CPU会把返回地址（8字节）压入栈，此时%rsp变为0x0FF8——这是8字节偏移，不再是16字节对齐。

P函数开头的栈操作 #

进入P后，前两条指令是保存寄存器：

1. pushq %rbp：把基址寄存器%rbp（8字节）压栈，%rsp变为0x0FF0（16字节对齐，因为0x0FF0是16的倍数）。
2. pushq %rbx：把被调用者保存寄存器%rbx（8字节）压栈，%rsp变为0x0FE8——再次变成8字节偏移，破坏了16字节对齐。

关键的对齐操作 #

此时如果直接执行call Q，就违反了ABI规则：call执行前%rsp必须是16字节对齐。所以subq $8, %rsp把%rsp再减去8字节，变为0x0FE0——重新回到16字节对齐状态，满足调用Q的前置要求。

后续调用与恢复 #

• 两次调用Q时，%rsp都保持16字节对齐，符合ABI规范；
• 函数返回前，addq $8, %rsp把之前额外减去的8字节加回来，恢复到pushq %rbx后的栈状态，再依次弹出%rbx和%rbp，最后ret指令弹出返回地址，让%rsp回到调用P之前的16字节对齐状态。

补充：为什么要保存%rbx？ #

%rbx属于被调用者保存寄存器，按照ABI规则，P函数如果要使用这个寄存器，必须先保存它的值，函数结束前恢复，避免破坏调用者的上下文。这里P用%rbx存储Q(y)的返回值，所以必须先压栈保存。

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