--- gforth/engine/engine.c 2002/12/15 17:38:52 1.47
+++ gforth/engine/engine.c 2005/07/31 20:27:41 1.80
@@ -1,6 +1,6 @@
/* Gforth virtual machine (aka inner interpreter)
- Copyright (C) 1995,1996,1997,1998,2000 Free Software Foundation, Inc.
+ Copyright (C) 1995,1996,1997,1998,2000,2003,2004 Free Software Foundation, Inc.
This file is part of Gforth.
@@ -19,7 +19,12 @@
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
*/
-undefine(`symbols')
+#if defined(GFORTH_DEBUGGING) || defined(INDIRECT_THREADED) || defined(DOUBLY_INDIRECT) || defined(VM_PROFILING)
+#define USE_NO_TOS
+#else
+#define USE_TOS
+#endif
+#define USE_NO_FTOS
#include "config.h"
#include "forth.h"
@@ -61,37 +66,24 @@ undefine(`symbols')
#include
#endif
+#ifdef HAS_FFCALL
+#include
+#include
+#endif
+
#ifndef SEEK_SET
/* should be defined in stdio.h, but some systems don't have it */
#define SEEK_SET 0
#endif
-#define IOR(flag) ((flag)? -512-errno : 0)
+#ifndef HAVE_FSEEKO
+#define fseeko fseek
+#endif
-struct F83Name {
- struct F83Name *next; /* the link field for old hands */
- char countetc;
- char name[0];
-};
-
-#define F83NAME_COUNT(np) ((np)->countetc & 0x1f)
-
-struct Longname {
- struct Longname *next; /* the link field for old hands */
- Cell countetc;
- char name[0];
-};
-
-#define LONGNAME_COUNT(np) ((np)->countetc & (((~((UCell)0))<<3)>>3))
-
-Cell *SP;
-Float *FP;
-Address UP=NULL;
-
-#if 0
-/* not used currently */
-int emitcounter;
+#ifndef HAVE_FTELLO
+#define ftello ftell
#endif
+
#define NULLC '\0'
#ifdef MEMCMP_AS_SUBROUTINE
@@ -99,116 +91,8 @@ extern int gforth_memcmp(const char * s1
#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 */
-{
- static struct cstr_buffer {
- char *buffer;
- size_t size;
- } *buffers=NULL;
- static int nbuffers=0;
- static int used=0;
- struct cstr_buffer *b;
-
- if (buffers==NULL)
- buffers=malloc(0);
- if (clear)
- used=0;
- if (used>=nbuffers) {
- buffers=realloc(buffers,sizeof(struct cstr_buffer)*(used+1));
- buffers[used]=(struct cstr_buffer){malloc(0),0};
- nbuffers=used+1;
- }
- b=&buffers[used];
- if (size+1 > b->size) {
- b->buffer = realloc(b->buffer,size+1);
- b->size = size+1;
- }
- memcpy(b->buffer,from,size);
- b->buffer[size]='\0';
- used++;
- return b->buffer;
-}
-
-char *tilde_cstr(Char *from, UCell size, int clear)
-/* like cstr(), but perform tilde expansion on the string */
-{
- char *s1,*s2;
- int s1_len, s2_len;
- struct passwd *getpwnam (), *user_entry;
-
- if (size<1 || from[0]!='~')
- return cstr(from, size, clear);
- if (size<2 || from[1]=='/') {
- s1 = (char *)getenv ("HOME");
- if(s1 == NULL)
- s1 = "";
- s2 = from+1;
- s2_len = size-1;
- } else {
- UCell i;
- for (i=1; ipw_dir;
- s2 = from+i;
- s2_len = size-i;
- }
- s1_len = strlen(s1);
- if (s1_len>1 && s1[s1_len-1]=='/')
- s1_len--;
- {
- char path[s1_len+s2_len];
- memcpy(path,s1,s1_len);
- memcpy(path+s1_len,s2,s2_len);
- 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.lo0; i--) fprintf(stderr, " $%lx",sp[i]); fprintf(stderr, " $%lx\n",spTOS); }
+#else
+# define NAME(string) asm("# "string);
#endif
#ifdef DEBUG
@@ -324,19 +228,42 @@ static Label next_code;
}
#endif
-Xt *primtable(Label symbols[], Cell size)
- /* used in primitive primtable for peephole optimization */
-{
- Xt *xts = (Xt *)malloc(size*sizeof(Xt));
- Cell i;
+#ifdef HAS_FFCALL
+#define SAVE_REGS IF_fpTOS(fp[0]=fpTOS); SP=sp; FP=fp; RP=rp; LP=lp;
+#define REST_REGS sp=SP; fp=FP; rp=RP; lp=LP; IF_fpTOS(fpTOS=fp[0]);
+#endif
- for (i=0; i=MAX_SYMBOLS) {
- fprintf(stderr,"gforth-ditc: more than %d primitives\n",MAX_SYMBOLS);
+ fprintf(stderr,"gforth-ditc: more than %ld primitives\n",(long)MAX_SYMBOLS);
exit(1);
}
xts[i] = symbols[i] = &routines[i];
@@ -423,213 +358,46 @@ define(enginerest,
return symbols;
}
- IF_spTOS(spTOS = sp[0]);
- IF_fpTOS(fpTOS = fp[0]);
-/* prep_terminal(); */
-#ifdef NO_IP
- goto *(*(Label *)ip0);
-#else
- SET_IP(ip);
- SUPER_END; /* count the first block, too */
- NEXT;
-#endif
-
-#ifdef CPU_DEP3
- CPU_DEP3
-#endif
-
- docol:
- {
-#ifdef NO_IP
- *--rp = next_code;
- goto **(Label *)PFA1(cfa);
-#else
-#ifdef DEBUG
- {
- CFA_TO_NAME(cfa);
- fprintf(stderr,"%08lx: col: %08lx %.*s\n",(Cell)ip,(Cell)PFA1(cfa),
- len,name);
- }
-#endif
-#ifdef CISC_NEXT
- /* this is the simple version */
- *--rp = (Cell)ip;
- SET_IP((Xt *)PFA1(cfa));
- SUPER_END;
- NEXT;
-#else
- /* this one is important, so we help the compiler optimizing */
- {
- DEF_CA
- rp[-1] = (Cell)ip;
- SET_IP((Xt *)PFA1(cfa));
- SUPER_END;
- NEXT_P1;
- rp--;
- NEXT_P2;
- }
+#if STACK_CACHE_DEFAULT>0
+ sp += STACK_CACHE_DEFAULT-1;
#endif
-#endif
- }
- docon:
- {
-#ifdef DEBUG
- fprintf(stderr,"%08lx: con: %08lx\n",(Cell)ip,*(Cell*)PFA1(cfa));
-#endif
-#ifdef USE_TOS
- *sp-- = spTOS;
- spTOS = *(Cell *)PFA1(cfa);
-#else
- *--sp = *(Cell *)PFA1(cfa);
-#endif
- }
-#ifdef NO_IP
- goto *next_code;
-#else
- NEXT_P0;
- NEXT;
+#if STACK_CACHE_DEFAULT>0
+ spTOS = sp[0];
#endif
-
- dovar:
- {
-#ifdef DEBUG
- fprintf(stderr,"%08lx: var: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
+#if STACK_CACHE_DEFAULT>1
+ spb = sp[-1];
#endif
-#ifdef USE_TOS
- *sp-- = spTOS;
- spTOS = (Cell)PFA1(cfa);
-#else
- *--sp = (Cell)PFA1(cfa);
+#if STACK_CACHE_DEFAULT>2
+ spc = sp[-2];
#endif
- }
-#ifdef NO_IP
- goto *next_code;
-#else
- NEXT_P0;
- NEXT;
-#endif
-
- douser:
- {
-#ifdef DEBUG
- fprintf(stderr,"%08lx: user: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
+#if STACK_CACHE_DEFAULT>3
+ spd = sp[-3];
#endif
-#ifdef USE_TOS
- *sp-- = spTOS;
- spTOS = (Cell)(up+*(Cell*)PFA1(cfa));
-#else
- *--sp = (Cell)(up+*(Cell*)PFA1(cfa));
+#if STACK_CACHE_DEFAULT>4
+ spe = sp[-4];
#endif
- }
-#ifdef NO_IP
- goto *next_code;
-#else
- NEXT_P0;
- NEXT;
-#endif
-
- dodefer:
- {
-#ifdef DEBUG
- fprintf(stderr,"%08lx: defer: %08lx\n",(Cell)ip,*(Cell*)PFA1(cfa));
-#endif
- SUPER_END;
- EXEC(*(Xt *)PFA1(cfa));
- }
- dofield:
- {
-#ifdef DEBUG
- fprintf(stderr,"%08lx: field: %08lx\n",(Cell)ip,(Cell)PFA1(cfa));
-#endif
- spTOS += *(Cell*)PFA1(cfa);
- }
+ IF_fpTOS(fpTOS = fp[0]);
+/* prep_terminal(); */
#ifdef NO_IP
- goto *next_code;
+ goto *(*(Label *)ip0);
+ before_goto:
+ goto *real_ca;
+ after_goto:;
#else
- NEXT_P0;
- NEXT;
+ SET_IP(ip);
+ SUPER_END; /* count the first block, too */
+ FIRST_NEXT;
#endif
- dodoes:
- /* this assumes the following structure:
- defining-word:
-
- ...
- DOES>
- (possible padding)
- possibly handler: jmp dodoes
- (possible branch delay slot(s))
- Forth code after DOES>
-
- defined word:
-
- cfa: address of or jump to handler OR
- address of or jump to dodoes, address of DOES-code
- pfa:
-
- */
-#ifdef NO_IP
- *--rp = next_code;
- IF_spTOS(spTOS = sp[0]);
- sp--;
- spTOS = (Cell)PFA(cfa);
- goto **(Label *)DOES_CODE1(cfa);
-#else
- {
- /* fprintf(stderr, "Got CFA %08lx at doescode %08lx/%08lx: does: %08lx\n",cfa,(Cell)ip,(Cell)PFA(cfa),(Cell)DOES_CODE1(cfa));*/
-#ifdef DEBUG
- fprintf(stderr,"%08lx/%08lx: does: %08lx\n",(Cell)ip,(Cell)PFA(cfa),(Cell)DOES_CODE1(cfa));
- fflush(stderr);
-#endif
- *--rp = (Cell)ip;
- /* PFA1 might collide with DOES_CODE1 here, so we use PFA */
-#ifdef USE_TOS
- *sp-- = spTOS;
- spTOS = (Cell)PFA(cfa);
-#else
- *--sp = (Cell)PFA(cfa);
-#endif
- SET_IP(DOES_CODE1(cfa));
- SUPER_END;
- /* fprintf(stderr,"TOS = %08lx, IP=%08lx\n", spTOS, IP);*/
- }
- NEXT;
+#ifdef CPU_DEP3
+ CPU_DEP3
#endif
-#ifndef IN_ENGINE2
-#define LABEL(name) I_##name:
-#else
-#define LABEL(name) J_##name: asm(".skip 16"); I_##name:
-#endif
-#define LABEL2(name) K_##name:
-#include "prim.i"
-#undef LABEL
+#include PRIM_I
after_last: return (Label *)0;
/*needed only to get the length of the last primitive */
-}'
-)
-
-#define VARIANT(v) (v)
-#define JUMP(target) goto I_noop
-
-Label *engine enginerest
-
-#ifndef NO_DYNAMIC
-
-#ifdef NO_IP
-#undef VARIANT
-#define VARIANT(v) ((v)^0xffffffff)
-#undef JUMP
-#define JUMP(target) goto K_lit
-Label *engine3 enginerest
-#endif
-#undef VARIANT
-#define VARIANT(v) (v)
-#undef JUMP
-#define JUMP(target) goto I_noop
-#define IN_ENGINE2
-Label *engine2 enginerest
-#endif
+ return (Label *)0;
+}