R. Cytron and J. Ferrante and B. K. Rosen and M. N. Wegman and F. K. Zadeck: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph

摘要

本論文は，最適化コンパイラにおいて利用されるようになってきたSSA形式（Static Single Assignment Form：静的単一代入形式）への効率的な変換のアルゴリズムにっいて述べたものである．SSA形式とはコンパイラにおけるプログラムの表現形式の1つで，プログラム中のすべての変数の使用（use）に関して，その利用の定義（def）が1つしかないように表現したもので，これにより変数の値の定義と使用の関係が明確になり，それまでの個々の変数の定義と利用を表現したdef-use chainを用いたデータフロー解析とは異なる方法でのさまざまなコード最適化のアルゴリズムを考えることができる．