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