SSAフォームの実装

Question

3アドレスコードまたは抽象構文ツリーを静的単一代入形式に変換するアルゴリズムは、実装が最も簡単であり、結果は安定していますか？

ありがとうございます。

Answer 1

ASTまたはバイトコードから直接SSAを発行することを可能にする「静的な単一割り当て形式の単純かつ効率的な構築」という論文があります。私はこれをお勧めします。

Cytronの「静的な単一割り当てフォームとコントロール依存グラフの効率的な計算」を使用することもできますが、ここでは非SSAコントロールフローグラフを最初に生成する必要があります。