[gforth] / gforth / engine / forth.h  

gforth: gforth/engine/forth.h

Diff for /gforth/engine/forth.h between version 1.56 and 1.108

version 1.56, Sun Sep 14 15:06:29 2003 UTC version 1.108, Mon Apr 5 22:17:56 2010 UTC
Line 1 
Line 1 
 /* common header file  /* common header file
   
   Copyright (C) 1995,1996,1997,1998,2000,2003 Free Software Foundation, Inc.    Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006,2007,2008,2009 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
   Gforth is free software; you can redistribute it and/or    Gforth is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License    modify it under the terms of the GNU General Public License
   as published by the Free Software Foundation; either version 2    as published by the Free Software Foundation, either version 3
   of the License, or (at your option) any later version.    of the License, or (at your option) any later version.
   
   This program is distributed in the hope that it will be useful,    This program is distributed in the hope that it will be useful,
Line 15 
Line 15 
   GNU General Public License for more details.    GNU General Public License for more details.
   
   You should have received a copy of the GNU General Public License    You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software    along with this program; if not, see http://www.gnu.org/licenses/.
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.  
 */  */
   
 #include "config.h"  #include "config.h"
   #include "128bit.h"
 #include <stdio.h>  #include <stdio.h>
 #include <sys/time.h>  #include <sys/time.h>
 #include <unistd.h>  #include <unistd.h>
   #ifndef STANDALONE
   #if defined(HAVE_LIBLTDL)
   #include <ltdl.h>
   #endif
   #endif
   
   #if !defined(FORCE_LL) && !defined(BUGGY_LONG_LONG)
   #define BUGGY_LONG_LONG
   #endif
   
 #if defined(DOUBLY_INDIRECT)||defined(INDIRECT_THREADED)||defined(VM_PROFILING)  #if defined(DOUBLY_INDIRECT)||defined(INDIRECT_THREADED)||defined(VM_PROFILING)
 #define NO_DYNAMIC  #define NO_DYNAMIC
Line 34 
Line 43 
 #  define INDIRECT_THREADED  #  define INDIRECT_THREADED
 #endif  #endif
   
 #if defined(GFORTH_DEBUGGING)  #if defined(GFORTH_DEBUGGING) || defined(INDIRECT_THREADED) || defined(DOUBLY_INDIRECT) || defined(VM_PROFILING)
 #  undef USE_TOS  #  undef USE_TOS
 #  undef USE_FTOS  #  undef USE_FTOS
 #  undef USE_NO_TOS  #  undef USE_NO_TOS
 #  undef USE_NO_FTOS  #  undef USE_NO_FTOS
 #  define USE_NO_TOS  #  define USE_NO_TOS
 #  define USE_NO_FTOS  #  define USE_NO_FTOS
   
   #define PRIM_I "prim.i"
   #define PRIM_LAB_I "prim_lab.i"
   #define PRIM_NAMES_I "prim_names.i"
   #define PRIM_SUPEREND_I "prim_superend.i"
   #define PRIM_NUM_I "prim_num.i"
   #define PRIM_GRP_I "prim_grp.i"
   #define COSTS_I "costs.i"
   #define SUPER2_I "super2.i"
   /* #define PROFILE_I "profile.i" */
   
   #else
   /* gforth-fast or gforth-native */
   #  undef USE_TOS
   #  undef USE_FTOS
   #  undef USE_NO_TOS
   #  undef USE_NO_FTOS
   #  define USE_TOS
   
   #define PRIM_I "prim-fast.i"
   #define PRIM_LAB_I "prim_lab-fast.i"
   #define PRIM_NAMES_I "prim_names-fast.i"
   #define PRIM_SUPEREND_I "prim_superend-fast.i"
   #define PRIM_NUM_I "prim_num-fast.i"
   #define PRIM_GRP_I "prim_grp-fast.i"
   #define COSTS_I "costs-fast.i"
   #define SUPER2_I "super2-fast.i"
   /* profile.c uses profile.i but does not define VM_PROFILING */
   /* #define PROFILE_I "profile-fast.i" */
   
 #endif  #endif
   
   
   
 #include <limits.h>  #include <limits.h>
   
 #if defined(NeXT)  #if defined(NeXT)
