Diff for /gforth/engine/forth.h between versions 1.83 and 1.133

version 1.83, 2007/05/09 07:12:59 version 1.133, 2012/12/31 15:25:19
Line 1 Line 1
 /* common header file  /* common header file
   
   Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006 Free Software Foundation, Inc.    Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012 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 59 Line 68
 #  undef USE_NO_TOS  #  undef USE_NO_TOS
 #  undef USE_NO_FTOS  #  undef USE_NO_FTOS
 #  define USE_TOS  #  define USE_TOS
 #  define USE_NO_FTOS  
   
 #define PRIM_I "prim-fast.i"  #define PRIM_I "prim-fast.i"
 #define PRIM_LAB_I "prim_lab-fast.i"  #define PRIM_LAB_I "prim_lab-fast.i"
Line 90 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 DOABICODE       8
 /* the size of the DOESJUMP, which resides between DOES> and the does-code */  #define DOSEMIABICODE   9
 #define DOES_HANDLER_SIZE       (2*sizeof(Cell))  #define DOER_MAX        9
   
 #include "machine.h"  #include "machine.h"
   
Line 102 Line 110
   
 typedef WYDE_TYPE Wyde;  typedef WYDE_TYPE Wyde;
 typedef TETRABYTE_TYPE Tetrabyte;  typedef TETRABYTE_TYPE Tetrabyte;
   typedef OCTABYTE_TYPE Octabyte;
 typedef unsigned WYDE_TYPE UWyde;  typedef unsigned WYDE_TYPE UWyde;
 typedef unsigned TETRABYTE_TYPE UTetrabyte;  typedef unsigned TETRABYTE_TYPE UTetrabyte;
   typedef unsigned OCTABYTE_TYPE UOctabyte;
   
 /* 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 */
Line 131  typedef unsigned TETRABYTE_TYPE UTetraby Line 141  typedef unsigned TETRABYTE_TYPE UTetraby
 #define FLOORED_DIV ((1%-3)>0)  #define FLOORED_DIV ((1%-3)>0)
 #endif  #endif
   
 #ifdef BUGGY_LONG_LONG  #if defined(BUGGY_LONG_LONG)
   
 #define BUGGY_LL_CMP    /* compares not possible */  #define BUGGY_LL_CMP    /* compares not possible */
 #define BUGGY_LL_MUL    /* multiplication not possible */  #define BUGGY_LL_MUL    /* multiplication not possible */
