Annotation of gforth/hppa.h, revision 1.3

1.1       anton       1: /*
1.2       pazsan      2:   $Id: hppa.h,v 1.1 1993/04/08 15:31:36 pazsan Exp pazsan $
1.1       anton       3:   Copyright 1992 by the ANSI figForth Development Group
                      4: 
                      5:   This is the machine-specific part for a HPPA running HP-UX
                      6: */
1.2       pazsan      7: /* cache flush stuff */
1.1       anton       8: 
1.2       pazsan      9: #ifdef DIRECT_THREADED
                     10: 
                     11: extern void * cacheflush(void *, int, int);
                     12: #ifdef DEBUG
                     13: #  define CACHE_FLUSH(addr,size) \
                     14:        ({      fprintf(stderr,"Flushing Cache at %08x:%08x\n",(int) addr, size); \
                     15:                fflush(stderr); \
                     16:                fprintf(stderr,"Cache flushed, final address: %08x\n", \
                     17:                        (int)cacheflush((void *)(addr), (int)(size), 32)); })
1.3     ! pazsan     18: #else
1.2       pazsan     19: #  define CACHE_FLUSH(addr,size) \
                     20:                ({ (void)cacheflush((void *)(addr), (int)(size), 32); })
                     21: #  endif
                     22: #endif
1.1       anton      23: 
1.2       pazsan     24: 
1.1       anton      25: /* Cell and UCell must be the same size as a pointer */
                     26: typedef long Cell;
                     27: typedef unsigned long UCell;
                     28: 
                     29: /* DCell and UDCell must be twice as large as Cell */
                     30: typedef long long DCell;
                     31: typedef unsigned long long UDCell;
                     32: 
                     33: /* define this if IEEE singles and doubles are available as C data types */
                     34: #define IEEE_FP
                     35: 
                     36: /* the IEEE types are used only for loading and storing */
                     37: /* the IEEE double precision type */
                     38: typedef double DFloat;
                     39: /* the IEEE single precision type */
                     40: typedef float SFloat;
                     41: 
                     42: /* define this if the least-significant byte is at the largets address */
                     43: #define BIG_ENDIAN
                     44: 
                     45: #ifdef DIRECT_THREADED
                     46:        /* PFA gives the parameter field address corresponding to a cfa */
                     47: #      define PFA(cfa) (((Cell *)cfa)+2)
                     48:        /* PFA1 is a special version for use just after a NEXT1 */
                     49:        /* the improvement here is that we may destroy cfa before using PFA1 */
1.2       pazsan     50: #      define PFA1(cfa)       PFA(cfa)
1.1       anton      51:        /* HPPA uses register 2 for branch and link */
                     52: 
                     53:        /* CODE_ADDRESS is the address of the code jumped to through the code field */
1.2       pazsan     54: 
1.1       anton      55:        /* MAKE_CF creates an appropriate code field at the cfa; ca is the code address */
                     56:        /* we use ble and a register, since 'bl' only has 21 bits displacement */
                     57: #endif
1.2       pazsan     58: 
1.1       anton      59: #ifdef DIRECT_THREADED
1.2       pazsan     60: 
1.3     ! pazsan     61: #  ifdef DEBUG
        !            62: #        define DOUT(a,b,c,d)  fprintf(stderr,a,b,c,d)
        !            63: #  else
        !            64: #        define DOUT(a,b,c,d)
        !            65: #  endif
