为何SYSTEM V AMD64 ABI要求用vector寄存器存stdargs而非压栈？

这套规则的核心设计逻辑是在兼容统一调用约定的前提下最大化函数调用性能，具体的疑问解答如下：

为什么使用vector寄存器传递stdargs参数？ #

SYSTEM V AMD64 ABI 并没有为可变参数函数单独设计特殊传参规则，只是沿用了普通函数的通用传参约定：

• 整型参数前6个通过RDI/RSI/RDX/RCX/R8/R9传递，超出部分入栈
• 浮点/向量参数前8个通过XMM0~XMM7（即规范中提到的vector寄存器）传递，超出部分入栈

之所以不直接把所有可变参数都放栈里，核心原因是性能和实现成本的考量：

• vector寄存器是CPU内置的存储单元，访问延迟只有几纳秒，比栈对应的内存访问快至少一个数量级。对于printf这类高频调用的可变参数函数，直接从寄存器取参数的收益非常明显。
• 统一的传参规则降低了编译器的实现复杂度，不需要为可变参数函数单独生成特殊的参数压栈逻辑，减少了不同代码场景下的调用约定割裂。

能不能直接把参数全存入栈，再将AL设置为栈中参数数量？ #

理论上可以做这种自定义实现，但完全不符合ABI的设计目标，存在非常明显的缺陷：

• 相当于为可变参数函数单独设计了一套传参规则，所有调用可变参数的函数和被调用的可变参数函数都要单独适配这套逻辑，编译器、链接器的实现复杂度都会大幅提升。
• 性能损失很大：对于只需要传递1~2个浮点参数的轻量可变参数调用，原本只需要读寄存器就能拿到参数，改成栈传参后需要多做好几次内存load操作，开销被显著放大。
• AL是8位寄存器，最多只能表示0_{255的数值，栈中的可变参数数量很容易超过这个上限，用它来记录栈参数数量本身就有容量缺陷。目前规范里`AL`只用来记录传递参数用到的vector寄存器数量，取值范围只有0}8，刚好适配8个XMM传参寄存器的场景，不会有溢出问题。

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