Generierung lokaler Optimierungen - IPD Snelting

4 Implementierung
Die in Kapitel 3 erwähnten Arbeiten betrachten alle Ausdrücke in Form von Codesequenzen
auf Assembler-Ebene. Dem entgegen ist das in dieser Arbeit vorgestellte Verfahren,
im Folgenden als Optgen bezeichnet, auf eine maschinenunabhängige Zwischendarstellung
ausgerichtet, weswegen in Anlehnung an Firm, Ausdrücke als Muster in Graphform
betrachtet werden.
Dieses Kapitel teilt sich in zwei Themenbereiche. Der erste Teil befasst sich mit dem
allgemeinen Aufbau und Ablauf des Verfahrens, während sich der zweite Teil speziell
mit der Thematik von Konstanten befasst.
Zunächst noch einige Bemerkungen, die sich auf die in diesem Kapitel angeführten Beispiele
beziehen:
Bemerkung 1 (Reihenfolge der Operanden einer Operation). Bei den in den Abbildungen
dargestellten Mustern wird auf eine explizite Auszeichnung des Kanten-Index
(pos-Abbildung), also der Angabe, ob es sich um den ersten oder zweiten Operanden
handelt, der Übersicht wegen verzichtet. Es wird angenommen, dass die linke Kante dem
linken bzw. ersten Operanden einer Operation zugeordnet ist und entsprechend die rechte
Kante dem rechten bzw. zweiten Operanden.
Bemerkung 2 (Datentypbreite). Für alle Beispiele in diesem, sowie in Kapitel 5 gilt,
sofern nichts anderes angegeben ist, dass die Datentypbreite auf 8 Bit festgelegt ist. Der
Wertebereich von −128, . . . , 127 bzw. 0, . . . 255 wird als Z8Bit angegeben.
Bemerkung 3 (Semantik von Operationen). Die Semantik aller in den Beispielen verwendeter
Operationen entspricht der Semantik der Operationen in libFirm. Es handelt
sich dabei um eine Modulo-Semantik, ähnlich zu den entsprechenden Hardware-Befehlen
auf Assembler-Ebene. Dies ist vor allem im Zusammenhang mit Überläufen zu beachten.
4.1 Ansatz
Zunächst soll ein grober Überblick über die Arbeitsweise des hier vorgestellten Verfahrens
Optgen zur Generierung lokaler Optimierungsregeln gegeben und die einzelnen
Komponenten kurz erläutert werden.
23