Comparison and Evaluation of Back Translation Algorithms for Static Single Assignment Form

SSA 形式 (静的単一代入形式) は,φ 関数という仮想的な関数を用いることで,変数の定義を字面 上一ヶ所だけになるように表した中間表現である.しかし,SSA形式を用いたプログラム中に現れる φ関数が仮想的であることから,SSA形式から直接目的コードを出すことはできない.そこで,目的 コードを出す前段階として,φ 関数を消去して通常形式に戻すことが必要である.これを SSA 逆変 換と呼ぶ. SSA 逆変換には主なアルゴリズムが 2 つある.以前から用いられている Briggs らのアルゴリズ ム,およびこれとは異なるアプローチによる Sreedharらのアルゴリズムである.SSA逆変換アルゴ リズムはそれぞれ異なった特徴を持つが,これらを実際に比較した研究はほとんどなされていない. このため,SSA 形式を最適化コンパイラに採用するにあたって,どの SSA 逆変換を用いるかの選択 の指標となるものがなかった. そこで本研究では,Briggs らと Sreedhar らのアルゴリズムの長所と短所を明確にした.また, Briggs らのアルゴリズムに対する改良案を提案した.さらに,Briggs らのアルゴリズムとその改良 案,Sreedhar らのアルゴリズムの3つを実装し,同一のコンパイラ上で,SPEC ベンチマークを用 いて種々の条件を変えながら比較した. 本研究により,Briggsらの方法ではコアレッシングすることのできないコピー文が数多く挿入され ること,改良案は若干ながら効果があること,実証的には Sreedhar らの方法がもっとも優れている こと,が判明した.