fpu_fstore.c revision 1.17 1 1.17 isaki /* $NetBSD: fpu_fstore.c,v 1.17 2025/01/06 06:14:17 isaki Exp $ */
2 1.1 briggs
3 1.1 briggs /*
4 1.1 briggs * Copyright (c) 1995 Ken Nakata
5 1.1 briggs * All rights reserved.
6 1.1 briggs *
7 1.1 briggs * Redistribution and use in source and binary forms, with or without
8 1.1 briggs * modification, are permitted provided that the following conditions
9 1.1 briggs * are met:
10 1.1 briggs * 1. Redistributions of source code must retain the above copyright
11 1.1 briggs * notice, this list of conditions and the following disclaimer.
12 1.1 briggs * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 briggs * notice, this list of conditions and the following disclaimer in the
14 1.1 briggs * documentation and/or other materials provided with the distribution.
15 1.1 briggs *
16 1.1 briggs * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17 1.1 briggs * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 1.1 briggs * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19 1.1 briggs * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20 1.1 briggs * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21 1.1 briggs * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 1.1 briggs * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 1.1 briggs * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 1.1 briggs * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25 1.1 briggs * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 1.1 briggs */
27 1.8 lukem
28 1.8 lukem #include <sys/cdefs.h>
29 1.17 isaki __KERNEL_RCSID(0, "$NetBSD: fpu_fstore.c,v 1.17 2025/01/06 06:14:17 isaki Exp $");
30 1.1 briggs
31 1.1 briggs #include <sys/types.h>
32 1.1 briggs #include <sys/signal.h>
33 1.3 briggs #include <sys/systm.h>
34 1.1 briggs #include <machine/frame.h>
35 1.1 briggs
36 1.1 briggs #include "fpu_emulate.h"
37 1.1 briggs
38 1.1 briggs /*
39 1.1 briggs * type 0: fmove mem/fpr->fpr
40 1.1 briggs * In this function, we know
41 1.1 briggs * (opcode & 0x01c0) == 0
42 1.1 briggs * (word1 & 0xe000) == 0x6000
43 1.1 briggs */
44 1.1 briggs int
45 1.11 dsl fpu_emul_fstore(struct fpemu *fe, struct instruction *insn)
46 1.1 briggs {
47 1.12 isaki struct frame *frame = fe->fe_frame;
48 1.14 isaki uint32_t *fpregs = fe->fe_fpframe->fpf_regs;
49 1.12 isaki int word1, sig;
50 1.12 isaki int regnum;
51 1.12 isaki int format;
52 1.16 isaki int modreg;
53 1.14 isaki uint32_t buf[3];
54 1.1 briggs
55 1.7 briggs #if DEBUG_FPE
56 1.12 isaki printf(" fpu_emul_fstore: frame at %p fpframe at %p\n",
57 1.13 isaki frame, fe->fe_fpframe);
58 1.7 briggs #endif
59 1.1 briggs
60 1.12 isaki word1 = insn->is_word1;
61 1.12 isaki format = (word1 >> 10) & 7;
62 1.12 isaki regnum = (word1 >> 7) & 7;
63 1.1 briggs
64 1.12 isaki if (format == FTYPE_DBL) {
65 1.12 isaki insn->is_datasize = 8;
66 1.12 isaki } else if (format == FTYPE_SNG || format == FTYPE_LNG) {
67 1.12 isaki insn->is_datasize = 4;
68 1.12 isaki } else if (format == FTYPE_WRD) {
69 1.12 isaki insn->is_datasize = 2;
70 1.12 isaki format = FTYPE_LNG;
71 1.12 isaki } else if (format == FTYPE_BYT) {
72 1.12 isaki insn->is_datasize = 1;
73 1.12 isaki format = FTYPE_LNG;
74 1.12 isaki } else if (format == FTYPE_EXT) {
75 1.12 isaki insn->is_datasize = 12;
76 1.12 isaki } else {
77 1.12 isaki /* invalid or unsupported operand format */
78 1.7 briggs #if DEBUG_FPE
79 1.12 isaki printf(" fpu_emul_fstore: invalid format %d\n", format);
80 1.7 briggs #endif
81 1.15 isaki return SIGFPE;
82 1.12 isaki }
83 1.7 briggs #if DEBUG_FPE
84 1.12 isaki printf(" fpu_emul_fstore: format %d, size %d\n",
85 1.13 isaki format, insn->is_datasize);
86 1.7 briggs #endif
87 1.6 is
88 1.12 isaki fe->fe_fpsr &= ~FPSR_EXCP;
89 1.1 briggs
90 1.16 isaki /* Check an illegal mod/reg */
91 1.16 isaki modreg = insn->is_opcode & 077;
92 1.16 isaki if ((modreg >> 3) == 1/*An*/ || modreg >= 072/*PCrel and #imm*/) {
93 1.16 isaki #if DEBUG_FPE
94 1.16 isaki printf(" fpu_emul_fstore: illegal modreg=0%o\n", modreg);
95 1.16 isaki #endif
96 1.16 isaki return SIGILL;
97 1.16 isaki }
98 1.16 isaki
99 1.16 isaki /* Get effective address. */
100 1.16 isaki sig = fpu_decode_ea(frame, insn, &insn->is_ea, modreg);
101 1.12 isaki if (sig) {
102 1.7 briggs #if DEBUG_FPE
103 1.12 isaki printf(" fpu_emul_fstore: failed in decode_ea sig=%d\n", sig);
104 1.7 briggs #endif
105 1.12 isaki return sig;
106 1.12 isaki }
107 1.1 briggs
108 1.12 isaki if (insn->is_datasize > 4 && insn->is_ea.ea_flags == EA_DIRECT) {
109 1.12 isaki /* trying to store dbl or ext into a data register */
110 1.1 briggs #ifdef DEBUG
111 1.12 isaki printf(" fpu_fstore: attempted to store dbl/ext to reg\n");
112 1.1 briggs #endif
113 1.12 isaki return SIGILL;
114 1.12 isaki }
115 1.1 briggs
116 1.7 briggs #if DEBUG_FPE
117 1.12 isaki printf(" fpu_emul_fstore: saving FP%d (%08x,%08x,%08x)\n",
118 1.13 isaki regnum, fpregs[regnum * 3], fpregs[regnum * 3 + 1],
119 1.13 isaki fpregs[regnum * 3 + 2]);
120 1.7 briggs #endif
121 1.12 isaki fpu_explode(fe, &fe->fe_f3, FTYPE_EXT, &fpregs[regnum * 3]);
122 1.7 briggs #if DEBUG_FPE
123 1.12 isaki {
124 1.10 tsutsui static const char *class_name[] =
125 1.13 isaki { "SNAN", "QNAN", "ZERO", "NUM", "INF" };
126 1.7 briggs printf(" fpu_emul_fstore: fpn (%s,%c,%d,%08x,%08x,%08x)\n",
127 1.13 isaki class_name[fe->fe_f3.fp_class + 2],
128 1.13 isaki fe->fe_f3.fp_sign ? '-' : '+', fe->fe_f3.fp_exp,
129 1.13 isaki fe->fe_f3.fp_mant[0], fe->fe_f3.fp_mant[1],
130 1.13 isaki fe->fe_f3.fp_mant[2]);
131 1.12 isaki }
132 1.7 briggs #endif
133 1.12 isaki fpu_implode(fe, &fe->fe_f3, format, buf);
134 1.1 briggs
135 1.12 isaki fpu_store_ea(frame, insn, &insn->is_ea, (char *)buf);
136 1.7 briggs #if DEBUG_FPE
137 1.12 isaki printf(" fpu_emul_fstore: %08x,%08x,%08x size %d\n",
138 1.13 isaki buf[0], buf[1], buf[2], insn->is_datasize);
139 1.7 briggs #endif
140 1.1 briggs
141 1.12 isaki return 0;
142 1.1 briggs }
143