2005-04-17 02:20:36 +04:00
/*
* IEEE754 floating point
* double precision internal header file
*/
/*
* MIPS floating point support
* Copyright ( C ) 1994 - 2000 Algorithmics Ltd .
*
* This program is free software ; you can distribute it and / or modify it
* under the terms of the GNU General Public License ( Version 2 ) as
* published by the Free Software Foundation .
*
* This program is distributed in the hope it will be useful , but WITHOUT
* ANY WARRANTY ; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE . See the GNU General Public License
* for more details .
*
* You should have received a copy of the GNU General Public License along
* with this program ; if not , write to the Free Software Foundation , Inc . ,
2014-04-26 03:49:14 +04:00
* 51 Franklin St , Fifth Floor , Boston , MA 02110 - 1301 USA .
2005-04-17 02:20:36 +04:00
*/
2014-04-16 02:47:59 +04:00
# include <linux/compiler.h>
2005-04-17 02:20:36 +04:00
# include "ieee754int.h"
# define assert(expr) ((void)0)
2014-04-22 18:33:07 +04:00
# define DP_EBIAS 1023
# define DP_EMIN (-1022)
# define DP_EMAX 1023
# define DP_FBITS 52
# define DP_MBITS 52
# define DP_MBIT(x) ((u64)1 << (x))
# define DP_HIDDEN_BIT DP_MBIT(DP_FBITS)
# define DP_SIGN_BIT DP_MBIT(63)
2014-04-25 17:48:40 +04:00
# define DPSIGN(dp) (dp.sign)
# define DPBEXP(dp) (dp.bexp)
# define DPMANT(dp) (dp.mant)
2014-04-22 18:33:07 +04:00
2014-04-22 18:52:01 +04:00
static inline int ieee754dp_finite ( union ieee754dp x )
{
return DPBEXP ( x ) ! = DP_EMAX + 1 + DP_EBIAS ;
}
2005-04-17 02:20:36 +04:00
/* 3bit extended double precision sticky right shift */
# define XDPSRS(v,rs) \
2014-04-22 17:51:55 +04:00
( ( rs > ( DP_FBITS + 3 ) ) ? 1 : ( ( v ) > > ( rs ) ) | ( ( v ) < < ( 64 - ( rs ) ) ! = 0 ) )
2005-04-17 02:20:36 +04:00
# define XDPSRSX1() \
2014-04-16 13:00:12 +04:00
( xe + + , ( xm = ( xm > > 1 ) | ( xm & 1 ) ) )
2005-04-17 02:20:36 +04:00
# define XDPSRS1(v) \
2014-04-16 13:00:12 +04:00
( ( ( v ) > > 1 ) | ( ( v ) & 1 ) )
2005-04-17 02:20:36 +04:00
/* convert denormal to normalized with extended exponent */
# define DPDNORMx(m,e) \
2014-04-22 17:51:55 +04:00
while ( ( m > > DP_FBITS ) = = 0 ) { m < < = 1 ; e - - ; }
2007-10-12 02:46:15 +04:00
# define DPDNORMX DPDNORMx(xm, xe)
# define DPDNORMY DPDNORMx(ym, ye)
2005-04-17 02:20:36 +04:00
2014-04-16 03:31:11 +04:00
static inline union ieee754dp builddp ( int s , int bx , u64 m )
2005-04-17 02:20:36 +04:00
{
2014-04-16 03:31:11 +04:00
union ieee754dp r ;
2005-04-17 02:20:36 +04:00
assert ( ( s ) = = 0 | | ( s ) = = 1 ) ;
assert ( ( bx ) > = DP_EMIN - 1 + DP_EBIAS
& & ( bx ) < = DP_EMAX + 1 + DP_EBIAS ) ;
2014-04-22 17:51:55 +04:00
assert ( ( ( m ) > > DP_FBITS ) = = 0 ) ;
2005-04-17 02:20:36 +04:00
2014-04-25 17:48:40 +04:00
r . sign = s ;
r . bexp = bx ;
r . mant = m ;
2005-04-17 02:20:36 +04:00
return r ;
}
2014-04-25 05:19:57 +04:00
extern union ieee754dp __cold ieee754dp_nanxcpt ( union ieee754dp ) ;
2014-04-16 03:31:11 +04:00
extern union ieee754dp ieee754dp_format ( int , int , u64 ) ;