lua

commit 00af2faae71e6388ee61ef18b2c5902a42e9bc27
parent e9ef7ed2d3015ff6083ae51995b153b88837b64d
Author: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date:   Fri, 22 Mar 2002 13:54:09 -0300

first implementation of proper tail call

Diffstat:
M
ldebug.c
 | 
4
+++-
M
lvm.c
 | 
42
+++++++++++++++++++++++++++++-------------

2 files changed, 32 insertions(+), 14 deletions(-)
diff --git a/ldebug.c b/ldebug.c
@@ -1,5 +1,5 @@
 /*
-** $Id: ldebug.c,v 1.102 2002/03/11 12:45:00 roberto Exp roberto $
+** $Id: ldebug.c,v 1.103 2002/03/19 12:45:25 roberto Exp roberto $
 ** Debug Interface
 ** See Copyright Notice in lua.h
 */
@@ -296,6 +296,7 @@ static int checkopenop (const Proto *pt, int pc) {
   Instruction i = pt->code[pc+1];
   switch (GET_OPCODE(i)) {
     case OP_CALL:
+    case OP_TAILCALL:
     case OP_RETURN: {
       check(GETARG_B(i) == 0);
       return 1;
@@ -405,6 +406,7 @@ static Instruction luaG_symbexec (const Proto *pt, int lastpc, int reg) {
         if (reg >= a) last = pc;  /* affect all registers above base */
         break;
       }
+      case OP_TAILCALL:
       case OP_RETURN: {
         b--;  /* b = num. returns */
         if (b > 0) checkreg(pt, a+b-1);
diff --git a/lvm.c b/lvm.c
@@ -1,5 +1,5 @@
 /*
-** $Id: lvm.c,v 1.220 2002/03/19 12:45:25 roberto Exp roberto $
+** $Id: lvm.c,v 1.221 2002/03/20 12:52:32 roberto Exp roberto $
 ** Lua virtual machine
 ** See Copyright Notice in lua.h
 */
@@ -314,7 +314,7 @@ static void powOp (lua_State *L, StkId ra, StkId rb, StkId rc) {
 }
 
 
-#define dojump(pc, i)	((pc) += GETARG_sBc(i))
+#define dojump(pc, i)	((pc) += (i))
 
 /*
 ** Executes current Lua function. Parameters are between [base,top).
@@ -327,13 +327,13 @@ StkId luaV_execute (lua_State *L) {
   const Instruction *pc;
   lua_Hook linehook;
  reinit:
-  base = L->ci->base;
-  cl = &clvalue(base - 1)->l;
-  k = cl->p->k;
   linehook = L->linehook;
   L->ci->pc = &pc;
-  L->ci->pb = &base;
   pc = L->ci->savedpc;
+  L->ci->pb = &base;
+  base = L->ci->base;
+  cl = &clvalue(base - 1)->l;
+  k = cl->p->k;
   /* main loop of interpreter */
   for (;;) {
     const Instruction i = *pc++;
@@ -343,7 +343,8 @@ StkId luaV_execute (lua_State *L) {
     ra = RA(i);
     lua_assert(L->top <= L->stack + L->stacksize && L->top >= L->ci->base);
     lua_assert(L->top == L->ci->top || GET_OPCODE(i) == OP_CALL ||
-         GET_OPCODE(i) == OP_RETURN || GET_OPCODE(i) == OP_SETLISTO);
+         GET_OPCODE(i) == OP_TAILCALL || GET_OPCODE(i) == OP_RETURN ||
+         GET_OPCODE(i) == OP_SETLISTO);
     switch (GET_OPCODE(i)) {
       case OP_MOVE: {
         setobj(ra, RB(i));
@@ -452,7 +453,8 @@ StkId luaV_execute (lua_State *L) {
         break;
       }
       case OP_JMP: {
-        dojump(pc, i);
+        linehook = L->linehook;
+        dojump(pc, GETARG_sBc(i));
         break;
       }
       case OP_TESTEQ: {  /* skip next instruction if test fails */
@@ -513,14 +515,26 @@ StkId luaV_execute (lua_State *L) {
         }
         break;
       }
+      case OP_TAILCALL: {
+        int b = GETARG_B(i);
+        if (L->openupval) luaF_close(L, base);
+        if (b != 0) L->top = ra+b;  /* else previous instruction set top */
+        luaD_poscall(L, LUA_MULTRET, ra);  /* move down function and args. */
+        ra = luaD_precall(L, base-1);
+        if (ra == NULL) goto reinit;  /* it is a Lua function */
+        else if (ra > L->top) return NULL;  /* yield??? */
+        else goto ret;
+      }
       case OP_RETURN: {
-        CallInfo *ci;
         int b;
         if (L->openupval) luaF_close(L, base);
         b = GETARG_B(i);
         if (b != 0) L->top = ra+b-1;
+        lua_assert(L->ci->pc == &pc);
+      }
+      ret: {
+        CallInfo *ci;
         ci = L->ci - 1;
-        lua_assert((ci+1)->pc == &pc);
         if (ci->pc != &pc)  /* previous function was running `here'? */
           return ra;  /* no: return */
         else {  /* yes: continue its execution */
@@ -542,7 +556,7 @@ StkId luaV_execute (lua_State *L) {
         int j = GETARG_sBc(i);
         const TObject *plimit = ra+1;
         const TObject *pstep = ra+2;
-        pc += j;  /* jump back before tests (for error messages) */
+        dojump(pc, j);  /* jump back before tests (for error messages) */
         if (ttype(ra) != LUA_TNUMBER)
           luaD_error(L, "`for' initial value must be a number");
         if (!tonumber(plimit, ra+1))
@@ -552,10 +566,12 @@ StkId luaV_execute (lua_State *L) {
         step = nvalue(pstep);
         index = nvalue(ra) + step;  /* increment index */
         limit = nvalue(plimit);
-        if (step > 0 ? index <= limit : index >= limit)
+        if (step > 0 ? index <= limit : index >= limit) {
           chgnvalue(ra, index);  /* update index */
+          linehook = L->linehook;
+        }
         else
-          pc -= j;  /* undo jump */
+          dojump(pc, -j);  /* undo jump */
         break;
       }
       case OP_TFORLOOP: {