llvm循环本质是基本块与br指令构成的cfg结构，必含header块（条件判断）、latch块（更新+跳回）及back edge（latch→header），无c语法残留。
LLVM 生成循环对应的基本块和跳转，本质是把源码中的控制流结构（如 for、while）翻译成符合 LLVM IR 语义的线性基本块序列 + 显式终结指令。它不“理解”循环语法，只依赖支配关系和终结指令（br、ret）构造控制流图（CFG）。
LLVM IR 中循环必须由基本块 + br 指令显式构成
LLVM 不保留 C 风格的循环语法，所有循环都降为基本块间的跳转。每个基本块必须以终结指令结尾，最常见的是 br（分支）或 ret（返回）。一个最简循环至少包含：
- 一个
header基本块：作为循环入口，含条件判断和分支逻辑 - 一个
latch基本块：含更新操作（如i++）和跳回header的br - 至少一条
back edge：从latch到header的br指令
例如 for (int i = 0; i 编译后不会生成 <code>loop 关键字，而是三个基本块：entry → header（含 icmp + br i1 ... label %body, label %exit）→ body → latch（含 add + br label %header）。
LoopInfo 是分析结果，不是生成依据
LLVM 在 IR 生成阶段（前端如 Clang）只负责输出合法的基本块和 br 指令；LoopInfo 是后续分析 Pass（如 -loops）基于 CFG 和支配关系推导出的元信息，用于优化（如展开、向量化），不影响 IR 生成本身。
-
LoopInfo识别header的依据是：存在一条back edge指向该块，且该块支配所有循环内块 - 没有
LoopInfo，IR 依然可执行；但没有正确的br跳转链，LoopInfo就无法识别出循环 - 手动写 IR 时若漏掉
latch到header的br，或条件分支目标错写成label %latch而非%header，会导致opt -loops输出为空
Clang 生成循环 IR 的实际路径
Clang 前端将 C 循环语句逐步降级，关键节点如下：
- AST 层：将
ForStmt解析为初始化、条件、增量、循环体四部分 - CodeGen 层：依次 emit 初始化块 → 条件块（
icmp+br）→ 循环体块 → 增量块（add+br label %cond） - 增量块末尾的
br必须指向条件块（即header），否则形成死循环或不可达代码 - Clang 默认不插入
preheader；只有在启用循环优化（如-O2）且需要做 Loop-Invariant Code Motion 时，LoopSimplifyPass 才会主动拆分并插入
你可以用 clang -S -emit-llvm test.c -o test.ll 查看未优化 IR，对比 clang -O2 -S -emit-llvm test.c -o test_opt.ll 观察 preheader 和 loop exit 块是否被自动补全。
容易被忽略的跳转陷阱
手写 IR 或自定义 Pass 修改循环时，以下错误会直接破坏 CFG 结构：
-
br目标标签拼写错误（如写成%headeer），导致llc报错use of undefined value - 在
latch块中使用br label %body而非%header，造成无限递归而非迭代 - 条件分支的
true/false目标颠倒（如br i1 %cmp, label %exit, label %body），使循环体永不执行 - 忘记在
header块末尾加br，导致 IR 验证失败：Basic block does not end with terminator instruction
这些都不是“语法错误”，而是 CFG 连通性问题——LLVM 的验证器（verifyModule）会在 opt 或 llc 阶段立刻报出，但错误位置往往指向跳转目标缺失的块，而非跳转指令本身。
