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