| 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 | { | 
| H. Peter Anvin | c3f8978 | 2010-05-10 13:37:16 -0700 | [diff] [blame] | 684 | 	struct i387_soft_struct *s387 = &target->thread.fpu.state->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 | { | 
| H. Peter Anvin | c3f8978 | 2010-05-10 13:37:16 -0700 | [diff] [blame] | 736 | 	struct i387_soft_struct *s387 = &target->thread.fpu.state->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 | } |