/// <summary> /// Create iteration code for an array /// </summary> /// <param name="emitter"></param> public void CompileArray(Emitter.Emitter emitter) { var iterType = Iterable.GetExpressionType(emitter); // make local variables only visible inside the scope emitter.CurrentMethod.Scope.EnterSubScope(); var idxVar = emitter.CurrentMethod.Scope.Introduce("int", emitter.ResolveType("int"), Key == null ? null : Key.Data); var arrVar = emitter.CurrentMethod.Scope.Introduce(iterType, emitter.ResolveType(iterType)); var currType = emitter.GetArrayItemType(iterType); var currVar = emitter.CurrentMethod.Scope.Introduce(currType, emitter.ResolveType(currType), Item.Data); // prelude: arr = ..., idx = -1 Iterable.Compile(emitter); emitter.EmitSaveVariable(arrVar); emitter.EmitLoadInt(-1); emitter.EmitSaveVariable(idxVar); emitter.PlaceLabel(BodyStart); // increment emitter.EmitLoadVariable(idxVar); emitter.EmitLoadInt(1); emitter.EmitAdd(); emitter.EmitSaveVariable(idxVar); // loop exit condition emitter.EmitLoadVariable(idxVar); emitter.EmitLoadVariable(arrVar); emitter.EmitLoadArraySize(); emitter.EmitCompareLess(); emitter.EmitBranchFalse(BodyEnd); // variable: curr = array[idx] emitter.EmitLoadVariable(arrVar); emitter.EmitLoadVariable(idxVar); emitter.EmitLoadIndex(currType); emitter.EmitSaveVariable(currVar); // body var preCurrLoop = emitter.CurrentLoop; emitter.CurrentLoop = this; Body.Compile(emitter); emitter.CurrentLoop = preCurrLoop; emitter.EmitBranch(BodyStart); emitter.PlaceLabel(BodyEnd); emitter.CurrentMethod.Scope.LeaveSubScope(); }
public override void Compile(Emitter.Emitter emitter) { // make sure there is an array var exprType = Expression.GetExpressionType(emitter); if (!exprType.Contains("[]")) Error(Resources.errSplatArrayExpected); // define required variables var type = emitter.GetArrayItemType(exprType); var typeRef = emitter.ResolveType(type); var idx = 0; var tmpVar = emitter.CurrentMethod.Scope.Introduce(exprType, emitter.ResolveType(exprType)); // compile array Expression.Compile(emitter); emitter.EmitSaveVariable(tmpVar); foreach(var curr in Names) { // check for variable redefinition if (emitter.CurrentMethod.Scope.Exists(curr.Data)) Error(String.Format(Resources.errVariableRedefinition, curr.Data), curr); var varDecl = emitter.CurrentMethod.Scope.Introduce(type, emitter.ResolveType(type), curr.Data); var elseLabel = emitter.CreateLabel(); var endLabel = emitter.CreateLabel(); // make sure the array is not a null emitter.EmitLoadNull(); emitter.EmitLoadVariable(tmpVar); emitter.EmitCompareEqual(); emitter.EmitBranchTrue(elseLabel); // make sure there are items in the array emitter.EmitLoadInt(idx); emitter.EmitLoadVariable(tmpVar); emitter.EmitLoadArraySize(); emitter.EmitCompareLess(); emitter.EmitBranchFalse(elseLabel); // retrieve the current value emitter.EmitLoadVariable(tmpVar); emitter.EmitLoadInt(idx); if(type == "complex") { emitter.EmitLoadIndexAddress(typeRef); emitter.EmitLoadObject(typeRef); } else emitter.EmitLoadIndex(type); emitter.EmitBranch(endLabel); // or create a default emitter.PlaceLabel(elseLabel); emitter.EmitLoadDefaultValue(type); // assign the variable emitter.PlaceLabel(endLabel); emitter.EmitSaveVariable(varDecl); idx++; } }
public override void Compile(Emitter.Emitter emitter) { try { Resolve(emitter); } catch (CompilerException ex) { ex.AffixToLexem(Lexem); throw; } switch (Kind) { case IdentifierKind.StaticField: emitter.EmitLoadField(emitter.FindField(OwnerType, Name)); break; case IdentifierKind.Field: if(ExpressionPrefix != null) ExpressionPrefix.Compile(emitter); else emitter.EmitLoadThis(); emitter.EmitLoadField(emitter.FindField(OwnerType, Name)); break; case IdentifierKind.StaticMethod: emitter.EmitCall(emitter.FindMethod(OwnerType, Name)); break; case IdentifierKind.Method: if (ExpressionPrefix != null) ExpressionPrefix.Compile(emitter); else emitter.EmitLoadThis(); emitter.EmitCall(emitter.FindMethod(OwnerType, Name)); break; case IdentifierKind.Variable: emitter.EmitLoadVariable(emitter.CurrentMethod.Scope.Find(Name)); break; case IdentifierKind.Parameter: emitter.EmitLoadParameter(emitter.CurrentMethod.Parameters[Name].Id); break; case IdentifierKind.SizeProperty: ExpressionPrefix.Compile(emitter); emitter.EmitLoadArraySize(); break; } }