Diff for /gforth/engine/threaded.h between versions 1.16 and 1.25

version 1.16, 2002/11/24 13:54:02 version 1.25, 2003/11/06 09:47:50
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,1999 Free Software Foundation, Inc.    Copyright (C) 1995, 1996,1997,1999,2003 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
Line 91 Line 91
   
 */  */
   
   
   
 #ifdef DOUBLY_INDIRECT  #ifdef DOUBLY_INDIRECT
 #  define NEXT_P0       ({cfa=*ip;})  # ifndef DEBUG_DITC
   #  define DEBUG_DITC 0
   # endif
   /* define to 1 if you want to check consistency */
   #  define NEXT_P0       ({cfa1=cfa; cfa=*ip;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip;})
 #  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       ({\  #  define NEXT_P1       ({\
   if (cfa<=vm_prims+DOESJUMP || cfa>=vm_prims+npriminfos) \    if (DEBUG_DITC && (cfa<=vm_prims+DOESJUMP || cfa>=vm_prims+npriminfos)) \
     fprintf(stderr,"NEXT encountered prim %p at ip=%p\n", cfa, ip); \      fprintf(stderr,"NEXT encountered prim %p at ip=%p\n", cfa, ip); \
   ip++; ca=**cfa;})    ip++;})
 #  define NEXT_P2       ({goto *ca;})  #  define NEXT_P2       ({ca=**cfa; goto *ca;})
 #  define EXEC(XT)      ({DEF_CA cfa=(XT);\  #  define EXEC(XT)      ({DEF_CA cfa=(XT);\
   if (cfa>vm_prims+DOESJUMP && cfa<vm_prims+npriminfos) \    if (DEBUG_DITC && (cfa>vm_prims+DOESJUMP && cfa<vm_prims+npriminfos)) \
     fprintf(stderr,"EXEC encountered xt %p at ip=%p, vm_prims=%p, xts=%p\n", cfa, ip, vm_prims, xts); \      fprintf(stderr,"EXEC encountered xt %p at ip=%p, vm_prims=%p, xts=%p\n", cfa, ip, vm_prims, xts); \
  ca=**cfa; goto *ca;})   ca=**cfa; goto *ca;})
   
 #elif defined(NO_IP)  #elif defined(NO_IP)
   
 #define NEXT_P0  #define NEXT_P0
   #  define CFA           cfa
 #define SET_IP(target)  assert(0)  #define SET_IP(target)  assert(0)
 #define INC_IP(n)       ((void)0)  #define INC_IP(n)       ((void)0)
 #define DEF_CA  #define DEF_CA
Line 125 Line 130
   
 #if defined(DIRECT_THREADED)  #if defined(DIRECT_THREADED)
   
   /* This lets the compiler know that cfa is dead before; we place it at
      "goto *"s that perform direct threaded dispatch (i.e., not EXECUTE
      etc.), and thus do not reach doers, which would use cfa; the only
      way to a doer is through EXECUTE etc., which set the cfa
      themselves.
   
      Some of these direct threaded schemes use "cfa" to hold the code
      address in normal direct threaded code.  Of course we cannot use
      KILLS there.
   
      KILLS works by having an empty asm instruction, and claiming to the
      compiler that it writes to cfa.
   
      KILLS is optional.  You can write
   
   #define KILLS
   
      and lose just a little performance.
   */
   #define KILLS asm("":"=X"(cfa));
   
   #ifndef THREADING_SCHEME
   #define THREADING_SCHEME 7
   #endif
   
 #if THREADING_SCHEME==1  #if THREADING_SCHEME==1
 #warning direct threading scheme 1: autoinc, long latency, cfa live  #warning direct threading scheme 1: autoinc, long latency, cfa live
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip++;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip-1)  #  define IP            (ip-1)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip++;})
 #  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 141 Line 173
 #if THREADING_SCHEME==2  #if THREADING_SCHEME==2
 #warning direct threading scheme 2: autoinc, long latency, cfa dead  #warning direct threading scheme 2: autoinc, long latency, cfa dead
 #  define NEXT_P0       (ip++)  #  define NEXT_P0       (ip++)
   #  define CFA           cfa
 #  define IP            (ip-1)  #  define IP            (ip-1)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  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       ({KILLS goto **(ip-1);})
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
Line 155 Line 188
 #if THREADING_SCHEME==3  #if THREADING_SCHEME==3
 #warning direct threading scheme 3: autoinc, low latency, cfa live  #warning direct threading scheme 3: autoinc, low latency, cfa live
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
Line 168 Line 202
 #if THREADING_SCHEME==4  #if THREADING_SCHEME==4
 #warning direct threading scheme 4: autoinc, low latency, cfa dead  #warning direct threading scheme 4: autoinc, low latency, cfa dead
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  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       ({KILLS goto **(ip++);})
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
 #if THREADING_SCHEME==5  #if THREADING_SCHEME==5
 #warning direct threading scheme 5: long latency, cfa live  #warning direct threading scheme 5: long latency, cfa live
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip;})
 #  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 194 Line 231
 #if THREADING_SCHEME==6  #if THREADING_SCHEME==6
 #warning direct threading scheme 6: long latency, cfa dead  #warning direct threading scheme 6: long latency, cfa dead
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  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       ({KILLS goto **(ip-1);})
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
Line 208 Line 246
 #if THREADING_SCHEME==7  #if THREADING_SCHEME==7
 #warning direct threading scheme 7: low latency, cfa live  #warning direct threading scheme 7: low latency, cfa live
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
Line 221 Line 260
 #if THREADING_SCHEME==8  #if THREADING_SCHEME==8
 #warning direct threading scheme 8: cfa dead, i386 hack  #warning direct threading scheme 8: cfa dead, i386 hack
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  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       ({KILLS goto **(ip-1);})
 #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})  #  define EXEC(XT)      ({cfa=(XT); goto **cfa;})
 #endif  #endif
   
