LLVM JIT代码生成中结构体对齐异常问题求助

你的问题核心是LLVM根据目标平台的ABI规则自动计算了结构体的栈对齐，而非你预期的成员最大对齐值。

为什么对齐是8而非4？ #

1. 目标平台ABI约束：你指定的目标三元组是arm64-apple-macosx12.0.0，Arm64架构的macOS ABI对栈分配的结构体有特定对齐要求。尽管你的%Coordinate结构体成员都是i32（4字节对齐），但该结构体总大小为8字节，macOS Arm64的栈分配规则会要求这类大小的对象按8字节对齐，以符合平台内存访问效率规范。
2. LLVM自动对齐计算：当调用CreateAlloca()而不显式指定对齐参数时，LLVM会根据目标数据布局（datalayout）和平台ABI自动推导类型的最优对齐值。你的datalayout中的n32:64会影响整数类型的native存储特性，进一步推动LLVM选择更严格的对齐。

解决方法 #

如果你确实需要强制4字节对齐，可以在调用CreateAlloca()时显式传入对齐参数：

// 假设CoordinateType是你的%Coordinate类型的LLVM Type指针
AllocaInst* alloc = Builder.CreateAlloca(CoordinateType, nullptr, Align(4));

⚠️ 注意：显式指定不符合ABI的对齐可能导致未定义行为，比如跨函数调用时的内存访问错误。仅当你能确保该结构体仅在内部代码中使用、不涉及ABI交互时，才建议这么做。

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