projects/ddmd: dmd/DivExp.d annotate

annotate dmd/DivExp.d @ 187:b0d41ff5e0df

Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218

author	Abscissa
date	Tue, 07 Jun 2011 23:37:34 -0400
parents	e3afd1303184
children

rev	line source
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	1 module dmd.DivExp;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	2
114 e28b18c23469 added a module dmd.common for commonly used stuff Trass3r parents: 109 diff changeset	3 import dmd.common;
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	4 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	5 import dmd.Identifier;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	6 import dmd.backend.elem;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	7 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	8 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	9 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	10 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	11 import dmd.IntRange;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	12 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	13 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	14 import dmd.BinExp;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	15 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	16 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	17 import dmd.NegExp;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	18 import dmd.TY;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	19 import dmd.Id;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	20
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	21 import dmd.expression.Div;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	22 import dmd.backend.OPER;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	23 import dmd.backend.Util;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	24
187 b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218 Abscissa parents: 178 diff changeset	25 import dmd.DDMDExtensions;
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218 Abscissa parents: 178 diff changeset	26
0 10317f0c89a5 Initial commit korDen parents: diff changeset	27 class DivExp : BinExp
10317f0c89a5 Initial commit korDen parents: diff changeset	28 {
187 b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218 Abscissa parents: 178 diff changeset	29 mixin insertMemberExtension!(typeof(this));
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218 Abscissa parents: 178 diff changeset	30
0 10317f0c89a5 Initial commit korDen parents: diff changeset	31 this(Loc loc, Expression e1, Expression e2)
10317f0c89a5 Initial commit korDen parents: diff changeset	32 {
178 e3afd1303184 Many small bugs fixed korDen parents: 130 diff changeset	33 register();
0 10317f0c89a5 Initial commit korDen parents: diff changeset	34 super(loc, TOK.TOKdiv, DivExp.sizeof, e1, e2);
10317f0c89a5 Initial commit korDen parents: diff changeset	35 }
10317f0c89a5 Initial commit korDen parents: diff changeset	36
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	37 override Expression semantic(Scope sc)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	38 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	39 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	40
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	41 if (type)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	42 return this;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	43
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	44 super.semanticp(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	45 e = op_overload(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	46 if (e)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	47 return e;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	48
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	49 typeCombine(sc);
109 ceda59b4d255 expression.c changes, now only ddoc should be left Trass3r parents: 72 diff changeset	50 if (!e1.isArrayOperand())
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	51 e1.checkArithmetic();
109 ceda59b4d255 expression.c changes, now only ddoc should be left Trass3r parents: 72 diff changeset	52 if (!e2.isArrayOperand())
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	53 e2.checkArithmetic();
109 ceda59b4d255 expression.c changes, now only ddoc should be left Trass3r parents: 72 diff changeset	54
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	55 if (type.isfloating())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	56 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	57 Type t1 = e1.type;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	58 Type t2 = e2.type;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	59
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	60 if (t1.isreal())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	61 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	62 type = t2;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	63 if (t2.isimaginary())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	64 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	65 // x/iv = i(-x/v)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	66 e2.type = t1;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	67 Expression ee = new NegExp(loc, this);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	68 ee = ee.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	69 return e;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	70 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	71 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	72 else if (t2.isreal())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	73 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	74 type = t1;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	75 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	76 else if (t1.isimaginary())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	77 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	78 if (t2.isimaginary()) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	79 switch (t1.ty)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	80 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	81 case TY.Timaginary32: type = Type.tfloat32; break;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	82 case TY.Timaginary64: type = Type.tfloat64; break;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	83 case TY.Timaginary80: type = Type.tfloat80; break;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	84 default: assert(0);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	85 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	86 } else {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	87 type = t2; // t2 is complex
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	88 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	89 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	90 else if (t2.isimaginary())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	91 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	92 type = t1; // t1 is complex
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	93 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	94 }
0 10317f0c89a5 Initial commit korDen parents: diff changeset	95 return this;
10317f0c89a5 Initial commit korDen parents: diff changeset	96 }
10317f0c89a5 Initial commit korDen parents: diff changeset	97
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	98 override Expression optimize(int result)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	99 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	100 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	101
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	102 //printf("DivExp.optimize(%s)\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	103 e1 = e1.optimize(result);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	104 e2 = e2.optimize(result);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	105 if (e1.isConst() == 1 && e2.isConst() == 1)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	106 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	107 e = Div(type, e1, e2);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	108 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	109 else
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	110 e = this;
0 10317f0c89a5 Initial commit korDen parents: diff changeset	111 return e;
10317f0c89a5 Initial commit korDen parents: diff changeset	112 }
10317f0c89a5 Initial commit korDen parents: diff changeset	113
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	114 override Expression interpret(InterState istate)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	115 {
115 6caaf0256da1 + interpretation of (non-assign) binary expressions Trass3r parents: 114 diff changeset	116 return interpretCommon(istate, &Div);
0 10317f0c89a5 Initial commit korDen parents: diff changeset	117 }
10317f0c89a5 Initial commit korDen parents: diff changeset	118
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	119 override void buildArrayIdent(OutBuffer buf, Expressions arguments)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	120 {
12 832f71e6f96c Exp and AssignExp arrayOp implementation added (might be a bit incomplete) korDen parents: 0 diff changeset	121 Exp_buildArrayIdent(buf, arguments, "Div");
0 10317f0c89a5 Initial commit korDen parents: diff changeset	122 }
10317f0c89a5 Initial commit korDen parents: diff changeset	123
130 60bb0fe4563e dmdfe 2.037 first main iteration Eldar Insafutdinov <e.insafutdinov@gmail.com> parents: 123 diff changeset	124 override Expression buildArrayLoop(Parameters fparams)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	125 {
123 9e39c7de8438 Make dmd test suite compile korDen parents: 115 diff changeset	126 return Exp_buildArrayLoop!(typeof(this))(fparams);
0 10317f0c89a5 Initial commit korDen parents: diff changeset	127 }
10317f0c89a5 Initial commit korDen parents: diff changeset	128
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	129 override IntRange getIntRange()
0 10317f0c89a5 Initial commit korDen parents: diff changeset	130 {
10317f0c89a5 Initial commit korDen parents: diff changeset	131 assert(false);
10317f0c89a5 Initial commit korDen parents: diff changeset	132 }
10317f0c89a5 Initial commit korDen parents: diff changeset	133
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	134 override Identifier opId()
0 10317f0c89a5 Initial commit korDen parents: diff changeset	135 {
10317f0c89a5 Initial commit korDen parents: diff changeset	136 return Id.div;
10317f0c89a5 Initial commit korDen parents: diff changeset	137 }
10317f0c89a5 Initial commit korDen parents: diff changeset	138
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	139 override Identifier opId_r()
0 10317f0c89a5 Initial commit korDen parents: diff changeset	140 {
10317f0c89a5 Initial commit korDen parents: diff changeset	141 return Id.div_r;
10317f0c89a5 Initial commit korDen parents: diff changeset	142 }
10317f0c89a5 Initial commit korDen parents: diff changeset	143
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	144 override elem* toElem(IRState* irs)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	145 {
10317f0c89a5 Initial commit korDen parents: diff changeset	146 return toElemBin(irs,OPdiv);
10317f0c89a5 Initial commit korDen parents: diff changeset	147 }
10317f0c89a5 Initial commit korDen parents: diff changeset	148 }
10317f0c89a5 Initial commit korDen parents: diff changeset	149

Mercurial > projects > ddmd

annotate dmd/DivExp.d @ 187:b0d41ff5e0df