LLVM IR中访问数组或结构体成员必须用getelementptr（GEP）计算地址，再配合load/store；extractvalue/insertvalue仅适用于已加载的聚合值，不支持指针解引用。
怎么用 getelementptr 访问数组和结构体成员
LLVM IR 不支持 C 风格的 a[i] 或 s.field 语法，所有地址计算必须显式调用 getelementptr（GEP）指令。它不读写内存，只算地址——这是初学者最容易混淆的一点。
常见错误现象：
- 直接对数组变量用
load想取某个元素 → 报错 “invalid operand type for load” - 用
extractvalue访问结构体指针所指向的字段 → 失败，因为extractvalue只作用于值（value），不能解引用指针
正确做法是：先用 getelementptr 算出目标元素/字段的地址，再用 load 或 store。
示例（访问 int arr[10] 的第 3 个元素）：
%arr_ptr = alloca [10 x i32] %idx_ptr = getelementptr [10 x i32], [10 x i32]* %arr_ptr, i64 0, i64 2 %val = load i32, i32* %idx_ptr
注意两个索引：i64 0 是数组本身（结构体或数组类型的第一维），i64 2 才是下标。结构体同理，第一个索引是 0（进入该结构体），后续索引对应字段序号。
extractvalue 和 insertvalue 只用于聚合值，不适用于指针
这两个指令操作的是“值”（value）而非“地址”，只能用于 [10 x i32]、{i32, i32} 这类字面聚合类型，且要求操作对象已加载到寄存器中。
典型误用场景：
- 对
%s_ptr = alloca {i32, i32}直接调用extractvalue %s_ptr, 1→ 错误：期望一个聚合值，但给的是指针类型 - 想修改结构体某字段后原地更新全局变量 → 必须先
load整个结构体，insertvalue修改，再store回去
正确链路（修改结构体第二个字段）：
%s_val = load {i32, i32}, {i32, i32}* %s_ptr
%s_new = insertvalue {i32, i32} %s_val, i32 42, 1
store {i32, i32} %s_new, {i32, i32}* %s_ptr性能提示：频繁用 insertvalue/extractvalue 操作大结构体（比如含数组的结构）会生成大量复制指令，不如用 GEP + load/store 单独读写字段。
结构体定义和内存布局必须显式声明
LLVM 不自动推导结构体布局；你得用 StructType::create 并调用 setBody 显式指定字段类型序列。否则生成的 IR 无法通过 verifier。
关键细节：
- 字段顺序必须与源语言一致，否则 GEP 索引会错位
- 默认按自然对齐填充，若需紧凑布局（如对接 C 的
__attribute__((packed))），要用语法（尖括号包裹） - 结构体名必须唯一且注册到模块，否则
GlobalVariable初始化时会报 “type not found”
代码片段（C 风格 struct { int x; int y; }）：
StructType *S = StructType::create(c, "Point");
S->setBody({builder.getInt32Ty(), builder.getInt32Ty()}); // 顺序即字段顺序
GlobalVariable *gv = new GlobalVariable(*m, S, false,
GlobalValue::PrivateLinkage, ConstantStruct::get(S, {c1, c2}), "point_gv");数组类型声明和初始化容易漏掉维度信息
LLVM 中数组是第一类类型，[10 x i32] 和 i32* 完全不同。前者是固定大小聚合，后者是指针。混淆会导致 GEP 行为异常或 verifier 失败。
常见坑：
- 用
ArrayType::get(i32, 10)写反参数顺序 → 实际应为ArrayType::get(builder.getInt32Ty(), 10) - 初始化全局数组时传入
std::vector<constant></constant>，但元素个数 ≠ 数组长度 → verifier 报 “initializer element count mismatch” - 对栈上数组（
alloca [10 x i32]）直接store一个i32→ 类型不匹配，必须用 GEP 先取元素地址
安全初始化方式（全局数组）：
ArrayType *AT = ArrayType::get(builder.getInt32Ty(), 10); std::vector<Constant *> init(10, builder.getInt32(0)); Constant *arr_init = ConstantArray::get(AT, init); new GlobalVariable(*m, AT, true, GlobalValue::PrivateLinkage, arr_init, "zeros");
最易被忽略的是：GEP 的索引序列必须严格匹配类型嵌套层级，多一层或少一层括号（比如把 [10 x i32] 当作 i32*）会导致地址偏移完全错误，而 LLVM 不会在编译期报错，只在运行时崩掉。
