LLVM IR中无for/while关键字，仅通过基本块、条件分支（br）和无条件跳转构建CFG；循环变量需用phi节点表达多来源性，否则verifyFunction()报错中止。
LLVM IR里没有for或while关键字
LLVM IR 是静态单赋值（SSA）形式的三地址码，不保留高级语言的语法糖。for 和 while 在 IR 中完全消失，只留下基本块（basic block）+ 条件分支（br）+ 无条件跳转（br label）构成的控制流图（CFG）。你看到的 for (i = 0; i ，在 IR 里就是三个块：初始化块、循环头块（含 <code>icmp 比较和条件跳转）、循环体块（含增量和回跳）。
while循环对应一个典型的“header → body → back-edge”结构
以 C 的 while (cond) { body; } 为例，IR 会生成：
- 一个入口块（entry），执行循环前的准备工作（如变量
alloca） - 一个 header 块：用
%cmp = icmp slt i32 %i, 10判断条件，再用br i1 %cmp, label %body, label %exit - 一个 body 块：包含循环体语句，末尾必须有
br label %header（形成回边） - 一个 exit 块：循环结束后的后续代码
注意：IR 不强制要求 header 块只被一个 predecessor 达到，但优化器（如 LoopInfo）依赖这种结构识别循环；若手动构造 IR，漏掉 br label %header 或写错跳转目标，会导致 CFG 破损、opt 报错 Broken function found, not all blocks return 或 Invalid branch。
for循环本质是while的语法糖，IR结构相同但初始化/增量逻辑位置固定
Clang 编译 for (int i = 0; i 时，会把初始化（<code>%i = alloca i32; store i32 0, i32* %i）放在 entry 块，条件判断和增量（%inc = add nsw i32 %i1, 1; store i32 %inc, i32* %i）都塞进 header 或专门的 latch 块。常见模式是：
- entry → header（含
load+icmp） - header → body（条件为真时）
- body → latch（含增量操作）
- latch → header（无条件跳回）
这种四块结构让 LoopPass 能准确提取 Loop 对象，调用 L->getHeader()、L->getLoopLatch() 等接口。如果你用 IRBuilder 手写循环，把增量写在 body 末尾并直接跳回 header，虽能运行，但会被视为“no latch”，导致 LoopInfo 失效，后续的 -loop-vectorize 等优化不会触发。
容易忽略的细节：PHI 节点和支配关系
循环变量在每次迭代中可能被重新定义（如 i = i + 1），IR 必须用 phi 节点表达其多来源性。例如：
%header: %i1 = phi i32 [ 0, %entry ], [ %i2, %latch ] %cmp = icmp slt i32 %i1, 10 br i1 %cmp, label %body, label %exit <p>%body: ; ... loop body ... br label %latch</p><p>%latch: %i2 = add nsw i32 %i1, 1 br label %header</p>
这里 %i1 的两个入边分别来自 %entry（首次）和 %latch（后续），phi 是 SSA 合法性的强制要求。漏写 phi 或参数顺序错乱（比如把 %latch 写成 %body），会导致验证失败：ERROR: Instruction does not dominate all uses!。这不是警告——verifyFunction() 会直接 abort。
