Compiler construction SSA表单实现

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

提前感谢。

有一篇文章“静态单一赋值形式的简单高效构造”，它允许直接从AST或字节码发出SSA。我推荐这个

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