blob: 491e737ce547c236830f8ecb4ef45c5415c53c1e [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 */
33void finit(void)
34{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010035 control_word = 0x037f;
36 partial_status = 0;
37 top = 0; /* We don't keep top in the status word internally. */
38 fpu_tag_word = 0xffff;
39 /* The behaviour is different from that detailed in
40 Section 15.1.6 of the Intel manual */
41 operand_address.offset = 0;
42 operand_address.selector = 0;
43 instruction_address.offset = 0;
44 instruction_address.selector = 0;
45 instruction_address.opcode = 0;
46 no_ip_update = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070047}
48
49/*
50 * These are nops on the i387..
51 */
52#define feni fnop
53#define fdisi fnop
54#define fsetpm fnop
55
56static FUNC const finit_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010057 feni, fdisi, fclex, finit,
58 fsetpm, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070059};
60
61void finit_(void)
62{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010063 (finit_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070064}
65
Linus Torvalds1da177e2005-04-16 15:20:36 -070066static void fstsw_ax(void)
67{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010068 *(short *)&FPU_EAX = status_word();
69 no_ip_update = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070070}
71
72static FUNC const fstsw_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010073 fstsw_ax, FPU_illegal, FPU_illegal, FPU_illegal,
74 FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070075};
76
77void fstsw_(void)
78{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010079 (fstsw_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070080}
81
Linus Torvalds1da177e2005-04-16 15:20:36 -070082static FUNC const fp_nop_table[] = {
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010083 fnop, FPU_illegal, FPU_illegal, FPU_illegal,
84 FPU_illegal, FPU_illegal, FPU_illegal, FPU_illegal
Linus Torvalds1da177e2005-04-16 15:20:36 -070085};
86
87void fp_nop(void)
88{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010089 (fp_nop_table[FPU_rm]) ();
Linus Torvalds1da177e2005-04-16 15:20:36 -070090}
91
Linus Torvalds1da177e2005-04-16 15:20:36 -070092void fld_i_(void)
93{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010094 FPU_REG *st_new_ptr;
95 int i;
96 u_char tag;
Linus Torvalds1da177e2005-04-16 15:20:36 -070097
Ingo Molnar3d0d14f2008-01-30 13:30:11 +010098 if (STACK_OVERFLOW) {
99 FPU_stack_overflow();
100 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100102
103 /* fld st(i) */
104 i = FPU_rm;
105 if (NOT_EMPTY(i)) {
106 reg_copy(&st(i), st_new_ptr);
107 tag = FPU_gettagi(i);
108 push();
109 FPU_settag0(tag);
110 } else {
111 if (control_word & CW_Invalid) {
112 /* The masked response */
113 FPU_stack_underflow();
114 } else
115 EXCEPTION(EX_StackUnder);
116 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700117
118}
119
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120void fxch_i(void)
121{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100122 /* fxch st(i) */
123 FPU_REG t;
124 int i = FPU_rm;
125 FPU_REG *st0_ptr = &st(0), *sti_ptr = &st(i);
126 long tag_word = fpu_tag_word;
127 int regnr = top & 7, regnri = ((regnr + i) & 7);
128 u_char st0_tag = (tag_word >> (regnr * 2)) & 3;
129 u_char sti_tag = (tag_word >> (regnri * 2)) & 3;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100131 if (st0_tag == TAG_Empty) {
132 if (sti_tag == TAG_Empty) {
133 FPU_stack_underflow();
134 FPU_stack_underflow_i(i);
135 return;
136 }
137 if (control_word & CW_Invalid) {
138 /* Masked response */
139 FPU_copy_to_reg0(sti_ptr, sti_tag);
140 }
141 FPU_stack_underflow_i(i);
142 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100144 if (sti_tag == TAG_Empty) {
145 if (control_word & CW_Invalid) {
146 /* Masked response */
147 FPU_copy_to_regi(st0_ptr, st0_tag, i);
148 }
149 FPU_stack_underflow();
150 return;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151 }
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100152 clear_C1();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100154 reg_copy(st0_ptr, &t);
155 reg_copy(sti_ptr, st0_ptr);
156 reg_copy(&t, sti_ptr);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700157
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100158 tag_word &= ~(3 << (regnr * 2)) & ~(3 << (regnri * 2));
159 tag_word |= (sti_tag << (regnr * 2)) | (st0_tag << (regnri * 2));
160 fpu_tag_word = tag_word;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700161}
162
Linus Torvalds1da177e2005-04-16 15:20:36 -0700163void ffree_(void)
164{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100165 /* ffree st(i) */
166 FPU_settagi(FPU_rm, TAG_Empty);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700167}
168
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169void ffreep(void)
170{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100171 /* ffree st(i) + pop - unofficial code */
172 FPU_settagi(FPU_rm, TAG_Empty);
173 FPU_pop();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174}
175
Linus Torvalds1da177e2005-04-16 15:20:36 -0700176void fst_i_(void)
177{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100178 /* fst st(i) */
179 FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180}
181
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182void fstp_i(void)
183{
Ingo Molnar3d0d14f2008-01-30 13:30:11 +0100184 /* fstp st(i) */
185 FPU_copy_to_regi(&st(0), FPU_gettag0(), FPU_rm);
186 FPU_pop();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700187}