public override int Compile(FunctionContext context) { context.Line(FileName, Line); var enumerator = context.DefineInternal("enumerator", true); var stack = 0; var start = context.MakeLabel("foreachStart"); var end = context.MakeLabel("foreachEnd"); // set enumerator stack += Expression.Compile(context); stack += context.LoadField(context.String("getEnumerator")); stack += context.Call(0); stack += context.Store(enumerator); // loop while moveNext returns true stack += context.Bind(start); stack += context.Load(enumerator); stack += context.LoadField(context.String("moveNext")); stack += context.Call(0); stack += context.JumpFalse(end); // loop body context.PushScope(); context.PushLoop(start, end); if (!context.DefineIdentifier(Identifier)) { throw new MondCompilerException(FileName, Line, CompilerError.IdentifierAlreadyDefined, Identifier); } var identifier = context.Identifier(Identifier); stack += context.Load(enumerator); stack += context.LoadField(context.String("current")); stack += context.Store(identifier); stack += Block.Compile(context); stack += context.Jump(start); context.PopLoop(); context.PopScope(); // after loop stack += context.Bind(end); stack += context.Load(enumerator); stack += context.LoadField(context.String("dispose")); stack += context.Call(0); stack += context.Drop(); CheckStack(stack, 0); return(stack); }
public override void CompileBody(FunctionContext context) { var state = context.DefineInternal("state"); var enumerable = context.DefineInternal("enumerable"); var stack = 0; var bodyToken = new Token(Token, TokenType.Fun, null); var body = new SequenceBodyExpression(bodyToken, null, Block, "moveNext", state, enumerable); var seqContext = new SequenceContext(context.Compiler, "moveNext", body, context); var getEnumerator = context.MakeFunction("getEnumerator"); getEnumerator.Function(getEnumerator.FullName); getEnumerator.Bind(getEnumerator.Label); getEnumerator.Enter(); getEnumerator.Load(enumerable); getEnumerator.Return(); var dispose = context.MakeFunction("dispose"); dispose.Function(dispose.FullName); dispose.Bind(dispose.Label); dispose.Enter(); dispose.LoadUndefined(); dispose.Return(); stack += context.Bind(context.Label); stack += context.Enter(); if (OtherArguments != null) { stack += context.VarArgs(Arguments.Count); } stack += context.Load(context.Number(0)); stack += context.Store(state); stack += context.NewObject(); stack += context.Dup(); stack += context.LoadUndefined(); stack += context.Swap(); stack += context.StoreField(context.String("current")); stack += context.Dup(); stack += body.Compile(seqContext); stack += context.Swap(); stack += context.StoreField(context.String("moveNext")); stack += context.Dup(); stack += context.Closure(getEnumerator.Label); stack += context.Swap(); stack += context.StoreField(context.String("getEnumerator")); stack += context.Dup(); stack += context.Closure(dispose.Label); stack += context.Swap(); stack += context.StoreField(context.String("dispose")); stack += context.Store(enumerable); stack += context.Load(enumerable); stack += context.Return(); CheckStack(stack, 0); }
public override int Compile(FunctionContext context) { context.Position(Token); var stack = 0; var start = context.MakeLabel("foreachStart"); var cont = context.MakeLabel("foreachContinue"); var brk = context.MakeLabel("foreachBreak"); var end = context.MakeLabel("foreachEnd"); var containsFunction = new LoopContainsFunctionVisitor(); Block.Accept(containsFunction); var enumerator = context.DefineInternal("enumerator", true); // set enumerator context.Statement(Expression); stack += Expression.Compile(context); stack += context.LoadField(context.String("getEnumerator")); stack += context.Call(0, new List <ImmediateOperand>()); stack += context.Store(enumerator); var loopContext = containsFunction.Value ? new LoopContext(context) : context; // loop body loopContext.PushScope(); loopContext.PushLoop(containsFunction.Value ? cont : start, containsFunction.Value ? brk : end); IdentifierOperand identifier; if (DestructureExpression != null) { identifier = context.DefineInternal(Identifier, true); } else { // create the loop variable outside of the loop context (but inside of its scope!) if (!context.DefineIdentifier(Identifier)) { throw new MondCompilerException(this, CompilerError.IdentifierAlreadyDefined, Identifier); } identifier = context.Identifier(Identifier); } stack += loopContext.Bind(start); // continue (without function) if (containsFunction.Value) { stack += loopContext.Enter(); } // loop while moveNext returns true context.Statement(InToken, InToken); stack += loopContext.Load(enumerator); stack += loopContext.LoadField(context.String("moveNext")); stack += loopContext.Call(0, new List <ImmediateOperand>()); stack += loopContext.JumpFalse(containsFunction.Value ? brk : end); stack += loopContext.Load(enumerator); stack += loopContext.LoadField(context.String("current")); stack += loopContext.Store(identifier); if (DestructureExpression != null) { stack += loopContext.Load(identifier); stack += DestructureExpression.Compile(loopContext); } stack += Block.Compile(loopContext); if (containsFunction.Value) { stack += loopContext.Bind(cont); // continue (with function) stack += loopContext.Leave(); } stack += loopContext.Jump(start); if (containsFunction.Value) { stack += loopContext.Bind(brk); // break (with function) stack += loopContext.Leave(); } loopContext.PopLoop(); loopContext.PopScope(); // after loop stack += context.Bind(end); // break (without function) stack += context.Load(enumerator); stack += context.LoadField(context.String("dispose")); stack += context.Call(0, new List <ImmediateOperand>()); stack += context.Drop(); CheckStack(stack, 0); return(stack); }
public override IdentifierOperand DefineInternal(string name, bool canHaveMultiple = false) { return(_forward.DefineInternal(name, canHaveMultiple)); }