version 1.1, 1997/05/21 20:40:12
|
version 1.12, 2001/12/09 19:12:46
|
Line 1
|
Line 1
|
/* This file defines a number of threading schemes. |
/* This file defines a number of threading schemes. |
|
|
Copyright (C) 1995, 1996 Free Software Foundation, Inc. |
Copyright (C) 1995, 1996,1997,1999 Free Software Foundation, Inc. |
|
|
This file is part of Gforth. |
This file is part of Gforth. |
|
|
Line 16
|
Line 16
|
|
|
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, write to the Free Software |
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
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 91
|
|
|
*/ |
*/ |
|
|
#ifndef GETCFA |
/* CFA_NEXT: if NEXT uses cfa, you have to #define CFA_NEXT, to get |
# define CFA_NEXT |
* cfa declared in engine. |
#endif |
*/ |
|
|
#ifdef DOUBLY_INDIRECT |
#ifdef DOUBLY_INDIRECT |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip;}) |
# define NEXT_P0 ({cfa=*ip;}) |
# define IP (ip) |
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 109
|
Line 111
|
|
|
#else /* !defined(DOUBLY_INDIRECT) */ |
#else /* !defined(DOUBLY_INDIRECT) */ |
|
|
#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if defined(DIRECT_THREADED) |
&& defined(LONG_LATENCY) && defined(CFA_NEXT) |
|
#warning scheme 1 |
/* note that the "cfa dead" versions only work if GETCFA exists and works */ |
|
|
|
#if THREADING_SCHEME==1 |
|
#warning direct threading scheme 1: autoinc, long latency, cfa live |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip++;}) |
# define NEXT_P0 ({cfa=*ip++;}) |
# define IP (ip-1) |
# define IP (ip-1) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 122
|
Line 129
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
#endif |
#endif |
|
|
#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==2 |
&& defined(LONG_LATENCY) && !defined(CFA_NEXT) |
#warning direct threading scheme 2: autoinc, long latency, cfa dead |
#warning scheme 2 |
#ifndef GETCFA |
|
#error GETCFA must be defined for cfa dead threading |
|
#endif |
# define NEXT_P0 (ip++) |
# define NEXT_P0 (ip++) |
# define IP (ip-1) |
# define IP (ip-1) |
|
# 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 |
Line 136
|
Line 146
|
#endif |
#endif |
|
|
|
|
#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==3 |
&& !defined(LONG_LATENCY) && defined(CFA_NEXT) |
#warning direct threading scheme 3: autoinc, low latency, cfa live |
#warning scheme 3 |
# define CFA_NEXT |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 149
|
Line 160
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
#endif |
#endif |
|
|
#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==4 |
&& !defined(LONG_LATENCY) && !defined(CFA_NEXT) |
#warning direct threading scheme 4: autoinc, low latency, cfa dead |
#warning scheme 4 |
#ifndef GETCFA |
|
#error GETCFA must be defined for cfa dead threading |
|
#endif |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 162
|
Line 176
|
# define EXEC(XT) ({goto *(XT);}) |
# define EXEC(XT) ({goto *(XT);}) |
#endif |
#endif |
|
|
/* without autoincrement */ |
#if THREADING_SCHEME==5 |
|
#warning direct threading scheme 5: long latency, cfa live |
#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
# define CFA_NEXT |
&& defined(LONG_LATENCY) && defined(CFA_NEXT) |
|
#warning scheme 5 |
|
# define NEXT_P0 ({cfa=*ip;}) |
# define NEXT_P0 ({cfa=*ip;}) |
# define IP (ip) |
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 177
|
Line 190
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
#endif |
#endif |
|
|
#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==6 |
&& defined(LONG_LATENCY) && !defined(CFA_NEXT) |
#warning direct threading scheme 6: long latency, cfa dead |
#warning scheme 6 |
#ifndef GETCFA |
|
#error GETCFA must be defined for cfa dead threading |
|
#endif |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 191
|
Line 207
|
#endif |
#endif |
|
|
|
|
#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==7 |
&& !defined(LONG_LATENCY) && defined(CFA_NEXT) |
#warning direct threading scheme 7: low latency, cfa live |
#warning scheme 7 |
# define CFA_NEXT |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 204
|
Line 221
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
#endif |
#endif |
|
|
#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==8 |
&& !defined(LONG_LATENCY) && !defined(CFA_NEXT) |
#warning direct threading scheme 8: cfa dead, i386 hack |
#warning scheme 8 |
#ifndef GETCFA |
|
#error GETCFA must be defined for cfa dead threading |
|
#endif |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 217
|
Line 237
|
# define EXEC(XT) ({goto *(XT);}) |
# define EXEC(XT) ({goto *(XT);}) |
#endif |
#endif |
|
|
/* common settings for direct THREADED */ |
#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 CFA_NEXT |
|
# define NEXT_P0 |
|
# define IP ip |
|
# define SET_IP(p) ({ip=(p); next_cfa=*ip; NEXT_P0;}) |
|
# define NEXT_INST (next_cfa) |
|
# define INC_IP(const_inc) ({next_cfa=IP[const_inc]; ip+=(const_inc);}) |
|
# define DEF_CA |
|
# define NEXT_P1 ({cfa=next_cfa; ip++; next_cfa=*ip;}) |
|
# define NEXT_P2 ({goto *cfa;}) |
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
|
# define MORE_VARS Xt next_cfa; |
|
#endif |
|
|
|
#if THREADING_SCHEME==10 |
|
#warning direct threading scheme 10: plain (no attempt at scheduling) |
|
# define CFA_NEXT |
|
# define NEXT_P0 |
|
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
|
# define NEXT_INST (*ip) |
|
# define INC_IP(const_inc) ({ip+=(const_inc);}) |
|
# define DEF_CA |
|
# define NEXT_P1 |
|
# define NEXT_P2 ({cfa=*ip++; goto *cfa;}) |
|
# define EXEC(XT) ({cfa=(XT); goto *cfa;}) |
|
#endif |
|
|
|
/* direct threaded */ |
|
#else |
/* indirect THREADED */ |
/* indirect THREADED */ |
|
|
#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==1 |
&& defined(LONG_LATENCY) && defined(CISC_NEXT) |
#warning indirect threading scheme 1: autoinc, long latency, cisc |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip++;}) |
# define NEXT_P0 ({cfa=*ip++;}) |
# define IP (ip-1) |
# define IP (ip-1) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 234
|
Line 287
|
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
#endif |
#endif |
|
|
#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==2 |
&& defined(LONG_LATENCY) && !defined(CISC_NEXT) |
#warning indirect threading scheme 2: autoinc, long latency |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip++;}) |
# define NEXT_P0 ({cfa=*ip++;}) |
# define IP (ip-1) |
# define IP (ip-1) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 247
|
Line 302
|
#endif |
#endif |
|
|
|
|
#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==3 |
&& !defined(LONG_LATENCY) && defined(CISC_NEXT) |
#warning indirect threading scheme 3: autoinc, low latency, cisc |
|
# define CFA_NEXT |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 259
|
Line 316
|
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
#endif |
#endif |
|
|
#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==4 |
&& !defined(LONG_LATENCY) && !defined(CISC_NEXT) |
#warning indirect threading scheme 4: autoinc, low latency |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip++;}) |
# define NEXT_P0 ({cfa=*ip++;}) |
# define IP (ip-1) |
# define IP (ip-1) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 272
|
Line 331
|
#endif |
#endif |
|
|
|
|
/* without autoincrement */ |
#if THREADING_SCHEME==5 |
|
#warning indirect threading scheme 5: long latency, cisc |
#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
# define CFA_NEXT |
&& defined(LONG_LATENCY) && defined(CISC_NEXT) |
|
# define NEXT_P0 ({cfa=*ip;}) |
# define NEXT_P0 ({cfa=*ip;}) |
# define IP (ip) |
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 286
|
Line 345
|
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
#endif |
#endif |
|
|
#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==6 |
&& defined(LONG_LATENCY) && !defined(CISC_NEXT) |
#warning indirect threading scheme 6: long latency |
|
# define CFA_NEXT |
# define NEXT_P0 ({cfa=*ip;}) |
# define NEXT_P0 ({cfa=*ip;}) |
# define IP (ip) |
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
# 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 298
|
Line 359
|
# define EXEC(XT) ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;}) |
# define EXEC(XT) ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;}) |
#endif |
#endif |
|
|
|
#if THREADING_SCHEME==7 |
|
#warning indirect threading scheme 7: low latency |
|
# define CFA_NEXT |
|
# define NEXT_P0 ({cfa=*ip;}) |
|
# define IP (ip) |
|
# define SET_IP(p) ({ip=(p); NEXT_P0;}) |
|
# define NEXT_INST (cfa) |
|
# define INC_IP(const_inc) ({cfa=IP[const_inc]; ip+=(const_inc);}) |
|
# define DEF_CA Label ca; |
|
# define NEXT_P1 ({ip++; ca=*cfa;}) |
|
# define NEXT_P2 ({goto *ca;}) |
|
# define EXEC(XT) ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;}) |
|
#endif |
|
|
#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
#if THREADING_SCHEME==8 |
&& !defined(LONG_LATENCY) && defined(CISC_NEXT) |
#warning indirect threading scheme 8: low latency,cisc |
|
# define CFA_NEXT |
# define NEXT_P0 |
# define NEXT_P0 |
# define IP (ip) |
# define IP (ip) |
|
# 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 |
Line 311
|
Line 387
|
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
# define EXEC(XT) ({cfa=(XT); goto **cfa;}) |
#endif |
#endif |
|
|
#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\ |
/* indirect threaded */ |
&& !defined(LONG_LATENCY) && !defined(CISC_NEXT) |
|
# define NEXT_P0 ({cfa=*ip;}) |
|
# define IP (ip) |
|
# define NEXT_INST (cfa) |
|
# define INC_IP(const_inc) ({cfa=IP[const_inc]; ip+=(const_inc);}) |
|
# define DEF_CA Label ca; |
|
# define NEXT_P1 ({ip++; ca=*cfa;}) |
|
# define NEXT_P2 ({goto *ca;}) |
|
# define EXEC(XT) ({DEF_CA cfa=(XT); ca=*cfa; goto *ca;}) |
|
#endif |
#endif |
|
|
#if defined(CISC_NEXT) && !defined(LONG_LATENCY) |
|
# define NEXT1_P1 |
|
# ifdef DIRECT_THREADED |
|
# define NEXT1_P2 ({goto *cfa;}) |
|
# else |
|
# define NEXT1_P2 ({goto **cfa;}) |
|
# endif /* DIRECT_THREADED */ |
|
#else /* !defined(CISC_NEXT) || defined(LONG_LATENCY) */ |
|
# ifdef DIRECT_THREADED |
|
# define NEXT1_P1 |
|
# define NEXT1_P2 ({goto *cfa;}) |
|
# else /* !DIRECT_THREADED */ |
|
# define NEXT1_P1 ({ca = *cfa;}) |
|
# define NEXT1_P2 ({goto *ca;}) |
|
# endif /* !DIRECT_THREADED */ |
|
#endif /* !defined(CISC_NEXT) || defined(LONG_LATENCY) */ |
|
|
|
#endif /* !defined(DOUBLY_INDIRECT) */ |
#endif /* !defined(DOUBLY_INDIRECT) */ |
|
|
#define NEXT ({DEF_CA NEXT_P1; NEXT_P2;}) |
#define NEXT ({DEF_CA NEXT_P1; NEXT_P2;}) |
|
#define IPTOS NEXT_INST |