Compilation 2005 Peephole Competition Michael I. Schwartzbach BRICS, University of Aarhus.

Presentation on theme: "Compilation 2005 Peephole Competition Michael I. Schwartzbach BRICS, University of Aarhus."— Presentation transcript:

Compilation 2005 Peephole Competition Michael I. Schwartzbach BRICS, University of Aarhus

2 Optimization Patterns vs. Reductions

3 Optimization Most Industrious Pattern  Group 01 clicked 872 times pattern if_false x: x ~ ldc_int (i) if (c, l) && i != 0 && c == eq -> 2

4 Optimization Most Obviously Unsound Pattern  Group 01 forgot to pop!?! pattern const_imul_with_0 x: x ~ ldc_int (i0) imul && i0 == 0 -> 2 ldc_int (0)

5 Optimization Most Stupid Unsound Pattern  Group 30 checks address of iload is nonzero!?! pattern idiv_self x: x ~ iload (nonzero) iload (samenonzero) idiv && nonzero != 0 && nonzero == samenonzero -> 3 ldc_int (1)

6 Optimization Most Subtly Unsound Pattern  Group 13 only doesn't work on MIN_INT pattern ineg_if x: x ~ ineg if (c0, l0) -> 2 if (commute c0, l0)

7 Optimization Best Group on Test Suite  Group 21 folds J1_WildConcat.java into a loop  2 x equal_adjacent_methodcalls_...

8 Optimization Largest Sound Pattern  Group 24 grimt5 is 75 lines long

9 Optimization Time for a Little Anagram ikke helt sund

10 Optimization Time for a Little Anagram teknisk uheld

11 Optimization Unsound Patterns (Top 7 Groups)  Group 17: 0 unsound patterns  Group 13: 1 unsound patterns  Group 30: 4 unsound patterns  Group 25: 5 unsound patterns  Group 01: 6 unsound patterns  Group 02: 20 unsound patterns  Group 07: 36 unsound patterns

12 Optimization Most Useless Patterns  Group 31: 50 out of 68 74%  Group 08: 69 out of 94 73%  Group 07: 123 out of 193 64%  Group 02: 57 out of 118 59%  Group 01: 55 out of 100 55%  Group 17: 48 out of 90 53%  Group 30: 43 out of 80 53%  Group 95: 64 out of 130 49%

13 Optimization Top 7 Results  14865  15002  15080  15196  15285  15447  15455  19307 <== baseline  19924 <== unopt

14 Optimization Top 7 Results  14865  15002  15080  15196  15285  15447  15455 <== Group 25  19307 <== baseline  19924 <== unopt

15 Optimization Top 7 Results  14865  15002  15080  15196  15285  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

16 Optimization Top 7 Results  14865  15002  15080  15196  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

17 Optimization Top 7 Results  14865  15002  15080  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

18 Optimization Top 7 Results  14865  15002  15080 <== Group 01  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

19 Optimization Top 7 Results  14865  15002 <== Group 13  15080 <== Group 01  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

20 Optimization Top 7 Results  14865 <== Group 07  15002 <== Group 13  15080 <== Group 01  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

21 Optimization Group 07 Johnni Winther Bjerregaard Kim Waltersdorph Skouboe Poul Ole Hansen

22 Optimization Fabulous Prizes

23 Optimization But Wait, There is More...  14865 <== Group 07  15002 <== Group 13  15080 <== Group 01  15110 <== Erik Søe  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

24 Optimization But Wait, There is More...  14865 <== Group 07  15001 <== Group 01 corrected  15002 <== Group 13  15080 <== Group 01  15110 <== Erik Søe  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

25 Optimization But Wait, There is More...  14812 <== Group 01 + 07 + 13  14865 <== Group 07  15001 <== Group 01 corrected  15002 <== Group 13  15080 <== Group 01  15110 <== Erik Søe  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

26 Optimization But Wait, There is More...  14795 <== Aske  14812 <== Group 01 + 07 + 13  14865 <== Group 07  15001 <== Group 01 corrected  15002 <== Group 13  15080 <== Group 01  15110 <== Erik Søe  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

27 Optimization But Wait, There is More...  14744 <== Aske + Group 07  14795 <== Aske  14812 <== Group 01 + 07 + 13  14865 <== Group 07  15001 <== Group 01 corrected  15002 <== Group 13  15080 <== Group 01  15110 <== Erik Søe  15196 <== Group 17  15285 <== Group 02  15447 <== Group 30  15455 <== Group 25  19307 <== baseline  19924 <== unopt

Download ppt "Compilation 2005 Peephole Competition Michael I. Schwartzbach BRICS, University of Aarhus."

Similar presentations