public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/16271] New: dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes
@ 2013-11-27 21:42 jsm28 at gcc dot gnu.org
  2013-11-28 16:51 ` [Bug math/16271] " cvs-commit at gcc dot gnu.org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2013-11-27 21:42 UTC (permalink / raw)
  To: glibc-bugs

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

            Bug ID: 16271
           Summary: dbl-64 e_sqrt.c not correctly rounding in non-default
                    rounding modes
           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

sysdeps/ieee754/dbl-64/e_sqrt.c does not produce correct results for all inputs
in rounding modes other than round-to-nearest, as illustrated by (on ARM):

Failure: Test: sqrt_towardzero (0xf.fffffp+124)
Result:
 is:          1.84467435239537295360e+19   0x1.fffffeffffffc0000000p+63
 should be:   1.84467435239537274880e+19   0x1.fffffeffffffb0000000p+63
 difference:  2.04800000000000000000e+03   0x1.00000000000000000000p+11
 ulp       :  1.0000
 max.ulp   :  0.0000
Failure: Test: sqrt_towardzero (0xf.fffffp-4)
Result:
 is:          9.99999970197677168215e-01   0x1.fffffeffffffc0000000p-1
 should be:   9.99999970197677057193e-01   0x1.fffffeffffffb0000000p-1
 difference:  1.11022302462515654042e-16   0x1.00000000000000000000p-53
 ulp       :  1.0000
 max.ulp   :  0.0000
Maximal error of `sqrt_towardzero'
 is      : 1 ulp
 accepted: 0 ulp
Failure: Test: sqrt_downward (0xf.fffffp+124)
Result:
 is:          1.84467435239537295360e+19   0x1.fffffeffffffc0000000p+63
 should be:   1.84467435239537274880e+19   0x1.fffffeffffffb0000000p+63
 difference:  2.04800000000000000000e+03   0x1.00000000000000000000p+11
 ulp       :  1.0000
 max.ulp   :  0.0000
Failure: Test: sqrt_downward (0xf.fffffp-4)
Result:
 is:          9.99999970197677168215e-01   0x1.fffffeffffffc0000000p-1
 should be:   9.99999970197677057193e-01   0x1.fffffeffffffb0000000p-1
 difference:  1.11022302462515654042e-16   0x1.00000000000000000000p-53
 ulp       :  1.0000
 max.ulp   :  0.0000
Maximal error of `sqrt_downward'
 is      : 1 ulp
 accepted: 0 ulp
Failure: Test: sqrt_upward (0x1.000002p+0)
Result:
 is:          1.00000005960464299904e+00   0x1.000000ffffff80000000p+0
 should be:   1.00000005960464322108e+00   0x1.000000ffffff90000000p+0
 difference:  2.22044604925031308085e-16   0x1.00000000000000000000p-52
 ulp       :  1.0000
 max.ulp   :  0.0000
Maximal error of `sqrt_upward'
 is      : 1 ulp
 accepted: 0 ulp

-- 
You are receiving this mail because:
You are on the CC list for the bug.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug math/16271] dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes
  2013-11-27 21:42 [Bug math/16271] New: dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes jsm28 at gcc dot gnu.org
