Home | History | Annotate | Line # | Download | only in fpe
fpu_fstore.c revision 1.14.72.1
      1  1.14.72.1  perseant /*	$NetBSD: fpu_fstore.c,v 1.14.72.1 2025/08/02 05:55:48 perseant 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.14.72.1  perseant __KERNEL_RCSID(0, "$NetBSD: fpu_fstore.c,v 1.14.72.1 2025/08/02 05:55:48 perseant 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.14.72.1  perseant 	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.14.72.1  perseant 		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.14.72.1  perseant 	/* Check an illegal mod/reg */
     91  1.14.72.1  perseant 	modreg = insn->is_opcode & 077;
     92  1.14.72.1  perseant 	if ((modreg >> 3) == 1/*An*/ || modreg >= 072/*PCrel and #imm*/) {
     93  1.14.72.1  perseant #if DEBUG_FPE
     94  1.14.72.1  perseant 		printf("  fpu_emul_fstore: illegal modreg=0%o\n", modreg);
     95  1.14.72.1  perseant #endif
     96  1.14.72.1  perseant 		return SIGILL;
     97  1.14.72.1  perseant 	}
     98  1.14.72.1  perseant 
     99  1.14.72.1  perseant 	/* Get effective address. */
    100  1.14.72.1  perseant 	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