Diff for /gforth/engine/threaded.h between versions 1.1 and 1.14

version 1.1, 1997/05/21 20:40:12 version 1.14, 2002/01/16 10:40:26
Line 1 Line 1
 /* This file defines a number of threading schemes.  /* This file defines a number of threading schemes.
   
   Copyright (C) 1995, 1996 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  /* CFA_NEXT: if NEXT uses cfa, you have to #define CFA_NEXT, to get
 #  define CFA_NEXT   * cfa declared in engine.
 #endif   */
   
 #ifdef DOUBLY_INDIRECT  #ifdef DOUBLY_INDIRECT
   #  define CFA_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        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  /* note that the "cfa dead" versions only work if GETCFA exists and works */
   
   #if THREADING_SCHEME==1
   #warning direct threading scheme 1: autoinc, long latency, cfa live
   #  define CFA_NEXT
 #  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 122 Line 133
 #  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  #ifndef GETCFA
   #error GETCFA must be defined for cfa dead threading
   #endif
 #  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
Line 136 Line 150
 #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 CFA_NEXT
 #  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 149 Line 164
 #  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  #ifndef GETCFA
   #error GETCFA must be defined for cfa dead threading
   #endif
 #  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 162 Line 180
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({goto *(XT);})
 #endif  #endif
   
 /* without autoincrement */  #if THREADING_SCHEME==5
   #warning direct threading scheme 5: long latency, cfa live
 #if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #  define CFA_NEXT
     && 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
Line 177 Line 194
 #  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  #ifndef GETCFA
   #error GETCFA must be defined for cfa dead threading
   #endif
 #  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 191 Line 211
 #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 CFA_NEXT
 #  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 204 Line 225
 #  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  #ifndef GETCFA
   #error GETCFA must be defined for cfa dead threading
   #endif
 #  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 217 Line 241
 #  define EXEC(XT)      ({goto *(XT);})  #  define EXEC(XT)      ({goto *(XT);})
 #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 CFA_NEXT
   #  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 CFA_NEXT
   #  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 CFA_NEXT
 #  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 291
 #  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 CFA_NEXT
 #  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 306
 #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 CFA_NEXT
 #  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 320
 #  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 CFA_NEXT
 #  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 335
 #endif  #endif
   
   
 /* without autoincrement */  #if THREADING_SCHEME==5
   #warning indirect threading scheme 5: long latency, cisc
 #if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\  #  define CFA_NEXT
     && 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 349
 #  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 CFA_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        Label ca;  #  define DEF_CA        Label ca;
Line 298 Line 363
 #  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 CFA_NEXT
   #  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 CFA_NEXT
 #  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 391
 #  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.1  
changed lines
  Added in v.1.14


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