Generierung lokaler Optimierungen - IPD Snelting

Kurzfassung
Lokale Optimierungen bilden einen wichtigen Teil, der von einem Übersetzer durchgeführten
Optimierungen. Dabei handelt es sich zumeist um handgeschriebene Ersetzungsregeln,
deren Umfang von den Kenntnissen der Entwickler des Übersetzers abhängig
ist. Vor allem Konstanten werden bei der Betrachtung von Optimierungsregeln häufig
außer Acht gelassen.
In dieser Arbeit wird ein neues Verfahren mit Namen Optgen vorgestellt, welches in der
Lage ist lokale Optimierungsregeln automatisch zu generieren und dabei sämtliche Konstanten
einer gegebenen Bitbreite zu berücksichtigen. Die erzeugten Optimierungsregeln
werden zudem auf ihre Korrektheit hin bewiesen und in einer Regelmenge zusammengefasst,
welche die Transformation einer Codesequenz in eine, bezogen auf ein Kostenmodell,
optimale Codesequenz ermöglicht. Um die Menge der Konstanten berücksichtigen
zu können, wird ein neues Konzept eingeführt, das es ermöglicht von Optimierungsregeln
mit konkreten Konstanten zu abstrahieren und so eine Aggregation der zu berücksichtigenden
Regeln zu erreichen.
5