Home | History | Annotate | Line # | Download | only in fpe
fpu_fscale.c revision 1.9.10.1
      1  1.9.10.1  thorpej /*	$NetBSD: fpu_fscale.c,v 1.9.10.1 1999/06/21 00:50:28 thorpej 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  * 3. The name of the author may not be used to endorse or promote products
     16       1.1   briggs  *    derived from this software without specific prior written permission.
     17       1.1   briggs  * 4. All advertising materials mentioning features or use of this software
     18       1.1   briggs  *    must display the following acknowledgement:
     19       1.1   briggs  *      This product includes software developed by Gordon Ross
     20       1.1   briggs  *
     21       1.1   briggs  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     22       1.1   briggs  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     23       1.1   briggs  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     24       1.1   briggs  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     25       1.1   briggs  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     26       1.1   briggs  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     27       1.1   briggs  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     28       1.1   briggs  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     29       1.1   briggs  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     30       1.1   briggs  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     31       1.1   briggs  */
     32       1.1   briggs 
     33       1.1   briggs /*
     34       1.1   briggs  * FSCALE - separated from the other type0 arithmetic instructions
     35       1.1   briggs  * for performance reason; maybe unnecessary, but FSCALE assumes
     36       1.1   briggs  * the source operand be an integer.  It performs type conversion
     37       1.1   briggs  * only if the source operand is *not* an integer.
     38       1.1   briggs  */
     39       1.1   briggs 
     40       1.1   briggs #include <sys/types.h>
     41       1.1   briggs #include <sys/signal.h>
     42       1.3   briggs #include <sys/systm.h>
     43       1.1   briggs #include <machine/frame.h>
     44       1.1   briggs 
     45       1.1   briggs #include "fpu_emulate.h"
     46       1.1   briggs 
     47       1.1   briggs int
     48       1.1   briggs fpu_emul_fscale(fe, insn)
     49       1.1   briggs      struct fpemu *fe;
     50       1.1   briggs      struct instruction *insn;
     51       1.1   briggs {
     52       1.1   briggs     struct frame *frame;
     53       1.1   briggs     u_int *fpregs;
     54       1.1   briggs     int word1, sig;
     55       1.1   briggs     int regnum, format;
     56       1.1   briggs     int scale, sign, exp;
     57       1.1   briggs     u_int m0, m1;
     58       1.1   briggs     u_int buf[3], fpsr;
     59  1.9.10.1  thorpej #if DEBUG_FPE
     60       1.1   briggs     int flags;
     61       1.1   briggs     char regname;
     62  1.9.10.1  thorpej #endif
     63       1.1   briggs 
     64       1.4      leo     scale = sig = 0;
     65       1.1   briggs     frame = fe->fe_frame;
     66       1.1   briggs     fpregs = &(fe->fe_fpframe->fpf_regs[0]);
     67       1.1   briggs     /* clear all exceptions and conditions */
     68       1.1   briggs     fpsr = fe->fe_fpsr & ~FPSR_EXCP & ~FPSR_CCB;
     69  1.9.10.1  thorpej #if DEBUG_FPE
     70  1.9.10.1  thorpej     printf("fpu_emul_fscale: FPSR = %08x, FPCR = %08x\n", fpsr, fe->fe_fpcr);
     71  1.9.10.1  thorpej #endif
     72       1.1   briggs 
     73       1.1   briggs     word1 = insn->is_word1;
     74       1.1   briggs     format = (word1 >> 10) & 7;
     75       1.1   briggs     regnum = (word1 >> 7) & 7;
     76       1.1   briggs 
     77       1.1   briggs     fe->fe_fpcr &= FPCR_ROUND;
     78       1.1   briggs     fe->fe_fpcr |= FPCR_ZERO;
     79       1.1   briggs 
     80       1.1   briggs     /* get the source operand */
     81       1.1   briggs     if ((word1 & 0x4000) == 0) {
     82  1.9.10.1  thorpej #if DEBUG_FPE
     83  1.9.10.1  thorpej 	printf("fpu_emul_fscale: FP%d op FP%d => FP%d\n",
     84  1.9.10.1  thorpej 	       format, regnum, regnum);
     85       1.1   briggs 	/* the operand is an FP reg */
     86  1.9.10.1  thorpej 	printf("fpu_emul_scale: src opr FP%d=%08x%08x%08x\n",
     87  1.9.10.1  thorpej 	       format, fpregs[format*3], fpregs[format*3+1],
     88  1.9.10.1  thorpej 	       fpregs[format*3+2]);
     89  1.9.10.1  thorpej #endif
     90       1.1   briggs 	fpu_explode(fe, &fe->fe_f2, FTYPE_EXT, &fpregs[format * 3]);
     91       1.1   briggs 	fpu_implode(fe, &fe->fe_f2, FTYPE_LNG, buf);
     92       1.7       is       scale = buf[0];
     93       1.1   briggs     } else {
     94       1.1   briggs 	/* the operand is in memory */
     95       1.1   briggs 	if (format == FTYPE_DBL) {
     96       1.1   briggs 	    insn->is_datasize = 8;
     97       1.1   briggs 	} else if (format == FTYPE_SNG || format == FTYPE_LNG) {
     98       1.1   briggs 	    insn->is_datasize = 4;
     99       1.1   briggs 	} else if (format == FTYPE_WRD) {
    100       1.1   briggs 	    insn->is_datasize = 2;
    101       1.1   briggs 	} else if (format == FTYPE_BYT) {
    102       1.1   briggs 	    insn->is_datasize = 1;
    103       1.1   briggs 	} else if (format == FTYPE_EXT) {
    104       1.1   briggs 	    insn->is_datasize = 12;
    105       1.1   briggs 	} else {
    106       1.1   briggs 	    /* invalid or unsupported operand format */
    107       1.1   briggs 	    sig = SIGFPE;
    108       1.1   briggs 	    return sig;
    109       1.1   briggs 	}
    110       1.1   briggs 
    111       1.1   briggs 	/* Get effective address. (modreg=opcode&077) */
    112  1.9.10.1  thorpej 	sig = fpu_decode_ea(frame, insn, &insn->is_ea, insn->is_opcode);
    113       1.1   briggs 	if (sig) {
    114  1.9.10.1  thorpej #if DEBUG_FPE
    115  1.9.10.1  thorpej 	    printf("fpu_emul_fscale: error in decode_ea\n");
    116  1.9.10.1  thorpej #endif
    117       1.1   briggs 	    return sig;
    118       1.1   briggs 	}
    119       1.1   briggs 
    120  1.9.10.1  thorpej #if DEBUG_FPE
    121  1.9.10.1  thorpej 	printf("fpu_emul_fscale: addr mode = ");
    122  1.9.10.1  thorpej 	flags = insn->is_ea.ea_flags;
    123  1.9.10.1  thorpej 	regname = (insn->is_ea.ea_regnum & 8) ? 'a' : 'd';
    124  1.9.10.1  thorpej 
    125  1.9.10.1  thorpej 	if (flags & EA_DIRECT) {
    126  1.9.10.1  thorpej 	    printf("%c%d\n", regname, insn->is_ea.ea_regnum & 7);
    127  1.9.10.1  thorpej 	} else if (flags & EA_PREDECR) {
    128  1.9.10.1  thorpej 	    printf("%c%d@-\n", regname, insn->is_ea.ea_regnum & 7);
    129  1.9.10.1  thorpej 	} else if (flags & EA_POSTINCR) {
    130  1.9.10.1  thorpej 		printf("%c%d@+\n", regname, insn->is_ea.ea_regnum & 7);
    131  1.9.10.1  thorpej 	} else if (flags & EA_OFFSET) {
    132  1.9.10.1  thorpej 	    printf("%c%d@(%d)\n", regname, insn->is_ea.ea_regnum & 7,
    133  1.9.10.1  thorpej 		   insn->is_ea.ea_offset);
    134  1.9.10.1  thorpej 	} else if (flags & EA_INDEXED) {
    135  1.9.10.1  thorpej 	    printf("%c%d@(...)\n", regname, insn->is_ea.ea_regnum & 7);
    136  1.9.10.1  thorpej 	} else if (flags & EA_ABS) {
    137  1.9.10.1  thorpej 		printf("0x%08x\n", insn->is_ea.ea_absaddr);
    138  1.9.10.1  thorpej 	} else if (flags & EA_PC_REL) {
    139  1.9.10.1  thorpej 	    printf("pc@(%d)\n", insn->is_ea.ea_offset);
    140  1.9.10.1  thorpej 	} else if (flags & EA_IMMED) {
    141  1.9.10.1  thorpej 	    printf("#0x%08x%08x%08x\n",
    142  1.9.10.1  thorpej 		       insn->is_ea.ea_immed[0], insn->is_ea.ea_immed[1],
    143  1.9.10.1  thorpej 		   insn->is_ea.ea_immed[2]);
    144  1.9.10.1  thorpej 	} else {
    145  1.9.10.1  thorpej 	    printf("%c%d@\n", regname, insn->is_ea.ea_regnum & 7);
    146       1.1   briggs 	}
    147  1.9.10.1  thorpej #endif
    148  1.9.10.1  thorpej 	fpu_load_ea(frame, insn, &insn->is_ea, (char*)buf);
    149       1.1   briggs 
    150  1.9.10.1  thorpej #if DEBUG_FPE
    151  1.9.10.1  thorpej 	printf("fpu_emul_fscale: src = %08x%08x%08x, siz = %d\n",
    152  1.9.10.1  thorpej 	       buf[0], buf[1], buf[2], insn->is_datasize);
    153  1.9.10.1  thorpej #endif
    154       1.1   briggs 	if (format == FTYPE_LNG) {
    155       1.1   briggs 	    /* nothing */
    156       1.7       is           scale = buf[0];
    157       1.1   briggs 	} else if (format == FTYPE_WRD) {
    158       1.1   briggs 	    /* sign-extend */
    159       1.1   briggs 	    scale = buf[0] & 0xffff;
    160       1.1   briggs 	    if (scale & 0x8000) {
    161       1.1   briggs 		scale |= 0xffff0000;
    162       1.1   briggs 	    }
    163       1.1   briggs 	} else if (format == FTYPE_BYT) {
    164       1.1   briggs 	    /* sign-extend */
    165       1.1   briggs 	    scale = buf[0] & 0xff;
    166       1.1   briggs 	    if (scale & 0x80) {
    167       1.1   briggs 		scale |= 0xffffff00;
    168       1.1   briggs 	    }
    169       1.1   briggs 	} else if (format == FTYPE_DBL || format == FTYPE_SNG ||
    170       1.1   briggs 		   format == FTYPE_EXT) {
    171       1.1   briggs 	    fpu_explode(fe, &fe->fe_f2, format, buf);
    172       1.1   briggs 	    fpu_implode(fe, &fe->fe_f2, FTYPE_LNG, buf);
    173       1.7       is           scale = buf[0];
    174       1.1   briggs 	}
    175       1.1   briggs 	/* make it look like we've got an FP oprand */
    176       1.1   briggs 	fe->fe_f2.fp_class = (buf[0] == 0) ? FPC_ZERO : FPC_NUM;
    177       1.1   briggs     }
    178       1.1   briggs 
    179       1.1   briggs     /* assume there's no exception */
    180       1.1   briggs     sig = 0;
    181       1.1   briggs 
    182       1.1   briggs     /* it's barbaric but we're going to operate directly on
    183       1.1   briggs      * the dst operand's bit pattern */
    184       1.1   briggs     sign = fpregs[regnum * 3] & 0x80000000;
    185       1.1   briggs     exp = (fpregs[regnum * 3] & 0x7fff0000) >> 16;
    186       1.1   briggs     m0 = fpregs[regnum * 3 + 1];
    187       1.1   briggs     m1 = fpregs[regnum * 3 + 2];
    188       1.1   briggs 
    189       1.1   briggs     switch (fe->fe_f2.fp_class) {
    190       1.1   briggs     case FPC_SNAN:
    191       1.1   briggs 	fpsr |= FPSR_SNAN;
    192       1.1   briggs     case FPC_QNAN:
    193       1.1   briggs 	/* dst = NaN */
    194       1.1   briggs 	exp = 0x7fff;
    195       1.1   briggs 	m0 = m1 = 0xffffffff;
    196       1.1   briggs 	break;
    197       1.1   briggs     case FPC_ZERO:
    198       1.1   briggs     case FPC_NUM:
    199       1.1   briggs 	if ((0 < exp && exp < 0x7fff) ||
    200       1.1   briggs 	    (exp == 0 && (m0 | m1) != 0)) {
    201       1.1   briggs 	    /* normal or denormal */
    202       1.1   briggs 	    exp += scale;
    203       1.1   briggs 	    if (exp < 0) {
    204       1.1   briggs 		/* underflow */
    205       1.1   briggs 		u_int grs;	/* guard, round and sticky */
    206       1.1   briggs 
    207       1.1   briggs 		exp = 0;
    208       1.1   briggs 		grs = m1 << (32 + exp);
    209       1.1   briggs 		m1 = m0 << (32 + exp) | m1 >> -exp;
    210       1.1   briggs 		m0 >>= -exp;
    211       1.1   briggs 		if (grs != 0) {
    212       1.1   briggs 		    fpsr |= FPSR_INEX2;
    213       1.1   briggs 
    214       1.1   briggs 		    switch (fe->fe_fpcr & 0x30) {
    215       1.1   briggs 		    case FPCR_MINF:
    216       1.1   briggs 			if (sign != 0) {
    217       1.1   briggs 			    if (++m1 == 0 &&
    218       1.1   briggs 				++m0 == 0) {
    219       1.1   briggs 				m0 = 0x80000000;
    220       1.1   briggs 				exp++;
    221       1.1   briggs 			    }
    222       1.1   briggs 			}
    223       1.1   briggs 			break;
    224       1.1   briggs 		    case FPCR_NEAR:
    225       1.1   briggs 			if (grs == 0x80000000) {
    226       1.1   briggs 			    /* tie */
    227       1.1   briggs 			    if ((m1 & 1) &&
    228       1.1   briggs 				++m1 == 0 &&
    229       1.1   briggs 				++m0 == 0) {
    230       1.1   briggs 				m0 = 0x80000000;
    231       1.1   briggs 				exp++;
    232       1.1   briggs 			    }
    233       1.1   briggs 			} else if (grs & 0x80000000) {
    234       1.1   briggs 			    if (++m1 == 0 &&
    235       1.1   briggs 				++m0 == 0) {
    236       1.1   briggs 				m0 = 0x80000000;
    237       1.1   briggs 				exp++;
    238       1.1   briggs 			    }
    239       1.1   briggs 			}
    240       1.1   briggs 			break;
    241       1.1   briggs 		    case FPCR_PINF:
    242       1.1   briggs 			if (sign == 0) {
    243       1.1   briggs 			    if (++m1 == 0 &&
    244       1.1   briggs 				++m0 == 0) {
    245       1.1   briggs 				m0 = 0x80000000;
    246       1.1   briggs 				exp++;
    247       1.1   briggs 			    }
    248       1.1   briggs 			}
    249       1.1   briggs 			break;
    250       1.1   briggs 		    case FPCR_ZERO:
    251       1.1   briggs 			break;
    252       1.1   briggs 		    }
    253       1.1   briggs 		}
    254       1.1   briggs 		if (exp == 0 && (m0 & 0x80000000) == 0) {
    255       1.1   briggs 		    fpsr |= FPSR_UNFL;
    256       1.1   briggs 		    if ((m0 | m1) == 0) {
    257       1.1   briggs 			fpsr |= FPSR_ZERO;
    258       1.1   briggs 		    }
    259       1.1   briggs 		}
    260       1.1   briggs 	    } else if (exp >= 0x7fff) {
    261       1.1   briggs 		/* overflow --> result = Inf */
    262       1.1   briggs 		/* but first, try to normalize in case it's an unnormalized */
    263       1.1   briggs 		while ((m0 & 0x80000000) == 0) {
    264       1.1   briggs 		    exp--;
    265       1.1   briggs 		    m0 = (m0 << 1) | (m1 >> 31);
    266       1.1   briggs 		    m1 = m1 << 1;
    267       1.1   briggs 		}
    268       1.1   briggs 		/* if it's still too large, then return Inf */
    269       1.1   briggs 		if (exp >= 0x7fff) {
    270       1.1   briggs 		    exp = 0x7fff;
    271       1.1   briggs 		    m0 = m1 = 0;
    272       1.1   briggs 		    fpsr |= FPSR_OVFL | FPSR_INF;
    273       1.1   briggs 		}
    274       1.1   briggs 	    } else if ((m0 & 0x80000000) == 0) {
    275       1.1   briggs 		/*
    276       1.1   briggs 		 * it's a denormal; we try to normalize but
    277       1.1   briggs 		 * result may and may not be a normal.
    278       1.1   briggs 		 */
    279       1.1   briggs 		while (exp > 0 && (m0 & 0x80000000) == 0) {
    280       1.1   briggs 		    exp--;
    281       1.1   briggs 		    m0 = (m0 << 1) | (m1 >> 31);
    282       1.1   briggs 		    m1 = m1 << 1;
    283       1.1   briggs 		}
    284       1.1   briggs 		if ((m0 & 0x80000000) == 0) {
    285       1.1   briggs 		    fpsr |= FPSR_UNFL;
    286       1.1   briggs 		}
    287       1.1   briggs 	    } /* exp in range and mantissa normalized */
    288       1.1   briggs 	} else if (exp == 0 && m0 == 0 && m1 == 0) {
    289       1.1   briggs 	    /* dst is Zero */
    290       1.1   briggs 	    fpsr |= FPSR_ZERO;
    291       1.1   briggs 	} /* else we know exp == 0x7fff */
    292       1.1   briggs 	else if ((m0 | m1) == 0) {
    293       1.1   briggs 	    fpsr |= FPSR_INF;
    294       1.1   briggs 	} else if ((m0 & 0x40000000) == 0) {
    295       1.1   briggs 	    /* a signaling NaN */
    296       1.1   briggs 	    fpsr |= FPSR_NAN | FPSR_SNAN;
    297       1.1   briggs 	} else {
    298       1.1   briggs 	    /* a quiet NaN */
    299       1.1   briggs 	    fpsr |= FPSR_NAN;
    300       1.1   briggs 	}
    301       1.1   briggs 	break;
    302       1.1   briggs     case FPC_INF:
    303       1.1   briggs 	/* dst = NaN */
    304       1.1   briggs 	exp = 0x7fff;
    305       1.1   briggs 	m0 = m1 = 0xffffffff;
    306       1.1   briggs 	fpsr |= FPSR_OPERR | FPSR_NAN;
    307       1.1   briggs 	break;
    308       1.1   briggs     default:
    309       1.1   briggs #ifdef DEBUG
    310  1.9.10.1  thorpej 	panic("fpu_emul_fscale: invalid fp class");
    311       1.1   briggs #endif
    312       1.1   briggs 	break;
    313       1.1   briggs     }
    314       1.1   briggs 
    315       1.1   briggs     /* store the result */
    316       1.1   briggs     fpregs[regnum * 3] = sign | (exp << 16);
    317       1.1   briggs     fpregs[regnum * 3 + 1] = m0;
    318       1.1   briggs     fpregs[regnum * 3 + 2] = m1;
    319       1.1   briggs 
    320       1.1   briggs     if (sign) {
    321       1.1   briggs 	fpsr |= FPSR_NEG;
    322       1.1   briggs     }
    323       1.1   briggs 
    324       1.1   briggs     /* update fpsr according to the result of operation */
    325       1.1   briggs     fe->fe_fpframe->fpf_fpsr = fe->fe_fpsr = fpsr;
    326       1.1   briggs 
    327  1.9.10.1  thorpej #if DEBUG_FPE
    328  1.9.10.1  thorpej     printf("fpu_emul_fscale: FPSR = %08x, FPCR = %08x\n",
    329  1.9.10.1  thorpej 	   fe->fe_fpsr, fe->fe_fpcr);
    330  1.9.10.1  thorpej #endif
    331       1.1   briggs 
    332       1.1   briggs     return (fpsr & fe->fe_fpcr & FPSR_EXCP) ? SIGFPE : sig;
    333       1.1   briggs }
    334