add generated math tests
[libc-test] / src / math / ucb / log.h
diff --git a/src/math/ucb/log.h b/src/math/ucb/log.h
new file mode 100644 (file)
index 0000000..3482bfe
--- /dev/null
@@ -0,0 +1,309 @@
+// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
+// Mountain View, California  94043 All rights reserved.
+//
+// Any person is hereby authorized to download, copy, use, create bug fixes,
+// and distribute, subject to the following conditions:
+//
+//     1.  the software may not be redistributed for a fee except as
+//         reasonable to cover media costs;
+//     2.  any copy of the software must include this notice, as well as
+//         any other embedded copyright notices; and
+//     3.  any distribution of this software or derivative works thereof
+//         must comply with all applicable U.S. export control laws.
+//
+// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
+// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
+// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
+// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
+// SPECIFICATIONS.
+//
+// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
+// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
+// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
+// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
+// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
+//
+// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
+// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
+// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
+// POSSIBILITY OF SUCH DAMAGES.
+//
+// This file is provided with no support and without any obligation on the
+// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
+// companies to assist in its use, correction, modification or
+// enhancement.  Nevertheless, and without creating any obligation on its
+// part, Sun welcomes your comments concerning the software and requests
+// that they be sent to fdlibm-comments@sunpro.sun.com.
+// logd(+fmax) is finite
+T(RN, 0x1.fffffffffffffp+1023,    0x1.62e42fefa39efp+9,  -0x1.a9c9e4p-3, INEXACT)
+T(RZ, 0x1.fffffffffffffp+1023,    0x1.62e42fefa39efp+9,  -0x1.a9c9e2p-3, INEXACT)
+T(RU, 0x1.fffffffffffffp+1023,     0x1.62e42fefa39fp+9,   0x1.958d88p-1, INEXACT)
+T(RD, 0x1.fffffffffffffp+1023,    0x1.62e42fefa39efp+9,  -0x1.a9c9e4p-3, INEXACT)
+// logd(1+tiny) is tiny - tiny*tiny/2
+T(RN,     0x1.000000000002p+0,    0x1.fffffffffffep-48, -0x1.555556p-43, INEXACT)
+T(RN,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RN,     0x1.fffffffffffcp-1,   -0x1.000000000001p-47,  0x1.555556p-44, INEXACT)
+T(RZ,     0x1.000000000002p+0,    0x1.fffffffffffep-48, -0x1.555554p-43, INEXACT)
+T(RZ,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RZ,     0x1.fffffffffffcp-1,   -0x1.000000000001p-47,  0x1.555554p-44, INEXACT)
+T(RU,     0x1.000000000002p+0,   0x1.fffffffffffe1p-48,          0x1p+0, INEXACT)
+T(RU,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RU,     0x1.fffffffffffcp-1,   -0x1.000000000001p-47,  0x1.555556p-44, INEXACT)
+T(RD,     0x1.000000000002p+0,    0x1.fffffffffffep-48, -0x1.555556p-43, INEXACT)
+T(RD,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RD,     0x1.fffffffffffcp-1,  -0x1.0000000000011p-47,         -0x1p+0, INEXACT)
+// logd(min) is finite
+T(RN,               0x1p-1022,   -0x1.6232bdd7abcd2p+9,   0x1.eef3fep-3, INEXACT)
+T(RN,               0x1p-1074,   -0x1.74385446d71c3p+9,    0x1.8e56ap-2, INEXACT)
+T(RZ,               0x1p-1022,   -0x1.6232bdd7abcd2p+9,   0x1.eef3fep-3, INEXACT)
+T(RZ,               0x1p-1074,   -0x1.74385446d71c3p+9,   0x1.8e569ep-2, INEXACT)
+T(RU,               0x1p-1022,   -0x1.6232bdd7abcd2p+9,     0x1.eef4p-3, INEXACT)
+T(RU,               0x1p-1074,   -0x1.74385446d71c3p+9,    0x1.8e56ap-2, INEXACT)
+T(RD,               0x1p-1022,   -0x1.6232bdd7abcd3p+9,  -0x1.844302p-1, INEXACT)
+T(RD,               0x1p-1074,   -0x1.74385446d71c4p+9,  -0x1.38d4b2p-1, INEXACT)
+// random arguments between 0 100
+T(RN,    0x1.24844b2b5006dp+5,    0x1.ccaeab2b2d17ap+1,   0x1.fc0214p-2, INEXACT)
+T(RN,    0x1.5671ffb825911p+6,    0x1.1cc9cfc21200ep+2,   0x1.576484p-6, INEXACT)
+T(RN,    0x1.7817009de7505p+6,    0x1.22c941ad2cdcbp+2,   0x1.ffd6e6p-3, INEXACT)
+T(RN,    0x1.09b74fba96889p+4,    0x1.67a8d2baa9eaep+1,   0x1.410c98p-7, INEXACT)
+T(RN,    0x1.23a38e27084ddp+5,    0x1.cc4c2deae0fd6p+1,  -0x1.ec3806p-3, INEXACT)
+T(RN,    0x1.804881b093c41p+5,    0x1.ef9bacb80ecaap+1,  -0x1.717e9cp-2, INEXACT)
+T(RN,    0x1.3baa8d18455f5p+6,    0x1.1793b7e741d95p+2,  -0x1.343a7cp-2, INEXACT)
+T(RN,    0x1.730484a51b239p+6,    0x1.21eac9842b049p+2,  -0x1.bd7ec6p-3, INEXACT)
+T(RN,    0x1.4cc5b1079de4dp+5,    0x1.dd2fa6f2757b8p+1,    0x1.39a05p-2, INEXACT)
+T(RN,    0x1.0ca4d3103b871p+1,    0x1.7b930bafa9c1dp-1,   -0x1.00835p-3, INEXACT)
+// logd(nan) is nan
+T(RN,                     nan,                     nan,          0x0p+0, 0)
+// logd(+inf) is inf
+T(RN,                     inf,                     inf,          0x0p+0, 0)
+// logd(+-0) is -inf
+T(RN,                  0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+// logd(-ve) is nan
+T(RN,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1022,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
+T(RN,                    -inf,                     nan,          0x0p+0, INVALID)
+T(RD,                     inf,                     inf,          0x0p+0, 0)
+T(RD,                  0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RD,                 -0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RD,    0x1.ffffffffffffcp-1,  -0x1.0000000000002p-51,         -0x1p+0, INEXACT)
+T(RD,    0x1.ffffffffffffdp-1,  -0x1.8000000000002p-52,       -0x1.cp-1, INEXACT)
+T(RD,    0x1.ffffffffffffep-1,  -0x1.0000000000001p-52,         -0x1p-1, INEXACT)
+T(RD,    0x1.fffffffffffffp-1,  -0x1.0000000000001p-53,       -0x1.8p-1, INEXACT)
+T(RD,    0x1.0000000000001p+0,   0x1.fffffffffffffp-53, -0x1.555554p-53, INEXACT)
+T(RD,    0x1.0000000000002p+0,   0x1.ffffffffffffep-52, -0x1.555556p-51, INEXACT)
+T(RD,    0x1.0000000000004p+0,   0x1.ffffffffffffcp-51, -0x1.555556p-49, INEXACT)
+T(RD,                     nan,                     nan,          0x0p+0, 0)
+T(RD,                     nan,                     nan,          0x0p+0, 0)
+T(RD,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
+T(RD,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1024,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1023,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1022,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.0000000000001p-1022,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.0000000000002p-1022,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p-1020,                     nan,          0x0p+0, INVALID)
+T(RD,                -0x1p-52,                     nan,          0x0p+0, INVALID)
+T(RD,                -0x1p-50,                     nan,          0x0p+0, INVALID)
+T(RD,                 -0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RD,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.ffffffffffffap-1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.ffffffffffffcp-1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.ffffffffffffep-1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RD,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.0000000000002p+0,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.0000000000004p+0,                     nan,          0x0p+0, INVALID)
+T(RD,                 -0x1p+1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RD,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
+T(RD,                 -0x1p+2,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p+1022,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.0000000000004p+1022,                     nan,          0x0p+0, INVALID)
+T(RD,              -0x1p+1023,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.ffffffffffffep+1023,                     nan,          0x0p+0, INVALID)
+T(RD,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
+T(RD,                    -inf,                     nan,          0x0p+0, INVALID)
+T(RD,    0x1.ffffffffffff7p-1,  -0x1.2000000000003p-50,       -0x1.ep-2, INEXACT)
+T(RD,    0x1.ffffffffffff8p-1,  -0x1.0000000000003p-50,         -0x1p+0, INEXACT)
+T(RD,    0x1.ffffffffffff9p-1,  -0x1.c000000000004p-51,       -0x1.ep-1, INEXACT)
+T(RD,    0x1.ffffffffffffap-1,  -0x1.8000000000003p-51,       -0x1.8p-1, INEXACT)
+T(RD,    0x1.ffffffffffffbp-1,  -0x1.4000000000002p-51,       -0x1.cp-2, INEXACT)
+T(RD,    0x1.0000000000003p+0,   0x1.7fffffffffffdp-51,  -0x1.800002p-1, INEXACT)
+T(RD,    0x1.0000000000005p+0,   0x1.3fffffffffffcp-50,  -0x1.c00002p-1, INEXACT)
+T(RD,    0x1.0000000000007p+0,   0x1.bfffffffffff9p-50,  -0x1.c00002p-1, INEXACT)
+T(RD,    0x1.0000000000008p+0,   0x1.ffffffffffff8p-50, -0x1.555556p-47, INEXACT)
+T(RD,    0x1.0000000000009p+0,   0x1.1fffffffffffap-49,  -0x1.e00002p-1, INEXACT)
+T(RN,    0x1.ffffffffffff7p-1,  -0x1.2000000000003p-50,       -0x1.ep-2, INEXACT)
+T(RN,    0x1.ffffffffffff8p-1,  -0x1.0000000000002p-50,  0x1.555556p-50, INEXACT)
+T(RN,    0x1.ffffffffffff9p-1,  -0x1.c000000000003p-51,          0x1p-4, INEXACT)
+T(RN,    0x1.ffffffffffffap-1,  -0x1.8000000000002p-51,          0x1p-2, INEXACT)
+T(RN,    0x1.ffffffffffffbp-1,  -0x1.4000000000002p-51,       -0x1.cp-2, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,  -0x1.0000000000001p-51,  0x1.555556p-52, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,  -0x1.8000000000001p-52,          0x1p-3, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,                -0x1p-53,          0x1p-2, INEXACT)
+T(RN,    0x1.0000000000001p+0,   0x1.fffffffffffffp-53, -0x1.555554p-53, INEXACT)
+T(RN,    0x1.0000000000002p+0,   0x1.ffffffffffffep-52, -0x1.555554p-51, INEXACT)
+T(RN,    0x1.0000000000003p+0,   0x1.7fffffffffffep-51,          0x1p-2, INEXACT)
+T(RN,    0x1.0000000000004p+0,   0x1.ffffffffffffcp-51, -0x1.555556p-49, INEXACT)
+T(RN,    0x1.0000000000005p+0,   0x1.3fffffffffffdp-50,          0x1p-3, INEXACT)
+T(RN,    0x1.0000000000007p+0,   0x1.bfffffffffffap-50,          0x1p-3, INEXACT)
+T(RN,    0x1.0000000000008p+0,   0x1.ffffffffffff8p-50, -0x1.555556p-47, INEXACT)
+T(RN,    0x1.0000000000009p+0,   0x1.1fffffffffffbp-49,          0x1p-4, INEXACT)
+T(RN,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1024,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000001p-1022,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p-1022,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1020,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-52,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-50,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffap-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffcp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffep-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000004p+0,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+2,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p+1022,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000004p+1022,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p+1023,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffep+1023,                     nan,          0x0p+0, INVALID)
+T(RU,                     inf,                     inf,          0x0p+0, 0)
+T(RU,                  0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RU,                 -0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RU,    0x1.ffffffffffffcp-1,  -0x1.0000000000001p-51,  0x1.555554p-52, INEXACT)
+T(RU,    0x1.ffffffffffffdp-1,  -0x1.8000000000001p-52,   0x1.000002p-3, INEXACT)
+T(RU,    0x1.ffffffffffffep-1,                -0x1p-52,   0x1.000002p-1, INEXACT)
+T(RU,    0x1.fffffffffffffp-1,                -0x1p-53,   0x1.000002p-2, INEXACT)
+T(RU,    0x1.0000000000001p+0,                 0x1p-52,          0x1p-1, INEXACT)
+T(RU,    0x1.0000000000002p+0,   0x1.fffffffffffffp-52,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000004p+0,   0x1.ffffffffffffdp-51,          0x1p+0, INEXACT)
+T(RU,                     nan,                     nan,          0x0p+0, 0)
+T(RU,                     nan,                     nan,          0x0p+0, 0)
+T(RU,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
+T(RU,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1024,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1023,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1022,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.0000000000001p-1022,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.0000000000002p-1022,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p-1020,                     nan,          0x0p+0, INVALID)
+T(RU,                -0x1p-52,                     nan,          0x0p+0, INVALID)
+T(RU,                -0x1p-50,                     nan,          0x0p+0, INVALID)
+T(RU,                 -0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RU,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.ffffffffffffap-1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.ffffffffffffcp-1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.ffffffffffffep-1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RU,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.0000000000002p+0,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.0000000000004p+0,                     nan,          0x0p+0, INVALID)
+T(RU,                 -0x1p+1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RU,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
+T(RU,                 -0x1p+2,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p+1022,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.0000000000004p+1022,                     nan,          0x0p+0, INVALID)
+T(RU,              -0x1p+1023,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.ffffffffffffep+1023,                     nan,          0x0p+0, INVALID)
+T(RU,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
+T(RU,                    -inf,                     nan,          0x0p+0, INVALID)
+T(RU,    0x1.ffffffffffff7p-1,  -0x1.2000000000002p-50,   0x1.100002p-1, INEXACT)
+T(RU,    0x1.ffffffffffff8p-1,  -0x1.0000000000002p-50,  0x1.555556p-50, INEXACT)
+T(RU,    0x1.ffffffffffff9p-1,  -0x1.c000000000003p-51,   0x1.000002p-4, INEXACT)
+T(RU,    0x1.ffffffffffffap-1,  -0x1.8000000000002p-51,   0x1.000002p-2, INEXACT)
+T(RU,    0x1.ffffffffffffbp-1,  -0x1.4000000000001p-51,   0x1.200002p-1, INEXACT)
+T(RU,    0x1.0000000000003p+0,   0x1.7fffffffffffep-51,          0x1p-2, INEXACT)
+T(RU,    0x1.0000000000005p+0,   0x1.3fffffffffffdp-50,          0x1p-3, INEXACT)
+T(RU,    0x1.0000000000007p+0,   0x1.bfffffffffffap-50,          0x1p-3, INEXACT)
+T(RU,    0x1.0000000000008p+0,   0x1.ffffffffffff9p-50,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000009p+0,   0x1.1fffffffffffbp-49,          0x1p-4, INEXACT)
+T(RZ,                     inf,                     inf,          0x0p+0, 0)
+T(RZ,                  0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RZ,                 -0x0p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RZ,    0x1.ffffffffffffcp-1,  -0x1.0000000000001p-51,  0x1.555554p-52, INEXACT)
+T(RZ,    0x1.ffffffffffffdp-1,  -0x1.8000000000001p-52,          0x1p-3, INEXACT)
+T(RZ,    0x1.ffffffffffffep-1,                -0x1p-52,          0x1p-1, INEXACT)
+T(RZ,    0x1.fffffffffffffp-1,                -0x1p-53,          0x1p-2, INEXACT)
+T(RZ,    0x1.0000000000001p+0,   0x1.fffffffffffffp-53, -0x1.555554p-53, INEXACT)
+T(RZ,    0x1.0000000000002p+0,   0x1.ffffffffffffep-52, -0x1.555554p-51, INEXACT)
+T(RZ,    0x1.0000000000004p+0,   0x1.ffffffffffffcp-51, -0x1.555554p-49, INEXACT)
+T(RZ,                     nan,                     nan,          0x0p+0, 0)
+T(RZ,                     nan,                     nan,          0x0p+0, 0)
+T(RZ,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
+T(RZ,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1024,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1023,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1022,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.0000000000001p-1022,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.0000000000002p-1022,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p-1020,                     nan,          0x0p+0, INVALID)
+T(RZ,                -0x1p-52,                     nan,          0x0p+0, INVALID)
+T(RZ,                -0x1p-50,                     nan,          0x0p+0, INVALID)
+T(RZ,                 -0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RZ,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.ffffffffffffap-1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.ffffffffffffcp-1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.ffffffffffffep-1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RZ,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.0000000000002p+0,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.0000000000004p+0,                     nan,          0x0p+0, INVALID)
+T(RZ,                 -0x1p+1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RZ,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
+T(RZ,                 -0x1p+2,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p+1022,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.0000000000004p+1022,                     nan,          0x0p+0, INVALID)
+T(RZ,              -0x1p+1023,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.ffffffffffffep+1023,                     nan,          0x0p+0, INVALID)
+T(RZ,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
+T(RZ,                    -inf,                     nan,          0x0p+0, INVALID)
+T(RZ,    0x1.ffffffffffff7p-1,  -0x1.2000000000002p-50,        0x1.1p-1, INEXACT)
+T(RZ,    0x1.ffffffffffff8p-1,  -0x1.0000000000002p-50,  0x1.555554p-50, INEXACT)
+T(RZ,    0x1.ffffffffffff9p-1,  -0x1.c000000000003p-51,          0x1p-4, INEXACT)
+T(RZ,    0x1.ffffffffffffap-1,  -0x1.8000000000002p-51,          0x1p-2, INEXACT)
+T(RZ,    0x1.ffffffffffffbp-1,  -0x1.4000000000001p-51,        0x1.2p-1, INEXACT)
+T(RZ,    0x1.0000000000003p+0,   0x1.7fffffffffffdp-51,       -0x1.8p-1, INEXACT)
+T(RZ,    0x1.0000000000005p+0,   0x1.3fffffffffffcp-50,       -0x1.cp-1, INEXACT)
+T(RZ,    0x1.0000000000007p+0,   0x1.bfffffffffff9p-50,       -0x1.cp-1, INEXACT)
+T(RZ,    0x1.0000000000008p+0,   0x1.ffffffffffff8p-50, -0x1.555554p-47, INEXACT)
+T(RZ,    0x1.0000000000009p+0,   0x1.1fffffffffffap-49,       -0x1.ep-1, INEXACT)