linux - x86 上的堆栈对齐

Question

在 x86(32 位)平台上，当运行使用 gcc-4.8.1 和 -march=pentium4 编译的代码时，我遇到了一个神秘的总线错误。我将问题追溯到 SSE 指令:

movdqa %xmm5,0x50(%esp)

esp = 0xbfffedac。 movdqa 要求地址是 16 字节对齐的，这里不是这种情况，因此会出现总线错误。

如果使用-march=native(这是Core-i3处理器)编译就不会出现这个问题。

据我所知，在 Linux/x86 上保证的唯一堆栈对齐是 4 字节。因此，代码生成器应该选择使用 movdqa，而不进行某种对齐检查，这似乎很奇怪，即使存在用于可能未对齐访问的指令 movdqu。

所以，这看起来像是 gcc 中的错误。

我不是 SSE 和 x86 ABI 方面的专家，在发送错误报告之前，我希望收到反馈。

Answer 1

现在 gcc 中的默认值是 -mpreferred-stack-boundary=4(16 字节对齐)，它设置 -mincoming-stack-boundary=4。

如果从具有不同堆栈对齐假设的其他编译器生成的代码调用使用 SSE 的 gcc 代码，例如 OCaml(请参阅 OCaml 错误跟踪器上的 discussion)，则会出现问题。