Diff for /gforth/engine/threaded.h between versions 1.26 and 1.28

version 1.26, 2004/06/19 14:19:44 version 1.28, 2005/01/22 21:06:03
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,2003 Free Software Foundation, Inc.    Copyright (C) 1995, 1996,1997,1999,2003,2004 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
Line 91 Line 91
   
 */  */
   
   #define GOTO(target) do {(real_ca=(target));} while(0)
   #define DO_GOTO goto before_goto
   #define NEXT_P2 do {NEXT_P1_5; DO_GOTO;} while(0)
   #define EXEC(XT) do { EXEC1(XT); DO_GOTO;} while (0)
   #define NEXT do {DEF_CA NEXT_P1; NEXT_P2;} while(0)
   #define IPTOS NEXT_INST
   
   
 #ifdef DOUBLY_INDIRECT  #ifdef DOUBLY_INDIRECT
 # ifndef DEBUG_DITC  # ifndef DEBUG_DITC
 #  define DEBUG_DITC 0  #  define DEBUG_DITC 0
Line 108 Line 116
   if (DEBUG_DITC && (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++;} while(0)    ip++;} while(0)
 #  define NEXT_P2       do {ca=**cfa; goto *ca;} while(0)  #  define NEXT_P1_5     do {ca=**cfa; GOTO(ca);} while(0)
 #  define EXEC(XT)      do {DEF_CA cfa=(XT);\  #  define EXEC1(XT)     do {DEF_CA cfa=(XT);\
   if (DEBUG_DITC && (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;} while(0)   ca=**cfa; GOTO(ca);} while(0)
   
 #elif defined(NO_IP)  #elif defined(NO_IP)
   
Line 122 Line 130
 #define INC_IP(n)       ((void)0)  #define INC_IP(n)       ((void)0)
 #define DEF_CA  #define DEF_CA
 #define NEXT_P1  #define NEXT_P1
 #define NEXT_P2         do {goto *next_code;} while(0)  #define NEXT_P1_5               do {goto *next_code;} while(0)
 /* set next_code to the return address before performing EXEC */  /* set next_code to the return address before performing EXEC */
 #define EXEC(XT)        do {cfa=(XT); goto **cfa;} while(0)  #define EXEC1(XT)       do {cfa=(XT); goto **cfa;} while(0)
   
 #else  /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */  #else  /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */
   
Line 166 Line 174
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {goto *cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==2  #if THREADING_SCHEME==2
Line 180 Line 188
 #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {KILLS goto **(ip-1);} while(0)  #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
   
Line 195 Line 203
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       do {cfa=*ip++;} while(0)  #  define NEXT_P1       do {cfa=*ip++;} while(0)
 #  define NEXT_P2       do {goto *cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==4  #if THREADING_SCHEME==4
Line 209 Line 217
 #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {KILLS goto **(ip++);} while(0)  #  define NEXT_P1_5     do {KILLS GOTO(*(ip++));} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==5  #if THREADING_SCHEME==5
Line 224 Line 232
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       do {goto *cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==6  #if THREADING_SCHEME==6
Line 238 Line 246
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       do {KILLS goto **(ip-1);} while(0)  #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
   
Line 253 Line 261
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       do {cfa=*ip++;} while(0)  #  define NEXT_P1       do {cfa=*ip++;} while(0)
 #  define NEXT_P2       do {goto *cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==8  #if THREADING_SCHEME==8
Line 267 Line 275
 #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       do {KILLS goto **(ip-1);} while(0)  #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==9  #if THREADING_SCHEME==9
Line 284 Line 292
 #  define INC_IP(const_inc)     do {next_cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {next_cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA          #  define DEF_CA        
 #  define NEXT_P1       do {cfa=next_cfa; ip++; next_cfa=*ip;} while(0)  #  define NEXT_P1       do {cfa=next_cfa; ip++; next_cfa=*ip;} while(0)
 #  define NEXT_P2       do {goto *cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #  define MORE_VARS     Xt next_cfa;  #  define MORE_VARS     Xt next_cfa;
 #endif  #endif
   
Line 299 Line 307
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {cfa=*ip++; goto *cfa;} while(0)  #  define NEXT_P1_5     do {cfa=*ip++; GOTO(cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 /* direct threaded */  /* direct threaded */
Line 322 Line 330
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {goto **cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(*cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==2  #if THREADING_SCHEME==2
Line 337 Line 345
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       do {ca=*cfa;} while(0)  #  define NEXT_P1       do {ca=*cfa;} while(0)
 #  define NEXT_P2       do {goto *ca;} while(0)  #  define NEXT_P1_5     do {GOTO(ca);} while(0)
 #  define EXEC(XT)      do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0)  #  define EXEC1(XT)     do {DEF_CA cfa=(XT); ca=*cfa; GOTO(ca);} while(0)
 #endif  #endif
   
   
Line 352 Line 360
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {cfa=*ip++; goto **cfa;} while(0)  #  define NEXT_P1_5     do {cfa=*ip++; GOTO(*cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==4  #if THREADING_SCHEME==4
Line 367 Line 375
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       do {ca=*cfa;} while(0)  #  define NEXT_P1       do {ca=*cfa;} while(0)
 #  define NEXT_P2       do {goto *ca;} while(0)  #  define NEXT_P1_5     do {GOTO(ca);} while(0)
 #  define EXEC(XT)      do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0)  #  define EXEC1(XT)     do {DEF_CA cfa=(XT); ca=*cfa; GOTO(ca);} while(0)
 #endif  #endif
   
   
Line 383 Line 391
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P2       do {goto **cfa;} while(0)  #  define NEXT_P1_5     do {GOTO(*cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==6  #if THREADING_SCHEME==6
Line 398 Line 406
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)  #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)
 #  define NEXT_P2       do {goto *ca;} while(0)  #  define NEXT_P1_5     do {GOTO(ca);} while(0)
 #  define EXEC(XT)      do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0)  #  define EXEC1(XT)     do {DEF_CA cfa=(XT); ca=*cfa; GOTO(ca);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==7  #if THREADING_SCHEME==7
Line 413 Line 421
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)  #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)
 #  define NEXT_P2       do {goto *ca;} while(0)  #  define NEXT_P1_5     do {GOTO(ca);} while(0)
 #  define EXEC(XT)      do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0)  #  define EXEC1(XT)     do {DEF_CA cfa=(XT); ca=*cfa; GOTO(ca);} while(0)
 #endif  #endif
   
 #if THREADING_SCHEME==8  #if THREADING_SCHEME==8
Line 427 Line 435
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)
 #  define DEF_CA  #  define DEF_CA
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P2       do {cfa=*ip++; goto **cfa;} while(0)  #  define NEXT_P1_5     do {cfa=*ip++; GOTO(*cfa);} while(0)
 #  define EXEC(XT)      do {cfa=(XT); goto **cfa;} while(0)  #  define EXEC1(XT)     do {cfa=(XT); GOTO(*cfa);} while(0)
 #endif  #endif
   
 /* indirect threaded */  /* indirect threaded */
Line 436 Line 444
   
 #endif /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */  #endif /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */
   
 #define NEXT do {DEF_CA NEXT_P1; NEXT_P2;} while(0)  
 #define IPTOS NEXT_INST  

Removed from v.1.26  
changed lines
  Added in v.1.28


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