annotate dmd/UnrolledLoopStatement.d @ 135:af1bebfd96a4 dmd2037

dmd 2.038
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Mon, 13 Sep 2010 22:19:42 +0100
parents 9e39c7de8438
children fe932c1a9563
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;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
4 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
5 import dmd.Statement;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
6 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
7 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
8 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
9 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
10 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
11 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
12 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
13 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
14 import dmd.HdrGenState;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 import dmd.InlineScanState;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
16 import dmd.BE;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
17
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
18 import dmd.backend.BC;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
19 import dmd.backend.Blockx;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
20 import dmd.backend.block;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
21 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
22
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 class UnrolledLoopStatement : Statement
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 Statements statements;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
27 this(Loc loc, Statements s)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
29 super(loc);
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
30 statements = s;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
33 override Statement syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
38 override Statement semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
40 //printf("UnrolledLoopStatement.semantic(this = %p, sc = %p)\n", this, sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
41
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
42 sc.noctor++;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
43 Scope scd = sc.push();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
44 scd.sbreak = this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
45 scd.scontinue = this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
46
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
47 foreach(ref Statement s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
48 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
49 if (s)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
50 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
51 s = s.semantic(scd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
52 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
53 }
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 scd.pop();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
56 sc.noctor--;
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
57 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
60 override bool hasBreak()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
62 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
65 override bool hasContinue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
69
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
70 override bool usesEH()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
73 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
75 override BE blockExit()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
77 BE result = BEfallthru;
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
78 foreach (s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
79 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
80 if (s)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
81 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
82 int r = s.blockExit();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
83 result |= r & ~(BEbreak | BEcontinue);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
84 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
85 }
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
86 return result;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
87 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
88
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
89 override bool comeFrom()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
90 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
91 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
92 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
94 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
95 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
96 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
97 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
98
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
99 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
100 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
101 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
102 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
103
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
104 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
105 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
106 int cost = 0;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
107
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
108 foreach (Statement s; statements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
109 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
110 if (s)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
111 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
112 cost += s.inlineCost(ics);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
113 if (cost >= COST_MAX)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
114 break;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
115 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
116 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
117 return cost;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
118 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
119
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
120 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
121 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
122 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
123 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
124
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
125 override Statement inlineScan(InlineScanState* iss)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
126 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
127 foreach (ref Statement s; statements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
128 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
129 if (s)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
130 s = s.inlineScan(iss);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
131 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 122
diff changeset
132 return this;
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 toIR(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
136 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
137 Blockx* blx = irs.blx;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
138
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
139 IRState mystate = IRState(irs, this);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
140 mystate.breakBlock = block_calloc(blx);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
141
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
142 block* bpre = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
143 block_next(blx, BCgoto, null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
144
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
145 block* bdo = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
146 list_append(&bpre.Bsucc, bdo);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
147
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
148 block* bdox;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
149
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
150 foreach (s; statements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
151 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
152 if (s !is null)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
153 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
154 mystate.contBlock = block_calloc(blx);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
155
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
156 s.toIR(&mystate);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
157
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
158 bdox = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
159 block_next(blx, BCgoto, mystate.contBlock);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
160 list_append(&bdox.Bsucc, mystate.contBlock);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
161 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
162 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
163
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
164 bdox = blx.curblock;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
165 block_next(blx, BCgoto, mystate.breakBlock);
67
f708f0452e81 some of the backend/codegen stuff implemented
korDen
parents: 63
diff changeset
166 list_append(&bdox.Bsucc, mystate.breakBlock);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
167 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
168 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
169