1.2       pazsan     66: 
                     67: #  define ASS17(n)(((((n) >> 13) & 0x1F) << 16)| /* first 5 bits */ \
                     68:                                       ((((n) >>  2) & 0x3FF) << 3)| /* second 11 bits */ \
                     69:                                       ((((n) >> 12) & 0x1) << 2)  | /* lo sign (arg!) */ \
                     70:                                       (((n) < 0) << 0)) /* sign bit */
                     71: 
                     72: #  define DIS17(n)(((((n) >> 16) & 0x1F) << 13)| /* first 5 bits */ \
                     73:                                       ((((n) >>  3) & 0x3FF) << 2)| /* second 11 bits */ \
                     74:                                       ((((n) >>  2) & 0x1) << 12) | /* lo sign (arg!) */ \
                     75:                                       (-((n) & 1) << 18)) /* sign bit */
                     76: 
                     77: #      define CODE_ADDRESS(cfa) ((Label)({ \
                     78:                unsigned int *_cfa=(unsigned int *)(cfa); unsigned _ca; \
                     79:                if((_cfa[0] & 0xFFE0E002) == 0xE8000000) /* relative branch */ \
                     80:                        { \
                     81:                                _ca = _cfa[0]; \
                     82:                                _ca = DIS17(_ca); \
                     83:                                _ca += (int) (_cfa + 2); \
                     84:                        } \
                     85:                else if((_cfa[0] & 0xFFE0E002) == 0xE0000000) /* absolute branch */ \
                     86:                        { \
                     87:                                _ca = _cfa[0]; \
                     88:                                _ca = DIS17(_ca); \
                     89:                        } \
                     90:                else \
                     91:                        { \
                     92:                                _ca = _cfa[0]; \
                     93:                                _ca = (_ca<<31) | \
                     94:                                      ((_ca>>1 ) & 0x00001800) | \
                     95:                                      ((_ca>>3 ) & 0x0003E000) | \
                     96:                                      ((_ca<<4 ) & 0x000C0000) | \
                     97:                                      ((_ca<<19) & 0x7FF00000) |  \
                     98:                                      ((_cfa[1]>>1) & 0xFFC); \
                     99:                        } \
                    100:                /* printf("code-address at %08x: %08x\n",_ca,_cfa); */ \
                    101:                _ca; \
                    102:        }))
                    103: 
                    104: #      define MAKE_CF(cfa,ca) \
                    105:        ({ \
                    106:                long *_cfa   = (long *)(cfa); \
1.3     ! pazsan    107:                int _ca      = (int)(ca)+4; \
1.2       pazsan    108:                int _dp      = _ca-(int)(_cfa+2); \
                    109:                \
                    110:                if(_ca < 0x40000) /* Branch absolute */ \
                    111:                        { \
                    112:                                _cfa[0] =((0x38 << 26) | /* major opcode */ \
                    113:                                          (   0 << 21) | /* register */ \
                    114:                                          (   0 << 13) | /* space register */ \
                    115:                                          (   0 <<  1))| /* if 1, don't execute delay slot */ \
                    116:                       ASS17(_ca); \
1.3     ! pazsan    117:                                _cfa[1] = ((long *)(_ca))[-1]; /* or %r0,%r0,%r0 */; \
1.2       pazsan    118:                        } \
                    119:                else if(_dp < 0x40000 || _dp >= -0x40000) \
                    120:                        { \
                    121:                                _cfa[0] =((0x3A << 26) | /* major opcode */ \
                    122:                                          (   0 << 21) | /* register */ \
                    123:                                          (   0 << 13) | /* space register */ \
                    124:                                          (   0 <<  1))| /* if 1, don't execute delay slot */ \
                    125:                                          ASS17(_dp); \
1.3     ! pazsan    126:                                _cfa[1] = ((long *)(_ca))[-1]; /* 0x08000240 or %r0,%r0,%r0 */; \
1.2       pazsan    127:                        } \
                    128:                else \
                    129:                        { \
1.3     ! pazsan    130:                                _ca -= 4; \
1.2       pazsan    131:                                _cfa[0] = (0x08 << 26) | \
                    132:                                          ((int)_ca<0) | \
                    133:                                          (_ca & 0x00001800)<<1 | \
                    134:                                          (_ca & 0x0003E000)<<3 | \
                    135:                                          (_ca & 0x000C0000)>>4 | \
                    136:                                          (_ca & 0x7FF00000)>>19; \
                    137:             _ca &= 0x3FF; \
                    138:                                _cfa[1] =((0x38 << 26) | /* major opcode */ \
                    139:                                          (   1 << 21) | /* register */ \
                    140:                                          (   0 << 13) | /* space register */ \
                    141:                                          (   1 <<  1))| /* if 1, don't execute delay slot */ \
                    142:                                          ASS17(_ca); \
                    143:                        } \
                    144:                        DOUT("%08x: %08x,%08x\n",(int)_cfa,_cfa[0],_cfa[1]); \
                    145:        })
1.1       anton     146:        /* HP wins the price for the most obfuscated binary opcode */
                    147: 
                    148:        /* this is the point where the does code starts if label points to the
                    149:         * jump dodoes */
                    150: 
1.3     ! pazsan    151: #      define DOES_CODE(cfa)   ((Xt *)(((long *)(cfa))[1]))
1.1       anton     152: 
                    153:        /* this is a special version of DOES_CODE for use in dodoes */
1.2       pazsan    154: #      define DOES_CODE1(cfa)  DOES_CODE(cfa) \
                    155: /*     ({register Xt * _ret asm("%r31"); _ret;}) */
                    156: 
1.1       anton     157:        /* HPPA uses register 2 for branch and link */
                    158: 
1.2       pazsan    159: #      define DOES_HANDLER_SIZE 8
1.3     ! pazsan    160: #      define MAKE_DOES_HANDLER(cfa)  ({ *(long *)(cfa)=DODOES; })
        !           161: #ifdef undefined