Line 57 
Line 98 
 #define DOUSER  3  #define DOUSER  3
 #define DODEFER 4  #define DODEFER 4
 #define DOFIELD 5  #define DOFIELD 5
 #define DODOES  6  #define DOVAL   6
 #define DOESJUMP        7  #define DODOES  7
   #define DOESJUMP        8
   #define DOABICODE       9
   #define DOER_MAX        9
   
 /* the size of the DOESJUMP, which resides between DOES> and the does-code */  /* the size of the DOESJUMP, which resides between DOES> and the does-code */
 #define DOES_HANDLER_SIZE       (2*sizeof(Cell))  #define DOES_HANDLER_SIZE       (2*sizeof(Cell))
   
 #include "machine.h"  #include "machine.h"
   
   /* C interface data types */
   
   typedef WYDE_TYPE Wyde;
   typedef TETRABYTE_TYPE Tetrabyte;
   typedef unsigned WYDE_TYPE UWyde;
   typedef unsigned TETRABYTE_TYPE UTetrabyte;
   
 /* Forth data types */  /* Forth data types */
 /* Cell and UCell must be the same size as a pointer */  /* Cell and UCell must be the same size as a pointer */
 #define CELL_BITS       (sizeof(Cell) * CHAR_BIT)  #define CELL_BITS       (sizeof(Cell) * CHAR_BIT)
   #define CELL_MIN (((Cell)1)<<(sizeof(Cell)*CHAR_BIT-1))
   
   #define HALFCELL_BITS   (CELL_BITS/2)
   #define HALFCELL_MASK   ((~(UCell)0)>>HALFCELL_BITS)
   #define UH(x)           (((UCell)(x))>>HALFCELL_BITS)
   #define LH(x)           ((x)&HALFCELL_MASK)
   #define L2U(x)          (((UCell)(x))<<HALFCELL_BITS)
   #define HIGHBIT(x)      (((UCell)(x))>>(CELL_BITS-1))
   
 #define FLAG(b) (-(b))  #define FLAG(b) (-(b))
 #define FILEIO(error)   (FLAG(error) & -37)  #define FILEIO(error)   (FLAG(error) & -37)
 #define FILEEXIST(error)        (FLAG(error) & -38)  #define FILEEXIST(error)        (FLAG(error) & -38)
Line 75 
Line 135 
 #define F_TRUE (FLAG(0==0))  #define F_TRUE (FLAG(0==0))
 #define F_FALSE (FLAG(0!=0))  #define F_FALSE (FLAG(0!=0))
   
 #ifdef BUGGY_LONG_LONG  /* define this false if you want native division */
   #ifdef FORCE_CDIV
   #define FLOORED_DIV 0
   #else
   #define FLOORED_DIV ((1%-3)>0)
   #endif
   
   #if defined(BUGGY_LONG_LONG)
   
   #define BUGGY_LL_CMP    /* compares not possible */
   #define BUGGY_LL_MUL    /* multiplication not possible */
   #define BUGGY_LL_DIV    /* division not possible */
   #define BUGGY_LL_ADD    /* addition not possible */
   #define BUGGY_LL_SHIFT  /* shift not possible */
   #define BUGGY_LL_D2F    /* to float not possible */
   #define BUGGY_LL_F2D    /* from float not possible */
   #define BUGGY_LL_SIZE   /* long long "too short", so we use something else */
   
 typedef struct {  typedef struct {
   Cell hi;    Cell hi;
   UCell lo;    UCell lo;
Line 86 
Line 163 
   UCell lo;    UCell lo;
 } UDCell;  } UDCell;
   
   #define DHI(x) (x).hi
   #define DLO(x) (x).lo
   #define DHI_IS(x,y) (x).hi=(y)
   #define DLO_IS(x,y) (x).lo=(y)
   
   #define UD2D(ud)        ({UDCell _ud=(ud); (DCell){_ud.hi,_ud.lo};})
   #define D2UD(d)         ({DCell _d1=(d); (UDCell){_d1.hi,_d1.lo};})
   
   /* shifts by less than CELL_BITS */
   #define DLSHIFT(d,u) ({DCell _d=(d); UCell _u=(u); \
                          ((_u==0) ? \
                           _d : \
                           (DCell){(_d.hi<<_u)|(_d.lo>>(CELL_BITS-_u)), \
                                    _d.lo<<_u});})
   
   #define UDLSHIFT(ud,u) D2UD(DLSHIFT(UD2D(ud),u))
   
 #if SMALL_OFF_T  #if SMALL_OFF_T
 #define OFF2UD(o) ({UDCell _ud; _ud.hi=0; _ud.lo=(Cell)(o); _ud;})  #define OFF2UD(o) ({UDCell _ud; _ud.hi=0; _ud.lo=(Cell)(o); _ud;})
 #define UD2OFF(ud) ((ud).lo)  #define UD2OFF(ud) ((ud).lo)
