Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /*---------------------------------------------------------------------------+ |
| 2 | | fpu_aux.c | |
| 3 | | | |
| 4 | | Code to implement some of the FPU auxiliary instructions. | |
| 5 | | | |
| 6 | | Copyright (C) 1992,1993,1994,1997 | |
| 7 | | W. Metzenthen, 22 Parker St, Ormond, Vic 3163, Australia | |
| 8 | | E-mail billm@suburbia.net | |
| 9 | | | |
| 10 | | | |
| 11 | +---------------------------------------------------------------------------*/ |
| 12 | |
| 13 | #include "fpu_system.h" |
| 14 | #include "exception.h" |
| 15 | #include "fpu_emu.h" |
| 16 | #include "status_w.h" |
| 17 | #include "control_w.h" |
| 18 | |
| 19 | |
| 20 | static void fnop(void) |
| 21 | { |
| 22 | } |
| 23 | |
| 24 | static void fclex(void) |
| 25 | { |
| 26 | partial_status &= ~(SW_Backward|SW_Summary|SW_Stack_Fault|SW_Precision| |
| 27 | SW_Underflow|SW_Overflow|SW_Zero_Div|SW_Denorm_Op| |
| 28 | SW_Invalid); |
| 29 | no_ip_update = 1; |
| 30 | } |
| 31 | |
| 32 | /* Needs to be externally visible */ |
| 33 | void finit(void) |
| 34 | { |
| 35 | control_word = 0x037f; |
| 36 | partial_status = 0; |
| 37 | top = 0; /* We don't keep top in the status word internally. */ |
| 38 | fpu_tag_word = 0xffff; |
| 39 | /* The behaviour is different from that detailed in |
| 40 | Section 15.1.6 of the Intel manual */ |
| 41 | operand_address.offset = 0; |
| 42 | operand_address.selector = 0; |
| 43 | instruction_address.offset = 0; |
| 44 | instruction_address.selector = 0; |
| 45 | instruction_address.opcode = 0; |
| 46 | no_ip_update = 1; |
| 47 | } |
| 48 | |
| 49 | /* |
| 50 | * These are nops on the i387.. |
| 51 | */ |
| 52 | #define feni fnop |
| 53 | #define fdisi fnop |
| 54 | #define fsetpm fnop |
| 55 | |
| 56 | static FUNC const finit_table[] = { |
| 57 | feni, fdisi, fclex, finit, |
| 58 | fsetpm, FPU_illegal, FPU_illegal, FPU_illegal |
| 59 | }; |
| 60 | |
| 61 | void finit_(void) |
| 62 | { |
| 63 | (finit_table[FPU_rm])(); |
| 64 | } |
| 65 | |
| 66 | |
| 67 | static void fstsw_ax(void) |
| 68 | { |
| 69 | *(short *) &FPU_EAX = status_word(); |
| 70 | no_ip_update = 1; |
| 71 | } |
| 72 | |
| 73 | static FUNC const fstsw_table[] = { |
| 74 | fstsw_ax, FPU_illegal, FPU_illegal, FPU_illegal, |
| 75 | FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal |
| 76 | }; |
| 77 | |
| 78 | void fstsw_(void) |
| 79 | { |
| 80 | (fstsw_table[FPU_rm])(); |
| 81 | } |
| 82 | |
| 83 | |
| 84 | static FUNC const fp_nop_table[] = { |
| 85 | fnop, FPU_illegal, FPU_illegal, FPU_illegal, |
| 86 | FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal |
| 87 | }; |
| 88 | |
| 89 | void fp_nop(void) |
| 90 | { |
| 91 | (fp_nop_table[FPU_rm])(); |
| 92 | } |
| 93 | |
| 94 | |
| 95 | void fld_i_(void) |
| 96 | { |
| 97 | FPU_REG *st_new_ptr; |
| 98 | int i; |
| 99 | u_char tag; |
| 100 | |
| 101 | if ( STACK_OVERFLOW ) |
| 102 | { FPU_stack_overflow(); return; } |
| 103 | |
| 104 | /* fld st(i) */ |
| 105 | i = FPU_rm; |
| 106 | if ( NOT_EMPTY(i) ) |
| 107 | { |
| 108 | reg_copy(&st(i), st_new_ptr); |
| 109 | tag = FPU_gettagi(i); |
| 110 | push(); |
| 111 | FPU_settag0(tag); |
| 112 | } |
| 113 | else |
| 114 | { |
| 115 | if ( control_word & CW_Invalid ) |
| 116 | { |
| 117 | /* The masked response */ |
| 118 | FPU_stack_underflow(); |
| 119 | } |
| 120 | else |
| 121 | EXCEPTION(EX_StackUnder); |
| 122 | } |
| 123 | |
| 124 | } |
| 125 | |
| 126 | |
| 127 | void fxch_i(void) |
| 128 | { |
| 129 | /* fxch st(i) */ |
| 130 | FPU_REG t; |
| 131 | int i = FPU_rm; |
| 132 | FPU_REG *st0_ptr = &st(0), *sti_ptr = &st(i); |
| 133 | long tag_word = fpu_tag_word; |
| 134 | int regnr = top & 7, regnri = ((regnr + i) & 7); |
| 135 | u_char st0_tag = (tag_word >> (regnr*2)) & 3; |
| 136 | u_char sti_tag = (tag_word >> (regnri*2)) & 3; |
| 137 | |
| 138 | if ( st0_tag == TAG_Empty ) |
| 139 | { |
| 140 | if ( sti_tag == TAG_Empty ) |
| 141 | { |
| 142 | FPU_stack_underflow(); |
| 143 | FPU_stack_underflow_i(i); |
| 144 | return; |
| 145 | } |
| 146 | if ( control_word & CW_Invalid ) |
| 147 | { |
| 148 | /* Masked response */ |
| 149 | FPU_copy_to_reg0(sti_ptr, sti_tag); |
| 150 | } |
| 151 | FPU_stack_underflow_i(i); |
| 152 | return; |
| 153 | } |
| 154 | if ( sti_tag == TAG_Empty ) |
| 155 | { |
| 156 | if ( control_word & CW_Invalid ) |
| 157 | { |
| 158 | /* Masked response */ |
| 159 | FPU_copy_to_regi(st0_ptr, st0_tag, i); |
| 160 | } |
| 161 | FPU_stack_underflow(); |
| 162 | return; |
| 163 | } |
| 164 | clear_C1(); |
| 165 | |
| 166 | reg_copy(st0_ptr, &t); |
| 167 | reg_copy(sti_ptr, st0_ptr); |
| 168 | reg_copy(&t, sti_ptr); |
| 169 | |
| 170 | tag_word &= ~(3 << (regnr*2)) & ~(3 << (regnri*2)); |
| 171 | tag_word |= (sti_tag << (regnr*2)) | (st0_tag << (regnri*2)); |
| 172 | fpu_tag_word = tag_word; |
| 173 | } |
| 174 | |
| 175 | |
| 176 | void ffree_(void) |
| 177 | { |
| 178 | /* ffree st(i) */ |
| 179 | FPU_settagi(FPU_rm, TAG_Empty); |
| 180 | } |
| 181 | |
| 182 | |
| 183 | void ffreep(void) |
| 184 | { |
| 185 | /* ffree st(i) + pop - unofficial code */ |
| 186 | FPU_settagi(FPU_rm, TAG_Empty); |
| 187 | FPU_pop(); |
| 188 | } |
| 189 | |
| 190 | |
| 191 | void fst_i_(void) |
| 192 | { |
| 193 | /* fst st(i) */ |
| 194 | FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm); |
| 195 | } |
| 196 | |
| 197 | |
| 198 | void fstp_i(void) |
| 199 | { |
| 200 | /* fstp st(i) */ |
| 201 | FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm); |
| 202 | FPU_pop(); |
| 203 | } |
| 204 | |