Home | History | Annotate | Line # | Download | only in fpe
      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