mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-28 13:31:13 +00:00
524ae9ea2e
The ldbl-128ibm implementation of ilogbl produces incorrect results when the high part of the argument is a power of 2 and the low part a nonzero number with the opposite sign (and so the returned exponent should be 1 less than that of the high part). For example, ilogbl (0x1.ffffffffffffffp1L) returns 2 but should return 1. (This is similar to (fixed) bug 16740 for frexpl, and bug 18030 for logbl.) This patch adds checks for that case. Tested for powerpc. [BZ #18029] * sysdeps/ieee754/ldbl-128ibm/e_ilogbl.c (__ieee754_ilogbl): Adjust exponent of power of 2 down when low part has opposite sign. * math/libm-test.inc (ilogb_test_data): Add more tests.
71 lines
1.8 KiB
C
71 lines
1.8 KiB
C
/* s_ilogbl.c -- long double version of s_ilogb.c.
|
|
* Conversion to IEEE quad long double by Jakub Jelinek, jj@ultra.linux.cz.
|
|
*/
|
|
|
|
/*
|
|
* ====================================================
|
|
* 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: $";
|
|
#endif
|
|
|
|
/* ilogbl(long double x)
|
|
* return the binary exponent of non-zero x
|
|
* ilogbl(0) = FP_ILOGB0
|
|
* ilogbl(NaN) = FP_ILOGBNAN (no signal is raised)
|
|
* ilogbl(+-Inf) = INT_MAX (no signal is raised)
|
|
*/
|
|
|
|
#include <limits.h>
|
|
#include <math.h>
|
|
#include <math_private.h>
|
|
#include <math_ldbl_opt.h>
|
|
|
|
int __ieee754_ilogbl(long double x)
|
|
{
|
|
int64_t hx, hxs;
|
|
int ix;
|
|
double xhi, xlo;
|
|
|
|
ldbl_unpack (x, &xhi, &xlo);
|
|
EXTRACT_WORDS64 (hx, xhi);
|
|
hxs = hx;
|
|
hx &= 0x7fffffffffffffffLL;
|
|
if(hx <= 0x0010000000000000LL) {
|
|
if(hx==0)
|
|
return FP_ILOGB0; /* ilogbl(0) = FP_ILOGB0 */
|
|
else /* subnormal x */
|
|
for (ix = -1022, hx<<=11; hx>0; hx<<=1) ix -=1;
|
|
return ix;
|
|
}
|
|
else if (hx < 0x7ff0000000000000LL)
|
|
{
|
|
int hexp = (hx >> 52) - 0x3ff;
|
|
/* If the high part is a power of 2, and the low part is
|
|
nonzero with the opposite sign, the low part affects
|
|
the exponent. */
|
|
if ((hx & 0x000fffffffffffffLL) == 0)
|
|
{
|
|
int64_t lx;
|
|
EXTRACT_WORDS64 (lx, xlo);
|
|
if ((hxs ^ lx) < 0 && (lx & 0x7fffffffffffffffLL) != 0)
|
|
hexp--;
|
|
}
|
|
return hexp;
|
|
}
|
|
else if (FP_ILOGBNAN != INT_MAX) {
|
|
/* ISO C99 requires ilogbl(+-Inf) == INT_MAX. */
|
|
if (hx==0x7ff0000000000000LL)
|
|
return INT_MAX;
|
|
}
|
|
return FP_ILOGBNAN;
|
|
}
|