[BACK]Return to threaded.h CVS log [TXT] [DIR] Up to [gforth] / gforth / engine

Diff for /gforth/engine/threaded.h between versions 1.2 and 1.15

version 1.2, 1998/12/08 22:03:07 version 1.15, 2002/01/20 19:04:11
Line 1 Line 1
 /* This file defines a number of threading schemes.  /* This file defines a number of threading schemes.
   
   Copyright (C) 1995, 1996,1997 Free Software Foundation, Inc.    Copyright (C) 1995, 1996,1997,1999 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
Line 16 Line 16
   
   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, 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.
   
   
   This files defines macros for threading. Many sets of macros are    This files defines macros for threading. Many sets of macros are
Line 91 Line 91
   
 */  */
   
 #ifndef GETCFA  
 #  define CFA_NEXT  
 #endif  
   
 #ifdef DOUBLY_INDIRECT  #ifdef DOUBLY_INDIRECT
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa=*ip;})
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       ({ip++; ca=**cfa;})  #  define NEXT_P1       ({\
     if (cfa<=vm_prims+DOESJUMP || cfa>=vm_prims+npriminfos) \
       fprintf(stderr,"NEXT encountered prim %p at ip=%p\n", cfa, ip); \
     ip++; ca=**cfa;})
 #  define NEXT_P2       ({goto *ca;})  #  define NEXT_P2       ({goto *ca;})
 #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=**cfa; goto *ca;})  #  define EXEC(XT)      ({DEF_CA cfa=(XT);\
 #  define NEXT1_P1 ({ca = **cfa;})    if (cfa>vm_prims+DOESJUMP && cfa<vm_prims+npriminfos) \
 #  define NEXT1_P2 ({goto *ca;})      fprintf(stderr,"EXEC encountered xt %p at ip=%p, vm_prims=%p, xts=%p\n", cfa, ip, vm_prims, xts); \
    ca=**cfa; goto *ca;})
   
 #else /* !defined(DOUBLY_INDIRECT) */  #else /* !defined(DOUBLY_INDIRECT) */
   
 #if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if defined(DIRECT_THREADED)
     && defined(LONG_LATENCY) && defined(CFA_NEXT)  
 #warning scheme 1  #if THREADING_SCHEME==1
   #warning direct threading scheme 1: autoinc, long latency, cfa live
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa=*ip++;})
 #  define IP            (ip-1)  #  define IP            (ip-1)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       ({goto *cfa;})  #  define NEXT_P2       ({goto *cfa;})
 #  define EXEC(XT)      ({cfa=(XT); goto *cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==2
     && defined(LONG_LATENCY) && !defined(CFA_NEXT)  #warning direct threading scheme 2: autoinc, long latency, cfa dead
 #warning scheme 2  
 #  define NEXT_P0       (ip++)  #  define NEXT_P0       (ip++)
 #  define IP            (ip-1)  #  define IP            (ip-1)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*(ip-1))  #  define NEXT_INST     (*(ip-1))
 #  define INC_IP(const_inc)     ({ ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       ({goto **(ip-1);})  #  define NEXT_P2       ({goto **(ip-1);})
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
   
 #if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==3
     && !defined(LONG_LATENCY) && defined(CFA_NEXT)  #warning direct threading scheme 3: autoinc, low latency, cfa live
 #warning scheme 3  
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       ({cfa=*ip++;})  #  define NEXT_P1       ({cfa=*ip++;})
 #  define NEXT_P2       ({goto *cfa;})  #  define NEXT_P2       ({goto *cfa;})
 #  define EXEC(XT)      ({cfa=(XT); goto *cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==4
     && !defined(LONG_LATENCY) && !defined(CFA_NEXT)  #warning direct threading scheme 4: autoinc, low latency, cfa dead
 #warning scheme 4  
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       ({goto **(ip++);})  #  define NEXT_P2       ({goto **(ip++);})
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 /* without autoincrement */  #if THREADING_SCHEME==5
   #warning direct threading scheme 5: long latency, cfa live
 #if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  
     && defined(LONG_LATENCY) && defined(CFA_NEXT)  
 #warning scheme 5  
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa=*ip;})
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       ({goto *cfa;})  #  define NEXT_P2       ({goto *cfa;})
 #  define EXEC(XT)      ({cfa=(XT); goto *cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==6
     && defined(LONG_LATENCY) && !defined(CFA_NEXT)  #warning direct threading scheme 6: long latency, cfa dead
 #warning scheme 6  
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       ({goto **(ip-1);})  #  define NEXT_P2       ({goto **(ip-1);})
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
   
 #if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==7
     && !defined(LONG_LATENCY) && defined(CFA_NEXT)  #warning direct threading scheme 7: low latency, cfa live
 #warning scheme 7  
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       ({cfa=*ip++;})  #  define NEXT_P1       ({cfa=*ip++;})
 #  define NEXT_P2       ({goto *cfa;})  #  define NEXT_P2       ({goto *cfa;})
 #  define EXEC(XT)      ({cfa=(XT); goto *cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==8
     && !defined(LONG_LATENCY) && !defined(CFA_NEXT)  #warning direct threading scheme 8: cfa dead, i386 hack
 #warning scheme 8  
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*IP)  #  define NEXT_INST     (*IP)
 #  define INC_IP(const_inc)     ({ ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       ({goto **(ip-1);})  #  define NEXT_P2       ({goto **(ip-1);})
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 /* common settings for direct THREADED */  #if THREADING_SCHEME==9
   #warning direct threading scheme 9: Power/PPC hack, long latency
   /* Power uses a prepare-to-branch instruction, and the latency between
      this inst and the branch is 5 cycles on a PPC604; so we utilize this
      to do some prefetching in between */
   #  define NEXT_P0
   #  define IP            ip
   #  define SET_IP(p)     ({ip=(p); next_cfa=*ip; NEXT_P0;})
   #  define NEXT_INST     (next_cfa)
   #  define INC_IP(const_inc)     ({next_cfa=IP[const_inc]; ip+=(const_inc);})
   #  define DEF_CA        
   #  define NEXT_P1       ({cfa=next_cfa; ip++; next_cfa=*ip;})
   #  define NEXT_P2       ({goto *cfa;})
   #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
   #  define MORE_VARS     Xt next_cfa;
   #endif
   
   #if THREADING_SCHEME==10
   #warning direct threading scheme 10: plain (no attempt at scheduling)
   #  define NEXT_P0
   #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
   #  define NEXT_INST     (*ip)
   #  define INC_IP(const_inc)     ({ip+=(const_inc);})
   #  define DEF_CA
   #  define NEXT_P1
   #  define NEXT_P2       ({cfa=*ip++; goto *cfa;})
   #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
   #endif
   
   /* direct threaded */
   #else
 /* indirect THREADED  */  /* indirect THREADED  */
   
 #if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==1
     && defined(LONG_LATENCY) && defined(CISC_NEXT)  #warning indirect threading scheme 1: autoinc, long latency, cisc
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa=*ip++;})
 #  define IP            (ip-1)  #  define IP            (ip-1)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
