Home | History | Annotate | Line # | Download | only in spmath
fcnvxf.c revision 1.1.10.1
      1  1.1.10.1     skrll /*	$NetBSD: fcnvxf.c,v 1.1.10.1 2004/08/03 10:35:38 skrll 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.1  fredette 
     44  1.1.10.1     skrll #include <sys/cdefs.h>
     45  1.1.10.1     skrll __KERNEL_RCSID(0, "$NetBSD: fcnvxf.c,v 1.1.10.1 2004/08/03 10:35:38 skrll Exp $");
     46  1.1.10.1     skrll 
     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