|
0
|
1 module dmd.CatExp;
|
|
|
2
|
|
|
3 import dmd.Expression;
|
|
|
4 import dmd.Identifier;
|
|
|
5 import dmd.InterState;
|
|
|
6 import dmd.Loc;
|
|
|
7 import dmd.Scope;
|
|
|
8 import dmd.IRState;
|
|
|
9 import dmd.BinExp;
|
|
|
10 import dmd.TOK;
|
|
|
11 import dmd.Type;
|
|
|
12 import dmd.TY;
|
|
|
13 import dmd.MATCH;
|
|
|
14 import dmd.ArrayLiteralExp;
|
|
|
15 import dmd.StringExp;
|
|
|
16 import dmd.WANT;
|
|
|
17 import dmd.Id;
|
|
|
18 import dmd.GlobalExpressions;
|
|
|
19
|
|
|
20 import dmd.backend.elem;
|
|
|
21 import dmd.backend.Util;
|
|
|
22 import dmd.backend.TYM;
|
|
|
23 import dmd.backend.OPER;
|
|
|
24 import dmd.backend.RTLSYM;
|
|
|
25 import dmd.codegen.Util;
|
|
|
26 import dmd.expression.Cat;
|
|
|
27
|
|
|
28 class CatExp : BinExp
|
|
|
29 {
|
|
|
30 this(Loc loc, Expression e1, Expression e2)
|
|
|
31 {
|
|
|
32 super(loc, TOK.TOKcat, CatExp.sizeof, e1, e2);
|
|
|
33 }
|
|
|
34
|
|
|
35 Expression semantic(Scope sc)
|
|
|
36 {
|
|
|
37 Expression e;
|
|
|
38
|
|
|
39 //printf("CatExp.semantic() %s\n", toChars());
|
|
|
40 if (!type)
|
|
|
41 {
|
|
|
42 BinExp.semanticp(sc);
|
|
|
43 e = op_overload(sc);
|
|
|
44 if (e)
|
|
|
45 return e;
|
|
|
46
|
|
|
47 Type tb1 = e1.type.toBasetype();
|
|
|
48 Type tb2 = e2.type.toBasetype();
|
|
|
49
|
|
|
50
|
|
|
51 /* BUG: Should handle things like:
|
|
|
52 * char c;
|
|
|
53 * c ~ ' '
|
|
|
54 * ' ' ~ c;
|
|
|
55 */
|
|
|
56
|
|
|
57 static if (false) {
|
|
|
58 e1.type.print();
|
|
|
59 e2.type.print();
|
|
|
60 }
|
|
|
61 if ((tb1.ty == Tsarray || tb1.ty == Tarray) &&
|
|
|
62 e2.type.implicitConvTo(tb1.nextOf()) >= MATCHconst)
|
|
|
63 {
|
|
|
64 type = tb1.nextOf().arrayOf();
|
|
|
65 if (tb2.ty == Tarray)
|
|
|
66 {
|
|
|
67 // Make e2 into [e2]
|
|
|
68 e2 = new ArrayLiteralExp(e2.loc, e2);
|
|
|
69 e2.type = type;
|
|
|
70 }
|
|
|
71 return this;
|
|
|
72 }
|
|
|
73 else if ((tb2.ty == Tsarray || tb2.ty == Tarray) &&
|
|
|
74 e1.type.implicitConvTo(tb2.nextOf()) >= MATCHconst)
|
|
|
75 {
|
|
|
76 type = tb2.nextOf().arrayOf();
|
|
|
77 if (tb1.ty == Tarray)
|
|
|
78 {
|
|
|
79 // Make e1 into [e1]
|
|
|
80 e1 = new ArrayLiteralExp(e1.loc, e1);
|
|
|
81 e1.type = type;
|
|
|
82 }
|
|
|
83 return this;
|
|
|
84 }
|
|
|
85
|
|
|
86 if ((tb1.ty == Tsarray || tb1.ty == Tarray) &&
|
|
|
87 (tb2.ty == Tsarray || tb2.ty == Tarray) &&
|
|
|
88 (tb1.nextOf().mod || tb2.nextOf().mod) &&
|
|
|
89 (tb1.nextOf().mod != tb2.nextOf().mod)
|
|
|
90 )
|
|
|
91 {
|
|
|
92 Type t1 = tb1.nextOf().mutableOf().constOf().arrayOf();
|
|
|
93 Type t2 = tb2.nextOf().mutableOf().constOf().arrayOf();
|
|
|
94 if (e1.op == TOKstring && !(cast(StringExp)e1).committed)
|
|
|
95 e1.type = t1;
|
|
|
96 else
|
|
|
97 e1 = e1.castTo(sc, t1);
|
|
|
98 if (e2.op == TOKstring && !(cast(StringExp)e2).committed)
|
|
|
99 e2.type = t2;
|
|
|
100 else
|
|
|
101 e2 = e2.castTo(sc, t2);
|
|
|
102 }
|
|
|
103
|
|
|
104 typeCombine(sc);
|
|
|
105 type = type.toHeadMutable();
|
|
|
106
|
|
|
107 Type tb = type.toBasetype();
|
|
|
108 if (tb.ty == Tsarray)
|
|
|
109 type = tb.nextOf().arrayOf();
|
|
|
110 if (type.ty == Tarray && tb1.nextOf() && tb2.nextOf() &&
|
|
|
111 tb1.nextOf().mod != tb2.nextOf().mod)
|
|
|
112 {
|
|
|
113 type = type.nextOf().toHeadMutable().arrayOf();
|
|
|
114 }
|
|
|
115 static if (false) {
|
|
|
116 e1.type.print();
|
|
|
117 e2.type.print();
|
|
|
118 type.print();
|
|
|
119 print();
|
|
|
120 }
|
|
|
121 Type t1 = e1.type.toBasetype();
|
|
|
122 Type t2 = e2.type.toBasetype();
|
|
|
123 if (e1.op == TOKstring && e2.op == TOKstring)
|
|
|
124 e = optimize(WANTvalue);
|
|
|
125 else if ((t1.ty == Tarray || t1.ty == Tsarray) &&
|
|
|
126 (t2.ty == Tarray || t2.ty == Tsarray))
|
|
|
127 {
|
|
|
128 e = this;
|
|
|
129 }
|
|
|
130 else
|
|
|
131 {
|
|
|
132 //printf("(%s) ~ (%s)\n", e1.toChars(), e2.toChars());
|
|
|
133 error("Can only concatenate arrays, not (%s ~ %s)",
|
|
|
134 e1.type.toChars(), e2.type.toChars());
|
|
|
135 type = Type.tint32;
|
|
|
136 e = this;
|
|
|
137 }
|
|
|
138 e.type = e.type.semantic(loc, sc);
|
|
|
139 return e;
|
|
|
140 }
|
|
|
141 return this;
|
|
|
142 }
|
|
|
143
|
|
|
144 Expression optimize(int result)
|
|
|
145 {
|
|
|
146 //printf("CatExp::optimize(%d) %s\n", result, toChars());
|
|
|
147 e1 = e1.optimize(result);
|
|
|
148 e2 = e2.optimize(result);
|
|
|
149 Expression e = Cat(type, e1, e2);
|
|
|
150 if (e is EXP_CANT_INTERPRET)
|
|
|
151 e = this;
|
|
|
152
|
|
|
153 return e;
|
|
|
154 }
|
|
|
155
|
|
63
|
156 Expression interpret(InterState istate)
|
|
0
|
157 {
|
|
63
|
158 Expression e;
|
|
|
159 Expression e1;
|
|
|
160 Expression e2;
|
|
|
161
|
|
|
162 version (LOG) {
|
|
|
163 printf("CatExp.interpret() %.*s\n", toChars());
|
|
|
164 }
|
|
|
165 e1 = this.e1.interpret(istate);
|
|
|
166 if (e1 is EXP_CANT_INTERPRET)
|
|
|
167 {
|
|
|
168 goto Lcant;
|
|
|
169 }
|
|
|
170 e2 = this.e2.interpret(istate);
|
|
|
171 if (e2 is EXP_CANT_INTERPRET)
|
|
|
172 goto Lcant;
|
|
|
173 return Cat(type, e1, e2);
|
|
|
174
|
|
|
175 Lcant:
|
|
|
176 version (LOG) {
|
|
|
177 printf("CatExp.interpret() %.*s CANT\n", toChars());
|
|
|
178 }
|
|
|
179 return EXP_CANT_INTERPRET;
|
|
0
|
180 }
|
|
|
181
|
|
|
182 Identifier opId()
|
|
|
183 {
|
|
|
184 return Id.cat;
|
|
|
185 }
|
|
|
186
|
|
|
187 Identifier opId_r()
|
|
|
188 {
|
|
|
189 return Id.cat_r;
|
|
|
190 }
|
|
|
191
|
|
|
192 elem* toElem(IRState* irs)
|
|
|
193 {
|
|
|
194 elem *e;
|
|
|
195
|
|
|
196 static if (false) {
|
|
|
197 printf("CatExp::toElem()\n");
|
|
|
198 print();
|
|
|
199 }
|
|
|
200
|
|
|
201 Type tb1 = e1.type.toBasetype();
|
|
|
202 Type tb2 = e2.type.toBasetype();
|
|
|
203 Type tn;
|
|
|
204
|
|
|
205 ///static if (false) {
|
|
|
206 /// if ((tb1.ty == Tarray || tb1.ty == Tsarray) &&
|
|
|
207 /// (tb2.ty == Tarray || tb2.ty == Tsarray)
|
|
|
208 /// )
|
|
|
209 ///}
|
|
|
210
|
|
|
211 Type ta = tb1.nextOf() ? e1.type : e2.type;
|
|
|
212 tn = tb1.nextOf() ? tb1.nextOf() : tb2.nextOf();
|
|
|
213 {
|
|
|
214 if (e1.op == TOKcat)
|
|
|
215 {
|
|
|
216 elem* ep;
|
|
|
217 CatExp ce = this;
|
|
|
218 int n = 2;
|
|
|
219
|
|
|
220 ep = eval_Darray(irs, ce.e2);
|
|
|
221 do
|
|
|
222 {
|
|
|
223 n++;
|
|
|
224 ce = cast(CatExp)ce.e1;
|
|
|
225 ep = el_param(ep, eval_Darray(irs, ce.e2));
|
|
|
226 } while (ce.e1.op == TOKcat);
|
|
|
227
|
|
|
228 ep = el_param(ep, eval_Darray(irs, ce.e1));
|
|
|
229 static if (true) {
|
|
|
230 ep = el_params(
|
|
|
231 ep,
|
|
|
232 el_long(TYint, n),
|
|
|
233 ta.getTypeInfo(null).toElem(irs),
|
|
|
234 null);
|
|
|
235 e = el_bin(OPcall, TYdarray, el_var(rtlsym[RTLSYM_ARRAYCATNT]), ep);
|
|
|
236 } else {
|
|
|
237 ep = el_params(
|
|
|
238 ep,
|
|
|
239 el_long(TYint, n),
|
|
|
240 el_long(TYint, tn.size()),
|
|
|
241 null);
|
|
|
242 e = el_bin(OPcall, TYdarray, el_var(rtlsym[RTLSYM_ARRAYCATN]), ep);
|
|
|
243 }
|
|
|
244 }
|
|
|
245 else
|
|
|
246 {
|
|
|
247 elem *e1;
|
|
|
248 elem *e2;
|
|
|
249 elem *ep;
|
|
|
250
|
|
|
251 e1 = eval_Darray(irs, this.e1);
|
|
|
252 e2 = eval_Darray(irs, this.e2);
|
|
|
253 static if (true) {
|
|
|
254 ep = el_params(e2, e1, ta.getTypeInfo(null).toElem(irs), null);
|
|
|
255 e = el_bin(OPcall, TYdarray, el_var(rtlsym[RTLSYM_ARRAYCATT]), ep);
|
|
|
256 } else {
|
|
|
257 ep = el_params(el_long(TYint, tn.size()), e2, e1, null);
|
|
|
258 e = el_bin(OPcall, TYdarray, el_var(rtlsym[RTLSYM_ARRAYCAT]), ep);
|
|
|
259 }
|
|
|
260 }
|
|
|
261 el_setLoc(e,loc);
|
|
|
262 }
|
|
|
263 /// static if (false) {
|
|
|
264 /// else if ((tb1.ty == Tarray || tb1.ty == Tsarray) &&
|
|
|
265 /// e2.type.equals(tb1.next))
|
|
|
266 /// {
|
|
|
267 /// error("array cat with element not implemented");
|
|
|
268 /// e = el_long(TYint, 0);
|
|
|
269 /// }
|
|
|
270 /// else
|
|
|
271 /// assert(0);
|
|
|
272 /// }
|
|
|
273 return e;
|
|
|
274 }
|
|
|
275 }
|
|
|
276
|
