Adjust new narrowing div/mul tests for IBM long double, update powerpc ULPs

Testing for powerpc shows some of the new narrowing div/mul tests need
XFAILing for IBM long double and some ULPs updates are needed for
those tests.

3 files changed, 3664 insertions, 3664 deletions

diff --git a/math/auto-libm-test-in b/math/auto-libm-test-in
index 119e2ecb2a..0992344f7f 100644
--- a/math/auto-libm-test-in
+++ b/math/auto-libm-test-in
@@ -4876,14 +4876,14 @@ div 0x1p-126 0x1.0000001p0
 div 0x1p-126 -0x1.0000001p0
 div -0x1p-126 0x1.0000001p0
 div -0x1p-126 -0x1.0000001p0
-div 0x1p-1022 0x1.00000000000001p0
-div 0x1p-1022 -0x1.00000000000001p0
-div -0x1p-1022 0x1.00000000000001p0
-div -0x1p-1022 -0x1.00000000000001p0
-div 0x1p-16382 0x1.00000000000000001p0
-div 0x1p-16382 -0x1.00000000000000001p0
-div -0x1p-16382 0x1.00000000000000001p0
-div -0x1p-16382 -0x1.00000000000000001p0
+div 0x1p-1022 0x1.00000000000001p0 missing-underflow:arg-ibm128
+div 0x1p-1022 -0x1.00000000000001p0 missing-underflow:arg-ibm128
+div -0x1p-1022 0x1.00000000000001p0 missing-underflow:arg-ibm128
+div -0x1p-1022 -0x1.00000000000001p0 missing-underflow:arg-ibm128
+div 0x1p-16382 0x1.00000000000000001p0 missing-underflow:arg-ibm128 xfail-rounding:ibm128-libgcc
+div 0x1p-16382 -0x1.00000000000000001p0 missing-underflow:arg-ibm128 xfail-rounding:ibm128-libgcc
+div -0x1p-16382 0x1.00000000000000001p0 missing-underflow:arg-ibm128 xfail-rounding:ibm128-libgcc
+div -0x1p-16382 -0x1.00000000000000001p0 missing-underflow:arg-ibm128 xfail-rounding:ibm128-libgcc
 
 erf 0
 erf -0
@@ -6666,14 +6666,14 @@ mul 0x0.ffffff8p-126 0x1.0000001p0
 mul 0x0.ffffff8p-126 -0x1.0000001p0
 mul -0x0.ffffff8p-126 0x1.0000001p0
 mul -0x0.ffffff8p-126 -0x1.0000001p0
-mul 0x0.fffffffffffffcp-1022 0x1.00000000000001p0
-mul 0x0.fffffffffffffcp-1022 -0x1.00000000000001p0
-mul -0x0.fffffffffffffcp-1022 0x1.00000000000001p0
-mul -0x0.fffffffffffffcp-1022 -0x1.00000000000001p0
-mul 0x0.ffffffffffffffff8p-16382 0x1.00000000000000001p0
-mul 0x0.ffffffffffffffff8p-16382 -0x1.00000000000000001p0
-mul -0x0.ffffffffffffffff8p-16382 0x1.00000000000000001p0
-mul -0x0.ffffffffffffffff8p-16382 -0x1.00000000000000001p0
+mul 0x0.fffffffffffffcp-1022 0x1.00000000000001p0 missing-underflow:arg-ibm128
+mul 0x0.fffffffffffffcp-1022 -0x1.00000000000001p0 missing-underflow:arg-ibm128
+mul -0x0.fffffffffffffcp-1022 0x1.00000000000001p0 missing-underflow:arg-ibm128
+mul -0x0.fffffffffffffcp-1022 -0x1.00000000000001p0 missing-underflow:arg-ibm128
+mul 0x0.ffffffffffffffff8p-16382 0x1.00000000000000001p0 missing-underflow:arg-ibm128
+mul 0x0.ffffffffffffffff8p-16382 -0x1.00000000000000001p0 missing-underflow:arg-ibm128
+mul -0x0.ffffffffffffffff8p-16382 0x1.00000000000000001p0 missing-underflow:arg-ibm128
+mul -0x0.ffffffffffffffff8p-16382 -0x1.00000000000000001p0 missing-underflow:arg-ibm128
 
 pow 0 0
 pow 0 -0
