mirror of
https://sourceware.org/git/glibc.git
synced 2024-11-25 22:40:05 +00:00
380bd0fd24
The ldbl-128ibm implementation of logbl 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, logbl (0x1.ffffffffffffffp1L) returns 2 but should return 1. (This is similar to (fixed) bug 16740 for frexpl, and (fixed) bug 18029 for ilogbl.) This patch adds checks for that case. Tested for powerpc. [BZ #18030] * sysdeps/ieee754/ldbl-128ibm/s_logbl.c (__logbl): Adjust exponent of power of 2 down when low part has opposite sign. * math/libm-test.inc (logb_test_data): Add more tests.
61 lines
1.6 KiB
C
61 lines
1.6 KiB
C
/* s_logbl.c -- long double version of s_logb.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.
|
|
* ====================================================
|
|
*/
|
|
|
|
/*
|
|
* long double logbl(x)
|
|
* IEEE 754 logb. Included to pass IEEE test suite. Not recommend.
|
|
* Use ilogb instead.
|
|
*/
|
|
|
|
#include <math.h>
|
|
#include <math_private.h>
|
|
#include <math_ldbl_opt.h>
|
|
|
|
long double
|
|
__logbl (long double x)
|
|
{
|
|
int64_t hx, hxs, rhx;
|
|
double xhi, xlo;
|
|
|
|
ldbl_unpack (x, &xhi, &xlo);
|
|
EXTRACT_WORDS64 (hx, xhi);
|
|
hxs = hx;
|
|
hx &= 0x7fffffffffffffffLL; /* high |x| */
|
|
if (hx == 0)
|
|
return -1.0 / fabs (x);
|
|
if (hx >= 0x7ff0000000000000LL)
|
|
return x * x;
|
|
if (__glibc_unlikely ((rhx = hx >> 52) == 0))
|
|
{
|
|
/* POSIX specifies that denormal number is treated as
|
|
though it were normalized. */
|
|
rhx -= __builtin_clzll (hx) - 12;
|
|
}
|
|
else if ((hx & 0x000fffffffffffffLL) == 0)
|
|
{
|
|
/* 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. */
|
|
int64_t lx;
|
|
EXTRACT_WORDS64 (lx, xlo);
|
|
if ((hxs ^ lx) < 0 && (lx & 0x7fffffffffffffffLL) != 0)
|
|
rhx--;
|
|
}
|
|
return (long double) (rhx - 1023);
|
|
}
|
|
#ifndef __logbl
|
|
long_double_symbol (libm, __logbl, logbl);
|
|
#endif
|