Mercurial > projects > ddmd
view dmd/CommaExp.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 | fe932c1a9563 |
children | cd48cb899aee |
line wrap: on
line source
module dmd.CommaExp; import dmd.common; import dmd.Loc; import dmd.BinExp; import dmd.IRState; import dmd.Scope; import dmd.IntRange; import dmd.Expression; import dmd.GlobalExpressions; import dmd.MATCH; import dmd.WANT; import dmd.TOK; import dmd.Type; import dmd.InterState; import dmd.backend.elem; import dmd.backend.Util; class CommaExp : BinExp { this(Loc loc, Expression e1, Expression e2) { register(); super(loc, TOK.TOKcomma, CommaExp.sizeof, e1, e2); } override Expression semantic(Scope sc) { if (!type) { BinExp.semanticp(sc); type = e2.type; } return this; } override void checkEscape() { e2.checkEscape(); } override void checkEscapeRef() { e2.checkEscapeRef(); } override IntRange getIntRange() { assert(false); } version (DMDV2) { override int isLvalue() { return e2.isLvalue(); } } override Expression toLvalue(Scope sc, Expression e) { e2 = e2.toLvalue(sc, null); return this; } override Expression modifiableLvalue(Scope sc, Expression e) { e2 = e2.modifiableLvalue(sc, e); return this; } override bool isBool(bool result) { return e2.isBool(result); } override bool checkSideEffect(int flag) { if (flag == 2) return e1.checkSideEffect(2) || e2.checkSideEffect(2); else { // Don't check e1 until we cast(void) the a,b code generation return e2.checkSideEffect(flag); } } override MATCH implicitConvTo(Type t) { return e2.implicitConvTo(t); } override Expression castTo(Scope sc, Type t) { Expression e2c = e2.castTo(sc, t); Expression e; if (e2c != e2) { e = new CommaExp(loc, e1, e2c); e.type = e2c.type; } else { e = this; e.type = e2.type; } return e; } override Expression optimize(int result) { Expression e; //printf("CommaExp.optimize(result = %d) %s\n", result, toChars()); e1 = e1.optimize(result & WANTinterpret); e2 = e2.optimize(result); if (!e1 || e1.op == TOKint64 || e1.op == TOKfloat64 || !e1.checkSideEffect(2)) { e = e2; if (e) e.type = type; } else e = this; //printf("-CommaExp.optimize(result = %d) %s\n", result, e.toChars()); return e; } override Expression interpret(InterState istate) { version (LOG) { printf("CommaExp.interpret() %.*s\n", toChars()); } Expression e = e1.interpret(istate); if (e !is EXP_CANT_INTERPRET) e = e2.interpret(istate); return e; } override elem* toElem(IRState* irs) { assert(e1 && e2); elem* eleft = e1.toElem(irs); elem* eright = e2.toElem(irs); elem* e = el_combine(eleft, eright); if (e) el_setLoc(e, loc); return e; } }