version 1.26, 2004/06/19 14:19:44
|
version 1.36, 2007/02/26 19:07:05
|
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,2005 Free Software Foundation, Inc. |
|
|
This file is part of Gforth. |
This file is part of Gforth. |
|
|
Line 91
|
Line 91
|
|
|
*/ |
*/ |
|
|
|
#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 |
|
|
|
#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);} 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 |
# ifndef DEBUG_DITC |
# ifndef DEBUG_DITC |
# define DEBUG_DITC 0 |
# define DEBUG_DITC 0 |
Line 108
|
Line 141
|
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) ({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; ca;}) |
|
|
#elif defined(NO_IP) |
#elif defined(NO_IP) |
|
|
Line 122
|
Line 155
|
#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) |
/* original: */ |
|
/* #define EXEC1(XT) do {cfa=(XT); goto **cfa;} while(0) */ |
|
/* fake, to make syntax check work */ |
|
#define EXEC1(XT) ({cfa=(XT); *cfa;}) |
|
|
#else /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */ |
#else /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */ |
|
|
Line 151
|
Line 187
|
*/ |
*/ |
#define KILLS asm("":"=X"(cfa)); |
#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_P2 do {goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {KILLS goto **(ip-1);} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {KILLS goto **(ip++);} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {KILLS goto **(ip-1);} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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 NEXT_P0 |
# define CFA cfa |
# define CFA cfa |
Line 267
|
Line 196
|
# 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) ({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_P2 do {goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
# 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_P2 do {cfa=*ip++; goto *cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#endif |
|
|
|
/* direct threaded */ |
/* direct threaded */ |
#else |
#else |
/* indirect THREADED */ |
/* 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_P2 do {goto **cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *ca;} while(0) |
|
# define EXEC(XT) do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0) |
|
#endif |
|
|
|
|
|
#if THREADING_SCHEME==3 |
|
#warning indirect threading scheme 3: autoinc, 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_P2 do {cfa=*ip++; goto **cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *ca;} while(0) |
|
# define EXEC(XT) do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0) |
|
#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_P2 do {goto **cfa;} while(0) |
|
# define EXEC(XT) do {cfa=(XT); goto **cfa;} while(0) |
|
#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_P2 do {goto *ca;} while(0) |
|
# define EXEC(XT) do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0) |
|
#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_P2 do {goto *ca;} while(0) |
|
# define EXEC(XT) do {DEF_CA cfa=(XT); ca=*cfa; goto *ca;} while(0) |
|
#endif |
|
|
|
#if THREADING_SCHEME==8 |
|
#warning indirect threading scheme 8: low latency,cisc |
#warning indirect threading scheme 8: low latency,cisc |
# define NEXT_P0 |
# define NEXT_P0 |
# define CFA cfa |
# define CFA cfa |
Line 427
|
Line 212
|
# 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) ({cfa=(XT); *cfa;}) |
#endif |
|
|
|
/* indirect threaded */ |
/* indirect threaded */ |
#endif |
#endif |
|
|
#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 |
|