Lokale Optimierungen optimieren die Berechnung eines Wertes bezüglich eines gegebenen Kostenmaßes.
Dabei wird nur eine begrenzte Anzahl von involvierten Operationen betrachtet.
Lokale Optimierungen umfassen viele Optimierungen wie z.B. Konstantenfaltung (6 * 7 = 42) und arithmetische Vereinfachungen (x - x = 0).
Das Ziel dieser Diplomarbeit ist die Generierung von allen lokalen Optimierungen bis zu einer festen Größe.
Um Redundanz in den generierten Mustern zu vermeiden, sollen alle Muster, auf die bereits gefundene Regeln anwendbar sind, ausgeschlossen werden.
Dieser Ansatz ist auch für bereits vorhandene lokale Optimierungen anwendbar und verringert den Suchraum des Generators.
Die Korrektheit der generierten Optimierungen soll unter Zuhilfenahme von SAT-Solver verifiziert werden.
Nachdem alle Regeln geniert wurden, sollen diese zu allgemeineren Regeln aggregiert werden.
Aufgabe:
- Generierung lokaler Optimierungen
- Beschleunigung des Generators unter Zuhilfenahme existierender lokaler Optimierungen
- Aggregation gefundener lokaler Optimierungen in allgemeineren Regeln
Voraussetzungen
- Spaß am Übersetzerbau
- Gute Programmierkenntnisse in C
Schlüsselworte
Compiler, Lokale Optimierungen
Veröffentlichungen
Betreuer
Studenten
