[glibc] s390x: Regenerated ULPs
Stefan Liebler
stli@linux.ibm.com
Thu Jan 9 11:33:30 GMT 2025
On 09.01.25 12:17, Paul Zimmermann wrote:
>> From: Florian Weimer <fweimer@redhat.com>
>> Cc: libc-alpha@sourceware.org
>> Date: Thu, 09 Jan 2025 12:11:35 +0100
>>
>> * Stefan Liebler via Glibc-cvs:
>>
>>> commit 82688ca3107c93d9eba6440981e473d1877b6281
>>> Author: Stefan Liebler <stli@linux.ibm.com>
>>> Date: Thu Jan 9 10:02:21 2025 +0100
>>>
>>> s390x: Regenerated ULPs
>>>
>>> ULPs update needed if build with gcc 11.5 or 10.5.
>>>
>>> Diff:
>>> ---
>>> sysdeps/s390/fpu/libm-test-ulps | 2 ++
>>> 1 file changed, 2 insertions(+)
>>>
>>> diff --git a/sysdeps/s390/fpu/libm-test-ulps b/sysdeps/s390/fpu/libm-test-ulps
>>> index 76a1f3c7e5..92e2cc7f77 100644
>>> --- a/sysdeps/s390/fpu/libm-test-ulps
>>> +++ b/sysdeps/s390/fpu/libm-test-ulps
>>> @@ -7,10 +7,12 @@ ldouble: 1
>>>
>>> Function: "acos_downward":
>>> double: 1
>>> +float: 1
>>> ldouble: 1
>>>
>>> Function: "acos_towardzero":
>>> double: 1
>>> +float: 1
>>> ldouble: 1
>>>
>>> Function: "acos_upward":
>>
>> The acosf function is expected to be correctly rounded for all rounding
>> modes, so this is an actual bug.
>
> this might not be the case with gcc < 12 due to
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57245
>
> Stefan, please can you send the output of the failing tests?
>
> Paul
Sure, please find the output files attached. The output-files are
identical for my gcc 11.5 and 10.5 test runs, thus I've only attached
them once.
Thanks,
Stefan
-------------- next part --------------
testing _Float32 (without inline functions)
Failure: Test: acos_downward (-0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (+0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-100)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-120)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-80)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-116)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-76)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-96)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-112)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-72)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-92)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Maximal error of `acos_downward'
is : 1 ulp
accepted: 0 ulp
Failure: Test: acos_towardzero (-0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (+0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-100)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-120)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-80)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-116)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-76)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-96)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-112)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-72)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-92)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Maximal error of `acos_towardzero'
is : 1 ulp
accepted: 0 ulp
Test suite completed:
4 max error test cases,
300 input tests,
- with 1208 tests for exception flags,
- with 292 tests for errno executed.
46 errors occurred.
-------------- next part --------------
testing float (without inline functions)
Failure: Test: acos_downward (-0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (-0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (+0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-100)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-120)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x1p-80)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-116)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-76)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x2p-96)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-112)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-72)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x4p-92)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_downward (0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Maximal error of `acos_downward'
is : 1 ulp
accepted: 0 ulp
Failure: Test: acos_towardzero (-0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (-0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (+0)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-100)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-120)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x1p-80)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-116)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-76)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x2p-96)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-112)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-128)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-72)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x4p-92)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-108)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-152)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-68)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Failure: Test: acos_towardzero (0x8p-88)
Result:
is: 1.57079637e+00 0x1.921fb6p+0
should be: 1.57079625e+00 0x1.921fb4p+0
difference: 1.19209289e-07 0x1.000000p-23
ulp : 1.0000
max.ulp : 0.0000
Maximal error of `acos_towardzero'
is : 1 ulp
accepted: 0 ulp
Test suite completed:
4 max error test cases,
300 input tests,
- with 1208 tests for exception flags,
- with 292 tests for errno executed.
46 errors occurred.
More information about the Libc-alpha
mailing list