Add inputs that generate larger error bounds

(Using values from https://members.loria.fr/PZimmermann/papers/accuracy.pdf)

1 files changed, 141 insertions, 0 deletions

diff --git a/math/auto-libm-test-out-log10 b/math/auto-libm-test-out-log10
index 2d6205e0ad..8609c77477 100644
--- a/math/auto-libm-test-out-log10
+++ b/math/auto-libm-test-out-log10
@@ -1151,6 +1151,147 @@ log10 0x0.ffffffffffffffffffffffffffff8p0
 = log10 tonearest ibm128 0xf.fffffffffffffffffffffffffcp-4 : -0x1.bcb7b1526e50e32a6ab7555f5a8p-108 : inexact-ok
 = log10 towardzero ibm128 0xf.fffffffffffffffffffffffffcp-4 : -0x1.bcb7b1526e50e32a6ab7555f5a8p-108 : inexact-ok
 = log10 upward ibm128 0xf.fffffffffffffffffffffffffcp-4 : -0x1.bcb7b1526e50e32a6ab7555f5a8p-108 : inexact-ok
+log10 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0
+= log10 downward binary32 0x1.6a292p+0 : 0x2.691bccp-4 : inexact-ok
+= log10 tonearest binary32 0x1.6a292p+0 : 0x2.691bdp-4 : inexact-ok
+= log10 towardzero binary32 0x1.6a292p+0 : 0x2.691bccp-4 : inexact-ok
+= log10 upward binary32 0x1.6a292p+0 : 0x2.691bdp-4 : inexact-ok
+= log10 downward binary64 0x1.6a292p+0 : 0x2.691bcfd621dd6p-4 : inexact-ok
+= log10 tonearest binary64 0x1.6a292p+0 : 0x2.691bcfd621dd6p-4 : inexact-ok
+= log10 towardzero binary64 0x1.6a292p+0 : 0x2.691bcfd621dd6p-4 : inexact-ok
+= log10 upward binary64 0x1.6a292p+0 : 0x2.691bcfd621dd8p-4 : inexact-ok
+= log10 downward intel96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 upward intel96 0x1.6a292p+0 : 0x2.691bcfd621dd62f4p-4 : inexact-ok
+= log10 downward m68k96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a292p+0 : 0x2.691bcfd621dd62fp-4 : inexact-ok
+= log10 upward m68k96 0x1.6a292p+0 : 0x2.691bcfd621dd62f4p-4 : inexact-ok
+= log10 downward binary128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806e12p-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806e14p-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806e12p-4 : inexact-ok
+= log10 upward binary128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806e14p-4 : inexact-ok
+= log10 downward ibm128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806ep-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806ep-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806ep-4 : inexact-ok
+= log10 upward ibm128 0x1.6a292p+0 : 0x2.691bcfd621dd62f0555533806fp-4 : inexact-ok
+= log10 downward binary32 0x1.6a291ep+0 : 0x2.691bc4p-4 : inexact-ok
+= log10 tonearest binary32 0x1.6a291ep+0 : 0x2.691bc8p-4 : inexact-ok
+= log10 towardzero binary32 0x1.6a291ep+0 : 0x2.691bc4p-4 : inexact-ok
+= log10 upward binary32 0x1.6a291ep+0 : 0x2.691bc8p-4 : inexact-ok
+= log10 downward binary64 0x1.6a291ep+0 : 0x2.691bc60346efp-4 : inexact-ok
+= log10 tonearest binary64 0x1.6a291ep+0 : 0x2.691bc60346ef2p-4 : inexact-ok
+= log10 towardzero binary64 0x1.6a291ep+0 : 0x2.691bc60346efp-4 : inexact-ok
+= log10 upward binary64 0x1.6a291ep+0 : 0x2.691bc60346ef2p-4 : inexact-ok
+= log10 downward intel96 0x1.6a291ep+0 : 0x2.691bc60346ef1498p-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a291ep+0 : 0x2.691bc60346ef149cp-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a291ep+0 : 0x2.691bc60346ef1498p-4 : inexact-ok
+= log10 upward intel96 0x1.6a291ep+0 : 0x2.691bc60346ef149cp-4 : inexact-ok
+= log10 downward m68k96 0x1.6a291ep+0 : 0x2.691bc60346ef1498p-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a291ep+0 : 0x2.691bc60346ef149cp-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a291ep+0 : 0x2.691bc60346ef1498p-4 : inexact-ok
+= log10 upward m68k96 0x1.6a291ep+0 : 0x2.691bc60346ef149cp-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab7639545802p-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab7639545802p-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab7639545802p-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab7639545804p-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab76395458p-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab76395458p-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab76395458p-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ep+0 : 0x2.691bc60346ef149aab76395459p-4 : inexact-ok
+= log10 downward binary64 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb62p-4 : inexact-ok
+= log10 tonearest binary64 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb62p-4 : inexact-ok
+= log10 towardzero binary64 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb62p-4 : inexact-ok
+= log10 upward binary64 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb64p-4 : inexact-ok
+= log10 downward intel96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 upward intel96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b4p-4 : inexact-ok
+= log10 downward m68k96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626bp-4 : inexact-ok
+= log10 upward m68k96 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b4p-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5b78p-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5b7ap-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5b78p-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5b7ap-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5bp-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5bp-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5bp-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa12p+0 : 0x2.691bc9186eb626b0790f4ffb5cp-4 : inexact-ok
+= log10 downward binary64 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5cp-4 : inexact-ok
+= log10 tonearest binary64 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5ep-4 : inexact-ok
+= log10 towardzero binary64 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5cp-4 : inexact-ok
+= log10 upward binary64 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5ep-4 : inexact-ok
+= log10 downward intel96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 upward intel96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d81cp-4 : inexact-ok
+= log10 downward m68k96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d818p-4 : inexact-ok
+= log10 upward m68k96 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d81cp-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d31829cp-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d31829ep-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d31829cp-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d31829ep-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d3182p-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d3183p-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d3182p-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa11fp+0 : 0x2.691bc9186eb5d819a1882d3183p-4 : inexact-ok
+= log10 downward intel96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 upward intel96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f38p-4 : inexact-ok
+= log10 downward m68k96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f34p-4 : inexact-ok
+= log10 upward m68k96 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f38p-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160a88p-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160a88p-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160a88p-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160a8ap-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160ap-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160bp-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160ap-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa11fb38p+0 : 0x2.691bc9186eb60f3465a76e160bp-4 : inexact-ok
+= log10 downward intel96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f28p-4 : inexact-ok
+= log10 tonearest intel96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2cp-4 : inexact-ok
+= log10 towardzero intel96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f28p-4 : inexact-ok
+= log10 upward intel96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2cp-4 : inexact-ok
+= log10 downward m68k96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f28p-4 : inexact-ok
+= log10 tonearest m68k96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2cp-4 : inexact-ok
+= log10 towardzero m68k96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f28p-4 : inexact-ok
+= log10 upward m68k96 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2cp-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b14cp-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b14ep-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b14cp-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b14ep-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b1p-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b1p-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b1p-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa11fb36p+0 : 0x2.691bc9186eb60f2a92cc7d31b2p-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0 : 0x2.691bc9186eb60f3100d5f4ca51bcp-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0 : 0x2.691bc9186eb60f3100d5f4ca51bcp-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0 : 0x2.691bc9186eb60f3100d5f4ca51bcp-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fb374f1df8b3ac6bp+0 : 0x2.691bc9186eb60f3100d5f4ca51bep-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca5222p-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca5224p-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca5222p-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca5224p-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca52p-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca52p-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca52p-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa11fb374f1df8b3ac8p+0 : 0x2.691bc9186eb60f3100d5f4ca53p-4 : inexact-ok
+= log10 downward binary128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4faep-4 : inexact-ok
+= log10 tonearest binary128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4faep-4 : inexact-ok
+= log10 towardzero binary128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4faep-4 : inexact-ok
+= log10 upward binary128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4fbp-4 : inexact-ok
+= log10 downward ibm128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4fp-4 : inexact-ok
+= log10 tonearest ibm128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca5p-4 : inexact-ok
+= log10 towardzero ibm128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca4fp-4 : inexact-ok
+= log10 upward ibm128 0x1.6a291ea0aa11fb374f1df8b3acp+0 : 0x2.691bc9186eb60f3100d5f4ca5p-4 : inexact-ok
 log10 min
 = log10 downward binary32 0x4p-128 : -0x2.5ee064p+4 : inexact-ok
 = log10 tonearest binary32 0x4p-128 : -0x2.5ee06p+4 : inexact-ok