开启LLVM优化Pass后，将结构体存储为数据Blob导致程序行为异常的问题排查

看起来你遇到的是LLVM优化过程中违反类型系统规则引发的未定义行为问题，我来帮你拆解清楚：

问题核心原因：违反LLVM的类型别名与内存访问规则 #

你当前的代码通过bitcast将结构体指针直接转换为数组指针，然后对数组进行加载/存储操作，再转换回结构体指针读取数据——这在LLVM的语义里是明确的未定义行为：

• LLVM遵循严格类型别名规则，不同的非字符聚合类型（结构体和数组属于不同的聚合类型）之间不能直接通过指针别名访问
• 优化器（比如instcombine和gvn）会基于类型规则做激进分析，它无法理解你这种跨类型的内存操作语义，因此会做出错误的内存访问推断，最终导致读取到错误的数据（你观察到的float被存在第二个i64位置就是典型表现）

关闭优化时，LLVM只是按IR字面执行，不会做深度类型分析，所以结果符合预期；但开启优化后，优化器会基于“合法类型操作”的假设重排代码，未定义行为就会暴露出来。

验证你的观察细节 #

你提到几个特殊情况，背后的逻辑其实都是“巧合”：

• 仅做两次bitcast不存/取：此时没有实际的跨类型内存访问，优化器没有触发错误推断，所以问题消失
• 移除i8或i64字段：结构体布局会改变，巧合下与数组布局匹配，优化器没有触发错误，但这只是偶然，不属于合法操作
• 手动填充结构体后问题消失：同样是巧合，填充后的结构体布局刚好和数组完全对齐，优化器的推断暂时“正确”，但本质还是违反规则，不可依赖

正确的解决方案：使用memcpy进行字节级复制 #

不要依赖bitcast跨类型访问内存，改用LLVM的memcpy intrinsic来完成结构体的字节级复制，这样语义明确，优化器能正确理解内存操作：

修改后的核心IR代码如下：

define i1 @main() {
entry:
; Allocate space on the stack for a record
%record = alloca { i8, i64, float }, align 8

; Store 1.0 in the third field of the record
%value = getelementptr inbounds { i8, i64, float }, { i8, i64, float }* %record, i32 0, i32 2
store float 1.000000e+00, float* %value, align 4

; 改用memcpy复制结构体内容到blob，替代原来的bitcast+load+store数组操作
%blob = alloca { i8, i64, float }, align 8
call void @llvm.memcpy.p0.p0.i64(ptr %blob, ptr %record, i64 24, i1 false)

; 直接从blob读取字段
%value2ptr = getelementptr inbounds { i8, i64, float }, { i8, i64, float }* %blob, i32 0, i32 2
%value2 = load float, float* %value2ptr, align 4

; Check that value is `1.0`
%eq = fcmp oeq float %value2, 1.000000e+00
ret i1 %eq
}

; 声明memcpy intrinsic
declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) nounwind argmemonly

如果你确实需要将结构体转为字节数组形式存储，也应该用memcpy把结构体内容复制到数组中，而不是直接bitcast指针：

; 示例：将结构体复制到[3 x i64]数组
%blob = alloca [3 x i64], align 8
call void @llvm.memcpy.p0.p0.i64(ptr %blob, ptr %record, i64 24, i1 false)

这样修改后，无论是否开启优化，程序都会稳定返回正确结果，因为memcpy明确告诉优化器：这是一段字节级的内存复制，不需要基于类型做推断。

总结 #

LLVM优化器的行为完全基于合法的IR语义，任何违反类型规则的操作都会导致未定义行为——优化器可以自由地重排、删除或修改这些操作，最终结果不可预测。处理字节级的内存复制时，一定要使用语义明确的memcpy，而不是依赖跨类型的bitcast访问。

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