Line 234 Line 265
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==2
     && defined(LONG_LATENCY) && !defined(CISC_NEXT)  #warning indirect threading scheme 2: autoinc, long latency
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa=*ip++;})
 #  define IP            (ip-1)  #  define IP            (ip-1)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
Line 247 Line 279
 #endif  #endif
   
   
 #if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==3
     && !defined(LONG_LATENCY) && defined(CISC_NEXT)  #warning indirect threading scheme 3: autoinc, low latency, cisc
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
Line 259 Line 292
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==4
     && !defined(LONG_LATENCY) && !defined(CISC_NEXT)  #warning indirect threading scheme 4: autoinc, low latency
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa=*ip++;})
 #  define IP            (ip-1)  #  define IP            (ip-1)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
Line 272 Line 306
 #endif  #endif
   
   
 /* without autoincrement */  #if THREADING_SCHEME==5
   #warning indirect threading scheme 5: long latency, cisc
 #if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  
     && defined(LONG_LATENCY) && defined(CISC_NEXT)  
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa=*ip;})
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
Line 286 Line 319
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==6
     && defined(LONG_LATENCY) && !defined(CISC_NEXT)  #warning indirect threading scheme 6: long latency
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa=*ip;})
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
Line 298 Line 332
 #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;})  #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;})
 #endif  #endif
   
   #if THREADING_SCHEME==7
   #warning indirect threading scheme 7: low latency
   #  define NEXT_P0       ({cfa=*ip;})
   #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
   #  define NEXT_INST     (cfa)
   #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})
   #  define DEF_CA        Label ca;
   #  define NEXT_P1       ({ip++; ca=*cfa;})
   #  define NEXT_P2       ({goto *ca;})
   #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;})
   #endif
   
 #if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #if THREADING_SCHEME==8
     && !defined(LONG_LATENCY) && defined(CISC_NEXT)  #warning indirect threading scheme 8: low latency,cisc
 #  define NEXT_P0  #  define NEXT_P0
 #  define IP            (ip)  #  define IP            (ip)
   #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
 #  define INC_IP(const_inc)     ({ip+=(const_inc);})  #  define INC_IP(const_inc)     ({ip+=(const_inc);})
 #  define DEF_CA  #  define DEF_CA
Line 311 Line 358
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  /* indirect threaded */
     && !defined(LONG_LATENCY) && !defined(CISC_NEXT)  
 #  define NEXT_P0       ({cfa=*ip;})  
 #  define IP            (ip)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     ({cfa=IP[const_inc]; ip+=(const_inc);})  
 #  define DEF_CA        Label ca;  
 #  define NEXT_P1       ({ip++; ca=*cfa;})  
 #  define NEXT_P2       ({goto *ca;})  
 #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;})  
 #endif  #endif
   
 #if defined(CISC_NEXT) && !defined(LONG_LATENCY)  
 # define NEXT1_P1  
 # ifdef DIRECT_THREADED  
 #  define NEXT1_P2 ({goto *cfa;})  
 # else  
 #  define NEXT1_P2 ({goto **cfa;})  
 # endif /* DIRECT_THREADED */  
 #else /* !defined(CISC_NEXT) || defined(LONG_LATENCY) */  
 # ifdef DIRECT_THREADED  
 #  define NEXT1_P1  
 #  define NEXT1_P2 ({goto *cfa;})  
 # else /* !DIRECT_THREADED */  
 #  define NEXT1_P1 ({ca = *cfa;})  
 #  define NEXT1_P2 ({goto *ca;})  
 # endif /* !DIRECT_THREADED */  
 #endif /* !defined(CISC_NEXT) || defined(LONG_LATENCY) */  
   
 #endif /* !defined(DOUBLY_INDIRECT) */  #endif /* !defined(DOUBLY_INDIRECT) */
   
 #define NEXT ({DEF_CA NEXT_P1; NEXT_P2;})  #define NEXT ({DEF_CA NEXT_P1; NEXT_P2;})
   #define IPTOS NEXT_INST
Removed from v.1.2  
changed lines
  Added in v.1.15

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