math: Remove xfail from pow test [BZ #33563]

Remove xfail from pow testcase since pow and powf have been fixed.
Also check float128 maximum value.  See BZ #33563.

Reviewed-by: Adhemerval Zanella  <adhemerval.zanella@linaro.org>
This commit is contained in:
Wilco Dijkstra 2025-10-30 15:35:47 +00:00
parent 0212fc23b0
commit 1136c036a3
2 changed files with 71 additions and 67 deletions

View File

@ -8378,8 +8378,8 @@ pow 0x1.059c76p+0 0x1.ff80bep+11
pow 0x1.7ac7cp+5 23
pow -0x1.7ac7cp+5 23
# BZ33411. xfail for binary32 due to BZ#33563.
pow 0x1p+8192 1.0 xfail:binary32
# BZ #33411 and BZ #33563.
pow 0x1p+16384 1.0
pown 0 0
pown 0 -0

View File

@ -44221,68 +44221,72 @@ pow -0x1.7ac7cp+5 23
= pow tonearest ibm128 -0x2.f58f8p+4 0x1.7p+4 : -0xf.fffff29cf02eeec4a7cde7b5a4p+124 : inexact-ok
= pow towardzero ibm128 -0x2.f58f8p+4 0x1.7p+4 : -0xf.fffff29cf02eeec4a7cde7b5ap+124 : inexact-ok
= pow upward ibm128 -0x2.f58f8p+4 0x1.7p+4 : -0xf.fffff29cf02eeec4a7cde7b5ap+124 : inexact-ok
pow 0x1p+8192 1.0 xfail:binary32
= pow downward binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow tonearest ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow towardzero ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow upward ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : xfail:binary32 inexact-ok
= pow downward binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow tonearest binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow towardzero binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow upward binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow downward intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow tonearest intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow towardzero intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow upward intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow downward m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow tonearest m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow towardzero m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow upward m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow downward binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow tonearest binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow towardzero binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow upward binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow downward ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow tonearest ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow towardzero ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow upward ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : xfail:binary32 inexact-ok
= pow downward intel96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow tonearest intel96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow towardzero intel96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow upward intel96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow downward m68k96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow tonearest m68k96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow towardzero m68k96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow upward m68k96 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow downward binary128 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow tonearest binary128 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow towardzero binary128 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow upward binary128 0x1p+8192 0x1p+0 : 0x1p+8192 : xfail:binary32 inexact-ok
= pow downward binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow tonearest binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow towardzero binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow upward binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow downward ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow tonearest ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow towardzero ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
= pow upward ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : xfail:binary32 inexact-ok
pow 0x1p+16384 1.0
= pow downward binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward binary32 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward binary64 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward intel96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward m68k96 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward binary128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow tonearest ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow towardzero ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow upward ibm128 0xf.fffffp+124 0x1p+0 : 0xf.fffffp+124 : inexact-ok
= pow downward binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow tonearest binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow towardzero binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow upward binary64 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow downward intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow tonearest intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow towardzero intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow upward intel96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow downward m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow tonearest m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow towardzero m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow upward m68k96 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow downward binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow tonearest binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow towardzero binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow upward binary128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow downward ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow tonearest ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow towardzero ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow upward ibm128 0xf.ffffffffffff8p+1020 0x1p+0 : 0xf.ffffffffffff8p+1020 : inexact-ok
= pow downward intel96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow tonearest intel96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow towardzero intel96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow upward intel96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow downward m68k96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow tonearest m68k96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow towardzero m68k96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow upward m68k96 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow downward binary128 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow tonearest binary128 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow towardzero binary128 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow upward binary128 0xf.fffffffffffffffp+16380 0x1p+0 : 0xf.fffffffffffffffp+16380 : inexact-ok
= pow downward binary128 0xf.fffffffffffffffffffffffffff8p+16380 0x1p+0 : 0xf.fffffffffffffffffffffffffff8p+16380 : inexact-ok
= pow tonearest binary128 0xf.fffffffffffffffffffffffffff8p+16380 0x1p+0 : 0xf.fffffffffffffffffffffffffff8p+16380 : inexact-ok
= pow towardzero binary128 0xf.fffffffffffffffffffffffffff8p+16380 0x1p+0 : 0xf.fffffffffffffffffffffffffff8p+16380 : inexact-ok
= pow upward binary128 0xf.fffffffffffffffffffffffffff8p+16380 0x1p+0 : 0xf.fffffffffffffffffffffffffff8p+16380 : inexact-ok
= pow downward binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow tonearest binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow towardzero binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow upward binary128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow downward ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow tonearest ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow towardzero ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok
= pow upward ibm128 0xf.ffffffffffffbffffffffffffcp+1020 0x1p+0 : 0xf.ffffffffffffbffffffffffffcp+1020 : inexact-ok