mirror of
https://sourceware.org/git/glibc.git
synced 2024-11-26 15:00:06 +00:00
88283451b2
Various implementations of frexp functions return sNaN for sNaN input. This patch fixes them to add such arguments to themselves so that qNaN is returned. Tested for x86_64, x86, mips64 and powerpc. [BZ #20250] * sysdeps/i386/fpu/s_frexpl.S (__frexpl): Add non-finite input to itself. * sysdeps/ieee754/dbl-64/s_frexp.c (__frexp): Add non-finite or zero input to itself. * sysdeps/ieee754/dbl-64/wordsize-64/s_frexp.c (__frexp): Likewise. * sysdeps/ieee754/flt-32/s_frexpf.c (__frexpf): Likewise. * sysdeps/ieee754/ldbl-128/s_frexpl.c (__frexpl): Likewise. * sysdeps/ieee754/ldbl-128ibm/s_frexpl.c (__frexpl): Likewise. * sysdeps/ieee754/ldbl-96/s_frexpl.c (__frexpl): Likewise. * math/libm-test.inc (frexp_test_data): Add sNaN tests.
59 lines
1.5 KiB
C
59 lines
1.5 KiB
C
/* @(#)s_frexp.c 5.1 93/09/24 */
|
|
/*
|
|
* ====================================================
|
|
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
|
*
|
|
* Developed at SunPro, a Sun Microsystems, Inc. business.
|
|
* Permission to use, copy, modify, and distribute this
|
|
* software is freely granted, provided that this notice
|
|
* is preserved.
|
|
* ====================================================
|
|
*/
|
|
|
|
#if defined(LIBM_SCCS) && !defined(lint)
|
|
static char rcsid[] = "$NetBSD: s_frexp.c,v 1.9 1995/05/10 20:47:24 jtc Exp $";
|
|
#endif
|
|
|
|
/*
|
|
* for non-zero x
|
|
* x = frexp(arg,&exp);
|
|
* return a double fp quantity x such that 0.5 <= |x| <1.0
|
|
* and the corresponding binary exponent "exp". That is
|
|
* arg = x*2^exp.
|
|
* If arg is inf, 0.0, or NaN, then frexp(arg,&exp) returns arg
|
|
* with *exp=0.
|
|
*/
|
|
|
|
#include <math.h>
|
|
#include <math_private.h>
|
|
|
|
static const double
|
|
two54 = 1.80143985094819840000e+16; /* 0x43500000, 0x00000000 */
|
|
|
|
double
|
|
__frexp (double x, int *eptr)
|
|
{
|
|
int32_t hx, ix, lx;
|
|
EXTRACT_WORDS (hx, lx, x);
|
|
ix = 0x7fffffff & hx;
|
|
*eptr = 0;
|
|
if (ix >= 0x7ff00000 || ((ix | lx) == 0))
|
|
return x + x; /* 0,inf,nan */
|
|
if (ix < 0x00100000) /* subnormal */
|
|
{
|
|
x *= two54;
|
|
GET_HIGH_WORD (hx, x);
|
|
ix = hx & 0x7fffffff;
|
|
*eptr = -54;
|
|
}
|
|
*eptr += (ix >> 20) - 1022;
|
|
hx = (hx & 0x800fffff) | 0x3fe00000;
|
|
SET_HIGH_WORD (x, hx);
|
|
return x;
|
|
}
|
|
weak_alias (__frexp, frexp)
|
|
#ifdef NO_LONG_DOUBLE
|
|
strong_alias (__frexp, __frexpl)
|
|
weak_alias (__frexp, frexpl)
|
|
#endif
|