Mercurial > projects > ddmd

annotate dmd/ModExp.d @ 109:ceda59b4d255

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
expression.c changes, now only ddoc should be left
author Trass3r
date Tue, 31 Aug 2010 22:08:52 +0200
parents 2e2a5c3f943a
children e28b18c23469
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: 63
diff changeset
1 module dmd.ModExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
2
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
3 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
4 import dmd.Identifier;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
5 import dmd.backend.elem;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
6 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
7 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
8 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
9 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
10 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
11 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
12 import dmd.BinExp;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 import dmd.TOK;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
14 import dmd.Id;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 import dmd.ErrorExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
17 import dmd.expression.Util;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18 import dmd.expression.Mod;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
19 import dmd.backend.RTLSYM;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 import dmd.backend.OPER;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
21 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
22
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 class ModExp : BinExp
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 this(Loc loc, Expression e1, Expression e2)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 super(loc, TOK.TOKmod, ModExp.sizeof, e1, e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
30 override Expression semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32 Expression e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 if (type)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 BinExp.semanticp(sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38 e = op_overload(sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 if (e)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 return e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 typeCombine(sc);
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 72
diff changeset
43 if (!e1.isArrayOperand())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
44 e1.checkArithmetic();
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 72
diff changeset
45 if (!e2.isArrayOperand())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 e2.checkArithmetic();
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 72
diff changeset
47
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 if (type.isfloating())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 type = e1.type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51 if (e2.type.iscomplex())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 error("cannot perform modulo complex arithmetic");
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 return new ErrorExp();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 return this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
60 override Expression optimize(int result)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
62 Expression e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 e1 = e1.optimize(result);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65 e2 = e2.optimize(result);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66 if (e1.isConst() == 1 && e2.isConst() == 1)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 e = Mod(type, e1, e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
69 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
70 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71 e = this;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 return e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
73 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
75 override Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
78 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
80 override void buildArrayIdent(OutBuffer buf, Expressions arguments)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
81 {
12
832f71e6f96c *Exp and *AssignExp arrayOp implementation added (might be a bit incomplete)
korDen
parents: 0
diff changeset
82 Exp_buildArrayIdent(buf, arguments, "Mod");
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
83 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
84
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
85 override Expression buildArrayLoop(Arguments fparams)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
86 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
87 /* Evaluate assign expressions left to right
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
88 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
89 Expression ex1 = e1.buildArrayLoop(fparams);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
90 Expression ex2 = e2.buildArrayLoop(fparams);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
91 Expression e = new ModExp(Loc(0), ex1, ex2);
12
832f71e6f96c *Exp and *AssignExp arrayOp implementation added (might be a bit incomplete)
korDen
parents: 0
diff changeset
92 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
95 override Identifier opId()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
96 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
97 return Id.mod;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
98 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
99
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
100 override Identifier opId_r()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
101 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
102 return Id.mod_r;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
103 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
104
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 63
diff changeset
105 override elem* toElem(IRState* irs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
106 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
107 elem* e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
108 elem* e1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
109 elem* e2;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
110 tym_t tym;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
111
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
112 tym = type.totym();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
113
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
114 e1 = this.e1.toElem(irs);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
115 e2 = this.e2.toElem(irs);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
116
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
117 static if (false) { // Now inlined
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
118 if (this.e1.type.isfloating())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
119 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
120 elem* ep;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
121
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
122 switch (this.e1.type.ty)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
123 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
124 case Tfloat32:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
125 case Timaginary32:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
126 e1 = el_una(OPf_d, TYdouble, e1);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
127 e2 = el_una(OPf_d, TYdouble, e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
128 case Tfloat64:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
129 case Timaginary64:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
130 e1 = el_una(OPd_ld, TYldouble, e1);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
131 e2 = el_una(OPd_ld, TYldouble, e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
132 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
133 case Tfloat80:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
134 case Timaginary80:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
135 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
136 default:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
137 assert(0);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
138 break;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
139 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
140 ep = el_param(e2,e1);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
141 e = el_bin(OPcall,tym,el_var(rtlsym[RTLSYM_MODULO]),ep);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
142 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
143 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
144 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
145 e = el_bin(OPmod,tym,e1,e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
146 el_setLoc(e,loc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
147 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
148 } else {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
149 e = el_bin(OPmod,tym,e1,e2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
150 el_setLoc(e,loc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
151 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
152 return e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
153 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
154 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
155