Simple and Efficient Construction of Static Single Assignment Form

Transcription

1 Simple and Efficient Construction of Static Single Assignment Form saarland university Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and Andreas Zwinkau computer science Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT) 1 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and KIT University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association

2 Modern Intermediate Representations Optimization Optimization SSA AST non-ssa Two-phase approach: Construct non-ssa intermediate representation from AST Compute dominance tree Compute liveness Construct SSA form 2 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

3 Simple and Efficient SSA Construction Optimization Optimization SSA AST non-ssa Our SSA construction algorithm Requires no prior analysis Constructs SSA form directly from AST 3 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

4 Straight-Line Code Data structure: For each basic block: Mapping Variables Values Code: a = 42; b = a; a = a + b; IR: v 0 : 42 v 1 : v 0 + v 0 Mapping: "a" v 0 4 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

5 Straight-Line Code Data structure: For each basic block: Mapping Variables Values Code: a = 42; b = a; a = a + b; IR: v 0 : 42 v 1 : v 0 + v 0 Mapping: "a" v 0 "b" v 0 4 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

6 Straight-Line Code Data structure: For each basic block: Mapping Variables Values Code: a = 42; b = a; a = a + b; IR: v 0 : 42 v 1 : v 0 + v 0 Mapping: "a" v 0 "b" v 0 4 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

7 Straight-Line Code Data structure: For each basic block: Mapping Variables Values Code: a = 42; b = a; a = a + b; IR: v 0 : 42 v 1 : v 0 + v 0 Mapping: "a" v 1 "b" v 0 4 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

8 Properties of Basic Blocks Filled All code of this block has already been constructed Existing mapping will not change Sealed The block is connected to all its direct control flow predecessors All direct control flow predecessors are filled 5 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

