スタティック・シングル・アサイン・フォームでの最適化

Question

中間表現がSSA（スタティック・シングル・アサインメント）にない場合は、どの最適化手法を実装できませんか？言い換えれば、SSAはオプションか必須か？

Answer 1

SSAは特定の最適化には必要ありませんが、通常はいくつかの最適化を実装するのが容易になります。

SSAを使用しない（または少なくともコンパイラの一部では使用しない）コンパイラがあります。たとえば、RTLというGCCの低レベルIRはSSAベースではなく、GoのバックエンドはSSAのみを使用しますいくつかのリリース以来。 Rustの新たに導入されたMIR（ミッドレベルIR）もSSAベースではありません。