Mercurial > projects > ddmd
annotate dmd/TypeSArray.d @ 64:4290d870944a
More fixes
| author | korDen |
|---|---|
| date | Mon, 23 Aug 2010 20:29:15 +0400 |
| parents | b7d29f613539 |
| children | f708f0452e81 |
| rev | line source |
|---|---|
| 0 | 1 module dmd.TypeSArray; |
| 2 | |
| 3 import dmd.TypeArray; | |
| 64 | 4 import dmd.TypeInfoStaticArrayDeclaration; |
| 51 | 5 import dmd.TypeAArray; |
| 0 | 6 import dmd.MOD; |
| 7 import dmd.Argument; | |
| 51 | 8 import dmd.TypeIdentifier; |
| 9 import dmd.TemplateParameter; | |
| 10 import dmd.TemplateValueParameter; | |
| 0 | 11 import dmd.TypeStruct; |
| 12 import dmd.TypeTuple; | |
| 13 import dmd.VarExp; | |
| 14 import dmd.IntegerExp; | |
| 15 import dmd.Expression; | |
| 16 import dmd.Type; | |
| 17 import dmd.TupleDeclaration; | |
| 18 import dmd.TOK; | |
| 19 import dmd.Loc; | |
| 20 import dmd.STC; | |
| 21 import dmd.Scope; | |
| 22 import dmd.Dsymbol; | |
| 23 import dmd.OutBuffer; | |
| 24 import dmd.HdrGenState; | |
| 25 import dmd.Identifier; | |
| 26 import dmd.MATCH; | |
| 27 import dmd.TypeDArray; | |
| 28 import dmd.TypePointer; | |
| 29 import dmd.ArrayTypes; | |
| 30 import dmd.WANT; | |
| 31 import dmd.TypeInfoDeclaration; | |
|
41
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
32 import dmd.ScopeDsymbol; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
33 import dmd.ArrayScopeSymbol; |
| 0 | 34 import dmd.TY; |
| 35 import dmd.Util; | |
| 36 import dmd.Id; | |
|
41
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
37 import dmd.IndexExp; |
| 0 | 38 |
| 39 import dmd.type.Util; | |
| 40 | |
| 41 import dmd.backend.dt_t; | |
| 42 import dmd.backend.TYPE; | |
| 43 import dmd.backend.Util; | |
| 44 import dmd.backend.TYM; | |
| 45 import dmd.backend.DT; | |
| 46 | |
| 47 // Static array, one with a fixed dimension | |
| 48 class TypeSArray : TypeArray | |
| 49 { | |
| 50 Expression dim; | |
| 51 | |
| 52 this(Type t, Expression dim) | |
| 53 { | |
| 54 super(TY.Tsarray, t); | |
| 55 //printf("TypeSArray(%s)\n", dim.toChars()); | |
| 56 this.dim = dim; | |
| 57 } | |
| 58 | |
| 59 version (DumbClone) { | |
| 60 } else { | |
| 61 Type clone() | |
| 62 { | |
| 63 assert(false); | |
| 64 } | |
| 65 } | |
| 66 | |
| 67 Type syntaxCopy() | |
| 68 { | |
|
41
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
69 Type t = next.syntaxCopy(); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
70 Expression e = dim.syntaxCopy(); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
71 t = new TypeSArray(t, e); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
72 t.mod = mod; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
73 return t; |
| 0 | 74 } |
| 75 | |
| 76 ulong size(Loc loc) | |
| 77 { | |
| 78 if (!dim) | |
| 79 return Type.size(loc); | |
| 80 | |
| 81 long sz = dim.toInteger(); | |
| 82 | |
| 83 { | |
| 84 long n, n2; | |
| 85 n = next.size(); | |
| 86 n2 = n * sz; | |
| 87 if (n && (n2 / n) != sz) | |
| 88 goto Loverflow; | |
| 89 | |
| 90 sz = n2; | |
| 91 } | |
| 92 return sz; | |
| 93 | |
| 94 Loverflow: | |
| 95 error(loc, "index %jd overflow for static array", sz); | |
| 96 return 1; | |
| 97 } | |
| 98 | |
| 99 uint alignsize() | |
| 100 { | |
| 101 return next.alignsize(); | |
| 102 } | |
| 103 | |
| 104 Type semantic(Loc loc, Scope sc) | |
| 105 { | |
| 106 //printf("TypeSArray.semantic() %s\n", toChars()); | |
| 107 | |
| 108 Type t; | |
| 109 Expression e; | |
| 110 Dsymbol s; | |
| 111 next.resolve(loc, sc, &e, &t, &s); | |
| 112 if (dim && s && s.isTupleDeclaration()) | |
| 113 { | |
| 114 TupleDeclaration sd = s.isTupleDeclaration(); | |
| 115 | |
| 116 dim = semanticLength(sc, sd, dim); | |
| 117 dim = dim.optimize(WANT.WANTvalue | WANT.WANTinterpret); | |
| 118 ulong d = dim.toUInteger(); | |
| 119 | |
| 120 if (d >= sd.objects.dim) | |
| 121 { error(loc, "tuple index %ju exceeds %u", d, sd.objects.dim); | |
| 122 return Type.terror; | |
| 123 } | |
| 124 ///Object o = cast(Object)sd.objects.data[(size_t)d]; | |
| 125 ///if (o.dyncast() != DYNCAST_TYPE) | |
| 126 ///{ | |
| 127 /// error(loc, "%s is not a type", toChars()); | |
| 128 /// return Type.terror; | |
| 129 ///} | |
| 130 ///t = cast(Type)o; | |
| 131 | |
| 132 t = cast(Type)sd.objects.data[cast(size_t)d]; | |
| 133 if (t is null) { | |
| 134 error(loc, "%s is not a type", toChars()); | |
| 135 return Type.terror; | |
| 136 } | |
| 137 return t; | |
| 138 } | |
| 139 | |
| 140 next = next.semantic(loc,sc); | |
| 141 transitive(); | |
| 142 | |
| 143 Type tbn = next.toBasetype(); | |
| 144 | |
| 145 if (dim) | |
| 146 { | |
| 147 long n, n2; | |
| 148 | |
| 149 dim = semanticLength(sc, tbn, dim); | |
| 150 | |
| 151 dim = dim.optimize(WANT.WANTvalue | WANT.WANTinterpret); | |
| 152 if (sc && sc.parameterSpecialization && dim.op == TOK.TOKvar && | |
| 153 (cast(VarExp)dim).var.storage_class & STC.STCtemplateparameter) | |
| 154 { | |
| 155 /* It could be a template parameter N which has no value yet: | |
| 156 * template Foo(T : T[N], size_t N); | |
| 157 */ | |
| 158 return this; | |
| 159 } | |
| 160 long d1 = dim.toInteger(); | |
| 161 dim = dim.castTo(sc, tsize_t); | |
| 162 dim = dim.optimize(WANT.WANTvalue); | |
| 163 long d2 = dim.toInteger(); | |
| 164 | |
| 165 if (d1 != d2) | |
| 166 goto Loverflow; | |
| 167 | |
| 168 if (tbn.isintegral() || | |
| 169 tbn.isfloating() || | |
| 170 tbn.ty == TY.Tpointer || | |
| 171 tbn.ty == TY.Tarray || | |
| 172 tbn.ty == TY.Tsarray || | |
| 173 tbn.ty == TY.Taarray || | |
| 174 tbn.ty == TY.Tclass) | |
| 175 { | |
| 176 /* Only do this for types that don't need to have semantic() | |
| 177 * run on them for the size, since they may be forward referenced. | |
| 178 */ | |
| 179 n = tbn.size(loc); | |
| 180 n2 = n * d2; | |
| 181 if (cast(int)n2 < 0) | |
| 182 goto Loverflow; | |
| 183 if (n2 >= 0x1000000) // put a 'reasonable' limit on it | |
| 184 goto Loverflow; | |
| 185 if (n && n2 / n != d2) | |
| 186 { | |
| 187 Loverflow: | |
| 188 error(loc, "index %jd overflow for static array", d1); | |
| 189 dim = new IntegerExp(Loc(0), 1, tsize_t); | |
| 190 } | |
| 191 } | |
| 192 } | |
| 193 switch (tbn.ty) | |
| 194 { | |
| 195 case TY.Ttuple: | |
| 196 { // Index the tuple to get the type | |
| 197 assert(dim); | |
| 198 TypeTuple tt = cast(TypeTuple)tbn; | |
| 199 ulong d = dim.toUInteger(); | |
| 200 | |
| 201 if (d >= tt.arguments.dim) | |
| 202 { | |
| 203 error(loc, "tuple index %ju exceeds %u", d, tt.arguments.dim); | |
| 204 return Type.terror; | |
| 205 } | |
| 206 Argument arg = cast(Argument)tt.arguments.data[cast(size_t)d]; | |
| 207 return arg.type; | |
| 208 } | |
| 209 case TY.Tstruct: | |
| 210 { TypeStruct ts = cast(TypeStruct)tbn; | |
| 211 if (ts.sym.isnested) | |
| 212 error(loc, "cannot have array of inner structs %s", ts.toChars()); | |
| 213 break; | |
| 214 } | |
| 215 case TY.Tfunction: | |
| 216 case TY.Tnone: | |
| 217 error(loc, "can't have array of %s", tbn.toChars()); | |
| 218 tbn = next = tint32; | |
| 219 break; | |
| 220 default: /// | |
| 221 break; | |
| 222 } | |
| 223 if (tbn.isauto()) | |
| 224 error(loc, "cannot have array of auto %s", tbn.toChars()); | |
| 225 return merge(); | |
| 226 } | |
| 227 | |
| 228 void resolve(Loc loc, Scope sc, Expression* pe, Type* pt, Dsymbol* ps) | |
| 229 { | |
|
41
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
230 //printf("TypeSArray.resolve() %s\n", toChars()); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
231 next.resolve(loc, sc, pe, pt, ps); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
232 //printf("s = %p, e = %p, t = %p\n", *ps, *pe, *pt); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
233 if (*pe) |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
234 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
235 // It's really an index expression |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
236 Expression e = new IndexExp(loc, *pe, dim); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
237 *pe = e; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
238 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
239 else if (*ps) |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
240 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
241 Dsymbol s = *ps; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
242 TupleDeclaration td = s.isTupleDeclaration(); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
243 if (td) |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
244 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
245 ScopeDsymbol sym = new ArrayScopeSymbol(sc, td); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
246 sym.parent = sc.scopesym; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
247 sc = sc.push(sym); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
248 |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
249 dim = dim.semantic(sc); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
250 dim = dim.optimize(WANTvalue | WANTinterpret); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
251 ulong d = dim.toUInteger(); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
252 |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
253 sc = sc.pop(); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
254 |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
255 if (d >= td.objects.dim) |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
256 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
257 error(loc, "tuple index %ju exceeds %u", d, td.objects.dim); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
258 goto Ldefault; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
259 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
260 Object o = cast(Object)td.objects.data[cast(size_t)d]; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
261 if ((*ps = isDsymbol(o)) !is null) /// ! |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
262 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
263 return; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
264 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
265 if ((*pe = isExpression(o)) !is null) /// ! |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
266 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
267 return; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
268 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
269 |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
270 /* Create a new TupleDeclaration which |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
271 * is a slice [d..d+1] out of the old one. |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
272 * Do it this way because TemplateInstance.semanticTiargs() |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
273 * can handle unresolved Objects this way. |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
274 */ |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
275 Objects objects = new Objects; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
276 objects.setDim(1); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
277 objects.data[0] = cast(void*)o; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
278 |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
279 TupleDeclaration tds = new TupleDeclaration(loc, td.ident, objects); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
280 *ps = tds; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
281 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
282 else |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
283 goto Ldefault; |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
284 } |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
285 else |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
286 { |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
287 Ldefault: |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
288 Type.resolve(loc, sc, pe, pt, ps); |
|
f23312cb6f2e
TypeSArray.syntaxCopy & TypeSArray.resolve implemented
korDen
parents:
12
diff
changeset
|
289 } |
| 0 | 290 } |
| 291 | |
| 292 void toDecoBuffer(OutBuffer buf, int flag) | |
| 293 { | |
| 294 Type.toDecoBuffer(buf, flag); | |
| 295 if (dim) | |
| 296 //buf.printf("%ju", dim.toInteger()); /// | |
| 297 buf.printf("%s", dim.toInteger()); | |
| 298 if (next) | |
| 299 /* Note that static arrays are value types, so | |
| 300 * for a parameter, propagate the 0x100 to the next | |
| 301 * level, since for T[4][3], any const should apply to the T, | |
| 302 * not the [4]. | |
| 303 */ | |
| 304 next.toDecoBuffer(buf, (flag & 0x100) ? flag : mod); | |
| 305 } | |
| 306 | |
| 307 void toCBuffer2(OutBuffer buf, HdrGenState* hgs, MOD mod) | |
| 308 { | |
| 309 assert(false); | |
| 310 } | |
| 311 | |
| 312 Expression dotExp(Scope sc, Expression e, Identifier ident) | |
| 313 { | |
| 314 version (LOGDOTEXP) { | |
| 315 printf("TypeSArray.dotExp(e = '%s', ident = '%s')\n", e.toChars(), ident.toChars()); | |
| 316 } | |
| 317 if (ident == Id.length) | |
| 318 { | |
| 319 e = dim; | |
| 320 } | |
| 321 else if (ident == Id.ptr) | |
| 322 { | |
| 323 e = e.castTo(sc, next.pointerTo()); | |
| 324 } | |
| 325 else | |
| 326 { | |
| 327 e = TypeArray.dotExp(sc, e, ident); | |
| 328 } | |
| 329 return e; | |
| 330 } | |
| 331 | |
|
12
832f71e6f96c
*Exp and *AssignExp arrayOp implementation added (might be a bit incomplete)
korDen
parents:
0
diff
changeset
|
332 bool isString() |
| 0 | 333 { |
| 64 | 334 TY nty = next.toBasetype().ty; |
| 335 return nty == Tchar || nty == Twchar || nty == Tdchar; | |
| 0 | 336 } |
| 337 | |
| 338 bool isZeroInit(Loc loc) | |
| 339 { | |
| 340 return next.isZeroInit(loc); | |
| 341 } | |
| 342 | |
| 343 uint memalign(uint salign) | |
| 344 { | |
| 345 return next.memalign(salign); | |
| 346 } | |
| 347 | |
| 348 MATCH constConv(Type to) | |
| 349 { | |
| 350 assert(false); | |
| 351 } | |
| 352 | |
| 353 MATCH implicitConvTo(Type to) | |
| 354 { | |
| 355 //printf("TypeSArray.implicitConvTo(to = %s) this = %s\n", to.toChars(), toChars()); | |
| 356 | |
| 357 // Allow implicit conversion of static array to pointer or dynamic array | |
| 358 if (IMPLICIT_ARRAY_TO_PTR && to.ty == Tpointer) | |
| 359 { | |
| 360 TypePointer tp = cast(TypePointer)to; | |
| 361 | |
| 362 if (next.mod != tp.next.mod && tp.next.mod != MODconst) | |
| 363 return MATCHnomatch; | |
| 364 | |
| 365 if (tp.next.ty == Tvoid || next.constConv(tp.next) != MATCHnomatch) | |
| 366 { | |
| 367 return MATCHconvert; | |
| 368 } | |
| 369 return MATCHnomatch; | |
| 370 } | |
| 371 if (to.ty == Tarray) | |
| 372 { | |
| 373 int offset = 0; | |
| 374 TypeDArray ta = cast(TypeDArray)to; | |
| 375 | |
| 376 if (next.mod != ta.next.mod && ta.next.mod != MODconst) | |
| 377 return MATCHnomatch; | |
| 378 | |
| 379 if (next.equals(ta.next) || | |
| 380 next.implicitConvTo(ta.next) >= MATCHconst || | |
| 381 (ta.next.isBaseOf(next, &offset) && offset == 0) || | |
| 382 ta.next.ty == Tvoid | |
| 383 ) | |
| 384 return MATCHconvert; | |
| 385 | |
| 386 return MATCHnomatch; | |
| 387 } | |
| 388 if (to.ty == Tsarray) | |
| 389 { | |
| 390 if (this == to) | |
| 391 return MATCHexact; | |
| 392 | |
| 393 TypeSArray tsa = cast(TypeSArray)to; | |
| 394 | |
| 395 if (dim.equals(tsa.dim)) | |
| 396 { | |
| 397 /* Since static arrays are value types, allow | |
| 398 * conversions from const elements to non-const | |
| 399 * ones, just like we allow conversion from const int | |
| 400 * to int. | |
| 401 */ | |
| 402 MATCH m = next.implicitConvTo(tsa.next); | |
| 403 if (m >= MATCHconst) | |
| 404 { | |
| 405 if (mod != to.mod) | |
| 406 m = MATCHconst; | |
| 407 return m; | |
| 408 } | |
| 409 } | |
| 410 } | |
| 411 return MATCHnomatch; | |
| 412 } | |
| 413 | |
| 414 Expression defaultInit(Loc loc) | |
| 415 { | |
| 416 version (LOGDEFAULTINIT) { | |
| 417 printf("TypeSArray.defaultInit() '%s'\n", toChars()); | |
| 418 } | |
| 419 return next.defaultInit(loc); | |
| 420 } | |
| 421 | |
| 422 dt_t** toDt(dt_t** pdt) | |
| 423 { | |
| 424 return toDtElem(pdt, null); | |
| 425 } | |
| 426 | |
| 427 dt_t** toDtElem(dt_t** pdt, Expression e) | |
| 428 { | |
| 429 int i; | |
| 430 | |
| 431 //printf("TypeSArray::toDtElem()\n"); | |
| 432 uint len = cast(uint)dim.toInteger(); | |
| 433 if (len) | |
| 434 { | |
| 435 while (*pdt) | |
| 436 pdt = &((*pdt).DTnext); | |
| 437 Type tnext = next; | |
| 438 Type tbn = tnext.toBasetype(); | |
| 439 while (tbn.ty == Tsarray) | |
| 440 { | |
| 441 TypeSArray tsa = cast(TypeSArray)tbn; | |
| 442 | |
| 443 len *= tsa.dim.toInteger(); | |
| 444 tnext = tbn.nextOf(); | |
| 445 tbn = tnext.toBasetype(); | |
| 446 } | |
| 447 if (!e) // if not already supplied | |
| 448 e = tnext.defaultInit(Loc(0)); // use default initializer | |
| 449 if (tbn.ty == Tstruct) | |
| 450 tnext.toDt(pdt); | |
| 451 else | |
| 452 e.toDt(pdt); | |
| 453 dt_optimize(*pdt); | |
| 454 if ((*pdt).dt == DT_azeros && !(*pdt).DTnext) | |
| 455 { | |
| 456 (*pdt).DTazeros *= len; | |
| 457 pdt = &((*pdt).DTnext); | |
| 458 } | |
| 459 else if ((*pdt).dt == DT_1byte && (*pdt).DTonebyte == 0 && !(*pdt).DTnext) | |
| 460 { | |
| 461 (*pdt).dt = DT_azeros; | |
| 462 (*pdt).DTazeros = len; | |
| 463 pdt = &((*pdt).DTnext); | |
| 464 } | |
| 465 else if (e.op != TOKstring) | |
| 466 { | |
| 467 for (i = 1; i < len; i++) | |
| 468 { | |
| 469 if (tbn.ty == Tstruct) | |
| 470 { | |
| 471 pdt = tnext.toDt(pdt); | |
| 472 while (*pdt) | |
| 473 pdt = &((*pdt).DTnext); | |
| 474 } | |
| 475 else | |
| 476 pdt = e.toDt(pdt); | |
| 477 } | |
| 478 } | |
| 479 } | |
| 480 return pdt; | |
| 481 } | |
| 482 | |
| 483 MATCH deduceType(Scope sc, Type tparam, TemplateParameters parameters, Objects dedtypes) | |
| 484 { | |
| 51 | 485 static if (false) { |
| 486 printf("TypeSArray.deduceType()\n"); | |
| 487 printf("\tthis = %d, ", ty); print(); | |
| 488 printf("\ttparam = %d, ", tparam.ty); tparam.print(); | |
| 489 } | |
| 490 | |
| 491 // Extra check that array dimensions must match | |
| 492 if (tparam) | |
| 493 { | |
| 494 if (tparam.ty == Tsarray) | |
| 495 { | |
| 496 TypeSArray tp = cast(TypeSArray)tparam; | |
| 497 | |
| 498 if (tp.dim.op == TOKvar && (cast(VarExp)tp.dim).var.storage_class & STCtemplateparameter) | |
| 499 { | |
| 500 int i = templateIdentifierLookup((cast(VarExp)tp.dim).var.ident, parameters); | |
| 501 // This code matches code in TypeInstance.deduceType() | |
| 502 if (i == -1) | |
| 503 goto Lnomatch; | |
| 504 TemplateParameter tp2 = cast(TemplateParameter)parameters.data[i]; | |
| 505 TemplateValueParameter tvp = tp2.isTemplateValueParameter(); | |
| 506 if (!tvp) | |
| 507 goto Lnomatch; | |
| 508 Expression e = cast(Expression)dedtypes.data[i]; | |
| 509 if (e) | |
| 510 { | |
| 511 if (!dim.equals(e)) | |
| 512 goto Lnomatch; | |
| 513 } | |
| 514 else | |
| 515 { | |
| 516 Type vt = tvp.valType.semantic(Loc(0), sc); | |
| 517 MATCH m = cast(MATCH)dim.implicitConvTo(vt); | |
| 518 if (!m) | |
| 519 goto Lnomatch; | |
| 520 dedtypes.data[i] = cast(void*)dim; | |
| 521 } | |
| 522 } | |
| 523 else if (dim.toInteger() != tp.dim.toInteger()) | |
| 524 return MATCHnomatch; | |
| 525 } | |
| 526 else if (tparam.ty == Taarray) | |
| 527 { | |
| 528 TypeAArray tp = cast(TypeAArray)tparam; | |
| 529 if (tp.index.ty == Tident) | |
| 530 { | |
| 531 TypeIdentifier tident = cast(TypeIdentifier)tp.index; | |
| 532 | |
| 533 if (tident.idents.dim == 0) | |
| 534 { | |
| 535 Identifier id = tident.ident; | |
| 536 | |
| 537 for (size_t i = 0; i < parameters.dim; i++) | |
| 538 { | |
| 539 TemplateParameter tp2 = cast(TemplateParameter)parameters.data[i]; | |
| 540 | |
| 541 if (tp2.ident.equals(id)) | |
| 542 { | |
| 543 // Found the corresponding template parameter | |
| 544 TemplateValueParameter tvp = tp2.isTemplateValueParameter(); | |
| 545 if (!tvp || !tvp.valType.isintegral()) | |
| 546 goto Lnomatch; | |
| 547 | |
| 548 if (dedtypes.data[i]) | |
| 549 { | |
| 550 if (!dim.equals(cast(Object)dedtypes.data[i])) | |
| 551 goto Lnomatch; | |
| 552 } | |
| 553 else | |
| 554 { dedtypes.data[i] = cast(void*)dim; | |
| 555 } | |
| 556 return next.deduceType(sc, tparam.nextOf(), parameters, dedtypes); | |
| 557 } | |
| 558 } | |
| 559 } | |
| 560 } | |
| 561 } | |
| 562 else if (tparam.ty == Tarray) | |
| 563 { | |
| 564 MATCH m; | |
| 565 | |
| 566 m = next.deduceType(sc, tparam.nextOf(), parameters, dedtypes); | |
| 567 if (m == MATCHexact) | |
| 568 m = MATCHconvert; | |
| 569 return m; | |
| 570 } | |
| 571 } | |
| 572 return Type.deduceType(sc, tparam, parameters, dedtypes); | |
| 573 | |
| 574 Lnomatch: | |
| 575 return MATCHnomatch; | |
| 0 | 576 } |
| 577 | |
| 578 TypeInfoDeclaration getTypeInfoDeclaration() | |
| 579 { | |
| 64 | 580 return new TypeInfoStaticArrayDeclaration(this); |
| 0 | 581 } |
| 582 | |
| 583 Expression toExpression() | |
| 584 { | |
| 585 assert(false); | |
| 586 } | |
| 587 | |
| 588 bool hasPointers() | |
| 589 { | |
| 590 return next.hasPointers(); | |
| 591 } | |
| 592 | |
| 593 version (CPP_MANGLE) { | |
| 594 void toCppMangle(OutBuffer buf, CppMangleState* cms) | |
| 595 { | |
| 596 assert(false); | |
| 597 } | |
| 598 } | |
| 599 | |
| 600 type* toCtype() | |
| 601 { | |
| 602 if (!ctype) | |
| 603 { | |
| 604 type* tn = next.toCtype(); | |
| 605 ctype = type_allocn(TYarray, tn); | |
| 606 ctype.Tdim = cast(uint)dim.toInteger(); | |
| 607 } | |
| 608 | |
| 609 return ctype; | |
| 610 } | |
| 611 | |
| 612 type* toCParamtype() | |
| 613 { | |
| 614 // arrays are passed as pointers | |
| 615 return next.pointerTo().toCtype(); | |
| 616 } | |
| 617 } |