public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/16352] New: atanh missing underflows
@ 2013-12-20 18:01 jsm28 at gcc dot gnu.org
2014-02-04 9:40 ` [Bug math/16352] " zimmerma+gcc at loria dot fr
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2013-12-20 18:01 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
Bug ID: 16352
Summary: atanh missing underflows
Product: glibc
Version: 2.19
Status: NEW
Severity: normal
Priority: P2
Component: math
Assignee: unassigned at sourceware dot org
Reporter: jsm28 at gcc dot gnu.org
At least some atanh implementations do not raise the underflow exception for
subnormal arguments, when the result is tiny an inexact. For example, for
float on x86_64:
Failure: atanh (0x8p-152): Exception "Underflow" not set
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug math/16352] atanh missing underflows
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
@ 2014-02-04 9:40 ` zimmerma+gcc at loria dot fr
2014-02-07 7:48 ` zimmerma+gcc at loria dot fr
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: zimmerma+gcc at loria dot fr @ 2014-02-04 9:40 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
Paul Zimmermann <zimmerma+gcc at loria dot fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |zimmerma+gcc at loria dot fr
--- Comment #1 from Paul Zimmermann <zimmerma+gcc at loria dot fr> ---
idem in double precision:
Testing function atanh for exponent 0 [seed=7626].
rounding mode MPFR_RNDN:
wrong underflow flag for x=4.0000000000000@-269
library gives 4.0000000000000@-269
mpfr gives 4.0000000000000@-269
underflow: mpfr 1, library 0
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug math/16352] atanh missing underflows
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
2014-02-04 9:40 ` [Bug math/16352] " zimmerma+gcc at loria dot fr
@ 2014-02-07 7:48 ` zimmerma+gcc at loria dot fr
2014-06-13 11:23 ` fweimer at redhat dot com
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: zimmerma+gcc at loria dot fr @ 2014-02-07 7:48 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
--- Comment #2 from Paul Zimmermann <zimmerma+gcc at loria dot fr> ---
idem in extended precision:
Testing function atanh for exponent 0 [seed=8344].
rounding mode MPFR_RNDN:
wrong underflow flag for x=-1.8000000000000000@-4111
library gives -1.8000000000000000@-4111
mpfr gives -1.8000000000000000@-4111
underflow: mpfr 1, library 0
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug math/16352] atanh missing underflows
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
2014-02-04 9:40 ` [Bug math/16352] " zimmerma+gcc at loria dot fr
2014-02-07 7:48 ` zimmerma+gcc at loria dot fr
@ 2014-06-13 11:23 ` fweimer at redhat dot com
2015-05-15 22:09 ` jsm28 at gcc dot gnu.org
2015-05-15 22:09 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: fweimer at redhat dot com @ 2014-06-13 11:23 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
Florian Weimer <fweimer at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Flags| |security-
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug math/16352] atanh missing underflows
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
` (2 preceding siblings ...)
2014-06-13 11:23 ` fweimer at redhat dot com
@ 2015-05-15 22:09 ` jsm28 at gcc dot gnu.org
2015-05-15 22:09 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2015-05-15 22:09 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
Joseph Myers <jsm28 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #4 from Joseph Myers <jsm28 at gcc dot gnu.org> ---
Fixed for 2.22.
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug math/16352] atanh missing underflows
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
` (3 preceding siblings ...)
2015-05-15 22:09 ` jsm28 at gcc dot gnu.org
@ 2015-05-15 22:09 ` cvs-commit at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2015-05-15 22:09 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16352
--- Comment #3 from cvs-commit at gcc dot gnu.org <cvs-commit at gcc dot gnu.org> ---
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU C Library master sources".
The branch, master has been updated
via 8020a808870dc6199e584562b3b64f52054359e8 (commit)
from 5a608ccc2d676aa124f6b55a7b20d071e408ca31 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=8020a808870dc6199e584562b3b64f52054359e8
commit 8020a808870dc6199e584562b3b64f52054359e8
Author: Joseph Myers <joseph@codesourcery.com>
Date: Fri May 15 22:07:57 2015 +0000
Fix atanhl missing underflows (bug 16352).
Similar to various other bugs in this area, some atanh implementations
do not raise the underflow exception for subnormal arguments, when the
result is tiny and inexact. This patch forces the exception in a
similar way to previous fixes. (No change in this regard is needed
for the i386 implementation; special handling to force underflows in
these cases will only be needed there when the spurious underflows,
bug 18049, get fixed.)
Tested for x86_64, x86, powerpc and mips64.
[BZ #16352]
* sysdeps/i386/fpu/e_atanh.S (dbl_min): New object.
(__ieee754_atanh): Force underflow exception for results with
small absolute value.
* sysdeps/i386/fpu/e_atanhf.S (flt_min): New object.
(__ieee754_atanhf): Force underflow exception for results with
small absolute value.
* sysdeps/ieee754/dbl-64/e_atanh.c: Include <float.h>.
(__ieee754_atanh): Force underflow exception for results with
small absolute value.
* sysdeps/ieee754/flt-32/e_atanhf.c: Include <float.h>.
(__ieee754_atanhf): Force underflow exception for results with
small absolute value.
* sysdeps/ieee754/ldbl-128/e_atanhl.c: Include <float.h>.
(__ieee754_atanhl): Force underflow exception for results with
small absolute value.
* sysdeps/ieee754/ldbl-128ibm/e_atanhl.c: Include <float.h>.
(__ieee754_atanhl): Force underflow exception for results with
small absolute value.
* sysdeps/ieee754/ldbl-96/e_atanhl.c: Include <float.h>.
(__ieee754_atanhl): Force underflow exception for results with
small absolute value.
* math/auto-libm-test-in: Do not allow missing underflow
exceptions from atanh.
* math/auto-libm-test-out: Regenerated.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 26 ++++
NEWS | 17 ++-
math/auto-libm-test-in | 13 +-
math/auto-libm-test-out | 236 ++++++++++++++++----------------
sysdeps/i386/fpu/e_atanh.S | 20 +++-
sysdeps/i386/fpu/e_atanhf.S | 20 +++-
sysdeps/ieee754/dbl-64/e_atanh.c | 6 +
sysdeps/ieee754/flt-32/e_atanhf.c | 6 +
sysdeps/ieee754/ldbl-128/e_atanhl.c | 11 ++-
sysdeps/ieee754/ldbl-128ibm/e_atanhl.c | 11 ++-
sysdeps/ieee754/ldbl-96/e_atanhl.c | 6 +
11 files changed, 235 insertions(+), 137 deletions(-)
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2015-05-15 22:09 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-12-20 18:01 [Bug math/16352] New: atanh missing underflows jsm28 at gcc dot gnu.org
2014-02-04 9:40 ` [Bug math/16352] " zimmerma+gcc at loria dot fr
2014-02-07 7:48 ` zimmerma+gcc at loria dot fr
2014-06-13 11:23 ` fweimer at redhat dot com
2015-05-15 22:09 ` jsm28 at gcc dot gnu.org
2015-05-15 22:09 ` cvs-commit at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).