add generated math tests
[libc-test] / src / math / ucb / expf.h
diff --git a/src/math/ucb/expf.h b/src/math/ucb/expf.h
new file mode 100644 (file)
index 0000000..c4ad026
--- /dev/null
@@ -0,0 +1,333 @@
+// 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.
+// overflow threshold
+T(RN,   0x1.62e42ep+6, 0x1.ffff08p+127,    -0x1.7364p-4, INEXACT)
+T(RN,    0x1.62e43p+6,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffffep+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,             inf,             inf,          0x0p+0, 0)
+T(RZ,   0x1.62e42ep+6, 0x1.ffff08p+127,  -0x1.7363fep-4, INEXACT)
+T(RZ,    0x1.62e43p+6, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.fffffep+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,             inf,             inf,          0x0p+0, 0)
+T(RU,   0x1.62e42ep+6, 0x1.ffff0ap+127,   0x1.d19382p-1, INEXACT)
+T(RU,    0x1.62e43p+6,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.fffffep+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,             inf,             inf,          0x0p+0, 0)
+T(RD,   0x1.62e42ep+6, 0x1.ffff08p+127,    -0x1.7364p-4, INEXACT)
+T(RD,    0x1.62e43p+6, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.fffffep+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,             inf,             inf,          0x0p+0, 0)
+// exps(0 or tiny) = 1
+T(RN,          0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RN,        0x1p-149,          0x1p+0,          0x0p+0, INEXACT)
+T(RN,       -0x1p-149,          0x1p+0,          0x0p+0, INEXACT)
+T(RN,        0x1p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RN,       -0x1p-126,          0x1p+0,      0x1.8p-104, INEXACT)
+// underflow
+T(RN,  -0x1.5d589ep+6, 0x1.00004cp-126,   0x1.ac2708p-7, INEXACT)
+T(RZ,  -0x1.5d589ep+6, 0x1.00004ap-126,  -0x1.f94f62p-1, INEXACT)
+T(RU,  -0x1.5d589ep+6, 0x1.00004cp-126,   0x1.ac2708p-7, INEXACT)
+T(RD,  -0x1.5d589ep+6, 0x1.00004ap-126,  -0x1.f94f64p-1, INEXACT)
+T(RN,   -0x1.5d58ap+6, 0x1.ffff98p-127,    0x1.ada63p-7, INEXACT|UNDERFLOW)
+T(RN,  -0x1.9fe368p+6,        0x1p-149,   0x1.ffffeap-2, INEXACT|UNDERFLOW)
+T(RN,  -0x1.9fe36ap+6,          0x0p+0,  -0x1.ffff16p-2, INEXACT|UNDERFLOW)
+T(RN,-0x1.fffffep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.fffffep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.fffffep+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.fffffep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,            -inf,          0x0p+0,          0x0p+0, 0)
+// random arguments between -20 20
+T(RN,  -0x1.57f25cp+2,   0x1.2fbea2p-8,  -0x1.5d63fcp-2, INEXACT)
+T(RN,    0x1.c7d31p+3,   0x1.76eefp+20,  -0x1.1f03aap-2, INEXACT)
+T(RN,    0x1.19be7p+4,  0x1.52d3dep+25,  -0x1.b01356p-3, INEXACT)
+T(RN,   -0x1.ab6d7p+3,  0x1.a88adep-20,   0x1.a52932p-3, INEXACT)
+T(RN,  -0x1.5ac18ep+2,   0x1.22b328p-8,  -0x1.17cf5ep-2, INEXACT)
+T(RN,  -0x1.925982p-1,    0x1.d2accp-2,   0x1.aeef46p-9, INEXACT)
+T(RN,   0x1.7221cep+3,  0x1.9c2ceap+16,  -0x1.7b0dd6p-4, INEXACT)
+T(RN,   0x1.11a0d4p+4,  0x1.980ee6p+24,   0x1.7f3c04p-3, INEXACT)
+T(RN,  -0x1.ae41a2p+1,    0x1.1c28dp-5,   0x1.776b7ap-2, INEXACT)
+T(RN,  -0x1.329154p+4,  0x1.47ef94p-28,   0x1.51d544p-3, INEXACT)
+// exps(nan) is nan
+T(RN,             nan,             nan,          0x0p+0, 0)
+T(RN,             nan,             nan,          0x0p+0, 0)
+T(RD,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RD,            -inf,          0x0p+0,          0x0p+0, 0)
+T(RD,        0x1p-149,          0x1p+0,          0x0p+0, INEXACT)
+T(RD,        0x1p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RD,      0x1.8p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RD,        0x1p-128,          0x1p+0,          0x0p+0, INEXACT)
+T(RD,        0x1p-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RD, 0x1.fffff8p-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RD, 0x1.fffffcp-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RD,        0x1p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RD, 0x1.000002p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RD, 0x1.000004p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RD, 0x1.fffffap-126,          0x1p+0,     -0x1.8p-103, INEXACT)
+T(RD, 0x1.fffffep-126,          0x1p+0,     -0x1.8p-103, INEXACT)
+T(RD,        0x1p-125,          0x1p+0,       -0x1p-102, INEXACT)
+T(RD,        0x1p-124,          0x1p+0,       -0x1p-101, INEXACT)
+T(RD,         0x1p-73,          0x1p+0,        -0x1p-50, INEXACT)
+T(RD,         0x1p-66,          0x1p+0,        -0x1p-43, INEXACT)
+T(RD,         0x1p-65,          0x1p+0,        -0x1p-42, INEXACT)
+T(RD,       0x1.64p+6, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,    0x1.c9c8p+13, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,         0x1p+14, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,         0x1p+18, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,        0x1p+119, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,        0x1p+125, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,        0x1p+126, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,        0x1p+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.ffffeep+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.fffff8p+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.fffffap+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.fffffcp+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,       -0x1.ap+6,          0x0p+0,  -0x1.f1e6b6p-2, INEXACT|UNDERFLOW)
+T(RD,   -0x1.c9c8p+13,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,        -0x1p+18,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p+123,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p+124,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p+125,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p+126,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.ffffeep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.fffff8p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.fffffap+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.fffffcp+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RD,             nan,             nan,          0x0p+0, 0)
+T(RD,             nan,             nan,          0x0p+0, 0)
+T(RD,  0x1.fffffep-24,          0x1p+0,         -0x1p+0, INEXACT)
+T(RD,  0x1.fffff8p-23,   0x1.000002p+0,  -0x1.fffff8p-1, INEXACT)
+T(RD,  0x1.fffff8p-22,   0x1.000006p+0,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-149,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-148,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-128,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,-0x1.fffff8p-127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,-0x1.fffffcp-127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-126,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,-0x1.000002p-126,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,-0x1.000004p-126,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-125,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,       -0x1p-124,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,        -0x1p-73,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD,        -0x1p-66,   0x1.fffffep-1,         -0x1p+0, INEXACT)
+T(RD, -0x1.000002p-22,   0x1.fffff8p-1, -0x1.555554p-44, INEXACT)
+T(RD, -0x1.800008p-22,   0x1.fffff2p-1,  -0x1.ffffe6p-1, INEXACT)
+T(RN,        0x1p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RN,      0x1.8p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RN,        0x1p-128,          0x1p+0,       -0x1p-104, INEXACT)
+T(RN,        0x1p-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RN, 0x1.fffff8p-127,          0x1p+0,       -0x1p-103, INEXACT)
+T(RN, 0x1.fffffcp-127,          0x1p+0,       -0x1p-103, INEXACT)
+T(RN, 0x1.000002p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RN, 0x1.000004p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RN, 0x1.fffffap-126,          0x1p+0,       -0x1p-102, INEXACT)
+T(RN, 0x1.fffffep-126,          0x1p+0,       -0x1p-102, INEXACT)
+T(RN,        0x1p-125,          0x1p+0,       -0x1p-102, INEXACT)
+T(RN,        0x1p-124,          0x1p+0,       -0x1p-101, INEXACT)
+T(RN,         0x1p-73,          0x1p+0,        -0x1p-50, INEXACT)
+T(RN,         0x1p-66,          0x1p+0,        -0x1p-43, INEXACT)
+T(RN,         0x1p-65,          0x1p+0,        -0x1p-42, INEXACT)
+T(RN,  0x1.fffffep-24,   0x1.000002p+0,  0x1.555556p-48, INEXACT)
+T(RN,  0x1.fffff8p-23,   0x1.000004p+0,  0x1.000006p-22, INEXACT)
+T(RN,  0x1.fffff8p-22,   0x1.000008p+0,  0x1.555558p-42, INEXACT)
+T(RN,       -0x1p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RN,       -0x1p-128,          0x1p+0,        0x1p-105, INEXACT)
+T(RN,       -0x1p-127,          0x1p+0,        0x1p-105, INEXACT)
+T(RN,-0x1.fffff8p-127,          0x1p+0,      0x1.8p-104, INEXACT)
+T(RN,-0x1.fffffcp-127,          0x1p+0,      0x1.8p-104, INEXACT)
+T(RN,-0x1.000002p-126,          0x1p+0,      0x1.4p-103, INEXACT)
+T(RN,-0x1.000004p-126,          0x1p+0,      0x1.4p-103, INEXACT)
+T(RN,       -0x1p-125,          0x1p+0,      0x1.cp-103, INEXACT)
+T(RN,       -0x1p-124,          0x1p+0,      0x1.ep-102, INEXACT)
+T(RN,        -0x1p-73,          0x1p+0,         0x1p-50, INEXACT)
+T(RN,        -0x1p-66,          0x1p+0,         0x1p-43, INEXACT)
+T(RN, -0x1.000002p-22,   0x1.fffff8p-1, -0x1.555554p-44, INEXACT)
+T(RN, -0x1.800008p-22,   0x1.fffff4p-1,  0x1.bfffecp-21, INEXACT)
+T(RN,       0x1.64p+6,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,    0x1.c9c8p+13,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,         0x1p+14,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,         0x1p+18,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,        0x1p+119,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,        0x1p+125,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,        0x1p+126,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,        0x1p+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.ffffeep+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffff8p+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffffap+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffffcp+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,       -0x1.ap+6,          0x0p+0,  -0x1.f1e6b6p-2, INEXACT|UNDERFLOW)
+T(RN,   -0x1.c9c8p+13,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,        -0x1p+18,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,       -0x1p+123,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,       -0x1p+124,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,       -0x1p+125,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,       -0x1p+126,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,       -0x1p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffeep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.fffff8p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.fffffap+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.fffffcp+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RU,          0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RU,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RU,            -inf,          0x0p+0,          0x0p+0, 0)
+T(RU,       -0x1p-149,          0x1p+0,          0x0p+0, INEXACT)
+T(RU,       -0x1p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RU,       -0x1p-128,          0x1p+0,          0x0p+0, INEXACT)
+T(RU,       -0x1p-127,          0x1p+0,        0x1p-105, INEXACT)
+T(RU,-0x1.fffff8p-127,          0x1p+0,      0x1.8p-104, INEXACT)
+T(RU,-0x1.fffffcp-127,          0x1p+0,      0x1.8p-104, INEXACT)
+T(RU,       -0x1p-126,          0x1p+0,      0x1.8p-104, INEXACT)
+T(RU,-0x1.000002p-126,          0x1p+0,        0x1p-103, INEXACT)
+T(RU,-0x1.000004p-126,          0x1p+0,        0x1p-103, INEXACT)
+T(RU,       -0x1p-125,          0x1p+0,      0x1.cp-103, INEXACT)
+T(RU,       -0x1p-124,          0x1p+0,      0x1.ep-102, INEXACT)
+T(RU,        -0x1p-73,          0x1p+0,         0x1p-50, INEXACT)
+T(RU,        -0x1p-66,          0x1p+0,         0x1p-43, INEXACT)
+T(RU,       0x1.64p+6,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,    0x1.c9c8p+13,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,         0x1p+14,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,         0x1p+18,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,        0x1p+119,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,        0x1p+125,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,        0x1p+126,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,        0x1p+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.ffffeep+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.fffff8p+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.fffffap+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.fffffcp+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,        -0x1p+18,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p+123,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p+124,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p+125,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p+126,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.ffffeep+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.fffff8p+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.fffffap+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.fffffcp+127,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,             nan,             nan,          0x0p+0, 0)
+T(RU,             nan,             nan,          0x0p+0, 0)
+T(RU,        0x1p-149,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-148,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,      0x1.8p-148,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-128,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-127,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.fffff8p-127,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.fffffcp-127,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-126,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.000002p-126,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.000004p-126,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.fffffap-126,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU, 0x1.fffffep-126,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-125,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,        0x1p-124,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,         0x1p-73,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,         0x1p-66,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,         0x1p-65,   0x1.000002p+0,          0x1p+0, INEXACT)
+T(RU,  0x1.fffffep-24,   0x1.000002p+0,  0x1.555556p-48, INEXACT)
+T(RU,  0x1.fffff8p-23,   0x1.000004p+0,  0x1.000008p-22, INEXACT)
+T(RU,  0x1.fffff8p-22,   0x1.000008p+0,  0x1.555558p-42, INEXACT)
+T(RU, -0x1.000002p-22,   0x1.fffffap-1,          0x1p+0, INEXACT)
+T(RU, -0x1.800008p-22,   0x1.fffff4p-1,  0x1.bfffeep-21, INEXACT)
+T(RU,       -0x1.ap+6,        0x1p-149,   0x1.070ca4p-1, INEXACT|UNDERFLOW)
+T(RU,   -0x1.c9c8p+13,        0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
+T(RZ,          0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RZ,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
+T(RZ,            -inf,          0x0p+0,          0x0p+0, 0)
+T(RZ,        0x1p-149,          0x1p+0,          0x0p+0, INEXACT)
+T(RZ,        0x1p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RZ,      0x1.8p-148,          0x1p+0,          0x0p+0, INEXACT)
+T(RZ,        0x1p-128,          0x1p+0,          0x0p+0, INEXACT)
+T(RZ,        0x1p-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RZ, 0x1.fffff8p-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RZ, 0x1.fffffcp-127,          0x1p+0,       -0x1p-104, INEXACT)
+T(RZ,        0x1p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RZ, 0x1.000002p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RZ, 0x1.000004p-126,          0x1p+0,       -0x1p-103, INEXACT)
+T(RZ, 0x1.fffffap-126,          0x1p+0,     -0x1.8p-103, INEXACT)
+T(RZ, 0x1.fffffep-126,          0x1p+0,     -0x1.8p-103, INEXACT)
+T(RZ,        0x1p-125,          0x1p+0,       -0x1p-102, INEXACT)
+T(RZ,        0x1p-124,          0x1p+0,       -0x1p-101, INEXACT)
+T(RZ,         0x1p-73,          0x1p+0,        -0x1p-50, INEXACT)
+T(RZ,         0x1p-66,          0x1p+0,        -0x1p-43, INEXACT)
+T(RZ,         0x1p-65,          0x1p+0,        -0x1p-42, INEXACT)
+T(RZ,       0x1.64p+6, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,    0x1.c9c8p+13, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,         0x1p+14, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,         0x1p+18, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,        0x1p+119, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,        0x1p+125, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,        0x1p+126, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,        0x1p+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.ffffeep+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.fffff8p+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.fffffap+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.fffffcp+127, 0x1.fffffep+127,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,       -0x1.ap+6,          0x0p+0,  -0x1.f1e6b6p-2, INEXACT|UNDERFLOW)
+T(RZ,   -0x1.c9c8p+13,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,        -0x1p+18,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p+123,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p+124,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p+125,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p+126,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.ffffeep+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.fffff8p+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.fffffap+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.fffffcp+127,          0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,             nan,             nan,          0x0p+0, 0)
+T(RZ,             nan,             nan,          0x0p+0, 0)
+T(RZ,  0x1.fffffep-24,          0x1p+0,  -0x1.fffffep-1, INEXACT)
+T(RZ,  0x1.fffff8p-23,   0x1.000002p+0,  -0x1.fffff6p-1, INEXACT)
+T(RZ,  0x1.fffff8p-22,   0x1.000006p+0,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-149,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-148,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-128,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-127,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,-0x1.fffff8p-127,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,-0x1.fffffcp-127,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-126,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,-0x1.000002p-126,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,-0x1.000004p-126,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-125,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,       -0x1p-124,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,        -0x1p-73,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ,        -0x1p-66,   0x1.fffffep-1,  -0x1.fffffep-1, INEXACT)
+T(RZ, -0x1.000002p-22,   0x1.fffff8p-1, -0x1.555552p-44, INEXACT)
+T(RZ, -0x1.800008p-22,   0x1.fffff2p-1,  -0x1.ffffe4p-1, INEXACT)