Mercurial > projects > ddmd
view dmd/AndExp.d @ 79:43073c7c7769
updated to 2.035
also implemented a few missing functions
still crashes in Import.importAll though
author | Trass3r |
---|---|
date | Mon, 30 Aug 2010 03:57:51 +0200 |
parents | 2e2a5c3f943a |
children | ceda59b4d255 |
line wrap: on
line source
module dmd.AndExp; import dmd.Expression; import dmd.Identifier; import dmd.InterState; import dmd.OutBuffer; import dmd.Loc; import dmd.Scope; import dmd.IntRange; import dmd.IRState; import dmd.BinExp; import dmd.TOK; import dmd.ArrayTypes; import dmd.TY; import dmd.Type; import dmd.Id; import dmd.Global; import dmd.backend.elem; import dmd.backend.Util; import dmd.backend.OPER; import dmd.expression.Util; import dmd.expression.And; class AndExp : BinExp { this(Loc loc, Expression e1, Expression e2) { super(loc, TOK.TOKand, AndExp.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 == TY.Tbool && e2.type.toBasetype().ty == TY.Tbool) { type = e1.type; e = this; } else { typeCombine(sc); if (e1.op != TOK.TOKslice && e2.op != TOK.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 = And(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, "And"); } override Expression buildArrayLoop(Arguments fparams) { /* Evaluate assign expressions left to right */ Expression ex1 = e1.buildArrayLoop(fparams); Expression ex2 = e2.buildArrayLoop(fparams); Expression e = new AndExp(Loc(0), ex1, ex2); return e; } override IntRange getIntRange() { IntRange ir; IntRange ir1 = e1.getIntRange(); IntRange ir2 = e2.getIntRange(); ir.imin = ir1.imin; if (ir2.imin < ir.imin) ir.imin = ir2.imin; ir.imax = ir1.imax; if (ir2.imax > ir.imax) ir.imax = ir2.imax; ulong u; u = getMask(ir1.imax); ir.imin &= u; ir.imax &= u; u = getMask(ir2.imax); ir.imin &= u; ir.imax &= u; ir.imin &= type.sizemask(); ir.imax &= type.sizemask(); //printf("AndExp: imin = x%llx, imax = x%llx\n", ir.imin, ir.imax); //e1.dump(0); return ir; } override bool isCommutative() { return true; } override Identifier opId() { return Id.iand; } override Identifier opId_r() { return Id.iand_r; } override elem* toElem(IRState* irs) { return toElemBin(irs, OPER.OPand); } }