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