LLVM IR里的load和store怎么读写内存-C++-PHP中文网

llvm ir中load/store通过指针间接访问内存，类型、对齐、初始化必须严格匹配，否则导致未定义行为或运行时崩溃；指针须由alloca或getelementptr生成，不可直接使用地址常量。

llvm ir里的load和store怎么读写内存

LLVM IR 的 load 和 store 不直接操作物理地址，而是通过指针值（pointer value）间接访问内存；写错类型、对齐或未初始化指针会立即导致未定义行为（UB），不是报错，是静默崩溃或错误结果。

load / store 的参数必须严格匹配指针所指类型

LLVM 是强类型 IR，load 读出的值类型必须和指针的 pointee 类型一致。比如 i32* %ptr 只能配 load i32, i32* %ptr，不能写成 load i64, i32* %ptr —— 这在解析阶段就会被 llc 或 opt 拒绝，报错类似：invalid load type: expected 'i32', got 'i64'。

常见误用场景：

把 alloca i32 得到的 i32* 拿去 load double（类型不兼容）
用 getelementptr 算出地址后忘了改指针类型（例如 GEP 返回 i8*，但直接拿去 load i32）
对 void*（即 i8*）做 load 而不先用 bitcast 转型

store 必须确保目标地址可写且对齐

store 不检查地址合法性。向未分配内存（如空指针）、只读段（如字符串字面量地址）、或未对齐地址（如 i32* 指向地址 0x1001）写入，会在运行时触发 segfault 或硬件异常 —— LLVM 不插手，交给后端和 OS。

典型陷阱：

%p = alloca i32 后没 store 就直接 load：读到的是栈上随机垃圾值（未定义值，not undefined behavior，但结果不可预测）
用 alloca 分配空间后，用 getelementptr 偏移到越界位置再 store：IR 合法，但运行时踩内存
跨函数传递 alloca 出来的指针并 store：栈帧已销毁，写入野地址

load/store 依赖 alloca / getelementptr 构建合法指针

LLVM IR 中没有“地址常量”概念（除了全局变量名），所有内存访问都基于指针值。最常用路径是：

剪映

一款AI视频创作工具，主要用于一款全能易用的桌面端剪辑软件，适合需要提升相关任务效率的用户。

下载

%ptr = alloca i32 → 在当前栈帧分配 4 字节，返回 i32*
store i32 42, i32* %ptr → 写入
%val = load i32, i32* %ptr → 读出

数组或结构体访问必须用 getelementptr 计算偏移，例如：

  %arr = alloca [3 x i32], align 4
  %idx0 = getelementptr [3 x i32], [3 x i32]* %arr, i32 0, i32 0  ; → i32*
  store i32 100, i32* %idx0
  %v = load i32, i32* %idx0

注意：getelementptr 不访问内存，只做地址计算；它返回的必须是有效指针类型，否则后续 load/store 会失败。