Fix powf inaccuracy (bug 18956).
authorJoseph Myers <joseph@codesourcery.com>
Sat, 26 Sep 2015 00:27:06 +0000 (00:27 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Sat, 26 Sep 2015 00:27:06 +0000 (00:27 +0000)
commitfa752c698146ca3e9f7747d33059fbef9bb02b0e
treea41295f8a99770d272a53c714effd0f5749b2735
parent6ace39382120dd0668b2168591611f71b04ac8f3
Fix powf inaccuracy (bug 18956).

The flt-32 version of powf can be inaccurate because of bugs in the
extra-precision calculation of (x-1)/(x+1) or (x-1.5)/(x+1.5) as part
of calculating log(x) with extra precision: a constant used (as part
of adding 1 or 1.5 through integer arithmetic) is incorrect, and then
the code fails to mask a computed high part before using it in
arithmetic that relies on s_h*t_h being exactly representable.  This
patch fixes these bugs.

Tested for x86_64 and x86.  x86_64 ulps for powf removed and
regenerated to reflect reduced ulps from the increased accuracy for
existing tests.

[BZ #18956]
* sysdeps/ieee754/flt-32/e_powf.c (__ieee754_powf): Add 0x00400000
not 0x0040000 for high bit of mantissa.  Mask with 0xfffff000 when
extracting high part.
* math/auto-libm-test-in: Add another test of pow.
* math/auto-libm-test-out: Regenerated.
* sysdeps/x86_64/fpu/libm-test-ulps: Update.
ChangeLog
NEWS
math/auto-libm-test-in
math/auto-libm-test-out
sysdeps/ieee754/flt-32/e_powf.c
sysdeps/x86_64/fpu/libm-test-ulps