Was ist SSA-Form (Static Single Assignment)?

IR-Form, in der Variablen so umbenannt werden, dass jede genau einmal zugewiesen wird, wobei φ-Funktionen an Zusammenführungspunkten Werte auswählen. Klare Definitions-Verwendungs-Beziehungen erleichtern die Optimierung.

Japanische Bezeichnung: SSA形式

Fachgebiet: Compiler

Verwandte Begriffe

Abstrakter Syntaxbaum (AST) Basisblock (Basic Block) Befehlsplanung (Instruction Scheduling) Elimination gemeinsamer Teilausdrücke Inlining (Funktionseinbettung) Just-in-Time-Kompilierung (JIT) Konstantenfaltung (Constant Folding) Kontrollflussgraph Lexikalische Analyse (Scanner) LLVM

Zurück zum Glossar