xref: /freebsd/sys/powerpc/fpu/fpu_emu.c (revision 5dae51da3da0cc94d17bd67b308fad304ebec7e0)
1 /*	$NetBSD: fpu_emu.c,v 1.14 2005/12/11 12:18:42 christos Exp $ */
2 
3 /*
4  * Copyright 2001 Wasabi Systems, Inc.
5  * All rights reserved.
6  *
7  * Written by Eduardo Horvath and Simon Burge for Wasabi Systems, Inc.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  *    notice, this list of conditions and the following disclaimer in the
16  *    documentation and/or other materials provided with the distribution.
17  * 3. All advertising materials mentioning features or use of this software
18  *    must display the following acknowledgement:
19  *      This product includes software developed for the NetBSD Project by
20  *      Wasabi Systems, Inc.
21  * 4. The name of Wasabi Systems, Inc. may not be used to endorse
22  *    or promote products derived from this software without specific prior
23  *    written permission.
24  *
25  * THIS SOFTWARE IS PROVIDED BY WASABI SYSTEMS, INC. ``AS IS'' AND
26  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
27  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
28  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL WASABI SYSTEMS, INC
29  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
30  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
31  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
32  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
33  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
34  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
35  * POSSIBILITY OF SUCH DAMAGE.
36  */
37 
38 /*
39  * Copyright (c) 1992, 1993
40  *	The Regents of the University of California.  All rights reserved.
41  *
42  * This software was developed by the Computer Systems Engineering group
43  * at Lawrence Berkeley Laboratory under DARPA contract BG 91-66 and
44  * contributed to Berkeley.
45  *
46  * All advertising materials mentioning features or use of this software
47  * must display the following acknowledgement:
48  *	This product includes software developed by the University of
49  *	California, Lawrence Berkeley Laboratory.
50  *
51  * Redistribution and use in source and binary forms, with or without
52  * modification, are permitted provided that the following conditions
53  * are met:
54  * 1. Redistributions of source code must retain the above copyright
55  *    notice, this list of conditions and the following disclaimer.
56  * 2. Redistributions in binary form must reproduce the above copyright
57  *    notice, this list of conditions and the following disclaimer in the
58  *    documentation and/or other materials provided with the distribution.
59  * 3. Neither the name of the University nor the names of its contributors
60  *    may be used to endorse or promote products derived from this software
61  *    without specific prior written permission.
62  *
63  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
64  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
65  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
66  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
67  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
68  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
69  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
70  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
71  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
72  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
73  * SUCH DAMAGE.
74  *
75  *	@(#)fpu.c	8.1 (Berkeley) 6/11/93
76  */
77 
78 #include <sys/cdefs.h>
79 __FBSDID("$FreeBSD$");
80 
81 #include "opt_ddb.h"
82 
83 #include <sys/param.h>
84 #include <sys/systm.h>
85 #include <sys/kdb.h>
86 #include <sys/kernel.h>
87 #include <sys/proc.h>
88 #include <sys/sysctl.h>
89 #include <sys/signal.h>
90 #include <sys/syslog.h>
91 #include <sys/signalvar.h>
92 
93 #include <machine/fpu.h>
94 #include <machine/reg.h>
95 
96 #include <powerpc/fpu/fpu_emu.h>
97 #include <powerpc/fpu/fpu_extern.h>
98 #include <powerpc/fpu/fpu_instr.h>
99 
100 static SYSCTL_NODE(_hw, OID_AUTO, fpu_emu, CTLFLAG_RW, 0, "FPU emulator");
101 
102 #define	FPU_EMU_EVCNT_DECL(name)					\
103 static u_int fpu_emu_evcnt_##name;					\
104 SYSCTL_INT(_hw_fpu_emu, OID_AUTO, evcnt_##name, CTLFLAG_RD,		\
105     &fpu_emu_evcnt_##name, 0, "")
106 
107 #define	FPU_EMU_EVCNT_INCR(name)	fpu_emu_evcnt_##name++
108 
109 FPU_EMU_EVCNT_DECL(stfiwx);
110 FPU_EMU_EVCNT_DECL(fpstore);
111 FPU_EMU_EVCNT_DECL(fpload);
112 FPU_EMU_EVCNT_DECL(fcmpu);
113 FPU_EMU_EVCNT_DECL(frsp);
114 FPU_EMU_EVCNT_DECL(fctiw);
115 FPU_EMU_EVCNT_DECL(fcmpo);
116 FPU_EMU_EVCNT_DECL(mtfsb1);
117 FPU_EMU_EVCNT_DECL(fnegabs);
118 FPU_EMU_EVCNT_DECL(mcrfs);
119 FPU_EMU_EVCNT_DECL(mtfsb0);
120 FPU_EMU_EVCNT_DECL(fmr);
121 FPU_EMU_EVCNT_DECL(mtfsfi);
122 FPU_EMU_EVCNT_DECL(fnabs);
123 FPU_EMU_EVCNT_DECL(fabs);
124 FPU_EMU_EVCNT_DECL(mffs);
125 FPU_EMU_EVCNT_DECL(mtfsf);
126 FPU_EMU_EVCNT_DECL(fctid);
127 FPU_EMU_EVCNT_DECL(fcfid);
128 FPU_EMU_EVCNT_DECL(fdiv);
129 FPU_EMU_EVCNT_DECL(fsub);
130 FPU_EMU_EVCNT_DECL(fadd);
131 FPU_EMU_EVCNT_DECL(fsqrt);
132 FPU_EMU_EVCNT_DECL(fsel);
133 FPU_EMU_EVCNT_DECL(fpres);
134 FPU_EMU_EVCNT_DECL(fmul);
135 FPU_EMU_EVCNT_DECL(frsqrte);
136 FPU_EMU_EVCNT_DECL(fmulsub);
137 FPU_EMU_EVCNT_DECL(fmuladd);
138 FPU_EMU_EVCNT_DECL(fnmsub);
139 FPU_EMU_EVCNT_DECL(fnmadd);
140 
141 /* FPSR exception masks */
142 #define FPSR_EX_MSK	(FPSCR_VX|FPSCR_OX|FPSCR_UX|FPSCR_ZX|		\
143 			FPSCR_XX|FPSCR_VXSNAN|FPSCR_VXISI|FPSCR_VXIDI|	\
144 			FPSCR_VXZDZ|FPSCR_VXIMZ|FPSCR_VXVC|FPSCR_VXSOFT|\
145 			FPSCR_VXSQRT|FPSCR_VXCVI)
146 #define	FPSR_EX		(FPSCR_VE|FPSCR_OE|FPSCR_UE|FPSCR_ZE|FPSCR_XE)
147 #define	FPSR_EXOP	(FPSR_EX_MSK&(~FPSR_EX))
148 
149 int fpe_debug = 0;
150 
151 #ifdef DEBUG
152 vm_offset_t opc_disasm(vm_offset_t, int);
153 
154 /*
155  * Dump a `fpn' structure.
156  */
157 void
158 fpu_dumpfpn(struct fpn *fp)
159 {
160 	static const char *class[] = {
161 		"SNAN", "QNAN", "ZERO", "NUM", "INF"
162 	};
163 
164 	printf("%s %c.%x %x %x %xE%d", class[fp->fp_class + 2],
165 		fp->fp_sign ? '-' : ' ',
166 		fp->fp_mant[0],	fp->fp_mant[1],
167 		fp->fp_mant[2], fp->fp_mant[3],
168 		fp->fp_exp);
169 }
170 #endif
171 
172 /*
173  * fpu_execute returns the following error numbers (0 = no error):
174  */
175 #define	FPE		1	/* take a floating point exception */
176 #define	NOTFPU		2	/* not an FPU instruction */
177 #define	FAULT		3
178 
179 
180 /*
181  * Emulate a floating-point instruction.
182  * Return zero for success, else signal number.
183  * (Typically: zero, SIGFPE, SIGILL, SIGSEGV)
184  */
185 int
186 fpu_emulate(struct trapframe *frame, struct fpu *fpf)
187 {
188 	union instr insn;
189 	struct fpemu fe;
190 	static int lastill = 0;
191 	int sig;
192 
193 	/* initialize insn.is_datasize to tell it is *not* initialized */
194 	fe.fe_fpstate = fpf;
195 	fe.fe_cx = 0;
196 
197 	/* always set this (to avoid a warning) */
198 
199 	if (copyin((void *) (frame->srr0), &insn.i_int, sizeof (insn.i_int))) {
200 #ifdef DEBUG
201 		printf("fpu_emulate: fault reading opcode\n");
202 #endif
203 		return SIGSEGV;
204 	}
205 
206 	DPRINTF(FPE_EX, ("fpu_emulate: emulating insn %x at %p\n",
207 	    insn.i_int, (void *)frame->srr0));
208 
209 
210 	if ((insn.i_any.i_opcd == OPC_TWI) ||
211 	    ((insn.i_any.i_opcd == OPC_integer_31) &&
212 	    (insn.i_x.i_xo == OPC31_TW))) {
213 		/* Check for the two trap insns. */
214 		DPRINTF(FPE_EX, ("fpu_emulate: SIGTRAP\n"));
215 		return (SIGTRAP);
216 	}
217 	sig = 0;
218 	switch (fpu_execute(frame, &fe, &insn)) {
219 	case 0:
220 		DPRINTF(FPE_EX, ("fpu_emulate: success\n"));
221 		frame->srr0 += 4;
222 		break;
223 
224 	case FPE:
225 		DPRINTF(FPE_EX, ("fpu_emulate: SIGFPE\n"));
226 		sig = SIGFPE;
227 		break;
228 
229 	case FAULT:
230 		DPRINTF(FPE_EX, ("fpu_emulate: SIGSEGV\n"));
231 		sig = SIGSEGV;
232 		break;
233 
234 	case NOTFPU:
235 	default:
236 		DPRINTF(FPE_EX, ("fpu_emulate: SIGILL\n"));
237 #ifdef DEBUG
238 		if (fpe_debug & FPE_EX) {
239 			printf("fpu_emulate:  illegal insn %x at %p:",
240 			insn.i_int, (void *) (frame->srr0));
241 			opc_disasm(frame->srr0, insn.i_int);
242 		}
243 #endif
244 		/*
245 		* XXXX retry an illegal insn once due to cache issues.
246 		*/
247 		if (lastill == frame->srr0) {
248 			sig = SIGILL;
249 #ifdef DEBUG
250 			if (fpe_debug & FPE_EX)
251 				kdb_enter(KDB_WHY_UNSET, "illegal instruction");
252 #endif
253 		}
254 		lastill = frame->srr0;
255 		break;
256 	}
257 
258 	return (sig);
259 }
260 
261 /*
262  * Execute an FPU instruction (one that runs entirely in the FPU; not
263  * FBfcc or STF, for instance).  On return, fe->fe_fs->fs_fsr will be
264  * modified to reflect the setting the hardware would have left.
265  *
266  * Note that we do not catch all illegal opcodes, so you can, for instance,
267  * multiply two integers this way.
268  */
269 int
270 fpu_execute(struct trapframe *tf, struct fpemu *fe, union instr *insn)
271 {
272 	struct fpn *fp;
273 	union instr instr = *insn;
274 	int *a;
275 	vm_offset_t addr;
276 	int ra, rb, rc, rt, type, mask, fsr, cx, bf, setcr;
277 	unsigned int cond;
278 	struct fpu *fs;
279 
280 	/* Setup work. */
281 	fp = NULL;
282 	fs = fe->fe_fpstate;
283 	fe->fe_fpscr = ((int *)&fs->fpscr)[1];
284 
285 	/*
286 	 * On PowerPC all floating point values are stored in registers
287 	 * as doubles, even when used for single precision operations.
288 	 */
289 	type = FTYPE_DBL;
290 	cond = instr.i_any.i_rc;
291 	setcr = 0;
292 	bf = 0;	/* XXX gcc */
293 
294 #if defined(DDB) && defined(DEBUG)
295 	if (fpe_debug & FPE_EX) {
296 		vm_offset_t loc = tf->srr0;
297 
298 		printf("Trying to emulate: %p ", (void *)loc);
299 		opc_disasm(loc, instr.i_int);
300 	}
301 #endif
302 
303 	/*
304 	 * `Decode' and execute instruction.
305 	 */
306 
307 	if ((instr.i_any.i_opcd >= OPC_LFS && instr.i_any.i_opcd <= OPC_STFDU) ||
308 	    instr.i_any.i_opcd == OPC_integer_31) {
309 		/*
310 		 * Handle load/store insns:
311 		 *
312 		 * Convert to/from single if needed, calculate addr,
313 		 * and update index reg if needed.
314 		 */
315 		double buf;
316 		size_t size = sizeof(float);
317 		int store, update;
318 
319 		cond = 0; /* ld/st never set condition codes */
320 
321 
322 		if (instr.i_any.i_opcd == OPC_integer_31) {
323 			if (instr.i_x.i_xo == OPC31_STFIWX) {
324 				FPU_EMU_EVCNT_INCR(stfiwx);
325 
326 				/* Store as integer */
327 				ra = instr.i_x.i_ra;
328 				rb = instr.i_x.i_rb;
329 				DPRINTF(FPE_INSN,
330 					("reg %d has %jx reg %d has %jx\n",
331 					ra, (uintmax_t)tf->fixreg[ra], rb,
332 					(uintmax_t)tf->fixreg[rb]));
333 
334 				addr = tf->fixreg[rb];
335 				if (ra != 0)
336 					addr += tf->fixreg[ra];
337 				rt = instr.i_x.i_rt;
338 				a = (int *)&fs->fpr[rt].fpr;
339 				DPRINTF(FPE_INSN,
340 					("fpu_execute: Store INT %x at %p\n",
341 						a[1], (void *)addr));
342 				if (copyout(&a[1], (void *)addr, sizeof(int)))
343 					return (FAULT);
344 				return (0);
345 			}
346 
347 			if ((instr.i_x.i_xo & OPC31_FPMASK) != OPC31_FPOP)
348 				/* Not an indexed FP load/store op */
349 				return (NOTFPU);
350 
351 			store = (instr.i_x.i_xo & 0x80);
352 			if (instr.i_x.i_xo & 0x40)
353 				size = sizeof(double);
354 			else
355 				type = FTYPE_SNG;
356 			update = (instr.i_x.i_xo & 0x20);
357 
358 			/* calculate EA of load/store */
359 			ra = instr.i_x.i_ra;
360 			rb = instr.i_x.i_rb;
361 			DPRINTF(FPE_INSN, ("reg %d has %jx reg %d has %jx\n",
362 				ra, (uintmax_t)tf->fixreg[ra], rb,
363 				(uintmax_t)tf->fixreg[rb]));
364 			addr = tf->fixreg[rb];
365 			if (ra != 0)
366 				addr += tf->fixreg[ra];
367 			rt = instr.i_x.i_rt;
368 		} else {
369 			store = instr.i_d.i_opcd & 0x4;
370 			if (instr.i_d.i_opcd & 0x2)
371 				size = sizeof(double);
372 			else
373 				type = FTYPE_SNG;
374 			update = instr.i_d.i_opcd & 0x1;
375 
376 			/* calculate EA of load/store */
377 			ra = instr.i_d.i_ra;
378 			addr = instr.i_d.i_d;
379 			DPRINTF(FPE_INSN, ("reg %d has %jx displ %jx\n",
380 				ra, (uintmax_t)tf->fixreg[ra],
381 				(uintmax_t)addr));
382 			if (ra != 0)
383 				addr += tf->fixreg[ra];
384 			rt = instr.i_d.i_rt;
385 		}
386 
387 		if (update && ra == 0)
388 			return (NOTFPU);
389 
390 		if (store) {
391 			/* Store */
392 			FPU_EMU_EVCNT_INCR(fpstore);
393 			if (type != FTYPE_DBL) {
394 				DPRINTF(FPE_INSN,
395 					("fpu_execute: Store SNG at %p\n",
396 						(void *)addr));
397 				fpu_explode(fe, fp = &fe->fe_f1, FTYPE_DBL, rt);
398 				fpu_implode(fe, fp, type, (void *)&buf);
399 				if (copyout(&buf, (void *)addr, size))
400 					return (FAULT);
401 			} else {
402 				DPRINTF(FPE_INSN,
403 					("fpu_execute: Store DBL at %p\n",
404 						(void *)addr));
405 				if (copyout(&fs->fpr[rt].fpr, (void *)addr,
406 				    size))
407 					return (FAULT);
408 			}
409 		} else {
410 			/* Load */
411 			FPU_EMU_EVCNT_INCR(fpload);
412 			DPRINTF(FPE_INSN, ("fpu_execute: Load from %p\n",
413 				(void *)addr));
414 			if (copyin((const void *)addr, &fs->fpr[rt].fpr,
415 			    size))
416 				return (FAULT);
417 			if (type != FTYPE_DBL) {
418 				fpu_explode(fe, fp = &fe->fe_f1, type, rt);
419 				fpu_implode(fe, fp, FTYPE_DBL,
420 					(u_int *)&fs->fpr[rt].fpr);
421 			}
422 		}
423 		if (update)
424 			tf->fixreg[ra] = addr;
425 		/* Complete. */
426 		return (0);
427 #ifdef notyet
428 	} else if (instr.i_any.i_opcd == OPC_load_st_62) {
429 		/* These are 64-bit extensions */
430 		return (NOTFPU);
431 #endif
432 	} else if (instr.i_any.i_opcd == OPC_sp_fp_59 ||
433 		instr.i_any.i_opcd == OPC_dp_fp_63) {
434 
435 
436 		if (instr.i_any.i_opcd == OPC_dp_fp_63 &&
437 		    !(instr.i_a.i_xo & OPC63M_MASK)) {
438 			/* Format X */
439 			rt = instr.i_x.i_rt;
440 			ra = instr.i_x.i_ra;
441 			rb = instr.i_x.i_rb;
442 
443 
444 			/* One of the special opcodes.... */
445 			switch (instr.i_x.i_xo) {
446 			case	OPC63_FCMPU:
447 				FPU_EMU_EVCNT_INCR(fcmpu);
448 				DPRINTF(FPE_INSN, ("fpu_execute: FCMPU\n"));
449 				rt >>= 2;
450 				fpu_explode(fe, &fe->fe_f1, type, ra);
451 				fpu_explode(fe, &fe->fe_f2, type, rb);
452 				fpu_compare(fe, 0);
453 				/* Make sure we do the condition regs. */
454 				cond = 0;
455 				/* N.B.: i_rs is already left shifted by two. */
456 				bf = instr.i_x.i_rs & 0xfc;
457 				setcr = 1;
458 				break;
459 
460 			case	OPC63_FRSP:
461 				/*
462 				 * Convert to single:
463 				 *
464 				 * PowerPC uses this to round a double
465 				 * precision value to single precision,
466 				 * but values in registers are always
467 				 * stored in double precision format.
468 				 */
469 				FPU_EMU_EVCNT_INCR(frsp);
470 				DPRINTF(FPE_INSN, ("fpu_execute: FRSP\n"));
471 				fpu_explode(fe, fp = &fe->fe_f1, FTYPE_DBL, rb);
472 				fpu_implode(fe, fp, FTYPE_SNG,
473 					(u_int *)&fs->fpr[rt].fpr);
474 				fpu_explode(fe, fp = &fe->fe_f1, FTYPE_SNG, rt);
475 				type = FTYPE_DBL;
476 				break;
477 			case	OPC63_FCTIW:
478 			case	OPC63_FCTIWZ:
479 				FPU_EMU_EVCNT_INCR(fctiw);
480 				DPRINTF(FPE_INSN, ("fpu_execute: FCTIW\n"));
481 				fpu_explode(fe, fp = &fe->fe_f1, type, rb);
482 				type = FTYPE_INT;
483 				break;
484 			case	OPC63_FCMPO:
485 				FPU_EMU_EVCNT_INCR(fcmpo);
486 				DPRINTF(FPE_INSN, ("fpu_execute: FCMPO\n"));
487 				rt >>= 2;
488 				fpu_explode(fe, &fe->fe_f1, type, ra);
489 				fpu_explode(fe, &fe->fe_f2, type, rb);
490 				fpu_compare(fe, 1);
491 				/* Make sure we do the condition regs. */
492 				cond = 0;
493 				/* N.B.: i_rs is already left shifted by two. */
494 				bf = instr.i_x.i_rs & 0xfc;
495 				setcr = 1;
496 				break;
497 			case	OPC63_MTFSB1:
498 				FPU_EMU_EVCNT_INCR(mtfsb1);
499 				DPRINTF(FPE_INSN, ("fpu_execute: MTFSB1\n"));
500 				fe->fe_fpscr |=
501 					(~(FPSCR_VX|FPSR_EX) & (1<<(31-rt)));
502 				break;
503 			case	OPC63_FNEG:
504 				FPU_EMU_EVCNT_INCR(fnegabs);
505 				DPRINTF(FPE_INSN, ("fpu_execute: FNEGABS\n"));
506 				memcpy(&fs->fpr[rt].fpr, &fs->fpr[rb].fpr,
507 					sizeof(double));
508 				a = (int *)&fs->fpr[rt].fpr;
509 				*a ^= (1U << 31);
510 				break;
511 			case	OPC63_MCRFS:
512 				FPU_EMU_EVCNT_INCR(mcrfs);
513 				DPRINTF(FPE_INSN, ("fpu_execute: MCRFS\n"));
514 				cond = 0;
515 				rt &= 0x1c;
516 				ra &= 0x1c;
517 				/* Extract the bits we want */
518 				mask = (fe->fe_fpscr >> (28 - ra)) & 0xf;
519 				/* Clear the bits we copied. */
520 				fe->fe_cx =
521 					(FPSR_EX_MSK | (0xf << (28 - ra)));
522 				fe->fe_fpscr &= fe->fe_cx;
523 				/* Now shove them in the right part of cr */
524 				tf->cr &= ~(0xf << (28 - rt));
525 				tf->cr |= (mask << (28 - rt));
526 				break;
527 			case	OPC63_MTFSB0:
528 				FPU_EMU_EVCNT_INCR(mtfsb0);
529 				DPRINTF(FPE_INSN, ("fpu_execute: MTFSB0\n"));
530 				fe->fe_fpscr &=
531 					((FPSCR_VX|FPSR_EX) & ~(1<<(31-rt)));
532 				break;
533 			case	OPC63_FMR:
534 				FPU_EMU_EVCNT_INCR(fmr);
535 				DPRINTF(FPE_INSN, ("fpu_execute: FMR\n"));
536 				memcpy(&fs->fpr[rt].fpr, &fs->fpr[rb].fpr,
537 					sizeof(double));
538 				break;
539 			case	OPC63_MTFSFI:
540 				FPU_EMU_EVCNT_INCR(mtfsfi);
541 				DPRINTF(FPE_INSN, ("fpu_execute: MTFSFI\n"));
542 				rb >>= 1;
543 				rt &= 0x1c; /* Already left-shifted 4 */
544 				fe->fe_cx = rb << (28 - rt);
545 				mask = 0xf<<(28 - rt);
546 				fe->fe_fpscr = (fe->fe_fpscr & ~mask) |
547 					fe->fe_cx;
548 /* XXX weird stuff about OX, FX, FEX, and VX should be handled */
549 				break;
550 			case	OPC63_FNABS:
551 				FPU_EMU_EVCNT_INCR(fnabs);
552 				DPRINTF(FPE_INSN, ("fpu_execute: FABS\n"));
553 				memcpy(&fs->fpr[rt].fpr, &fs->fpr[rb].fpr,
554 					sizeof(double));
555 				a = (int *)&fs->fpr[rt].fpr;
556 				*a |= (1U << 31);
557 				break;
558 			case	OPC63_FABS:
559 				FPU_EMU_EVCNT_INCR(fabs);
560 				DPRINTF(FPE_INSN, ("fpu_execute: FABS\n"));
561 				memcpy(&fs->fpr[rt].fpr, &fs->fpr[rb].fpr,
562 					sizeof(double));
563 				a = (int *)&fs->fpr[rt].fpr;
564 				*a &= ~(1U << 31);
565 				break;
566 			case	OPC63_MFFS:
567 				FPU_EMU_EVCNT_INCR(mffs);
568 				DPRINTF(FPE_INSN, ("fpu_execute: MFFS\n"));
569 				memcpy(&fs->fpr[rt].fpr, &fs->fpscr,
570 					sizeof(fs->fpscr));
571 				break;
572 			case	OPC63_MTFSF:
573 				FPU_EMU_EVCNT_INCR(mtfsf);
574 				DPRINTF(FPE_INSN, ("fpu_execute: MTFSF\n"));
575 				if ((rt = instr.i_xfl.i_flm) == -1)
576 					mask = -1;
577 				else {
578 					mask = 0;
579 					/* Convert 1 bit -> 4 bits */
580 					for (ra = 0; ra < 8; ra ++)
581 						if (rt & (1<<ra))
582 							mask |= (0xf<<(4*ra));
583 				}
584 				a = (int *)&fs->fpr[rt].fpr;
585 				fe->fe_cx = mask & a[1];
586 				fe->fe_fpscr = (fe->fe_fpscr&~mask) |
587 					(fe->fe_cx);
588 /* XXX weird stuff about OX, FX, FEX, and VX should be handled */
589 				break;
590 			case	OPC63_FCTID:
591 			case	OPC63_FCTIDZ:
592 				FPU_EMU_EVCNT_INCR(fctid);
593 				DPRINTF(FPE_INSN, ("fpu_execute: FCTID\n"));
594 				fpu_explode(fe, fp = &fe->fe_f1, type, rb);
595 				type = FTYPE_LNG;
596 				break;
597 			case	OPC63_FCFID:
598 				FPU_EMU_EVCNT_INCR(fcfid);
599 				DPRINTF(FPE_INSN, ("fpu_execute: FCFID\n"));
600 				type = FTYPE_LNG;
601 				fpu_explode(fe, fp = &fe->fe_f1, type, rb);
602 				type = FTYPE_DBL;
603 				break;
604 			default:
605 				return (NOTFPU);
606 				break;
607 			}
608 		} else {
609 			/* Format A */
610 			rt = instr.i_a.i_frt;
611 			ra = instr.i_a.i_fra;
612 			rb = instr.i_a.i_frb;
613 			rc = instr.i_a.i_frc;
614 
615 			/*
616 			 * All arithmetic operations work on registers, which
617 			 * are stored as doubles.
618 			 */
619 			type = FTYPE_DBL;
620 			switch ((unsigned int)instr.i_a.i_xo) {
621 			case	OPC59_FDIVS:
622 				FPU_EMU_EVCNT_INCR(fdiv);
623 				DPRINTF(FPE_INSN, ("fpu_execute: FDIV\n"));
624 				fpu_explode(fe, &fe->fe_f1, type, ra);
625 				fpu_explode(fe, &fe->fe_f2, type, rb);
626 				fp = fpu_div(fe);
627 				break;
628 			case	OPC59_FSUBS:
629 				FPU_EMU_EVCNT_INCR(fsub);
630 				DPRINTF(FPE_INSN, ("fpu_execute: FSUB\n"));
631 				fpu_explode(fe, &fe->fe_f1, type, ra);
632 				fpu_explode(fe, &fe->fe_f2, type, rb);
633 				fp = fpu_sub(fe);
634 				break;
635 			case	OPC59_FADDS:
636 				FPU_EMU_EVCNT_INCR(fadd);
637 				DPRINTF(FPE_INSN, ("fpu_execute: FADD\n"));
638 				fpu_explode(fe, &fe->fe_f1, type, ra);
639 				fpu_explode(fe, &fe->fe_f2, type, rb);
640 				fp = fpu_add(fe);
641 				break;
642 			case	OPC59_FSQRTS:
643 				FPU_EMU_EVCNT_INCR(fsqrt);
644 				DPRINTF(FPE_INSN, ("fpu_execute: FSQRT\n"));
645 				fpu_explode(fe, &fe->fe_f1, type, rb);
646 				fp = fpu_sqrt(fe);
647 				break;
648 			case	OPC63M_FSEL:
649 				FPU_EMU_EVCNT_INCR(fsel);
650 				DPRINTF(FPE_INSN, ("fpu_execute: FSEL\n"));
651 				a = (int *)&fe->fe_fpstate->fpr[ra].fpr;
652 				if ((*a & 0x80000000) && (*a & 0x7fffffff))
653 					/* fra < 0 */
654 					rc = rb;
655 				DPRINTF(FPE_INSN, ("f%d => f%d\n", rc, rt));
656 				memcpy(&fs->fpr[rt].fpr, &fs->fpr[rc].fpr,
657 					sizeof(double));
658 				break;
659 			case	OPC59_FRES:
660 				FPU_EMU_EVCNT_INCR(fpres);
661 				DPRINTF(FPE_INSN, ("fpu_execute: FPRES\n"));
662 				fpu_explode(fe, &fe->fe_f1, type, rb);
663 				fp = fpu_sqrt(fe);
664 				/* now we've gotta overwrite the dest reg */
665 				*((int *)&fe->fe_fpstate->fpr[rt].fpr) = 1;
666 				fpu_explode(fe, &fe->fe_f1, FTYPE_INT, rt);
667 				fpu_div(fe);
668 				break;
669 			case	OPC59_FMULS:
670 				FPU_EMU_EVCNT_INCR(fmul);
671 				DPRINTF(FPE_INSN, ("fpu_execute: FMUL\n"));
672 				fpu_explode(fe, &fe->fe_f1, type, ra);
673 				fpu_explode(fe, &fe->fe_f2, type, rc);
674 				fp = fpu_mul(fe);
675 				break;
676 			case	OPC63M_FRSQRTE:
677 				/* Reciprocal sqrt() estimate */
678 				FPU_EMU_EVCNT_INCR(frsqrte);
679 				DPRINTF(FPE_INSN, ("fpu_execute: FRSQRTE\n"));
680 				fpu_explode(fe, &fe->fe_f1, type, rb);
681 				fp = fpu_sqrt(fe);
682 				fe->fe_f2 = *fp;
683 				/* now we've gotta overwrite the dest reg */
684 				*((int *)&fe->fe_fpstate->fpr[rt].fpr) = 1;
685 				fpu_explode(fe, &fe->fe_f1, FTYPE_INT, rt);
686 				fpu_div(fe);
687 				break;
688 			case	OPC59_FMSUBS:
689 				FPU_EMU_EVCNT_INCR(fmulsub);
690 				DPRINTF(FPE_INSN, ("fpu_execute: FMULSUB\n"));
691 				fpu_explode(fe, &fe->fe_f1, type, ra);
692 				fpu_explode(fe, &fe->fe_f2, type, rc);
693 				fp = fpu_mul(fe);
694 				fe->fe_f1 = *fp;
695 				fpu_explode(fe, &fe->fe_f2, type, rb);
696 				fp = fpu_sub(fe);
697 				break;
698 			case	OPC59_FMADDS:
699 				FPU_EMU_EVCNT_INCR(fmuladd);
700 				DPRINTF(FPE_INSN, ("fpu_execute: FMULADD\n"));
701 				fpu_explode(fe, &fe->fe_f1, type, ra);
702 				fpu_explode(fe, &fe->fe_f2, type, rc);
703 				fp = fpu_mul(fe);
704 				fe->fe_f1 = *fp;
705 				fpu_explode(fe, &fe->fe_f2, type, rb);
706 				fp = fpu_add(fe);
707 				break;
708 			case	OPC59_FNMSUBS:
709 				FPU_EMU_EVCNT_INCR(fnmsub);
710 				DPRINTF(FPE_INSN, ("fpu_execute: FNMSUB\n"));
711 				fpu_explode(fe, &fe->fe_f1, type, ra);
712 				fpu_explode(fe, &fe->fe_f2, type, rc);
713 				fp = fpu_mul(fe);
714 				fe->fe_f1 = *fp;
715 				fpu_explode(fe, &fe->fe_f2, type, rb);
716 				fp = fpu_sub(fe);
717 				/* Negate */
718 				fp->fp_sign ^= 1;
719 				break;
720 			case	OPC59_FNMADDS:
721 				FPU_EMU_EVCNT_INCR(fnmadd);
722 				DPRINTF(FPE_INSN, ("fpu_execute: FNMADD\n"));
723 				fpu_explode(fe, &fe->fe_f1, type, ra);
724 				fpu_explode(fe, &fe->fe_f2, type, rc);
725 				fp = fpu_mul(fe);
726 				fe->fe_f1 = *fp;
727 				fpu_explode(fe, &fe->fe_f2, type, rb);
728 				fp = fpu_add(fe);
729 				/* Negate */
730 				fp->fp_sign ^= 1;
731 				break;
732 			default:
733 				return (NOTFPU);
734 				break;
735 			}
736 
737 			/* If the instruction was single precision, round */
738 			if (!(instr.i_any.i_opcd & 0x4)) {
739 				fpu_implode(fe, fp, FTYPE_SNG,
740 					(u_int *)&fs->fpr[rt].fpr);
741 				fpu_explode(fe, fp = &fe->fe_f1, FTYPE_SNG, rt);
742 			}
743 		}
744 	} else {
745 		return (NOTFPU);
746 	}
747 
748 	/*
749 	 * ALU operation is complete.  Collapse the result and then check
750 	 * for exceptions.  If we got any, and they are enabled, do not
751 	 * alter the destination register, just stop with an exception.
752 	 * Otherwise set new current exceptions and accrue.
753 	 */
754 	if (fp)
755 		fpu_implode(fe, fp, type, (u_int *)&fs->fpr[rt].fpr);
756 	cx = fe->fe_cx;
757 	fsr = fe->fe_fpscr;
758 	if (cx != 0) {
759 		fsr &= ~FPSCR_FX;
760 		if ((cx^fsr)&FPSR_EX_MSK)
761 			fsr |= FPSCR_FX;
762 		mask = fsr & FPSR_EX;
763 		mask <<= (25-3);
764 		if (cx & mask)
765 			fsr |= FPSCR_FEX;
766 		if (cx & FPSCR_FPRF) {
767 			/* Need to replace CC */
768 			fsr &= ~FPSCR_FPRF;
769 		}
770 		if (cx & (FPSR_EXOP))
771 			fsr |= FPSCR_VX;
772 		fsr |= cx;
773 		DPRINTF(FPE_INSN, ("fpu_execute: cx %x, fsr %x\n", cx, fsr));
774 	}
775 
776 	if (cond) {
777 		cond = fsr & 0xf0000000;
778 		/* Isolate condition codes */
779 		cond >>= 28;
780 		/* Move fpu condition codes to cr[1] */
781 		tf->cr &= (0x0f000000);
782 		tf->cr |= (cond<<24);
783 		DPRINTF(FPE_INSN, ("fpu_execute: cr[1] <= %x\n", cond));
784 	}
785 
786 	if (setcr) {
787 		cond = fsr & FPSCR_FPCC;
788 		/* Isolate condition codes */
789 		cond <<= 16;
790 		/* Move fpu condition codes to cr[1] */
791 		tf->cr &= ~(0xf0000000>>bf);
792 		tf->cr |= (cond>>bf);
793 		DPRINTF(FPE_INSN, ("fpu_execute: cr[%d] (cr=%jx) <= %x\n",
794 			bf/4, (uintmax_t)tf->cr, cond));
795 	}
796 
797 	((int *)&fs->fpscr)[1] = fsr;
798 	if (fsr & FPSCR_FEX)
799 		return(FPE);
800 	return (0);	/* success */
801 }
802