Generierung lokaler Optimierungen - IPD Snelting

3 Verwandte Arbeiten
von Bansal und Aiken. In einem separaten Prozess werden Optimierungsregeln generiert,
um sie für die Verwendung in einem Übersetzer nutzbar zu machen. Im Unterschied zu
Bansal und Aiken setzt das hier vorgestellte Verfahren allerdings nicht auf Assembler-
Ebene an, sondern verfolgt das Ziel, möglichst allgemeingültige Optimierungsregeln zu
generieren, die unabhängig von der Zielarchitektur sind und bereits zur Optimierung der
Zwischendarstellung, im Besonderen Firm, genutzt werden können.
Ein weitgehend unbeachteter Aspekt im Zusammenhang mit Optimierungsregeln ist der
Umgang mit Konstanten. Bansal und Aiken berücksichtigen diese zwar, beschränken
sich allerdings auf die beiden Konstanten 0 und 1 sowie zwei symbolische Konstanten
c0 und c1, mit denen eingeschränkt von konkreten Konstanten abstrahiert werden kann.
Dennoch sind Konstanten bei der Betrachtung bzw. Suche von Optimierungsregeln interessant.
Einfache Regeln, wie sie beispielsweise in 3.1 und 3.2 dargestellt sind, werden
zwar meist berücksichtigt, komplexere Regeln wie in 3.3 und 3.4 gezeigt, werden jedoch
i. d. R. ignoriert.
(x ∗ 2) → x + x (3.1)
x & 0 → 0 (3.2)
(x + x) | -2 → -2 (3.3)
(x | 8) + -8 → x & -9 (3.4)
Ein Ziel dieser Arbeit ist es, alle Konstanten mit in den Generierungsvorgang einzubeziehen.
Dies stellt sicher, dass alle möglichen Muster berücksichtigt werden und so
alle Optimierungsregeln gefunden werden können. Aufgrund ihrer Vielzahl und den sich
hieraus ergebenen Kombinationsmöglichkeiten im Bezug auf die Menge der möglichen
Muster, stellen Konstanten eine besondere Herausforderung an den Generierungsvorgang
dar. In dieser Arbeit wird gezeigt, dass sich ein vollständiger Generierungsvorgang
dennoch durchführen lässt.
22