xref: /OK3568_Linux_fs/kernel/arch/sparc/math-emu/math_64.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun  * arch/sparc64/math-emu/math.c
4*4882a593Smuzhiyun  *
5*4882a593Smuzhiyun  * Copyright (C) 1997,1999 Jakub Jelinek (jj@ultra.linux.cz)
6*4882a593Smuzhiyun  * Copyright (C) 1999 David S. Miller (davem@redhat.com)
7*4882a593Smuzhiyun  *
8*4882a593Smuzhiyun  * Emulation routines originate from soft-fp package, which is part
9*4882a593Smuzhiyun  * of glibc and has appropriate copyrights in it.
10*4882a593Smuzhiyun  */
11*4882a593Smuzhiyun 
12*4882a593Smuzhiyun #include <linux/types.h>
13*4882a593Smuzhiyun #include <linux/sched.h>
14*4882a593Smuzhiyun #include <linux/errno.h>
15*4882a593Smuzhiyun #include <linux/perf_event.h>
16*4882a593Smuzhiyun 
17*4882a593Smuzhiyun #include <asm/fpumacro.h>
18*4882a593Smuzhiyun #include <asm/ptrace.h>
19*4882a593Smuzhiyun #include <linux/uaccess.h>
20*4882a593Smuzhiyun #include <asm/cacheflush.h>
21*4882a593Smuzhiyun 
22*4882a593Smuzhiyun #include "sfp-util_64.h"
23*4882a593Smuzhiyun #include <math-emu/soft-fp.h>
24*4882a593Smuzhiyun #include <math-emu/single.h>
25*4882a593Smuzhiyun #include <math-emu/double.h>
26*4882a593Smuzhiyun #include <math-emu/quad.h>
27*4882a593Smuzhiyun 
28*4882a593Smuzhiyun /* QUAD - ftt == 3 */
29*4882a593Smuzhiyun #define FMOVQ	0x003
30*4882a593Smuzhiyun #define FNEGQ	0x007
31*4882a593Smuzhiyun #define FABSQ	0x00b
32*4882a593Smuzhiyun #define FSQRTQ	0x02b
33*4882a593Smuzhiyun #define FADDQ	0x043
34*4882a593Smuzhiyun #define FSUBQ	0x047
35*4882a593Smuzhiyun #define FMULQ	0x04b
36*4882a593Smuzhiyun #define FDIVQ	0x04f
37*4882a593Smuzhiyun #define FDMULQ	0x06e
38*4882a593Smuzhiyun #define FQTOX	0x083
39*4882a593Smuzhiyun #define FXTOQ	0x08c
40*4882a593Smuzhiyun #define FQTOS	0x0c7
41*4882a593Smuzhiyun #define FQTOD	0x0cb
42*4882a593Smuzhiyun #define FITOQ	0x0cc
43*4882a593Smuzhiyun #define FSTOQ	0x0cd
44*4882a593Smuzhiyun #define FDTOQ	0x0ce
45*4882a593Smuzhiyun #define FQTOI	0x0d3
46*4882a593Smuzhiyun /* SUBNORMAL - ftt == 2 */
47*4882a593Smuzhiyun #define FSQRTS	0x029
48*4882a593Smuzhiyun #define FSQRTD	0x02a
49*4882a593Smuzhiyun #define FADDS	0x041
50*4882a593Smuzhiyun #define FADDD	0x042
51*4882a593Smuzhiyun #define FSUBS	0x045
52*4882a593Smuzhiyun #define FSUBD	0x046
53*4882a593Smuzhiyun #define FMULS	0x049
54*4882a593Smuzhiyun #define FMULD	0x04a
55*4882a593Smuzhiyun #define FDIVS	0x04d
56*4882a593Smuzhiyun #define FDIVD	0x04e
57*4882a593Smuzhiyun #define FSMULD	0x069
58*4882a593Smuzhiyun #define FSTOX	0x081
59*4882a593Smuzhiyun #define FDTOX	0x082
60*4882a593Smuzhiyun #define FDTOS	0x0c6
61*4882a593Smuzhiyun #define FSTOD	0x0c9
62*4882a593Smuzhiyun #define FSTOI	0x0d1
63*4882a593Smuzhiyun #define FDTOI	0x0d2
64*4882a593Smuzhiyun #define FXTOS	0x084 /* Only Ultra-III generates this. */
65*4882a593Smuzhiyun #define FXTOD	0x088 /* Only Ultra-III generates this. */
66*4882a593Smuzhiyun #if 0	/* Optimized inline in sparc64/kernel/entry.S */
67*4882a593Smuzhiyun #define FITOS	0x0c4 /* Only Ultra-III generates this. */
68*4882a593Smuzhiyun #endif
69*4882a593Smuzhiyun #define FITOD	0x0c8 /* Only Ultra-III generates this. */
70*4882a593Smuzhiyun /* FPOP2 */
71*4882a593Smuzhiyun #define FCMPQ	0x053
72*4882a593Smuzhiyun #define FCMPEQ	0x057
73*4882a593Smuzhiyun #define FMOVQ0	0x003
74*4882a593Smuzhiyun #define FMOVQ1	0x043
75*4882a593Smuzhiyun #define FMOVQ2	0x083
76*4882a593Smuzhiyun #define FMOVQ3	0x0c3
77*4882a593Smuzhiyun #define FMOVQI	0x103
78*4882a593Smuzhiyun #define FMOVQX	0x183
79*4882a593Smuzhiyun #define FMOVQZ	0x027
80*4882a593Smuzhiyun #define FMOVQLE	0x047
81*4882a593Smuzhiyun #define FMOVQLZ 0x067
82*4882a593Smuzhiyun #define FMOVQNZ	0x0a7
83*4882a593Smuzhiyun #define FMOVQGZ	0x0c7
84*4882a593Smuzhiyun #define FMOVQGE 0x0e7
85*4882a593Smuzhiyun 
86*4882a593Smuzhiyun #define FSR_TEM_SHIFT	23UL
87*4882a593Smuzhiyun #define FSR_TEM_MASK	(0x1fUL << FSR_TEM_SHIFT)
88*4882a593Smuzhiyun #define FSR_AEXC_SHIFT	5UL
89*4882a593Smuzhiyun #define FSR_AEXC_MASK	(0x1fUL << FSR_AEXC_SHIFT)
90*4882a593Smuzhiyun #define FSR_CEXC_SHIFT	0UL
91*4882a593Smuzhiyun #define FSR_CEXC_MASK	(0x1fUL << FSR_CEXC_SHIFT)
92*4882a593Smuzhiyun 
93*4882a593Smuzhiyun /* All routines returning an exception to raise should detect
94*4882a593Smuzhiyun  * such exceptions _before_ rounding to be consistent with
95*4882a593Smuzhiyun  * the behavior of the hardware in the implemented cases
96*4882a593Smuzhiyun  * (and thus with the recommendations in the V9 architecture
97*4882a593Smuzhiyun  * manual).
98*4882a593Smuzhiyun  *
99*4882a593Smuzhiyun  * We return 0 if a SIGFPE should be sent, 1 otherwise.
100*4882a593Smuzhiyun  */
record_exception(struct pt_regs * regs,int eflag)101*4882a593Smuzhiyun static inline int record_exception(struct pt_regs *regs, int eflag)
102*4882a593Smuzhiyun {
103*4882a593Smuzhiyun 	u64 fsr = current_thread_info()->xfsr[0];
104*4882a593Smuzhiyun 	int would_trap;
105*4882a593Smuzhiyun 
106*4882a593Smuzhiyun 	/* Determine if this exception would have generated a trap. */
107*4882a593Smuzhiyun 	would_trap = (fsr & ((long)eflag << FSR_TEM_SHIFT)) != 0UL;
108*4882a593Smuzhiyun 
109*4882a593Smuzhiyun 	/* If trapping, we only want to signal one bit. */
110*4882a593Smuzhiyun 	if(would_trap != 0) {
111*4882a593Smuzhiyun 		eflag &= ((fsr & FSR_TEM_MASK) >> FSR_TEM_SHIFT);
112*4882a593Smuzhiyun 		if((eflag & (eflag - 1)) != 0) {
113*4882a593Smuzhiyun 			if(eflag & FP_EX_INVALID)
114*4882a593Smuzhiyun 				eflag = FP_EX_INVALID;
115*4882a593Smuzhiyun 			else if(eflag & FP_EX_OVERFLOW)
116*4882a593Smuzhiyun 				eflag = FP_EX_OVERFLOW;
117*4882a593Smuzhiyun 			else if(eflag & FP_EX_UNDERFLOW)
118*4882a593Smuzhiyun 				eflag = FP_EX_UNDERFLOW;
119*4882a593Smuzhiyun 			else if(eflag & FP_EX_DIVZERO)
120*4882a593Smuzhiyun 				eflag = FP_EX_DIVZERO;
121*4882a593Smuzhiyun 			else if(eflag & FP_EX_INEXACT)
122*4882a593Smuzhiyun 				eflag = FP_EX_INEXACT;
123*4882a593Smuzhiyun 		}
124*4882a593Smuzhiyun 	}
125*4882a593Smuzhiyun 
126*4882a593Smuzhiyun 	/* Set CEXC, here is the rule:
127*4882a593Smuzhiyun 	 *
128*4882a593Smuzhiyun 	 *    In general all FPU ops will set one and only one
129*4882a593Smuzhiyun 	 *    bit in the CEXC field, this is always the case
130*4882a593Smuzhiyun 	 *    when the IEEE exception trap is enabled in TEM.
131*4882a593Smuzhiyun 	 */
132*4882a593Smuzhiyun 	fsr &= ~(FSR_CEXC_MASK);
133*4882a593Smuzhiyun 	fsr |= ((long)eflag << FSR_CEXC_SHIFT);
134*4882a593Smuzhiyun 
135*4882a593Smuzhiyun 	/* Set the AEXC field, rule is:
136*4882a593Smuzhiyun 	 *
137*4882a593Smuzhiyun 	 *    If a trap would not be generated, the
138*4882a593Smuzhiyun 	 *    CEXC just generated is OR'd into the
139*4882a593Smuzhiyun 	 *    existing value of AEXC.
140*4882a593Smuzhiyun 	 */
141*4882a593Smuzhiyun 	if(would_trap == 0)
142*4882a593Smuzhiyun 		fsr |= ((long)eflag << FSR_AEXC_SHIFT);
143*4882a593Smuzhiyun 
144*4882a593Smuzhiyun 	/* If trapping, indicate fault trap type IEEE. */
145*4882a593Smuzhiyun 	if(would_trap != 0)
146*4882a593Smuzhiyun 		fsr |= (1UL << 14);
147*4882a593Smuzhiyun 
148*4882a593Smuzhiyun 	current_thread_info()->xfsr[0] = fsr;
149*4882a593Smuzhiyun 
150*4882a593Smuzhiyun 	/* If we will not trap, advance the program counter over
151*4882a593Smuzhiyun 	 * the instruction being handled.
152*4882a593Smuzhiyun 	 */
153*4882a593Smuzhiyun 	if(would_trap == 0) {
154*4882a593Smuzhiyun 		regs->tpc = regs->tnpc;
155*4882a593Smuzhiyun 		regs->tnpc += 4;
156*4882a593Smuzhiyun 	}
157*4882a593Smuzhiyun 
158*4882a593Smuzhiyun 	return (would_trap ? 0 : 1);
159*4882a593Smuzhiyun }
160*4882a593Smuzhiyun 
161*4882a593Smuzhiyun typedef union {
162*4882a593Smuzhiyun 	u32 s;
163*4882a593Smuzhiyun 	u64 d;
164*4882a593Smuzhiyun 	u64 q[2];
165*4882a593Smuzhiyun } *argp;
166*4882a593Smuzhiyun 
do_mathemu(struct pt_regs * regs,struct fpustate * f,bool illegal_insn_trap)167*4882a593Smuzhiyun int do_mathemu(struct pt_regs *regs, struct fpustate *f, bool illegal_insn_trap)
168*4882a593Smuzhiyun {
169*4882a593Smuzhiyun 	unsigned long pc = regs->tpc;
170*4882a593Smuzhiyun 	unsigned long tstate = regs->tstate;
171*4882a593Smuzhiyun 	u32 insn = 0;
172*4882a593Smuzhiyun 	int type = 0;
173*4882a593Smuzhiyun 	/* ftt tells which ftt it may happen in, r is rd, b is rs2 and a is rs1. The *u arg tells
174*4882a593Smuzhiyun 	   whether the argument should be packed/unpacked (0 - do not unpack/pack, 1 - unpack/pack)
175*4882a593Smuzhiyun 	   non-u args tells the size of the argument (0 - no argument, 1 - single, 2 - double, 3 - quad */
176*4882a593Smuzhiyun #define TYPE(ftt, r, ru, b, bu, a, au) type = (au << 2) | (a << 0) | (bu << 5) | (b << 3) | (ru << 8) | (r << 6) | (ftt << 9)
177*4882a593Smuzhiyun 	int freg;
178*4882a593Smuzhiyun 	static u64 zero[2] = { 0L, 0L };
179*4882a593Smuzhiyun 	int flags;
180*4882a593Smuzhiyun 	FP_DECL_EX;
181*4882a593Smuzhiyun 	FP_DECL_S(SA); FP_DECL_S(SB); FP_DECL_S(SR);
182*4882a593Smuzhiyun 	FP_DECL_D(DA); FP_DECL_D(DB); FP_DECL_D(DR);
183*4882a593Smuzhiyun 	FP_DECL_Q(QA); FP_DECL_Q(QB); FP_DECL_Q(QR);
184*4882a593Smuzhiyun 	int IR;
185*4882a593Smuzhiyun 	long XR, xfsr;
186*4882a593Smuzhiyun 
187*4882a593Smuzhiyun 	if (tstate & TSTATE_PRIV)
188*4882a593Smuzhiyun 		die_if_kernel("unfinished/unimplemented FPop from kernel", regs);
189*4882a593Smuzhiyun 	perf_sw_event(PERF_COUNT_SW_EMULATION_FAULTS, 1, regs, 0);
190*4882a593Smuzhiyun 	if (test_thread_flag(TIF_32BIT))
191*4882a593Smuzhiyun 		pc = (u32)pc;
192*4882a593Smuzhiyun 	if (get_user(insn, (u32 __user *) pc) != -EFAULT) {
193*4882a593Smuzhiyun 		if ((insn & 0xc1f80000) == 0x81a00000) /* FPOP1 */ {
194*4882a593Smuzhiyun 			switch ((insn >> 5) & 0x1ff) {
195*4882a593Smuzhiyun 			/* QUAD - ftt == 3 */
196*4882a593Smuzhiyun 			case FMOVQ:
197*4882a593Smuzhiyun 			case FNEGQ:
198*4882a593Smuzhiyun 			case FABSQ: TYPE(3,3,0,3,0,0,0); break;
199*4882a593Smuzhiyun 			case FSQRTQ: TYPE(3,3,1,3,1,0,0); break;
200*4882a593Smuzhiyun 			case FADDQ:
201*4882a593Smuzhiyun 			case FSUBQ:
202*4882a593Smuzhiyun 			case FMULQ:
203*4882a593Smuzhiyun 			case FDIVQ: TYPE(3,3,1,3,1,3,1); break;
204*4882a593Smuzhiyun 			case FDMULQ: TYPE(3,3,1,2,1,2,1); break;
205*4882a593Smuzhiyun 			case FQTOX: TYPE(3,2,0,3,1,0,0); break;
206*4882a593Smuzhiyun 			case FXTOQ: TYPE(3,3,1,2,0,0,0); break;
207*4882a593Smuzhiyun 			case FQTOS: TYPE(3,1,1,3,1,0,0); break;
208*4882a593Smuzhiyun 			case FQTOD: TYPE(3,2,1,3,1,0,0); break;
209*4882a593Smuzhiyun 			case FITOQ: TYPE(3,3,1,1,0,0,0); break;
210*4882a593Smuzhiyun 			case FSTOQ: TYPE(3,3,1,1,1,0,0); break;
211*4882a593Smuzhiyun 			case FDTOQ: TYPE(3,3,1,2,1,0,0); break;
212*4882a593Smuzhiyun 			case FQTOI: TYPE(3,1,0,3,1,0,0); break;
213*4882a593Smuzhiyun 
214*4882a593Smuzhiyun 			/* We can get either unimplemented or unfinished
215*4882a593Smuzhiyun 			 * for these cases.  Pre-Niagara systems generate
216*4882a593Smuzhiyun 			 * unfinished fpop for SUBNORMAL cases, and Niagara
217*4882a593Smuzhiyun 			 * always gives unimplemented fpop for fsqrt{s,d}.
218*4882a593Smuzhiyun 			 */
219*4882a593Smuzhiyun 			case FSQRTS: {
220*4882a593Smuzhiyun 				unsigned long x = current_thread_info()->xfsr[0];
221*4882a593Smuzhiyun 
222*4882a593Smuzhiyun 				x = (x >> 14) & 0x7;
223*4882a593Smuzhiyun 				TYPE(x,1,1,1,1,0,0);
224*4882a593Smuzhiyun 				break;
225*4882a593Smuzhiyun 			}
226*4882a593Smuzhiyun 
227*4882a593Smuzhiyun 			case FSQRTD: {
228*4882a593Smuzhiyun 				unsigned long x = current_thread_info()->xfsr[0];
229*4882a593Smuzhiyun 
230*4882a593Smuzhiyun 				x = (x >> 14) & 0x7;
231*4882a593Smuzhiyun 				TYPE(x,2,1,2,1,0,0);
232*4882a593Smuzhiyun 				break;
233*4882a593Smuzhiyun 			}
234*4882a593Smuzhiyun 
235*4882a593Smuzhiyun 			/* SUBNORMAL - ftt == 2 */
236*4882a593Smuzhiyun 			case FADDD:
237*4882a593Smuzhiyun 			case FSUBD:
238*4882a593Smuzhiyun 			case FMULD:
239*4882a593Smuzhiyun 			case FDIVD: TYPE(2,2,1,2,1,2,1); break;
240*4882a593Smuzhiyun 			case FADDS:
241*4882a593Smuzhiyun 			case FSUBS:
242*4882a593Smuzhiyun 			case FMULS:
243*4882a593Smuzhiyun 			case FDIVS: TYPE(2,1,1,1,1,1,1); break;
244*4882a593Smuzhiyun 			case FSMULD: TYPE(2,2,1,1,1,1,1); break;
245*4882a593Smuzhiyun 			case FSTOX: TYPE(2,2,0,1,1,0,0); break;
246*4882a593Smuzhiyun 			case FDTOX: TYPE(2,2,0,2,1,0,0); break;
247*4882a593Smuzhiyun 			case FDTOS: TYPE(2,1,1,2,1,0,0); break;
248*4882a593Smuzhiyun 			case FSTOD: TYPE(2,2,1,1,1,0,0); break;
249*4882a593Smuzhiyun 			case FSTOI: TYPE(2,1,0,1,1,0,0); break;
250*4882a593Smuzhiyun 			case FDTOI: TYPE(2,1,0,2,1,0,0); break;
251*4882a593Smuzhiyun 
252*4882a593Smuzhiyun 			/* Only Ultra-III generates these */
253*4882a593Smuzhiyun 			case FXTOS: TYPE(2,1,1,2,0,0,0); break;
254*4882a593Smuzhiyun 			case FXTOD: TYPE(2,2,1,2,0,0,0); break;
255*4882a593Smuzhiyun #if 0			/* Optimized inline in sparc64/kernel/entry.S */
256*4882a593Smuzhiyun 			case FITOS: TYPE(2,1,1,1,0,0,0); break;
257*4882a593Smuzhiyun #endif
258*4882a593Smuzhiyun 			case FITOD: TYPE(2,2,1,1,0,0,0); break;
259*4882a593Smuzhiyun 			}
260*4882a593Smuzhiyun 		}
261*4882a593Smuzhiyun 		else if ((insn & 0xc1f80000) == 0x81a80000) /* FPOP2 */ {
262*4882a593Smuzhiyun 			IR = 2;
263*4882a593Smuzhiyun 			switch ((insn >> 5) & 0x1ff) {
264*4882a593Smuzhiyun 			case FCMPQ: TYPE(3,0,0,3,1,3,1); break;
265*4882a593Smuzhiyun 			case FCMPEQ: TYPE(3,0,0,3,1,3,1); break;
266*4882a593Smuzhiyun 			/* Now the conditional fmovq support */
267*4882a593Smuzhiyun 			case FMOVQ0:
268*4882a593Smuzhiyun 			case FMOVQ1:
269*4882a593Smuzhiyun 			case FMOVQ2:
270*4882a593Smuzhiyun 			case FMOVQ3:
271*4882a593Smuzhiyun 				/* fmovq %fccX, %fY, %fZ */
272*4882a593Smuzhiyun 				if (!((insn >> 11) & 3))
273*4882a593Smuzhiyun 					XR = current_thread_info()->xfsr[0] >> 10;
274*4882a593Smuzhiyun 				else
275*4882a593Smuzhiyun 					XR = current_thread_info()->xfsr[0] >> (30 + ((insn >> 10) & 0x6));
276*4882a593Smuzhiyun 				XR &= 3;
277*4882a593Smuzhiyun 				IR = 0;
278*4882a593Smuzhiyun 				switch ((insn >> 14) & 0x7) {
279*4882a593Smuzhiyun 				/* case 0: IR = 0; break; */			/* Never */
280*4882a593Smuzhiyun 				case 1: if (XR) IR = 1; break;			/* Not Equal */
281*4882a593Smuzhiyun 				case 2: if (XR == 1 || XR == 2) IR = 1; break;	/* Less or Greater */
282*4882a593Smuzhiyun 				case 3: if (XR & 1) IR = 1; break;		/* Unordered or Less */
283*4882a593Smuzhiyun 				case 4: if (XR == 1) IR = 1; break;		/* Less */
284*4882a593Smuzhiyun 				case 5: if (XR & 2) IR = 1; break;		/* Unordered or Greater */
285*4882a593Smuzhiyun 				case 6: if (XR == 2) IR = 1; break;		/* Greater */
286*4882a593Smuzhiyun 				case 7: if (XR == 3) IR = 1; break;		/* Unordered */
287*4882a593Smuzhiyun 				}
288*4882a593Smuzhiyun 				if ((insn >> 14) & 8)
289*4882a593Smuzhiyun 					IR ^= 1;
290*4882a593Smuzhiyun 				break;
291*4882a593Smuzhiyun 			case FMOVQI:
292*4882a593Smuzhiyun 			case FMOVQX:
293*4882a593Smuzhiyun 				/* fmovq %[ix]cc, %fY, %fZ */
294*4882a593Smuzhiyun 				XR = regs->tstate >> 32;
295*4882a593Smuzhiyun 				if ((insn >> 5) & 0x80)
296*4882a593Smuzhiyun 					XR >>= 4;
297*4882a593Smuzhiyun 				XR &= 0xf;
298*4882a593Smuzhiyun 				IR = 0;
299*4882a593Smuzhiyun 				freg = ((XR >> 2) ^ XR) & 2;
300*4882a593Smuzhiyun 				switch ((insn >> 14) & 0x7) {
301*4882a593Smuzhiyun 				/* case 0: IR = 0; break; */			/* Never */
302*4882a593Smuzhiyun 				case 1: if (XR & 4) IR = 1; break;		/* Equal */
303*4882a593Smuzhiyun 				case 2: if ((XR & 4) || freg) IR = 1; break;	/* Less or Equal */
304*4882a593Smuzhiyun 				case 3: if (freg) IR = 1; break;		/* Less */
305*4882a593Smuzhiyun 				case 4: if (XR & 5) IR = 1; break;		/* Less or Equal Unsigned */
306*4882a593Smuzhiyun 				case 5: if (XR & 1) IR = 1; break;		/* Carry Set */
307*4882a593Smuzhiyun 				case 6: if (XR & 8) IR = 1; break;		/* Negative */
308*4882a593Smuzhiyun 				case 7: if (XR & 2) IR = 1; break;		/* Overflow Set */
309*4882a593Smuzhiyun 				}
310*4882a593Smuzhiyun 				if ((insn >> 14) & 8)
311*4882a593Smuzhiyun 					IR ^= 1;
312*4882a593Smuzhiyun 				break;
313*4882a593Smuzhiyun 			case FMOVQZ:
314*4882a593Smuzhiyun 			case FMOVQLE:
315*4882a593Smuzhiyun 			case FMOVQLZ:
316*4882a593Smuzhiyun 			case FMOVQNZ:
317*4882a593Smuzhiyun 			case FMOVQGZ:
318*4882a593Smuzhiyun 			case FMOVQGE:
319*4882a593Smuzhiyun 				freg = (insn >> 14) & 0x1f;
320*4882a593Smuzhiyun 				if (!freg)
321*4882a593Smuzhiyun 					XR = 0;
322*4882a593Smuzhiyun 				else if (freg < 16)
323*4882a593Smuzhiyun 					XR = regs->u_regs[freg];
324*4882a593Smuzhiyun 				else if (!test_thread_64bit_stack(regs->u_regs[UREG_FP])) {
325*4882a593Smuzhiyun 					struct reg_window32 __user *win32;
326*4882a593Smuzhiyun 					flushw_user ();
327*4882a593Smuzhiyun 					win32 = (struct reg_window32 __user *)((unsigned long)((u32)regs->u_regs[UREG_FP]));
328*4882a593Smuzhiyun 					get_user(XR, &win32->locals[freg - 16]);
329*4882a593Smuzhiyun 				} else {
330*4882a593Smuzhiyun 					struct reg_window __user *win;
331*4882a593Smuzhiyun 					flushw_user ();
332*4882a593Smuzhiyun 					win = (struct reg_window __user *)(regs->u_regs[UREG_FP] + STACK_BIAS);
333*4882a593Smuzhiyun 					get_user(XR, &win->locals[freg - 16]);
334*4882a593Smuzhiyun 				}
335*4882a593Smuzhiyun 				IR = 0;
336*4882a593Smuzhiyun 				switch ((insn >> 10) & 3) {
337*4882a593Smuzhiyun 				case 1: if (!XR) IR = 1; break;			/* Register Zero */
338*4882a593Smuzhiyun 				case 2: if (XR <= 0) IR = 1; break;		/* Register Less Than or Equal to Zero */
339*4882a593Smuzhiyun 				case 3: if (XR < 0) IR = 1; break;		/* Register Less Than Zero */
340*4882a593Smuzhiyun 				}
341*4882a593Smuzhiyun 				if ((insn >> 10) & 4)
342*4882a593Smuzhiyun 					IR ^= 1;
343*4882a593Smuzhiyun 				break;
344*4882a593Smuzhiyun 			}
345*4882a593Smuzhiyun 			if (IR == 0) {
346*4882a593Smuzhiyun 				/* The fmov test was false. Do a nop instead */
347*4882a593Smuzhiyun 				current_thread_info()->xfsr[0] &= ~(FSR_CEXC_MASK);
348*4882a593Smuzhiyun 				regs->tpc = regs->tnpc;
349*4882a593Smuzhiyun 				regs->tnpc += 4;
350*4882a593Smuzhiyun 				return 1;
351*4882a593Smuzhiyun 			} else if (IR == 1) {
352*4882a593Smuzhiyun 				/* Change the instruction into plain fmovq */
353*4882a593Smuzhiyun 				insn = (insn & 0x3e00001f) | 0x81a00060;
354*4882a593Smuzhiyun 				TYPE(3,3,0,3,0,0,0);
355*4882a593Smuzhiyun 			}
356*4882a593Smuzhiyun 		}
357*4882a593Smuzhiyun 	}
358*4882a593Smuzhiyun 	if (type) {
359*4882a593Smuzhiyun 		argp rs1 = NULL, rs2 = NULL, rd = NULL;
360*4882a593Smuzhiyun 
361*4882a593Smuzhiyun 		/* Starting with UltraSPARC-T2, the cpu does not set the FP Trap
362*4882a593Smuzhiyun 		 * Type field in the %fsr to unimplemented_FPop.  Nor does it
363*4882a593Smuzhiyun 		 * use the fp_exception_other trap.  Instead it signals an
364*4882a593Smuzhiyun 		 * illegal instruction and leaves the FP trap type field of
365*4882a593Smuzhiyun 		 * the %fsr unchanged.
366*4882a593Smuzhiyun 		 */
367*4882a593Smuzhiyun 		if (!illegal_insn_trap) {
368*4882a593Smuzhiyun 			int ftt = (current_thread_info()->xfsr[0] >> 14) & 0x7;
369*4882a593Smuzhiyun 			if (ftt != (type >> 9))
370*4882a593Smuzhiyun 				goto err;
371*4882a593Smuzhiyun 		}
372*4882a593Smuzhiyun 		current_thread_info()->xfsr[0] &= ~0x1c000;
373*4882a593Smuzhiyun 		freg = ((insn >> 14) & 0x1f);
374*4882a593Smuzhiyun 		switch (type & 0x3) {
375*4882a593Smuzhiyun 		case 3: if (freg & 2) {
376*4882a593Smuzhiyun 				current_thread_info()->xfsr[0] |= (6 << 14) /* invalid_fp_register */;
377*4882a593Smuzhiyun 				goto err;
378*4882a593Smuzhiyun 			}
379*4882a593Smuzhiyun 		case 2: freg = ((freg & 1) << 5) | (freg & 0x1e);
380*4882a593Smuzhiyun 		case 1: rs1 = (argp)&f->regs[freg];
381*4882a593Smuzhiyun 			flags = (freg < 32) ? FPRS_DL : FPRS_DU;
382*4882a593Smuzhiyun 			if (!(current_thread_info()->fpsaved[0] & flags))
383*4882a593Smuzhiyun 				rs1 = (argp)&zero;
384*4882a593Smuzhiyun 			break;
385*4882a593Smuzhiyun 		}
386*4882a593Smuzhiyun 		switch (type & 0x7) {
387*4882a593Smuzhiyun 		case 7: FP_UNPACK_QP (QA, rs1); break;
388*4882a593Smuzhiyun 		case 6: FP_UNPACK_DP (DA, rs1); break;
389*4882a593Smuzhiyun 		case 5: FP_UNPACK_SP (SA, rs1); break;
390*4882a593Smuzhiyun 		}
391*4882a593Smuzhiyun 		freg = (insn & 0x1f);
392*4882a593Smuzhiyun 		switch ((type >> 3) & 0x3) {
393*4882a593Smuzhiyun 		case 3: if (freg & 2) {
394*4882a593Smuzhiyun 				current_thread_info()->xfsr[0] |= (6 << 14) /* invalid_fp_register */;
395*4882a593Smuzhiyun 				goto err;
396*4882a593Smuzhiyun 			}
397*4882a593Smuzhiyun 		case 2: freg = ((freg & 1) << 5) | (freg & 0x1e);
398*4882a593Smuzhiyun 		case 1: rs2 = (argp)&f->regs[freg];
399*4882a593Smuzhiyun 			flags = (freg < 32) ? FPRS_DL : FPRS_DU;
400*4882a593Smuzhiyun 			if (!(current_thread_info()->fpsaved[0] & flags))
401*4882a593Smuzhiyun 				rs2 = (argp)&zero;
402*4882a593Smuzhiyun 			break;
403*4882a593Smuzhiyun 		}
404*4882a593Smuzhiyun 		switch ((type >> 3) & 0x7) {
405*4882a593Smuzhiyun 		case 7: FP_UNPACK_QP (QB, rs2); break;
406*4882a593Smuzhiyun 		case 6: FP_UNPACK_DP (DB, rs2); break;
407*4882a593Smuzhiyun 		case 5: FP_UNPACK_SP (SB, rs2); break;
408*4882a593Smuzhiyun 		}
409*4882a593Smuzhiyun 		freg = ((insn >> 25) & 0x1f);
410*4882a593Smuzhiyun 		switch ((type >> 6) & 0x3) {
411*4882a593Smuzhiyun 		case 3: if (freg & 2) {
412*4882a593Smuzhiyun 				current_thread_info()->xfsr[0] |= (6 << 14) /* invalid_fp_register */;
413*4882a593Smuzhiyun 				goto err;
414*4882a593Smuzhiyun 			}
415*4882a593Smuzhiyun 		case 2: freg = ((freg & 1) << 5) | (freg & 0x1e);
416*4882a593Smuzhiyun 		case 1: rd = (argp)&f->regs[freg];
417*4882a593Smuzhiyun 			flags = (freg < 32) ? FPRS_DL : FPRS_DU;
418*4882a593Smuzhiyun 			if (!(current_thread_info()->fpsaved[0] & FPRS_FEF)) {
419*4882a593Smuzhiyun 				current_thread_info()->fpsaved[0] = FPRS_FEF;
420*4882a593Smuzhiyun 				current_thread_info()->gsr[0] = 0;
421*4882a593Smuzhiyun 			}
422*4882a593Smuzhiyun 			if (!(current_thread_info()->fpsaved[0] & flags)) {
423*4882a593Smuzhiyun 				if (freg < 32)
424*4882a593Smuzhiyun 					memset(f->regs, 0, 32*sizeof(u32));
425*4882a593Smuzhiyun 				else
426*4882a593Smuzhiyun 					memset(f->regs+32, 0, 32*sizeof(u32));
427*4882a593Smuzhiyun 			}
428*4882a593Smuzhiyun 			current_thread_info()->fpsaved[0] |= flags;
429*4882a593Smuzhiyun 			break;
430*4882a593Smuzhiyun 		}
431*4882a593Smuzhiyun 		switch ((insn >> 5) & 0x1ff) {
432*4882a593Smuzhiyun 		/* + */
433*4882a593Smuzhiyun 		case FADDS: FP_ADD_S (SR, SA, SB); break;
434*4882a593Smuzhiyun 		case FADDD: FP_ADD_D (DR, DA, DB); break;
435*4882a593Smuzhiyun 		case FADDQ: FP_ADD_Q (QR, QA, QB); break;
436*4882a593Smuzhiyun 		/* - */
437*4882a593Smuzhiyun 		case FSUBS: FP_SUB_S (SR, SA, SB); break;
438*4882a593Smuzhiyun 		case FSUBD: FP_SUB_D (DR, DA, DB); break;
439*4882a593Smuzhiyun 		case FSUBQ: FP_SUB_Q (QR, QA, QB); break;
440*4882a593Smuzhiyun 		/* * */
441*4882a593Smuzhiyun 		case FMULS: FP_MUL_S (SR, SA, SB); break;
442*4882a593Smuzhiyun 		case FSMULD: FP_CONV (D, S, 1, 1, DA, SA);
443*4882a593Smuzhiyun 			     FP_CONV (D, S, 1, 1, DB, SB);
444*4882a593Smuzhiyun 		case FMULD: FP_MUL_D (DR, DA, DB); break;
445*4882a593Smuzhiyun 		case FDMULQ: FP_CONV (Q, D, 2, 1, QA, DA);
446*4882a593Smuzhiyun 			     FP_CONV (Q, D, 2, 1, QB, DB);
447*4882a593Smuzhiyun 		case FMULQ: FP_MUL_Q (QR, QA, QB); break;
448*4882a593Smuzhiyun 		/* / */
449*4882a593Smuzhiyun 		case FDIVS: FP_DIV_S (SR, SA, SB); break;
450*4882a593Smuzhiyun 		case FDIVD: FP_DIV_D (DR, DA, DB); break;
451*4882a593Smuzhiyun 		case FDIVQ: FP_DIV_Q (QR, QA, QB); break;
452*4882a593Smuzhiyun 		/* sqrt */
453*4882a593Smuzhiyun 		case FSQRTS: FP_SQRT_S (SR, SB); break;
454*4882a593Smuzhiyun 		case FSQRTD: FP_SQRT_D (DR, DB); break;
455*4882a593Smuzhiyun 		case FSQRTQ: FP_SQRT_Q (QR, QB); break;
456*4882a593Smuzhiyun 		/* mov */
457*4882a593Smuzhiyun 		case FMOVQ: rd->q[0] = rs2->q[0]; rd->q[1] = rs2->q[1]; break;
458*4882a593Smuzhiyun 		case FABSQ: rd->q[0] = rs2->q[0] & 0x7fffffffffffffffUL; rd->q[1] = rs2->q[1]; break;
459*4882a593Smuzhiyun 		case FNEGQ: rd->q[0] = rs2->q[0] ^ 0x8000000000000000UL; rd->q[1] = rs2->q[1]; break;
460*4882a593Smuzhiyun 		/* float to int */
461*4882a593Smuzhiyun 		case FSTOI: FP_TO_INT_S (IR, SB, 32, 1); break;
462*4882a593Smuzhiyun 		case FDTOI: FP_TO_INT_D (IR, DB, 32, 1); break;
463*4882a593Smuzhiyun 		case FQTOI: FP_TO_INT_Q (IR, QB, 32, 1); break;
464*4882a593Smuzhiyun 		case FSTOX: FP_TO_INT_S (XR, SB, 64, 1); break;
465*4882a593Smuzhiyun 		case FDTOX: FP_TO_INT_D (XR, DB, 64, 1); break;
466*4882a593Smuzhiyun 		case FQTOX: FP_TO_INT_Q (XR, QB, 64, 1); break;
467*4882a593Smuzhiyun 		/* int to float */
468*4882a593Smuzhiyun 		case FITOQ: IR = rs2->s; FP_FROM_INT_Q (QR, IR, 32, int); break;
469*4882a593Smuzhiyun 		case FXTOQ: XR = rs2->d; FP_FROM_INT_Q (QR, XR, 64, long); break;
470*4882a593Smuzhiyun 		/* Only Ultra-III generates these */
471*4882a593Smuzhiyun 		case FXTOS: XR = rs2->d; FP_FROM_INT_S (SR, XR, 64, long); break;
472*4882a593Smuzhiyun 		case FXTOD: XR = rs2->d; FP_FROM_INT_D (DR, XR, 64, long); break;
473*4882a593Smuzhiyun #if 0		/* Optimized inline in sparc64/kernel/entry.S */
474*4882a593Smuzhiyun 		case FITOS: IR = rs2->s; FP_FROM_INT_S (SR, IR, 32, int); break;
475*4882a593Smuzhiyun #endif
476*4882a593Smuzhiyun 		case FITOD: IR = rs2->s; FP_FROM_INT_D (DR, IR, 32, int); break;
477*4882a593Smuzhiyun 		/* float to float */
478*4882a593Smuzhiyun 		case FSTOD: FP_CONV (D, S, 1, 1, DR, SB); break;
479*4882a593Smuzhiyun 		case FSTOQ: FP_CONV (Q, S, 2, 1, QR, SB); break;
480*4882a593Smuzhiyun 		case FDTOQ: FP_CONV (Q, D, 2, 1, QR, DB); break;
481*4882a593Smuzhiyun 		case FDTOS: FP_CONV (S, D, 1, 1, SR, DB); break;
482*4882a593Smuzhiyun 		case FQTOS: FP_CONV (S, Q, 1, 2, SR, QB); break;
483*4882a593Smuzhiyun 		case FQTOD: FP_CONV (D, Q, 1, 2, DR, QB); break;
484*4882a593Smuzhiyun 		/* comparison */
485*4882a593Smuzhiyun 		case FCMPQ:
486*4882a593Smuzhiyun 		case FCMPEQ:
487*4882a593Smuzhiyun 			FP_CMP_Q(XR, QB, QA, 3);
488*4882a593Smuzhiyun 			if (XR == 3 &&
489*4882a593Smuzhiyun 			    (((insn >> 5) & 0x1ff) == FCMPEQ ||
490*4882a593Smuzhiyun 			     FP_ISSIGNAN_Q(QA) ||
491*4882a593Smuzhiyun 			     FP_ISSIGNAN_Q(QB)))
492*4882a593Smuzhiyun 				FP_SET_EXCEPTION (FP_EX_INVALID);
493*4882a593Smuzhiyun 		}
494*4882a593Smuzhiyun 		if (!FP_INHIBIT_RESULTS) {
495*4882a593Smuzhiyun 			switch ((type >> 6) & 0x7) {
496*4882a593Smuzhiyun 			case 0: xfsr = current_thread_info()->xfsr[0];
497*4882a593Smuzhiyun 				if (XR == -1) XR = 2;
498*4882a593Smuzhiyun 				switch (freg & 3) {
499*4882a593Smuzhiyun 				/* fcc0, 1, 2, 3 */
500*4882a593Smuzhiyun 				case 0: xfsr &= ~0xc00; xfsr |= (XR << 10); break;
501*4882a593Smuzhiyun 				case 1: xfsr &= ~0x300000000UL; xfsr |= (XR << 32); break;
502*4882a593Smuzhiyun 				case 2: xfsr &= ~0xc00000000UL; xfsr |= (XR << 34); break;
503*4882a593Smuzhiyun 				case 3: xfsr &= ~0x3000000000UL; xfsr |= (XR << 36); break;
504*4882a593Smuzhiyun 				}
505*4882a593Smuzhiyun 				current_thread_info()->xfsr[0] = xfsr;
506*4882a593Smuzhiyun 				break;
507*4882a593Smuzhiyun 			case 1: rd->s = IR; break;
508*4882a593Smuzhiyun 			case 2: rd->d = XR; break;
509*4882a593Smuzhiyun 			case 5: FP_PACK_SP (rd, SR); break;
510*4882a593Smuzhiyun 			case 6: FP_PACK_DP (rd, DR); break;
511*4882a593Smuzhiyun 			case 7: FP_PACK_QP (rd, QR); break;
512*4882a593Smuzhiyun 			}
513*4882a593Smuzhiyun 		}
514*4882a593Smuzhiyun 
515*4882a593Smuzhiyun 		if(_fex != 0)
516*4882a593Smuzhiyun 			return record_exception(regs, _fex);
517*4882a593Smuzhiyun 
518*4882a593Smuzhiyun 		/* Success and no exceptions detected. */
519*4882a593Smuzhiyun 		current_thread_info()->xfsr[0] &= ~(FSR_CEXC_MASK);
520*4882a593Smuzhiyun 		regs->tpc = regs->tnpc;
521*4882a593Smuzhiyun 		regs->tnpc += 4;
522*4882a593Smuzhiyun 		return 1;
523*4882a593Smuzhiyun 	}
524*4882a593Smuzhiyun err:	return 0;
525*4882a593Smuzhiyun }
526