SSA表单实现

Question

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

提前谢谢。

Answer 1

有一篇名为“of static single assignment form”的论文，它允许直接从AST或字节码发出SSA。我推荐这个。

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