Compiler-IR-Design: Lokale Entscheidungen und Optimierung

Dieser Beitrag untersucht das Design von Compiler-Zwischenrepräsentationen (IR), wobei der Fokus auf der Entscheidungsfindung anhand von ausschließlich lokalen Informationen liegt. Der Autor vergleicht Kontrollflussgraphen (CFG), registerbasierte IRs und die statische Einzelzuweisung (SSA)-Form und stellt fortschrittlichere Designs wie statische Einzelinformation (SSI) und Sea of Nodes (SoN) vor. SSA vereinfacht die Analyse, indem jede Variable nur einmal zugewiesen wird, während SSI erlaubt, detailliertere Informationen zur selben Variable in verschiedenen Programmzweigen hinzuzufügen. SoN repräsentiert alle Anweisungen als Knoten in einem Graphen und stellt Daten- und Kontroll-Abhängigkeiten explizit dar, um die Optimierung flexibler zu gestalten. Diese Designs zielen darauf ab, Compiler-Optimierer effizienter zu machen und letztendlich optimierteren Code zu erzeugen.