SSA: 静的単一代入

SSAとはStatic Single Assignment Form、つまり静的単一代入のことです。 各変数が一度のみ代入されるよう定義されたものである。 静的単一代入 - Wikipedia 変数は再代入できるプログラミング言語は多いです。たとえばnというローカル変数に2回代入しているとします。SSAはこの代入(割り当て)を別々のものに変換します…