Mercurial > projects > ddmd

annotate dmd/UnrolledLoopStatement.d @ 192:eb38fdcb3e62 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to compile with dmd2.062
author korDen
date Sat, 02 Mar 2013 01:25:52 -0800
parents b0d41ff5e0df
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
1 module dmd.UnrolledLoopStatement;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 72
diff changeset
3 import dmd.common;
163
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
4 import dmd.GlobalExpressions;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
5 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
6 import dmd.Statement;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
7 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
8 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
9 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
10 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
11 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
12 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
13 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
14 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
15 import dmd.HdrGenState;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16 import dmd.InlineScanState;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
17 import dmd.BE;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
18
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
19 import dmd.backend.BC;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
20 import dmd.backend.Blockx;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
21 import dmd.backend.block;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
22 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
23
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
24 import dmd.DDMDExtensions;
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
25
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 class UnrolledLoopStatement : Statement
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 {
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
28 mixin insertMemberExtension!(typeof(this));
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
29
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 Statements statements;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
32 this(Loc loc, Statements s)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 {
178
e3afd1303184 Many small bugs fixed
korDen
parents: 163
diff changeset
34 register();
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
35 super(loc);
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
36 statements = s;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
39 override Statement syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
44 override Statement semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
46 //printf("UnrolledLoopStatement.semantic(this = %p, sc = %p)\n", this, sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
47
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
48 sc.noctor++;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
49 Scope scd = sc.push();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
50 scd.sbreak = this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
51 scd.scontinue = this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
52
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
53 foreach(ref Statement s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
54 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
55 if (s)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
56 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
57 s = s.semantic(scd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
58 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
59 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
60
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
61 scd.pop();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
62 sc.noctor--;
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
63 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
66 override bool hasBreak()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
69 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
70
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
71 override bool hasContinue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
73 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
75
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
76 override bool usesEH()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
78 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
80
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
81 override BE blockExit()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
82 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
83 BE result = BEfallthru;
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
84 foreach (s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
85 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
86 if (s)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
87 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
88 int r = s.blockExit();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
89 result |= r & ~(BEbreak | BEcontinue);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
90 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
91 }
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
92 return result;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
95 override bool comeFrom()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
96 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
97 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
98 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
99
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
100 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
101 {
163
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
102 Expression e = null;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
103
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
104 version (LOG) {
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
105 printf("UnrolledLoopStatement.interpret()\n");
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
106 }
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
107 if (istate.start == this)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
108 istate.start = null;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
109 if (statements)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
110 {
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
111 for (size_t i = 0; i < statements.dim; i++)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
112 {
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
113 Statement s = statements[i];
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
114
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
115 e = s.interpret(istate);
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
116 if (e is EXP_CANT_INTERPRET)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
117 break;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
118 if (e is EXP_CONTINUE_INTERPRET)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
119 {
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
120 e = null;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
121 continue;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
122 }
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
123 if (e is EXP_BREAK_INTERPRET)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
124 {
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
125 e = null;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
126 break;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
127 }
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
128 if (e)
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
129 break;
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
130 }
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
131 }
fe932c1a9563 *.interpret functions implemenation
korDen
parents: 123
diff changeset
132 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
133 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
134
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
135 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
136 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
137 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
138 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
139
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
140 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
141 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
142 int cost = 0;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
143
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
144 foreach (Statement s; statements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
145 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
146 if (s)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
147 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
148 cost += s.inlineCost(ics);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
149 if (cost >= COST_MAX)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
150 break;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
151 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
152 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
153 return cost;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
154 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
155
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
156 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
157 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
158 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
159 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
160
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
161 override Statement inlineScan(InlineScanState* iss)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
162 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
163 foreach (ref Statement s; statements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
164 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
165 if (s)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
166 s = s.inlineScan(iss);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
167 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
168 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
169 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
170
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
171 override void toIR(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
172 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
173 Blockx* blx = irs.blx;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
174
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
175 IRState mystate = IRState(irs, this);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
176 mystate.breakBlock = block_calloc(blx);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
177
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
178 block* bpre = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
179 block_next(blx, BCgoto, null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
180
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
181 block* bdo = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
182 list_append(&bpre.Bsucc, bdo);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
183
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
184 block* bdox;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
185
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
186 foreach (s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
187 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
188 if (s !is null)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
189 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
190 mystate.contBlock = block_calloc(blx);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
191
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
192 s.toIR(&mystate);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
193
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
194 bdox = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
195 block_next(blx, BCgoto, mystate.contBlock);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
196 list_append(&bdox.Bsucc, mystate.contBlock);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
197 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
198 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
199
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
200 bdox = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
201 block_next(blx, BCgoto, mystate.breakBlock);
67
f708f0452e81 some of the backend/codegen stuff implemented
korDen
parents: 63
diff changeset
202 list_append(&bdox.Bsucc, mystate.breakBlock);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
203 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
204 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
205