静的単一代入形式における正規化アルゴリズムの比較

抄録

SSA 形式で表された中間表現は，φ 関数のない形に変換しなければならない(正規化)．本研究では，正規化アルゴリズムとして，Briggs らの方法と，Sreedhar らの方法を比較した．その結果，概ねSreedhar らの方法で正規化した方が実行効率のよいコードを得ることができることがわかった．また，よりよいアルゴリズムの可能性と今後の方針についても述べる．