[qemu.git] / fpu / softfloat-native.c

/* Native implementation of soft float functions. Only a single status
   context is supported */
#include "softfloat.h"
#include <math.h>
#if defined(CONFIG_SOLARIS)
#include <fenv.h>
#endif

void set_float_rounding_mode(int val STATUS_PARAM)
{
    STATUS(float_rounding_mode) = val;
#if (defined(CONFIG_BSD) && !defined(__APPLE__) && !defined(__GLIBC__)) || \
    (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
    fpsetround(val);
#else
    fesetround(val);
#endif
}

#ifdef FLOATX80
void set_floatx80_rounding_precision(int val STATUS_PARAM)
{
    STATUS(floatx80_rounding_precision) = val;
}
#endif

#if defined(CONFIG_BSD) || \
    (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
#define lrint(d)		((int32_t)rint(d))
#define llrint(d)		((int64_t)rint(d))
#define lrintf(f)		((int32_t)rint(f))
#define llrintf(f)		((int64_t)rint(f))
#define sqrtf(f)		((float)sqrt(f))
#define remainderf(fa, fb)	((float)remainder(fa, fb))
#define rintf(f)		((float)rint(f))
#if !defined(__sparc__) && \
    (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
extern long double rintl(long double);
extern long double scalbnl(long double, int);

long long
llrintl(long double x) {
	return ((long long) rintl(x));
}

long
lrintl(long double x) {
	return ((long) rintl(x));
}

long double
ldexpl(long double x, int n) {
	return (scalbnl(x, n));
}
#endif
#endif

#if defined(_ARCH_PPC)

/* correct (but slow) PowerPC rint() (glibc version is incorrect) */
static double qemu_rint(double x)
{
    double y = 4503599627370496.0;
    if (fabs(x) >= y)
        return x;
    if (x < 0)
        y = -y;
    y = (x + y) - y;
    if (y == 0.0)
        y = copysign(y, x);
    return y;
}

#define rint qemu_rint
#endif

/*----------------------------------------------------------------------------
| Software IEC/IEEE integer-to-floating-point conversion routines.
*----------------------------------------------------------------------------*/
float32 int32_to_float32(int v STATUS_PARAM)
{
    return (float32)v;
}

float32 uint32_to_float32(unsigned int v STATUS_PARAM)
{
    return (float32)v;
}

float64 int32_to_float64(int v STATUS_PARAM)
{
    return (float64)v;
}

float64 uint32_to_float64(unsigned int v STATUS_PARAM)
{
    return (float64)v;
}

#ifdef FLOATX80
floatx80 int32_to_floatx80(int v STATUS_PARAM)
{
    return (floatx80)v;
}
#endif
float32 int64_to_float32( int64_t v STATUS_PARAM)
{
    return (float32)v;
}
float32 uint64_to_float32( uint64_t v STATUS_PARAM)
{
    return (float32)v;
}
float64 int64_to_float64( int64_t v STATUS_PARAM)
{
    return (float64)v;
}
float64 uint64_to_float64( uint64_t v STATUS_PARAM)
{
    return (float64)v;
}
#ifdef FLOATX80
floatx80 int64_to_floatx80( int64_t v STATUS_PARAM)
{
    return (floatx80)v;
}
#endif

/* XXX: this code implements the x86 behaviour, not the IEEE one.  */
#if HOST_LONG_BITS == 32
static inline int long_to_int32(long a)
{
    return a;
}
#else
static inline int long_to_int32(long a)
{
    if (a != (int32_t)a)
        a = 0x80000000;
    return a;
}
#endif

/*----------------------------------------------------------------------------
| Software IEC/IEEE single-precision conversion routines.
*----------------------------------------------------------------------------*/
int float32_to_int32( float32 a STATUS_PARAM)
{
    return long_to_int32(lrintf(a));
}
int float32_to_int32_round_to_zero( float32 a STATUS_PARAM)
{
    return (int)a;
}
int64_t float32_to_int64( float32 a STATUS_PARAM)
{
    return llrintf(a);
}

int64_t float32_to_int64_round_to_zero( float32 a STATUS_PARAM)
{
    return (int64_t)a;
}

float64 float32_to_float64( float32 a STATUS_PARAM)
{
    return a;
}
#ifdef FLOATX80
floatx80 float32_to_floatx80( float32 a STATUS_PARAM)
{
    return a;
}
#endif

unsigned int float32_to_uint32( float32 a STATUS_PARAM)
{
    int64_t v;
    unsigned int res;

    v = llrintf(a);
    if (v < 0) {
        res = 0;
    } else if (v > 0xffffffff) {
        res = 0xffffffff;
    } else {
        res = v;
    }
    return res;
}
unsigned int float32_to_uint32_round_to_zero( float32 a STATUS_PARAM)
{
    int64_t v;
    unsigned int res;

    v = (int64_t)a;
    if (v < 0) {
        res = 0;
    } else if (v > 0xffffffff) {
        res = 0xffffffff;
    } else {
        res = v;
    }
    return res;
}

/*----------------------------------------------------------------------------
| Software IEC/IEEE single-precision operations.
*----------------------------------------------------------------------------*/
float32 float32_round_to_int( float32 a STATUS_PARAM)
{
    return rintf(a);
}

float32 float32_rem( float32 a, float32 b STATUS_PARAM)
{
    return remainderf(a, b);
}

float32 float32_sqrt( float32 a STATUS_PARAM)
{
    return sqrtf(a);
}
int float32_compare( float32 a, float32 b STATUS_PARAM )
{
    if (a < b) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (a > b) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int float32_compare_quiet( float32 a, float32 b STATUS_PARAM )
{
    if (isless(a, b)) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (isgreater(a, b)) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int float32_is_signaling_nan( float32 a1)
{
    float32u u;
    uint32_t a;
    u.f = a1;
    a = u.i;
    return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF );
}

int float32_is_nan( float32 a1 )
{
    float32u u;
    uint64_t a;
    u.f = a1;
    a = u.i;
    return ( 0xFF800000 < ( a<<1 ) );
}

/*----------------------------------------------------------------------------
| Software IEC/IEEE double-precision conversion routines.
*----------------------------------------------------------------------------*/
int float64_to_int32( float64 a STATUS_PARAM)
{
    return long_to_int32(lrint(a));
}
int float64_to_int32_round_to_zero( float64 a STATUS_PARAM)
{
    return (int)a;
}
int64_t float64_to_int64( float64 a STATUS_PARAM)
{
    return llrint(a);
}
int64_t float64_to_int64_round_to_zero( float64 a STATUS_PARAM)
{
    return (int64_t)a;
}
float32 float64_to_float32( float64 a STATUS_PARAM)
{
    return a;
}
#ifdef FLOATX80
floatx80 float64_to_floatx80( float64 a STATUS_PARAM)
{
    return a;
}
#endif
#ifdef FLOAT128
float128 float64_to_float128( float64 a STATUS_PARAM)
{
    return a;
}
#endif

unsigned int float64_to_uint32( float64 a STATUS_PARAM)
{
    int64_t v;
    unsigned int res;

    v = llrint(a);
    if (v < 0) {
        res = 0;
    } else if (v > 0xffffffff) {
        res = 0xffffffff;
    } else {
        res = v;
    }
    return res;
}
unsigned int float64_to_uint32_round_to_zero( float64 a STATUS_PARAM)
{
    int64_t v;
    unsigned int res;

    v = (int64_t)a;
    if (v < 0) {
        res = 0;
    } else if (v > 0xffffffff) {
        res = 0xffffffff;
    } else {
        res = v;
    }
    return res;
}
uint64_t float64_to_uint64 (float64 a STATUS_PARAM)
{
    int64_t v;

    v = llrint(a + (float64)INT64_MIN);

    return v - INT64_MIN;
}
uint64_t float64_to_uint64_round_to_zero (float64 a STATUS_PARAM)
{
    int64_t v;

    v = (int64_t)(a + (float64)INT64_MIN);

    return v - INT64_MIN;
}

/*----------------------------------------------------------------------------
| Software IEC/IEEE double-precision operations.
*----------------------------------------------------------------------------*/
#if defined(__sun__) && \
    (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
static inline float64 trunc(float64 x)
{
    return x < 0 ? -floor(-x) : floor(x);
}
#endif
float64 float64_trunc_to_int( float64 a STATUS_PARAM )
{
    return trunc(a);
}

float64 float64_round_to_int( float64 a STATUS_PARAM )
{
    return rint(a);
}

float64 float64_rem( float64 a, float64 b STATUS_PARAM)
{
    return remainder(a, b);
}

float64 float64_sqrt( float64 a STATUS_PARAM)
{
    return sqrt(a);
}
int float64_compare( float64 a, float64 b STATUS_PARAM )
{
    if (a < b) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (a > b) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int float64_compare_quiet( float64 a, float64 b STATUS_PARAM )
{
    if (isless(a, b)) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (isgreater(a, b)) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int float64_is_signaling_nan( float64 a1)
{
    float64u u;
    uint64_t a;
    u.f = a1;
    a = u.i;
    return
           ( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
        && ( a & LIT64( 0x0007FFFFFFFFFFFF ) );

}

int float64_is_nan( float64 a1 )
{
    float64u u;
    uint64_t a;
    u.f = a1;
    a = u.i;

    return ( LIT64( 0xFFF0000000000000 ) < (bits64) ( a<<1 ) );

}

#ifdef FLOATX80

/*----------------------------------------------------------------------------
| Software IEC/IEEE extended double-precision conversion routines.
*----------------------------------------------------------------------------*/
int floatx80_to_int32( floatx80 a STATUS_PARAM)
{
    return long_to_int32(lrintl(a));
}
int floatx80_to_int32_round_to_zero( floatx80 a STATUS_PARAM)
{
    return (int)a;
}
int64_t floatx80_to_int64( floatx80 a STATUS_PARAM)
{
    return llrintl(a);
}
int64_t floatx80_to_int64_round_to_zero( floatx80 a STATUS_PARAM)
{
    return (int64_t)a;
}
float32 floatx80_to_float32( floatx80 a STATUS_PARAM)
{
    return a;
}
float64 floatx80_to_float64( floatx80 a STATUS_PARAM)
{
    return a;
}

/*----------------------------------------------------------------------------
| Software IEC/IEEE extended double-precision operations.
*----------------------------------------------------------------------------*/
floatx80 floatx80_round_to_int( floatx80 a STATUS_PARAM)
{
    return rintl(a);
}
floatx80 floatx80_rem( floatx80 a, floatx80 b STATUS_PARAM)
{
    return remainderl(a, b);
}
floatx80 floatx80_sqrt( floatx80 a STATUS_PARAM)
{
    return sqrtl(a);
}
int floatx80_compare( floatx80 a, floatx80 b STATUS_PARAM )
{
    if (a < b) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (a > b) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int floatx80_compare_quiet( floatx80 a, floatx80 b STATUS_PARAM )
{
    if (isless(a, b)) {
        return float_relation_less;
    } else if (a == b) {
        return float_relation_equal;
    } else if (isgreater(a, b)) {
        return float_relation_greater;
    } else {
        return float_relation_unordered;
    }
}
int floatx80_is_signaling_nan( floatx80 a1)
{
    floatx80u u;
    uint64_t aLow;
    u.f = a1;

    aLow = u.i.low & ~ LIT64( 0x4000000000000000 );
    return
           ( ( u.i.high & 0x7FFF ) == 0x7FFF )
        && (bits64) ( aLow<<1 )
        && ( u.i.low == aLow );
}

int floatx80_is_nan( floatx80 a1 )
{
    floatx80u u;
    u.f = a1;
    return ( ( u.i.high & 0x7FFF ) == 0x7FFF ) && (bits64) ( u.i.low<<1 );
}

#endif
Commit	Line	Data
158142c2 FB	1	/* Native implementation of soft float functions. Only a single status
	2	context is supported */
	3	#include "softfloat.h"
	4	#include <math.h>
dfe5fff3	5	#if defined(CONFIG_SOLARIS)
14d483ec BS	6	#include <fenv.h>
14d483ec BS	7	#endif
158142c2 FB	8
	9	void set_float_rounding_mode(int val STATUS_PARAM)
	10	{
	11	STATUS(float_rounding_mode) = val;
a167ba50	12	#if (defined(CONFIG_BSD) && !defined(__APPLE__) && !defined(__GLIBC__)) \|\| \
dfe5fff3	13	(defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
158142c2	14	fpsetround(val);
158142c2 FB	15	#else
	16	fesetround(val);
	17	#endif
	18	}
	19
	20	#ifdef FLOATX80
	21	void set_floatx80_rounding_precision(int val STATUS_PARAM)
	22	{
	23	STATUS(floatx80_rounding_precision) = val;
	24	}
	25	#endif
	26
71e72a19	27	#if defined(CONFIG_BSD) \|\| \
dfe5fff3	28	(defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
fdbb4691 FB	29	#define lrint(d) ((int32_t)rint(d))
	30	#define llrint(d) ((int64_t)rint(d))
	31	#define lrintf(f) ((int32_t)rint(f))
	32	#define llrintf(f) ((int64_t)rint(f))
	33	#define sqrtf(f) ((float)sqrt(f))
	34	#define remainderf(fa, fb) ((float)remainder(fa, fb))
	35	#define rintf(f) ((float)rint(f))
dfe5fff3 JQ	36	#if !defined(__sparc__) && \
dfe5fff3 JQ	37	(defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
0475a5ca TS	38	extern long double rintl(long double);
	39	extern long double scalbnl(long double, int);
	40
	41	long long
	42	llrintl(long double x) {
	43	return ((long long) rintl(x));
	44	}
	45
	46	long
	47	lrintl(long double x) {
	48	return ((long) rintl(x));
	49	}
	50
	51	long double
	52	ldexpl(long double x, int n) {
	53	return (scalbnl(x, n));
	54	}
	55	#endif
158142c2 FB	56	#endif
158142c2 FB	57
e58ffeb3	58	#if defined(_ARCH_PPC)
158142c2 FB	59
158142c2 FB	60	/* correct (but slow) PowerPC rint() (glibc version is incorrect) */
947f5fcb	61	static double qemu_rint(double x)
158142c2 FB	62	{
	63	double y = 4503599627370496.0;
	64	if (fabs(x) >= y)
	65	return x;
5fafdf24	66	if (x < 0)
158142c2 FB	67	y = -y;
	68	y = (x + y) - y;
	69	if (y == 0.0)
	70	y = copysign(y, x);
	71	return y;
	72	}
	73
	74	#define rint qemu_rint
	75	#endif
	76
	77	/*----------------------------------------------------------------------------
	78	\| Software IEC/IEEE integer-to-floating-point conversion routines.
	79	----------------------------------------------------------------------------/
	80	float32 int32_to_float32(int v STATUS_PARAM)
	81	{
	82	return (float32)v;
	83	}
	84
75d62a58 JM	85	float32 uint32_to_float32(unsigned int v STATUS_PARAM)
	86	{
	87	return (float32)v;
	88	}
	89
158142c2 FB	90	float64 int32_to_float64(int v STATUS_PARAM)
	91	{
	92	return (float64)v;
	93	}
	94
75d62a58 JM	95	float64 uint32_to_float64(unsigned int v STATUS_PARAM)
	96	{
	97	return (float64)v;
	98	}
	99
158142c2 FB	100	#ifdef FLOATX80
	101	floatx80 int32_to_floatx80(int v STATUS_PARAM)
	102	{
	103	return (floatx80)v;
	104	}
	105	#endif
	106	float32 int64_to_float32( int64_t v STATUS_PARAM)
	107	{
	108	return (float32)v;
	109	}
75d62a58 JM	110	float32 uint64_to_float32( uint64_t v STATUS_PARAM)
	111	{
	112	return (float32)v;
	113	}
158142c2 FB	114	float64 int64_to_float64( int64_t v STATUS_PARAM)
	115	{
	116	return (float64)v;
	117	}
75d62a58 JM	118	float64 uint64_to_float64( uint64_t v STATUS_PARAM)
	119	{
	120	return (float64)v;
	121	}
158142c2 FB	122	#ifdef FLOATX80
	123	floatx80 int64_to_floatx80( int64_t v STATUS_PARAM)
	124	{
	125	return (floatx80)v;
	126	}
	127	#endif
	128
1b2b0af5 FB	129	/* XXX: this code implements the x86 behaviour, not the IEEE one. */
	130	#if HOST_LONG_BITS == 32
	131	static inline int long_to_int32(long a)
	132	{
	133	return a;
	134	}
	135	#else
	136	static inline int long_to_int32(long a)
	137	{
5fafdf24	138	if (a != (int32_t)a)
1b2b0af5 FB	139	a = 0x80000000;
	140	return a;
	141	}
	142	#endif
	143
158142c2 FB	144	/*----------------------------------------------------------------------------
	145	\| Software IEC/IEEE single-precision conversion routines.
	146	----------------------------------------------------------------------------/
	147	int float32_to_int32( float32 a STATUS_PARAM)
	148	{
1b2b0af5	149	return long_to_int32(lrintf(a));
158142c2 FB	150	}
	151	int float32_to_int32_round_to_zero( float32 a STATUS_PARAM)
	152	{
	153	return (int)a;
	154	}
	155	int64_t float32_to_int64( float32 a STATUS_PARAM)
	156	{
	157	return llrintf(a);
	158	}
	159
	160	int64_t float32_to_int64_round_to_zero( float32 a STATUS_PARAM)
	161	{
	162	return (int64_t)a;
	163	}
	164
	165	float64 float32_to_float64( float32 a STATUS_PARAM)
	166	{
	167	return a;
	168	}
	169	#ifdef FLOATX80
	170	floatx80 float32_to_floatx80( float32 a STATUS_PARAM)
	171	{
	172	return a;
	173	}
	174	#endif
	175
75d62a58 JM	176	unsigned int float32_to_uint32( float32 a STATUS_PARAM)
	177	{
	178	int64_t v;
	179	unsigned int res;
	180
	181	v = llrintf(a);
	182	if (v < 0) {
	183	res = 0;
	184	} else if (v > 0xffffffff) {
	185	res = 0xffffffff;
	186	} else {
	187	res = v;
	188	}
	189	return res;
	190	}
	191	unsigned int float32_to_uint32_round_to_zero( float32 a STATUS_PARAM)
	192	{
	193	int64_t v;
	194	unsigned int res;
	195
	196	v = (int64_t)a;
	197	if (v < 0) {
	198	res = 0;
	199	} else if (v > 0xffffffff) {
	200	res = 0xffffffff;
	201	} else {
	202	res = v;
	203	}
	204	return res;
	205	}
	206
158142c2 FB	207	/*----------------------------------------------------------------------------
	208	\| Software IEC/IEEE single-precision operations.
	209	----------------------------------------------------------------------------/
	210	float32 float32_round_to_int( float32 a STATUS_PARAM)
	211	{
	212	return rintf(a);
	213	}
	214
b109f9f8 FB	215	float32 float32_rem( float32 a, float32 b STATUS_PARAM)
	216	{
	217	return remainderf(a, b);
	218	}
	219
158142c2 FB	220	float32 float32_sqrt( float32 a STATUS_PARAM)
	221	{
	222	return sqrtf(a);
	223	}
750afe93	224	int float32_compare( float32 a, float32 b STATUS_PARAM )
b109f9f8 FB	225	{
b109f9f8 FB	226	if (a < b) {
30e7a22e	227	return float_relation_less;
b109f9f8	228	} else if (a == b) {
30e7a22e	229	return float_relation_equal;
b109f9f8	230	} else if (a > b) {
30e7a22e	231	return float_relation_greater;
b109f9f8	232	} else {
30e7a22e	233	return float_relation_unordered;
b109f9f8 FB	234	}
b109f9f8 FB	235	}
750afe93	236	int float32_compare_quiet( float32 a, float32 b STATUS_PARAM )
b109f9f8 FB	237	{
b109f9f8 FB	238	if (isless(a, b)) {
30e7a22e	239	return float_relation_less;
b109f9f8	240	} else if (a == b) {
30e7a22e	241	return float_relation_equal;
b109f9f8	242	} else if (isgreater(a, b)) {
30e7a22e	243	return float_relation_greater;
b109f9f8	244	} else {
30e7a22e	245	return float_relation_unordered;
b109f9f8 FB	246	}
b109f9f8 FB	247	}
750afe93	248	int float32_is_signaling_nan( float32 a1)
158142c2 FB	249	{
	250	float32u u;
	251	uint32_t a;
	252	u.f = a1;
	253	a = u.i;
	254	return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF );
	255	}
	256
629bd74a AJ	257	int float32_is_nan( float32 a1 )
	258	{
	259	float32u u;
	260	uint64_t a;
	261	u.f = a1;
	262	a = u.i;
	263	return ( 0xFF800000 < ( a<<1 ) );
	264	}
	265
158142c2 FB	266	/*----------------------------------------------------------------------------
	267	\| Software IEC/IEEE double-precision conversion routines.
	268	----------------------------------------------------------------------------/
	269	int float64_to_int32( float64 a STATUS_PARAM)
	270	{
1b2b0af5	271	return long_to_int32(lrint(a));
158142c2 FB	272	}
	273	int float64_to_int32_round_to_zero( float64 a STATUS_PARAM)
	274	{
	275	return (int)a;
	276	}
	277	int64_t float64_to_int64( float64 a STATUS_PARAM)
	278	{
	279	return llrint(a);
	280	}
	281	int64_t float64_to_int64_round_to_zero( float64 a STATUS_PARAM)
	282	{
	283	return (int64_t)a;
	284	}
	285	float32 float64_to_float32( float64 a STATUS_PARAM)
	286	{
	287	return a;
	288	}
	289	#ifdef FLOATX80
	290	floatx80 float64_to_floatx80( float64 a STATUS_PARAM)
	291	{
	292	return a;
	293	}
	294	#endif
	295	#ifdef FLOAT128
	296	float128 float64_to_float128( float64 a STATUS_PARAM)
	297	{
	298	return a;
	299	}
	300	#endif
	301
75d62a58 JM	302	unsigned int float64_to_uint32( float64 a STATUS_PARAM)
	303	{
	304	int64_t v;
	305	unsigned int res;
	306
	307	v = llrint(a);
	308	if (v < 0) {
	309	res = 0;
	310	} else if (v > 0xffffffff) {
	311	res = 0xffffffff;
	312	} else {
	313	res = v;
	314	}
	315	return res;
	316	}
	317	unsigned int float64_to_uint32_round_to_zero( float64 a STATUS_PARAM)
	318	{
	319	int64_t v;
	320	unsigned int res;
	321
	322	v = (int64_t)a;
	323	if (v < 0) {
	324	res = 0;
	325	} else if (v > 0xffffffff) {
	326	res = 0xffffffff;
	327	} else {
	328	res = v;
	329	}
	330	return res;
	331	}
	332	uint64_t float64_to_uint64 (float64 a STATUS_PARAM)
	333	{
	334	int64_t v;
	335
	336	v = llrint(a + (float64)INT64_MIN);
	337
	338	return v - INT64_MIN;
	339	}
	340	uint64_t float64_to_uint64_round_to_zero (float64 a STATUS_PARAM)
	341	{
	342	int64_t v;
	343
	344	v = (int64_t)(a + (float64)INT64_MIN);
	345
	346	return v - INT64_MIN;
	347	}
	348
158142c2 FB	349	/*----------------------------------------------------------------------------
	350	\| Software IEC/IEEE double-precision operations.
	351	----------------------------------------------------------------------------/
dfe5fff3 JQ	352	#if defined(__sun__) && \
dfe5fff3 JQ	353	(defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
63a654bb TS	354	static inline float64 trunc(float64 x)
	355	{
	356	return x < 0 ? -floor(-x) : floor(x);
	357	}
	358	#endif
e6e5906b PB	359	float64 float64_trunc_to_int( float64 a STATUS_PARAM )
	360	{
	361	return trunc(a);
	362	}
	363
158142c2 FB	364	float64 float64_round_to_int( float64 a STATUS_PARAM )
158142c2 FB	365	{
158142c2	366	return rint(a);
158142c2 FB	367	}
158142c2 FB	368
b109f9f8 FB	369	float64 float64_rem( float64 a, float64 b STATUS_PARAM)
	370	{
	371	return remainder(a, b);
	372	}
	373
158142c2 FB	374	float64 float64_sqrt( float64 a STATUS_PARAM)
	375	{
	376	return sqrt(a);
	377	}
750afe93	378	int float64_compare( float64 a, float64 b STATUS_PARAM )
b109f9f8 FB	379	{
b109f9f8 FB	380	if (a < b) {
30e7a22e	381	return float_relation_less;
b109f9f8	382	} else if (a == b) {
30e7a22e	383	return float_relation_equal;
b109f9f8	384	} else if (a > b) {
30e7a22e	385	return float_relation_greater;
b109f9f8	386	} else {
30e7a22e	387	return float_relation_unordered;
b109f9f8 FB	388	}
b109f9f8 FB	389	}
750afe93	390	int float64_compare_quiet( float64 a, float64 b STATUS_PARAM )
b109f9f8 FB	391	{
b109f9f8 FB	392	if (isless(a, b)) {
30e7a22e	393	return float_relation_less;
b109f9f8	394	} else if (a == b) {
30e7a22e	395	return float_relation_equal;
b109f9f8	396	} else if (isgreater(a, b)) {
30e7a22e	397	return float_relation_greater;
b109f9f8	398	} else {
30e7a22e	399	return float_relation_unordered;
b109f9f8 FB	400	}
b109f9f8 FB	401	}
750afe93	402	int float64_is_signaling_nan( float64 a1)
158142c2 FB	403	{
	404	float64u u;
	405	uint64_t a;
	406	u.f = a1;
	407	a = u.i;
	408	return
	409	( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
	410	&& ( a & LIT64( 0x0007FFFFFFFFFFFF ) );
	411
	412	}
	413
750afe93	414	int float64_is_nan( float64 a1 )
e6e5906b PB	415	{
	416	float64u u;
	417	uint64_t a;
	418	u.f = a1;
	419	a = u.i;
	420
1b2ad2ec	421	return ( LIT64( 0xFFF0000000000000 ) < (bits64) ( a<<1 ) );
e6e5906b PB	422
	423	}
	424
158142c2 FB	425	#ifdef FLOATX80
	426
	427	/*----------------------------------------------------------------------------
	428	\| Software IEC/IEEE extended double-precision conversion routines.
	429	----------------------------------------------------------------------------/
	430	int floatx80_to_int32( floatx80 a STATUS_PARAM)
	431	{
1b2b0af5	432	return long_to_int32(lrintl(a));
158142c2 FB	433	}
	434	int floatx80_to_int32_round_to_zero( floatx80 a STATUS_PARAM)
	435	{
	436	return (int)a;
	437	}
	438	int64_t floatx80_to_int64( floatx80 a STATUS_PARAM)
	439	{
	440	return llrintl(a);
	441	}
	442	int64_t floatx80_to_int64_round_to_zero( floatx80 a STATUS_PARAM)
	443	{
	444	return (int64_t)a;
	445	}
	446	float32 floatx80_to_float32( floatx80 a STATUS_PARAM)
	447	{
	448	return a;
	449	}
	450	float64 floatx80_to_float64( floatx80 a STATUS_PARAM)
	451	{
	452	return a;
	453	}
	454
	455	/*----------------------------------------------------------------------------
	456	\| Software IEC/IEEE extended double-precision operations.
	457	----------------------------------------------------------------------------/
	458	floatx80 floatx80_round_to_int( floatx80 a STATUS_PARAM)
	459	{
	460	return rintl(a);
	461	}
b109f9f8 FB	462	floatx80 floatx80_rem( floatx80 a, floatx80 b STATUS_PARAM)
	463	{
	464	return remainderl(a, b);
	465	}
158142c2 FB	466	floatx80 floatx80_sqrt( floatx80 a STATUS_PARAM)
	467	{
	468	return sqrtl(a);
	469	}
750afe93	470	int floatx80_compare( floatx80 a, floatx80 b STATUS_PARAM )
b109f9f8 FB	471	{
b109f9f8 FB	472	if (a < b) {
30e7a22e	473	return float_relation_less;
b109f9f8	474	} else if (a == b) {
30e7a22e	475	return float_relation_equal;
b109f9f8	476	} else if (a > b) {
30e7a22e	477	return float_relation_greater;
b109f9f8	478	} else {
30e7a22e	479	return float_relation_unordered;
b109f9f8 FB	480	}
b109f9f8 FB	481	}
750afe93	482	int floatx80_compare_quiet( floatx80 a, floatx80 b STATUS_PARAM )
b109f9f8 FB	483	{
b109f9f8 FB	484	if (isless(a, b)) {
30e7a22e	485	return float_relation_less;
b109f9f8	486	} else if (a == b) {
30e7a22e	487	return float_relation_equal;
b109f9f8	488	} else if (isgreater(a, b)) {
30e7a22e	489	return float_relation_greater;
b109f9f8	490	} else {
30e7a22e	491	return float_relation_unordered;
b109f9f8 FB	492	}
b109f9f8 FB	493	}
750afe93	494	int floatx80_is_signaling_nan( floatx80 a1)
1b2ad2ec AJ	495	{
	496	floatx80u u;
	497	uint64_t aLow;
	498	u.f = a1;
	499
	500	aLow = u.i.low & ~ LIT64( 0x4000000000000000 );
	501	return
	502	( ( u.i.high & 0x7FFF ) == 0x7FFF )
	503	&& (bits64) ( aLow<<1 )
	504	&& ( u.i.low == aLow );
	505	}
	506
	507	int floatx80_is_nan( floatx80 a1 )
158142c2 FB	508	{
	509	floatx80u u;
	510	u.f = a1;
	511	return ( ( u.i.high & 0x7FFF ) == 0x7FFF ) && (bits64) ( u.i.low<<1 );
	512	}
	513
	514	#endif