Generierung lokaler Optimierungen - IPD Snelting

6 Zusammenfassung und Ausblick
6.1 Zusammenfassung
Das in dieser Arbeit vorgestellte Verfahren Optgen ermöglicht die Generierung von
Ersetzungsregeln zur lokalen Optimierung. Mittels eines Beweisverfahrens wird die Korrektheit
dieser Regeln zudem verifiziert. Als Ergebnis liefert das Verfahren eine Regelmenge,
die eine Transformation von Codesequenzen in eine, bezüglich des in dieser Arbeit
gewählten Kostenmodells, optimale Darstellung ermöglicht.
Ein wichtiger Aspekt dieser Arbeit besteht in der Berücksichtigung aller Konstanten.
Hierdurch wird erreicht, dass sämtliche möglichen Ausdrücke bzw. Muster bei Generierung
der Optimierungsregeln berücksichtigt werden. Durch die Erweiterung des Verfahrens
um symbolische, komplexe symbolische und eingeschränkte symbolische Konstanten
wird eine Möglichkeit zur Verfügung gestellt, mit der die Vielzahl der sich aus den Konstanten
ergebenden Muster beherrschbar wird.
Zur Beschleunigung des Verfahrens werden Ansätze vorgestellt, die eine weitere Reduktion
der zu untersuchenden Ausdrücke bzw. Muster ermöglichen. Hierzu gehört die Anwendung
bereits bekannter Regeln, Normalisierungsverfahren, sowie die zuvor genannte
Aggregation von Regeln mit Konstanten zu allgemeineren Regeln. Weiterhin werden Probleme
und Einschränkungen, die sich aus den genannten Ansätzen ergeben aufgezeigt.
Eine weitere Beschleunigung des Verfahren wird durch die Verwendung von Testvektoren
(Zeugen) erreicht, die sich aus fehlgeschlagenen Äquivalenzbeweisen zwischen zwei
Mustern extrahieren lassen. Diese werden genutzt um eine niedrigere Fehlentscheidungsrate
bei der Vorauswahl von semantisch äquivalenten Kandidaten zu einem Muster zu
erzielen.
Durch die Implementierung dieses Verfahrens und einer anschließenden Evaluierung wird
die Durchführbarkeit, insbesondere im Bezug auf die Berücksichtigung aller Konstanten
bewiesen. Zudem zeigt die Evaluierung, dass nicht nur in Optimierungen gängige Konstanten
wie 0, 1 oder −1 von Interesse sein können, sondern dass auch Optimierungsregeln
existieren, die sich auf spezielle Konstanten, Mengen von Konstanten mit gleichen
Eigenschaften oder alle Konstanten beziehen. Hierzu sind vor allem Abhängigkeiten zwischen
den Konstanten innerhalb eines Musters von Bedeutung.
75