SimplifyCFG 不自动合并分支，仅在满足结构约束时生效；常见失效原因包括基本块末尾非纯条件跳转、PHI节点未对齐、异常逻辑未预处理等。
为什么 SimplifyCFG 有时不生效
SimplifyCFG 不是“自动无脑合并分支”的开关，它只在满足特定结构约束时才触发简化。最常见失效场景是：基本块末尾不是纯条件跳转（比如混有 unreachable、invoke 或异常分发逻辑），或目标基本块有多个前驱但 PHI 节点未对齐。Clang 默认启用该 Pass（如 -O1 及以上），但若 IR 已被其他 Pass 提前拆解（如 LoopRotate 插入了额外控制流），它可能找不到可简化的模式。
SimplifyCFG 实际会合并哪些分支结构
它主要识别并折叠三类常见冗余控制流：
- 单一后继的空基本块（仅含
br label %next）→ 直接将前驱跳转目标重定向到%next - 两个基本块都以相同条件跳转到同一目标（如
br i1 %cond, label %A, label %B和br i1 %cond, label %A, label %B）→ 合并为一个条件跳转 - “if-then-else”中 then/else 块末尾都跳转到同一后续块，且无副作用 → 消除冗余跳转，把后续块提升为直接后继，并调整 PHI 节点输入
注意：它不会重排代码顺序，也不会消除循环——那是 LoopSimplify 或 LoopRotate 的职责。
如何手动验证 SimplifyCFG 效果
用 opt 工具单独运行它，比对前后 IR 变化最直观：
clang -c -emit-llvm test.c -o test.bc opt -S -simplifycfg test.bc -o simplified.ll
重点关注：br i1 指令是否减少、phi 节点输入是否变少、是否存在连续的 br label %X 被抹掉。如果没变化，大概率是 IR 结构不符合触发条件，而不是 Pass 失效。
容易被忽略的依赖点
SimplifyCFG 对 PHI 节点极其敏感。若某基本块有 PHI 指令，但其前驱块数量与 PHI 输入数不一致（比如因前面 Pass 插入了新边但没更新 PHI），它会直接跳过该块。另外，它默认不处理含有 landingpad 或 catchswitch 的异常路径——这类控制流需先经 LowerSwitch 或 CFGSimplificationPass（注意不是同名）预处理。