9 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { start Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

10 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { start v 0 :... Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

11 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { while start v 0 :... Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

12 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { while start v 0 :... if Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

13 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { while start v 0 :... if Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

14 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 0 :... if Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

15 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { start while v 1 :... then v 0 :... if Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

16 Handling Multiple Basic Blocks start v 0 :... void foo(void) { while (...) { if (...) { while v 1 :... then if endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

17 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { v 0 :... start while if v 1 :... then use(v? ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

18 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 1 :... v 0 :... if v 2 : φ(v?, v? ) use(v? ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

19 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 1 :... v 0 :... if v 2 : φ(v 1, v? ) use(v? ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

20 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 3 : v 1 :... v 0 :... if v 2 : φ(v 1, v 3 ) use(v? ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

21 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 3 : v 1 :... v 0 :... if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

22 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 3 : v 1 :... v 0 :... if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

23 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 3 : v 1 :... v 0 :... if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

24 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 1 :... v 0 :... v 3 : φ(v?, v? ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

25 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 1 :... v 0 :... v 3 : φ(v 0, v? ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

26 Handling Multiple Basic Blocks void foo(void) { while (...) { if (...) { then while start v 1 :... v 0 :... v 3 : φ(v 0, v 2 ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

27 Handling Multiple Basic Blocks start v 0 :... void foo(void) { while (...) { if (...) { end then while v 1 :... v 3 : φ(v 0, v 2 ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

28 Handling Multiple Basic Blocks start v 0 :... void foo(void) { while (...) { if (...) { end use(v? ) then while v 1 :... v 3 : φ(v 0, v 2 ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

29 Handling Multiple Basic Blocks start v 0 :... void foo(void) { while (...) { if (...) { end use(v 3 ) then while v 1 :... v 3 : φ(v 0, v 2 ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif Filled: Inserted all instructions Sealed: Connected to all direct predecessors 6 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

30 Guarantees for Constructed SSA Form Pruned SSA form No dead φ functions. Minimal SSA form (Cytron et al.) φ functions only occur at iterated dominance frontiers.? 7 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

31 Trivial φ Functions v 0 :... v 0 :... v 1 : φ(v 0, v 1 ) v 1 : φ(v 0, v 0 ) use(v 1 ) use(v 1 ) Trivial φ function Just references one value (except itself) 8 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

32 Optimization of Trivial φ Functions v v v φ 0 φ 1 φ 1 Optimization of trivial φ functions Replace trivial φ function by its unique operand Iterative approach to remove all trivial φ functions 9 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

33 Guarantees for Constructed SSA Form Theorem A program in SSA form with a reducible control flow graph without any trivial φ functions is in minimal SSA form. Pruned SSA form No dead φ functions. Minimal SSA form (Cytron et al.) φ functions only occur at iterated dominance frontiers. for Java and most C programs 10 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

34 Irreducible Control Flow v 0 :... v 1 : φ(v 0,v 2 ) v 2 : φ(v 0,v 1 ) v 0 φ 1 φ 2 use use(v 2 ) Redundant set of φ functions Generalization of trivial φ functions Just reference one value (except themselves) 11 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

35 Redundant φ Functions and SCCs v φ 0 φ 1 φ 2 Lemma Let P be a redundant set of φ functions. Then there is a strongly connected component S P that is also redundant. 12 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

36 Optimization of Redundant φ Functions x y x y x y φ 0 φ 0 φ 0 φ 1 φ 1 φ 2 φ 2 Algorithm to find all redundant φ functions Use Tarjan s algorithm to find φ-sccs of maximum size If SCC is not redundant: Check for redundant inner SCC 13 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

37 New Criterion for Minimal SSA Form Definition (Minimal SSA form (SCC)) A program is in minimal SSA form if it contains no redundant φ-sccs. Advantages Independent of the source program Implies Cytron et al. s criterion 14 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

38 Optimizations and φ-sccs void foo(void) { x = 42 while (...) { if (...) { x = 42 then end use(v 3 ) while start v 1 : 42 v 0 : 42 v 3 : φ(v 0, v 2 ) if v 2 : φ(v 1, v 3 ) use(v 2 ) endif 15 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

39 Guarantees for Constructed SSA Form Pruned SSA form No dead φ functions. Minimal SSA form (Cytron et al.) φ functions only occur at iterated dominance frontiers. Minimal SSA form (SCC) No redundant φ-scc. Can we have even fewer φ functions? 16 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

40 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

41 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

42 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 1 : 0 v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

43 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 1 : 0 v 3 : false v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

44 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 1 : 0 v 3 : false v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

45 On-the-Fly Optimizations int bar(int x) { int mask = 0; int res; if (x & mask) { res = 0; else { res = x; return res; v 0 : x v 1 : 0 v 3 : false return v 0 v 0 : x v 1 : 0 v 2 : v 0 & v 1 v 3 : v 2 = 0 condjump v 3 v 5 : φ(v 1,v 0 ) return v 5 17 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

46 Evaluation Setup Setup to evaluate our SSA construction algorithm Full-fledged implementation in cparser/libfirm Proof-of-concept implementation in clang/llvm Comparison against existing SSA construction algorithm Sreedhar and Gao Better than Cytron et al. Highly-tuned implementation C programs of SPEC CINT2000 benchmark 18 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

47 Number of Constructed IR Instructions non-ssa Benchmark LLVM SSA non-ssa SSA 164.gzip 12,038 9, % 175.vpr 40,701 27, % 176.gcc 516, , % 181.mcf 3,988 2, % 186.crafty 44,891 36, % 197.parser 30,237 20, % 253.perlbmk 185, , % 254.gap 201, , % 255.vortex 126,097 88, % 256.bzip2 8,605 6, % 300.twolf 76,078 58, % Average 138% 19 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

48 Quality Comparison Benchmark Number of φ functions Redundant φ-sccs LLVM Our Optimization Irreducible 164.gzip vpr 1,201 1, gcc 12,904 12, mcf crafty 1,466 1, parser 1,243 1, perlbmk 5,840 5, gap 9,325 9, vortex 2,739 2, bzip twolf 2,849 2, Sum 38,674 38, March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

49 Compilation Speed Benchmark LLVM Our Our LLVM 164.gzip 969,233, ,798, % 175.vpr 3,039,801,575 3,025,286, % 176.gcc 25,935,984,569 26,009,545, % 181.mcf 722,918, ,507, % 186.crafty 3,653,881,430 3,632,605, % 197.parser 2,084,205,254 2,068,075, % 253.perlbmk 12,246,953,644 12,062,833, % 254.gap 8,358,757,289 8,339,871, % 255.vortex 7,841,416,740 7,845,699, % 256.bzip2 569,176, ,577, % 300.twolf 6,424,027,368 6,408,289, % Average 99.59% 21 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and

50 Conclusion Summary Simple SSA construction algorithm: 375 LOC vs LOC Guarantees minimal and pruned SSA form Can reuse conservative optimizations New criterion for minimal SSA form A lot more in the paper Give it a try! 22 March 22, 2013 Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon and