--- gforth/engine/engine.c	1998/04/16 15:34:41	1.3
+++ gforth/engine/engine.c	2000/11/10 10:04:21	1.24
@@ -1,6 +1,6 @@
 /* Gforth virtual machine (aka inner interpreter)
 
-  Copyright (C) 1995 Free Software Foundation, Inc.
+  Copyright (C) 1995,1996,1997,1998,2000 Free Software Foundation, Inc.
 
   This file is part of Gforth.
 
@@ -16,7 +16,7 @@
 
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
-  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
 */
 
 #include "config.h"
@@ -24,23 +24,37 @@
 #include <stdio.h>
 #include <string.h>
 #include <math.h>
+#include <assert.h>
+#include <stdlib.h>
+#include <errno.h>
+#include "forth.h"
+#include "io.h"
+#include "threaded.h"
+#ifndef STANDALONE
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <fcntl.h>
-#include <assert.h>
-#include <stdlib.h>
 #include <time.h>
 #include <sys/time.h>
 #include <unistd.h>
-#include <errno.h>
 #include <pwd.h>
-#include "forth.h"
-#include "io.h"
-#include "threaded.h"
+#include <dirent.h>
+#include <sys/resource.h>
+#ifdef HAVE_FNMATCH_H
+#include <fnmatch.h>
+#else
+#include "fnmatch.h"
+#endif
+#else
+#include "systypes.h"
+#endif
 
 #if defined(HAVE_LIBDL) || defined(HAVE_DLOPEN) /* what else? */
 #include <dlfcn.h>
 #endif
+#if defined(_WIN32)
+#include <windows.h>
+#endif
 #ifdef hpux
 #include <dl.h>
 #endif
@@ -52,11 +66,11 @@
 
 #define IOR(flag)	((flag)? -512-errno : 0)
 
-typedef struct F83Name {
-  struct F83Name	*next;  /* the link field for old hands */
-  char			countetc;
-  Char			name[0];
-} F83Name;
+struct F83Name {
+  struct F83Name *next;  /* the link field for old hands */
+  char		countetc;
+  char		name[0];
+};
 
 /* are macros for setting necessary? */
 #define F83NAME_COUNT(np)	((np)->countetc & 0x1f)
@@ -73,6 +87,12 @@ int emitcounter;
 #endif
 #define NULLC '\0'
 
+#ifdef MEMCMP_AS_SUBROUTINE
+extern int gforth_memcmp(const char * s1, const char * s2, size_t n);
+#define memcmp(s1,s2,n) gforth_memcmp(s1,s2,n)
+#endif
+
+#ifdef HAS_FILE
 char *cstr(Char *from, UCell size, int clear)
 /* return a C-string corresponding to the Forth string ( FROM SIZE ).
    the C-string lives until the next call of cstr with CLEAR being true */
@@ -124,6 +144,8 @@ char *tilde_cstr(Char *from, UCell size,
     UCell i;
     for (i=1; i<size && from[i]!='/'; i++)
       ;
+    if (i==2 && from[1]=='+') /* deal with "~+", i.e., the wd */
+      return cstr(from+3, size<3?0:size-3,clear);
     {
       char user[i];
       memcpy(user,from+1,i-1);
@@ -146,7 +168,20 @@ char *tilde_cstr(Char *from, UCell size,
     return cstr(path,s1_len+s2_len,clear);
   }
 }
-   
+#endif
+
+DCell timeval2us(struct timeval *tvp)
+{
+#ifndef BUGGY_LONG_LONG
+  return (tvp->tv_sec*(DCell)1000000)+tvp->tv_usec;
+#else
+  DCell d2;
+  DCell d1=mmul(tvp->tv_sec,1000000);
+  d2.lo = d1.lo+tvp->tv_usec;
+  d2.hi = d1.hi + (d2.lo<d1.lo);
+  return d2;
+#endif
+}
 
 #define NEWLINE	'\n'
 
@@ -154,7 +189,8 @@ char *tilde_cstr(Char *from, UCell size,
 #define rint(x)	floor((x)+0.5)
 #endif
 
-static char* fileattr[6]={"r","rb","r+","r+b","w","wb"};
+#ifdef HAS_FILE
+static char* fileattr[6]={"rb","rb","r+b","r+b","wb","wb"};
 
 #ifndef O_BINARY
 #define O_BINARY 0
@@ -164,9 +200,10 @@ static char* fileattr[6]={"r","rb","r+",
 #endif
 
 static int ufileattr[6]= {
-  O_RDONLY|O_TEXT, O_RDONLY|O_BINARY,
-  O_RDWR  |O_TEXT, O_RDWR  |O_BINARY,
-  O_WRONLY|O_TEXT, O_WRONLY|O_BINARY };
+  O_RDONLY|O_BINARY, O_RDONLY|O_BINARY,
+  O_RDWR  |O_BINARY, O_RDWR  |O_BINARY,
+  O_WRONLY|O_BINARY, O_WRONLY|O_BINARY };
+#endif
 
 /* if machine.h has not defined explicit registers, define them as implicit */
 #ifndef IPREG
@@ -203,51 +240,66 @@ static int ufileattr[6]= {
 
 /* declare and compute cfa for certain threading variants */
 /* warning: this is nonsyntactical; it will not work in place of a statement */
-#ifdef CFA_NEXT
+#ifndef GETCFA
 #define DOCFA
 #else
 #define DOCFA	Xt cfa; GETCFA(cfa)
 #endif
 
+#ifdef GFORTH_DEBUGGING
+/* define some VM registers as global variables, so they survive exceptions;
+   global register variables are not up to the task (according to the 
+   GNU C manual) */
+Xt *ip;
+Cell *rp;
+#endif
+
 Label *engine(Xt *ip0, Cell *sp0, Cell *rp0, Float *fp0, Address lp0)
 /* executes code at ip, if ip!=NULL
    returns array of machine code labels (for use in a loader), if ip==NULL
 */
 {
-  register Xt *ip IPREG = ip0;
+#ifndef GFORTH_DEBUGGING
+  register Xt *ip IPREG;
+  register Cell *rp RPREG;
+#endif
   register Cell *sp SPREG = sp0;
-  register Cell *rp RPREG = rp0;
   register Float *fp FPREG = fp0;
   register Address lp LPREG = lp0;
 #ifdef CFA_NEXT
   register Xt cfa CFAREG;
 #endif
+#ifdef MORE_VARS
+  MORE_VARS
+#endif
   register Address up UPREG = UP;
-  IF_TOS(register Cell TOS TOSREG;)
-  IF_FTOS(register Float FTOS FTOSREG;)
+  IF_spTOS(register Cell spTOS TOSREG;)
+  IF_fpTOS(register Float fpTOS FTOSREG;)
 #if defined(DOUBLY_INDIRECT)
   static Label *symbols;
   static void *routines[]= {
 #else /* !defined(DOUBLY_INDIRECT) */
   static Label symbols[]= {
 #endif /* !defined(DOUBLY_INDIRECT) */
-    &&docol,
-    &&docon,
-    &&dovar,
-    &&douser,
-    &&dodefer,
-    &&dofield,
-    &&dodoes,
+    (Label)&&docol,
+    (Label)&&docon,
+    (Label)&&dovar,
+    (Label)&&douser,
+    (Label)&&dodefer,
+    (Label)&&dofield,
+    (Label)&&dodoes,
     /* the following entry is normally unused;
        it's there because its index indicates a does-handler */
     CPU_DEP1,
 #include "prim_lab.i"
-    0
+    (Label)0
   };
 #ifdef CPU_DEP2
   CPU_DEP2
 #endif
 
+  ip = ip0;
+  rp = rp0;
 #ifdef DEBUG
   fprintf(stderr,"ip=%x, sp=%x, rp=%x, fp=%x, lp=%x, up=%x\n",
           (unsigned)ip,(unsigned)sp,(unsigned)rp,
@@ -268,19 +320,20 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
       if (i>=MAX_SYMBOLS) {
 	fprintf(stderr,"gforth-ditc: more than %d primitives\n",MAX_SYMBOLS);
 	exit(1);
+      }
+      symbols[i] = &routines[i];
     }
-    symbols[i] = &routines[i];
-  }
 #endif /* defined(DOUBLY_INDIRECT) */
-  return symbols;
-}
+    return symbols;
+  }
 
-  IF_TOS(TOS = sp[0]);
-  IF_FTOS(FTOS = fp[0]);
+  IF_spTOS(spTOS = sp[0]);
+  IF_fpTOS(fpTOS = fp[0]);
 /*  prep_terminal(); */
-  NEXT_P0;
+  SET_IP(ip);
   NEXT;
 
+
 #ifdef CPU_DEP3
   CPU_DEP3
 #endif
@@ -294,22 +347,17 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
 #ifdef CISC_NEXT
     /* this is the simple version */
     *--rp = (Cell)ip;
-    ip = (Xt *)PFA1(cfa);
-    NEXT_P0;
+    SET_IP((Xt *)PFA1(cfa));
     NEXT;
 #else
-    /* this one is important, so we help the compiler optimizing
-       The following version may be better (for scheduling), but probably has
-       problems with code fields employing calls and delay slots
-       */
+    /* this one is important, so we help the compiler optimizing */
     {
       DEF_CA
-      Xt *current_ip = (Xt *)PFA1(cfa);
-      cfa = *current_ip;
-      NEXT1_P1;
-      *--rp = (Cell)ip;
-      ip = current_ip+1;
-      NEXT1_P2;
+      rp[-1] = (Cell)ip;
+      SET_IP((Xt *)PFA1(cfa));
+      NEXT_P1;
+      rp--;
+      NEXT_P2;
     }
 #endif
   }
@@ -321,8 +369,8 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
     fprintf(stderr,"%08lx: con: %08lx\n",(Cell)ip,*(Cell*)PFA1(cfa));
 #endif
 #ifdef USE_TOS
-    *sp-- = TOS;
-    TOS = *(Cell *)PFA1(cfa);
+    *sp-- = spTOS;
+    spTOS = *(Cell *)PFA1(cfa);
 #else
     *--sp = *(Cell *)PFA1(cfa);
 #endif
@@ -337,8 +385,8 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
     fprintf(stderr,"%08lx: var: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
 #endif
 #ifdef USE_TOS
-    *sp-- = TOS;
-    TOS = (Cell)PFA1(cfa);
+    *sp-- = spTOS;
+    spTOS = (Cell)PFA1(cfa);
 #else
     *--sp = (Cell)PFA1(cfa);
 #endif
@@ -353,8 +401,8 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
     fprintf(stderr,"%08lx: user: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
 #endif
 #ifdef USE_TOS
-    *sp-- = TOS;
-    TOS = (Cell)(up+*(Cell*)PFA1(cfa));
+    *sp-- = spTOS;
+    spTOS = (Cell)(up+*(Cell*)PFA1(cfa));
 #else
     *--sp = (Cell)(up+*(Cell*)PFA1(cfa));
 #endif
@@ -377,7 +425,7 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
 #ifdef DEBUG
     fprintf(stderr,"%08lx: field: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
 #endif
-    TOS += *(Cell*)PFA1(cfa); 
+    spTOS += *(Cell*)PFA1(cfa);
   }
   NEXT_P0;
   NEXT;
@@ -410,16 +458,15 @@ Label *engine(Xt *ip0, Cell *sp0, Cell *
 #endif
     *--rp = (Cell)ip;
     /* PFA1 might collide with DOES_CODE1 here, so we use PFA */
-    ip = DOES_CODE1(cfa);
 #ifdef USE_TOS
-    *sp-- = TOS;
-    TOS = (Cell)PFA(cfa);
+    *sp-- = spTOS;
+    spTOS = (Cell)PFA(cfa);
 #else
     *--sp = (Cell)PFA(cfa);
 #endif
-    /*    fprintf(stderr,"TOS = %08lx, IP=%08lx\n", TOS, IP);*/
+    SET_IP(DOES_CODE1(cfa));
+    /*    fprintf(stderr,"TOS = %08lx, IP=%08lx\n", spTOS, IP);*/
   }
-  NEXT_P0;
   NEXT;
 
 #include "prim.i"