使用SIMD指令时的x86栈对齐疑问：对齐要求与系统差异

64位x86程序（x86-64/AMD64） #

• 主流操作系统（Windows、Linux、macOS等）的函数调用约定均强制要求16字节栈对齐：调用函数前，栈指针%rsp（或rsp）必须是16字节的整数倍。这是因为x86-64的SIMD指令（如SSE、AVX）操作16字节及以上内存 operand时，硬件要求地址对齐到16字节，被调用函数会默认栈已对齐，直接使用栈空间存放SIMD数据。
• 违反该要求可能触发硬件错误（如Linux下的SIGBUS信号），或导致函数调用行为异常。

32位x86程序 #

• 无全局强制16字节栈对齐要求，具体取决于操作系统和调用场景：
  • Windows 32位：基础调用约定仅要求4字节对齐，但函数若使用SSE指令，必须手动将栈对齐到16字节，否则SIMD指令可能运行异常。
  • Linux/UNIX类系统32位：传统cdecl约定要求4字节对齐，但若用到SSE/AVX指令，需手动维护16字节栈对齐。部分编译器优化会自动处理，但手写汇编时需自行负责。
  • 核心原则：只要用SIMD指令操作栈上数据，就必须保证对应内存地址16字节对齐，这是硬件层面的要求。

关于操作系统的影响 #

• 64位平台：主流操作系统的调用约定统一要求16字节栈对齐，不存在差异。
• 32位平台：操作系统的基础调用约定对齐要求不同，但SIMD指令本身的对齐需求是硬件强制的，与操作系统无关——只要使用SIMD操作栈内存，就必须手动保证16字节对齐。

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