结论：C++ 中写真正 SSA 优化 Pass 必须先构建支配边界并插入合法 Phi 节点，否则 SSA 残缺不可靠；Phi 必须位于支配边界、基本块开头，操作数与前驱一一对应且类型匹配，未定义路径需填 undef；变量重命名须按支配树 DFS 序严格进行，维护 per-variable rename 栈，否则 Phi 与定义错位；Pass 需正确声明 AnalysisUsage 并同步更新 DominatorTree 等分析结果。
直接说结论：C++ 里写一个真正意义上的 SSA 形式优化 Pass，不能只靠“手写循环变量重命名”，必须先构建支配边界（dominance frontier）并完成 Phi 节点插入，否则生成的 SSA 是残缺的、不可靠的 —— 大多数人卡在这一步，不是语法不会，是没走通控制流到数据流的映射。
怎么生成合法的 Phi 节点（不是随便插）
Phi 节点不是在每个分支汇合点硬塞进去的。它必须出现在支配边界（dominance frontier）上，且每个前驱基本块（predecessor）对应一个操作数。漏掉某个前驱、顺序错乱、类型不匹配，都会导致后续优化（比如值编号、死代码消除）出错甚至崩溃。
-
llvm::DominatorTree和llvm::DominanceFrontier是 LLVM 中必需的分析基础设施，手动实现极易出错；Clang/MLIR 等前端已默认提供，但裸用 LLVM IR Builder 时需显式调用DT.recalculate(F)和DF->calculate(DT) - Phi 插入位置必须是基本块开头（第一个非 PHINode 指令之前），且所有前驱块中该变量必须有定义（或为 undef）；否则
verifyFunction()会报"PHI node entries do not match predecessors!" - 如果变量在某前驱中未定义（比如该路径根本没走到赋值语句），得用
UndefValue::get(Ty)填位，不能跳过
为什么不能跳过 Rename 变量阶段（即使用了 Phi）
Phi 节点只解决“多路径汇合时的值选择”，不解决“同一变量在不同路径中实际是不同值”的问题。SSA 的核心约束是“每个变量只被赋值一次”，所以原始 IR 中的 %x = add i32 %a, %b 在 if-then-else 后可能变成 %x.0 和 %x.1 —— 这个重命名必须严格按支配树 DFS 序做，否则 Phi 的操作数和实际定义对不上。
- 重命名栈（rename stack）必须 per-variable 维护，每进入一个块 push 当前版本号，离开时 pop；LLVM 提供
SSAUpdater类辅助，但仅适用于单变量场景；全函数级 rename 需自己管理std::map<value std::vector>></value>映射 - 常见错误：在无条件跳转后忘记更新 rename 栈，导致后续 use 引用到旧版本变量，IR 验证失败提示
"Use not in same function as value!"或更隐蔽的"Invalid operand type" - 性能影响：全函数遍历 + 每个变量维护栈，对大型函数（>10k 行 IR）可能引入毫秒级延迟，建议只对 hot basic blocks 开启
优化 Pass 怎么安全接入 LLVM Pipeline
LLVM 不允许在运行时修改 IR 的同时让其他 Pass 读取未同步的中间状态。SSA Pass 必须声明正确的 AnalysisUsage，否则 opt -O2 下可能被跳过、重复执行，或与 GVN/LoopVectorize 产生冲突。
立即学习“C++免费学习笔记（深入）”；
- 必须在
getAnalysisUsage(AU)中调用AU.addRequired<dominatortreewrapperpass>()</dominatortreewrapperpass>和AU.addPreserved<dominatortreewrapperpass>()</dominatortreewrapperpass>；否则后续依赖支配信息的 Pass 会重建 DT，开销翻倍 - 若 Pass 修改了 CFG（比如删空块、合并块），必须调用
DT.recalculate(F)并标记AU.addPreservedID(LoopInfoWrapperPass::ID)，否则 LoopInfo 可能 crash - 调试时加
DEBUG(dbgs() getName() 比打日志更可靠；<code>opt -debug-pass=Structure可确认 Pass 是否被正确调度
真正难的不是写循环或插 Phi，而是让每个 Phi 的操作数、每个重命名后的 %x.5、每个支配边界位置，在所有控制流路径下都保持语义等价 —— 这要求你同时盯着 CFG 图、支配树、变量定义链三张图看，少盯一张，IR 就会在某个 corner case 里悄悄错掉。
