Return to decstation.h CVS log

Up to [gforth] / gforth

Annotation of gforth/decstation.h, revision 1.5

1.1       anton       1: /*
                      2:   Copyright 1992 by the ANSI figForth Development Group
                      3: 
                      4:   This is the machine-specific part for a Decstation running Ultrix
                      5: */
1.3       pazsan      6: /* cache flush stuff */
1.1       anton       7: 
1.3       pazsan      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
1.1       anton      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); \
1.2       pazsan     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 */})
1.1       anton      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
1.2       pazsan     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: /*
1.1       anton      81: #      define MAKE_DOES_CF(cfa, does_code)     ({char *does_handlerp=((char *)does_code)-DOES_HANDLER_SIZE;    \
                     82:                                                  MAKE_CF(cfa,does_handlerp);   \
1.2       pazsan     83:                                                  MAKE_DOES_HANDLER(does_handlerp) ;})
                     84: */
1.1       anton      85:        /* this stores a jump dodoes at addr */
1.2       pazsan     86: #      define MAKE_DOES_HANDLER(addr)  MAKE_CF(addr,symbols[DODOES])
                     87: 
1.1       anton      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; \
1.2       pazsan     97:                                  _addr[0] = J_PATTERN|(((((long)symbols[DODOES])>>2)+4)&JUMP_MASK), /* J dodoes+4 */ \
                     98:                                  _addr[1] = *(long *)symbols[DODOES]; /* delay */})
1.1       anton      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 */
1.2       pazsan    104: 
1.1       anton     105: #define DOES_CODE1(cfa)        ({register Code *_does_code asm("$31"); \
                    106:                                    _does_code; })
                    107: #define MAKE_DOESJUMP(addr)    ({long * _addr = (long *)addr; \
1.2       pazsan    108:                                  _addr[0] = JAL_PATTERN|(((((long)symbols[DODOES])>>2)+4)&JUMP_MASK), /* JAL dodoes+4 */ \
                    109:                                  _addr[1] = *(long *)symbols[DODOES]; /* delay */})
1.1       anton     110: 
                    111: #endif
1.2       pazsan    112: 
1.5     ! anton     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 */