SSA 表单实现

Question

哪种算法将三地址代码或抽象语法树转换为静态的单个赋值形式最容易实现并给出可靠的结果？

提前谢谢。

Answer 1

有一篇论文"静态单一赋值表单的简单有效的构造"，它允许直接从 AST 或字节码发出 SSA。我会推荐这个。

或者，您可以使用 Cytron 的"高效计算静态单一赋值表单和控制依赖图"，但在这里您需要先生成一个非 SSA 控制流图。