@ 2013-11-28 16:51 ` cvs-commit at gcc dot gnu.org
  2013-11-28 16:51 ` jsm28 at gcc dot gnu.org
  2014-06-13  9:32 ` fweimer at redhat dot com
  2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2013-11-28 16:51 UTC (permalink / raw)
  To: glibc-bugs

http://sourceware.org/bugzilla/show_bug.cgi?id=16271

--- Comment #1 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  3c1c46a64ad1037d616ec39514c4e55133997c9f (commit)
      from  5a4c6d53f50b264d60cf6453576ca2810c7890b7 (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=3c1c46a64ad1037d616ec39514c4e55133997c9f

commit 3c1c46a64ad1037d616ec39514c4e55133997c9f
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Thu Nov 28 16:50:38 2013 +0000

    Fix dbl-64 e_sqrt.c for non-default rounding modes (bug 16271).

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

Summary of changes:
 ChangeLog                                         |   17 +++++++++
 NEWS                                              |    2 +-
 include/fenv.h                                    |    1 +
 math/fegetround.c                                 |    1 +
 ports/ChangeLog.aarch64                           |    5 +++
 ports/ChangeLog.alpha                             |    5 +++
 ports/ChangeLog.am33                              |    4 ++
 ports/ChangeLog.arm                               |    4 ++
 ports/ChangeLog.hppa                              |    4 ++
 ports/ChangeLog.ia64                              |    4 ++
 ports/ChangeLog.m68k                              |    4 ++
 ports/ChangeLog.microblaze                        |    5 +++
 ports/ChangeLog.mips                              |    4 ++
 ports/sysdeps/aarch64/fpu/fegetround.c            |    1 +
 ports/sysdeps/alpha/fpu/fegetround.c              |    1 +
 ports/sysdeps/am33/fpu/fegetround.c               |    1 +
 ports/sysdeps/arm/fegetround.c                    |    1 +
 ports/sysdeps/hppa/fpu/fegetround.c               |    1 +
 ports/sysdeps/ia64/fpu/fegetround.c               |    1 +
 ports/sysdeps/m68k/fpu/fegetround.c               |    1 +
 ports/sysdeps/microblaze/fegetround.c             |    1 +
 ports/sysdeps/mips/fpu/fegetround.c               |    1 +
 sysdeps/i386/fpu/fegetround.c                     |    1 +
 sysdeps/ieee754/dbl-64/e_sqrt.c                   |   38 ++++++++++++++++++--
 sysdeps/powerpc/fpu/fegetround.c                  |    1 +
 sysdeps/powerpc/nofpu/fegetround.c                |    1 +
 sysdeps/powerpc/powerpc32/e500/nofpu/fegetround.c |    1 +
 sysdeps/s390/fpu/fegetround.c                     |    1 +
 sysdeps/sh/sh4/fpu/fegetround.c                   |    1 +
 sysdeps/sparc/fpu/fegetround.c                    |    1 +
 sysdeps/x86_64/fpu/fegetround.c                   |    1 +
 31 files changed, 110 insertions(+), 5 deletions(-)

-- 
You are receiving this mail because:
You are on the CC list for the bug.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug math/16271] dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes
  2013-11-27 21:42 [Bug math/16271] New: dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes jsm28 at gcc dot gnu.org
  2013-11-28 16:51 ` [Bug math/16271] " cvs-commit at gcc dot gnu.org
@ 2013-11-28 16:51 ` jsm28 at gcc dot gnu.org
  2014-06-13  9:32 ` fweimer at redhat dot com
  2 siblings, 0 replies; 4+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2013-11-28 16:51 UTC (permalink / raw)
  To: glibc-bugs

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

Joseph Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Joseph Myers <jsm28 at gcc dot gnu.org> ---
Fixed for 2.19.

-- 
You are receiving this mail because:
You are on the CC list for the bug.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug math/16271] dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes
  2013-11-27 21:42 [Bug math/16271] New: dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes jsm28 at gcc dot gnu.org
  2013-11-28 16:51 ` [Bug math/16271] " cvs-commit at gcc dot gnu.org
  2013-11-28 16:51 ` jsm28 at gcc dot gnu.org
@ 2014-06-13  9:32 ` fweimer at redhat dot com
  2 siblings, 0 replies; 4+ messages in thread
From: fweimer at redhat dot com @ 2014-06-13  9:32 UTC (permalink / raw)
  To: glibc-bugs

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

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] 4+ messages in thread

end of thread, other threads:[~2014-06-13  9:32 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-11-27 21:42 [Bug math/16271] New: dbl-64 e_sqrt.c not correctly rounding in non-default rounding modes jsm28 at gcc dot gnu.org
2013-11-28 16:51 ` [Bug math/16271] " cvs-commit at gcc dot gnu.org
2013-11-28 16:51 ` jsm28 at gcc dot gnu.org
2014-06-13  9:32 ` fweimer at redhat dot com

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).