| 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 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 19 | static void fnop(void) | 
|  | 20 | { | 
|  | 21 | } | 
|  | 22 |  | 
|  | 23 | static void fclex(void) | 
|  | 24 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 25 | partial_status &= | 
|  | 26 | ~(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; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | } | 
|  | 31 |  | 
|  | 32 | /* Needs to be externally visible */ | 
| Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 33 | void finit_soft_fpu(struct i387_soft_struct *soft) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 34 | { | 
| Daniel Glöckner | ab9e185 | 2009-03-04 19:42:27 +0100 | [diff] [blame] | 35 | struct address *oaddr, *iaddr; | 
| Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 36 | memset(soft, 0, sizeof(*soft)); | 
| Daniel Glöckner | ab9e185 | 2009-03-04 19:42:27 +0100 | [diff] [blame] | 37 | soft->cwd = 0x037f; | 
|  | 38 | soft->swd = 0; | 
|  | 39 | soft->ftop = 0;	/* We don't keep top in the status word internally. */ | 
|  | 40 | soft->twd = 0xffff; | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 41 | /* The behaviour is different from that detailed in | 
|  | 42 | Section 15.1.6 of the Intel manual */ | 
| Daniel Glöckner | ab9e185 | 2009-03-04 19:42:27 +0100 | [diff] [blame] | 43 | oaddr = (struct address *)&soft->foo; | 
|  | 44 | oaddr->offset = 0; | 
|  | 45 | oaddr->selector = 0; | 
|  | 46 | iaddr = (struct address *)&soft->fip; | 
|  | 47 | iaddr->offset = 0; | 
|  | 48 | iaddr->selector = 0; | 
|  | 49 | iaddr->opcode = 0; | 
|  | 50 | soft->no_update = 1; | 
|  | 51 | } | 
|  | 52 |  | 
|  | 53 | void finit(void) | 
|  | 54 | { | 
| H. Peter Anvin | c3f8978 | 2010-05-10 13:37:16 -0700 | [diff] [blame] | 55 | finit_soft_fpu(¤t->thread.fpu.state->soft); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 56 | } | 
|  | 57 |  | 
|  | 58 | /* | 
|  | 59 | * These are nops on the i387.. | 
|  | 60 | */ | 
|  | 61 | #define feni fnop | 
|  | 62 | #define fdisi fnop | 
|  | 63 | #define fsetpm fnop | 
|  | 64 |  | 
|  | 65 | static FUNC const finit_table[] = { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 66 | feni, fdisi, fclex, finit, | 
|  | 67 | fsetpm, FPU_illegal, FPU_illegal, FPU_illegal | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 68 | }; | 
|  | 69 |  | 
|  | 70 | void finit_(void) | 
|  | 71 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 72 | (finit_table[FPU_rm]) (); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 73 | } | 
|  | 74 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 75 | static void fstsw_ax(void) | 
|  | 76 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 77 | *(short *)&FPU_EAX = status_word(); | 
|  | 78 | no_ip_update = 1; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 79 | } | 
|  | 80 |  | 
|  | 81 | static FUNC const fstsw_table[] = { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 82 | fstsw_ax, FPU_illegal, FPU_illegal, FPU_illegal, | 
|  | 83 | FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 84 | }; | 
|  | 85 |  | 
|  | 86 | void fstsw_(void) | 
|  | 87 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 88 | (fstsw_table[FPU_rm]) (); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 89 | } | 
|  | 90 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 91 | static FUNC const fp_nop_table[] = { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 92 | fnop, FPU_illegal, FPU_illegal, FPU_illegal, | 
|  | 93 | FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 94 | }; | 
|  | 95 |  | 
|  | 96 | void fp_nop(void) | 
|  | 97 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 98 | (fp_nop_table[FPU_rm]) (); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 99 | } | 
|  | 100 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 101 | void fld_i_(void) | 
|  | 102 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 103 | FPU_REG *st_new_ptr; | 
|  | 104 | int i; | 
|  | 105 | u_char tag; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 106 |  | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 107 | if (STACK_OVERFLOW) { | 
|  | 108 | FPU_stack_overflow(); | 
|  | 109 | return; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 110 | } | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 111 |  | 
|  | 112 | /* fld st(i) */ | 
|  | 113 | i = FPU_rm; | 
|  | 114 | if (NOT_EMPTY(i)) { | 
|  | 115 | reg_copy(&st(i), st_new_ptr); | 
|  | 116 | tag = FPU_gettagi(i); | 
|  | 117 | push(); | 
|  | 118 | FPU_settag0(tag); | 
|  | 119 | } else { | 
|  | 120 | if (control_word & CW_Invalid) { | 
|  | 121 | /* The masked response */ | 
|  | 122 | FPU_stack_underflow(); | 
|  | 123 | } else | 
|  | 124 | EXCEPTION(EX_StackUnder); | 
|  | 125 | } | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 126 |  | 
|  | 127 | } | 
|  | 128 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 129 | void fxch_i(void) | 
|  | 130 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 131 | /* fxch st(i) */ | 
|  | 132 | FPU_REG t; | 
|  | 133 | int i = FPU_rm; | 
|  | 134 | FPU_REG *st0_ptr = &st(0), *sti_ptr = &st(i); | 
|  | 135 | long tag_word = fpu_tag_word; | 
|  | 136 | int regnr = top & 7, regnri = ((regnr + i) & 7); | 
|  | 137 | u_char st0_tag = (tag_word >> (regnr * 2)) & 3; | 
|  | 138 | u_char sti_tag = (tag_word >> (regnri * 2)) & 3; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 139 |  | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 140 | if (st0_tag == TAG_Empty) { | 
|  | 141 | if (sti_tag == TAG_Empty) { | 
|  | 142 | FPU_stack_underflow(); | 
|  | 143 | FPU_stack_underflow_i(i); | 
|  | 144 | return; | 
|  | 145 | } | 
|  | 146 | if (control_word & CW_Invalid) { | 
|  | 147 | /* Masked response */ | 
|  | 148 | FPU_copy_to_reg0(sti_ptr, sti_tag); | 
|  | 149 | } | 
|  | 150 | FPU_stack_underflow_i(i); | 
|  | 151 | return; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 152 | } | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 153 | if (sti_tag == TAG_Empty) { | 
|  | 154 | if (control_word & CW_Invalid) { | 
|  | 155 | /* Masked response */ | 
|  | 156 | FPU_copy_to_regi(st0_ptr, st0_tag, i); | 
|  | 157 | } | 
|  | 158 | FPU_stack_underflow(); | 
|  | 159 | return; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 160 | } | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 161 | clear_C1(); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 162 |  | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 163 | reg_copy(st0_ptr, &t); | 
|  | 164 | reg_copy(sti_ptr, st0_ptr); | 
|  | 165 | reg_copy(&t, sti_ptr); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 |  | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 167 | tag_word &= ~(3 << (regnr * 2)) & ~(3 << (regnri * 2)); | 
|  | 168 | tag_word |= (sti_tag << (regnr * 2)) | (st0_tag << (regnri * 2)); | 
|  | 169 | fpu_tag_word = tag_word; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 170 | } | 
|  | 171 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 172 | void ffree_(void) | 
|  | 173 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 174 | /* ffree st(i) */ | 
|  | 175 | FPU_settagi(FPU_rm, TAG_Empty); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 176 | } | 
|  | 177 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 178 | void ffreep(void) | 
|  | 179 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 180 | /* ffree st(i) + pop - unofficial code */ | 
|  | 181 | FPU_settagi(FPU_rm, TAG_Empty); | 
|  | 182 | FPU_pop(); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 183 | } | 
|  | 184 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 185 | void fst_i_(void) | 
|  | 186 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 187 | /* fst st(i) */ | 
|  | 188 | FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 189 | } | 
|  | 190 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 191 | void fstp_i(void) | 
|  | 192 | { | 
| Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 193 | /* fstp st(i) */ | 
|  | 194 | FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm); | 
|  | 195 | FPU_pop(); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 196 | } |