public int CompileBody(ByteCode bc, string friendlyName) { string funcName = friendlyName ?? ("<" + this.m_Begin.FormatLocation(bc.Script, true) + ">"); bc.PushSourceRef(m_Begin); Instruction I = bc.Emit_Jump(OpCode.Jump, -1); Instruction meta = bc.Emit_Meta(funcName, OpCodeMetadataType.FunctionEntrypoint); int metaip = bc.GetJumpPointForLastInstruction(); bc.Emit_BeginFn(m_StackFrame); bc.LoopTracker.Loops.Push(new LoopBoundary()); int entryPoint = bc.GetJumpPointForLastInstruction(); if (m_UsesGlobalEnv) { bc.Emit_Load(SymbolRef.Upvalue(WellKnownSymbols.ENV, 0)); bc.Emit_Store(m_Env, 0, 0); bc.Emit_Pop(); } if (m_ParamNames.Length > 0) bc.Emit_Args(m_ParamNames); m_Statement.Compile(bc); bc.PopSourceRef(); bc.PushSourceRef(m_End); bc.Emit_Ret(0); bc.LoopTracker.Loops.Pop(); I.NumVal = bc.GetJumpPointForNextInstruction(); meta.NumVal = bc.GetJumpPointForLastInstruction() - metaip; bc.PopSourceRef(); return entryPoint; }
public override void Compile(ByteCode bc) { //for var_1, ···, var_n in explist do block end bc.PushSourceRef(m_RefFor); Loop L = new Loop() { Scope = m_StackFrame }; bc.LoopTracker.Loops.Push(L); // get iterator tuple m_RValues.Compile(bc); // prepares iterator tuple - stack : iterator-tuple bc.Emit_IterPrep(); // loop start - stack : iterator-tuple int start = bc.GetJumpPointForNextInstruction(); bc.Emit_Enter(m_StackFrame); // expand the tuple - stack : iterator-tuple, f, var, s bc.Emit_ExpTuple(0); // calls f(s, var) - stack : iterator-tuple, iteration result bc.Emit_Call(2, "for..in"); // perform assignment of iteration result- stack : iterator-tuple, iteration result for (int i = 0; i < m_NameExps.Length; i++) m_NameExps[i].CompileAssignment(bc, 0, i); // pops - stack : iterator-tuple bc.Emit_Pop(); // repushes the main iterator var - stack : iterator-tuple, main-iterator-var bc.Emit_Load(m_Names[0]); // updates the iterator tuple - stack : iterator-tuple, main-iterator-var bc.Emit_IterUpd(); // checks head, jumps if nil - stack : iterator-tuple, main-iterator-var var endjump = bc.Emit_Jump(OpCode.JNil, -1); // executes the stuff - stack : iterator-tuple m_Block.Compile(bc); bc.PopSourceRef(); bc.PushSourceRef(m_RefEnd); // loop back again - stack : iterator-tuple bc.Emit_Leave(m_StackFrame); bc.Emit_Jump(OpCode.Jump, start); bc.LoopTracker.Loops.Pop(); int exitpointLoopExit = bc.GetJumpPointForNextInstruction(); bc.Emit_Leave(m_StackFrame); int exitpointBreaks = bc.GetJumpPointForNextInstruction(); bc.Emit_Pop(); foreach (Instruction i in L.BreakJumps) i.NumVal = exitpointBreaks; endjump.NumVal = exitpointLoopExit; bc.PopSourceRef(); }