Line 161  typedef struct { Line 171  typedef struct {
 #define D2UD(d)         ({DCell _d1=(d); (UDCell){_d1.hi,_d1.lo};})  #define D2UD(d)         ({DCell _d1=(d); (UDCell){_d1.hi,_d1.lo};})
   
 /* shifts by less than CELL_BITS */  /* shifts by less than CELL_BITS */
 #define DLSHIFT(d,u)  ({DCell _d=(d); UCell _u=(u); \  #define DLSHIFT(d,u) ({DCell _d=(d); UCell _u=(u); \
                        (DCell){(_d.hi<<_u)|(_d.lo>>(CELL_BITS-_u)),_d.lo<<_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))  #define UDLSHIFT(ud,u) D2UD(DLSHIFT(UD2D(ud),u))
   
 #if SMALL_OFF_T  #if SMALL_OFF_T
Line 174  typedef struct { Line 188  typedef struct {
 #endif /* !SMALL_OFF_T */  #endif /* !SMALL_OFF_T */
 #define DZERO           ((DCell){0,0})  #define DZERO           ((DCell){0,0})
   
 #else /* ! defined(BUGGY_LONG_LONG) */  #else /* !defined(BUGGY_LONG_LONG) */
   
 /* 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 DOUBLE_UCELL_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)
Line 187  typedef DOUBLE_UCELL_TYPE UDCell; Line 210  typedef DOUBLE_UCELL_TYPE UDCell;
 #define DLSHIFT(d,u)  ((d)<<(u))  #define DLSHIFT(d,u)  ((d)<<(u))
 #define UDLSHIFT(d,u)  ((d)<<(u))  #define UDLSHIFT(d,u)  ((d)<<(u))
   
 #endif /* ! defined(BUGGY_LONG_LONG) */  #endif /* !defined(BUGGY_LONG_LONG) */
   
 typedef union {  typedef union {
   struct {    struct {
Line 203  typedef union { Line 226  typedef union {
   UDCell ud;    UDCell ud;
 } Double_Store;  } Double_Store;
   
 #ifndef BUGGY_LONG_LONG  
 #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))  
 #endif  
   
 #define FETCH_DCELL_T(d_,lo,hi,t_)      ({ \  #define FETCH_DCELL_T(d_,lo,hi,t_)      ({ \
                                      Double_Store _d; \                                       Double_Store _d; \
                                      _d.cells.low = (lo); \                                       _d.cells.low = (lo); \
Line 258  typedef Label *Xt; Line 269  typedef Label *Xt;
    ca is the code address */     ca is the code address */
 #define MAKE_CF(cfa,ca) ((*(Label *)(cfa)) = ((Label)ca))  #define MAKE_CF(cfa,ca) ((*(Label *)(cfa)) = ((Label)ca))
 /* make a code field for a defining-word-defined word */  /* make a code field for a defining-word-defined word */
 #define MAKE_DOES_CF(cfa,does_code)  ({MAKE_CF(cfa,DOES_CA);    \  
                                        ((Cell *)cfa)[1] = (Cell)(does_code);})  
   
 #define CF(const)       (-const-2)  #define CF(const)       (-const-2)
   
Line 273  typedef Label *Xt; Line 282  typedef Label *Xt;
 #define NO_DYNAMIC_DEFAULT 1  #define NO_DYNAMIC_DEFAULT 1
 #endif  #endif
   
   #ifndef CHECK_PRIM
   #define CHECK_PRIM(start,len) 0
   #endif
   
 #if defined(GFORTH_DEBUGGING) || defined(INDIRECT_THREADED) || defined(DOUBLY_INDIRECT) || defined(VM_PROFILING)  #if defined(GFORTH_DEBUGGING) || defined(INDIRECT_THREADED) || defined(DOUBLY_INDIRECT) || defined(VM_PROFILING)
 #define STACK_CACHE_DEFAULT 0  #define STACK_CACHE_DEFAULT 0
 #else  #else
Line 290  typedef Label *Xt; Line 303  typedef Label *Xt;
 #define rpTOS (rp[0])  #define rpTOS (rp[0])
   
 typedef struct {  typedef struct {
     Cell next_task;
     Cell prev_task;
     Cell save_task;
     Cell* sp0;
     Cell* rp0;
     Float* fp0;
     Address lp0;
     Xt *throw_entry;
   } user_area;
   
   typedef struct {
   Address base;         /* base address of image (0 if relocatable) */    Address base;         /* base address of image (0 if relocatable) */
   UCell checksum;       /* checksum of ca's to protect against some    UCell checksum;       /* checksum of ca's to protect against some
                            incompatible binary/executable combinations                             incompatible binary/executable combinations
Line 302  typedef struct { Line 326  typedef struct {
   UCell locals_stack_size;    UCell locals_stack_size;
   Xt *boot_entry;       /* initial ip for booting (in BOOT) */    Xt *boot_entry;       /* initial ip for booting (in BOOT) */
   Xt *throw_entry;      /* ip after signal (in THROW) */    Xt *throw_entry;      /* ip after signal (in THROW) */
   Cell unused1;         /* possibly tib stack size */    Xt *quit_entry;
     Xt *execute_entry;
     Xt *find_entry;
   Label *xt_base;         /* base of DOUBLE_INDIRECT xts[], for comp-i.fs */    Label *xt_base;         /* base of DOUBLE_INDIRECT xts[], for comp-i.fs */
   Address data_stack_base; /* this and the following fields are initialized by the loader */  
   Address fp_stack_base;  
   Address return_stack_base;  
   Address locals_stack_base;  
 } ImageHeader;  } ImageHeader;
 /* the image-header is created in main.fs */  /* the image-header is created in main.fs */
   
Line 326  struct Longname { Line 348  struct Longname {
   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 342  struct Cellquad { Line 364  struct Cellquad {
   
 #define IOR(flag)       ((flag)? -512-errno : 0)  #define IOR(flag)       ((flag)? -512-errno : 0)
   
 Label *gforth_engine(Xt *ip, Cell *sp, Cell *rp, Float *fp, Address lp);  #ifdef GFORTH_DEBUGGING
 Label *gforth_engine2(Xt *ip, Cell *sp, Cell *rp, Float *fp, Address lp);  #if defined(GLOBALS_NONRELOC)
 Label *gforth_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;
   extern PER_THREAD saved_regs *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 PER_THREAD Xt *saved_ip;
   extern PER_THREAD 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 sr_proto);
   Label *gforth_engine2(Xt *ip sr_proto);
   Label *gforth_engine3(Xt *ip sr_proto);
   
   
   int gforth_main(int argc, char **argv, char **env);
   void gforth_args(int argc, char ** argv, char ** path, char ** imagename);
   Address gforth_loader(char* imagename, char* path);
   user_area* gforth_stacks(Cell dsize, Cell rsize, Cell fsize, Cell lsize);
   void gforth_free_stacks(user_area* t);
   void gforth_free();
   Cell gforth_go(Xt* ip0);
   int gforth_boot(int argc, char** argv, char* path);
   int gforth_start(int argc, char ** argv);
   int gforth_quit();
   Xt gforth_find(Char * name);
   int gforth_execute(Xt xt);
   void gforth_cleanup();
   void gforth_printmetrics();
   #if defined(DOUBLY_INDIRECT)
   int gforth_make_image(int debugflag);
   #endif
   
   /* for ABI-CODE and ;ABI-CODE */
   typedef Cell *abifunc(Cell *sp, Float **fpp);
   typedef Cell *semiabifunc(Cell *sp, Float **fpp, Address body);
   
 /* engine/prim support routines */  /* engine/prim support routines */
 Address gforth_alloc(Cell size);  Address gforth_alloc(Cell size);
 char *cstr(Char *from, UCell size, int clear);  char *cstr(Char *from, UCell size);
 char *tilde_cstr(Char *from, UCell size, int clear);  char *tilde_cstr(Char *from, UCell size);
   Cell opencreate_file(char *s, Cell wfam, int flags, Cell *wiorp);
 DCell timeval2us(struct timeval *tvp);  DCell timeval2us(struct timeval *tvp);
   DCell timespec2ns(struct timespec *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);
 Cell compare(Char *c_addr1, UCell u1, Char *c_addr2, UCell u2);  Cell compare(Char *c_addr1, UCell u1, Char *c_addr2, UCell u2);
Line 360  struct Longname *tablelfind(Char *c_addr Line 434  struct Longname *tablelfind(Char *c_addr
 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, Char dot);
 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 lshift(UCell u1, UCell n);
 UCell rshift(UCell u1, UCell n);  UCell rshift(UCell u1, UCell n);
 int gforth_system(Char *c_addr, UCell u);  int gforth_system(Char *c_addr, UCell u);
 void gforth_ms(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);  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);
Line 415  extern int debug; Line 493  extern int debug;
 # define debug 0  # define debug 0
 #endif  #endif
   
 extern Cell *gforth_SP;  extern PER_THREAD Cell *gforth_SP;
 extern Float *gforth_FP;  extern PER_THREAD Cell *gforth_RP;
 extern Address gforth_UP;  extern PER_THREAD Address gforth_LP;
   extern PER_THREAD Float *gforth_FP;
   extern PER_THREAD user_area* gforth_UP;
   
   extern void * gforth_pointers(Cell n);
   
 #ifdef HAS_FFCALL  #ifdef HAS_FFCALL
 extern Cell *gforth_RP;  
 extern Address gforth_LP;  
 extern void gforth_callback(Xt* fcall, void * alist);  extern void gforth_callback(Xt* fcall, void * alist);
 #endif  #endif
   
 #ifdef HAS_LIBFFI  
 extern Cell *gforth_RP;  
 extern Address gforth_LP;  
 #include <ffi.h>  
 extern void gforth_callback(ffi_cif * cif, void * resp, void ** args, void * ip);  
 #endif  
   
 #ifdef GFORTH_DEBUGGING  
 extern Xt *saved_ip;  
 extern Cell *rp;  
 #endif  
   
 #ifdef NO_IP  #ifdef NO_IP
 extern Label next_code;  extern Label next_code;
 #endif  #endif
Line 479  extern unsigned long int strtoul(const c Line 547  extern unsigned long int strtoul(const c
   
 #define GROUP(x, n)  #define GROUP(x, n)
 #define GROUPADD(n)  #define GROUPADD(n)
   
   #ifdef HAVE_ENDIAN_H
   #include <endian.h>
   #else
   #define BSWAP16(x) ((((x) >> 8) & 0xff | (((x) & 0xff) << 8)))
   #define BSWAP32(x) ((BSWAP16((x) >> 16) | (BSWAP16(x) << 16)))
   #define BSWAP64(x) ((BSWAP32((x) >> 32) | (BSWAP32(x) << 32)))
   #ifdef WORDS_BIGENDIAN
   #define htobe16(x) (x)
   #define htobe32(x) (x)
   #define htobe64(x) (x)
   #define be16toh(x) (x)
   #define be32toh(x) (x)
   #define be64toh(x) (x)
   #define htole16(x) BSWAP16(x)
   #define htole32(x) BSWAP32(x)
   #define htole64(x) BSWAP64(x)
   #define le16toh(x) BSWAP16(x)
   #define le32toh(x) BSWAP32(x)
   #define le64toh(x) BSWAP64(x)
   #else
   #define htobe16(x) BSWAP16(x)
   #define htobe32(x) BSWAP32(x)
   #define htobe64(x) BSWAP64(x)
   #define be16toh(x) BSWAP16(x)
   #define be32toh(x) BSWAP32(x)
   #define be64toh(x) BSWAP64(x)
   #define htole16(x) (x)
   #define htole32(x) (x)
   #define htole64(x) (x)
   #define le16toh(x) (x)
   #define le32toh(x) (x)
   #define le64toh(x) (x)
   #endif
   #endif

Removed from v.1.83  
changed lines
  Added in v.1.133


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>