2.4.2 关键边分裂 (Critical Edge Splitting)

文档摘要

2.4.2 关键边分裂 (Critical Edge Splitting) 在编译器优化的精密世界里，SSA（Static Single Assignment）形式是现代编译器中一道不可逾越的基石。它像一座逻辑清晰的水晶宫殿——每个变量仅被赋值一次，所有使用都指向唯一定义点，从而为常量传播、死代码消除、循环优化等高级分析铺平了道路。但这座宫殿并非天然完美：当控制流图（CFG）中出现关键边（Critical Edge）时，SSA 的“单一定义”契约便悄然裂开一道缝隙——此时，我们既不能安全地将 φ 函数插入到目标基本块的开头（因为该块有多个前驱，且其中某些前驱路径尚未满足支配关系），又无法回避对变量值来源的显式区分。