1.2       pazsan    162: #      define MAKE_DOES_HANDLER(cfa) \
                    163:        ({ \
                    164:                long *_cfa   = (long *)(cfa); \
                    165:                int _ca      = (int)symbols[DODOES]; \
                    166:                int _dp      = _ca-(int)(_cfa+2); \
                    167:                \
                    168:                if(_ca < 0x40000) /* Branch absolute */ \
                    169:                        { \
                    170:                                _cfa[0] =((0x38 << 26) | /* major opcode */ \
                    171:                                          (   0 << 21) | /* register */ \
                    172:                                          (   0 << 13) | /* space register */ \
                    173:                                          (   0 <<  1))| /* if 1, don't execute delay slot */ \
                    174:                                          ASS17(_ca); \
                    175:                                _cfa[1] = 0x08000240 /* or %r0,%r0,%r0 */; \
                    176:                        } \
                    177:                else if(_dp < 0x40000 || _dp >= -0x40000) \
                    178:                        { \
                    179:                                _cfa[0] =((0x3A << 26) | /* major opcode */ \
                    180:                                          (   0 << 21) | /* register */ \
                    181:                                          (   0 << 13) | /* space register */ \
                    182:                                          (   0 <<  1))| /* if 1, don't execute delay slot */ \
                    183:                                          ASS17(_dp); \
                    184:                                _cfa[1] = 0x08000240 /* or %r0,%r0,%r0 */; \
                    185:                        } \
                    186:                else \
                    187:                        { \
                    188:                                fprintf(stderr,"DOESHANDLER assignment failed, use ITC instead of DTC\n"); exit(1); \
                    189:                                _cfa[0] = (0x08 << 26) | \
                    190:                                          ((int)_ca<0) | \
                    191:                                          (_ca & 0x00001800)<<1 | \
                    192:                                          (_ca & 0x0003E000)<<3 | \
                    193:                                          (_ca & 0x000C0000)>>4 | \
                    194:                                          (_ca & 0x7FF00000)>>19; \
                    195:             _ca &= 0x3FF; \
                    196:                                _cfa[1] =((0x38 << 26) | /* major opcode */ \
                    197:                                          (   1 << 21) | /* register */ \
                    198:                                          (   0 << 13) | /* space register */ \
                    199:                                          (   1 <<  1))| /* if 1, don't execute delay slot */ \
                    200:                                          ASS17(_ca); \
                    201:                        } \
                    202:                        DOUT("%08x: %08x,%08x\n",(int)_cfa,_cfa[0],_cfa[1]); \
                    203:        })
1.3     ! pazsan    204: #endif
1.2       pazsan    205: 
                    206: #      define MAKE_DOES_CF(cfa,ca) \
                    207:        ({ \
                    208:                long *_cfa   = (long *)(cfa); \
1.3     ! pazsan    209:                int _ca      = (int)symbols[DODOES]; \
1.2       pazsan    210:                int _dp      = _ca-(int)(_cfa+2); \
                    211:                \
1.3     ! pazsan    212:                if(_ca < 0x40000) /* Branch absolute */ \
1.2       pazsan    213:                        { \
1.3     ! pazsan    214:                                _cfa[0] =((0x38 << 26) | /* major opcode */ \
1.2       pazsan    215:                                          (   0 << 21) | /* register */ \
                    216:                                          (   0 << 13) | /* space register */ \
1.3     ! pazsan    217:                                          (   1 <<  1))| /* if 1, don't execute delay slot */ \
        !           218:                                          ASS17(_ca); \
        !           219:                                _cfa[1] = (long)(ca); \
1.2       pazsan    220:                        } \
1.3     ! pazsan    221:                else if(_dp < 0x40000 || _dp >= -0x40000) \
1.2       pazsan    222:                        { \
1.3     ! pazsan    223:                                _cfa[0] =((0x3A << 26) | /* major opcode */ \
1.2       pazsan    224:                                          (   0 << 21) | /* register */ \
                    225:                                          (   0 << 13) | /* space register */ \
1.3     ! pazsan    226:                                          (   1 <<  1))| /* if 1, don't execute delay slot */ \
        !           227:                                          ASS17(_dp); \
        !           228:                                _cfa[1] = (long)(ca); \
1.2       pazsan    229:                        } \
                    230:                else \
                    231:                        { \
1.3     ! pazsan    232:                                fprintf(stderr,"DOESCFA assignment failed, use ITC instead of DTC\n"); exit(1); \
1.2       pazsan    233:                        } \
                    234:                        DOUT("%08x: %08x,%08x\n",(int)_cfa,_cfa[0],_cfa[1]); \
                    235:        })
1.1       anton     236:        /* this stores a call dodoes at addr */
                    237: #endif
                    238: 
                    239: /* OS dependences */
                    240: 
                    241: #define SEEK_SET 0
                    242: #define rint(x)        floor((x)+0.5)
                    243: 
1.2       pazsan    244: 

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>