1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
optimization control
--------------------
could be done with labels or blocks:
some_label:
for (int i : [0..10]) {
code.opt.something(some_label);
j += f(i);
}
codeblock some_block {
for (int i : [0..10]) {
code.opt.something(some_block);
j += f(i);
}
}
move out
--------
loops:
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
code.opt.move_out_var(loops, [a]);
if (a == 0) c += f(i, j);
else if (a == 1) c += f(j, i);
else c += f(i, i-j);
}
}
or
// won't work. the code doesn't say which code should be moved out.
// it could be if, if+for or if+for+for
loops:
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
if (a == 0) { code.opt.move_out(loops); c += f(i, j); }
else if (a == 1) { code.opt.move_out(loops); c += f(j, i); }
else { code.opt.move_out(loops); c += f(i, i-j); }
}
}
produces:
if (a == 0) {
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
c += f(i, j);
}
}
} else if (a == 1) {
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
c += f(j, i);
}
}
} else {
...
}
split_here
----------
loops:
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
lots();
of();
_code();
code.opt.split_here(loops);
even();
more();
_code();
}
}
produces:
loops:
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
lots();
of();
_code();
}
}
for (int i : [0..i-1]) {
for (int j : [0..j-1]) {
even();
more();
_code();
}
}
enforced tail call optimization
--------------------------------
int f(int x, int y)
{
if y <= 0 return x;
else continue f(x+y, y-1);
}
|