From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 4DF5B3858C60; Mon, 20 Sep 2021 22:34:52 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4DF5B3858C60
From: "jsm28 at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>
To: glibc-bugs@sourceware.org
Subject: [Bug math/28358] New: f64xdivf128 and f64xmulf128 spurious underflows
Date: Mon, 20 Sep 2021 22:34:52 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: glibc
X-Bugzilla-Component: math
X-Bugzilla-Version: 2.34
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jsm28 at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
 cf_gcchost
Message-ID: <bug-28358-131@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: glibc-bugs@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Glibc-bugs mailing list <glibc-bugs.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/glibc-bugs>,
 <mailto:glibc-bugs-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/glibc-bugs/>
List-Help: <mailto:glibc-bugs-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/glibc-bugs>,
 <mailto:glibc-bugs-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Mon, 20 Sep 2021 22:34:52 -0000

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

            Bug ID: 28358
           Summary: f64xdivf128 and f64xmulf128 spurious underflows
           Product: glibc
           Version: 2.34
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
          Assignee: unassigned at sourceware dot org
          Reporter: jsm28 at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-* i?86-* ia64-*

The round-to-odd computations used in the libm functions that round their
results to a narrower format can yield spurious underflow exceptions in the
following circumstances: the narrowing only narrows the precision of the ty=
pe
and not the exponent range (i.e., it's narrowing _Float128 to _Float64x on
x86_64, x86 or ia64), the architecture does after-rounding tininess detecti=
on
(which applies to all those architectures), the result is inexact, tiny bef=
ore
rounding but not tiny after rounding (with the chosen rounding mode) for
_Float64x (which is possible for narrowing mul, div and fma, not for narrow=
ing
add, sub or sqrt), so the underflow exception resulting from the toward-zero
computation in _Float128 is spurious for _Float64x.  For example, this appl=
ies
to the following test inputs if added to auto-libm-test-in:

div 0x1p-16382 0x1.00000000000000001p0
mul 0x0.ffffffffffffffff8p-16382 0x1.00000000000000001p0

I'm working on a fix for this issue, which showed up while working on
implementing the narrowing fma functions.

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