This is the mail archive of the glibc-bugs@sourceware.org mailing list for the glibc project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug math/18248] New: missing underflow for subnormal inputs in sin/sinh/tan/tanh/atanh/expm1/log1p/exp2


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

            Bug ID: 18248
           Summary: missing underflow  for subnormal inputs in
                    sin/sinh/tan/tanh/atanh/expm1/log1p/exp2
           Product: glibc
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
          Assignee: unassigned at sourceware dot org
          Reporter: nszabolcs at gmail dot com

Created attachment 8238
  --> https://sourceware.org/bugzilla/attachment.cgi?id=8238&action=edit
underflow tests

some functions don't raise the underflow flag for subnormal inputs (even though
the result is inexact subnormal)

attach code on x86_64 gives:

sin(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
sin(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
sinl(0x1p-16400L) = 0x0.0002p-16385 = 1.28254e-4937 did not underflow
sinl(-0x1p-16400L) = -0x0.0002p-16385 = -1.28254e-4937 did not underflow
sinh(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
sinh(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
sinhf(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
sinhf(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
sinhl(0x1p-16400L) = 0x0.0002p-16385 = 1.28254e-4937 did not underflow
sinhl(-0x1p-16400L) = -0x0.0002p-16385 = -1.28254e-4937 did not underflow
tan(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
tan(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
tanf(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
tanf(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
tanl(0x1p-16400L) = 0x0.0002p-16385 = 1.28254e-4937 did not underflow
tanl(-0x1p-16400L) = -0x0.0002p-16385 = -1.28254e-4937 did not underflow
tanh(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
tanh(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
tanhf(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
tanhf(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
tanhl(0x1p-16400L) = 0x0.0002p-16385 = 1.28254e-4937 did not underflow
tanhl(-0x1p-16400L) = -0x0.0002p-16385 = -1.28254e-4937 did not underflow
atanh(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
atanh(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
atanhf(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
atanhf(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
atanhl(0x1p-16400L) = 0x0.0002p-16385 = 1.28254e-4937 did not underflow
atanhl(-0x1p-16400L) = -0x0.0002p-16385 = -1.28254e-4937 did not underflow
expm1(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
expm1(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
expm1f(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
expm1f(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
log1p(0x1p-1030) = 0x8p-1033 = 8.69169e-311 did not underflow
log1p(-0x1p-1030) = -0x8p-1033 = -8.69169e-311 did not underflow
log1pf(0x1p-130f) = 0x8p-133 = 7.34684e-40 did not underflow
log1pf(-0x1p-130f) = -0x8p-133 = -7.34684e-40 did not underflow
exp2l(-16382.5) = 0x5.a827999fcef3242p-16385 = 2.37737e-4932 did not underflow


on aarch64 it gives:

sin(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
sin(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
sinf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
sinf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
sinl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
sinl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow
sinh(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
sinh(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
sinhf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
sinhf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
sinhl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
sinhl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow
tan(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
tan(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
tanf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
tanf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
tanl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
tanl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow
tanh(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
tanh(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
tanhf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
tanhf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
tanhl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
tanhl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow
atanh(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
atanh(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
atanhf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
atanhf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
atanhl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
atanhl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow
expm1(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
expm1(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
expm1f(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
expm1f(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
log1p(0x1p-1030) = 0x1p-1030 = 8.69169e-311 did not underflow
log1p(-0x1p-1030) = -0x1p-1030 = -8.69169e-311 did not underflow
log1pf(0x1p-130f) = 0x1p-130 = 7.34684e-40 did not underflow
log1pf(-0x1p-130f) = -0x1p-130 = -7.34684e-40 did not underflow
log1pl(0x1p-16400L) = 0x0.00004p-16382 = 1.28254e-4937 did not underflow
log1pl(-0x1p-16400L) = -0x0.00004p-16382 = -1.28254e-4937 did not underflow

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]