[gforth] / gforth / engine / forth.h  

gforth: gforth/engine/forth.h

Diff for /gforth/engine/forth.h between version 1.70 and 1.123

version 1.70, Sat Dec 31 15:46:13 2005 UTC version 1.123, Sat May 26 10:20:01 2012 UTC
Line 1 
Line 1 
 /* common header file  /* common header file
   
   Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005 Free Software Foundation, Inc.    Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006,2007,2008,2009,2010,2011 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 */
 #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 122 
Line 141 
 #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 148 
Line 167 
 #define DHI_IS(x,y) (x).hi=(y)  #define DHI_IS(x,y) (x).hi=(y)
 #define DLO_IS(x,y) (x).lo=(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 163 
Line 194 
 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)
   /* 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 183 
Line 226 
   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; })  
 #define DLO_IS(x,y) ({ Double_Store _d; _d.d=(x); _d.cells.low =(y); (x)=_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 235 
Line 269 
    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 250 
Line 282 
 #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 288 
Line 324 
 } 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 310 
Line 355 
   
 #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;
   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, 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);
   
   /* 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 my_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 328 
Line 406 
 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);
   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 364 
Line 452 
   
 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 376 
Line 465 
 # define debug 0  # define debug 0
 #endif  #endif
   
 extern Cell *SP;  extern PER_THREAD Cell *gforth_SP;
 extern Float *FP;  extern PER_THREAD Cell *gforth_RP;
 extern Address UP;  extern PER_THREAD Address gforth_LP;
   extern PER_THREAD Float *gforth_FP;
   extern PER_THREAD Address gforth_UP;
   
 #ifdef HAS_FFCALL  extern void * gforth_pointers(Cell n);
 extern Cell *RP;  
 extern Address LP;  
 extern void engine_callback(Xt* fcall, void * alist);  
 #endif  
   
 #ifdef HAS_LIBFFI  #ifdef HAS_FFCALL
 extern Cell *RP;  extern void gforth_callback(Xt* fcall, void * alist);
 extern Address LP;  
 #include <ffi.h>  
 extern void ffi_callback(ffi_cif * cif, void * resp, void ** args, Xt * ip);  
 #endif  
   
 #ifdef GFORTH_DEBUGGING  
 extern Xt *saved_ip;  
 extern Cell *rp;  
 #endif  #endif
   
 #ifdef NO_IP  #ifdef NO_IP
Line 438 
Line 517 
 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)
   
   #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

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

Powered by ViewCVS 1.0-dev 		(Powered by ViewCVS)

ViewCVS and CVS Help