Mercurial > projects > ddmd

annotate dmd/ArrayInitializer.d @ 130:60bb0fe4563e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dmdfe 2.037 first main iteration
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Thu, 09 Sep 2010 22:51:44 +0100
parents e6e542f37b94
children 0c8cc2a10f99
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.ArrayInitializer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 90
diff changeset
3 import dmd.common;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.ArrayTypes;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
5 import dmd.Type;
79
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
6 import dmd.TypeAArray;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.TypeNext;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.Array;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.Initializer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.WANT;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 import dmd.Util;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 import dmd.TY;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
14 import dmd.TypeSArray;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 import dmd.IntegerExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16 import dmd.Expression;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
17 import dmd.ArrayLiteralExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
19 import dmd.ErrorExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 import dmd.OutBuffer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21 import dmd.HdrGenState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 import dmd.backend.dt_t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 import dmd.backend.Util;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 import dmd.codegen.Util;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 import dmd.backend.TYM;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 import dmd.backend.Symbol;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 class ArrayInitializer : Initializer
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31 Expressions index; // indices
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32 Initializers value; // of Initializer *'s
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 uint dim = 0; // length of array being initialized
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 Type type = null; // type that array will be used to initialize
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 int sem = 0; // !=0 if semantic() is run
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 this(Loc loc)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 super(loc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 index = new Expressions();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 value = new Initializers();
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: 59
diff changeset
44 override Initializer syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 //printf("ArrayInitializer.syntaxCopy()\n");
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 ArrayInitializer ai = new ArrayInitializer(loc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 assert(index.dim == value.dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51 ai.index.setDim(index.dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52 ai.value.setDim(value.dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 for (int i = 0; i < ai.value.dim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
55 Expression e = index[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56 if (e)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 e = e.syntaxCopy();
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
58 ai.index[i] = e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
60 auto init = value[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 init = init.syntaxCopy();
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
62 ai.value[i] = init;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 return ai;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 void addInit(Expression index, Initializer value)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
69 this.index.push(index);
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
70 this.value.push(value);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71 dim = 0;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 type = null;
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: 59
diff changeset
75 override Initializer semantic(Scope sc, Type t)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77 uint length;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
78
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79 //printf("ArrayInitializer.semantic(%s)\n", t.toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
80 if (sem) // if semantic() already run
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
81 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
82
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
83 sem = 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
84 type = t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
85 t = t.toBasetype();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
86 switch (t.ty)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
87 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
88 case Tpointer:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
89 case Tsarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
90 case Tarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
91 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
92
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93 default:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94 error(loc, "cannot use array to initialize %s", type.toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
95 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
96 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
97
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
98 length = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
99 foreach (size_t i, Expression idx; index)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
100 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
101 if (idx)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
102 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
103 idx = idx.semantic(sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
104 idx = idx.optimize(WANTvalue | WANTinterpret);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
105 index[i] = idx;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
106 length = cast(uint)idx.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
107 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
108
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
109 Initializer val = value[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
110 val = val.semantic(sc, t.nextOf());
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
111 value[i] = val;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
112 length++;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
113 if (length == 0)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
114 error(loc, "array dimension overflow");
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
115 if (length > dim)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
116 dim = length;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
117 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
118 uint amax = 0x80000000;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
119 if (cast(uint) (dim * t.nextOf().size()) >= amax)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
120 error(loc, "array dimension %u exceeds max of %ju", dim, amax / t.nextOf().size());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
121
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
122 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
123 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
124
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
125 int isAssociativeArray()
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
126 {
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
127 for (size_t i = 0; i < value.dim; i++)
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
128 {
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
129 if (index[i])
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
130 return 1;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
131 }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
132 return 0;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
133 }
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
134
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
135 override Type inferType(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
136 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
137 //printf("ArrayInitializer.inferType() %s\n", toChars());
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
138 assert(0);
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
139 return null;
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
140 static if (false) {
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
141 type = Type.terror;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
142 for (size_t i = 0; i < value.dim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
143 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
144 if (index[i])
79
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
145 goto Laa;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
146 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
147
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
148 foreach (size_t i, Initializer iz; value)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
149 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
150 if (iz)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
151 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
152 Type t = iz.inferType(sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
153 if (i == 0)
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
154 { /* BUG: This gets the type from the first element.
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
155 * Fix to use all the elements to figure out the type.
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
156 */
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
157 t = new TypeSArray(t, new IntegerExp(value.dim));
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
158 t = t.semantic(loc, sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
159 type = t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
160 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
161 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
162 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
163 return type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
164
79
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
165 Laa:
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
166 /* It's possibly an associative array initializer.
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
167 * BUG: inferring type from first member.
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
168 */
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
169 Initializer iz = value[0];
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
170 Expression indexinit = index[0];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
171 if (iz && indexinit)
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
172 {
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
173 Type t = iz.inferType(sc);
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
174 indexinit = indexinit.semantic(sc);
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
175 Type indext = indexinit.type;
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
176 t = new TypeAArray(t, indext);
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
177 type = t.semantic(loc, sc);
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
178 }
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
179 else
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
180 error(loc, "cannot infer type from this array initializer");
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
181 return type;
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
182 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
183 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
184
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
185 /********************************
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
186 * If possible, convert array initializer to array literal.
73
ef02e2e203c2 Updating to dmd2.033
korDen
parents: 72
diff changeset
187 * Otherwise return null.
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
188 */
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
189 override Expression toExpression()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
190 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
191 Expression e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
192
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
193 //printf("ArrayInitializer.toExpression(), dim = %d\n", dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
194 //static int i; if (++i == 2) halt();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
195
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
196 size_t edim;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
197 Type t = null;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
198 if (type)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
199 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
200 if (type == Type.terror)
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
201 return new ErrorExp();
43073c7c7769 updated to 2.035
Trass3r
parents: 73
diff changeset
202
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
203 t = type.toBasetype();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
204 switch (t.ty)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
205 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
206 case Tsarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
207 edim = cast(uint)(cast(TypeSArray)t).dim.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
208 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
209
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
210 case Tpointer:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
211 case Tarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
212 edim = dim;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
213 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
214
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
215 default:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
216 assert(0);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
217 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
218 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
219 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
220 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
221 edim = value.dim;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
222 for (size_t i = 0, j = 0; i < value.dim; i++, j++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
223 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
224 if (index[i])
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
225 j = cast(uint)(index[i].toInteger());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
226 if (j >= edim)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
227 edim = j + 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
228 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
229 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
230
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
231 auto elements = new Expressions();
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
232 elements.setDim(edim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
233 for (size_t i = 0, j = 0; i < value.dim; i++, j++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
234 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
235 if (index[i])
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
236 j = cast(uint)(index[i].toInteger());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
237 assert(j < edim);
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
238 Initializer iz = value[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
239 if (!iz)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
240 goto Lno;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
241 Expression ex = iz.toExpression();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
242 if (!ex)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
243 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
244 goto Lno;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
245 }
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
246 elements[j] = ex;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
247 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
248
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
249 /* Fill in any missing elements with the default initializer
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
250 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
251 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
252 Expression init = null;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
253 for (size_t i = 0; i < edim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
254 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
255 if (!elements[i])
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
256 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
257 if (!type)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
258 goto Lno;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
259 if (!init)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
260 init = (cast(TypeNext)t).next.defaultInit(Loc(0));
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
261 elements[i] = init;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
262 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
263 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
264
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
265 Expression e2 = new ArrayLiteralExp(loc, elements);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
266 e2.type = type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
267 return e2;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
268 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
269
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
270 Lno:
73
ef02e2e203c2 Updating to dmd2.033
korDen
parents: 72
diff changeset
271 return null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
272 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
273
130
60bb0fe4563e dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 128
diff changeset
274 Expression toAssocArrayLiteral()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
275 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
276 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
277 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
278
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
279 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
280 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
281 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
282 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
283
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
284 override dt_t* toDt()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
285 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
286 //printf("ArrayInitializer.toDt('%s')\n", toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
287 Type tb = type.toBasetype();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
288 Type tn = tb.nextOf().toBasetype();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
289
128
e6e542f37b94 Some more Array -> Vector conversions
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 127
diff changeset
290 scope dts = new Vector!(dt_t*)();
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
291 uint size;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
292 uint length;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
293 uint i;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
294 dt_t* dt;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
295 dt_t* d;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
296 dt_t** pdtend;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
297
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
298 //printf("\tdim = %d\n", dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
299 dts.setDim(dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
300 dts.zero();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
301
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
302 size = cast(uint)tn.size();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
303
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
304 length = 0;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
305 for (i = 0; i < index.dim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
306 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
307 Expression idx;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
308 Initializer val;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
309
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
310 idx = index[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
311 if (idx)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
312 length = cast(uint)idx.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
313 //printf("\tindex[%d] = %p, length = %u, dim = %u\n", i, idx, length, dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
314
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
315 assert(length < dim);
127
9ee9b55452cb Identifiers, Initializers -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
316 val = value[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
317 dt = val.toDt();
128
e6e542f37b94 Some more Array -> Vector conversions
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 127
diff changeset
318 if (dts[length])
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
319 error(loc, "duplicate initializations for index %d", length);
128
e6e542f37b94 Some more Array -> Vector conversions
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 127
diff changeset
320 dts[length] = dt;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
321 length++;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
322 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
323
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
324 Expression edefault = tb.nextOf().defaultInit(Loc(0));
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
325
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
326 uint n = 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
327 for (Type tbn = tn; tbn.ty == Tsarray; tbn = tbn.nextOf().toBasetype())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
328 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
329 TypeSArray tsa = cast(TypeSArray)tbn;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
330 n *= tsa.dim.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
331 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
332
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
333 d = null;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
334 pdtend = &d;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
335 for (i = 0; i < dim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
336 {
128
e6e542f37b94 Some more Array -> Vector conversions
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 127
diff changeset
337 dt = dts[i];
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
338 if (dt)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
339 pdtend = dtcat(pdtend, dt);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
340 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
341 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
342 for (int j = 0; j < n; j++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
343 pdtend = edefault.toDt(pdtend);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
344 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
345 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
346 switch (tb.ty)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
347 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
348 case Tsarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
349 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
350 uint tadim;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
351 TypeSArray ta = cast(TypeSArray)tb;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
352
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
353 tadim = cast(uint)ta.dim.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
354 if (dim < tadim)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
355 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
356 if (edefault.isBool(false))
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
357 // pad out end of array
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
358 pdtend = dtnzeros(pdtend, size * (tadim - dim));
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
359 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
360 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
361 for (i = dim; i < tadim; i++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
362 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
363 for (int j = 0; j < n; j++)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
364 pdtend = edefault.toDt(pdtend);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
365 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
366 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
367 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
368 else if (dim > tadim)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
369 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
370 debug writef("1: ");
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
371 error(loc, "too many initializers, %d, for array[%d]", dim, tadim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
372 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
373 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
374 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
375
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
376 case Tpointer:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
377 case Tarray:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
378 // Create symbol, and then refer to it
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
379 Symbol* s = static_sym();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
380 s.Sdt = d;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
381 outdata(s);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
382
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
383 d = null;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
384 if (tb.ty == Tarray)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
385 dtdword(&d, dim);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
386 dtxoff(&d, s, 0, TYnptr);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
387 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
388
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
389 default:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
390 assert(0);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
391 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
392 return d;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
393 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
394
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
395 dt_t* toDtBit() // for bit arrays
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
396 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
397 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
398 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
399
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
400 override ArrayInitializer isArrayInitializer() { return this; }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 59
diff changeset
401 }