Mercurial > projects > ddmd

annotate dmd/StructLiteralExp.d @ 114:e28b18c23469

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