public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/16351] New: asin missing underflows
@ 2013-12-20 17:59 jsm28 at gcc dot gnu.org
  2014-02-02 20:46 ` [Bug math/16351] " 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 17:59 UTC (permalink / raw)
  To: glibc-bugs

https://sourceware.org/bugzilla/show_bug.cgi?id=16351

            Bug ID: 16351
           Summary: asin 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 asin 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: asin (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/16351] asin missing underflows
  2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
@ 2014-02-02 20:46 ` zimmerma+gcc at loria dot fr
  2014-02-07  7:43 ` 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-02 20:46 UTC (permalink / raw)
  To: glibc-bugs

https://sourceware.org/bugzilla/show_bug.cgi?id=16351

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 with asin(0x1p-1074) on x86_64

-- 
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/16351] asin missing underflows
  2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
  2014-02-02 20:46 ` [Bug math/16351] " zimmerma+gcc at loria dot fr
@ 2014-02-07  7:43 ` 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:43 UTC (permalink / raw)
  To: glibc-bugs

https://sourceware.org/bugzilla/show_bug.cgi?id=16351

--- Comment #2 from Paul Zimmermann <zimmerma+gcc at loria dot fr> ---
idem in extended precision:

Testing function asin for exponent 0 [seed=8344].
 rounding mode MPFR_RNDN:
      wrong underflow flag for x=-d.0000000000000000@-4111
      library gives -d.0000000000000000@-4111
      mpfr    gives -d.0000000000000000@-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/16351] asin missing underflows
  2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
  2014-02-02 20:46 ` [Bug math/16351] " zimmerma+gcc at loria dot fr
  2014-02-07  7:43 ` zimmerma+gcc at loria dot fr
@ 2014-06-13 11:23 ` fweimer at redhat dot com
  2015-02-26 17:23 ` cvs-commit at gcc dot gnu.org
  2015-02-26 17:23 ` jsm28 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=16351

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/16351] asin missing underflows
  2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
                   ` (3 preceding siblings ...)
  2015-02-26 17:23 ` cvs-commit at gcc dot gnu.org
@ 2015-02-26 17:23 ` jsm28 at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2015-02-26 17:23 UTC (permalink / raw)
  To: glibc-bugs

https://sourceware.org/bugzilla/show_bug.cgi?id=16351

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/16351] asin missing underflows
  2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2014-06-13 11:23 ` fweimer at redhat dot com
@ 2015-02-26 17:23 ` cvs-commit at gcc dot gnu.org
  2015-02-26 17:23 ` jsm28 at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2015-02-26 17:23 UTC (permalink / raw)
  To: glibc-bugs

https://sourceware.org/bugzilla/show_bug.cgi?id=16351

--- 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  ec0ce0d3be4ae21add09139c705852ed8bb114c7 (commit)
      from  380bd0fd2418f8988217de950f8b8ff18af0cb2b (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=ec0ce0d3be4ae21add09139c705852ed8bb114c7

commit ec0ce0d3be4ae21add09139c705852ed8bb114c7
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Thu Feb 26 17:18:54 2015 +0000

    Fix asin missing underflows (bug 16351).

    Similar to various other bugs in this area, some asin 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.

    Tested for x86_64, x86, powerpc and mips64.

        [BZ #16351]
        * sysdeps/i386/fpu/e_asin.S (dbl_min): New object.
        (MO): New macro.
        (__ieee754_asin): Force underflow exception for results with small
        absolute value.
        * sysdeps/i386/fpu/e_asinf.S (flt_min): New object.
        (MO): New macro.
        (__ieee754_asinf): Force underflow exception for results with
        small absolute value.
        * sysdeps/ieee754/dbl-64/e_asin.c: Include <float.h> and <math.h>.
        (__ieee754_asin): Force underflow exception for results with small
        absolute value.
        * sysdeps/ieee754/flt-32/e_asinf.c: Include <float.h>.
        (__ieee754_asinf): Force underflow exception for results with
        small absolute value.
        * sysdeps/ieee754/ldbl-128/e_asinl.c: Include <float.h>.
        (__ieee754_asinl): Force underflow exception for results with
        small absolute value.
        * sysdeps/ieee754/ldbl-128ibm/e_asinl.c: Include <float.h>.
        (__ieee754_asinl): Force underflow exception for results with
        small absolute value.
        * sysdeps/ieee754/ldbl-96/e_asinl.c: Include <float.h>.
        (__ieee754_asinl): Force underflow exception for results with
        small absolute value.
        * sysdeps/x86_64/fpu/multiarch/e_asin.c [HAVE_FMA4_SUPPORT]:
        Include <math.h>.
        * math/auto-libm-test-in: Do not mark underflow exceptions as
        possibly missing for bug 16351.
        * math/auto-libm-test-out: Regenerated.

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog                             |   30 +++++
 NEWS                                  |    8 +-
 math/auto-libm-test-in                |    9 +-
 math/auto-libm-test-out               |  200 ++++++++++++++++----------------
 sysdeps/i386/fpu/e_asin.S             |   34 ++++++-
 sysdeps/i386/fpu/e_asinf.S            |   34 ++++++-
 sysdeps/ieee754/dbl-64/e_asin.c       |   12 ++-
 sysdeps/ieee754/flt-32/e_asinf.c      |    6 +
 sysdeps/ieee754/ldbl-128/e_asinl.c    |    6 +
 sysdeps/ieee754/ldbl-128ibm/e_asinl.c |    6 +
 sysdeps/ieee754/ldbl-96/e_asinl.c     |    6 +
 sysdeps/x86_64/fpu/multiarch/e_asin.c |    1 +
 12 files changed, 240 insertions(+), 112 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-02-26 17:23 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-12-20 17:59 [Bug math/16351] New: asin missing underflows jsm28 at gcc dot gnu.org
2014-02-02 20:46 ` [Bug math/16351] " zimmerma+gcc at loria dot fr
2014-02-07  7:43 ` zimmerma+gcc at loria dot fr
2014-06-13 11:23 ` fweimer at redhat dot com
2015-02-26 17:23 ` cvs-commit at gcc dot gnu.org
2015-02-26 17:23 ` jsm28 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).