Generierung lokaler Optimierungen - IPD Snelting

5 Evaluation
kürzeren Gesamtlaufzeit von 5386 s zeigt. Dass der Aufwand durch die Verwendung von
zusätzlichen Testvektoren tv ∈ T VADD dennoch gerechtfertigt ist, belegt die nächste
Messung. Hier wurden sowohl Zeugen als auch zusätzliche Testvektoren (hier wurde die
beste Konfiguration aus den ersten drei Messungen verwendet) genutzt. Die Fehlentscheidungsrate
konnte um weitere 8% auf 14% verringert werden. Die sechste Messung zeigt,
dass ein weitere Verbesserung möglich ist, wenn die Anzahl der Testvektoren, die für die
Hashwert-Berechnung verwendet werden, erhöht wird. Zwar wird die Qualität des Vorabtests
nicht verbessert, aber die Gesamtlaufzeit deutlich verringert. Eine Begründung
hierfür ist eine größere Streuung der Hashwerte und dadurch eine Verringerung der Anzahl
der Muster pro Hash-Klasse, so dass der Vorabtest weniger Kandidaten pro neuem
Muster untersuchen muss. Hieraus resultiert eine Laufzeitabnahme des Vorabtests um
882 s auf 2 370 s gegenüber dem vorherigen fünften Testfall.
5.2.2 Evaluation der erzeugten Optimierungsregeln
Heutige Übersetzer beherrschen ein Vielzahl lokaler Optimierungen. Durch Optgen sollen
die letzten noch nicht berücksichtigten lokalen Optimierungsmöglichkeiten gefunden
werden, so dass ein Übersetzer um diese erweitert werden kann. Ob solche Fälle existieren
und ob diese bei der Übersetzung von Programmen in der Praxis vorkommen, wird
in diesem Abschnitt evaluiert.
Die Grundlage dieser Evaluierung bildet libFirm [13], einmal in der Originalversion und
einmal in einer, um ausgewählte Optimierungsregeln, die von Optgen erzeugt wurden,
erweiterten Variante. Bei den ausgewählten Optgen-Regeln handelt es sich um 46
Regeln die aus den Kostenstufen 2, 3 (nur arithmetische Operationen) und 3 (nur Bit-
Operationen), die von libFirm aktuell nicht unterstützt werden. Für beide Varianten
wurde die Anzahl der durchgeführten lokalen Optimierungen bei der Übersetzung der in
Tabelle 5.3 aufgelisteten Programme der SPEC CINT2000 und CINT2006 bestimmt. Die
zweite Spalte der Tabelle gibt die Anzahl der von libFirm durchgeführten lokalen Optimierungen
an. Die nächsten Spalten beziehen sich auf die erweiterte Variante libFirm
+ Optgen. Der Reihe nach aufgelistet sind, die Gesamtanzahl der durchgeführten lokalen
Optimierungen, der Anteil der angewendeten Optgen-Regeln, die Differenz der
angewandten Optimierungen zu libFirm, sowie eine Aufschlüsselung der verwendeten
Optgen-Regeln und deren Häufigkeit.
Die während der Übersetzung der Testprogramme angewandten Optgen-Regeln sind in
Tabelle 5.4 aufgeführt. Von den 46 implementierten Optgen-Regeln können 14 Regeln
in der SPEC in der Summe 830 mal angewendet werden. Da nicht alle Regeln implementiert
wurden, besteht die Möglichkeit, dass noch weitere von libFirm nicht betrachtete
Regeln existieren, die in der SPEC anwendbar sind. Weiterhin zeigt die Tabelle, welche
der neuen Regeln, die im Rahmen der Übersetzung durch libFirm + Optgen in der
SPEC anwendbar sind, von den beiden Übersetzern GCC 4.6.3 [10] und Clang 3.0.6 [6]
unterstützt (�) oder nicht unterstützt (×) werden. Bei der in Regel Nr. 10 verwende-
70