静的単一代入
"最小の" SSA はそれぞれの名前に一度だけ変数が割り当てられることを保証し、もともとのプログラムでの名前の参照(変数の使用箇所)が 一意の名前を参照できることを保証する。(後者はコンパイラが各操作の対象となる変数の名前を特定できるようにするために必要である)
しかし、Φ 関数の一部はデッドコードである可能性がある。このため、最小の SSA は必ずしも特定の手続きに必要な最小の Φ 関数を生成する必要はない。方法によっては、このような Φ 関数は無用であり、解析の効率を落としてしまう。