LLVM IR中数组对齐解析：为何示例二维数组a对齐值为16？

先看你给出的C代码：

#include <stdio.h>

int main() {
  int a[2][3] = { 0 };
  
  int i = 1, j = 2;
  int c = 10, d = 20;

  d = c + a[i][j];

  printf("%d\n", d);
  
  return 0;
}

在Compiler Explorer生成的LLVM IR中，数组a的分配指令是%2 = alloca [2 x [3 x i32]], align 16，这里对齐值设为16主要有几个原因：

• 目标架构的内存访问效率要求：Compiler Explorer默认使用的x86-64架构下，16字节是常用的内存对齐基准。CPU访问对齐的内存时，不需要拆分总线周期，速度更快；而且如果后续编译器对代码做优化（比如循环向量化，用SSE/AVX这类向量指令处理数组），16字节对齐是这类指令的硬性要求，提前对齐能为优化铺路。

• 编译器的默认栈对齐策略：Clang、GCC这类主流编译器在x86-64平台上，会默认将栈上的较大数据结构（包括数组）对齐到16字节。你的数组a占24字节（2×3×4字节），符合编译器触发高对齐阈值的条件，所以自动应用了16字节对齐。

• 初始化操作的优化需求：数组a被初始化为全0，编译器可能会用movaps这类需要16字节对齐的SIMD指令来快速填充内存，16字节的对齐属性确保这类指令能安全执行，避免因内存不对齐导致的异常或性能损耗。

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