LLVM 10 加载全局及局部数组可变索引元素的实现方法

LLVM 10.0.0 可变下标数组元素加载实现 #

LLVM中数组下标访问通过GetElementPtr（GEP）指令完成，该指令仅计算元素内存地址，不触发内存访问，天然支持全局/局部数组、常量/可变索引全场景，你需要先构造GEP获取元素地址后再执行Load操作。

针对你提供的代码上下文，完整实现如下：

方式1：使用官方推荐的IRBuilder构造（更简洁）

// 需提前构造IRBuilder实例，示例：
// llvm::IRBuilder<> builder(basic_block);

// GEP索引规则：第一个索引固定为0（解引用数组指针到数组首地址），第二个为实际下标
llvm::Value* indices[] = {
    builder.getInt32(0),
    index
};

// 计算目标元素内存地址
llvm::Value* elem_addr = builder.CreateInBoundsGEP(
    array_type,
    address_of_array,
    indices,
    "array_elem_addr"
);

// 加载元素值，即你需要的loader变量
llvm::LoadInst* loader = builder.CreateLoad(element_type, elem_addr, "load_array_elem");

方式2：手动构造指令

// 构造固定为0的首索引，类型与你的index类型保持一致即可，示例为i32
llvm::Value* zero_idx = llvm::ConstantInt::get(llvm::Type::getInt32Ty(global_context), 0);
llvm::Value* indices[] = {zero_idx, index};

// 构造GEP指令
llvm::GetElementPtrInst* gep = llvm::GetElementPtrInst::CreateInBounds(
    array_type,
    address_of_array,
    indices,
    "array_elem_addr",
    basic_block
);

// 构造Load指令
llvm::LoadInst* loader = new llvm::LoadInst(element_type, gep, "load_array_elem", basic_block);

注意事项

• 首索引固定为0的原因：address_of_array是指向整个数组的指针，类型为ArrayType*，首索引的作用是偏移到数组的首元素地址，第二个索引才是数组的实际访问下标。
• 该实现无需修改即可兼容全局数组：全局数组变量本身也是ArrayType*类型，和局部Alloca生成的数组指针类型完全一致。
• 若你的index为i64类型，只需将zero_idx的类型同步替换为i64即可。

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