diff --git a/math/auto-libm-test-out-narrow-div b/math/auto-libm-test-out-narrow-div
index 9d29f707c6..c3f57687e6 100644
--- a/math/auto-libm-test-out-narrow-div
+++ b/math/auto-libm-test-out-narrow-div
@@ -21681,11 +21681,11 @@ div -0x1p-126 -0x1.0000001p0
 = div tonearest ibm128:arg_fmt(0,1,-126,29) -0x4p-128 -0x1.0000001p+0 : 0x3.ffffffc0000003ffffffcp-128 : inexact
 = div towardzero ibm128:arg_fmt(0,1,-126,29) -0x4p-128 -0x1.0000001p+0 : 0x3.ffffffc0000003ffffffcp-128 : inexact
 = div upward ibm128:arg_fmt(0,1,-126,29) -0x4p-128 -0x1.0000001p+0 : 0x3.ffffffc0000003ffffffc00001p-128 : inexact
-div 0x1p-1022 0x1.00000000000001p0
-= div downward binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x8p-152 : inexact underflow errno-erange-ok
+div 0x1p-1022 0x1.00000000000001p0 missing-underflow:arg-ibm128
+= div downward binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward binary64:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x7.fffff000001fcp-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x7.fffff000002p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,24) 0x8p-152 0x1.000002p+0 : 0x7.fffff000001fcp-152 : inexact
@@ -21730,10 +21730,10 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-149,1) 0x8p-152 0x1p+0 : 0x8p-152 :
 = div towardzero ibm128:arg_fmt(0,1,-149,1) 0x8p-152 0x1p+0 : 0x8p-152 :
 = div upward ibm128:arg_fmt(0,1,-149,1) 0x8p-152 0x1p+0 : 0x8p-152 :
-= div downward binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward binary64:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff8p-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff8p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff8p-152 : inexact
@@ -21754,10 +21754,10 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff80000000000008p-152 : inexact
 = div towardzero ibm128:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff80000000000006p-152 : inexact
 = div upward ibm128:arg_fmt(0,1,-149,53) 0x8p-152 0x1.0000000000001p+0 : 0x7.ffffffffffff80000000000008p-152 : inexact
-= div downward binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward binary64:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x7.ffffffffffffcp-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x8p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,57) 0x8p-152 0x1.00000000000001p+0 : 0x7.ffffffffffffcp-152 : inexact
@@ -21874,14 +21874,14 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-56,57) 0x0p+0 0x1.00000000000001p+0 : 0x0p+0 :
 = div towardzero ibm128:arg_fmt(0,1,-56,57) 0x0p+0 0x1.00000000000001p+0 : 0x0p+0 :
 = div upward ibm128:arg_fmt(0,1,-56,57) 0x0p+0 0x1.00000000000001p+0 : 0x0p+0 :
-= div downward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div downward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
-= div tonearest binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
-= div towardzero binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
-= div upward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div downward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward intel96:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000ffffcp-1024 : inexact
 = div tonearest intel96:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact
 = div towardzero intel96:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000ffffcp-1024 : inexact
@@ -21894,14 +21894,14 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest binary128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fffffe000004p-1024 : inexact
 = div towardzero binary128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fffffe000003ffffep-1024 : inexact
 = div upward binary128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fffffe000004p-1024 : inexact
-= div downward ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
-= div tonearest ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
-= div towardzero ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
-= div upward ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
-= div downward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x8p-152 : inexact underflow errno-erange-ok
+= div downward ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800000fcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward ibm128:arg_fmt(0,1,-1022,24) 0x4p-1024 0x1.000002p+0 : 0x3.fffff800001p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
 = div tonearest binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
 = div towardzero binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
@@ -21922,14 +21922,14 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
 = div towardzero ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
 = div upward ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 0x1p+0 : 0x4p-1024 :
-= div downward binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div downward binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div tonearest binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div towardzero binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div upward binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x4p-1024 : inexact underflow errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div downward binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward binary64:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x4p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
 = div downward intel96:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact
 = div tonearest intel96:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact
 = div towardzero intel96:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact
@@ -21942,18 +21942,18 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest binary128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffc0000000000004p-1024 : inexact
 = div towardzero binary128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffc0000000000003fep-1024 : inexact
 = div upward binary128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffc0000000000004p-1024 : inexact
-= div downward ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div tonearest ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div towardzero ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div upward ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x4p-1024 : inexact underflow errno-erange-ok
-= div downward binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div tonearest binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow errno-erange-ok
-= div downward binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div tonearest binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow:before-rounding errno-erange-ok:before-rounding
-= div towardzero binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div upward binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow:before-rounding errno-erange-ok:before-rounding
+= div downward ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward ibm128:arg_fmt(0,1,-1022,53) 0x4p-1024 0x1.0000000000001p+0 : 0x4p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div tonearest binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div downward binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow:before-rounding underflow-ok:arg-ibm128:before-rounding errno-erange-ok:before-rounding
+= div towardzero binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward binary64:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow:before-rounding underflow-ok:arg-ibm128:before-rounding errno-erange-ok:before-rounding
 = div downward intel96:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffcp-1024 : inexact
 = div tonearest intel96:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffcp-1024 : inexact
 = div towardzero intel96:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffcp-1024 : inexact
