可变参数函数调用者保存寄存器存储标准与GCC编译栈布局疑问

示例代码 #

#include <stdio.h>

void foo(int arg1, int arg2) {}

void sum(int num_args, ...) {
    foo(69, 420); 
}

int main(int argc, const char **argv) { sum(1, 2, 3, 4, 5, 6, 7, 8, 9, 10); }

观察到的现象 #

使用GCC的-S编译选项后，传递给sum的参数寄存器%rdi至%r9（对应值1到6）被存入栈中特定偏移位置，分别为%rbp - 180、%rbp - 168、%rbp - 160、%rbp - 152、%rbp - 144、%rbp - 136。

疑问 #

1. 为何rdi占用12字节？该寄存器最多仅8字节，此假设是否错误？ #

2. 为何选择这些特定地址而非简单的push操作？无需查阅GCC源码能否提前知晓？ #

背景说明 #

我正尝试实现类似stdarg.h的可变参数管理接口，以探究底层实现并练习x86汇编编写。但无法提前知晓编译器在调用va_start等函数前存储调用者参数的位置，导致实现困难。期望找到一种x86平台下尽可能可移植的参数存储位置获取方式，同时想了解是否存在可变参数函数中保存调用者寄存器的标准。

解答 #

针对疑问1：寄存器占用12字节的误解 #

你看到的12字节并非寄存器本身的大小，而是栈上分配的存储槽整体大小。x86-64通用寄存器（包括%rdi）确实是8字节，但GCC遵循的x86-64 System V ABI要求栈帧满足16字节对齐规则，同时函数内部可能为局部变量、后续函数调用的参数预留空间，导致这些寄存器参数的存储槽之间间隔12字节——其中只有低8字节用于存储寄存器的实际数据，高4字节是编译器自动填充的对齐字节，目的是满足ABI的对齐要求。

针对疑问2：选择特定地址而非push的原因 #

编译器选择将寄存器参数写入栈上固定偏移位置，而非零散使用push指令，核心原因有两点：

1. 栈帧布局高效性与一致性：编译器在函数入口处会一次性分配好整个栈帧的全部空间（包括局部变量区、寄存器保存区、后续调用的参数预留区等），这种批量分配的方式比多次push更高效，同时能让栈帧布局固定，方便调试和后续优化。
2. 符合ABI规范要求：x86-64 System V ABI明确规定，可变参数函数必须将所有通过寄存器传递的参数保存到栈上的“影子空间”（shadow space），这样va_start、va_arg等接口才能统一从栈上访问所有可变参数。这些固定偏移是编译器根据栈帧的整体布局（包括保存的%rbp、返回地址、局部变量大小等）计算得出的，不需要查阅GCC源码，只要对照x86-64 System V ABI文档就能提前知晓规则。

关于实现可移植的可变参数管理接口 #

要实现类似stdarg.h的可移植接口，必须严格遵循目标平台的ABI规范：

• 在遵循x86-64 System V ABI的系统（如Linux、macOS）中，可变参数函数的前6个整数参数通过%rdi、%rsi、%rdx、%rcx、%r8、%r9传递，剩余参数直接压入栈中。ABI要求可变参数函数必须将寄存器传递的参数保存到栈上的影子空间，这个空间的位置可以通过栈基址%rbp结合栈帧布局计算：
  • 函数入口处，%rbp + 8是返回地址，%rbp + 16开始是栈上直接传递的参数；
  • 寄存器参数的影子空间位于栈帧的局部变量区域，偏移由编译器根据栈帧整体大小确定，但ABI保证该空间必然存在，且每个寄存器参数对应8字节的存储位置。
• 最可靠的实现方式是参考标准stdarg.h的底层宏实现，比如GCC中的va_start会利用第一个固定参数的地址，结合ABI规定的参数传递顺序和栈布局来定位后续参数的位置。
• 关于寄存器保存的标准：x86-64 System V ABI将寄存器分为两类——%rbx、%rbp、%r12-%r15是被调用者保存寄存器，可变参数函数如果使用了这些寄存器，必须在函数入口保存并在退出前恢复；而%rdi、%rsi等用于传递参数的寄存器是调用者保存寄存器，函数无需保存，但对于可变参数函数，编译器会自动将这些寄存器中的参数保存到栈上的影子空间，这是ABI对可变参数函数的特殊要求，目的是统一参数访问方式。

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