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

version 1.32, 2005/01/24 22:18:34 version 1.39, 2008/08/09 13:24:25
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,2004 Free Software Foundation, Inc.    Copyright (C) 1995, 1996,1997,1999,2003,2004,2005,2007 Free Software Foundation, Inc.
   
   This file is part of Gforth.    This file is part of Gforth.
   
   Gforth is free software; you can redistribute it and/or    Gforth is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License    modify it under the terms of the GNU General Public License
   as published by the Free Software Foundation; either version 2    as published by the Free Software Foundation, either version 3
   of the License, or (at your option) any later version.    of the License, or (at your option) any later version.
   
   This program is distributed in the hope that it will be useful,    This program is distributed in the hope that it will be useful,
Line 15 Line 15
   GNU General Public License for more details.    GNU General Public License for more details.
   
   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, see http://www.gnu.org/licenses/.
   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 90
   
 */  */
   
 #ifdef GCC_PR15242_WORKAROUND  #if !defined(GCC_PR15242_WORKAROUND)
   #if __GNUC__ == 3
   /* various gcc-3.x version have problems (including PR15242) that are
      solved with this workaround */
   #define GCC_PR15242_WORKAROUND 1
   #else
   /* other gcc versions are better off without the workaround for
      primitives that are not relocatable */
   #define GCC_PR15242_WORKAROUND 0
   #endif
   #endif
   
   #if GCC_PR15242_WORKAROUND
 #define DO_GOTO goto before_goto  #define DO_GOTO goto before_goto
 #else  #else
 #define DO_GOTO goto *real_ca  #define DO_GOTO goto *real_ca
 #endif  #endif
   
 #ifndef GOTO_ALIGN  #ifndef GOTO_ALIGN
 #define GOTO_ALIGN  #define GOTO_ALIGN
 #endif  #endif
Line 103 Line 115
 #define GOTO(target) do {(real_ca=(target));} while(0)  #define GOTO(target) do {(real_ca=(target));} while(0)
 #define NEXT_P2 do {NEXT_P1_5; DO_GOTO;} 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 EXEC(XT) do { real_ca=EXEC1(XT); DO_GOTO;} while (0)
 #define VM_JUMP(target) do {GOTO(target); DO_GOTO;} while (0)  #define VM_JUMP(target) do {GOTO(target);} while (0)
 #define NEXT do {DEF_CA NEXT_P1; NEXT_P2;} while(0)  #define NEXT do {DEF_CA NEXT_P1; NEXT_P2;} while(0)
 #define FIRST_NEXT_P2 NEXT_P1_5; GOTO_ALIGN; \  #define FIRST_NEXT_P2 NEXT_P1_5; GOTO_ALIGN; \
 before_goto: goto *real_ca; after_goto:  before_goto: goto *real_ca; after_goto:
Line 123  before_goto: goto *real_ca; after_goto: Line 135  before_goto: goto *real_ca; after_goto:
 #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)  #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)
 #  define NEXT_INST     (cfa)  #  define NEXT_INST     (cfa)
 #  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 MAYBE_UNUSED ca;
 #  define NEXT_P1       do {\  #  define NEXT_P1       do {\
   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); \
Line 174  before_goto: goto *real_ca; after_goto: Line 186  before_goto: goto *real_ca; after_goto:
 */  */
 #define KILLS asm("":"=X"(cfa));  #define KILLS asm("":"=X"(cfa));
   
 #ifndef THREADING_SCHEME  /* #warning direct threading scheme 8: cfa dead, i386 hack */
 #define THREADING_SCHEME 7  
 #endif  
   
 #if THREADING_SCHEME==1  
 #warning direct threading scheme 1: autoinc, long latency, cfa live  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip++;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip-1)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip++;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==2  
 #warning direct threading scheme 2: autoinc, long latency, cfa dead  
 #  define NEXT_P0       (ip++)  
 #  define CFA           cfa  
 #  define IP            (ip-1)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*(ip-1))  
 #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
   
 #if THREADING_SCHEME==3  
 #warning direct threading scheme 3: autoinc, low latency, cfa live  
 #  define NEXT_P0  
 #  define CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1       do {cfa=*ip++;} while(0)  
 #  define NEXT_P1_5     do {GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==4  
 #warning direct threading scheme 4: autoinc, low latency, cfa dead  
 #  define NEXT_P0  
 #  define CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do { ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {KILLS GOTO(*(ip++));} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==5  
 #warning direct threading scheme 5: long latency, cfa live  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1       (ip++)  
 #  define NEXT_P1_5     do {GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==6  
 #warning direct threading scheme 6: long latency, cfa dead  
 #  define NEXT_P0  
 #  define CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1       (ip++)  
 #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
   
 #if THREADING_SCHEME==7  
 #warning direct threading scheme 7: low latency, cfa live  
 #  define NEXT_P0  
 #  define CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1       do {cfa=*ip++;} while(0)  
 #  define NEXT_P1_5     do {GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==8  
 #warning direct threading scheme 8: cfa dead, i386 hack  
 #  define NEXT_P0  #  define NEXT_P0
 #  define CFA           cfa  #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
