2019-05-24 12:04:10 +02:00
// SPDX-License-Identifier: GPL-2.0-or-later
2005-04-16 15:20:36 -07:00
/*
* Linux / PA - RISC Project ( http : //www.parisc-linux.org/)
*
* Floating - point emulation code
* Copyright ( C ) 2001 Hewlett - Packard ( Paul Bame ) < bame @ debian . org >
*/
/*
* BEGIN_DESC
*
* File :
* @ ( # ) pa / spmath / fcnvfut . c $ Revision : 1.1 $
*
* Purpose :
* Floating - point to Unsigned Fixed - point Converts with Truncation
*
* External Interfaces :
* dbl_to_dbl_fcnvfut ( srcptr , nullptr , dstptr , status )
* dbl_to_sgl_fcnvfut ( srcptr , nullptr , dstptr , status )
* sgl_to_dbl_fcnvfut ( srcptr , nullptr , dstptr , status )
* sgl_to_sgl_fcnvfut ( srcptr , nullptr , dstptr , status )
*
* Internal Interfaces :
*
* Theory :
* < < please update with a overview of the operation of this file > >
*
* END_DESC
*/
# include "float.h"
# include "sgl_float.h"
# include "dbl_float.h"
# include "cnv_float.h"
/************************************************************************
* Floating - point to Unsigned Fixed - point Converts with Truncation *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
/*
* Convert single floating - point to single fixed - point format
* with truncated result
*/
/*ARGSUSED*/
int
sgl_to_sgl_fcnvfut ( sgl_floating_point * srcptr , unsigned int * nullptr ,
unsigned int * dstptr , unsigned int * status )
{
register unsigned int src , result ;
register int src_exponent ;
src = * srcptr ;
src_exponent = Sgl_exponent ( src ) - SGL_BIAS ;
/*
* Test for overflow
*/
if ( src_exponent > SGL_FX_MAX_EXP + 1 ) {
if ( Sgl_isone_sign ( src ) ) {
result = 0 ;
} else {
result = 0xffffffff ;
}
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
* dstptr = result ;
return ( NOEXCEPTION ) ;
}
/*
* Generate result
*/
if ( src_exponent > = 0 ) {
/*
* Check sign .
* If negative , trap unimplemented .
*/
if ( Sgl_isone_sign ( src ) ) {
result = 0 ;
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
* dstptr = result ;
return ( NOEXCEPTION ) ;
}
Sgl_clear_signexponent_set_hidden ( src ) ;
Suint_from_sgl_mantissa ( src , src_exponent , result ) ;
* dstptr = result ;
/* check for inexact */
if ( Sgl_isinexact_to_unsigned ( src , src_exponent ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
else {
* dstptr = 0 ;
/* check for inexact */
if ( Sgl_isnotzero_exponentmantissa ( src ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
return ( NOEXCEPTION ) ;
}
/*
* Single Floating - point to Double Unsigned Fixed
*/
/*ARGSUSED*/
int
sgl_to_dbl_fcnvfut ( sgl_floating_point * srcptr , unsigned int * nullptr ,
dbl_unsigned * dstptr , unsigned int * status )
{
register int src_exponent ;
register unsigned int src , resultp1 , resultp2 ;
src = * srcptr ;
src_exponent = Sgl_exponent ( src ) - SGL_BIAS ;
/*
* Test for overflow
*/
if ( src_exponent > DBL_FX_MAX_EXP + 1 ) {
if ( Sgl_isone_sign ( src ) ) {
resultp1 = resultp2 = 0 ;
} else {
resultp1 = resultp2 = 0xffffffff ;
}
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
return ( NOEXCEPTION ) ;
}
/*
* Generate result
*/
if ( src_exponent > = 0 ) {
/*
* Check sign .
* If negative , trap unimplemented .
*/
if ( Sgl_isone_sign ( src ) ) {
resultp1 = resultp2 = 0 ;
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
return ( NOEXCEPTION ) ;
}
Sgl_clear_signexponent_set_hidden ( src ) ;
Duint_from_sgl_mantissa ( src , src_exponent , resultp1 , resultp2 ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
/* check for inexact */
if ( Sgl_isinexact_to_unsigned ( src , src_exponent ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
else {
Duint_setzero ( resultp1 , resultp2 ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
/* check for inexact */
if ( Sgl_isnotzero_exponentmantissa ( src ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
return ( NOEXCEPTION ) ;
}
/*
* Double Floating - point to Single Unsigned Fixed
*/
/*ARGSUSED*/
int
dbl_to_sgl_fcnvfut ( dbl_floating_point * srcptr , unsigned int * nullptr ,
unsigned int * dstptr , unsigned int * status )
{
register unsigned int srcp1 , srcp2 , result ;
register int src_exponent ;
Dbl_copyfromptr ( srcptr , srcp1 , srcp2 ) ;
src_exponent = Dbl_exponent ( srcp1 ) - DBL_BIAS ;
/*
* Test for overflow
*/
if ( src_exponent > SGL_FX_MAX_EXP + 1 ) {
if ( Dbl_isone_sign ( srcp1 ) ) {
result = 0 ;
} else {
result = 0xffffffff ;
}
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
* dstptr = result ;
return ( NOEXCEPTION ) ;
}
/*
* Generate result
*/
if ( src_exponent > = 0 ) {
/*
* Check sign .
* If negative , trap unimplemented .
*/
if ( Dbl_isone_sign ( srcp1 ) ) {
result = 0 ;
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
* dstptr = result ;
return ( NOEXCEPTION ) ;
}
Dbl_clear_signexponent_set_hidden ( srcp1 ) ;
Suint_from_dbl_mantissa ( srcp1 , srcp2 , src_exponent , result ) ;
* dstptr = result ;
/* check for inexact */
if ( Dbl_isinexact_to_unsigned ( srcp1 , srcp2 , src_exponent ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
else {
* dstptr = 0 ;
/* check for inexact */
if ( Dbl_isnotzero_exponentmantissa ( srcp1 , srcp2 ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
return ( NOEXCEPTION ) ;
}
/*
* Double Floating - point to Double Unsigned Fixed
*/
/*ARGSUSED*/
int
dbl_to_dbl_fcnvfut ( dbl_floating_point * srcptr , unsigned int * nullptr ,
dbl_unsigned * dstptr , unsigned int * status )
{
register int src_exponent ;
register unsigned int srcp1 , srcp2 , resultp1 , resultp2 ;
Dbl_copyfromptr ( srcptr , srcp1 , srcp2 ) ;
src_exponent = Dbl_exponent ( srcp1 ) - DBL_BIAS ;
/*
* Test for overflow
*/
if ( src_exponent > DBL_FX_MAX_EXP + 1 ) {
if ( Dbl_isone_sign ( srcp1 ) ) {
resultp1 = resultp2 = 0 ;
} else {
resultp1 = resultp2 = 0xffffffff ;
}
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
return ( NOEXCEPTION ) ;
}
/*
* Generate result
*/
if ( src_exponent > = 0 ) {
/*
* Check sign .
* If negative , trap unimplemented .
*/
if ( Dbl_isone_sign ( srcp1 ) ) {
resultp1 = resultp2 = 0 ;
if ( Is_invalidtrap_enabled ( ) ) {
return ( INVALIDEXCEPTION ) ;
}
Set_invalidflag ( ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
return ( NOEXCEPTION ) ;
}
Dbl_clear_signexponent_set_hidden ( srcp1 ) ;
Duint_from_dbl_mantissa ( srcp1 , srcp2 , src_exponent ,
resultp1 , resultp2 ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
/* check for inexact */
if ( Dbl_isinexact_to_unsigned ( srcp1 , srcp2 , src_exponent ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
else {
Duint_setzero ( resultp1 , resultp2 ) ;
Duint_copytoptr ( resultp1 , resultp2 , dstptr ) ;
/* check for inexact */
if ( Dbl_isnotzero_exponentmantissa ( srcp1 , srcp2 ) ) {
if ( Is_inexacttrap_enabled ( ) ) return ( INEXACTEXCEPTION ) ;
else Set_inexactflag ( ) ;
}
}
return ( NOEXCEPTION ) ;
}