Generierung lokaler Optimierungen - IPD Snelting

Testprogramm libFirm libFirm + Optgen
gesamt Optgen- ∆ Regel-Nr. [Häufigkeit]
Regeln libFirm
164.gzip 1 389 1 391 2 2 1[1], 2[1]
175.vpr 2 850 2 853 3 3 1[3]
176.gcc 60 317 60 332 19 15 1[10], 3[4], 4[2], 5[1], 9[1], 10[1]
181.mcf 368 368 0 0
186.crafty 7 804 7 851 78 47 3[1], 4[73], 6[2], 7[2]
197.parser 2 507 2 511 6 4 1[3], 3[3]
253.perlbmk 18 684 18 691 7 7 1[3], 2[1], 3[1], 4[1], 8[1]
254.gap 25 081 25 136 130 55 1[28], 2[87], 3[2], 4[13]
255.vortex 9 987 9 988 1 1 1[1]
256.bzip2 1 058 1 060 2 2 1[2]
300.twolf 6 810 6 817 7 7 1[4], 5[3]
5 Evaluation
400.perlbench 45 186 45 202 16 16 1[4], 2[6], 3[1], 4[3], 8[1], 11[1]
401.bzip2 2 880 2 882 2 2 1[1], 10[1]
403.gcc 169 956 170 535 226 579 1[21], 2[2], 3[3], 4[8], 6[2], 13[177], 14[13]
429.mcf 457 459 2 2 5[2]
445.gobmk 26 113 26 099 15 -14 2[2], 3[2], 4[6], 11[5]
456.hmmer 9 009 9 008 2 -1 4[1], 12[1]
458.sjeng 5 099 5 113 8 14 1[1], 3[4], 4[3],
464.h264ref 22 725 22 976 304 251 1[259], 2[16], 4[15], 3[1], 10[13]
Summe: 418 280 419 272 830 992
Tabelle 5.3: Anzahl angewendeter lokaler Optimierung durch libFirm und durch libFirm
mit zusätzlichen Optgen Regeln (libFirm + Optgen) in der SPEC
CINT2000 und CINT2006, Auflistung der angewandten Optgen-Regeln.
ten symbolischen Konstante sc0[and set : sc1] handelt es sich um eine eingeschränkte
symbolische Konstante, die von sc1 abhängig ist. sc0 darf nur Werte annehmen, die nur
an höherwertigen Bit-Stellen, als die höchste Position einer Eins in sc1, Einsen besitzen
(z. B. sc1 ↦→ 00001 ⇒ sc0 ↦→ 0000).
Um herauszufinden, ob die angewandten Optgen-Regeln in ihrer Summe Auswirkungen
auf die Laufzeiten der übersetzten Programme haben, wurden zunächst die Laufzeiten
der durch libFirm erzeugten Programme, mit den Laufzeiten der durch libFirm
+ Optgen erzeugten Programme verglichen. Dies ergab jedoch keine verwertbaren Ergebnisse,
da sich die Laufzeitdifferenzen innerhalb der Messschwankungen bewegen und
somit keine definitive Aussage über eine Laufzeitänderung möglich ist. Um dennoch eine
Aussage über die Auswirkungen der zusätzlichen Regeln geben zu können wurde statt
der Laufzeit die Anzahl der ausgeführten Instruktionen pro Testprogramm ermittelt. Die
Ergebnisse sind in Tabelle 5.5 dargestellt.
71