Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /*---------------------------------------------------------------------------+ |
| 2 | | fpu_emu.h | |
| 3 | | | |
| 4 | | Copyright (C) 1992,1993,1994,1997 | |
| 5 | | W. Metzenthen, 22 Parker St, Ormond, Vic 3163, | |
| 6 | | Australia. E-mail billm@suburbia.net | |
| 7 | | | |
| 8 | +---------------------------------------------------------------------------*/ |
| 9 | |
| 10 | |
| 11 | #ifndef _FPU_EMU_H_ |
| 12 | #define _FPU_EMU_H_ |
| 13 | |
| 14 | /* |
| 15 | * Define PECULIAR_486 to get a closer approximation to 80486 behaviour, |
| 16 | * rather than behaviour which appears to be cleaner. |
| 17 | * This is a matter of opinion: for all I know, the 80486 may simply |
| 18 | * be complying with the IEEE spec. Maybe one day I'll get to see the |
| 19 | * spec... |
| 20 | */ |
| 21 | #define PECULIAR_486 |
| 22 | |
| 23 | #ifdef __ASSEMBLY__ |
| 24 | #include "fpu_asm.h" |
| 25 | #define Const(x) $##x |
| 26 | #else |
| 27 | #define Const(x) x |
| 28 | #endif |
| 29 | |
| 30 | #define EXP_BIAS Const(0) |
| 31 | #define EXP_OVER Const(0x4000) /* smallest invalid large exponent */ |
| 32 | #define EXP_UNDER Const(-0x3fff) /* largest invalid small exponent */ |
| 33 | #define EXP_WAY_UNDER Const(-0x6000) /* Below the smallest denormal, but |
| 34 | still a 16 bit nr. */ |
| 35 | #define EXP_Infinity EXP_OVER |
| 36 | #define EXP_NaN EXP_OVER |
| 37 | |
| 38 | #define EXTENDED_Ebias Const(0x3fff) |
| 39 | #define EXTENDED_Emin (-0x3ffe) /* smallest valid exponent */ |
| 40 | |
| 41 | #define SIGN_POS Const(0) |
| 42 | #define SIGN_NEG Const(0x80) |
| 43 | |
| 44 | #define SIGN_Positive Const(0) |
| 45 | #define SIGN_Negative Const(0x8000) |
| 46 | |
| 47 | |
| 48 | /* Keep the order TAG_Valid, TAG_Zero, TW_Denormal */ |
| 49 | /* The following fold to 2 (Special) in the Tag Word */ |
| 50 | #define TW_Denormal Const(4) /* De-normal */ |
| 51 | #define TW_Infinity Const(5) /* + or - infinity */ |
| 52 | #define TW_NaN Const(6) /* Not a Number */ |
| 53 | #define TW_Unsupported Const(7) /* Not supported by an 80486 */ |
| 54 | |
| 55 | #define TAG_Valid Const(0) /* valid */ |
| 56 | #define TAG_Zero Const(1) /* zero */ |
| 57 | #define TAG_Special Const(2) /* De-normal, + or - infinity, |
| 58 | or Not a Number */ |
| 59 | #define TAG_Empty Const(3) /* empty */ |
Randy Dunlap | d606f88 | 2006-12-07 02:14:00 +0100 | [diff] [blame] | 60 | #define TAG_Error Const(0x80) /* probably need to abort */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 61 | |
| 62 | #define LOADED_DATA Const(10101) /* Special st() number to identify |
| 63 | loaded data (not on stack). */ |
| 64 | |
| 65 | /* A few flags (must be >= 0x10). */ |
| 66 | #define REV 0x10 |
| 67 | #define DEST_RM 0x20 |
| 68 | #define LOADED 0x40 |
| 69 | |
| 70 | #define FPU_Exception Const(0x80000000) /* Added to tag returns. */ |
| 71 | |
| 72 | |
| 73 | #ifndef __ASSEMBLY__ |
| 74 | |
| 75 | #include "fpu_system.h" |
| 76 | |
| 77 | #include <asm/sigcontext.h> /* for struct _fpstate */ |
| 78 | #include <asm/math_emu.h> |
| 79 | #include <linux/linkage.h> |
| 80 | |
| 81 | /* |
| 82 | #define RE_ENTRANT_CHECKING |
| 83 | */ |
| 84 | |
| 85 | #ifdef RE_ENTRANT_CHECKING |
| 86 | extern u_char emulating; |
| 87 | # define RE_ENTRANT_CHECK_OFF emulating = 0 |
| 88 | # define RE_ENTRANT_CHECK_ON emulating = 1 |
| 89 | #else |
| 90 | # define RE_ENTRANT_CHECK_OFF |
| 91 | # define RE_ENTRANT_CHECK_ON |
| 92 | #endif /* RE_ENTRANT_CHECKING */ |
| 93 | |
| 94 | #define FWAIT_OPCODE 0x9b |
| 95 | #define OP_SIZE_PREFIX 0x66 |
| 96 | #define ADDR_SIZE_PREFIX 0x67 |
| 97 | #define PREFIX_CS 0x2e |
| 98 | #define PREFIX_DS 0x3e |
| 99 | #define PREFIX_ES 0x26 |
| 100 | #define PREFIX_SS 0x36 |
| 101 | #define PREFIX_FS 0x64 |
| 102 | #define PREFIX_GS 0x65 |
| 103 | #define PREFIX_REPE 0xf3 |
| 104 | #define PREFIX_REPNE 0xf2 |
| 105 | #define PREFIX_LOCK 0xf0 |
| 106 | #define PREFIX_CS_ 1 |
| 107 | #define PREFIX_DS_ 2 |
| 108 | #define PREFIX_ES_ 3 |
| 109 | #define PREFIX_FS_ 4 |
| 110 | #define PREFIX_GS_ 5 |
| 111 | #define PREFIX_SS_ 6 |
| 112 | #define PREFIX_DEFAULT 7 |
| 113 | |
| 114 | struct address { |
| 115 | unsigned int offset; |
| 116 | unsigned int selector:16; |
| 117 | unsigned int opcode:11; |
| 118 | unsigned int empty:5; |
| 119 | }; |
| 120 | struct fpu__reg { |
| 121 | unsigned sigl; |
| 122 | unsigned sigh; |
| 123 | short exp; |
| 124 | }; |
| 125 | |
| 126 | typedef void (*FUNC)(void); |
| 127 | typedef struct fpu__reg FPU_REG; |
| 128 | typedef void (*FUNC_ST0)(FPU_REG *st0_ptr, u_char st0_tag); |
| 129 | typedef struct { u_char address_size, operand_size, segment; } |
| 130 | overrides; |
| 131 | /* This structure is 32 bits: */ |
| 132 | typedef struct { overrides override; |
| 133 | u_char default_mode; } fpu_addr_modes; |
| 134 | /* PROTECTED has a restricted meaning in the emulator; it is used |
| 135 | to signal that the emulator needs to do special things to ensure |
| 136 | that protection is respected in a segmented model. */ |
| 137 | #define PROTECTED 4 |
| 138 | #define SIXTEEN 1 /* We rely upon this being 1 (true) */ |
| 139 | #define VM86 SIXTEEN |
| 140 | #define PM16 (SIXTEEN | PROTECTED) |
| 141 | #define SEG32 PROTECTED |
| 142 | extern u_char const data_sizes_16[32]; |
| 143 | |
| 144 | #define register_base ((u_char *) registers ) |
| 145 | #define fpu_register(x) ( * ((FPU_REG *)( register_base + 10 * (x & 7) )) ) |
| 146 | #define st(x) ( * ((FPU_REG *)( register_base + 10 * ((top+x) & 7) )) ) |
| 147 | |
| 148 | #define STACK_OVERFLOW (FPU_stackoverflow(&st_new_ptr)) |
| 149 | #define NOT_EMPTY(i) (!FPU_empty_i(i)) |
| 150 | |
| 151 | #define NOT_EMPTY_ST0 (st0_tag ^ TAG_Empty) |
| 152 | |
| 153 | #define poppop() { FPU_pop(); FPU_pop(); } |
| 154 | |
| 155 | /* push() does not affect the tags */ |
| 156 | #define push() { top--; } |
| 157 | |
| 158 | #define signbyte(a) (((u_char *)(a))[9]) |
| 159 | #define getsign(a) (signbyte(a) & 0x80) |
| 160 | #define setsign(a,b) { if (b) signbyte(a) |= 0x80; else signbyte(a) &= 0x7f; } |
| 161 | #define copysign(a,b) { if (getsign(a)) signbyte(b) |= 0x80; \ |
| 162 | else signbyte(b) &= 0x7f; } |
| 163 | #define changesign(a) { signbyte(a) ^= 0x80; } |
| 164 | #define setpositive(a) { signbyte(a) &= 0x7f; } |
| 165 | #define setnegative(a) { signbyte(a) |= 0x80; } |
| 166 | #define signpositive(a) ( (signbyte(a) & 0x80) == 0 ) |
| 167 | #define signnegative(a) (signbyte(a) & 0x80) |
| 168 | |
| 169 | static inline void reg_copy(FPU_REG const *x, FPU_REG *y) |
| 170 | { |
| 171 | *(short *)&(y->exp) = *(const short *)&(x->exp); |
| 172 | *(long long *)&(y->sigl) = *(const long long *)&(x->sigl); |
| 173 | } |
| 174 | |
| 175 | #define exponent(x) (((*(short *)&((x)->exp)) & 0x7fff) - EXTENDED_Ebias) |
| 176 | #define setexponentpos(x,y) { (*(short *)&((x)->exp)) = \ |
| 177 | ((y) + EXTENDED_Ebias) & 0x7fff; } |
| 178 | #define exponent16(x) (*(short *)&((x)->exp)) |
| 179 | #define setexponent16(x,y) { (*(short *)&((x)->exp)) = (y); } |
| 180 | #define addexponent(x,y) { (*(short *)&((x)->exp)) += (y); } |
| 181 | #define stdexp(x) { (*(short *)&((x)->exp)) += EXTENDED_Ebias; } |
| 182 | |
| 183 | #define isdenormal(ptr) (exponent(ptr) == EXP_BIAS+EXP_UNDER) |
| 184 | |
| 185 | #define significand(x) ( ((unsigned long long *)&((x)->sigl))[0] ) |
| 186 | |
| 187 | |
| 188 | /*----- Prototypes for functions written in assembler -----*/ |
| 189 | /* extern void reg_move(FPU_REG *a, FPU_REG *b); */ |
| 190 | |
| 191 | asmlinkage int FPU_normalize(FPU_REG *x); |
| 192 | asmlinkage int FPU_normalize_nuo(FPU_REG *x); |
| 193 | asmlinkage int FPU_u_sub(FPU_REG const *arg1, FPU_REG const *arg2, |
| 194 | FPU_REG *answ, unsigned int control_w, u_char sign, |
| 195 | int expa, int expb); |
| 196 | asmlinkage int FPU_u_mul(FPU_REG const *arg1, FPU_REG const *arg2, |
| 197 | FPU_REG *answ, unsigned int control_w, u_char sign, |
| 198 | int expon); |
| 199 | asmlinkage int FPU_u_div(FPU_REG const *arg1, FPU_REG const *arg2, |
| 200 | FPU_REG *answ, unsigned int control_w, u_char sign); |
| 201 | asmlinkage int FPU_u_add(FPU_REG const *arg1, FPU_REG const *arg2, |
| 202 | FPU_REG *answ, unsigned int control_w, u_char sign, |
| 203 | int expa, int expb); |
| 204 | asmlinkage int wm_sqrt(FPU_REG *n, int dummy1, int dummy2, |
| 205 | unsigned int control_w, u_char sign); |
| 206 | asmlinkage unsigned FPU_shrx(void *l, unsigned x); |
| 207 | asmlinkage unsigned FPU_shrxs(void *v, unsigned x); |
| 208 | asmlinkage unsigned long FPU_div_small(unsigned long long *x, unsigned long y); |
| 209 | asmlinkage int FPU_round(FPU_REG *arg, unsigned int extent, int dummy, |
| 210 | unsigned int control_w, u_char sign); |
| 211 | |
| 212 | #ifndef MAKING_PROTO |
| 213 | #include "fpu_proto.h" |
| 214 | #endif |
| 215 | |
| 216 | #endif /* __ASSEMBLY__ */ |
| 217 | |
| 218 | #endif /* _FPU_EMU_H_ */ |