Mercurial > projects > ddmd
annotate dmd/OrExp.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.OrExp; |
| 2 | |
| 114 | 3 import dmd.common; |
| 72 | 4 import dmd.Expression; |
| 5 import dmd.Identifier; | |
| 6 import dmd.InterState; | |
| 7 import dmd.MATCH; | |
| 8 import dmd.Type; | |
| 9 import dmd.OutBuffer; | |
| 10 import dmd.Loc; | |
| 11 import dmd.Scope; | |
| 12 import dmd.IntRange; | |
| 13 import dmd.IRState; | |
| 14 import dmd.ArrayTypes; | |
| 15 import dmd.BinExp; | |
| 0 | 16 import dmd.TOK; |
| 17 import dmd.TY; | |
| 72 | 18 import dmd.Id; |
| 19 | |
| 0 | 20 import dmd.backend.elem; |
| 21 import dmd.backend.OPER; | |
| 22 | |
| 72 | 23 import dmd.expression.Or; |
| 24 | |
| 0 | 25 class OrExp : BinExp |
| 26 { | |
| 27 this(Loc loc, Expression e1, Expression e2) | |
| 28 { | |
| 178 | 29 register(); |
| 0 | 30 super(loc, TOK.TOKor, OrExp.sizeof, e1, e2); |
| 31 } | |
| 32 | |
| 72 | 33 override Expression semantic(Scope sc) |
| 0 | 34 { |
| 35 Expression e; | |
| 36 | |
| 37 if (!type) | |
| 38 { | |
| 39 BinExp.semanticp(sc); | |
| 40 e = op_overload(sc); | |
| 41 | |
| 42 if (e) | |
| 43 return e; | |
| 44 | |
| 45 if (e1.type.toBasetype().ty == TY.Tbool && e2.type.toBasetype().ty == TY.Tbool) | |
| 46 { | |
| 47 type = e1.type; | |
| 48 e = this; | |
| 49 } | |
| 50 else | |
| 51 { | |
| 52 typeCombine(sc); | |
| 109 | 53 if (!e1.isArrayOperand()) |
| 0 | 54 e1.checkIntegral(); |
| 109 | 55 if (!e2.isArrayOperand()) |
| 0 | 56 e2.checkIntegral(); |
| 57 } | |
| 58 } | |
| 59 | |
| 60 return this; | |
| 61 } | |
| 62 | |
| 72 | 63 override Expression optimize(int result) |
| 0 | 64 { |
| 65 Expression e; | |
| 66 | |
| 67 e1 = e1.optimize(result); | |
| 68 e2 = e2.optimize(result); | |
| 69 | |
| 70 if (e1.isConst() == 1 && e2.isConst() == 1) | |
| 71 e = Or(type, e1, e2); | |
| 72 else | |
| 73 e = this; | |
| 74 | |
| 75 return e; | |
| 76 } | |
| 77 | |
| 72 | 78 override Expression interpret(InterState istate) |
| 0 | 79 { |
|
115
6caaf0256da1
+ interpretation of (non-assign) binary expressions
Trass3r
parents:
114
diff
changeset
|
80 return interpretCommon(istate, &Or); |
| 0 | 81 } |
| 82 | |
| 72 | 83 override void buildArrayIdent(OutBuffer buf, Expressions arguments) |
| 0 | 84 { |
| 123 | 85 Exp_buildArrayIdent(buf, arguments, "Or"); |
| 0 | 86 } |
| 87 | |
|
130
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
123
diff
changeset
|
88 override Expression buildArrayLoop(Parameters fparams) |
| 0 | 89 { |
| 123 | 90 return Exp_buildArrayLoop!(typeof(this))(fparams); |
| 0 | 91 } |
| 92 | |
| 72 | 93 override MATCH implicitConvTo(Type t) |
| 0 | 94 { |
| 95 MATCH result = Expression.implicitConvTo(t); | |
| 96 | |
| 97 if (result == MATCH.MATCHnomatch) | |
| 98 { | |
| 99 MATCH m1 = e1.implicitConvTo(t); | |
| 100 MATCH m2 = e2.implicitConvTo(t); | |
| 101 | |
| 102 // Pick the worst match | |
| 103 result = (m1 < m2) ? m1 : m2; | |
| 104 } | |
| 105 | |
| 106 return result; | |
| 107 } | |
| 108 | |
| 72 | 109 override IntRange getIntRange() |
| 0 | 110 { |
| 72 | 111 IntRange ir; |
| 112 IntRange ir1 = e1.getIntRange(); | |
| 113 IntRange ir2 = e2.getIntRange(); | |
| 114 | |
| 115 ir.imin = ir1.imin; | |
| 116 if (ir2.imin < ir.imin) | |
| 117 ir.imin = ir2.imin; | |
| 118 | |
| 119 ir.imax = ir1.imax; | |
| 120 if (ir2.imax > ir.imax) | |
| 121 ir.imax = ir2.imax; | |
| 122 | |
| 123 ir.imin &= type.sizemask(); | |
| 124 ir.imax &= type.sizemask(); | |
| 125 | |
| 126 //printf("OrExp: imin = x%llx, imax = x%llx\n", ir.imin, ir.imax); | |
| 127 //e1.dump(0); | |
| 128 | |
| 53 | 129 return ir; |
| 0 | 130 } |
| 131 | |
| 72 | 132 override bool isCommutative() |
| 0 | 133 { |
| 134 return true; | |
| 135 } | |
| 136 | |
| 72 | 137 override Identifier opId() |
| 0 | 138 { |
| 139 return Id.ior; | |
| 140 } | |
| 141 | |
| 72 | 142 override Identifier opId_r() |
| 0 | 143 { |
| 144 return Id.ior_r; | |
| 145 } | |
| 146 | |
| 72 | 147 override elem* toElem(IRState* irs) |
| 0 | 148 { |
| 149 return toElemBin(irs, OPER.OPor); | |
| 150 } | |
| 151 } | |
| 152 |