Mercurial > projects > ddmd

annotate dmd/StructLiteralExp.d @ 90:39648eb578f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more Expressions work
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Mon, 30 Aug 2010 20:27:56 +0100
parents 8e69d041a99d
children ceda59b4d255
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
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
3 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
4 import dmd.MOD;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
5 import dmd.TypeStruct;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
6 import dmd.TypeSArray;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
7 import dmd.expression.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
8 import dmd.ErrorExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
9 import dmd.Dsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
10 import dmd.VarDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
11 import dmd.StructDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
12 import dmd.FuncDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
13 import dmd.ThisDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
14 import dmd.backend.elem;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
15 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
16 import dmd.MATCH;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
17 import dmd.WANT;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
18 import dmd.TY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
19 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
20 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
21 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
22 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
23 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
24 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
25 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
26 import dmd.backend.Symbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
27 import dmd.HdrGenState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
28 import dmd.backend.dt_t;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
29 import dmd.InlineScanState;
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
30 import dmd.ArrayLiteralExp;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
31 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
32 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
33
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
34 import dmd.codegen.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
35 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
36 import dmd.backend.RTLSYM;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
37 import dmd.backend.TYM;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
38 import dmd.backend.mTY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
39 import dmd.backend.OPER;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
40
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
41
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 class StructLiteralExp : Expression
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
44 StructDeclaration sd; // which aggregate this is for
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
45 Expressions elements; // parallels sd.fields[] with
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
46 // NULL entries for fields to skip
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
47
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
48 Symbol* sym; // back end symbol to initialize with literal
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
49 size_t soffset; // offset from start of s
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 int fillHoles; // fill alignment 'holes' with zero
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52 this(Loc loc, StructDeclaration sd, Expressions elements)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
54 super(loc, TOKstructliteral, StructLiteralExp.sizeof);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
55 this.sd = sd;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
56 this.elements = elements;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
57 this.sym = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
58 this.soffset = 0;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
59 this.fillHoles = 1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
60 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
62 override Expression syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
67 override Expression semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
69 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
70 int nfields = sd.fields.dim - sd.isnested;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
71
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
72 version (LOGSEMANTIC) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
73 printf("StructLiteralExp.semantic('%s')\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
74 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
75 if (type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
76 return this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
77
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
78 // Run semantic() on each element
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
79 foreach(size_t i, Expression e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
80 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
81 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
82 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
83 e = e.semantic(sc);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
84 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
85 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
86 expandTuples(elements);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
87 size_t offset = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
88 foreach(size_t i, Expression e; elements)
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 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
91 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
92
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
93 if (!e.type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
94 error("%s has no value", e.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
95 e = resolveProperties(sc, e);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
96 if (i >= nfields)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
97 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
98 error("more initializers than fields of %s", sd.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
99 return new ErrorExp();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
100 }
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
101 auto s = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
102 VarDeclaration v = s.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
103 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
104 if (v.offset < offset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
105 error("overlapping initialization for %s", v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
106 offset = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
107
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
108 Type telem = v.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
109 while (!e.implicitConvTo(telem) && telem.toBasetype().ty == Tsarray)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
110 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
111 /* Static array initialization, as in:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
112 * T[3][5] = e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
113 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
114 telem = telem.toBasetype().nextOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
115 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
116
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
117 e = e.implicitCastTo(sc, telem);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
118
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
119 elements[i] = e;
72
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
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
122 /* Fill out remainder of elements[] with default initializers for fields[]
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
123 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
124 for (size_t i = elements.dim; i < nfields; i++)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
125 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
126 VarDeclaration v = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
127 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
128 assert(!v.isThisDeclaration());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
129
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
130 if (v.offset < offset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
131 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
132 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
133 sd.hasUnions = 1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
134 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
135 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
136 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
137 if (v.init)
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 e = v.init.toExpression();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
140 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
141 error("cannot make expression out of initializer for %s", v.toChars());
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 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
144 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
145 e = v.type.defaultInit(Loc(0));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
146 e.loc = loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
147 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
148 offset = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
149 }
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
150 elements.push(e);
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
151 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
152
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
153 type = sd.type;
63
cab4c37afb89 A bunch of implementations
korDen
parents: 56
diff changeset
154 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
155 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
156
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
157 Expression getField(Type type, uint offset)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
158 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
159 //printf("StructLiteralExp.getField(this = %s, type = %s, offset = %u)\n",
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
160 // /*toChars()*/"", type.toChars(), offset);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
161 Expression e = null;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
162 int i = getFieldIndex(type, offset);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
163
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
164 if (i != -1)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
165 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
166 //printf("\ti = %d\n", i);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
167 assert(i < elements.dim);
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
168 e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
169 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
170 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
171 //writef("e = %s, e.type = %s\n", e.toChars(), e.type.toChars());
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
172
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
173 /* If type is a static array, and e is an initializer for that array,
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
174 * then the field initializer should be an array literal of e.
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
175 */
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
176 if (e.type != type && type.ty == Tsarray)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
177 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
178 TypeSArray tsa = cast(TypeSArray)type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
179 size_t length = cast(size_t) tsa.dim.toInteger();
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
180 Expressions z = new Expressions;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
181 z.setDim(length);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
182 for (int q = 0; q < length; ++q)
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
183 z[q] = e.copy();
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
184 e = new ArrayLiteralExp(loc, z);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
185 e.type = type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
186 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
187 else
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
188 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
189 e = e.copy();
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
190 e.type = type;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
191 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
192 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
193 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
194 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
195 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
196
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
197 int getFieldIndex(Type type, uint offset)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
198 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
199 /* Find which field offset is by looking at the field offsets
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
200 */
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
201 if (elements.dim)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
202 {
85
8e69d041a99d Previous commit didn't compile. Fixed.
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
203 foreach (size_t i, VarDeclaration v; sd.fields)
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
204 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
205 assert(v);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
206
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
207 if (offset == v.offset && type.size() == v.type.size())
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
208 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
209 auto e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
210 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
211 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
212 return i;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
213 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
214 break;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
215 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
216 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
217 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
218 return -1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
219 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
220
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
221 override elem* toElem(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
222 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
223 elem* e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
224 size_t dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
225
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
226 //printf("StructLiteralExp.toElem() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
227
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
228 // struct symbol to initialize with the literal
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
229 Symbol* stmp = sym ? sym : symbol_genauto(sd.type.toCtype());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
230
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
231 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
232
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
233 if (fillHoles)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
234 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
235 /* Initialize all alignment 'holes' to zero.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
236 * Do before initializing fields, as the hole filling process
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
237 * can spill over into the fields.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
238 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
239 size_t offset = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
240 foreach (VarDeclaration v; sd.fields)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
241 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
242 assert(v);
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 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
245 size_t vend = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
246 if (offset < vend)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
247 offset = vend;
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 = el_combine(e, fillHole(stmp, &offset, sd.structsize, sd.structsize));
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
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
252 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
253 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
254 dim = elements.dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
255 assert(dim <= sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
256 foreach (size_t i, Expression el; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
257 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
258 if (!el)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
259 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
260
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
261 VarDeclaration v = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
262 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
263 assert(!v.isThisDeclaration());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
264
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
265 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
266 if (tybasic(stmp.Stype.Tty) == TYnptr)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
267 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
268 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
269 e1.EV.sp.Voffset = soffset;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
270 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
271 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
272 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
273 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
274 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
275 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
276 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
277 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
278 elem* ec = e1; // pointer to destination
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
279
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
280 elem* ep = el.toElem(irs);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
281
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
282 Type t1b = v.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
283 Type t2b = el.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
284 if (t1b.ty == Tsarray)
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 if (t2b.implicitConvTo(t1b))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
287 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
288 ///version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
289 // Determine if postblit is needed
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
290 int postblit = 0;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
291 if (needsPostblit(t1b))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
292 postblit = 1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
293
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
294 if (postblit)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
295 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
296 /* Generate:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
297 * _d_arrayctor(ti, From: ep, To: e1)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
298 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
299 Expression ti = t1b.nextOf().toBasetype().getTypeInfo(null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
300 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
301 e1 = el_pair(TYdarray, esize, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
302 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
303 ep = el_params(e1, ep, ti.toElem(irs), null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
304 int rtl = RTLSYM_ARRAYCTOR;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
305 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
306 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
307 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
308 ///}
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
309 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
310 elem* esize = el_long(TYsize_t, t1b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
311 ep = array_toPtr(el.type, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
312 e1 = el_bin(OPmemcpy, TYnptr, e1, el_param(ep, esize));
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
315 else
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 elem* edim = el_long(TYsize_t, t1b.size() / t2b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
318 e1 = setArray(e1, edim, t2b, ep, irs, TOKconstruct);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
319 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
320 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
321 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
322 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
323 tym_t ty = v.type.totym();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
324 e1 = el_una(OPind, ty, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
325 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
326 e1.Enumbytes = cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
327 e1 = el_bin(OPeq, ty, e1, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
328 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
329 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
330 e1.Eoper = OPstreq;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
331 e1.Enumbytes = cast(uint)v.type.size();
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 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
334 /* Call postblit() on e1
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
335 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
336 StructDeclaration sd = needsPostblit(v.type);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
337 if (sd)
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 FuncDeclaration fd = sd.postblit;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
340 ec = el_copytree(ec);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
341 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
342 e1 = el_bin(OPcomma, ec.Ety, e1, ec);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
343 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
344 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
345 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
346 e = el_combine(e, e1);
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
349
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
350 version (DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
351 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
352 if (sd.isnested)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
353 { // Initialize the hidden 'this' pointer
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
354 assert(sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
355 auto s = sd.fields[sd.fields.dim - 1];
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
356 auto v = s.isThisDeclaration();
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
357 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
358
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
359 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
360 if (tybasic(stmp.Stype.Tty) == TYnptr)
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 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
363 e1.EV.sp.Voffset = soffset;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
364 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
365 else
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 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
368 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
369 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
370 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
371 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
372 e1 = setEthis(loc, irs, e1, sd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
373
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
374 e = el_combine(e, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
375 }
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
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
378 elem* ev = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
379 ev.Enumbytes = sd.structsize;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
380 e = el_combine(e, ev);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
381 el_setLoc(e,loc);
67
f708f0452e81 some of the backend/codegen stuff implemented
korDen
parents: 64
diff changeset
382 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
383 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
384
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
385 override bool checkSideEffect(int flag)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
386 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
387 bool f = 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
388
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
389 foreach (e; elements)
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
390 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
391 if (!e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
392 continue;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
393
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
394 f |= e.checkSideEffect(2);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
395 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
396 if (flag == 0 && f == 0)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
397 Expression.checkSideEffect(0);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
398 return f;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
399 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
400
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
401 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
402 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
403 buf.writestring(sd.toChars());
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
404 buf.writeByte('(');
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
405 argsToCBuffer(buf, elements, hgs);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
406 buf.writeByte(')');
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
407 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
408
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
409 override void toMangleBuffer(OutBuffer buf)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
410 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
411 size_t dim = elements ? elements.dim : 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
412 buf.printf("S%u", dim);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
413 for (size_t i = 0; i < dim; i++)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
414 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 85
diff changeset
415 auto e = elements[i];
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
416 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
417 e.toMangleBuffer(buf);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
418 else
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
419 buf.writeByte('v'); // 'v' for void
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
420 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
421 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
422
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
423 override void scanForNestedRef(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
424 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
425 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
426 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
427
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
428 override Expression optimize(int result)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
429 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
430 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
431 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
432 foreach (size_t i, Expression e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
433 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
434 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
435 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
436 e = e.optimize(WANTvalue | (result & WANTinterpret));
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
437 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
438 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
439 }
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
440 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
441 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
442
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
443 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
444 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
445 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
446 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
447
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
448 override dt_t** toDt(dt_t** pdt)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
449 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
450 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
451 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
452
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
453 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
454 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
455 override int isLvalue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
456 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
457 return 1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
458 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
459 }
0
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 toLvalue(Scope sc, Expression e)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
462 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
463 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
464 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
465
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
466 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
467 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
468 override bool canThrow()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
469 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
470 return arrayExpressionCanThrow(elements);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
471 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
472 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
473
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
474 override MATCH implicitConvTo(Type t)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
475 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
476 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
477 printf("StructLiteralExp.implicitConvTo(this=%.*s, type=%.*s, t=%.*s)\n",
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
478 toChars(), type.toChars(), t.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
479 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
480 MATCH m = Expression.implicitConvTo(t);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
481 if (m != MATCHnomatch)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
482 return m;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
483 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
484 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
485 m = MATCHconst;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
486 foreach(e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
487 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
488 Type te = e.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
489 if (t.mod == 0)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
490 te = te.mutableOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
491 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
492 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
493 assert(t.mod == MODinvariant);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
494 te = te.invariantOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
495 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
496 MATCH m2 = e.implicitConvTo(te);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
497 //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
498 if (m2 < m)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
499 m = m2;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
500 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
501 }
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
502 return m;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
503 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
504
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
505 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
506 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
507 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
508 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
509
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
510 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
511 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
512 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
513 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
514
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
515 override Expression inlineScan(InlineScanState* iss)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
516 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
517 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
518 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
519 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
520