Mercurial > projects > ddmd

annotate dmd/StructLiteralExp.d @ 84:be2ab491772e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Expressions -> Vector!Expression
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Mon, 30 Aug 2010 16:12:19 +0100
parents 43073c7c7769
children 8e69d041a99d
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);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
168 e = cast(Expression)elements.data[i];
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)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
183 z.data[q] = cast(void*) e.copy();
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 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
203 foreach (size_t i, Dsymbol s; sd.fields)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
204 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
205 VarDeclaration v = s.isVarDeclaration();
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
206 assert(v);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
207
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
208 if (offset == v.offset && type.size() == v.type.size())
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
209 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
210 Expression e = cast(Expression)elements.data[i];
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
211 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
212 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
213 return i;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
214 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
215 break;
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 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
219 return -1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
220 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
221
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
222 override elem* toElem(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
223 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
224 elem* e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
225 size_t dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
226
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
227 //printf("StructLiteralExp.toElem() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
228
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
229 // struct symbol to initialize with the literal
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
230 Symbol* stmp = sym ? sym : symbol_genauto(sd.type.toCtype());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
231
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
232 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
233
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
234 if (fillHoles)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
235 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
236 /* Initialize all alignment 'holes' to zero.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
237 * Do before initializing fields, as the hole filling process
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
238 * can spill over into the fields.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
239 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
240 size_t offset = 0;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
241 foreach (VarDeclaration v; sd.fields)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
242 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
243 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
244
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
245 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
246 size_t vend = v.offset + cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
247 if (offset < vend)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
248 offset = vend;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
249 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
250 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
251 }
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 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
254 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
255 dim = elements.dim;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
256 assert(dim <= sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
257 foreach (size_t i, Expression el; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
258 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
259 if (!el)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
260 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
261
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
262 VarDeclaration v = sd.fields[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
263 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
264 assert(!v.isThisDeclaration());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
265
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
266 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
267 if (tybasic(stmp.Stype.Tty) == TYnptr)
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 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
270 e1.EV.sp.Voffset = soffset;
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 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
273 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
274 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
275 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
276 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
277 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
278 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
279 elem* ec = e1; // pointer to destination
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
280
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
281 elem* ep = el.toElem(irs);
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 Type t1b = v.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
284 Type t2b = el.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
285 if (t1b.ty == Tsarray)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
286 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
287 if (t2b.implicitConvTo(t1b))
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 ///version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
290 // Determine if postblit is needed
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
291 int postblit = 0;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
292 if (needsPostblit(t1b))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
293 postblit = 1;
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 if (postblit)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
296 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
297 /* Generate:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
298 * _d_arrayctor(ti, From: ep, To: e1)
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 Expression ti = t1b.nextOf().toBasetype().getTypeInfo(null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
301 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
302 e1 = el_pair(TYdarray, esize, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
303 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
304 ep = el_params(e1, ep, ti.toElem(irs), null);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
305 int rtl = RTLSYM_ARRAYCTOR;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
306 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
307 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
308 else
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 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
311 elem* esize = el_long(TYsize_t, t1b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
312 ep = array_toPtr(el.type, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
313 e1 = el_bin(OPmemcpy, TYnptr, e1, el_param(ep, esize));
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
316 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
317 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
318 elem* edim = el_long(TYsize_t, t1b.size() / t2b.size());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
319 e1 = setArray(e1, edim, t2b, ep, irs, TOKconstruct);
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
322 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
323 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
324 tym_t ty = v.type.totym();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
325 e1 = el_una(OPind, ty, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
326 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
327 e1.Enumbytes = cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
328 e1 = el_bin(OPeq, ty, e1, ep);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
329 if (tybasic(ty) == TYstruct)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
330 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
331 e1.Eoper = OPstreq;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
332 e1.Enumbytes = cast(uint)v.type.size();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
333 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
334 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
335 /* Call postblit() on e1
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
336 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
337 StructDeclaration sd = needsPostblit(v.type);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
338 if (sd)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
339 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
340 FuncDeclaration fd = sd.postblit;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
341 ec = el_copytree(ec);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
342 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
343 e1 = el_bin(OPcomma, ec.Ety, e1, ec);
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
347 e = el_combine(e, e1);
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 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
350
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
351 version (DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
352 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
353 if (sd.isnested)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
354 { // Initialize the hidden 'this' pointer
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
355 assert(sd.fields.dim);
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
356 auto s = sd.fields[sd.fields.dim - 1];
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
357 auto v = s.isThisDeclaration();
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
358 assert(v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
359
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
360 elem* e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
361 if (tybasic(stmp.Stype.Tty) == TYnptr)
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 e1 = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
364 e1.EV.sp.Voffset = soffset;
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 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
367 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
368 e1 = el_ptr(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
369 if (soffset)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
370 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
371 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
372 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
373 e1 = setEthis(loc, irs, e1, sd);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
374
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
375 e = el_combine(e, e1);
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
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
379 elem* ev = el_var(stmp);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
380 ev.Enumbytes = sd.structsize;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
381 e = el_combine(e, ev);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
382 el_setLoc(e,loc);
67
f708f0452e81 some of the backend/codegen stuff implemented
korDen
parents: 64
diff changeset
383 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
384 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
385
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
386 override bool checkSideEffect(int flag)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
387 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
388 bool f = 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
389
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
390 for (size_t i = 0; i < elements.dim; i++)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
391 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
392 Expression e = cast(Expression)elements.data[i];
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
393 if (!e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
394 continue;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
395
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
396 f |= e.checkSideEffect(2);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
397 }
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
398 if (flag == 0 && f == 0)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
399 Expression.checkSideEffect(0);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
400 return f;
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 void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
404 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
405 buf.writestring(sd.toChars());
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
406 buf.writeByte('(');
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
407 argsToCBuffer(buf, elements, hgs);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
408 buf.writeByte(')');
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
409 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
410
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
411 override void toMangleBuffer(OutBuffer buf)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
412 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
413 size_t dim = elements ? elements.dim : 0;
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
414 buf.printf("S%u", dim);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
415 for (size_t i = 0; i < dim; i++)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
416 {
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
417 Expression e = cast(Expression)elements.data[i];
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
418 if (e)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
419 e.toMangleBuffer(buf);
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
420 else
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
421 buf.writeByte('v'); // 'v' for void
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
422 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
423 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
424
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
425 override void scanForNestedRef(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
426 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
427 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
428 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
429
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
430 override Expression optimize(int result)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
431 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
432 if (elements)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
433 {
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
434 foreach (size_t i, Expression e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
435 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
436 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
437 continue;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
438 e = e.optimize(WANTvalue | (result & WANTinterpret));
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
439 elements[i] = e;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
440 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
441 }
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
442 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
443 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
444
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
445 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
446 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
447 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
448 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
449
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
450 override dt_t** toDt(dt_t** pdt)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
451 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
452 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
453 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
454
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
455 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
456 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
457 override int isLvalue()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
458 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
459 return 1;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
460 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
461 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
462
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
463 override Expression toLvalue(Scope sc, Expression e)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
464 {
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
465 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
466 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
467
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
468 version(DMDV2)
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
469 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
470 override bool canThrow()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
471 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
472 return arrayExpressionCanThrow(elements);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
473 }
79
43073c7c7769 updated to 2.035
Trass3r
parents: 72
diff changeset
474 }
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 override MATCH implicitConvTo(Type t)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
477 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
478 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
479 printf("StructLiteralExp.implicitConvTo(this=%.*s, type=%.*s, t=%.*s)\n",
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
480 toChars(), type.toChars(), t.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
481 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
482 MATCH m = Expression.implicitConvTo(t);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
483 if (m != MATCHnomatch)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
484 return m;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
485 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
486 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
487 m = MATCHconst;
84
be2ab491772e Expressions -> Vector!Expression
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 79
diff changeset
488 foreach(e; elements)
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
489 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
490 Type te = e.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
491 if (t.mod == 0)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
492 te = te.mutableOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
493 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
494 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
495 assert(t.mod == MODinvariant);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
496 te = te.invariantOf();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
497 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
498 MATCH m2 = e.implicitConvTo(te);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
499 //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
500 if (m2 < m)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
501 m = m2;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
502 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
503 }
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
504 return m;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
505 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
506
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
507 override int inlineCost(InlineCostState* ics)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
508 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
509 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
510 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
511
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
512 override Expression doInline(InlineDoState ids)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
513 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
514 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
515 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
516
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 67
diff changeset
517 override Expression inlineScan(InlineScanState* iss)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
518 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
519 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
520 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
521 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
522