@@ -21966,11 +21966,11 @@ div 0x1p-1022 0x1.00000000000001p0
 = div tonearest binary128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffc00000000000004p-1024 : inexact
 = div towardzero binary128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffc00000000000002p-1024 : inexact
 = div upward binary128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.fffffffffffffc00000000000004p-1024 : inexact
-= div downward ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div tonearest ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow errno-erange-ok
-= div towardzero ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow errno-erange-ok
-= div upward ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow errno-erange-ok
-div 0x1p-1022 -0x1.00000000000001p0
+= div downward ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x3.ffffffffffffcp-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div upward ibm128:arg_fmt(0,1,-1022,57) 0x4p-1024 0x1.00000000000001p+0 : 0x4p-1024 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+div 0x1p-1022 -0x1.00000000000001p0 missing-underflow:arg-ibm128
 = div downward binary32:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
 = div tonearest binary32:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
 = div towardzero binary32:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
@@ -21995,10 +21995,10 @@ div 0x1p-1022 -0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
 = div towardzero ibm128:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
 = div upward ibm128:arg_fmt(0,1,-149,1) 0x8p-152 -0x1p+0 : -0x8p-152 :
-= div downward binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div tonearest binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x0p+0 : inexact underflow errno-erange
+= div downward binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
 = div downward binary64:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000002p-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000002p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000001fcp-152 : inexact
@@ -22019,10 +22019,10 @@ div 0x1p-1022 -0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000001fffffc000008p-152 : inexact
 = div towardzero ibm128:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000001fffffc000007ffep-152 : inexact
 = div upward ibm128:arg_fmt(0,1,-149,24) 0x8p-152 -0x1.000002p+0 : -0x7.fffff000001fffffc000007ffep-152 : inexact
-= div downward binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div tonearest binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x0p+0 : inexact underflow errno-erange
+= div downward binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
 = div downward binary64:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffffcp-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffff8p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffff8p-152 : inexact
@@ -22043,10 +22043,10 @@ div 0x1p-1022 -0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffff80000000000008p-152 : inexact
 = div towardzero ibm128:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffff80000000000006p-152 : inexact
 = div upward ibm128:arg_fmt(0,1,-149,53) 0x8p-152 -0x1.0000000000001p+0 : -0x7.ffffffffffff80000000000006p-152 : inexact
-= div downward binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div tonearest binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div towardzero binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x0p+0 : inexact underflow errno-erange
+= div downward binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div towardzero binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
 = div downward binary64:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact
 = div tonearest binary64:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x8p-152 : inexact
 = div towardzero binary64:arg_fmt(0,1,-149,57) 0x8p-152 -0x1.00000000000001p+0 : -0x7.ffffffffffffcp-152 : inexact
@@ -22163,10 +22163,10 @@ div 0x1p-1022 -0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-56,57) 0x0p+0 -0x1.00000000000001p+0 : -0x0p+0 :
 = div towardzero ibm128:arg_fmt(0,1,-56,57) 0x0p+0 -0x1.00000000000001p+0 : -0x0p+0 :
 = div upward ibm128:arg_fmt(0,1,-56,57) 0x0p+0 -0x1.00000000000001p+0 : -0x0p+0 :
-= div downward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div tonearest binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow errno-erange
+= div downward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div upward binary32:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
 = div downward binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
 = div tonearest binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
 = div towardzero binary64:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
@@ -22187,14 +22187,14 @@ div 0x1p-1022 -0x1.00000000000001p0
 = div tonearest ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
 = div towardzero ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
 = div upward ibm128:arg_fmt(0,1,-1022,1) 0x4p-1024 -0x1p+0 : -0x4p-1024 :
-= div downward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x8p-152 : inexact underflow errno-erange-ok
-= div tonearest binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x0p+0 : inexact underflow errno-erange
-= div towardzero binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x0p+0 : inexact underflow errno-erange
-= div upward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x0p+0 : inexact underflow errno-erange
-= div downward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
-= div tonearest binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x3.fffff800001p-1024 : inexact underflow errno-erange-ok
-= div towardzero binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
-= div upward binary64:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x3.fffff800000fcp-1024 : inexact underflow errno-erange-ok
+= div downward binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x8p-152 : inexact underflow underflow-ok:arg-ibm128 errno-erange-ok
+= div tonearest binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= div towardzero binary32:arg_fmt(0,1,-1022,24) 0x4p-1024 -0x1.000002p+0 : -0x0p+0 : inexact underflow underflow-ok:arg-ibm128 errno-erange
+= d