SSA

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

最適化がしやすい

解析が簡略化されやすい

SSAの表現

code:sample

x=1;

y=1;

x=y;

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

code:ssa

x1=1;

y1=1;

x2=y1;

phi function

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

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

参考