static-analysis-guide/compile-ssa-form

[giscus[bot]]

static-analysis-guide/compile-ssa-form

我们在前面章节已经讨论了 SSA 形式在编译器技术中的重要性，以及 SSA 形式在现代编译器技术中的应用。

https://ssa.to/static-analysis-guide/compile-ssa-form

[VillanCh]

本章最关键的地方是阐述清楚了 SSA 的具体定义和分割基本块的问题。

为什么要讲分割基本块？因为 $\phi$ 的产生和基本块的连接有直接的关系，具体的 $\phi$ 的算法是需要前驱块生成的。

包括后面我们讲闭包的时候的生成规则一样，虚拟的用于分析数据流的 $\phi$ 也是通过前驱块汇聚数据生成的