Mercurial > projects > ddmd
view dmd/OrExp.d @ 53:a8b50ff7f201
ForeachStatement.syntaxCopy
SliceExp.syntaxCopy
AnonDeclaration.syntaxCopy
SwitchStatement.syntaxCopy
CaseStatement.syntaxCopy
BreakStatement.syntaxCopy
ThrowStatement.syntaxCopy
NewExp.syntaxCopy
DefaultStatement.syntaxCopy
AssertExp.syntaxCopy
ClassDeclaration.syntaxCopy
TypeTypedef.constConv
eval_builtin
ComplexExp.isConst
DVCondition.syntaxCopy
OrExp.getIntRange
AndExp.getIntRange
getMask
IntegerExp.getIntRange
Type.sizemask
CastExp.getIntRange
Expression.getIntRange
author | korDen |
---|---|
date | Sat, 21 Aug 2010 12:15:47 +0400 |
parents | 10317f0c89a5 |
children | cab4c37afb89 |
line wrap: on
line source
module dmd.OrExp; import dmd.Expression; import dmd.Identifier; import dmd.InterState; import dmd.MATCH; 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.Id; import dmd.backend.elem; import dmd.backend.OPER; import dmd.expression.Or; class OrExp : BinExp { this(Loc loc, Expression e1, Expression e2) { super(loc, TOK.TOKor, OrExp.sizeof, e1, e2); } 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; } Expression optimize(int result) { Expression e; e1 = e1.optimize(result); e2 = e2.optimize(result); if (e1.isConst() == 1 && e2.isConst() == 1) e = Or(type, e1, e2); else e = this; return e; } Expression interpret(InterState* istate) { assert(false); } void buildArrayIdent(OutBuffer buf, Expressions arguments) { assert(false); } Expression buildArrayLoop(Arguments fparams) { assert(false); } MATCH implicitConvTo(Type t) { MATCH result = Expression.implicitConvTo(t); if (result == MATCH.MATCHnomatch) { MATCH m1 = e1.implicitConvTo(t); MATCH m2 = e2.implicitConvTo(t); // Pick the worst match result = (m1 < m2) ? m1 : m2; } return result; } 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; ir.imin &= type.sizemask(); ir.imax &= type.sizemask(); //printf("OrExp: imin = x%llx, imax = x%llx\n", ir.imin, ir.imax); //e1.dump(0); return ir; } bool isCommutative() { return true; } Identifier opId() { return Id.ior; } Identifier opId_r() { return Id.ior_r; } elem* toElem(IRState* irs) { return toElemBin(irs, OPER.OPor); } }