Diff for /gforth/engine/threaded.h between versions 1.11 and 1.32

version 1.11, 2001/10/26 12:00:16 version 1.32, 2005/01/24 22:18:34
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,2004 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
Line 91 Line 91
   
 */  */
   
 /* CFA_NEXT: if NEXT uses cfa, you have to #define CFA_NEXT, to get  #ifdef GCC_PR15242_WORKAROUND
  * cfa declared in engine.  #define DO_GOTO goto before_goto
  */  #else
   #define DO_GOTO goto *real_ca
   #endif
   #ifndef GOTO_ALIGN
   #define GOTO_ALIGN
   #endif
   
   #define GOTO(target) do {(real_ca=(target));} while(0)
   #define NEXT_P2 do {NEXT_P1_5; DO_GOTO;} while(0)
   #define EXEC(XT) do { real_ca=EXEC1(XT); DO_GOTO;} while (0)
   #define VM_JUMP(target) do {GOTO(target); DO_GOTO;} while (0)
   #define NEXT do {DEF_CA NEXT_P1; NEXT_P2;} while(0)
   #define FIRST_NEXT_P2 NEXT_P1_5; GOTO_ALIGN; \
   before_goto: goto *real_ca; after_goto:
   #define FIRST_NEXT do {DEF_CA NEXT_P1; FIRST_NEXT_P2;} while(0)
   #define IPTOS NEXT_INST
   
   
 #ifdef DOUBLY_INDIRECT  #ifdef DOUBLY_INDIRECT
 #  define CFA_NEXT  # ifndef DEBUG_DITC
 #  define NEXT_P0       ({cfa=*ip;})  #  define DEBUG_DITC 0
   # endif
   /* define to 1 if you want to check consistency */
   #  define NEXT_P0       do {cfa1=cfa; cfa=*ip;} while(0)
   #  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)     do {ip=(p); cfa=*ip;} while(0)
 #  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)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)
 #  define DEF_CA        Label ca;  #  define DEF_CA        Label ca;
 #  define NEXT_P1       ({ip++; ca=**cfa;})  #  define NEXT_P1       do {\
 #  define NEXT_P2       ({goto *ca;})    if (DEBUG_DITC && (cfa<=vm_prims+DOESJUMP || cfa>=vm_prims+npriminfos)) \
 #  define EXEC(XT)      ({DEF_CA cfa=(XT); ca=**cfa; goto *ca;})      fprintf(stderr,"NEXT encountered prim %p at ip=%p\n", cfa, ip); \
 #  define NEXT1_P1 ({ca = **cfa;})    ip++;} while(0)
 #  define NEXT1_P2 ({goto *ca;})  #  define NEXT_P1_5     do {ca=**cfa; GOTO(ca);} while(0)
   #  define EXEC1(XT)     ({DEF_CA cfa=(XT);\
     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); \
    ca=**cfa; ca;})
   
   #elif defined(NO_IP)
   
   #define NEXT_P0
   #  define CFA           cfa
   #define SET_IP(target)  assert(0)
   #define INC_IP(n)       ((void)0)
   #define DEF_CA
   #define NEXT_P1
   #define NEXT_P1_5               do {goto *next_code;} while(0)
   /* set next_code to the return address before performing EXEC */
   /* original: */