--- gforth/engine/threaded.h	1997/05/21 20:40:12	1.1
+++ gforth/engine/threaded.h	2008/11/01 22:19:31	1.40
@@ -1,12 +1,12 @@
 /* This file defines a number of threading schemes.
 
-  Copyright (C) 1995, 1996 Free Software Foundation, Inc.
+  Copyright (C) 1995, 1996,1997,1999,2003,2004,2005,2007,2008 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., 675 Mass Ave, Cambridge, MA 02139, 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,256 +90,132 @@
 
 */
 
-#ifndef GETCFA
-#  define CFA_NEXT
+#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
-
-#ifdef DOUBLY_INDIRECT
-#  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;})
-#  define NEXT1_P1 ({ca = **cfa;})
-#  define NEXT1_P2 ({goto *ca;})
-
-#else /* !defined(DOUBLY_INDIRECT) */
-
-#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && defined(CFA_NEXT)
-#warning scheme 1
-#  define NEXT_P0	({cfa=*ip++;})
-#  define IP		(ip-1)
-#  define NEXT_INST	(cfa)
-#  define INC_IP(const_inc)	({cfa=IP[const_inc]; ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1
-#  define NEXT_P2	({goto *cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto *cfa;})
 #endif
 
-#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && !defined(CFA_NEXT)
-#warning scheme 2
-#  define NEXT_P0	(ip++)
-#  define IP		(ip-1)
-#  define NEXT_INST	(*(ip-1))
-#  define INC_IP(const_inc)	({ ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1
-#  define NEXT_P2	({goto **(ip-1);})
-#  define EXEC(XT)	({goto *(XT);})
-#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
 
 
-#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && defined(CFA_NEXT)
-#warning scheme 3
-#  define NEXT_P0
-#  define IP		(ip)
-#  define NEXT_INST	(*ip)
-#  define INC_IP(const_inc)	({ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1	({cfa=*ip++;})
-#  define NEXT_P2	({goto *cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto *cfa;})
-#endif
-
-#if defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && !defined(CFA_NEXT)
-#warning scheme 4
-#  define NEXT_P0
-#  define IP		(ip)
-#  define NEXT_INST	(*ip)
-#  define INC_IP(const_inc)	({ ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1
-#  define NEXT_P2	({goto **(ip++);})
-#  define EXEC(XT)	({goto *(XT);})
-#endif
-
-/* without autoincrement */
+#ifdef DOUBLY_INDIRECT
+# ifndef DEBUG_DITC
+#  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 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 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); \
+  ip++;} while(0)
+#  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: */
+/* #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) */
+
+#if defined(DIRECT_THREADED)
+
+/* This lets the compiler know that cfa is dead before; we place it at
+   "goto *"s that perform direct threaded dispatch (i.e., not EXECUTE
+   etc.), and thus do not reach doers, which would use cfa; the only
+   way to a doer is through EXECUTE etc., which set the cfa
+   themselves.
+
+   Some of these direct threaded schemes use "cfa" to hold the code
+   address in normal direct threaded code.  Of course we cannot use
+   KILLS there.
 
-#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && defined(CFA_NEXT)
-#warning scheme 5
-#  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
-#  define NEXT_P1	(ip++)
-#  define NEXT_P2	({goto *cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto *cfa;})
-#endif
+   KILLS works by having an empty asm instruction, and claiming to the
+   compiler that it writes to cfa.
 
-#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && !defined(CFA_NEXT)
-#warning scheme 6
-#  define NEXT_P0
-#  define IP		(ip)
-#  define NEXT_INST	(*ip)
-#  define INC_IP(const_inc)	({ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1	(ip++)
-#  define NEXT_P2	({goto **(ip-1);})
-#  define EXEC(XT)	({goto *(XT);})
-#endif
+   KILLS is optional.  You can write
 
+#define KILLS
 
-#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && defined(CFA_NEXT)
-#warning scheme 7
-#  define NEXT_P0
-#  define IP		(ip)
-#  define NEXT_INST	(*ip)
-#  define INC_IP(const_inc)	({ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1	({cfa=*ip++;})
-#  define NEXT_P2	({goto *cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto *cfa;})
-#endif
+   and lose just a little performance.
+*/
+#define KILLS asm("":"=X"(cfa));
 
