Mercurial > projects > ddmd

annotate dmd/StructLiteralExp.d @ 135:af1bebfd96a4 dmd2037

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dmd 2.038
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Mon, 13 Sep 2010 22:19:42 +0100
parents 9e39c7de8438
children 9a2a1ae6c8e5
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.StructLiteralExp;
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: 109
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;
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
5 import dmd.GlobalExpressions;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
6 import dmd.MOD;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
7 import dmd.TypeStruct;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
8 import dmd.TypeSArray;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
9 import dmd.expression.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
10 import dmd.ErrorExp;
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
11 import dmd.Array;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
12 import dmd.Dsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
13 import dmd.VarDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
14 import dmd.StructDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
15 import dmd.FuncDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
16 import dmd.ThisDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
17 import dmd.backend.elem;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
18 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
19 import dmd.MATCH;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
20 import dmd.WANT;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
21 import dmd.TY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
22 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
23 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
24 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
25 import dmd.Scope;
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
26 import dmd.Initializer;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
27 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
28 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
29 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
30 import dmd.backend.Symbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
31 import dmd.HdrGenState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
32 import dmd.backend.dt_t;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
33 import dmd.InlineScanState;
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
34 import dmd.ArrayLiteralExp;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
35 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
36 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
37
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
38 import dmd.codegen.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
39 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
40 import dmd.backend.RTLSYM;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
41 import dmd.backend.TYM;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
42 import dmd.backend.mTY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
43 import dmd.backend.OPER;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
44
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
45
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 class StructLiteralExp : Expression
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
48 StructDeclaration sd; // which aggregate this is for
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
49 Expressions elements; // parallels sd.fields[] with
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
50 // NULL entries for fields to skip
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
51
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
52 Symbol* sym; // back end symbol to initialize with literal
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
53 size_t soffset; // offset from start of s
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 int fillHoles; // fill alignment 'holes' with zero
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56 this(Loc loc, StructDeclaration sd, Expressions elements)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
58 super(loc, TOKstructliteral, StructLiteralExp.sizeof);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
59 this.sd = sd;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
60 this.elements = elements;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
61 this.sym = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
62 this.soffset = 0;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
63 this.fillHoles = 1;
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 Expression syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
68 return new StructLiteralExp(loc, sd, arraySyntaxCopy(elements));
0
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 Expression semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
73 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
74 int nfields = sd.fields.dim - sd.isnested;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
75
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
76 version (LOGSEMANTIC) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
77 printf("StructLiteralExp.semantic('%s')\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
78 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
79 if (type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
80 return this;
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 // Run semantic() on each element
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
83 foreach(size_t i, Expression e; elements)
72
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 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
86 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
87 e = e.semantic(sc);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
88 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
89 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
90 expandTuples(elements);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
91 size_t offset = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
92 foreach(size_t i, Expression e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
93 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
94 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
95 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
96
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
97 if (!e.type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
98 error("%s has no value", e.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
99 e = resolveProperties(sc, e);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
100 if (i >= nfields)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
101 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
102 error("more initializers than fields of %s", sd.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
103 return new ErrorExp();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
104 }
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
105 auto s = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
106 VarDeclaration v = s.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
107 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
108 if (v.offset < offset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
109 error("overlapping initialization for %s", v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
110 offset = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
111
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
112 Type telem = v.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
113 while (!e.implicitConvTo(telem) && telem.toBasetype().ty == Tsarray)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
114 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
115 /* Static array initialization, as in:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
116 * T[3][5] = e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
117 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
118 telem = telem.toBasetype().nextOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
119 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
120
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
121 e = e.implicitCastTo(sc, telem);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
122
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
123 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
124 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
125
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
126 /* Fill out remainder of elements[] with default initializers for fields[]
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
127 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
128 for (size_t i = elements.dim; i < nfields; i++)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
129 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
130 VarDeclaration v = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
131 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
132 assert(!v.isThisDeclaration());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
133
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
134 if (v.offset < offset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
135 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
136 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
137 sd.hasUnions = 1;
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 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
140 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
141 if (v.init)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
142 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
143 e = v.init.toExpression();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
144 if (!e)
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
145 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
146 error("cannot make expression out of initializer for %s", v.toChars());
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
147 e = new ErrorExp();
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
148 }
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
149 else if (v.scope_)
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
150 {
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
151 // Do deferred semantic anaylsis
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
152 Initializer i2 = v.init.syntaxCopy();
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
153 i2 = i2.semantic(v.scope_, v.type);
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
154 e = i2.toExpression();
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
155 v.scope_ = null;
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
156 }
72
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 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
159 {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 123
diff changeset
160 e = v.type.defaultInitLiteral(loc);
72
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 offset = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
163 }
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
164 elements.push(e);
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
165 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
166
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
167 type = sd.type;
63
cab4c37afb89 A bunch of implementations
korDen
parents: 56
diff changeset
168 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
169 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
170
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
171 /**************************************
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
172 * Gets expression at offset of type.
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
173 * Returns null if not found.
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
174 */
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
175 Expression getField(Type type, uint offset)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
176 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
177 //printf("StructLiteralExp.getField(this = %s, type = %s, offset = %u)\n",
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
178 // /*toChars()*/"", type.toChars(), offset);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
179 Expression e = null;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
180 int i = getFieldIndex(type, offset);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
181
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
182 if (i != -1)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
183 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
184 //printf("\ti = %d\n", i);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
185 assert(i < elements.dim);
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
186 e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
187 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
188 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
189 //writef("e = %s, e.type = %s\n", e.toChars(), e.type.toChars());
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
190
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
191 /* If type is a static array, and e is an initializer for that array,
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
192 * then the field initializer should be an array literal of e.
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
193 */
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
194 if (e.type != type && type.ty == Tsarray)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
195 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
196 TypeSArray tsa = cast(TypeSArray)type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
197 size_t length = cast(size_t) tsa.dim.toInteger();
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
198 Expressions z = new Expressions;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
199 z.setDim(length);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
200 for (int q = 0; q < length; ++q)
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
201 z[q] = e.copy();
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
202 e = new ArrayLiteralExp(loc, z);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
203 e.type = type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
204 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
205 else
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
206 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
207 e = e.copy();
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
208 e.type = type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
209 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
210 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
211 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
212 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
213 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
214
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
215 int getFieldIndex(Type type, uint offset)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
216 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
217 /* Find which field offset is by looking at the field offsets
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
218 */
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
219 if (elements.dim)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
220 {
85
8e69d041a99d Previous commit didn't compile. Fixed.
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
221 foreach (size_t i, VarDeclaration v; sd.fields)
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
222 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
223 assert(v);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
224
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
225 if (offset == v.offset && type.size() == v.type.size())
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
226 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
227 auto e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
228 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
229 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
230 return i;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
231 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
232 break;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
233 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
234 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
235 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
236 return -1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
237 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
238
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
239 override elem* toElem(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
240 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
241 elem* e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
242 size_t dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
243
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
244 //printf("StructLiteralExp.toElem() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
245
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
246 // struct symbol to initialize with the literal
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
247 Symbol* stmp = sym ? sym : symbol_genauto(sd.type.toCtype());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
248
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
249 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
250
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
251 if (fillHoles)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
252 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
253 /* Initialize all alignment 'holes' to zero.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
254 * Do before initializing fields, as the hole filling process
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
255 * can spill over into the fields.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
256 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
257 size_t offset = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
258 foreach (VarDeclaration v; sd.fields)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
259 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
260 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
261
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
262 e = el_combine(e, fillHole(stmp, &offset, v.offset, sd.structsize));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
263 size_t vend = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
264 if (offset < vend)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
265 offset = vend;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
266 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
267 e = el_combine(e, fillHole(stmp, &offset, sd.structsize, sd.structsize));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
268 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
269
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
270 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
271 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
272 dim = elements.dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
273 assert(dim <= sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
274 foreach (size_t i, Expression el; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
275 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
276 if (!el)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
277 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
278
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
279 VarDeclaration v = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
280 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
281 assert(!v.isThisDeclaration());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
282
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
283 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
284 if (tybasic(stmp.Stype.Tty) == TYnptr)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
285 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
286 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
287 e1.EV.sp.Voffset = soffset;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
288 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
289 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
290 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
291 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
292 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
293 e1 = el_bin(OPadd, TYnptr, e1, el_long(TYsize_t, soffset));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
294 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
295 e1 = el_bin(OPadd, TYnptr, e1, el_long(TYsize_t, v.offset));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
296 elem* ec = e1; // pointer to destination
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
297
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
298 elem* ep = el.toElem(irs);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
299
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
300 Type t1b = v.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
301 Type t2b = el.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
302 if (t1b.ty == Tsarray)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
303 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
304 if (t2b.implicitConvTo(t1b))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
305 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
306 ///version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
307 // Determine if postblit is needed
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
308 int postblit = 0;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
309 if (needsPostblit(t1b))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
310 postblit = 1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
311
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
312 if (postblit)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
313 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
314 /* Generate:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
315 * _d_arrayctor(ti, From: ep, To: e1)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
316 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
317 Expression ti = t1b.nextOf().toBasetype().getTypeInfo(null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
318 elem* esize = el_long(TYsize_t, (cast(TypeSArray)t1b).dim.toInteger());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
319 e1 = el_pair(TYdarray, esize, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
320 ep = el_pair(TYdarray, el_copytree(esize), array_toPtr(el.type, ep));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
321 ep = el_params(e1, ep, ti.toElem(irs), null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
322 int rtl = RTLSYM_ARRAYCTOR;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
323 e1 = el_bin(OPcall, type.totym(), el_var(rtlsym[rtl]), ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
324 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
325 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
326 ///}
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
327 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
328 elem* esize = el_long(TYsize_t, t1b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
329 ep = array_toPtr(el.type, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
330 e1 = el_bin(OPmemcpy, TYnptr, e1, el_param(ep, esize));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
331 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
332 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
333 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
334 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
335 elem* edim = el_long(TYsize_t, t1b.size() / t2b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
336 e1 = setArray(e1, edim, t2b, ep, irs, TOKconstruct);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
337 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
338 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
339 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
340 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
341 tym_t ty = v.type.totym();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
342 e1 = el_una(OPind, ty, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
343 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
344 e1.Enumbytes = cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
345 e1 = el_bin(OPeq, ty, e1, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
346 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
347 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
348 e1.Eoper = OPstreq;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
349 e1.Enumbytes = cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
350 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
351 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
352 /* Call postblit() on e1
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
353 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
354 StructDeclaration sd = needsPostblit(v.type);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
355 if (sd)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
356 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
357 FuncDeclaration fd = sd.postblit;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
358 ec = el_copytree(ec);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
359 ec = callfunc(loc, irs, 1, Type.tvoid, ec, sd.type.pointerTo(), fd, fd.type, null, null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
360 e1 = el_bin(OPcomma, ec.Ety, e1, ec);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
361 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
362 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
363 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
364 e = el_combine(e, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
365 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
366 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
367
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
368 version (DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
369 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
370 if (sd.isnested)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
371 { // Initialize the hidden 'this' pointer
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
372 assert(sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
373 auto s = sd.fields[sd.fields.dim - 1];
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
374 auto v = s.isThisDeclaration();
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
375 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
376
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
377 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
378 if (tybasic(stmp.Stype.Tty) == TYnptr)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
379 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
380 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
381 e1.EV.sp.Voffset = soffset;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
382 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
383 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
384 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
385 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
386 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
387 e1 = el_bin(OPadd, TYnptr, e1, el_long(TYsize_t, soffset));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
388 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
389 e1 = el_bin(OPadd, TYnptr, e1, el_long(TYsize_t, v.offset));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
390 e1 = setEthis(loc, irs, e1, sd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
391
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
392 e = el_combine(e, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
393 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
394 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
395
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
396 elem* ev = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
397 ev.Enumbytes = sd.structsize;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
398 e = el_combine(e, ev);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
399 el_setLoc(e,loc);
67
f708f0452e81 some of the backend/codegen stuff implemented
korDen
parents: 64
diff changeset
400 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
401 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
402
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
403 override bool checkSideEffect(int flag)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
404 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
405 bool f = 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
406
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
407 foreach (e; elements)
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
408 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
409 if (!e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
410 continue;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
411
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
412 f |= e.checkSideEffect(2);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
413 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
414 if (flag == 0 && f == 0)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
415 Expression.checkSideEffect(0);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
416 return f;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
417 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
418
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
419 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
420 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
421 buf.writestring(sd.toChars());
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
422 buf.writeByte('(');
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
423 argsToCBuffer(buf, elements, hgs);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
424 buf.writeByte(')');
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
425 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
426
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
427 override void toMangleBuffer(OutBuffer buf)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
428 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
429 size_t dim = elements ? elements.dim : 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
430 buf.printf("S%u", dim);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
431 for (size_t i = 0; i < dim; i++)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
432 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
433 auto e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
434 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
435 e.toMangleBuffer(buf);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
436 else
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
437 buf.writeByte('v'); // 'v' for void
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
438 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
439 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
440
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
441 override void scanForNestedRef(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
442 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
443 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
444 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
445
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
446 override Expression optimize(int result)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
447 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
448 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
449 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
450 foreach (size_t i, Expression e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
451 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
452 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
453 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
454 e = e.optimize(WANTvalue | (result & WANTinterpret));
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
455 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
456 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
457 }
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
458 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
459 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
460
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
461 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
462 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
463 Expressions expsx = null;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
464
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
465 version (LOG) {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
466 printf("StructLiteralExp.interpret() %.*s\n", toChars());
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
467 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
468 /* We don't know how to deal with overlapping fields
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
469 */
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
470 if (sd.hasUnions)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
471 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
472 error("Unions with overlapping fields are not yet supported in CTFE");
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
473 return EXP_CANT_INTERPRET;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
474 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
475
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
476 if (elements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
477 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
478 foreach (size_t i, Expression e; elements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
479 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
480 if (!e)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
481 continue;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
482
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
483 Expression ex = e.interpret(istate);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
484 if (ex is EXP_CANT_INTERPRET)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
485 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
486 delete expsx;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
487 return EXP_CANT_INTERPRET;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
488 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
489
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
490 /* If any changes, do Copy On Write
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
491 */
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
492 if (ex != e)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
493 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
494 if (!expsx)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
495 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
496 expsx = new Expressions();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
497 expsx.setDim(elements.dim);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
498 for (size_t j = 0; j < elements.dim; j++)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
499 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
500 expsx[j] = elements[j];
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
501 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
502 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
503 expsx[i] = ex;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
504 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
505 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
506 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
507 if (elements && expsx)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
508 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
509 expandTuples(expsx);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
510 if (expsx.dim != elements.dim)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
511 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
512 delete expsx;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
513 return EXP_CANT_INTERPRET;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
514 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
515 StructLiteralExp se = new StructLiteralExp(loc, sd, expsx);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
516 se.type = type;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
517 return se;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
518 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
519 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
520 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
521
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
522 override dt_t** toDt(dt_t** pdt)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
523 {
123
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
524 Array dts;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
525 dt_t *dt;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
526 dt_t *d;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
527 uint offset;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
528
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
529 //printf("StructLiteralExp.toDt() %s)\n", toChars());
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
530 dts.setDim(sd.fields.dim);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
531 dts.zero();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
532 assert(elements.dim <= sd.fields.dim);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
533
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
534 foreach (uint i, Expression e; elements)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
535 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
536 if (!e)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
537 continue;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
538
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
539 dt = null;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
540 e.toDt(&dt);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
541 dts.data[i] = dt;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
542 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
543
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
544 offset = 0;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
545 foreach (uint j, VarDeclaration v; sd.fields)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
546 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
547 d = cast(dt_t*)dts.data[j];
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
548 if (!d)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
549 { // An instance specific initializer was not provided.
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
550 // Look to see if there's a default initializer from the
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
551 // struct definition
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
552 if (v.init)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
553 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
554 d = v.init.toDt();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
555 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
556 else if (v.offset >= offset)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
557 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
558 uint k;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
559 uint offset2 = v.offset + cast(uint)v.type.size();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
560 // Make sure this field (v) does not overlap any explicitly
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
561 // initialized field.
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
562 for (k = j + 1; 1; k++)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
563 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
564 if (k == dts.dim) // didn't find any overlap
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
565 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
566 v.type.toDt(&d);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
567 break;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
568 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
569 VarDeclaration v2 = sd.fields[k];
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
570
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
571 if (v2.offset < offset2 && dts.data[k])
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
572 break; // overlap
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
573 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
574 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
575 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
576 if (d)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
577 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
578 if (v.offset < offset)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
579 error("duplicate union initialization for %s", v.toChars());
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
580 else
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
581 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
582 uint sz = dt_size(d);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
583 uint vsz = cast(uint)v.type.size();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
584 uint voffset = v.offset;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
585 assert(sz <= vsz);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
586
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
587 uint dim = 1;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
588 for (Type vt = v.type.toBasetype(); vt.ty == Tsarray; vt = vt.nextOf().toBasetype())
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
589 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
590 TypeSArray tsa = cast(TypeSArray)vt;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
591 dim *= tsa.dim.toInteger();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
592 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
593
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
594 for (size_t i = 0; i < dim; i++)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
595 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
596 if (offset < voffset)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
597 pdt = dtnzeros(pdt, voffset - offset);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
598 if (!d)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
599 {
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
600 if (v.init)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
601 d = v.init.toDt();
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
602 else
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
603 v.type.toDt(&d);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
604 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
605 pdt = dtcat(pdt, d);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
606 d = null;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
607 offset = voffset + sz;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
608 voffset += vsz / dim;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
609 if (sz == vsz)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
610 break;
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
611 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
612 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
613 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
614 }
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
615
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
616 if (offset < sd.structsize)
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
617 pdt = dtnzeros(pdt, sd.structsize - offset);
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
618
9e39c7de8438 Make dmd test suite compile
korDen
parents: 114
diff changeset
619 return pdt;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
620 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
621
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
622 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
623 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
624 override int isLvalue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
625 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
626 return 1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
627 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
628 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
629
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
630 override Expression toLvalue(Scope sc, Expression e)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
631 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
632 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
633 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
634
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
635 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
636 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
637 override bool canThrow()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
638 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
639 return arrayExpressionCanThrow(elements);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
640 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
641 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
642
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
643 override MATCH implicitConvTo(Type t)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
644 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
645 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
646 printf("StructLiteralExp.implicitConvTo(this=%.*s, type=%.*s, t=%.*s)\n",
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
647 toChars(), type.toChars(), t.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
648 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
649 MATCH m = Expression.implicitConvTo(t);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
650 if (m != MATCHnomatch)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
651 return m;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
652 if (type.ty == t.ty && type.ty == Tstruct && (cast(TypeStruct)type).sym == (cast(TypeStruct)t).sym)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
653 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
654 m = MATCHconst;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
655 foreach(e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
656 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
657 Type te = e.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
658 if (t.mod == 0)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
659 te = te.mutableOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
660 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
661 {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 123
diff changeset
662 assert(t.mod == MODimmutable);
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
663 te = te.invariantOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
664 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
665 MATCH m2 = e.implicitConvTo(te);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
666 //printf("\t%s => %s, match = %d\n", e.toChars(), te.toChars(), m2);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
667 if (m2 < m)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
668 m = m2;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
669 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
670 }
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
671 return m;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
672 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
673
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
674 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
675 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
676 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
677 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
678
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
679 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
680 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
681 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
682 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
683
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
684 override Expression inlineScan(InlineScanState* iss)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
685 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
686 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
687 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
688 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
689