Mercurial > projects > ddmd
annotate dmd/ComExp.d @ 182:b64060ab22df
Now compileable with dmd2.050
author | korDen |
---|---|
date | Sat, 30 Oct 2010 05:05:32 +0400 |
parents | e3afd1303184 |
children | b0d41ff5e0df |
rev | line source |
---|---|
72 | 1 module dmd.ComExp; |
2 | |
114 | 3 import dmd.common; |
72 | 4 import dmd.Expression; |
5 import dmd.Identifier; | |
6 import dmd.backend.elem; | |
7 import dmd.UnaExp; | |
8 import dmd.InterState; | |
9 import dmd.OutBuffer; | |
10 import dmd.Loc; | |
11 import dmd.Scope; | |
12 import dmd.IRState; | |
13 import dmd.ArrayTypes; | |
0 | 14 import dmd.TOK; |
15 import dmd.TY; | |
123 | 16 import dmd.Id; |
0 | 17 |
18 import dmd.backend.Util; | |
19 import dmd.backend.OPER; | |
20 | |
21 import dmd.expression.Util; | |
72 | 22 import dmd.expression.Com; |
23 | |
0 | 24 class ComExp : UnaExp |
25 { | |
26 this(Loc loc, Expression e) | |
27 { | |
178 | 28 register(); |
29 | |
0 | 30 super(loc, TOKtilde, ComExp.sizeof, e); |
31 } | |
32 | |
72 | 33 override Expression semantic(Scope sc) |
0 | 34 { |
35 Expression e; | |
36 | |
37 if (!type) | |
38 { | |
39 UnaExp.semantic(sc); | |
40 e1 = resolveProperties(sc, e1); | |
41 e = op_overload(sc); | |
42 if (e) | |
43 return e; | |
44 | |
45 e1.checkNoBool(); | |
46 if (e1.op != TOKslice) | |
47 e1 = e1.checkIntegral(); | |
48 type = e1.type; | |
49 } | |
50 return this; | |
51 } | |
52 | |
72 | 53 override Expression optimize(int result) |
0 | 54 { |
55 Expression e; | |
56 | |
57 e1 = e1.optimize(result); | |
58 if (e1.isConst() == 1) | |
59 { | |
60 e = Com(type, e1); | |
61 } | |
62 else | |
63 e = this; | |
64 | |
65 return e; | |
66 } | |
67 | |
72 | 68 override Expression interpret(InterState istate) |
0 | 69 { |
70 assert(false); | |
71 } | |
72 | |
72 | 73 override void buildArrayIdent(OutBuffer buf, Expressions arguments) |
0 | 74 { |
123 | 75 e1.buildArrayIdent(buf, arguments); |
76 buf.writestring("Com"); | |
0 | 77 } |
78 | |
130
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
123
diff
changeset
|
79 override Expression buildArrayLoop(Parameters fparams) |
0 | 80 { |
123 | 81 Expression ex1 = e1.buildArrayLoop(fparams); |
82 Expression e = new ComExp(Loc(0), ex1); | |
83 return e; | |
0 | 84 } |
85 | |
72 | 86 override Identifier opId() |
0 | 87 { |
123 | 88 return Id.com; |
0 | 89 } |
90 | |
72 | 91 override elem* toElem(IRState* irs) |
0 | 92 { |
93 elem *e; | |
94 | |
95 elem *e1 = this.e1.toElem(irs); | |
96 tym_t ty = type.totym(); | |
97 if (this.e1.type.toBasetype().ty == Tbool) | |
98 e = el_bin(OPxor, ty, e1, el_long(ty, 1)); | |
99 else | |
100 e = el_una(OPcom,ty,e1); | |
101 el_setLoc(e,loc); | |
102 return e; | |
103 } | |
104 } | |
105 |