EMZETT.Kurz erklärt
Moderne Compiler übersetzen den Syntaxbaum in eine Zwischendarstellung (IR), optimieren sie unabhängig von Sprache und Zielprozessor und erzeugen erst dann Maschinencode.
Genauer
Eine IR wie LLVM-IR ist maschinennah, aber prozessorunabhängig. So müssen für m Sprachen und n Prozessoren nur m Frontends und n Backends geschrieben werden statt m·n Compiler. In SSA-Form wird jede Variable genau einmal zugewiesen, was viele Optimierungen vereinfacht.