SSA 表单实施

SSA form implementation

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

提前致谢。

有一篇论文 "Simple and efficient construction of static single assignment form" 允许直接从 AST 或字节码发出 SSA。我会推荐这个。

或者您可以使用 Cytron 的 "Efficiently computing static single assignment form and the control dependence graph",但在这里您需要先生成一个非 SSA 控制流图。