Line 292  before_goto: goto *real_ca; after_goto: Line 197  before_goto: goto *real_ca; after_goto:
 #  define NEXT_P1       (ip++)  #  define NEXT_P1       (ip++)
 #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)  #  define NEXT_P1_5     do {KILLS GOTO(*(ip-1));} while(0)
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  #  define EXEC1(XT)     ({cfa=(XT); *cfa;})
 #endif  
   
 #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 CFA           cfa  
 #  define IP            ip  
 #  define SET_IP(p)     do {ip=(p); next_cfa=*ip; NEXT_P0;} while(0)  
 #  define NEXT_INST     (next_cfa)  
 #  define INC_IP(const_inc)     do {next_cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA          
 #  define NEXT_P1       do {cfa=next_cfa; ip++; next_cfa=*ip;} while(0)  
 #  define NEXT_P1_5     do {GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *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 CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {cfa=*ip++; GOTO(cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 /* direct threaded */  /* direct threaded */
 #else  #else
 /* indirect THREADED  */  /* indirect THREADED  */
   
 #ifndef THREADING_SCHEME  /* #warning indirect threading scheme 8: low latency,cisc */
 #define THREADING_SCHEME 6  
 #endif  
   
 #if THREADING_SCHEME==1  
 #warning indirect threading scheme 1: autoinc, long latency, cisc  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip++;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip-1)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip++;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {GOTO(*cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==2  
 #warning indirect threading scheme 2: autoinc, long latency  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip++;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip-1)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip++;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA        Label ca;  
 #  define NEXT_P1       do {ca=*cfa;} while(0)  
 #  define NEXT_P1_5     do {GOTO(ca);} while(0)  
 #  define EXEC1(XT)     ({DEF_CA cfa=(XT); ca=*cfa; ca;})  
 #endif  
   
   
 #if THREADING_SCHEME==3  
 #warning indirect threading scheme 3: autoinc, low latency, cisc  
 #  define NEXT_P0  #  define NEXT_P0
 #  define CFA           cfa  #  define CFA           cfa
 #  define IP            (ip)  #  define IP            (ip)
Line 377  before_goto: goto *real_ca; after_goto: Line 213  before_goto: goto *real_ca; after_goto:
 #  define NEXT_P1  #  define NEXT_P1
 #  define NEXT_P1_5     do {cfa=*ip++; GOTO(*cfa);} while(0)  #  define NEXT_P1_5     do {cfa=*ip++; GOTO(*cfa);} while(0)
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  #  define EXEC1(XT)     ({cfa=(XT); *cfa;})
 #endif  
   
 #if THREADING_SCHEME==4  
 #warning indirect threading scheme 4: autoinc, low latency  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip++;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip-1)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip++;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA        Label ca;  
 #  define NEXT_P1       do {ca=*cfa;} while(0)  
 #  define NEXT_P1_5     do {GOTO(ca);} while(0)  
 #  define EXEC1(XT)     ({DEF_CA cfa=(XT); ca=*cfa; ca;})  
 #endif  
   
   
 #if THREADING_SCHEME==5  
 #warning indirect threading scheme 5: long latency, cisc  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1       (ip++)  
 #  define NEXT_P1_5     do {GOTO(*cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 #if THREADING_SCHEME==6  
 #warning indirect threading scheme 6: long latency  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA        Label ca;  
 #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)  
 #  define NEXT_P1_5     do {GOTO(ca);} while(0)  
 #  define EXEC1(XT)     ({DEF_CA cfa=(XT); ca=*cfa; ca;})  
 #endif  
   
 #if THREADING_SCHEME==7  
 #warning indirect threading scheme 7: low latency  
 #  define NEXT_P0       do {cfa1=cfa; cfa=*ip;} while(0)  
 #  define CFA           cfa1  
 #  define MORE_VARS     Xt cfa1;  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); cfa=*ip;} while(0)  
 #  define NEXT_INST     (cfa)  
 #  define INC_IP(const_inc)     do {cfa=IP[const_inc]; ip+=(const_inc);} while(0)  
 #  define DEF_CA        Label ca;  
 #  define NEXT_P1       do {ip++; ca=*cfa;} while(0)  
 #  define NEXT_P1_5     do {GOTO(ca);} while(0)  
 #  define EXEC1(XT)     ({DEF_CA cfa=(XT); ca=*cfa; ca;})  
 #endif  
   
 #if THREADING_SCHEME==8  
 #warning indirect threading scheme 8: low latency,cisc  
 #  define NEXT_P0  
 #  define CFA           cfa  
 #  define IP            (ip)  
 #  define SET_IP(p)     do {ip=(p); NEXT_P0;} while(0)  
 #  define NEXT_INST     (*ip)  
 #  define INC_IP(const_inc)     do {ip+=(const_inc);} while(0)  
 #  define DEF_CA  
 #  define NEXT_P1  
 #  define NEXT_P1_5     do {cfa=*ip++; GOTO(*cfa);} while(0)  
 #  define EXEC1(XT)     ({cfa=(XT); *cfa;})  
 #endif  
   
 /* indirect threaded */  /* indirect threaded */
 #endif  #endif

Removed from v.1.32  
changed lines
  Added in v.1.39


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