--- gforth/engine/threaded.h 2005/01/24 22:18:34 1.32 +++ gforth/engine/threaded.h 2008/08/09 13:24:25 1.39 @@ -1,12 +1,12 @@ /* 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. Gforth is free software; you can redistribute it and/or 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. This program is distributed in the hope that it will be useful, @@ -15,8 +15,7 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. + along with this program; if not, see http://www.gnu.org/licenses/. This files defines macros for threading. Many sets of macros are @@ -91,11 +90,24 @@ */ -#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 #else #define DO_GOTO goto *real_ca #endif + #ifndef GOTO_ALIGN #define GOTO_ALIGN #endif @@ -103,7 +115,7 @@ #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 VM_JUMP(target) do {GOTO(target);} 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: @@ -123,7 +135,7 @@ before_goto: goto *real_ca; after_goto: # 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 DEF_CA Label MAYBE_UNUSED ca; # define NEXT_P1 do {\ if (DEBUG_DITC && (cfa<=vm_prims+DOESJUMP || cfa>=vm_prims+npriminfos)) \ fprintf(stderr,"NEXT encountered prim %p at ip=%p\n", cfa, ip); \ @@ -174,114 +186,7 @@ before_goto: goto *real_ca; after_goto: */ #define KILLS asm("":"=X"(cfa)); -#ifndef THREADING_SCHEME -#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 +/* #warning direct threading scheme 8: cfa dead, i386 hack */ # define NEXT_P0 # define CFA cfa # define IP (ip) @@ -292,81 +197,12 @@ before_goto: goto *real_ca; after_goto: # 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==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 */ #else /* indirect THREADED */ -#ifndef THREADING_SCHEME -#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 +/* #warning indirect threading scheme 8: low latency,cisc */ # define NEXT_P0 # define CFA cfa # define IP (ip) @@ -377,82 +213,6 @@ before_goto: goto *real_ca; after_goto: # define NEXT_P1 # define NEXT_P1_5 do {cfa=*ip++; GOTO(*cfa);} while(0) # 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 */ #endif