1: /*
2: Copyright 1992 by the ANSI figForth Development Group
3:
4: This is the machine-specific part for a Decstation running Ultrix
5: */
6: /* cache flush stuff */
7:
8: #ifdef DIRECT_THREADED
9:
10: #include <mips/cachectl.h>
11:
12: #define CACHE_FLUSH(addr,size) \
13: cacheflush((char *)(addr), (int)(size), BCACHE)
14:
15: #endif
16:
17: /* Cell and UCell must be the same size as a pointer */
18: typedef long Cell;
19: typedef unsigned long UCell;
20:
21: /* DCell and UDCell must be twice as large as Cell */
22: typedef long long DCell;
23: typedef unsigned long long UDCell;
24:
25: /* define this if IEEE singles and doubles are available as C data types */
26: #define IEEE_FP
27:
28: /* the IEEE types are used only for loading and storing */
29: /* the IEEE double precision type */
30: typedef double DFloat;
31: /* the IEEE single precision type */
32: typedef float SFloat;
33:
34: /* define this if the least-significant byte is at the largets address */
35: /* #define BIG_ENDIAN */
36:
37: /* some definitions for composing opcodes */
38: #define JUMP_MASK 0x03ffffff
39: #define J_PATTERN 0x08000000
40: #define JAL_PATTERN 0x0c000000
41: /* this provides the first 4 bits of a jump address, i.e. it must be <16 */
42: #define SEGMENT_NUM 1
43:
44: #ifdef DIRECT_THREADED
45: /* PFA gives the parameter field address corresponding to a cfa */
46: # define PFA(cfa) (((Cell *)cfa)+2)
47: /* PFA1 is a special version for use just after a NEXT1 */
48: # define PFA1(cfa) PFA(cfa)
49: /* CODE_ADDRESS is the address of the code jumped to through the code field */
50: # define CODE_ADDRESS(cfa) ((Label)(((*(unsigned *)(cfa))^J_PATTERN^(SEGMENT_NUM<<26))<<2))
51: /* MAKE_CF creates an appropriate code field at the cfa; ca is the code address */
52: # define MAKE_CF(cfa,ca) ({long * _cfa = (long *)(cfa); \
53: _cfa[0] = J_PATTERN|((((long)(ca))&JUMP_MASK)>>2); /* J ca */ \
54: _cfa[1] = 0; /* nop */})
55: # ifdef undefined
56: /* the following version uses JAL to make PFA1 faster */
57: # define PFA1(label) ({register Cell *pfa asm("$31"); \
58: pfa; })
59: /* CODE_ADDRESS is the address of the code jumped to through the code field */
60: # define CODE_ADDRESS(cfa) ((Label)(((*(unsigned *)(cfa))^JAL_PATTERN^(SEGMENT_NUM<<26))<<2))
61: # define MAKE_CF(cfa,ca) ({long *_cfa = (long *)(cfa); \
62: long _ca = (long)(ca); \
63: _cfa[0] = JAL_PATTERN|(((((long)_ca)>>2))&JUMP_MASK); /* JAL ca+4 */ \
64: _cfa[1] = 0; /* *(long *)_ca; delay slot */})
65: # endif /* undefined */
66:
67: /* this is the point where the does code starts if label points to the
68: * jump dodoes */
69: # define DOES_CODE(cfa) ((Xt *)(((char *)CODE_ADDRESS(cfa))+8))
70:
71: /* this is a special version of DOES_CODE for use in dodoes */
72: # define DOES_CODE1(cfa) DOES_CODE(cfa)
73:
74: # define DOES_HANDLER_SIZE 8
75: # define MAKE_DOES_CF(cfa,does_code) \
76: ({long does_handlerp=((long)(does_code))-DOES_HANDLER_SIZE; \
77: long *_cfa = (long*)(cfa); \
78: _cfa[0] = J_PATTERN|((does_handlerp&JUMP_MASK)>>2); /* J ca */ \
79: _cfa[1] = 0; /* nop */})
80: /*
81: # define MAKE_DOES_CF(cfa, does_code) ({char *does_handlerp=((char *)does_code)-DOES_HANDLER_SIZE; \
82: MAKE_CF(cfa,does_handlerp); \
83: MAKE_DOES_HANDLER(does_handlerp) ;})
84: */
85: /* this stores a jump dodoes at addr */
86: # define MAKE_DOES_HANDLER(addr) MAKE_CF(addr,symbols[DODOES])
87:
88: #endif
89: #ifdef undefined
90: /* and here are some more efficient versions that can be tried later */
91:
92: /* the first version saves one cycle by doing something useful in the
93: delay slot. !! check that the instruction in the delay slot is legal
94: */
95:
96: #define MAKE_DOESJUMP(addr) ({long * _addr = (long *)addr; \
97: _addr[0] = J_PATTERN|(((((long)symbols[DODOES])>>2)+4)&JUMP_MASK), /* J dodoes+4 */ \
98: _addr[1] = *(long *)symbols[DODOES]; /* delay */})
99:
100: /* the following version uses JAL to make DOES_CODE1 faster */
101: /* !! does the declaration clear the register ? */
102: /* it's ok to use the same reg as in PFA1:
103: dodoes is the only potential problem and I have taken care of it */
104:
105: #define DOES_CODE1(cfa) ({register Code *_does_code asm("$31"); \
106: _does_code; })
107: #define MAKE_DOESJUMP(addr) ({long * _addr = (long *)addr; \
108: _addr[0] = JAL_PATTERN|(((((long)symbols[DODOES])>>2)+4)&JUMP_MASK), /* JAL dodoes+4 */ \
109: _addr[1] = *(long *)symbols[DODOES]; /* delay */})
110:
111: #endif
112:
113: #ifdef FORCE_REG
114: #define IPREG asm("$16")
115: #define SPREG asm("$17")
116: #define RPREG asm("$18")
117: #define LPREG asm("$19")
118: #define CFAREG asm("$20")
119: #define TOSREG asm("$21")
120: #endif /* FORCE_REG */
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>