LLVM x86-64后端栈分配内存大小的规则及原因问询

代码生成器确实遵循该模式吗？ #

是的，你观察到的“分配大小为8字节奇数倍”的模式是LLVM在x86-64平台上生成栈内存分配代码时的固定行为。从你给出的例子可以明确看到：

• 请求88字节（8×11，本身是8的奇数倍）：直接分配88字节
• 请求96字节（8×12，偶数倍）：向上对齐到104字节（8×13，奇数倍）
• 请求100/104字节：最终都分配104字节（8×13）
• 请求105字节：向上对齐到120字节（8×15）

为什么会采用这种模式？ #

核心原因是适配x86-64平台的System V ABI栈规则，同时平衡内存利用与栈帧管理效率：

1. 栈对齐的硬性要求
   System V ABI规定，函数调用时栈指针RSP必须保持16字节对齐。函数入口执行push rbp后，RSP会减少8字节，进入8字节对齐的状态。此时分配局部变量时，所有内存操作都要维持这个对齐状态，否则会触发未定义行为。

2. 8字节奇数倍的适配逻辑
   栈内存是向下增长的，分配操作通过sub rsp, 分配大小实现。由于函数入口后RSP已经是8字节对齐，减去8的奇数倍（即8×(2n+1)）后，RSP依然保持8字节对齐——这刚好匹配栈帧内绝大多数局部变量的对齐需求（基础类型如int、指针的对齐要求不超过8字节）。

3. 避免不必要的内存浪费
   如果强制使用8的偶数倍（即16字节倍数），虽然也能满足对齐要求，但会额外占用更多栈空间。而8的奇数倍既满足了对齐规则，又能更紧凑地利用栈内存，同时简化了LLVM的栈帧管理逻辑。

总结 #

LLVM的这种分配策略是为了严格遵循x86-64的ABI规范，在保证内存对齐正确性的前提下，最大化栈内存的利用率，同时简化代码生成的逻辑。

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