public override int Compile(FunctionContext context) { context.Position(Token); var stack = 0; var start = context.MakeLabel("doWhileStart"); var cont = context.MakeLabel("doWhileContinue"); var brk = context.MakeLabel("doWhileBreak"); var end = context.MakeLabel("doWhileEnd"); var containsFunction = new LoopContainsFunctionVisitor(); Block.Accept(containsFunction); var loopContext = containsFunction.Value ? new LoopContext(context) : context; // body loopContext.PushScope(); loopContext.PushLoop(cont, containsFunction.Value ? brk : end); stack += loopContext.Bind(start); if (containsFunction.Value) { stack += loopContext.Enter(); } stack += Block.Compile(loopContext); loopContext.PopLoop(); // condition check stack += context.Bind(cont); // continue if (containsFunction.Value) { stack += context.Leave(); } context.Statement(Condition); stack += Condition.Compile(context); stack += context.JumpTrue(start); if (containsFunction.Value) { stack += context.Jump(end); stack += context.Bind(brk); // break (with function) stack += context.Leave(); } stack += context.Bind(end); // break (without function) loopContext.PopScope(); CheckStack(stack, 0); return(stack); }
public override int Compile(FunctionContext context) { context.Position(Token); var stack = 0; var branchLabels = new List <LabelOperand>(Branches.Count); for (var i = 0; i < Branches.Count; i++) { branchLabels.Add(context.MakeLabel("ifBranch_" + i)); } var branchElse = context.MakeLabel("ifElse"); var branchEnd = context.MakeLabel("ifEnd"); context.PushScope(); for (var i = 0; i < Branches.Count; i++) { var branch = Branches[i]; context.Statement(branch.Condition); stack += branch.Condition.Compile(context); stack += context.JumpTrue(branchLabels[i]); } stack += context.Jump(branchElse); for (var i = 0; i < Branches.Count; i++) { var branch = Branches[i]; stack += context.Bind(branchLabels[i]); stack += branch.Block.Compile(context); stack += context.Jump(branchEnd); } stack += context.Bind(branchElse); if (Else != null) { stack += Else.Block.Compile(context); } stack += context.Bind(branchEnd); context.PopScope(); CheckStack(stack, 0); return(0); }
public override int Compile(FunctionContext context) { context.Line(FileName, Line); var start = context.MakeLabel("doWhileStart"); var end = context.MakeLabel("doWhileEnd"); context.Bind(start); context.PushLoop(start, end); CompileCheck(context, Block, 0); context.PopLoop(); CompileCheck(context, Condition, 1); context.JumpTrue(start); context.Bind(end); return 0; }
public override int Compile(FunctionContext context) { context.Line(FileName, Line); var branchLabels = new List<LabelOperand>(Branches.Count); for (var i = 0; i < Branches.Count; i++) { branchLabels.Add(context.MakeLabel("ifBranch_" + i)); } var branchElse = context.MakeLabel("ifElse"); var branchEnd = context.MakeLabel("ifEnd"); for (var i = 0; i < Branches.Count; i++) { var branch = Branches[i]; CompileCheck(context, branch.Condition, 1); context.JumpTrue(branchLabels[i]); } context.Jump(branchElse); for (var i = 0; i < Branches.Count; i++) { var branch = Branches[i]; context.Bind(branchLabels[i]); CompileCheck(context, branch.Block, 0); context.Jump(branchEnd); } context.Bind(branchElse); if (Else != null) CompileCheck(context, Else.Block, 0); context.Bind(branchEnd); return 0; }
public override int Compile(FunctionContext context) { context.Line(FileName, Line); var stack = 0; var start = context.MakeLabel("doWhileStart"); var cont = context.MakeLabel("doWhileContinue"); var end = context.MakeLabel("doWhileEnd"); stack += context.Bind(start); context.PushLoop(cont, end); stack += Block.Compile(context); context.PopLoop(); stack += context.Bind(cont); stack += Condition.Compile(context); stack += context.JumpTrue(start); stack += context.Bind(end); CheckStack(stack, 0); return(stack); }
public override int Compile(FunctionContext context) { context.Position(Token); var stack = 0; var caseLabels = new List <LabelOperand>(Branches.Count); var caseEnd = context.MakeLabel("caseEnd"); LabelOperand caseDefault = null; BlockExpression defaultBlock = null; for (var i = 0; i < Branches.Count; i++) { var label = context.MakeLabel("caseBranch_" + i); caseLabels.Add(label); var conditions = Branches[i].Conditions; if (conditions.Any(c => c == null)) { caseDefault = label; if (conditions.Count == 1) { defaultBlock = Branches[i].Block; } } } var emptyDefault = caseDefault == null; if (emptyDefault) { caseDefault = context.MakeLabel("caseDefault"); } context.PushScope(); context.Statement(Expression); stack += Expression.Compile(context); var flattenedBranches = FlattenBranches(Branches, caseLabels, caseDefault); BuildTables(flattenedBranches, caseDefault, out var tables, out var rest); foreach (var table in tables) { var start = table.Entries[0].Value; var labels = table.Entries.Select(e => e.Label).ToList(); stack += context.Dup(); stack += context.JumpTable(start, labels); } foreach (var entry in rest) { stack += context.Dup(); stack += entry.Condition.Compile(context); stack += context.BinaryOperation(TokenType.EqualTo); stack += context.JumpTrue(entry.Label); } stack += context.Jump(caseDefault); context.PushLoop(null, caseEnd); for (var i = 0; i < Branches.Count; i++) { var branchStack = stack; var branch = Branches[i]; branchStack += context.Bind(caseLabels[i]); branchStack += context.Drop(); branchStack += branch.Block.Compile(context); branchStack += context.Jump(caseEnd); CheckStack(branchStack, 0); } // only bind if we need a default block if (emptyDefault || defaultBlock != null) { stack += context.Bind(caseDefault); } // always drop the switch value stack += context.Drop(); if (defaultBlock != null) { stack += defaultBlock.Compile(context); } context.PopLoop(); stack += context.Bind(caseEnd); context.PopScope(); CheckStack(stack, 0); return(stack); }
public override int Compile(FunctionContext context) { context.Line(FileName, Line); var stack = 0; var caseLabels = new List <LabelOperand>(Branches.Count); for (var i = 0; i < Branches.Count; i++) { caseLabels.Add(context.MakeLabel("caseBranch_" + i)); } var caseDefault = context.MakeLabel("caseDefault"); var caseEnd = context.MakeLabel("caseEnd"); stack += Expression.Compile(context); List <JumpTable> tables; List <JumpEntry> rest; var flattenedBranches = FlattenBranches(Branches, caseLabels); BuildTables(flattenedBranches, caseDefault, out tables, out rest); foreach (var table in tables) { var start = table.Entries[0].Value; var labels = table.Entries.Select(e => e.Label).ToList(); stack += context.Dup(); stack += context.JumpTable(start, labels); } foreach (var entry in rest) { stack += context.Dup(); stack += entry.Condition.Compile(context); stack += context.BinaryOperation(TokenType.EqualTo); stack += context.JumpTrue(entry.Label); } stack += context.Jump(caseDefault); context.PushLoop(null, caseEnd); for (var i = 0; i < Branches.Count; i++) { var branchStack = stack; var branch = Branches[i]; branchStack += context.Bind(caseLabels[i]); branchStack += context.Drop(); branchStack += branch.Block.Compile(context); branchStack += context.Jump(caseEnd); CheckStack(branchStack, 0); } stack += context.Bind(caseDefault); stack += context.Drop(); if (DefaultBlock != null) { stack += DefaultBlock.Compile(context); } context.PopLoop(); stack += context.Bind(caseEnd); CheckStack(stack, 0); return(stack); }
public override int Compile(FunctionContext context) { context.Position(Token); var stack = Initializer?.Compile(context) ?? 1; var global = context.ArgIndex == 0 && context.Compiler.Options.MakeRootDeclarationsGlobal; var hasSlice = false; var headSize = 0; var tailSize = 0; foreach (var index in Indices) { if (index.IsSlice) { if (hasSlice) { throw new InvalidOperationException($"Multiple slices in {nameof(DestructuredArrayExpression)}"); } hasSlice = true; } else if (hasSlice) { tailSize++; } else { headSize++; } } var fixedSize = headSize + tailSize; stack += context.Dup(); stack += context.LoadField(context.String("length")); stack += context.Call(0, new List <ImmediateOperand>()); var inTail = false; var fixedI = 0; for (var i = 0; i < Indices.Count; i++) { var index = Indices[i]; var assign = context.MakeLabel("arrayDestructureAssign"); var destruct = context.MakeLabel("arrayDestructureIndex"); if (index.IsSlice) { inTail = true; } if (i < Indices.Count - 1) { stack += context.Dup2(); // -> init.length(), init } stack += context.Load(context.Number(index.IsSlice ? fixedSize : fixedI)); stack += context.BinaryOperation(TokenType.GreaterThan); stack += context.JumpTrue(destruct); stack += context.Drop(); // drops initializer stack += index.IsSlice ? context.NewArray(0) : context.LoadUndefined(); stack += context.Jump(assign); stack += context.Bind(destruct); if (index.IsSlice) { stack += context.Load(context.Number(fixedI)); stack += context.Load(context.Number(-tailSize - 1)); stack += context.LoadUndefined(); stack += context.Slice(); } else { stack += context.Load(context.Number(inTail ? fixedI - fixedSize : fixedI)); stack += context.LoadArray(); } stack += context.Bind(assign); if (global) { stack += context.LoadGlobal(); stack += context.StoreField(context.String(index.Name)); } else { if (!context.DefineIdentifier(index.Name, IsReadOnly)) { throw new MondCompilerException(this, CompilerError.IdentifierAlreadyDefined, index.Name); } stack += context.Store(context.Identifier(index.Name)); } if (!index.IsSlice) { fixedI++; } } CheckStack(stack, 0); return(-1); }