From ffb536d0ac914a110c160c48d01097d132e20531 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Fri, 29 Nov 2013 16:27:55 +0000 Subject: Start generating libm tests automatically with MPFR. --- math/auto-libm-test-out | 225 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 225 insertions(+) create mode 100644 math/auto-libm-test-out (limited to 'math/auto-libm-test-out') diff --git a/math/auto-libm-test-out b/math/auto-libm-test-out new file mode 100644 index 0000000..bdb6bdc --- /dev/null +++ b/math/auto-libm-test-out @@ -0,0 +1,225 @@ +sqrt 0 += sqrt downward flt-32 0x0p+0f : 0x0p+0f : += sqrt tonearest flt-32 0x0p+0f : 0x0p+0f : += sqrt towardzero flt-32 0x0p+0f : 0x0p+0f : += sqrt upward flt-32 0x0p+0f : 0x0p+0f : += sqrt downward dbl-64 0x0p+0 : 0x0p+0 : += sqrt tonearest dbl-64 0x0p+0 : 0x0p+0 : += sqrt towardzero dbl-64 0x0p+0 : 0x0p+0 : += sqrt upward dbl-64 0x0p+0 : 0x0p+0 : += sqrt downward ldbl-96-intel 0x0p+0L : 0x0p+0L : += sqrt tonearest ldbl-96-intel 0x0p+0L : 0x0p+0L : += sqrt towardzero ldbl-96-intel 0x0p+0L : 0x0p+0L : += sqrt upward ldbl-96-intel 0x0p+0L : 0x0p+0L : += sqrt downward ldbl-96-m68k 0x0p+0L : 0x0p+0L : += sqrt tonearest ldbl-96-m68k 0x0p+0L : 0x0p+0L : += sqrt towardzero ldbl-96-m68k 0x0p+0L : 0x0p+0L : += sqrt upward ldbl-96-m68k 0x0p+0L : 0x0p+0L : += sqrt downward ldbl-128 0x0p+0L : 0x0p+0L : += sqrt tonearest ldbl-128 0x0p+0L : 0x0p+0L : += sqrt towardzero ldbl-128 0x0p+0L : 0x0p+0L : += sqrt upward ldbl-128 0x0p+0L : 0x0p+0L : += sqrt downward ldbl-128ibm 0x0p+0L : 0x0p+0L : += sqrt tonearest ldbl-128ibm 0x0p+0L : 0x0p+0L : += sqrt towardzero ldbl-128ibm 0x0p+0L : 0x0p+0L : += sqrt upward ldbl-128ibm 0x0p+0L : 0x0p+0L : +sqrt -0 += sqrt downward flt-32 -0x0p+0f : -0x0p+0f : += sqrt tonearest flt-32 -0x0p+0f : -0x0p+0f : += sqrt towardzero flt-32 -0x0p+0f : -0x0p+0f : += sqrt upward flt-32 -0x0p+0f : -0x0p+0f : += sqrt downward dbl-64 -0x0p+0 : -0x0p+0 : += sqrt tonearest dbl-64 -0x0p+0 : -0x0p+0 : += sqrt towardzero dbl-64 -0x0p+0 : -0x0p+0 : += sqrt upward dbl-64 -0x0p+0 : -0x0p+0 : += sqrt downward ldbl-96-intel -0x0p+0L : -0x0p+0L : += sqrt tonearest ldbl-96-intel -0x0p+0L : -0x0p+0L : += sqrt towardzero ldbl-96-intel -0x0p+0L : -0x0p+0L : += sqrt upward ldbl-96-intel -0x0p+0L : -0x0p+0L : += sqrt downward ldbl-96-m68k -0x0p+0L : -0x0p+0L : += sqrt tonearest ldbl-96-m68k -0x0p+0L : -0x0p+0L : += sqrt towardzero ldbl-96-m68k -0x0p+0L : -0x0p+0L : += sqrt upward ldbl-96-m68k -0x0p+0L : -0x0p+0L : += sqrt downward ldbl-128 -0x0p+0L : -0x0p+0L : += sqrt tonearest ldbl-128 -0x0p+0L : -0x0p+0L : += sqrt towardzero ldbl-128 -0x0p+0L : -0x0p+0L : += sqrt upward ldbl-128 -0x0p+0L : -0x0p+0L : += sqrt downward ldbl-128ibm -0x0p+0L : -0x0p+0L : += sqrt tonearest ldbl-128ibm -0x0p+0L : -0x0p+0L : += sqrt towardzero ldbl-128ibm -0x0p+0L : -0x0p+0L : += sqrt upward ldbl-128ibm -0x0p+0L : -0x0p+0L : +sqrt 2209 += sqrt downward flt-32 0x8.a1p+8f : 0x2.fp+4f : += sqrt tonearest flt-32 0x8.a1p+8f : 0x2.fp+4f : += sqrt towardzero flt-32 0x8.a1p+8f : 0x2.fp+4f : += sqrt upward flt-32 0x8.a1p+8f : 0x2.fp+4f : += sqrt downward dbl-64 0x8.a1p+8 : 0x2.fp+4 : += sqrt tonearest dbl-64 0x8.a1p+8 : 0x2.fp+4 : += sqrt towardzero dbl-64 0x8.a1p+8 : 0x2.fp+4 : += sqrt upward dbl-64 0x8.a1p+8 : 0x2.fp+4 : += sqrt downward ldbl-96-intel 0x8.a1p+8L : 0x2.fp+4L : += sqrt tonearest ldbl-96-intel 0x8.a1p+8L : 0x2.fp+4L : += sqrt towardzero ldbl-96-intel 0x8.a1p+8L : 0x2.fp+4L : += sqrt upward ldbl-96-intel 0x8.a1p+8L : 0x2.fp+4L : += sqrt downward ldbl-96-m68k 0x8.a1p+8L : 0x2.fp+4L : += sqrt tonearest ldbl-96-m68k 0x8.a1p+8L : 0x2.fp+4L : += sqrt towardzero ldbl-96-m68k 0x8.a1p+8L : 0x2.fp+4L : += sqrt upward ldbl-96-m68k 0x8.a1p+8L : 0x2.fp+4L : += sqrt downward ldbl-128 0x8.a1p+8L : 0x2.fp+4L : += sqrt tonearest ldbl-128 0x8.a1p+8L : 0x2.fp+4L : += sqrt towardzero ldbl-128 0x8.a1p+8L : 0x2.fp+4L : += sqrt upward ldbl-128 0x8.a1p+8L : 0x2.fp+4L : += sqrt downward ldbl-128ibm 0x8.a1p+8L : 0x2.fp+4L : += sqrt tonearest ldbl-128ibm 0x8.a1p+8L : 0x2.fp+4L : += sqrt towardzero ldbl-128ibm 0x8.a1p+8L : 0x2.fp+4L : += sqrt upward ldbl-128ibm 0x8.a1p+8L : 0x2.fp+4L : +sqrt 4 += sqrt downward flt-32 0x4p+0f : 0x2p+0f : += sqrt tonearest flt-32 0x4p+0f : 0x2p+0f : += sqrt towardzero flt-32 0x4p+0f : 0x2p+0f : += sqrt upward flt-32 0x4p+0f : 0x2p+0f : += sqrt downward dbl-64 0x4p+0 : 0x2p+0 : += sqrt tonearest dbl-64 0x4p+0 : 0x2p+0 : += sqrt towardzero dbl-64 0x4p+0 : 0x2p+0 : += sqrt upward dbl-64 0x4p+0 : 0x2p+0 : += sqrt downward ldbl-96-intel 0x4p+0L : 0x2p+0L : += sqrt tonearest ldbl-96-intel 0x4p+0L : 0x2p+0L : += sqrt towardzero ldbl-96-intel 0x4p+0L : 0x2p+0L : += sqrt upward ldbl-96-intel 0x4p+0L : 0x2p+0L : += sqrt downward ldbl-96-m68k 0x4p+0L : 0x2p+0L : += sqrt tonearest ldbl-96-m68k 0x4p+0L : 0x2p+0L : += sqrt towardzero ldbl-96-m68k 0x4p+0L : 0x2p+0L : += sqrt upward ldbl-96-m68k 0x4p+0L : 0x2p+0L : += sqrt downward ldbl-128 0x4p+0L : 0x2p+0L : += sqrt tonearest ldbl-128 0x4p+0L : 0x2p+0L : += sqrt towardzero ldbl-128 0x4p+0L : 0x2p+0L : += sqrt upward ldbl-128 0x4p+0L : 0x2p+0L : += sqrt downward ldbl-128ibm 0x4p+0L : 0x2p+0L : += sqrt tonearest ldbl-128ibm 0x4p+0L : 0x2p+0L : += sqrt towardzero ldbl-128ibm 0x4p+0L : 0x2p+0L : += sqrt upward ldbl-128ibm 0x4p+0L : 0x2p+0L : +sqrt 2 += sqrt downward flt-32 0x2p+0f : 0x1.6a09e6p+0f : inexact += sqrt tonearest flt-32 0x2p+0f : 0x1.6a09e6p+0f : inexact += sqrt towardzero flt-32 0x2p+0f : 0x1.6a09e6p+0f : inexact += sqrt upward flt-32 0x2p+0f : 0x1.6a09e8p+0f : inexact += sqrt downward dbl-64 0x2p+0 : 0x1.6a09e667f3bccp+0 : inexact += sqrt tonearest dbl-64 0x2p+0 : 0x1.6a09e667f3bcdp+0 : inexact += sqrt towardzero dbl-64 0x2p+0 : 0x1.6a09e667f3bccp+0 : inexact += sqrt upward dbl-64 0x2p+0 : 0x1.6a09e667f3bcdp+0 : inexact += sqrt downward ldbl-96-intel 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt tonearest ldbl-96-intel 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt towardzero ldbl-96-intel 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt upward ldbl-96-intel 0x2p+0L : 0x1.6a09e667f3bcc90ap+0L : inexact += sqrt downward ldbl-96-m68k 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt tonearest ldbl-96-m68k 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt towardzero ldbl-96-m68k 0x2p+0L : 0x1.6a09e667f3bcc908p+0L : inexact += sqrt upward ldbl-96-m68k 0x2p+0L : 0x1.6a09e667f3bcc90ap+0L : inexact += sqrt downward ldbl-128 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea95p+0L : inexact += sqrt tonearest ldbl-128 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea95p+0L : inexact += sqrt towardzero ldbl-128 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea95p+0L : inexact += sqrt upward ldbl-128 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea96p+0L : inexact += sqrt downward ldbl-128ibm 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea8p+0L : inexact += sqrt tonearest ldbl-128ibm 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea8p+0L : inexact += sqrt towardzero ldbl-128ibm 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ea8p+0L : inexact += sqrt upward ldbl-128ibm 0x2p+0L : 0x1.6a09e667f3bcc908b2fb1366ebp+0L : inexact +sqrt 0.25 += sqrt downward flt-32 0x4p-4f : 0x8p-4f : += sqrt tonearest flt-32 0x4p-4f : 0x8p-4f : += sqrt towardzero flt-32 0x4p-4f : 0x8p-4f : += sqrt upward flt-32 0x4p-4f : 0x8p-4f : += sqrt downward dbl-64 0x4p-4 : 0x8p-4 : += sqrt tonearest dbl-64 0x4p-4 : 0x8p-4 : += sqrt towardzero dbl-64 0x4p-4 : 0x8p-4 : += sqrt upward dbl-64 0x4p-4 : 0x8p-4 : += sqrt downward ldbl-96-intel 0x4p-4L : 0x8p-4L : += sqrt tonearest ldbl-96-intel 0x4p-4L : 0x8p-4L : += sqrt towardzero ldbl-96-intel 0x4p-4L : 0x8p-4L : += sqrt upward ldbl-96-intel 0x4p-4L : 0x8p-4L : += sqrt downward ldbl-96-m68k 0x4p-4L : 0x8p-4L : += sqrt tonearest ldbl-96-m68k 0x4p-4L : 0x8p-4L : += sqrt towardzero ldbl-96-m68k 0x4p-4L : 0x8p-4L : += sqrt upward ldbl-96-m68k 0x4p-4L : 0x8p-4L : += sqrt downward ldbl-128 0x4p-4L : 0x8p-4L : += sqrt tonearest ldbl-128 0x4p-4L : 0x8p-4L : += sqrt towardzero ldbl-128 0x4p-4L : 0x8p-4L : += sqrt upward ldbl-128 0x4p-4L : 0x8p-4L : += sqrt downward ldbl-128ibm 0x4p-4L : 0x8p-4L : += sqrt tonearest ldbl-128ibm 0x4p-4L : 0x8p-4L : += sqrt towardzero ldbl-128ibm 0x4p-4L : 0x8p-4L : += sqrt upward ldbl-128ibm 0x4p-4L : 0x8p-4L : +sqrt 6642.25 += sqrt downward flt-32 0x1.9f24p+12f : 0x5.18p+4f : += sqrt tonearest flt-32 0x1.9f24p+12f : 0x5.18p+4f : += sqrt towardzero flt-32 0x1.9f24p+12f : 0x5.18p+4f : += sqrt upward flt-32 0x1.9f24p+12f : 0x5.18p+4f : += sqrt downward dbl-64 0x1.9f24p+12 : 0x5.18p+4 : += sqrt tonearest dbl-64 0x1.9f24p+12 : 0x5.18p+4 : += sqrt towardzero dbl-64 0x1.9f24p+12 : 0x5.18p+4 : += sqrt upward dbl-64 0x1.9f24p+12 : 0x5.18p+4 : += sqrt downward ldbl-96-intel 0x1.9f24p+12L : 0x5.18p+4L : += sqrt tonearest ldbl-96-intel 0x1.9f24p+12L : 0x5.18p+4L : += sqrt towardzero ldbl-96-intel 0x1.9f24p+12L : 0x5.18p+4L : += sqrt upward ldbl-96-intel 0x1.9f24p+12L : 0x5.18p+4L : += sqrt downward ldbl-96-m68k 0x1.9f24p+12L : 0x5.18p+4L : += sqrt tonearest ldbl-96-m68k 0x1.9f24p+12L : 0x5.18p+4L : += sqrt towardzero ldbl-96-m68k 0x1.9f24p+12L : 0x5.18p+4L : += sqrt upward ldbl-96-m68k 0x1.9f24p+12L : 0x5.18p+4L : += sqrt downward ldbl-128 0x1.9f24p+12L : 0x5.18p+4L : += sqrt tonearest ldbl-128 0x1.9f24p+12L : 0x5.18p+4L : += sqrt towardzero ldbl-128 0x1.9f24p+12L : 0x5.18p+4L : += sqrt upward ldbl-128 0x1.9f24p+12L : 0x5.18p+4L : += sqrt downward ldbl-128ibm 0x1.9f24p+12L : 0x5.18p+4L : += sqrt tonearest ldbl-128ibm 0x1.9f24p+12L : 0x5.18p+4L : += sqrt towardzero ldbl-128ibm 0x1.9f24p+12L : 0x5.18p+4L : += sqrt upward ldbl-128ibm 0x1.9f24p+12L : 0x5.18p+4L : +sqrt 15190.5625 += sqrt downward flt-32 0x3.b569p+12f : 0x7.b4p+4f : += sqrt tonearest flt-32 0x3.b569p+12f : 0x7.b4p+4f : += sqrt towardzero flt-32 0x3.b569p+12f : 0x7.b4p+4f : += sqrt upward flt-32 0x3.b569p+12f : 0x7.b4p+4f : += sqrt downward dbl-64 0x3.b569p+12 : 0x7.b4p+4 : += sqrt tonearest dbl-64 0x3.b569p+12 : 0x7.b4p+4 : += sqrt towardzero dbl-64 0x3.b569p+12 : 0x7.b4p+4 : += sqrt upward dbl-64 0x3.b569p+12 : 0x7.b4p+4 : += sqrt downward ldbl-96-intel 0x3.b569p+12L : 0x7.b4p+4L : += sqrt tonearest ldbl-96-intel 0x3.b569p+12L : 0x7.b4p+4L : += sqrt towardzero ldbl-96-intel 0x3.b569p+12L : 0x7.b4p+4L : += sqrt upward ldbl-96-intel 0x3.b569p+12L : 0x7.b4p+4L : += sqrt downward ldbl-96-m68k 0x3.b569p+12L : 0x7.b4p+4L : += sqrt tonearest ldbl-96-m68k 0x3.b569p+12L : 0x7.b4p+4L : += sqrt towardzero ldbl-96-m68k 0x3.b569p+12L : 0x7.b4p+4L : += sqrt upward ldbl-96-m68k 0x3.b569p+12L : 0x7.b4p+4L : += sqrt downward ldbl-128 0x3.b569p+12L : 0x7.b4p+4L : += sqrt tonearest ldbl-128 0x3.b569p+12L : 0x7.b4p+4L : += sqrt towardzero ldbl-128 0x3.b569p+12L : 0x7.b4p+4L : += sqrt upward ldbl-128 0x3.b569p+12L : 0x7.b4p+4L : += sqrt downward ldbl-128ibm 0x3.b569p+12L : 0x7.b4p+4L : += sqrt tonearest ldbl-128ibm 0x3.b569p+12L : 0x7.b4p+4L : += sqrt towardzero ldbl-128ibm 0x3.b569p+12L : 0x7.b4p+4L : += sqrt upward ldbl-128ibm 0x3.b569p+12L : 0x7.b4p+4L : +sqrt 0.75 += sqrt downward flt-32 0xcp-4f : 0xd.db3d7p-4f : inexact += sqrt tonearest flt-32 0xcp-4f : 0xd.db3d7p-4f : inexact += sqrt towardzero flt-32 0xcp-4f : 0xd.db3d7p-4f : inexact += sqrt upward flt-32 0xcp-4f : 0xd.db3d8p-4f : inexact += sqrt downward dbl-64 0xcp-4 : 0xd.db3d742c2655p-4 : inexact += sqrt tonearest dbl-64 0xcp-4 : 0xd.db3d742c2655p-4 : inexact += sqrt towardzero dbl-64 0xcp-4 : 0xd.db3d742c2655p-4 : inexact += sqrt upward dbl-64 0xcp-4 : 0xd.db3d742c26558p-4 : inexact += sqrt downward ldbl-96-intel 0xcp-4L : 0xd.db3d742c265539dp-4L : inexact += sqrt tonearest ldbl-96-intel 0xcp-4L : 0xd.db3d742c265539ep-4L : inexact += sqrt towardzero ldbl-96-intel 0xcp-4L : 0xd.db3d742c265539dp-4L : inexact += sqrt upward ldbl-96-intel 0xcp-4L : 0xd.db3d742c265539ep-4L : inexact += sqrt downward ldbl-96-m68k 0xcp-4L : 0xd.db3d742c265539dp-4L : inexact += sqrt tonearest ldbl-96-m68k 0xcp-4L : 0xd.db3d742c265539ep-4L : inexact += sqrt towardzero ldbl-96-m68k 0xcp-4L : 0xd.db3d742c265539dp-4L : inexact += sqrt upward ldbl-96-m68k 0xcp-4L : 0xd.db3d742c265539ep-4L : inexact += sqrt downward ldbl-128 0xcp-4L : 0xd.db3d742c265539d92ba16b83c5cp-4L : inexact += sqrt tonearest ldbl-128 0xcp-4L : 0xd.db3d742c265539d92ba16b83c5cp-4L : inexact += sqrt towardzero ldbl-128 0xcp-4L : 0xd.db3d742c265539d92ba16b83c5cp-4L : inexact += sqrt upward ldbl-128 0xcp-4L : 0xd.db3d742c265539d92ba16b83c5c8p-4L : inexact += sqrt downward ldbl-128ibm 0xcp-4L : 0xd.db3d742c265539d92ba16b83c4p-4L : inexact += sqrt tonearest ldbl-128ibm 0xcp-4L : 0xd.db3d742c265539d92ba16b83c4p-4L : inexact += sqrt towardzero ldbl-128ibm 0xcp-4L : 0xd.db3d742c265539d92ba16b83c4p-4L : inexact += sqrt upward ldbl-128ibm 0xcp-4L : 0xd.db3d742c265539d92ba16b83c8p-4L : inexact -- cgit v1.1