Mercurial > projects > ddmd
annotate dmd/ModExp.d @ 178:e3afd1303184
Many small bugs fixed
Made all classes derive from TObject to detect memory leaks (functionality is disabled for now)
Began work on overriding backend memory allocations (to avoid memory leaks)
| author | korDen |
|---|---|
| date | Sun, 17 Oct 2010 07:42:00 +0400 |
| parents | 60bb0fe4563e |
| children | b0d41ff5e0df |
| rev | line source |
|---|---|
| 72 | 1 module dmd.ModExp; |
| 2 | |
| 114 | 3 import dmd.common; |
| 72 | 4 import dmd.Expression; |
| 5 import dmd.Identifier; | |
| 6 import dmd.backend.elem; | |
| 7 import dmd.InterState; | |
| 8 import dmd.OutBuffer; | |
| 9 import dmd.Loc; | |
| 10 import dmd.Scope; | |
| 11 import dmd.IRState; | |
| 12 import dmd.ArrayTypes; | |
| 13 import dmd.BinExp; | |
| 0 | 14 import dmd.TOK; |
| 15 import dmd.Id; | |
| 16 import dmd.ErrorExp; | |
| 17 | |
| 18 import dmd.expression.Util; | |
| 19 import dmd.expression.Mod; | |
| 20 import dmd.backend.RTLSYM; | |
| 21 import dmd.backend.OPER; | |
| 72 | 22 import dmd.backend.Util; |
| 23 | |
| 0 | 24 class ModExp : BinExp |
| 25 { | |
| 26 this(Loc loc, Expression e1, Expression e2) | |
| 27 { | |
| 178 | 28 register(); |
| 0 | 29 super(loc, TOK.TOKmod, ModExp.sizeof, e1, e2); |
| 30 } | |
| 31 | |
| 72 | 32 override Expression semantic(Scope sc) |
| 0 | 33 { |
| 34 Expression e; | |
| 35 | |
| 36 if (type) | |
| 37 return this; | |
| 38 | |
| 39 BinExp.semanticp(sc); | |
| 40 e = op_overload(sc); | |
| 41 if (e) | |
| 42 return e; | |
| 43 | |
| 44 typeCombine(sc); | |
| 109 | 45 if (!e1.isArrayOperand()) |
| 0 | 46 e1.checkArithmetic(); |
| 109 | 47 if (!e2.isArrayOperand()) |
| 0 | 48 e2.checkArithmetic(); |
| 109 | 49 |
| 0 | 50 if (type.isfloating()) |
| 51 { | |
| 52 type = e1.type; | |
| 53 if (e2.type.iscomplex()) | |
| 54 { | |
| 55 error("cannot perform modulo complex arithmetic"); | |
| 56 return new ErrorExp(); | |
| 57 } | |
| 58 } | |
| 59 return this; | |
| 60 } | |
| 61 | |
| 72 | 62 override Expression optimize(int result) |
| 0 | 63 { |
| 64 Expression e; | |
| 65 | |
| 66 e1 = e1.optimize(result); | |
| 67 e2 = e2.optimize(result); | |
| 68 if (e1.isConst() == 1 && e2.isConst() == 1) | |
| 69 { | |
| 70 e = Mod(type, e1, e2); | |
| 71 } | |
| 72 else | |
| 73 e = this; | |
| 74 return e; | |
| 75 } | |
| 76 | |
| 72 | 77 override Expression interpret(InterState istate) |
| 0 | 78 { |
|
115
6caaf0256da1
+ interpretation of (non-assign) binary expressions
Trass3r
parents:
114
diff
changeset
|
79 return interpretCommon(istate, &Mod); |
| 0 | 80 } |
| 81 | |
| 72 | 82 override void buildArrayIdent(OutBuffer buf, Expressions arguments) |
| 0 | 83 { |
|
12
832f71e6f96c
*Exp and *AssignExp arrayOp implementation added (might be a bit incomplete)
korDen
parents:
0
diff
changeset
|
84 Exp_buildArrayIdent(buf, arguments, "Mod"); |
| 0 | 85 } |
| 86 | |
|
130
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
123
diff
changeset
|
87 override Expression buildArrayLoop(Parameters fparams) |
| 0 | 88 { |
| 123 | 89 return Exp_buildArrayLoop!(typeof(this))(fparams); |
| 0 | 90 } |
| 91 | |
| 72 | 92 override Identifier opId() |
| 0 | 93 { |
| 94 return Id.mod; | |
| 95 } | |
| 96 | |
| 72 | 97 override Identifier opId_r() |
| 0 | 98 { |
| 99 return Id.mod_r; | |
| 100 } | |
| 101 | |
| 72 | 102 override elem* toElem(IRState* irs) |
| 0 | 103 { |
| 104 elem* e; | |
| 105 elem* e1; | |
| 106 elem* e2; | |
| 107 tym_t tym; | |
| 108 | |
| 109 tym = type.totym(); | |
| 110 | |
| 111 e1 = this.e1.toElem(irs); | |
| 112 e2 = this.e2.toElem(irs); | |
| 113 | |
| 114 static if (false) { // Now inlined | |
| 115 if (this.e1.type.isfloating()) | |
| 116 { | |
| 117 elem* ep; | |
| 118 | |
| 119 switch (this.e1.type.ty) | |
| 120 { | |
| 121 case Tfloat32: | |
| 122 case Timaginary32: | |
| 123 e1 = el_una(OPf_d, TYdouble, e1); | |
| 124 e2 = el_una(OPf_d, TYdouble, e2); | |
| 125 case Tfloat64: | |
| 126 case Timaginary64: | |
| 127 e1 = el_una(OPd_ld, TYldouble, e1); | |
| 128 e2 = el_una(OPd_ld, TYldouble, e2); | |
| 129 break; | |
| 130 case Tfloat80: | |
| 131 case Timaginary80: | |
| 132 break; | |
| 133 default: | |
| 134 assert(0); | |
| 135 break; | |
| 136 } | |
| 137 ep = el_param(e2,e1); | |
| 138 e = el_bin(OPcall,tym,el_var(rtlsym[RTLSYM_MODULO]),ep); | |
| 139 } | |
| 140 else | |
| 141 { | |
| 142 e = el_bin(OPmod,tym,e1,e2); | |
| 143 el_setLoc(e,loc); | |
| 144 } | |
| 145 } else { | |
| 146 e = el_bin(OPmod,tym,e1,e2); | |
| 147 el_setLoc(e,loc); | |
| 148 } | |
| 149 return e; | |
| 150 } | |
| 151 } | |
| 152 |