Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


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

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

2 2 Optimization Patterns vs. Reductions

3 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 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 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 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 7 Optimization Best Group on Test Suite  Group 21 folds J1_WildConcat.java into a loop  2 x equal_adjacent_methodcalls_...

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

9 9 Optimization Time for a Little Anagram ikke helt sund

10 10 Optimization Time for a Little Anagram teknisk uheld

11 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 12 Optimization Most Useless Patterns  Group 31: 50 out of 68 74%  Group 08: 69 out of 94 73%  Group 07: 123 out of %  Group 02: 57 out of %  Group 01: 55 out of %  Group 17: 48 out of 90 53%  Group 30: 43 out of 80 53%  Group 95: 64 out of %

13 13 Optimization Top 7 Results         <== baseline  <== unopt

14 14 Optimization Top 7 Results        <== Group 25  <== baseline  <== unopt

15 15 Optimization Top 7 Results       <== Group 30  <== Group 25  <== baseline  <== unopt

16 16 Optimization Top 7 Results      <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

17 17 Optimization Top 7 Results     <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

18 18 Optimization Top 7 Results    <== Group 01  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

19 19 Optimization Top 7 Results   <== Group 13  <== Group 01  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

20 20 Optimization Top 7 Results  <== Group 07  <== Group 13  <== Group 01  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

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

22 22 Optimization Fabulous Prizes

23 23 Optimization But Wait, There is More...  <== Group 07  <== Group 13  <== Group 01  <== Erik Søe  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

24 24 Optimization But Wait, There is More...  <== Group 07  <== Group 01 corrected  <== Group 13  <== Group 01  <== Erik Søe  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

25 25 Optimization But Wait, There is More...  <== Group  <== Group 07  <== Group 01 corrected  <== Group 13  <== Group 01  <== Erik Søe  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

26 26 Optimization But Wait, There is More...  <== Aske  <== Group  <== Group 07  <== Group 01 corrected  <== Group 13  <== Group 01  <== Erik Søe  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt

27 27 Optimization But Wait, There is More...  <== Aske + Group 07  <== Aske  <== Group  <== Group 07  <== Group 01 corrected  <== Group 13  <== Group 01  <== Erik Søe  <== Group 17  <== Group 02  <== Group 30  <== Group 25  <== baseline  <== unopt


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

Similar presentations


Ads by Google