Mercurial > projects > ddmd
view dmd/XorExp.d @ 99:903b95002d4e
Id and Macro are quite experimental currently
author | Trass3r |
---|---|
date | Tue, 31 Aug 2010 04:04:33 +0200 |
parents | 2e2a5c3f943a |
children | ceda59b4d255 |
line wrap: on
line source
module dmd.XorExp; import dmd.Expression; import dmd.Identifier; import dmd.InterState; import dmd.MATCH; import dmd.Id; import dmd.Type; import dmd.OutBuffer; import dmd.Loc; import dmd.Scope; import dmd.IntRange; import dmd.IRState; import dmd.ArrayTypes; import dmd.BinExp; import dmd.TOK; import dmd.TY; import dmd.backend.elem; import dmd.backend.OPER; import dmd.expression.Util; import dmd.expression.Xor; class XorExp : BinExp { this(Loc loc, Expression e1, Expression e2) { super(loc, TOK.TOKxor, XorExp.sizeof, e1, e2); } override Expression semantic(Scope sc) { Expression e; if (!type) { BinExp.semanticp(sc); e = op_overload(sc); if (e) return e; if (e1.type.toBasetype().ty == Tbool && e2.type.toBasetype().ty == Tbool) { type = e1.type; e = this; } else { typeCombine(sc); if (e1.op != TOKslice && e2.op != TOKslice) { e1.checkIntegral(); e2.checkIntegral(); } } } return this; } override Expression optimize(int result) { Expression e; e1 = e1.optimize(result); e2 = e2.optimize(result); if (e1.isConst() == 1 && e2.isConst() == 1) e = Xor(type, e1, e2); else e = this; return e; } override Expression interpret(InterState istate) { assert(false); } override void buildArrayIdent(OutBuffer buf, Expressions arguments) { Exp_buildArrayIdent(buf, arguments, "Xor"); } override Expression buildArrayLoop(Arguments fparams) { /* Evaluate assign expressions left to right */ Expression ex1 = e1.buildArrayLoop(fparams); Expression ex2 = e2.buildArrayLoop(fparams); Expression e = new XorExp(Loc(0), ex1, ex2); return e; } override MATCH implicitConvTo(Type t) { MATCH result = Expression.implicitConvTo(t); if (result == MATCHnomatch) { MATCH m1 = e1.implicitConvTo(t); MATCH m2 = e2.implicitConvTo(t); // Pick the worst match result = (m1 < m2) ? m1 : m2; } return result; } override IntRange getIntRange() { assert(false); } override bool isCommutative() { return true; } override Identifier opId() { return Id.ixor; } override Identifier opId_r() { return Id.ixor_r; } override elem* toElem(IRState* irs) { return toElemBin(irs,OPxor); } }