2.2.2 Cytron 算法：高效放置 $\phi$ 节点

文档摘要

2.2.2 Cytron 算法：高效放置 $\phi$ 节点在编译器的中间表示世界里，SSA（Static Single Assignment）形如一座精密钟表——每个变量仅被赋值一次，所有后续使用都清晰指向唯一的定义点。而在这座钟表的心脏位置，$\phi$ 节点就是那个决定指针如何同步跳转的擒纵机构：它不执行计算，却裁定控制流交汇处变量值的“合法继承权”。你可能早已熟稔 SSA 的语义：“每个变量有且仅有一个定义”，但真正让这个理想落地的，不是教科书里的那句断言，而是 Cytron 等人在 1991 年那篇划时代的论文中给出的可构造、可验证、可线性时间实现的 $\phi$-节点放置算法。