projects/ddmd: dmd/DeclarationExp.d annotate

annotate dmd/DeclarationExp.d @ 192:eb38fdcb3e62 default tip

updated to compile with dmd2.062

author	korDen
date	Sat, 02 Mar 2013 01:25:52 -0800
parents	b0d41ff5e0df
children

rev	line source
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	1 module dmd.DeclarationExp;
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: 79 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.backend.elem;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	6 import dmd.InterState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	7 import dmd.ExpInitializer;
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;
79 43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	10 import dmd.STC;
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	11 import dmd.Scope;
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	12 import dmd.Util;
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	13 import dmd.InlineCostState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	14 import dmd.IRState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	15 import dmd.InlineDoState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	16 import dmd.HdrGenState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	17 import dmd.TupleDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	18 import dmd.InlineScanState;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	19 import dmd.Dsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	20 import dmd.AttribDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	21 import dmd.VarDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	22 import dmd.Global;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	23 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	24 import dmd.VoidInitializer;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	25 import dmd.GlobalExpressions;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	26 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	27 import dmd.codegen.Util;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 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 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	30
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	31 // Declaration of a symbol
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	32
0 10317f0c89a5 Initial commit korDen parents: diff changeset	33 class DeclarationExp : Expression
10317f0c89a5 Initial commit korDen parents: diff changeset	34 {
187 b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218 Abscissa parents: 178 diff changeset	35 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	36
0 10317f0c89a5 Initial commit korDen parents: diff changeset	37 Dsymbol declaration;
10317f0c89a5 Initial commit korDen parents: diff changeset	38
10317f0c89a5 Initial commit korDen parents: diff changeset	39 this(Loc loc, Dsymbol declaration)
10317f0c89a5 Initial commit korDen parents: diff changeset	40 {
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	41 register();
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	42 super(loc, TOK.TOKdeclaration, DeclarationExp.sizeof);
0 10317f0c89a5 Initial commit korDen parents: diff changeset	43 this.declaration = declaration;
10317f0c89a5 Initial commit korDen parents: diff changeset	44 }
10317f0c89a5 Initial commit korDen parents: diff changeset	45
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	46 override Expression syntaxCopy()
0 10317f0c89a5 Initial commit korDen parents: diff changeset	47 {
10317f0c89a5 Initial commit korDen parents: diff changeset	48 return new DeclarationExp(loc, declaration.syntaxCopy(null));
10317f0c89a5 Initial commit korDen parents: diff changeset	49 }
10317f0c89a5 Initial commit korDen parents: diff changeset	50
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	51 override Expression semantic(Scope sc)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	52 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	53 if (type)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	54 return this;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	55
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	56 version (LOGSEMANTIC) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	57 printf("DeclarationExp.semantic() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	58 }
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 /* This is here to support extern(linkage) declaration,
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	61 * where the extern(linkage) winds up being an AttribDeclaration
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	62 * wrapper.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	63 */
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	64 Dsymbol s = declaration;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	65
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	66 AttribDeclaration ad = declaration.isAttribDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	67 if (ad)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	68 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	69 if (ad.decl && ad.decl.dim == 1)
77 ad4792a1cfd6 more D-ification container accessing Eldar Insafutdinov <e.insafutdinov@gmail.com> parents: 72 diff changeset	70 s = ad.decl[0];
72 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
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	73 if (s.isVarDeclaration())
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	74 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	75 // Do semantic() on initializer first, so:
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	76 // int a = a;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	77 // will be illegal.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	78 declaration.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	79 s.parent = sc.parent;
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
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	82 //printf("inserting '%s' %p into sc = %p\n", s.toChars(), s, sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	83 // Insert into both local scope and function scope.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	84 // Must be unique in both.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	85 if (s.ident)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	86 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	87 if (!sc.insert(s))
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	88 error("declaration %s is already defined", s.toPrettyChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	89 else if (sc.func)
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	90 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	91 VarDeclaration v = s.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	92 if (s.isFuncDeclaration() && !sc.func.localsymtab.insert(s))
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	93 error("declaration %s is already defined in another scope in %s", s.toPrettyChars(), sc.func.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	94 else if (!global.params.useDeprecated)
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	95 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	96 // Disallow shadowing
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	97
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	98 for (Scope scx = sc.enclosing; scx && scx.func is sc.func; scx = scx.enclosing)
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	99 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	100 Dsymbol s2;
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 if (scx.scopesym && scx.scopesym.symtab && (s2 = scx.scopesym.symtab.lookup(s.ident)) !is null && s !is s2)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	103 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	104 error("shadowing declaration %s is deprecated", s.toPrettyChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	105 }
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 }
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 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	110 if (!s.isVarDeclaration())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	111 {
79 43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	112 Scope sc2 = sc;
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	113 if (sc2.stc & (STC.STCpure \| STC.STCnothrow))
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	114 sc2 = sc.push();
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	115 sc2.stc &= ~(STC.STCpure \| STC.STCnothrow);
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	116 declaration.semantic(sc2);
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	117 if (sc2 != sc)
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	118 sc2.pop();
43073c7c7769 updated to 2.035 Trass3r parents: 77 diff changeset	119
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	120 s.parent = sc.parent;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	121 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	122 if (!global.errors)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	123 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	124 declaration.semantic2(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	125 if (!global.errors)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	126 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	127 declaration.semantic3(sc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	128
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	129 if (!global.errors && global.params.useInline)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	130 declaration.inlineScan();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	131 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	132 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	133
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	134 type = Type.tvoid;
0 10317f0c89a5 Initial commit korDen parents: diff changeset	135 return this;
10317f0c89a5 Initial commit korDen parents: diff changeset	136 }
10317f0c89a5 Initial commit korDen parents: diff changeset	137
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	138 override Expression interpret(InterState istate)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	139 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	140 version (LOG) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	141 printf("DeclarationExp.interpret() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	142 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	143 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	144 VarDeclaration v = declaration.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	145 if (v)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	146 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	147 Dsymbol s = v.toAlias();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	148 if (s == v && !v.isStatic() && v.init)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	149 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	150 ExpInitializer ie = v.init.isExpInitializer();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	151 if (ie)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	152 e = ie.exp.interpret(istate);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	153 else if (v.init.isVoidInitializer())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	154 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	155 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	156 ///version (DMDV2) {
135 af1bebfd96a4 dmd 2.038 Eldar Insafutdinov <e.insafutdinov@gmail.com> parents: 130 diff changeset	157 else if (s == v && (v.isConst() \|\| v.isImmutable()) && v.init)
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	158 ///} else {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	159 /// else if (s == v && v.isConst() && v.init)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	160 ///}
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	161 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	162 e = v.init.toExpression();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	163 if (!e)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	164 e = EXP_CANT_INTERPRET;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	165 else if (!e.type)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	166 e.type = v.type;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	167 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	168 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	169 else if (declaration.isAttribDeclaration() \|\|
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	170 declaration.isTemplateMixin() \|\|
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	171 declaration.isTupleDeclaration())
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	172 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	173 // These can be made to work, too lazy now
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	174 error("Declaration %s is not yet implemented in CTFE", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	175
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	176 e = EXP_CANT_INTERPRET;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	177 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	178 else
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	179 { // Others should not contain executable code, so are trivial to evaluate
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	180 e = null;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	181 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	182 version (LOG) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	183 printf("-DeclarationExp.interpret(%.*s): %p\n", toChars(), e);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	184 }
63 cab4c37afb89 A bunch of implementations korDen parents: 0 diff changeset	185 return e;
0 10317f0c89a5 Initial commit korDen parents: diff changeset	186 }
10317f0c89a5 Initial commit korDen parents: diff changeset	187
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	188 override bool checkSideEffect(int flag)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	189 {
10317f0c89a5 Initial commit korDen parents: diff changeset	190 return true;
10317f0c89a5 Initial commit korDen parents: diff changeset	191 }
10317f0c89a5 Initial commit korDen parents: diff changeset	192
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	193 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	194 {
10317f0c89a5 Initial commit korDen parents: diff changeset	195 declaration.toCBuffer(buf, hgs);
10317f0c89a5 Initial commit korDen parents: diff changeset	196 }
10317f0c89a5 Initial commit korDen parents: diff changeset	197
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	198 override elem* toElem(IRState* irs)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	199 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	200 //printf("DeclarationExp::toElem() %s\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	201 elem* e = Dsymbol_toElem(declaration, irs);
0 10317f0c89a5 Initial commit korDen parents: diff changeset	202 return e;
10317f0c89a5 Initial commit korDen parents: diff changeset	203 }
10317f0c89a5 Initial commit korDen parents: diff changeset	204
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	205 override void scanForNestedRef(Scope sc)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	206 {
123 9e39c7de8438 Make dmd test suite compile korDen parents: 114 diff changeset	207 //printf("DeclarationExp.scanForNestedRef() %s\n", toChars());
9e39c7de8438 Make dmd test suite compile korDen parents: 114 diff changeset	208 declaration.parent = sc.parent;
0 10317f0c89a5 Initial commit korDen parents: diff changeset	209 }
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	210
0 10317f0c89a5 Initial commit korDen parents: diff changeset	211 version (DMDV2) {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	212 override bool canThrow()
0 10317f0c89a5 Initial commit korDen parents: diff changeset	213 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	214 VarDeclaration v = declaration.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	215 if (v && v.init)
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	216 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	217 ExpInitializer ie = v.init.isExpInitializer();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	218 return ie && ie.exp.canThrow();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	219 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	220
0 10317f0c89a5 Initial commit korDen parents: diff changeset	221 return false;
10317f0c89a5 Initial commit korDen parents: diff changeset	222 }
10317f0c89a5 Initial commit korDen parents: diff changeset	223 }
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	224 override int inlineCost(InlineCostState* ics)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	225 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	226 int cost = 0;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	227 VarDeclaration vd;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	228
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	229 //printf("DeclarationExp.inlineCost()\n");
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	230 vd = declaration.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	231 if (vd)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	232 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	233 TupleDeclaration td = vd.toAlias().isTupleDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	234 if (td)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	235 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	236 static if (true) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	237 return COST_MAX; // finish DeclarationExp.doInline
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	238 } else {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	239 for (size_t i = 0; i < td.objects.dim; i++)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	240 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	241 Object o = cast(Object)td.objects.data[i];
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	242 Expression eo = cast(Expression)o;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	243 if (eo is null)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	244 return COST_MAX;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	245
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	246 if (eo.op != TOKdsymbol)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	247 return COST_MAX;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	248 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	249
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	250 return td.objects.dim;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	251 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	252 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	253 if (!ics.hdrscan && vd.isDataseg())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	254 return COST_MAX;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	255
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	256 cost += 1;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	257
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	258 // Scan initializer (vd.init)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	259 if (vd.init)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	260 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	261 ExpInitializer ie = vd.init.isExpInitializer();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	262
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	263 if (ie)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	264 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	265 cost += ie.exp.inlineCost(ics);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	266 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	267 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	268 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	269
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	270 // These can contain functions, which when copied, get output twice.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	271 if (declaration.isStructDeclaration() \|\|
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	272 declaration.isClassDeclaration() \|\|
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	273 declaration.isFuncDeclaration() \|\|
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	274 declaration.isTypedefDeclaration() \|\|
130 60bb0fe4563e dmdfe 2.037 first main iteration Eldar Insafutdinov <e.insafutdinov@gmail.com> parents: 123 diff changeset	275 declaration.isAttribDeclaration() \|\|
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	276 declaration.isTemplateMixin()
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	277 )
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	278 return COST_MAX;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	279
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	280 //printf("DeclarationExp.inlineCost('%s')\n", toChars());
0 10317f0c89a5 Initial commit korDen parents: diff changeset	281 return cost;
10317f0c89a5 Initial commit korDen parents: diff changeset	282 }
10317f0c89a5 Initial commit korDen parents: diff changeset	283
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	284 override Expression doInline(InlineDoState ids)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	285 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	286 DeclarationExp de = cast(DeclarationExp)copy();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	287 VarDeclaration vd;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	288
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	289 //printf("DeclarationExp.doInline(%s)\n", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	290 vd = declaration.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	291 if (vd)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	292 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	293 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	294 // Need to figure this out before inlining can work for tuples
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	295 TupleDeclaration td = vd.toAlias().isTupleDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	296 if (td)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	297 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	298 for (size_t i = 0; i < td.objects.dim; i++)
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	299 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	300 DsymbolExp se = cast(DsymbolExp)td.objects.data[i];
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	301 assert(se.op == TOKdsymbol);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	302 se.s;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	303 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	304 return st.objects.dim;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	305 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	306 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	307 if (vd.isStatic())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	308 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	309 ;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	310 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	311 else
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	312 {
178 e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	313 VarDeclaration vto = cloneThis(vd);
e3afd1303184 Many small bugs fixed korDen parents: 135 diff changeset	314
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	315 vto.parent = ids.parent;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	316 vto.csym = null;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	317 vto.isym = null;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	318
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	319 ids.from.push(cast(void*)vd);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	320 ids.to.push(cast(void*)vto);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	321
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	322 if (vd.init)
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	323 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	324 if (vd.init.isVoidInitializer())
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	325 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	326 vto.init = new VoidInitializer(vd.init.loc);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	327 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	328 else
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	329 {
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	330 Expression e = vd.init.toExpression();
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	331 assert(e);
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	332 vto.init = new ExpInitializer(e.loc, e.doInline(ids));
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	333 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	334 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	335 de.declaration = vto;
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	336 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	337 }
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	338 /* This needs work, like DeclarationExp.toElem(), if we are
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	339 * to handle TemplateMixin's. For now, we just don't inline them.
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	340 */
0 10317f0c89a5 Initial commit korDen parents: diff changeset	341 return de;
10317f0c89a5 Initial commit korDen parents: diff changeset	342 }
10317f0c89a5 Initial commit korDen parents: diff changeset	343
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	344 override Expression inlineScan(InlineScanState* iss)
0 10317f0c89a5 Initial commit korDen parents: diff changeset	345 {
72 2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	346 //printf("DeclarationExp.inlineScan()\n");
2e2a5c3f943a reduced warnings by adding override to the methods Trass3r parents: 63 diff changeset	347 scanVar(declaration, iss);
0 10317f0c89a5 Initial commit korDen parents: diff changeset	348 return this;
10317f0c89a5 Initial commit korDen parents: diff changeset	349 }
10317f0c89a5 Initial commit korDen parents: diff changeset	350 }
10317f0c89a5 Initial commit korDen parents: diff changeset	351

Mercurial > projects > ddmd

annotate dmd/DeclarationExp.d @ 192:eb38fdcb3e62 default tip