Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /*---------------------------------------------------------------------------+ |
| 2 | | fpu_entry.c | |
| 3 | | | |
| 4 | | The entry functions for wm-FPU-emu | |
| 5 | | | |
| 6 | | Copyright (C) 1992,1993,1994,1996,1997 | |
| 7 | | W. Metzenthen, 22 Parker St, Ormond, Vic 3163, Australia | |
| 8 | | E-mail billm@suburbia.net | |
| 9 | | | |
| 10 | | See the files "README" and "COPYING" for further copyright and warranty | |
| 11 | | information. | |
| 12 | | | |
| 13 | +---------------------------------------------------------------------------*/ |
| 14 | |
| 15 | /*---------------------------------------------------------------------------+ |
| 16 | | Note: | |
| 17 | | The file contains code which accesses user memory. | |
| 18 | | Emulator static data may change when user memory is accessed, due to | |
| 19 | | other processes using the emulator while swapping is in progress. | |
| 20 | +---------------------------------------------------------------------------*/ |
| 21 | |
| 22 | /*---------------------------------------------------------------------------+ |
| 23 | | math_emulate(), restore_i387_soft() and save_i387_soft() are the only | |
| 24 | | entry points for wm-FPU-emu. | |
| 25 | +---------------------------------------------------------------------------*/ |
| 26 | |
| 27 | #include <linux/signal.h> |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 28 | #include <linux/regset.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 29 | |
| 30 | #include <asm/uaccess.h> |
| 31 | #include <asm/desc.h> |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 32 | #include <asm/user.h> |
Suresh Siddha | e8a496a | 2008-05-23 16:26:37 -0700 | [diff] [blame] | 33 | #include <asm/i387.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 34 | |
| 35 | #include "fpu_system.h" |
| 36 | #include "fpu_emu.h" |
| 37 | #include "exception.h" |
| 38 | #include "control_w.h" |
| 39 | #include "status_w.h" |
| 40 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 41 | #define __BAD__ FPU_illegal /* Illegal on an 80486, causes SIGILL */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 42 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 43 | #ifndef NO_UNDOC_CODE /* Un-documented FPU op-codes supported by default. */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 44 | |
| 45 | /* WARNING: These codes are not documented by Intel in their 80486 manual |
| 46 | and may not work on FPU clones or later Intel FPUs. */ |
| 47 | |
| 48 | /* Changes to support the un-doc codes provided by Linus Torvalds. */ |
| 49 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 50 | #define _d9_d8_ fstp_i /* unofficial code (19) */ |
| 51 | #define _dc_d0_ fcom_st /* unofficial code (14) */ |
| 52 | #define _dc_d8_ fcompst /* unofficial code (1c) */ |
| 53 | #define _dd_c8_ fxch_i /* unofficial code (0d) */ |
| 54 | #define _de_d0_ fcompst /* unofficial code (16) */ |
| 55 | #define _df_c0_ ffreep /* unofficial code (07) ffree + pop */ |
| 56 | #define _df_c8_ fxch_i /* unofficial code (0f) */ |
| 57 | #define _df_d0_ fstp_i /* unofficial code (17) */ |
| 58 | #define _df_d8_ fstp_i /* unofficial code (1f) */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 59 | |
| 60 | static FUNC const st_instr_table[64] = { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 61 | fadd__, fld_i_, __BAD__, __BAD__, fadd_i, ffree_, faddp_, _df_c0_, |
| 62 | fmul__, fxch_i, __BAD__, __BAD__, fmul_i, _dd_c8_, fmulp_, _df_c8_, |
| 63 | fcom_st, fp_nop, __BAD__, __BAD__, _dc_d0_, fst_i_, _de_d0_, _df_d0_, |
| 64 | fcompst, _d9_d8_, __BAD__, __BAD__, _dc_d8_, fstp_i, fcompp, _df_d8_, |
| 65 | fsub__, FPU_etc, __BAD__, finit_, fsubri, fucom_, fsubrp, fstsw_, |
| 66 | fsubr_, fconst, fucompp, __BAD__, fsub_i, fucomp, fsubp_, __BAD__, |
| 67 | fdiv__, FPU_triga, __BAD__, __BAD__, fdivri, __BAD__, fdivrp, __BAD__, |
| 68 | fdivr_, FPU_trigb, __BAD__, __BAD__, fdiv_i, __BAD__, fdivp_, __BAD__, |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 69 | }; |
| 70 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 71 | #else /* Support only documented FPU op-codes */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 72 | |
| 73 | static FUNC const st_instr_table[64] = { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 74 | fadd__, fld_i_, __BAD__, __BAD__, fadd_i, ffree_, faddp_, __BAD__, |
| 75 | fmul__, fxch_i, __BAD__, __BAD__, fmul_i, __BAD__, fmulp_, __BAD__, |
| 76 | fcom_st, fp_nop, __BAD__, __BAD__, __BAD__, fst_i_, __BAD__, __BAD__, |
| 77 | fcompst, __BAD__, __BAD__, __BAD__, __BAD__, fstp_i, fcompp, __BAD__, |
| 78 | fsub__, FPU_etc, __BAD__, finit_, fsubri, fucom_, fsubrp, fstsw_, |
| 79 | fsubr_, fconst, fucompp, __BAD__, fsub_i, fucomp, fsubp_, __BAD__, |
| 80 | fdiv__, FPU_triga, __BAD__, __BAD__, fdivri, __BAD__, fdivrp, __BAD__, |
| 81 | fdivr_, FPU_trigb, __BAD__, __BAD__, fdiv_i, __BAD__, fdivp_, __BAD__, |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 82 | }; |
| 83 | |
| 84 | #endif /* NO_UNDOC_CODE */ |
| 85 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 86 | #define _NONE_ 0 /* Take no special action */ |
| 87 | #define _REG0_ 1 /* Need to check for not empty st(0) */ |
| 88 | #define _REGI_ 2 /* Need to check for not empty st(0) and st(rm) */ |
| 89 | #define _REGi_ 0 /* Uses st(rm) */ |
| 90 | #define _PUSH_ 3 /* Need to check for space to push onto stack */ |
| 91 | #define _null_ 4 /* Function illegal or not implemented */ |
| 92 | #define _REGIi 5 /* Uses st(0) and st(rm), result to st(rm) */ |
| 93 | #define _REGIp 6 /* Uses st(0) and st(rm), result to st(rm) then pop */ |
| 94 | #define _REGIc 0 /* Compare st(0) and st(rm) */ |
| 95 | #define _REGIn 0 /* Uses st(0) and st(rm), but handle checks later */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 96 | |
| 97 | #ifndef NO_UNDOC_CODE |
| 98 | |
| 99 | /* Un-documented FPU op-codes supported by default. (see above) */ |
| 100 | |
| 101 | static u_char const type_table[64] = { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 102 | _REGI_, _NONE_, _null_, _null_, _REGIi, _REGi_, _REGIp, _REGi_, |
| 103 | _REGI_, _REGIn, _null_, _null_, _REGIi, _REGI_, _REGIp, _REGI_, |
| 104 | _REGIc, _NONE_, _null_, _null_, _REGIc, _REG0_, _REGIc, _REG0_, |
| 105 | _REGIc, _REG0_, _null_, _null_, _REGIc, _REG0_, _REGIc, _REG0_, |
| 106 | _REGI_, _NONE_, _null_, _NONE_, _REGIi, _REGIc, _REGIp, _NONE_, |
| 107 | _REGI_, _NONE_, _REGIc, _null_, _REGIi, _REGIc, _REGIp, _null_, |
| 108 | _REGI_, _NONE_, _null_, _null_, _REGIi, _null_, _REGIp, _null_, |
| 109 | _REGI_, _NONE_, _null_, _null_, _REGIi, _null_, _REGIp, _null_ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 110 | }; |
| 111 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 112 | #else /* Support only documented FPU op-codes */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 113 | |
| 114 | static u_char const type_table[64] = { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 115 | _REGI_, _NONE_, _null_, _null_, _REGIi, _REGi_, _REGIp, _null_, |
| 116 | _REGI_, _REGIn, _null_, _null_, _REGIi, _null_, _REGIp, _null_, |
| 117 | _REGIc, _NONE_, _null_, _null_, _null_, _REG0_, _null_, _null_, |
| 118 | _REGIc, _null_, _null_, _null_, _null_, _REG0_, _REGIc, _null_, |
| 119 | _REGI_, _NONE_, _null_, _NONE_, _REGIi, _REGIc, _REGIp, _NONE_, |
| 120 | _REGI_, _NONE_, _REGIc, _null_, _REGIi, _REGIc, _REGIp, _null_, |
| 121 | _REGI_, _NONE_, _null_, _null_, _REGIi, _null_, _REGIp, _null_, |
| 122 | _REGI_, _NONE_, _null_, _null_, _REGIi, _null_, _REGIp, _null_ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 123 | }; |
| 124 | |
| 125 | #endif /* NO_UNDOC_CODE */ |
| 126 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 127 | #ifdef RE_ENTRANT_CHECKING |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 128 | u_char emulating = 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 129 | #endif /* RE_ENTRANT_CHECKING */ |
| 130 | |
Ingo Molnar | e8d591d | 2008-01-30 13:30:12 +0100 | [diff] [blame] | 131 | static int valid_prefix(u_char *Byte, u_char __user ** fpu_eip, |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 132 | overrides * override); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 133 | |
Tejun Heo | d315760 | 2009-02-09 22:17:39 +0900 | [diff] [blame] | 134 | void math_emulate(struct math_emu_info *info) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 135 | { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 136 | u_char FPU_modrm, byte1; |
| 137 | unsigned short code; |
| 138 | fpu_addr_modes addr_modes; |
| 139 | int unmasked; |
| 140 | FPU_REG loaded_data; |
| 141 | FPU_REG *st0_ptr; |
| 142 | u_char loaded_tag, st0_tag; |
| 143 | void __user *data_address; |
| 144 | struct address data_sel_off; |
| 145 | struct address entry_sel_off; |
| 146 | unsigned long code_base = 0; |
| 147 | unsigned long code_limit = 0; /* Initialized to stop compiler warnings */ |
| 148 | struct desc_struct code_descriptor; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 149 | |
Suresh Siddha | e8a496a | 2008-05-23 16:26:37 -0700 | [diff] [blame] | 150 | if (!used_math()) { |
| 151 | if (init_fpu(current)) { |
| 152 | do_group_exit(SIGKILL); |
| 153 | return; |
| 154 | } |
| 155 | } |
| 156 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 157 | #ifdef RE_ENTRANT_CHECKING |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 158 | if (emulating) { |
| 159 | printk("ERROR: wm-FPU-emu is not RE-ENTRANT!\n"); |
| 160 | } |
| 161 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 162 | #endif /* RE_ENTRANT_CHECKING */ |
| 163 | |
Tejun Heo | d315760 | 2009-02-09 22:17:39 +0900 | [diff] [blame] | 164 | FPU_info = info; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 165 | |
| 166 | FPU_ORIG_EIP = FPU_EIP; |
| 167 | |
| 168 | if ((FPU_EFLAGS & 0x00020000) != 0) { |
| 169 | /* Virtual 8086 mode */ |
| 170 | addr_modes.default_mode = VM86; |
| 171 | FPU_EIP += code_base = FPU_CS << 4; |
| 172 | code_limit = code_base + 0xffff; /* Assumes code_base <= 0xffff0000 */ |
| 173 | } else if (FPU_CS == __USER_CS && FPU_DS == __USER_DS) { |
| 174 | addr_modes.default_mode = 0; |
| 175 | } else if (FPU_CS == __KERNEL_CS) { |
| 176 | printk("math_emulate: %04x:%08lx\n", FPU_CS, FPU_EIP); |
| 177 | panic("Math emulation needed in kernel"); |
| 178 | } else { |
| 179 | |
| 180 | if ((FPU_CS & 4) != 4) { /* Must be in the LDT */ |
| 181 | /* Can only handle segmented addressing via the LDT |
| 182 | for now, and it must be 16 bit */ |
| 183 | printk("FPU emulator: Unsupported addressing mode\n"); |
| 184 | math_abort(FPU_info, SIGILL); |
| 185 | } |
| 186 | |
| 187 | code_descriptor = LDT_DESCRIPTOR(FPU_CS); |
| 188 | if (SEG_D_SIZE(code_descriptor)) { |
| 189 | /* The above test may be wrong, the book is not clear */ |
| 190 | /* Segmented 32 bit protected mode */ |
| 191 | addr_modes.default_mode = SEG32; |
| 192 | } else { |
| 193 | /* 16 bit protected mode */ |
| 194 | addr_modes.default_mode = PM16; |
| 195 | } |
| 196 | FPU_EIP += code_base = SEG_BASE_ADDR(code_descriptor); |
| 197 | code_limit = code_base |
| 198 | + (SEG_LIMIT(code_descriptor) + |
| 199 | 1) * SEG_GRANULARITY(code_descriptor) |
| 200 | - 1; |
| 201 | if (code_limit < code_base) |
| 202 | code_limit = 0xffffffff; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 203 | } |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 204 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 205 | FPU_lookahead = !(FPU_EFLAGS & X86_EFLAGS_TF); |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 206 | |
| 207 | if (!valid_prefix(&byte1, (u_char __user **) & FPU_EIP, |
| 208 | &addr_modes.override)) { |
| 209 | RE_ENTRANT_CHECK_OFF; |
| 210 | printk |
| 211 | ("FPU emulator: Unknown prefix byte 0x%02x, probably due to\n" |
| 212 | "FPU emulator: self-modifying code! (emulation impossible)\n", |
| 213 | byte1); |
| 214 | RE_ENTRANT_CHECK_ON; |
| 215 | EXCEPTION(EX_INTERNAL | 0x126); |
| 216 | math_abort(FPU_info, SIGILL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 217 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 218 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 219 | do_another_FPU_instruction: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 221 | no_ip_update = 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 222 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 223 | FPU_EIP++; /* We have fetched the prefix and first code bytes. */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 224 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 225 | if (addr_modes.default_mode) { |
| 226 | /* This checks for the minimum instruction bytes. |
| 227 | We also need to check any extra (address mode) code access. */ |
| 228 | if (FPU_EIP > code_limit) |
| 229 | math_abort(FPU_info, SIGSEGV); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 230 | } |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 231 | |
| 232 | if ((byte1 & 0xf8) != 0xd8) { |
| 233 | if (byte1 == FWAIT_OPCODE) { |
| 234 | if (partial_status & SW_Summary) |
| 235 | goto do_the_FPU_interrupt; |
| 236 | else |
| 237 | goto FPU_fwait_done; |
| 238 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 239 | #ifdef PARANOID |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 240 | EXCEPTION(EX_INTERNAL | 0x128); |
| 241 | math_abort(FPU_info, SIGILL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 242 | #endif /* PARANOID */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 243 | } |
| 244 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 245 | RE_ENTRANT_CHECK_OFF; |
| 246 | FPU_code_access_ok(1); |
| 247 | FPU_get_user(FPU_modrm, (u_char __user *) FPU_EIP); |
| 248 | RE_ENTRANT_CHECK_ON; |
| 249 | FPU_EIP++; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 250 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 251 | if (partial_status & SW_Summary) { |
| 252 | /* Ignore the error for now if the current instruction is a no-wait |
| 253 | control instruction */ |
| 254 | /* The 80486 manual contradicts itself on this topic, |
| 255 | but a real 80486 uses the following instructions: |
| 256 | fninit, fnstenv, fnsave, fnstsw, fnstenv, fnclex. |
| 257 | */ |
| 258 | code = (FPU_modrm << 8) | byte1; |
| 259 | if (!((((code & 0xf803) == 0xe003) || /* fnclex, fninit, fnstsw */ |
| 260 | (((code & 0x3003) == 0x3001) && /* fnsave, fnstcw, fnstenv, |
| 261 | fnstsw */ |
| 262 | ((code & 0xc000) != 0xc000))))) { |
| 263 | /* |
| 264 | * We need to simulate the action of the kernel to FPU |
| 265 | * interrupts here. |
| 266 | */ |
| 267 | do_the_FPU_interrupt: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 268 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 269 | FPU_EIP = FPU_ORIG_EIP; /* Point to current FPU instruction. */ |
| 270 | |
| 271 | RE_ENTRANT_CHECK_OFF; |
| 272 | current->thread.trap_no = 16; |
| 273 | current->thread.error_code = 0; |
| 274 | send_sig(SIGFPE, current, 1); |
| 275 | return; |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | entry_sel_off.offset = FPU_ORIG_EIP; |
| 280 | entry_sel_off.selector = FPU_CS; |
| 281 | entry_sel_off.opcode = (byte1 << 8) | FPU_modrm; |
Andrew Morton | cc7594e | 2008-03-18 18:46:06 -0700 | [diff] [blame] | 282 | entry_sel_off.empty = 0; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 283 | |
| 284 | FPU_rm = FPU_modrm & 7; |
| 285 | |
| 286 | if (FPU_modrm < 0300) { |
| 287 | /* All of these instructions use the mod/rm byte to get a data address */ |
| 288 | |
| 289 | if ((addr_modes.default_mode & SIXTEEN) |
| 290 | ^ (addr_modes.override.address_size == ADDR_SIZE_PREFIX)) |
| 291 | data_address = |
| 292 | FPU_get_address_16(FPU_modrm, &FPU_EIP, |
| 293 | &data_sel_off, addr_modes); |
| 294 | else |
| 295 | data_address = |
| 296 | FPU_get_address(FPU_modrm, &FPU_EIP, &data_sel_off, |
| 297 | addr_modes); |
| 298 | |
| 299 | if (addr_modes.default_mode) { |
| 300 | if (FPU_EIP - 1 > code_limit) |
| 301 | math_abort(FPU_info, SIGSEGV); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 302 | } |
| 303 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 304 | if (!(byte1 & 1)) { |
| 305 | unsigned short status1 = partial_status; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 306 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 307 | st0_ptr = &st(0); |
| 308 | st0_tag = FPU_gettag0(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 309 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 310 | /* Stack underflow has priority */ |
| 311 | if (NOT_EMPTY_ST0) { |
| 312 | if (addr_modes.default_mode & PROTECTED) { |
| 313 | /* This table works for 16 and 32 bit protected mode */ |
| 314 | if (access_limit < |
| 315 | data_sizes_16[(byte1 >> 1) & 3]) |
| 316 | math_abort(FPU_info, SIGSEGV); |
| 317 | } |
| 318 | |
| 319 | unmasked = 0; /* Do this here to stop compiler warnings. */ |
| 320 | switch ((byte1 >> 1) & 3) { |
| 321 | case 0: |
| 322 | unmasked = |
| 323 | FPU_load_single((float __user *) |
| 324 | data_address, |
| 325 | &loaded_data); |
| 326 | loaded_tag = unmasked & 0xff; |
| 327 | unmasked &= ~0xff; |
| 328 | break; |
| 329 | case 1: |
| 330 | loaded_tag = |
| 331 | FPU_load_int32((long __user *) |
| 332 | data_address, |
| 333 | &loaded_data); |
| 334 | break; |
| 335 | case 2: |
| 336 | unmasked = |
| 337 | FPU_load_double((double __user *) |
| 338 | data_address, |
| 339 | &loaded_data); |
| 340 | loaded_tag = unmasked & 0xff; |
| 341 | unmasked &= ~0xff; |
| 342 | break; |
| 343 | case 3: |
| 344 | default: /* Used here to suppress gcc warnings. */ |
| 345 | loaded_tag = |
| 346 | FPU_load_int16((short __user *) |
| 347 | data_address, |
| 348 | &loaded_data); |
| 349 | break; |
| 350 | } |
| 351 | |
| 352 | /* No more access to user memory, it is safe |
| 353 | to use static data now */ |
| 354 | |
| 355 | /* NaN operands have the next priority. */ |
| 356 | /* We have to delay looking at st(0) until after |
| 357 | loading the data, because that data might contain an SNaN */ |
| 358 | if (((st0_tag == TAG_Special) && isNaN(st0_ptr)) |
| 359 | || ((loaded_tag == TAG_Special) |
| 360 | && isNaN(&loaded_data))) { |
| 361 | /* Restore the status word; we might have loaded a |
| 362 | denormal. */ |
| 363 | partial_status = status1; |
| 364 | if ((FPU_modrm & 0x30) == 0x10) { |
| 365 | /* fcom or fcomp */ |
| 366 | EXCEPTION(EX_Invalid); |
| 367 | setcc(SW_C3 | SW_C2 | SW_C0); |
| 368 | if ((FPU_modrm & 0x08) |
| 369 | && (control_word & |
| 370 | CW_Invalid)) |
| 371 | FPU_pop(); /* fcomp, masked, so we pop. */ |
| 372 | } else { |
| 373 | if (loaded_tag == TAG_Special) |
| 374 | loaded_tag = |
| 375 | FPU_Special |
| 376 | (&loaded_data); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 377 | #ifdef PECULIAR_486 |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 378 | /* This is not really needed, but gives behaviour |
| 379 | identical to an 80486 */ |
| 380 | if ((FPU_modrm & 0x28) == 0x20) |
| 381 | /* fdiv or fsub */ |
| 382 | real_2op_NaN |
| 383 | (&loaded_data, |
| 384 | loaded_tag, 0, |
| 385 | &loaded_data); |
| 386 | else |
| 387 | #endif /* PECULIAR_486 */ |
| 388 | /* fadd, fdivr, fmul, or fsubr */ |
| 389 | real_2op_NaN |
| 390 | (&loaded_data, |
| 391 | loaded_tag, 0, |
| 392 | st0_ptr); |
| 393 | } |
| 394 | goto reg_mem_instr_done; |
| 395 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 396 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 397 | if (unmasked && !((FPU_modrm & 0x30) == 0x10)) { |
| 398 | /* Is not a comparison instruction. */ |
| 399 | if ((FPU_modrm & 0x38) == 0x38) { |
| 400 | /* fdivr */ |
| 401 | if ((st0_tag == TAG_Zero) && |
| 402 | ((loaded_tag == TAG_Valid) |
| 403 | || (loaded_tag == |
| 404 | TAG_Special |
| 405 | && |
| 406 | isdenormal |
| 407 | (&loaded_data)))) { |
| 408 | if (FPU_divide_by_zero |
| 409 | (0, |
| 410 | getsign |
| 411 | (&loaded_data)) |
| 412 | < 0) { |
| 413 | /* We use the fact here that the unmasked |
| 414 | exception in the loaded data was for a |
| 415 | denormal operand */ |
| 416 | /* Restore the state of the denormal op bit */ |
| 417 | partial_status |
| 418 | &= |
| 419 | ~SW_Denorm_Op; |
| 420 | partial_status |
| 421 | |= |
| 422 | status1 & |
| 423 | SW_Denorm_Op; |
| 424 | } else |
| 425 | setsign(st0_ptr, |
| 426 | getsign |
| 427 | (&loaded_data)); |
| 428 | } |
| 429 | } |
| 430 | goto reg_mem_instr_done; |
| 431 | } |
| 432 | |
| 433 | switch ((FPU_modrm >> 3) & 7) { |
| 434 | case 0: /* fadd */ |
| 435 | clear_C1(); |
| 436 | FPU_add(&loaded_data, loaded_tag, 0, |
| 437 | control_word); |
| 438 | break; |
| 439 | case 1: /* fmul */ |
| 440 | clear_C1(); |
| 441 | FPU_mul(&loaded_data, loaded_tag, 0, |
| 442 | control_word); |
| 443 | break; |
| 444 | case 2: /* fcom */ |
| 445 | FPU_compare_st_data(&loaded_data, |
| 446 | loaded_tag); |
| 447 | break; |
| 448 | case 3: /* fcomp */ |
| 449 | if (!FPU_compare_st_data |
| 450 | (&loaded_data, loaded_tag) |
| 451 | && !unmasked) |
| 452 | FPU_pop(); |
| 453 | break; |
| 454 | case 4: /* fsub */ |
| 455 | clear_C1(); |
| 456 | FPU_sub(LOADED | loaded_tag, |
| 457 | (int)&loaded_data, |
| 458 | control_word); |
| 459 | break; |
| 460 | case 5: /* fsubr */ |
| 461 | clear_C1(); |
| 462 | FPU_sub(REV | LOADED | loaded_tag, |
| 463 | (int)&loaded_data, |
| 464 | control_word); |
| 465 | break; |
| 466 | case 6: /* fdiv */ |
| 467 | clear_C1(); |
| 468 | FPU_div(LOADED | loaded_tag, |
| 469 | (int)&loaded_data, |
| 470 | control_word); |
| 471 | break; |
| 472 | case 7: /* fdivr */ |
| 473 | clear_C1(); |
| 474 | if (st0_tag == TAG_Zero) |
| 475 | partial_status = status1; /* Undo any denorm tag, |
| 476 | zero-divide has priority. */ |
| 477 | FPU_div(REV | LOADED | loaded_tag, |
| 478 | (int)&loaded_data, |
| 479 | control_word); |
| 480 | break; |
| 481 | } |
| 482 | } else { |
| 483 | if ((FPU_modrm & 0x30) == 0x10) { |
| 484 | /* The instruction is fcom or fcomp */ |
| 485 | EXCEPTION(EX_StackUnder); |
| 486 | setcc(SW_C3 | SW_C2 | SW_C0); |
| 487 | if ((FPU_modrm & 0x08) |
| 488 | && (control_word & CW_Invalid)) |
| 489 | FPU_pop(); /* fcomp */ |
| 490 | } else |
| 491 | FPU_stack_underflow(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 492 | } |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 493 | reg_mem_instr_done: |
| 494 | operand_address = data_sel_off; |
| 495 | } else { |
| 496 | if (!(no_ip_update = |
| 497 | FPU_load_store(((FPU_modrm & 0x38) | (byte1 & 6)) |
| 498 | >> 1, addr_modes, data_address))) { |
| 499 | operand_address = data_sel_off; |
| 500 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 501 | } |
| 502 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 503 | } else { |
| 504 | /* None of these instructions access user memory */ |
| 505 | u_char instr_index = (FPU_modrm & 0x38) | (byte1 & 7); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 506 | |
| 507 | #ifdef PECULIAR_486 |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 508 | /* This is supposed to be undefined, but a real 80486 seems |
| 509 | to do this: */ |
| 510 | operand_address.offset = 0; |
| 511 | operand_address.selector = FPU_DS; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 512 | #endif /* PECULIAR_486 */ |
| 513 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 514 | st0_ptr = &st(0); |
| 515 | st0_tag = FPU_gettag0(); |
| 516 | switch (type_table[(int)instr_index]) { |
| 517 | case _NONE_: /* also _REGIc: _REGIn */ |
| 518 | break; |
| 519 | case _REG0_: |
| 520 | if (!NOT_EMPTY_ST0) { |
| 521 | FPU_stack_underflow(); |
| 522 | goto FPU_instruction_done; |
| 523 | } |
| 524 | break; |
| 525 | case _REGIi: |
| 526 | if (!NOT_EMPTY_ST0 || !NOT_EMPTY(FPU_rm)) { |
| 527 | FPU_stack_underflow_i(FPU_rm); |
| 528 | goto FPU_instruction_done; |
| 529 | } |
| 530 | break; |
| 531 | case _REGIp: |
| 532 | if (!NOT_EMPTY_ST0 || !NOT_EMPTY(FPU_rm)) { |
| 533 | FPU_stack_underflow_pop(FPU_rm); |
| 534 | goto FPU_instruction_done; |
| 535 | } |
| 536 | break; |
| 537 | case _REGI_: |
| 538 | if (!NOT_EMPTY_ST0 || !NOT_EMPTY(FPU_rm)) { |
| 539 | FPU_stack_underflow(); |
| 540 | goto FPU_instruction_done; |
| 541 | } |
| 542 | break; |
| 543 | case _PUSH_: /* Only used by the fld st(i) instruction */ |
| 544 | break; |
| 545 | case _null_: |
| 546 | FPU_illegal(); |
| 547 | goto FPU_instruction_done; |
| 548 | default: |
| 549 | EXCEPTION(EX_INTERNAL | 0x111); |
| 550 | goto FPU_instruction_done; |
| 551 | } |
| 552 | (*st_instr_table[(int)instr_index]) (); |
| 553 | |
| 554 | FPU_instruction_done: |
| 555 | ; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 556 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 557 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 558 | if (!no_ip_update) |
| 559 | instruction_address = entry_sel_off; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 560 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 561 | FPU_fwait_done: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 562 | |
| 563 | #ifdef DEBUG |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 564 | RE_ENTRANT_CHECK_OFF; |
| 565 | FPU_printall(); |
| 566 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 567 | #endif /* DEBUG */ |
| 568 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 569 | if (FPU_lookahead && !need_resched()) { |
| 570 | FPU_ORIG_EIP = FPU_EIP - code_base; |
| 571 | if (valid_prefix(&byte1, (u_char __user **) & FPU_EIP, |
| 572 | &addr_modes.override)) |
| 573 | goto do_another_FPU_instruction; |
| 574 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 575 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 576 | if (addr_modes.default_mode) |
| 577 | FPU_EIP -= code_base; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 578 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 579 | RE_ENTRANT_CHECK_OFF; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 580 | } |
| 581 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 582 | /* Support for prefix bytes is not yet complete. To properly handle |
| 583 | all prefix bytes, further changes are needed in the emulator code |
| 584 | which accesses user address space. Access to separate segments is |
| 585 | important for msdos emulation. */ |
Ingo Molnar | e8d591d | 2008-01-30 13:30:12 +0100 | [diff] [blame] | 586 | static int valid_prefix(u_char *Byte, u_char __user **fpu_eip, |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 587 | overrides * override) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 588 | { |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 589 | u_char byte; |
| 590 | u_char __user *ip = *fpu_eip; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 591 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 592 | *override = (overrides) { |
| 593 | 0, 0, PREFIX_DEFAULT}; /* defaults */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 594 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 595 | RE_ENTRANT_CHECK_OFF; |
| 596 | FPU_code_access_ok(1); |
| 597 | FPU_get_user(byte, ip); |
| 598 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 599 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 600 | while (1) { |
| 601 | switch (byte) { |
| 602 | case ADDR_SIZE_PREFIX: |
| 603 | override->address_size = ADDR_SIZE_PREFIX; |
| 604 | goto do_next_byte; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 605 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 606 | case OP_SIZE_PREFIX: |
| 607 | override->operand_size = OP_SIZE_PREFIX; |
| 608 | goto do_next_byte; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 609 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 610 | case PREFIX_CS: |
| 611 | override->segment = PREFIX_CS_; |
| 612 | goto do_next_byte; |
| 613 | case PREFIX_ES: |
| 614 | override->segment = PREFIX_ES_; |
| 615 | goto do_next_byte; |
| 616 | case PREFIX_SS: |
| 617 | override->segment = PREFIX_SS_; |
| 618 | goto do_next_byte; |
| 619 | case PREFIX_FS: |
| 620 | override->segment = PREFIX_FS_; |
| 621 | goto do_next_byte; |
| 622 | case PREFIX_GS: |
| 623 | override->segment = PREFIX_GS_; |
| 624 | goto do_next_byte; |
| 625 | case PREFIX_DS: |
| 626 | override->segment = PREFIX_DS_; |
| 627 | goto do_next_byte; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 628 | |
| 629 | /* lock is not a valid prefix for FPU instructions, |
| 630 | let the cpu handle it to generate a SIGILL. */ |
| 631 | /* case PREFIX_LOCK: */ |
| 632 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 633 | /* rep.. prefixes have no meaning for FPU instructions */ |
| 634 | case PREFIX_REPE: |
| 635 | case PREFIX_REPNE: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 636 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 637 | do_next_byte: |
| 638 | ip++; |
| 639 | RE_ENTRANT_CHECK_OFF; |
| 640 | FPU_code_access_ok(1); |
| 641 | FPU_get_user(byte, ip); |
| 642 | RE_ENTRANT_CHECK_ON; |
| 643 | break; |
| 644 | case FWAIT_OPCODE: |
| 645 | *Byte = byte; |
| 646 | return 1; |
| 647 | default: |
| 648 | if ((byte & 0xf8) == 0xd8) { |
| 649 | *Byte = byte; |
| 650 | *fpu_eip = ip; |
| 651 | return 1; |
| 652 | } else { |
| 653 | /* Not a valid sequence of prefix bytes followed by |
| 654 | an FPU instruction. */ |
| 655 | *Byte = byte; /* Needed for error message. */ |
| 656 | return 0; |
| 657 | } |
| 658 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 659 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 660 | } |
| 661 | |
Tejun Heo | ae6af41 | 2009-02-09 22:17:39 +0900 | [diff] [blame] | 662 | void math_abort(struct math_emu_info *info, unsigned int signal) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 663 | { |
| 664 | FPU_EIP = FPU_ORIG_EIP; |
| 665 | current->thread.trap_no = 16; |
| 666 | current->thread.error_code = 0; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 667 | send_sig(signal, current, 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 668 | RE_ENTRANT_CHECK_OFF; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 669 | __asm__("movl %0,%%esp ; ret": :"g"(((long)info) - 4)); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 670 | #ifdef PARANOID |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 671 | printk("ERROR: wm-FPU-emu math_abort failed!\n"); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 672 | #endif /* PARANOID */ |
| 673 | } |
| 674 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 675 | #define S387 ((struct i387_soft_struct *)s387) |
| 676 | #define sstatus_word() \ |
| 677 | ((S387->swd & ~SW_Top & 0xffff) | ((S387->ftop << SW_Top_Shift) & SW_Top)) |
| 678 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 679 | int fpregs_soft_set(struct task_struct *target, |
| 680 | const struct user_regset *regset, |
| 681 | unsigned int pos, unsigned int count, |
| 682 | const void *kbuf, const void __user *ubuf) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 683 | { |
Suresh Siddha | 61c4628 | 2008-03-10 15:28:04 -0700 | [diff] [blame] | 684 | struct i387_soft_struct *s387 = &target->thread.xstate->soft; |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 685 | void *space = s387->st_space; |
| 686 | int ret; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 687 | int offset, other, i, tags, regnr, tag, newtop; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 688 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 689 | RE_ENTRANT_CHECK_OFF; |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 690 | ret = user_regset_copyin(&pos, &count, &kbuf, &ubuf, s387, 0, |
| 691 | offsetof(struct i387_soft_struct, st_space)); |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 692 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 693 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 694 | if (ret) |
| 695 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 696 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 697 | S387->ftop = (S387->swd >> SW_Top_Shift) & 7; |
| 698 | offset = (S387->ftop & 7) * 10; |
| 699 | other = 80 - offset; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 700 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 701 | RE_ENTRANT_CHECK_OFF; |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 702 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 703 | /* Copy all registers in stack order. */ |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 704 | ret = user_regset_copyin(&pos, &count, &kbuf, &ubuf, |
| 705 | space + offset, 0, other); |
| 706 | if (!ret && offset) |
| 707 | ret = user_regset_copyin(&pos, &count, &kbuf, &ubuf, |
| 708 | space, 0, offset); |
| 709 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 710 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 711 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 712 | /* The tags may need to be corrected now. */ |
| 713 | tags = S387->twd; |
| 714 | newtop = S387->ftop; |
| 715 | for (i = 0; i < 8; i++) { |
| 716 | regnr = (i + newtop) & 7; |
| 717 | if (((tags >> ((regnr & 7) * 2)) & 3) != TAG_Empty) { |
| 718 | /* The loaded data over-rides all other cases. */ |
| 719 | tag = |
| 720 | FPU_tagof((FPU_REG *) ((u_char *) S387->st_space + |
| 721 | 10 * regnr)); |
| 722 | tags &= ~(3 << (regnr * 2)); |
| 723 | tags |= (tag & 3) << (regnr * 2); |
| 724 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 725 | } |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 726 | S387->twd = tags; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 727 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 728 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 729 | } |
| 730 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 731 | int fpregs_soft_get(struct task_struct *target, |
| 732 | const struct user_regset *regset, |
| 733 | unsigned int pos, unsigned int count, |
| 734 | void *kbuf, void __user *ubuf) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 735 | { |
Suresh Siddha | 61c4628 | 2008-03-10 15:28:04 -0700 | [diff] [blame] | 736 | struct i387_soft_struct *s387 = &target->thread.xstate->soft; |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 737 | const void *space = s387->st_space; |
| 738 | int ret; |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 739 | int offset = (S387->ftop & 7) * 10, other = 80 - offset; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 740 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 741 | RE_ENTRANT_CHECK_OFF; |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 742 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 743 | #ifdef PECULIAR_486 |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 744 | S387->cwd &= ~0xe080; |
| 745 | /* An 80486 sets nearly all of the reserved bits to 1. */ |
| 746 | S387->cwd |= 0xffff0040; |
| 747 | S387->swd = sstatus_word() | 0xffff0000; |
| 748 | S387->twd |= 0xffff0000; |
| 749 | S387->fcs &= ~0xf8000000; |
| 750 | S387->fos |= 0xffff0000; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 751 | #endif /* PECULIAR_486 */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 752 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 753 | ret = user_regset_copyout(&pos, &count, &kbuf, &ubuf, s387, 0, |
| 754 | offsetof(struct i387_soft_struct, st_space)); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 755 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 756 | /* Copy all registers in stack order. */ |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 757 | if (!ret) |
| 758 | ret = user_regset_copyout(&pos, &count, &kbuf, &ubuf, |
| 759 | space + offset, 0, other); |
| 760 | if (!ret) |
| 761 | ret = user_regset_copyout(&pos, &count, &kbuf, &ubuf, |
| 762 | space, 0, offset); |
| 763 | |
Ingo Molnar | 3d0d14f | 2008-01-30 13:30:11 +0100 | [diff] [blame] | 764 | RE_ENTRANT_CHECK_ON; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 765 | |
Roland McGrath | ff0ebb2 | 2008-01-30 13:31:49 +0100 | [diff] [blame] | 766 | return ret; |
| 767 | } |