为何System V AMD64 ABI中需设置AL字段（FP寄存器使用计数）？

在System V AMD64调用约定里，AL寄存器由调用者在调用函数前设置，用来告知被调用者实际通过XMM寄存器传递的浮点/向量参数数量（上限为8）。它的存在绝非冗余，核心原因是浮点参数的传递规则比整数参数复杂得多，必须靠这个计数来消除歧义：

• 整数参数的传递规则是固定无歧义的：前6个整数/指针参数固定用RDI/RRSI/RDX/RCX/R8/R9寄存器传递，剩余参数压栈。被调用者无需额外计数，直接按参数列表顺序取对应寄存器或栈数据即可——哪怕参数数量少于6，也不会影响解析逻辑。
• 浮点参数的传递场景存在不确定性：
  1. 复合类型参数的混合传递：如果参数是包含整数和浮点成员的结构体，会根据成员的类型和内存布局，交替使用整数寄存器和XMM寄存器。比如一个struct { int a; double b; }类型的参数，会先占用整数寄存器存a，再用XMM寄存器存b；如果有多个这类参数，调用者可能不会连续使用XMM寄存器，此时被调用者必须靠AL的值确认哪些XMM寄存器里有有效数据。
  2. 可变参数函数的需求：像printf这类可变参数函数，被调用者无法在编译期知晓参数的数量和类型。如果没有AL的计数，它根本无法区分哪些浮点参数在XMM寄存器、哪些在栈上，完全无法正确处理浮点格式符。
  3. 统一规则的兼容性：即便所有参数都是纯浮点且数量不超8个，ABI也需要一套能覆盖所有场景（混合类型、复合类型、可变参数）的通用规则，AL的存在正是为了让被调用者在任何情况下都能准确解析参数传递的上下文。

如果去掉AL字段，调用约定在处理复合类型参数和可变参数时会完全失效，甚至纯浮点参数的传递也可能因为某些边缘场景（比如调用者因优化原因提前切换到栈传）出现解析错误。

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