Mercurial > projects > ddmd
annotate dmd/ShrAssignExp.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 | 206db751bd4c |
| children | b0d41ff5e0df |
| rev | line source |
|---|---|
| 0 | 1 module dmd.ShrAssignExp; |
| 2 | |
| 114 | 3 import dmd.common; |
| 0 | 4 import dmd.BinExp; |
| 5 import dmd.Loc; | |
| 6 import dmd.Expression; | |
| 7 import dmd.Scope; | |
| 8 import dmd.InterState; | |
| 9 import dmd.Identifier; | |
| 10 import dmd.IRState; | |
| 11 import dmd.Id; | |
| 12 import dmd.TOK; | |
| 13 import dmd.Type; | |
|
131
206db751bd4c
dmdfe 2.037 compiles now
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
130
diff
changeset
|
14 import dmd.ArrayLengthExp; |
|
206db751bd4c
dmdfe 2.037 compiles now
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
130
diff
changeset
|
15 import dmd.CastExp; |
| 0 | 16 |
| 17 import dmd.backend.elem; | |
| 18 import dmd.backend.OPER; | |
| 19 | |
| 117 | 20 import dmd.expression.Shr; |
| 0 | 21 import dmd.expression.Util; |
| 22 | |
| 23 class ShrAssignExp : BinExp | |
| 24 { | |
| 25 this(Loc loc, Expression e1, Expression e2) | |
| 26 { | |
| 178 | 27 register(); |
| 0 | 28 super(loc, TOK.TOKshrass, ShrAssignExp.sizeof, e1, e2); |
| 29 } | |
| 30 | |
| 72 | 31 override Expression semantic(Scope sc) |
| 0 | 32 { |
| 33 Expression e; | |
| 34 | |
| 35 BinExp.semantic(sc); | |
| 36 e2 = resolveProperties(sc, e2); | |
| 37 | |
| 38 e = op_overload(sc); | |
| 39 if (e) | |
| 40 return e; | |
| 41 | |
|
130
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
42 if (e1.op == TOK.TOKarraylength) |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
43 { |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
44 e = ArrayLengthExp.rewriteOpAssign(this); |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
45 e = e.semantic(sc); |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
46 return e; |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
47 } |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
48 |
| 0 | 49 e1 = e1.modifiableLvalue(sc, e1); |
| 50 e1.checkScalar(); | |
| 51 e1.checkNoBool(); | |
| 52 type = e1.type; | |
| 53 typeCombine(sc); | |
| 54 e1.checkIntegral(); | |
| 55 e2 = e2.checkIntegral(); | |
| 56 e2 = e2.castTo(sc, Type.tshiftcnt); | |
| 57 | |
| 58 return this; | |
| 59 } | |
| 60 | |
| 72 | 61 override Expression interpret(InterState istate) |
| 0 | 62 { |
| 117 | 63 return interpretAssignCommon(istate, &Shr); |
| 0 | 64 } |
| 65 | |
| 72 | 66 override Identifier opId() /* For operator overloading */ |
| 0 | 67 { |
| 68 return Id.shrass; | |
| 69 } | |
| 70 | |
| 72 | 71 override elem* toElem(IRState* irs) |
| 0 | 72 { |
|
130
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
73 //printf("ShrAssignExp::toElem() %s, %s\n", e1->type->toChars(), e1->toChars()); |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
74 Type t1 = e1.type; |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
75 if (e1.op == TOK.TOKcast) |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
76 { |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
77 // Use the type before it was integrally promoted to int |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
78 auto ce = cast(CastExp)e1; |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
79 t1 = ce.e1.type; |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
80 } |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
81 return toElemBin(irs, t1.isunsigned() ? OPER.OPshrass : OPER.OPashrass); |
|
60bb0fe4563e
dmdfe 2.037 first main iteration
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
117
diff
changeset
|
82 |
| 0 | 83 } |
| 72 | 84 } |