blob: dc8adad10a2f3881cdbca82b9a624dc17b88c4f8 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*---------------------------------------------------------------------------+
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 Torvalds1da177e2005-04-16 15:20:36 -070019static void fnop(void)
20{
21}
22
23static void fclex(void)
24{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010025 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 Torvalds1da177e2005-04-16 15:20:36 -070030}
31
32/* Needs to be externally visible */
Avi Kivity86603282010-05-06 11:45:46 +030033void finit_soft_fpu(struct i387_soft_struct *soft)
Linus Torvalds1da177e2005-04-16 15:20:36 -070034{
Daniel Glöcknerab9e1852009-03-04 19:42:27 +010035 struct address *oaddr, *iaddr;
Avi Kivity86603282010-05-06 11:45:46 +030036 memset(soft, 0, sizeof(*soft));
Daniel Glöcknerab9e1852009-03-04 19:42:27 +010037 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 Molnar3d0d14f2008-01-30 13:30:11 +010041 /* The behaviour is different from that detailed in
42 Section 15.1.6 of the Intel manual */
Daniel Glöcknerab9e1852009-03-04 19:42:27 +010043 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
53void finit(void)
54{
H. Peter Anvinc3f89782010-05-10 13:37:16 -070055 finit_soft_fpu(&current->thread.fpu.state->soft);
Linus Torvalds1da177e2005-04-16 15:20:36 -070056}
57
58/*
59 * These are nops on the i387..
60 */
61#define feni fnop
62#define fdisi fnop
63#define fsetpm fnop
64
65static FUNC const finit_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010066 feni, fdisi, fclex, finit,
67 fsetpm, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070068};
69
70void finit_(void)
71{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010072 (finit_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070073}
74
Linus Torvalds1da177e2005-04-16 15:20:36 -070075static void fstsw_ax(void)
76{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010077 *(short *)&FPU_EAX = status_word();
78 no_ip_update = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070079}
80
81static FUNC const fstsw_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010082 fstsw_ax, FPU_illegal, FPU_illegal, FPU_illegal,
83 FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070084};
85
86void fstsw_(void)
87{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010088 (fstsw_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070089}
90
Linus Torvalds1da177e2005-04-16 15:20:36 -070091static FUNC const fp_nop_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010092 fnop, FPU_illegal, FPU_illegal, FPU_illegal,
93 FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070094};
95
96void fp_nop(void)
97{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010098 (fp_nop_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070099}
100
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101void fld_i_(void)
102{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100103 FPU_REG *st_new_ptr;
104 int i;
105 u_char tag;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700106
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100107 if (STACK_OVERFLOW) {
108 FPU_stack_overflow();
109 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700110 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100111
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 Torvalds1da177e2005-04-16 15:20:36 -0700126
127}
128
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129void fxch_i(void)
130{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100131 /* 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 Torvalds1da177e2005-04-16 15:20:36 -0700139
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100140 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 Torvalds1da177e2005-04-16 15:20:36 -0700152 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100153 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 Torvalds1da177e2005-04-16 15:20:36 -0700160 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100161 clear_C1();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100163 reg_copy(st0_ptr, &t);
164 reg_copy(sti_ptr, st0_ptr);
165 reg_copy(&t, sti_ptr);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100167 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 Torvalds1da177e2005-04-16 15:20:36 -0700170}
171
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172void ffree_(void)
173{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100174 /* ffree st(i) */
175 FPU_settagi(FPU_rm, TAG_Empty);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700176}
177
Linus Torvalds1da177e2005-04-16 15:20:36 -0700178void ffreep(void)
179{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100180 /* ffree st(i) + pop - unofficial code */
181 FPU_settagi(FPU_rm, TAG_Empty);
182 FPU_pop();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183}
184
Linus Torvalds1da177e2005-04-16 15:20:36 -0700185void fst_i_(void)
186{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100187 /* fst st(i) */
188 FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700189}
190
Linus Torvalds1da177e2005-04-16 15:20:36 -0700191void fstp_i(void)
192{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100193 /* fstp st(i) */
194 FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm);
195 FPU_pop();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196}