Line 99 
Line 193 
   
 /* DCell and UDCell must be twice as large as Cell */  /* DCell and UDCell must be twice as large as Cell */
 typedef DOUBLE_CELL_TYPE DCell;  typedef DOUBLE_CELL_TYPE DCell;
 typedef unsigned DOUBLE_CELL_TYPE UDCell;  typedef DOUBLE_UCELL_TYPE UDCell;
   
   #define DHI(x) ({ Double_Store _d; _d.d=(x); _d.cells.high; })
   #define DLO(x) ({ Double_Store _d; _d.d=(x); _d.cells.low;  })
   
   /* beware with the assignment: x is referenced twice! */
   #define DHI_IS(x,y) ({ Double_Store _d; _d.d=(x); _d.cells.high=(y); (x)=_d.d; })
   #define DLO_IS(x,y) ({ Double_Store _d; _d.d=(x); _d.cells.low =(y); (x)=_d.d; })
   
   #define UD2D(ud)        ((DCell)(ud))
   #define D2UD(d)         ((UDCell)(d))
 #define OFF2UD(o)       ((UDCell)(o))  #define OFF2UD(o)       ((UDCell)(o))
 #define UD2OFF(ud)      ((off_t)(ud))  #define UD2OFF(ud)      ((off_t)(ud))
 #define DZERO           ((DCell)0)  #define DZERO           ((DCell)0)
   /* shifts by less than CELL_BITS */
   #define DLSHIFT(d,u)  ((d)<<(u))
   #define UDLSHIFT(d,u)  ((d)<<(u))
   
 #endif /* ! defined(BUGGY_LONG_LONG) */  #endif /* ! defined(BUGGY_LONG_LONG) */
   
Line 179 
Line 285 
 #define NO_DYNAMIC_DEFAULT 1  #define NO_DYNAMIC_DEFAULT 1
 #endif  #endif
   
 #ifdef USE_TOS  #if defined(GFORTH_DEBUGGING) || defined(INDIRECT_THREADED) || defined(DOUBLY_INDIRECT) || defined(VM_PROFILING)
 #define IF_spTOS(x) x  #define STACK_CACHE_DEFAULT 0
 #else  #else
 #define IF_spTOS(x)  #define STACK_CACHE_DEFAULT STACK_CACHE_DEFAULT_FAST
 #define spTOS (sp[0])  
 #endif  #endif
   
 #ifdef USE_FTOS  #ifdef USE_FTOS
