赋值16字节数据被优化为movaps指令后触发段错误的原因排查及未定义行为确认

嘿，这个问题挺典型的，我来帮你拆解清楚：

首先先还原你的场景：
你写的C代码只是简单的两个long long数组赋值：

long long a1[] = {1, 2}, a2[2]; 
a2[0] = a1[0]; 
a2[1] = a1[1]; 

编译器却把它优化成了用SIMD指令一次性复制16字节的汇编代码：

movdqa  .LC0(%rip), %xmm0 
leaq    -24(%rsp), %rax 
movaps  %xmm0, -24(%rsp) 

最后一条movaps指令触发了段错误，核心原因正如你所说：-24(%rsp)指向的a2变量地址没有对齐到16字节边界。

为什么会出现这个情况？ #

1. movaps的硬性对齐要求：movaps是x86架构中专门针对对齐内存的SIMD指令，它强制要求源和目标地址必须是16字节对齐的——和普通不对齐内存访问（比如movq）仅降低性能不同，movaps遇到不对齐地址会直接触发段错误。
2. 变量的默认对齐规则：你的a2是long long[2]类型，C标准只要求它对齐到long long的自然对齐边界（也就是8字节），编译器默认只会满足这个最低要求，不会主动给它分配16字节的对齐空间。
3. 编译器的向量化优化逻辑：在开启优化（比如-O2及以上）时，编译器会自动识别到你是在复制16字节的数据，为了提升效率，它会选择用SIMD指令一次性完成复制，但这里它错误地假设了a2的地址是16字节对齐的，从而生成了不兼容的movaps指令。

代码里有没有未定义行为（UB）？ #

严格来说，你的代码本身没有未定义行为：你只是做了符合类型要求的赋值操作，变量a2的对齐也完全符合C标准的最低要求。问题出在编译器的优化决策上——它生成了依赖更高对齐度的指令，却没有确保目标地址满足这个对齐条件。

不过如果你开启了某些激进的优化选项，编译器可能会做出这类假设，这时候虽然代码本身没问题，但优化后的结果会出问题。

怎么解决这个问题？ #

• 显式指定16字节对齐：给a2加上对齐属性，让编译器确保它的地址在16字节边界上：

  long long a2[2] __attribute__((aligned(16)));
  

• 禁用向量化优化：编译时加上-fno-tree-vectorize选项，让编译器生成普通的movq指令分别赋值两个long long，避免用到SIMD指令。
• 改用标准库memcpy：标准库的memcpy会自动根据目标地址的对齐情况选择合适的指令（对齐用movaps，不对齐用movdqu），比自己手写的memcpy更可靠。

备注：内容来源于stack exchange，提问作者The Dude