Home | History | Annotate | Line # | Download | only in spmath
fcnvxf.c revision 1.2
      1  1.2     lukem /*	$NetBSD: fcnvxf.c,v 1.2 2003/07/15 02:29:42 lukem Exp $	*/
      2  1.1  fredette 
      3  1.1  fredette /*	$OpenBSD: fcnvxf.c,v 1.5 2001/03/29 03:58:18 mickey Exp $	*/
      4  1.1  fredette 
      5  1.1  fredette /*
      6  1.1  fredette  * Copyright 1996 1995 by Open Software Foundation, Inc.
      7  1.1  fredette  *              All Rights Reserved
      8  1.1  fredette  *
      9  1.1  fredette  * Permission to use, copy, modify, and distribute this software and
     10  1.1  fredette  * its documentation for any purpose and without fee is hereby granted,
     11  1.1  fredette  * provided that the above copyright notice appears in all copies and
     12  1.1  fredette  * that both the copyright notice and this permission notice appear in
     13  1.1  fredette  * supporting documentation.
     14  1.1  fredette  *
     15  1.1  fredette  * OSF DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE
     16  1.1  fredette  * INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
     17  1.1  fredette  * FOR A PARTICULAR PURPOSE.
     18  1.1  fredette  *
     19  1.1  fredette  * IN NO EVENT SHALL OSF BE LIABLE FOR ANY SPECIAL, INDIRECT, OR
     20  1.1  fredette  * CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
     21  1.1  fredette  * LOSS OF USE, DATA OR PROFITS, WHETHER IN ACTION OF CONTRACT,
     22  1.1  fredette  * NEGLIGENCE, OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION
     23  1.1  fredette  * WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
     24  1.1  fredette  *
     25  1.1  fredette  */
     26  1.1  fredette /*
     27  1.1  fredette  * pmk1.1
     28  1.1  fredette  */
     29  1.1  fredette /*
     30  1.1  fredette  * (c) Copyright 1986 HEWLETT-PACKARD COMPANY
     31  1.1  fredette  *
     32  1.1  fredette  * To anyone who acknowledges that this file is provided "AS IS"
     33  1.1  fredette  * without any express or implied warranty:
     34  1.1  fredette  *     permission to use, copy, modify, and distribute this file
     35  1.1  fredette  * for any purpose is hereby granted without fee, provided that
     36  1.1  fredette  * the above copyright notice and this notice appears in all
     37  1.1  fredette  * copies, and that the name of Hewlett-Packard Company not be
     38  1.1  fredette  * used in advertising or publicity pertaining to distribution
     39  1.1  fredette  * of the software without specific, written prior permission.
     40  1.1  fredette  * Hewlett-Packard Company makes no representations about the
     41  1.1  fredette  * suitability of this software for any purpose.
     42  1.1  fredette  */
     43  1.2     lukem 
     44  1.2     lukem #include <sys/cdefs.h>
     45  1.2     lukem __KERNEL_RCSID(0, "$NetBSD: fcnvxf.c,v 1.2 2003/07/15 02:29:42 lukem Exp $");
     46  1.1  fredette 
     47  1.1  fredette #include "../spmath/float.h"
     48  1.1  fredette #include "../spmath/sgl_float.h"
     49  1.1  fredette #include "../spmath/dbl_float.h"
     50  1.1  fredette #include "../spmath/cnv_float.h"
     51  1.1  fredette 
     52  1.1  fredette /*
     53  1.1  fredette  *  Convert single fixed-point to single floating-point format
     54  1.1  fredette  */
     55  1.1  fredette int
     56  1.1  fredette sgl_to_sgl_fcnvxf(srcptr,dstptr,status)
     57  1.1  fredette 
     58  1.1  fredette int *srcptr;
     59  1.1  fredette sgl_floating_point *dstptr;
     60  1.1  fredette unsigned int *status;
     61  1.1  fredette {
     62  1.1  fredette 	register int src, dst_exponent;
     63  1.1  fredette 	register unsigned int result = 0;
     64  1.1  fredette 
     65  1.1  fredette 	src = *srcptr;
     66  1.1  fredette 	/*
     67  1.1  fredette 	 * set sign bit of result and get magnitude of source
     68  1.1  fredette 	 */
     69  1.1  fredette 	if (src < 0) {
     70  1.1  fredette 		Sgl_setone_sign(result);
     71  1.1  fredette 		Int_negate(src);
     72  1.1  fredette 	}
     73  1.1  fredette 	else {
     74  1.1  fredette 		Sgl_setzero_sign(result);
     75  1.1  fredette 		/* Check for zero */
     76  1.1  fredette 		if (src == 0) {
     77  1.1  fredette 			Sgl_setzero(result);
     78  1.1  fredette 			*dstptr = result;
     79  1.1  fredette 			return(NOEXCEPTION);
     80  1.1  fredette 		}
     81  1.1  fredette 	}
     82  1.1  fredette 	/*
     83  1.1  fredette 	 * Generate exponent and normalized mantissa
     84  1.1  fredette 	 */
     85  1.1  fredette 	dst_exponent = 16;    /* initialize for normalization */
     86  1.1  fredette 	/*
     87  1.1  fredette 	 * Check word for most significant bit set.  Returns
     88  1.1  fredette 	 * a value in dst_exponent indicating the bit position,
     89  1.1  fredette 	 * between -1 and 30.
     90  1.1  fredette 	 */
     91  1.1  fredette 	Find_ms_one_bit(src,dst_exponent);
     92  1.1  fredette 	/*  left justify source, with msb at bit position 1  */
     93  1.1  fredette 	if (dst_exponent >= 0) src <<= dst_exponent;
     94  1.1  fredette 	else src = 1 << 30;
     95  1.1  fredette 	Sgl_set_mantissa(result, src >> (SGL_EXP_LENGTH-1));
     96  1.1  fredette 	Sgl_set_exponent(result, 30+SGL_BIAS - dst_exponent);
     97  1.1  fredette 
     98  1.1  fredette 	/* check for inexact */
     99  1.1  fredette 	if (Int_isinexact_to_sgl(src)) {
    100  1.1  fredette 		switch (Rounding_mode()) {
    101  1.1  fredette 			case ROUNDPLUS:
    102  1.1  fredette 				if (Sgl_iszero_sign(result))
    103  1.1  fredette 					Sgl_increment(result);
    104  1.1  fredette 				break;
    105  1.1  fredette 			case ROUNDMINUS:
    106  1.1  fredette 				if (Sgl_isone_sign(result))
    107  1.1  fredette 					Sgl_increment(result);
    108  1.1  fredette 				break;
    109  1.1  fredette 			case ROUNDNEAREST:
    110  1.1  fredette 				Sgl_roundnearest_from_int(src,result);
    111  1.1  fredette 		}
    112  1.1  fredette 		if (Is_inexacttrap_enabled()) {
    113  1.1  fredette 			*dstptr = result;
    114  1.1  fredette 			return(INEXACTEXCEPTION);
    115  1.1  fredette 		}
    116  1.1  fredette 		else Set_inexactflag();
    117  1.1  fredette 	}
    118  1.1  fredette 	*dstptr = result;
    119  1.1  fredette 	return(NOEXCEPTION);
    120  1.1  fredette }
    121  1.1  fredette 
    122  1.1  fredette /*
    123  1.1  fredette  *  Single Fixed-point to Double Floating-point
    124  1.1  fredette  */
    125  1.1  fredette int
    126  1.1  fredette sgl_to_dbl_fcnvxf(srcptr,dstptr,status)
    127  1.1  fredette 
    128  1.1  fredette int *srcptr;
    129  1.1  fredette dbl_floating_point *dstptr;
    130  1.1  fredette unsigned int *status;
    131  1.1  fredette {
    132  1.1  fredette 	register int src, dst_exponent;
    133  1.1  fredette 	register unsigned int resultp1 = 0, resultp2 = 0;
    134  1.1  fredette 
    135  1.1  fredette 	src = *srcptr;
    136  1.1  fredette 	/*
    137  1.1  fredette 	 * set sign bit of result and get magnitude of source
    138  1.1  fredette 	 */
    139  1.1  fredette 	if (src < 0) {
    140  1.1  fredette 		Dbl_setone_sign(resultp1);
    141  1.1  fredette 		Int_negate(src);
    142  1.1  fredette 	}
    143  1.1  fredette 	else {
    144  1.1  fredette 		Dbl_setzero_sign(resultp1);
    145  1.1  fredette 		/* Check for zero */
    146  1.1  fredette 		if (src == 0) {
    147  1.1  fredette 			Dbl_setzero(resultp1,resultp2);
    148  1.1  fredette 			Dbl_copytoptr(resultp1,resultp2,dstptr);
    149  1.1  fredette 			return(NOEXCEPTION);
    150  1.1  fredette 		}
    151  1.1  fredette 	}
    152  1.1  fredette 	/*
    153  1.1  fredette 	 * Generate exponent and normalized mantissa
    154  1.1  fredette 	 */
    155  1.1  fredette 	dst_exponent = 16;    /* initialize for normalization */
    156  1.1  fredette 	/*
    157  1.1  fredette 	 * Check word for most significant bit set.  Returns
    158  1.1  fredette 	 * a value in dst_exponent indicating the bit position,
    159  1.1  fredette 	 * between -1 and 30.
    160  1.1  fredette 	 */
    161  1.1  fredette 	Find_ms_one_bit(src,dst_exponent);
    162  1.1  fredette 	/*  left justify source, with msb at bit position 1  */
    163  1.1  fredette 	if (dst_exponent >= 0) src <<= dst_exponent;
    164  1.1  fredette 	else src = 1 << 30;
    165  1.1  fredette 	Dbl_set_mantissap1(resultp1, (src >> (DBL_EXP_LENGTH - 1)));
    166  1.1  fredette 	Dbl_set_mantissap2(resultp2, (src << (33-DBL_EXP_LENGTH)));
    167  1.1  fredette 	Dbl_set_exponent(resultp1, (30+DBL_BIAS) - dst_exponent);
    168  1.1  fredette 	Dbl_copytoptr(resultp1,resultp2,dstptr);
    169  1.1  fredette 	return(NOEXCEPTION);
    170  1.1  fredette }
    171  1.1  fredette 
    172  1.1  fredette /*
    173  1.1  fredette  *  Double Fixed-point to Single Floating-point
    174  1.1  fredette  */
    175  1.1  fredette int
    176  1.1  fredette dbl_to_sgl_fcnvxf(srcptr,dstptr,status)
    177  1.1  fredette 
    178  1.1  fredette dbl_integer *srcptr;
    179  1.1  fredette sgl_floating_point *dstptr;
    180  1.1  fredette unsigned int *status;
    181  1.1  fredette {
    182  1.1  fredette 	int dst_exponent, srcp1;
    183  1.1  fredette 	unsigned int result = 0, srcp2;
    184  1.1  fredette 
    185  1.1  fredette 	Dint_copyfromptr(srcptr,srcp1,srcp2);
    186  1.1  fredette 	/*
    187  1.1  fredette 	 * set sign bit of result and get magnitude of source
    188  1.1  fredette 	 */
    189  1.1  fredette 	if (srcp1 < 0) {
    190  1.1  fredette 		Sgl_setone_sign(result);
    191  1.1  fredette 		Dint_negate(srcp1,srcp2);
    192  1.1  fredette 	}
    193  1.1  fredette 	else {
    194  1.1  fredette 		Sgl_setzero_sign(result);
    195  1.1  fredette 		/* Check for zero */
    196  1.1  fredette 		if (srcp1 == 0 && srcp2 == 0) {
    197  1.1  fredette 			Sgl_setzero(result);
    198  1.1  fredette 			*dstptr = result;
    199  1.1  fredette 			return(NOEXCEPTION);
    200  1.1  fredette 		}
    201  1.1  fredette 	}
    202  1.1  fredette 	/*
    203  1.1  fredette 	 * Generate exponent and normalized mantissa
    204  1.1  fredette 	 */
    205  1.1  fredette 	dst_exponent = 16;    /* initialize for normalization */
    206  1.1  fredette 	if (srcp1 == 0) {
    207  1.1  fredette 		/*
    208  1.1  fredette 		 * Check word for most significant bit set.  Returns
    209  1.1  fredette 		 * a value in dst_exponent indicating the bit position,
    210  1.1  fredette 		 * between -1 and 30.
    211  1.1  fredette 		 */
    212  1.1  fredette 		Find_ms_one_bit(srcp2,dst_exponent);
    213  1.1  fredette 		/*  left justify source, with msb at bit position 1  */
    214  1.1  fredette 		if (dst_exponent >= 0) {
    215  1.1  fredette 			srcp1 = srcp2 << dst_exponent;
    216  1.1  fredette 			srcp2 = 0;
    217  1.1  fredette 		}
    218  1.1  fredette 		else {
    219  1.1  fredette 			srcp1 = srcp2 >> 1;
    220  1.1  fredette 			srcp2 <<= 31;
    221  1.1  fredette 		}
    222  1.1  fredette 		/*
    223  1.1  fredette 		 *  since msb set is in second word, need to
    224  1.1  fredette 		 *  adjust bit position count
    225  1.1  fredette 		 */
    226  1.1  fredette 		dst_exponent += 32;
    227  1.1  fredette 	}
    228  1.1  fredette 	else {
    229  1.1  fredette 		/*
    230  1.1  fredette 		 * Check word for most significant bit set.  Returns
    231  1.1  fredette 		 * a value in dst_exponent indicating the bit position,
    232  1.1  fredette 		 * between -1 and 30.
    233  1.1  fredette 		 *
    234  1.1  fredette 		 */
    235  1.1  fredette 		Find_ms_one_bit(srcp1,dst_exponent);
    236  1.1  fredette 		/*  left justify source, with msb at bit position 1  */
    237  1.1  fredette 		if (dst_exponent > 0) {
    238  1.1  fredette 			Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
    239  1.1  fredette 			 srcp1);
    240  1.1  fredette 			srcp2 <<= dst_exponent;
    241  1.1  fredette 		}
    242  1.1  fredette 		/*
    243  1.1  fredette 		 * If dst_exponent = 0, we don't need to shift anything.
    244  1.1  fredette 		 * If dst_exponent = -1, src = - 2**63 so we won't need to
    245  1.1  fredette 		 * shift srcp2.
    246  1.1  fredette 		 */
    247  1.1  fredette 		else srcp1 >>= -(dst_exponent);
    248  1.1  fredette 	}
    249  1.1  fredette 	Sgl_set_mantissa(result, (srcp1 >> (SGL_EXP_LENGTH - 1)));
    250  1.1  fredette 	Sgl_set_exponent(result, (62+SGL_BIAS) - dst_exponent);
    251  1.1  fredette 
    252  1.1  fredette 	/* check for inexact */
    253  1.1  fredette 	if (Dint_isinexact_to_sgl(srcp1,srcp2)) {
    254  1.1  fredette 		switch (Rounding_mode()) {
    255  1.1  fredette 			case ROUNDPLUS:
    256  1.1  fredette 				if (Sgl_iszero_sign(result))
    257  1.1  fredette 					Sgl_increment(result);
    258  1.1  fredette 				break;
    259  1.1  fredette 			case ROUNDMINUS:
    260  1.1  fredette 				if (Sgl_isone_sign(result))
    261  1.1  fredette 					Sgl_increment(result);
    262  1.1  fredette 				break;
    263  1.1  fredette 			case ROUNDNEAREST:
    264  1.1  fredette 				Sgl_roundnearest_from_dint(srcp1,srcp2,result);
    265  1.1  fredette 		}
    266  1.1  fredette 		if (Is_inexacttrap_enabled()) {
    267  1.1  fredette 			*dstptr = result;
    268  1.1  fredette 			return(INEXACTEXCEPTION);
    269  1.1  fredette 		}
    270  1.1  fredette 		else Set_inexactflag();
    271  1.1  fredette 	}
    272  1.1  fredette 	*dstptr = result;
    273  1.1  fredette 	return(NOEXCEPTION);
    274  1.1  fredette }
    275  1.1  fredette 
    276  1.1  fredette /*
    277  1.1  fredette  *  Double Fixed-point to Double Floating-point
    278  1.1  fredette  */
    279  1.1  fredette int
    280  1.1  fredette dbl_to_dbl_fcnvxf(srcptr,dstptr,status)
    281  1.1  fredette 
    282  1.1  fredette dbl_integer *srcptr;
    283  1.1  fredette dbl_floating_point *dstptr;
    284  1.1  fredette unsigned int *status;
    285  1.1  fredette {
    286  1.1  fredette 	register int srcp1, dst_exponent;
    287  1.1  fredette 	register unsigned int srcp2, resultp1 = 0, resultp2 = 0;
    288  1.1  fredette 
    289  1.1  fredette 	Dint_copyfromptr(srcptr,srcp1,srcp2);
    290  1.1  fredette 	/*
    291  1.1  fredette 	 * set sign bit of result and get magnitude of source
    292  1.1  fredette 	 */
    293  1.1  fredette 	if (srcp1 < 0) {
    294  1.1  fredette 		Dbl_setone_sign(resultp1);
    295  1.1  fredette 		Dint_negate(srcp1,srcp2);
    296  1.1  fredette 	}
    297  1.1  fredette 	else {
    298  1.1  fredette 		Dbl_setzero_sign(resultp1);
    299  1.1  fredette 		/* Check for zero */
    300  1.1  fredette 		if (srcp1 == 0 && srcp2 ==0) {
    301  1.1  fredette 			Dbl_setzero(resultp1,resultp2);
    302  1.1  fredette 			Dbl_copytoptr(resultp1,resultp2,dstptr);
    303  1.1  fredette 			return(NOEXCEPTION);
    304  1.1  fredette 		}
    305  1.1  fredette 	}
    306  1.1  fredette 	/*
    307  1.1  fredette 	 * Generate exponent and normalized mantissa
    308  1.1  fredette 	 */
    309  1.1  fredette 	dst_exponent = 16;    /* initialize for normalization */
    310  1.1  fredette 	if (srcp1 == 0) {
    311  1.1  fredette 		/*
    312  1.1  fredette 		 * Check word for most significant bit set.  Returns
    313  1.1  fredette 		 * a value in dst_exponent indicating the bit position,
    314  1.1  fredette 		 * between -1 and 30.
    315  1.1  fredette 		 */
    316  1.1  fredette 		Find_ms_one_bit(srcp2,dst_exponent);
    317  1.1  fredette 		/*  left justify source, with msb at bit position 1  */
    318  1.1  fredette 		if (dst_exponent >= 0) {
    319  1.1  fredette 			srcp1 = srcp2 << dst_exponent;
    320  1.1  fredette 			srcp2 = 0;
    321  1.1  fredette 		}
    322  1.1  fredette 		else {
    323  1.1  fredette 			srcp1 = srcp2 >> 1;
    324  1.1  fredette 			srcp2 <<= 31;
    325  1.1  fredette 		}
    326  1.1  fredette 		/*
    327  1.1  fredette 		 *  since msb set is in second word, need to
    328  1.1  fredette 		 *  adjust bit position count
    329  1.1  fredette 		 */
    330  1.1  fredette 		dst_exponent += 32;
    331  1.1  fredette 	}
    332  1.1  fredette 	else {
    333  1.1  fredette 		/*
    334  1.1  fredette 		 * Check word for most significant bit set.  Returns
    335  1.1  fredette 		 * a value in dst_exponent indicating the bit position,
    336  1.1  fredette 		 * between -1 and 30.
    337  1.1  fredette 		 */
    338  1.1  fredette 		Find_ms_one_bit(srcp1,dst_exponent);
    339  1.1  fredette 		/*  left justify source, with msb at bit position 1  */
    340  1.1  fredette 		if (dst_exponent > 0) {
    341  1.1  fredette 			Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
    342  1.1  fredette 			 srcp1);
    343  1.1  fredette 			srcp2 <<= dst_exponent;
    344  1.1  fredette 		}
    345  1.1  fredette 		/*
    346  1.1  fredette 		 * If dst_exponent = 0, we don't need to shift anything.
    347  1.1  fredette 		 * If dst_exponent = -1, src = - 2**63 so we won't need to
    348  1.1  fredette 		 * shift srcp2.
    349  1.1  fredette 		 */
    350  1.1  fredette 		else srcp1 >>= -(dst_exponent);
    351  1.1  fredette 	}
    352  1.1  fredette 	Dbl_set_mantissap1(resultp1, srcp1 >> (DBL_EXP_LENGTH-1));
    353  1.1  fredette 	Shiftdouble(srcp1,srcp2,DBL_EXP_LENGTH-1,resultp2);
    354  1.1  fredette 	Dbl_set_exponent(resultp1, (62+DBL_BIAS) - dst_exponent);
    355  1.1  fredette 
    356  1.1  fredette 	/* check for inexact */
    357  1.1  fredette 	if (Dint_isinexact_to_dbl(srcp2)) {
    358  1.1  fredette 		switch (Rounding_mode()) {
    359  1.1  fredette 			case ROUNDPLUS:
    360  1.1  fredette 				if (Dbl_iszero_sign(resultp1)) {
    361  1.1  fredette 					Dbl_increment(resultp1,resultp2);
    362  1.1  fredette 				}
    363  1.1  fredette 				break;
    364  1.1  fredette 			case ROUNDMINUS:
    365  1.1  fredette 				if (Dbl_isone_sign(resultp1)) {
    366  1.1  fredette 					Dbl_increment(resultp1,resultp2);
    367  1.1  fredette 				}
    368  1.1  fredette 				break;
    369  1.1  fredette 			case ROUNDNEAREST:
    370  1.1  fredette 				Dbl_roundnearest_from_dint(srcp2,resultp1,
    371  1.1  fredette 				resultp2);
    372  1.1  fredette 		}
    373  1.1  fredette 		if (Is_inexacttrap_enabled()) {
    374  1.1  fredette 			Dbl_copytoptr(resultp1,resultp2,dstptr);
    375  1.1  fredette 			return(INEXACTEXCEPTION);
    376  1.1  fredette 		}
    377  1.1  fredette 		else Set_inexactflag();
    378  1.1  fredette 	}
    379  1.1  fredette 	Dbl_copytoptr(resultp1,resultp2,dstptr);
    380  1.1  fredette 	return(NOEXCEPTION);
    381  1.1  fredette }
    382