Line 237 Line 277
    this inst and the branch is 5 cycles on a PPC604; so we utilize this     this inst and the branch is 5 cycles on a PPC604; so we utilize this
    to do some prefetching in between */     to do some prefetching in between */
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            ip  #  define IP            ip
 #  define SET_IP(p)     ({ip=(p); next_cfa=*ip; NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); next_cfa=*ip; NEXT_P0;})
 #  define NEXT_INST     (next_cfa)  #  define NEXT_INST     (next_cfa)
Line 251 Line 292
 #if THREADING_SCHEME==10  #if THREADING_SCHEME==10
 #warning direct threading scheme 10: plain (no attempt at scheduling)  #warning direct threading scheme 10: plain (no attempt at scheduling)
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
Line 265 Line 307
 #else  #else
 /* indirect THREADED  */  /* indirect THREADED  */
   
   #ifndef THREADING_SCHEME
   #define THREADING_SCHEME 6
   #endif
   
 #if THREADING_SCHEME==1  #if THREADING_SCHEME==1
 #warning indirect threading scheme 1: autoinc, long latency, cisc  #warning indirect threading scheme 1: autoinc, long latency, cisc
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip++;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip-1)  #  define IP            (ip-1)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip++;})
 #  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 280 Line 328
   
 #if THREADING_SCHEME==2  #if THREADING_SCHEME==2
 #warning indirect threading scheme 2: autoinc, long latency  #warning indirect threading scheme 2: autoinc, long latency
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip++;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip-1)  #  define IP            (ip-1)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip++;})
 #  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 295 Line 345
 #if THREADING_SCHEME==3  #if THREADING_SCHEME==3
 #warning indirect threading scheme 3: autoinc, low latency, cisc  #warning indirect threading scheme 3: autoinc, low latency, cisc
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)
Line 307 Line 358
   
 #if THREADING_SCHEME==4  #if THREADING_SCHEME==4
 #warning indirect threading scheme 4: autoinc, low latency  #warning indirect threading scheme 4: autoinc, low latency
 #  define NEXT_P0       ({cfa=*ip++;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip++;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip-1)  #  define IP            (ip-1)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip++;})
 #  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 321 Line 374
   
 #if THREADING_SCHEME==5  #if THREADING_SCHEME==5
 #warning indirect threading scheme 5: long latency, cisc  #warning indirect threading scheme 5: long latency, cisc
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip;})
 #  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 334 Line 389
   
 #if THREADING_SCHEME==6  #if THREADING_SCHEME==6
 #warning indirect threading scheme 6: long latency  #warning indirect threading scheme 6: long latency
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip;})
 #  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 347 Line 404
   
 #if THREADING_SCHEME==7  #if THREADING_SCHEME==7
 #warning indirect threading scheme 7: low latency  #warning indirect threading scheme 7: low latency
 #  define NEXT_P0       ({cfa=*ip;})  #  define NEXT_P0       ({cfa1=cfa; cfa=*ip;})
   #  define CFA           cfa1
   #  define MORE_VARS     Xt cfa1;
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); cfa=*ip;})
 #  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 361 Line 420
 #if THREADING_SCHEME==8  #if THREADING_SCHEME==8
 #warning indirect threading scheme 8: low latency,cisc  #warning indirect threading scheme 8: low latency,cisc
 #  define NEXT_P0  #  define NEXT_P0
   #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
 #  define SET_IP(p)     ({ip=(p); NEXT_P0;})  #  define SET_IP(p)     ({ip=(p); NEXT_P0;})
 #  define NEXT_INST     (*ip)  #  define NEXT_INST     (*ip)

Removed from v.1.16  
changed lines
  Added in v.1.25


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