一度代入された変数はそれ以降変更されることはない

最適化がしやすい

定数伝搬や定数畳み込みなど

解析が簡略化されやすい

SSAの表現

これを以下のように変換する

\phi関数

参照する定義が複数存在する場合に、どの制御フローを通過したかによって適切な値を選択する関数

分岐などがあり静的に変数の値を決定できないときに用いる

参考