-#if defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && !defined(CFA_NEXT)
-#warning scheme 8
+/* #warning direct threading scheme 8: cfa dead, i386 hack */
 #  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)	({ ip+=(const_inc);})
+#  define INC_IP(const_inc)	do { ip+=(const_inc);} while(0)
 #  define DEF_CA
 #  define NEXT_P1	(ip++)
-#  define NEXT_P2	({goto **(ip-1);})
-#  define EXEC(XT)	({goto *(XT);})
-#endif
-
-/* common settings for direct THREADED */
-
+#  define NEXT_P1_5	do {KILLS GOTO(*(ip-1));} while(0)
+#  define EXEC1(XT)	({cfa=(XT); *cfa;})
 
+/* direct threaded */
+#else
 /* indirect THREADED  */
 
-#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && defined(CISC_NEXT)
-#  define NEXT_P0	({cfa=*ip++;})
-#  define IP		(ip-1)
-#  define NEXT_INST	(cfa)
-#  define INC_IP(const_inc)	({cfa=IP[const_inc]; ip+=(const_inc);})
-#  define DEF_CA
-#  define NEXT_P1
-#  define NEXT_P2	({goto **cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto **cfa;})
-#endif
-
-#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && defined(LONG_LATENCY) && !defined(CISC_NEXT)
-#  define NEXT_P0	({cfa=*ip++;})
-#  define IP		(ip-1)
-#  define NEXT_INST	(cfa)
-#  define INC_IP(const_inc)	({cfa=IP[const_inc]; ip+=(const_inc);})
-#  define DEF_CA	Label ca;
-#  define NEXT_P1	({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)\
-    && !defined(LONG_LATENCY) && defined(CISC_NEXT)
-#  define NEXT_P0
-#  define IP		(ip)
-#  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
-
-#if !defined(DIRECT_THREADED) && defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && !defined(CISC_NEXT)
-#  define NEXT_P0	({cfa=*ip++;})
-#  define IP		(ip-1)
-#  define NEXT_INST	(cfa)
-#  define INC_IP(const_inc)	({cfa=IP[const_inc]; ip+=(const_inc);})
-#  define DEF_CA	Label ca;
-#  define NEXT_P1	({ca=*cfa;})
-#  define NEXT_P2	({goto *ca;})
-#  define EXEC(XT)	({DEF_CA cfa=(XT); ca=*cfa; goto *ca;})
-#endif
-
-
-/* without autoincrement */
-
-#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && 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
-#  define NEXT_P1	(ip++)
-#  define NEXT_P2	({goto **cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto **cfa;})
-#endif
-
-#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && 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
-
-
-#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && !defined(LONG_LATENCY) && defined(CISC_NEXT)
+/* #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)	({ip+=(const_inc);})
+#  define INC_IP(const_inc)	do {ip+=(const_inc);} while(0)
 #  define DEF_CA
 #  define NEXT_P1
-#  define NEXT_P2	({cfa=*ip++; goto **cfa;})
-#  define EXEC(XT)	({cfa=(XT); goto **cfa;})
-#endif
+#  define NEXT_P1_5	do {cfa=*ip++; GOTO(*cfa);} while(0)
+#  define EXEC1(XT)	({cfa=(XT); *cfa;})
 
-#if !defined(DIRECT_THREADED) && !defined(AUTO_INCREMENT)\
-    && !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;})
+/* indirect threaded */
 #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) */
-
-#define NEXT ({DEF_CA NEXT_P1; NEXT_P2;})
+#endif /* !defined(DOUBLY_INDIRECT) && !defined(NO_IP) */