Line 218 
Line 323 
 } ImageHeader;  } ImageHeader;
 /* the image-header is created in main.fs */  /* the image-header is created in main.fs */
   
   #ifdef HAS_F83HEADERSTRING
   struct F83Name {
     struct F83Name *next;  /* the link field for old hands */
     char          countetc;
     char          name[0];
   };
   
   #define F83NAME_COUNT(np)       ((np)->countetc & 0x1f)
   #endif
 struct Longname {  struct Longname {
   struct Longname *next;  /* the link field for old hands */    struct Longname *next;  /* the link field for old hands */
   Cell          countetc;    Cell          countetc;
   char          name[0];    char          name[0];
 };  };
   
 #define LONGNAME_COUNT(np)      ((np)->countetc & (((~((UCell)0))<<3)>>3))  #define LONGNAME_COUNT(np)      ((np)->countetc & (((~((UCell)0))<<4)>>4))
   
 struct Cellpair {  struct Cellpair {
   Cell n1;    Cell n1;
Line 240 
Line 354 
   
 #define IOR(flag)       ((flag)? -512-errno : 0)  #define IOR(flag)       ((flag)? -512-errno : 0)
   
 Label *engine(Xt *ip, Cell *sp, Cell *rp, Float *fp, Address lp);  #ifdef GFORTH_DEBUGGING
 Label *engine2(Xt *ip, Cell *sp, Cell *rp, Float *fp, Address lp);  #if defined(GLOBALS_NONRELOC)
 Label *engine3(Xt *ip, Cell *sp, Cell *rp, Float *fp, Address lp);  /* if globals cause non-relocatable primitives, keep saved_ip and rp
      in a structure and access it through locals */
   typedef struct saved_regs {
     Xt *sr_saved_ip;
     Cell *sr_rp;
   } saved_regs;
   extern saved_regs saved_regs_v, *saved_regs_p;
   #define saved_ip (saved_regs_p->sr_saved_ip)
   #define rp       (saved_regs_p->sr_rp)
   /* for use in gforth_engine header */
   #error sr_proto not passed in fflib.fs callbacks (solution: disable GLOBALS_NONRELOC)
   #define sr_proto , struct saved_regs *saved_regs_p0
   #define sr_call  , saved_regs_p
   #else /* !defined(GLOBALS_NONRELOC) */
   extern Xt *saved_ip;
   extern Cell *rp;
   #define sr_proto
   #define sr_call
   #endif /* !defined(GLOBALS_NONRELOC) */
   #else /* !defined(GFORTH_DEBUGGING) */
   #define sr_proto
   #define sr_call
   #endif /* !defined(GFORTH_DEBUGGING) */
   
   Label *gforth_engine(Xt *ip, Cell *sp, Cell *rp0, Float *fp, Address lp sr_proto);
   Label *gforth_engine2(Xt *ip, Cell *sp, Cell *rp0, Float *fp, Address lp sr_proto);
   Label *gforth_engine3(Xt *ip, Cell *sp, Cell *rp0, Float *fp, Address lp sr_proto);
   
 /* engine/prim support routines */  /* engine/prim support routines */
 Address my_alloc(Cell size);  Address gforth_alloc(Cell size);
 char *cstr(Char *from, UCell size, int clear);  char *cstr(Char *from, UCell size, int clear);
 char *tilde_cstr(Char *from, UCell size, int clear);  char *tilde_cstr(Char *from, UCell size, int clear);
   Cell opencreate_file(char *s, Cell wfam, int flags, Cell *wiorp);
 DCell timeval2us(struct timeval *tvp);  DCell timeval2us(struct timeval *tvp);
 void cmove(Char *c_from, Char *c_to, UCell u);  void cmove(Char *c_from, Char *c_to, UCell u);
 void cmove_up(Char *c_from, Char *c_to, UCell u);  void cmove_up(Char *c_from, Char *c_to, UCell u);
Line 258 
Line 399 
 UCell hashkey1(Char *c_addr, UCell u, UCell ubits);  UCell hashkey1(Char *c_addr, UCell u, UCell ubits);
 struct Cellpair parse_white(Char *c_addr1, UCell u1);  struct Cellpair parse_white(Char *c_addr1, UCell u1);
 Cell rename_file(Char *c_addr1, UCell u1, Char *c_addr2, UCell u2);  Cell rename_file(Char *c_addr1, UCell u1, Char *c_addr2, UCell u2);
 struct Cellquad read_line(Char *c_addr, UCell u1, Cell wfileid);  struct Cellquad read_line(Char *c_addr, UCell u1, FILE *wfileid);
 struct Cellpair file_status(Char *c_addr, UCell u);  struct Cellpair file_status(Char *c_addr, UCell u);
 Cell to_float(Char *c_addr, UCell u, Float *rp);  Cell to_float(Char *c_addr, UCell u, Float *r_p);
 Float v_star(Float *f_addr1, Cell nstride1, Float *f_addr2, Cell nstride2, UCell ucount);  Float v_star(Float *f_addr1, Cell nstride1, Float *f_addr2, Cell nstride2, UCell ucount);
 void faxpy(Float ra, Float *f_x, Cell nstridex, Float *f_y, Cell nstridey, UCell ucount);  void faxpy(Float ra, Float *f_x, Cell nstridex, Float *f_y, Cell nstridey, UCell ucount);
   UCell lshift(UCell u1, UCell n);
   UCell rshift(UCell u1, UCell n);
   int gforth_system(Char *c_addr, UCell u);
   void gforth_ms(UCell u);
   UCell gforth_dlopen(Char *c_addr, UCell u);
   Cell capscompare(Char *c_addr1, UCell u1, Char *c_addr2, UCell u2);
   int gf_ungetc(int c, FILE *stream);
   void gf_regetc(FILE *stream);
   int gf_ungottenc(FILE *stream);
   
 /* signal handler stuff */  /* signal handler stuff */
 void install_signal_handlers(void);  void install_signal_handlers(void);
   void throw(int code);
   /* throw codes */
   #define BALL_DIVZERO     -10
   #define BALL_RESULTRANGE -11
   
 typedef void Sigfunc(int);  typedef void Sigfunc(int);
 Sigfunc *bsd_signal(int signo, Sigfunc *func);  Sigfunc *bsd_signal(int signo, Sigfunc *func);
   
Line 290 
Line 445 
   
 extern int offset_image;  extern int offset_image;
 extern int die_on_signal;  extern int die_on_signal;
   extern int ignore_async_signals;
 extern UCell pagesize;  extern UCell pagesize;
 extern ImageHeader *gforth_header;  extern ImageHeader *gforth_header;
 extern Label *vm_prims;  extern Label *vm_prims;
Line 302 
Line 458 
 # define debug 0  # define debug 0
 #endif  #endif
   
 extern Cell *SP;  extern Cell *gforth_SP;
 extern Float *FP;  extern Cell *gforth_RP;
 extern Address UP;  extern Address gforth_LP;
   extern Float *gforth_FP;
 #ifdef HAS_FFCALL  extern Address gforth_UP;
 extern Cell *RP;  #ifndef HAS_LINKBACK
 extern Address LP;  extern void * gforth_pointers[];
 extern void engine_callback(Xt* fcall, void * alist);  
 #endif  #endif
   
 #ifdef GFORTH_DEBUGGING  #ifdef HAS_FFCALL
 extern Xt *saved_ip;  extern Cell *gforth_RP;
 extern Cell *rp;  extern Address gforth_LP;
   extern void gforth_callback(Xt* fcall, void * alist);
 #endif  #endif
   
 #ifdef NO_IP  #ifdef NO_IP
Line 357 
Line 513 
 extern unsigned long int strtoul(const char *nptr, char **endptr, int base);  extern unsigned long int strtoul(const char *nptr, char **endptr, int base);
 #endif  #endif
   
   
 #define GROUP(x, n)  #define GROUP(x, n)
 #define GROUPADD(n)  #define GROUPADD(n)

Generate output suitable for use with a patch program
Legend:
Removed from v.1.56  
changed lines
  Added in v.1.108
CVS Admin

Powered by ViewCVS 1.0-dev 		(Powered by ViewCVS)

ViewCVS and CVS Help