[Bug math/22690] New: [ldbl-128ibm] lrintl, lroundl missing "invalid" exceptions

["jsm28 at gcc dot gnu.org" <sourceware-bugzilla at sourceware dot org>]

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

            Bug ID: 22690
           Summary: [ldbl-128ibm] lrintl, lroundl missing "invalid"
                    exceptions
           Product: glibc
           Version: 2.26
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
          Assignee: unassigned at sourceware dot org
          Reporter: jsm28 at gcc dot gnu.org
  Target Milestone: ---
              Host: powerpc*-*-*

The ldbl-128ibm implementations of lrintl and lroundl are missing "invalid"
exceptions for certain overflow cases when compiled with GCC 8.  The cause of
this is after-the-fact integer overflow checks that fail when the compiler
optimizes on the basis of integer overflow being undefined; GCC 8 must be able
to detect new cases of undefinedness here.

Failure: lrint (-0x80000001p0): Exception "Invalid operation" not set
Failure: lrint_downward (-0x80000001p0): Exception "Invalid operation" not set
Failure: lrint_towardzero (-0x80000001p0): Exception "Invalid operation" not
set
Failure: lrint_upward (-0x80000001p0): Exception "Invalid operation" not set

Failure: lround (-0x80000001p0): Exception "Invalid operation" not set
Failure: lround_downward (-0x80000001p0): Exception "Invalid operation" not set
Failure: lround_towardzero (-0x80000001p0): Exception "Invalid operation" not
set
Failure: lround_upward (-0x80000001p0): Exception "Invalid operation" not set

(Tested that these failures occur for powerpc soft-float, but the issue applies
in principle for hard-float as well, whether or not the particular
optimizations in fact occur there at present.)

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