Blame src/math/ucb/sqrt.h

nsz f9d179
// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
nsz f9d179
// Mountain View, California  94043 All rights reserved.
nsz f9d179
//
nsz f9d179
// Any person is hereby authorized to download, copy, use, create bug fixes,
nsz f9d179
// and distribute, subject to the following conditions:
nsz f9d179
//
nsz f9d179
// 	1.  the software may not be redistributed for a fee except as
nsz f9d179
// 	    reasonable to cover media costs;
nsz f9d179
// 	2.  any copy of the software must include this notice, as well as
nsz f9d179
// 	    any other embedded copyright notices; and
nsz f9d179
// 	3.  any distribution of this software or derivative works thereof
nsz f9d179
// 	    must comply with all applicable U.S. export control laws.
nsz f9d179
//
nsz f9d179
// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
nsz f9d179
// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
nsz f9d179
// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
nsz f9d179
// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
nsz f9d179
// SPECIFICATIONS.
nsz f9d179
//
nsz f9d179
// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
nsz f9d179
// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
nsz f9d179
// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
nsz f9d179
// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
nsz f9d179
// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
nsz f9d179
//
nsz f9d179
// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
nsz f9d179
// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
nsz f9d179
// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
nsz f9d179
// POSSIBILITY OF SUCH DAMAGES.
nsz f9d179
//
nsz f9d179
// This file is provided with no support and without any obligation on the
nsz f9d179
// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
nsz f9d179
// companies to assist in its use, correction, modification or
nsz f9d179
// enhancement.  Nevertheless, and without creating any obligation on its
nsz f9d179
// part, Sun welcomes your comments concerning the software and requests
nsz f9d179
// that they be sent to fdlibm-comments@sunpro.sun.com.
nsz f9d179
// sqrtd(+-0) is +-0
nsz f9d179
T(RN,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RN,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RZ,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RZ,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RU,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RU,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RD,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
nsz f9d179
T(RD,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
nsz f9d179
// sqrtd(+max) is finite
nsz f9d179
T(RN, 0x1.fffffffffffffp+1023,  0x1.fffffffffffffp+511,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ, 0x1.fffffffffffffp+1023,  0x1.fffffffffffffp+511,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RU, 0x1.fffffffffffffp+1023,                0x1p+512,          0x1p-2, INEXACT)
nsz f9d179
T(RD, 0x1.fffffffffffffp+1023,  0x1.fffffffffffffp+511,         -0x1p-1, INEXACT)
nsz f9d179
// sqrtd(4457404589857209) = 66763797
nsz f9d179
T(RN,   0x1.fabf8c265b372p+51,         0x1.fd5e0a8p+25,          0x0p+0, 0)
nsz f9d179
T(RZ,   0x1.fabf8c265b372p+51,         0x1.fd5e0a8p+25,          0x0p+0, 0)
nsz f9d179
T(RU,   0x1.fabf8c265b372p+51,         0x1.fd5e0a8p+25,          0x0p+0, 0)
nsz f9d179
T(RD,   0x1.fabf8c265b372p+51,         0x1.fd5e0a8p+25,          0x0p+0, 0)
nsz f9d179
// sqrtd(3911242719325041) = 62539929
nsz f9d179
T(RN,   0x1.bca8251d4d6e2p+51,         0x1.dd244c8p+25,          0x0p+0, 0)
nsz f9d179
T(RZ,   0x1.bca8251d4d6e2p+51,         0x1.dd244c8p+25,          0x0p+0, 0)
nsz f9d179
T(RU,   0x1.bca8251d4d6e2p+51,         0x1.dd244c8p+25,          0x0p+0, 0)
nsz f9d179
T(RD,   0x1.bca8251d4d6e2p+51,         0x1.dd244c8p+25,          0x0p+0, 0)
nsz f9d179
// sqrtd(4)=2
nsz f9d179
T(RN,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
nsz f9d179
T(RZ,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
nsz f9d179
T(RU,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
nsz f9d179
T(RD,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
nsz f9d179
// sqrtd(x) for x=1,1+ulp,1-ulp
nsz f9d179
T(RN,    0x1.0000000000001p+0,                  0x1p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
nsz f9d179
T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000001p+0,                  0x1p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RZ,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
Szabolcs Nagy c58b8e
T(RZ,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.0000000000001p+0,    0x1.0000000000001p+0,          0x1p-1, INEXACT)
nsz f9d179
T(RU,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
Szabolcs Nagy c58b8e
T(RU,    0x1.fffffffffffffp-1,                  0x1p+0,          0x1p-2, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000001p+0,                  0x1p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
nsz f9d179
T(RD,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,         -0x1p-1, INEXACT)
nsz f9d179
// sqrtd(+min) is non-zero
nsz f9d179
T(RN,               0x1p-1022,                0x1p-511,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p-1022,                0x1p-511,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p-1022,                0x1p-511,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p-1022,                0x1p-511,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1p-1074,                0x1p-537,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p-1074,                0x1p-537,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p-1074,                0x1p-537,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p-1074,                0x1p-537,          0x0p+0, 0)
nsz f9d179
// random arguments between 0 8
nsz f9d179
T(RN,    0x1.766bdb2b5006dp+1,    0x1.b5d6fec392e7dp+0,   0x1.81aab2p-2, INEXACT)
nsz f9d179
T(RN,    0x1.b6546fb825911p+2,    0x1.4efb330ef0b43p+1,   0x1.d98b1ap-2, INEXACT)
nsz f9d179
T(RN,    0x1.e165309de7505p+2,     0x1.5f0d324d38bdp+1,   -0x1.f328fp-4, INEXACT)
nsz f9d179
T(RN,    0x1.541dcfba96889p+0,     0x1.271370ec508dp+0,  -0x1.eda75cp-4, INEXACT)
nsz f9d179
T(RN,    0x1.754c3e27084ddp+1,    0x1.b52eb45df30b2p+0,  -0x1.d43724p-3, INEXACT)
nsz f9d179
T(RN,    0x1.ebe1e1b093c41p+1,    0x1.f5d722e54e976p+0,   0x1.6bca84p-2, INEXACT)
nsz f9d179
T(RN,    0x1.940d8d18455f5p+2,    0x1.419df976f692dp+1,  -0x1.8720aap-2, INEXACT)
nsz f9d179
T(RN,    0x1.dae714a51b239p+2,    0x1.5cad1a5584b9ap+1,  -0x1.3595b8p-3, INEXACT)
nsz f9d179
T(RN,    0x1.a9f2d1079de4dp+1,    0x1.d2ff13bff7b67p+0,    0x1.e9c98p-2, INEXACT)
nsz f9d179
T(RN,    0x1.57dd33103b871p-3,    0x1.a397d7b1e31f2p-2,  -0x1.222098p-3, INEXACT)
nsz f9d179
// sqrtd(inf) is inf
nsz f9d179
T(RN,                     inf,                     inf,          0x0p+0, 0)
nsz f9d179
T(RZ,                     inf,                     inf,          0x0p+0, 0)
nsz f9d179
T(RU,                     inf,                     inf,          0x0p+0, 0)
nsz f9d179
T(RD,                     inf,                     inf,          0x0p+0, 0)
nsz f9d179
// sqrtd(nan) is nan
nsz f9d179
T(RN,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
// sqrtd(-ve) is nan
nsz f9d179
T(RN,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,                    -inf,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,               0x1p-1072,                0x1p-536,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p-1024,                0x1p-512,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p-1020,                0x1p-510,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p-148,                 0x1p-74,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p-146,                 0x1p-73,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p-128,                 0x1p-64,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p-126,                 0x1p-63,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p-124,                 0x1p-62,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1.2p-15,                0x1.8p-8,          0x0p+0, 0)
nsz f9d179
T(RD,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1.2p-5,                0x1.8p-3,          0x0p+0, 0)
nsz f9d179
T(RD,                  0x1p-4,                  0x1p-2,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1.2p+3,                0x1.8p+1,          0x0p+0, 0)
nsz f9d179
T(RD,                  0x1p+8,                  0x1p+4,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1.2p+11,                0x1.8p+5,          0x0p+0, 0)
nsz f9d179
T(RD,            0x1.9f24p+14,               0x1.46p+7,          0x0p+0, 0)
nsz f9d179
T(RD,            0x1.b3c4p+14,               0x1.4ep+7,          0x0p+0, 0)
nsz f9d179
T(RD,            0x1.d3a4p+14,               0x1.5ap+7,          0x0p+0, 0)
nsz f9d179
T(RD,            0x1.f4a4p+14,               0x1.66p+7,          0x0p+0, 0)
nsz f9d179
T(RD,            0x1.ffe4p+14,               0x1.6ap+7,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1.2p+21,               0x1.8p+10,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p+124,                 0x1p+62,          0x0p+0, 0)
nsz f9d179
T(RD,                0x1p+126,                 0x1p+63,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p+1020,                0x1p+510,          0x0p+0, 0)
nsz f9d179
T(RD,               0x1p+1022,                0x1p+511,          0x0p+0, 0)
nsz f9d179
T(RD, 0x1.ffffffffffffep-1023,  0x1.ffffffffffffep-512,         -0x1p+0, INEXACT)
nsz f9d179
T(RD, 0x1.0000000000002p-1022,                0x1p-511,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffff7p-1,    0x1.ffffffffffffbp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffff8p-1,    0x1.ffffffffffffbp-1,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffff9p-1,    0x1.ffffffffffffcp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffffap-1,    0x1.ffffffffffffcp-1,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffffbp-1,    0x1.ffffffffffffdp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffdp-1,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffffdp-1,    0x1.ffffffffffffep-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000002p+0,                  0x1p+0,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000003p+0,    0x1.0000000000001p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000004p+0,    0x1.0000000000001p+0,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000005p+0,    0x1.0000000000002p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000006p+0,    0x1.0000000000002p+0,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,    0x1.0000000000007p+0,    0x1.0000000000003p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RD, 0x1.ffffffffffffep+1021,  0x1.ffffffffffffep+510,         -0x1p+0, INEXACT)
nsz f9d179
T(RD, 0x1.0000000000002p+1022,                0x1p+511,         -0x1p+0, INEXACT)
nsz f9d179
T(RD,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RD,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RD,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,            -0x1.4p-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,            -0x1.2p-1071,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.fffffffffffeep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffff2p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffff8p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffffap-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffffdp-1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.0000000000001p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,                -0x1p-52,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,                -0x1p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,              -0x1.8p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,   -0x1.8000000000004p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.ffffffffffffcp+1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.fffffffffffffp+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RD,                    -inf,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,               0x1p-1072,                0x1p-536,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1p-1024,                0x1p-512,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1p-1020,                0x1p-510,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p-148,                 0x1p-74,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p-146,                 0x1p-73,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p-128,                 0x1p-64,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p-126,                 0x1p-63,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p-124,                 0x1p-62,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1.2p-15,                0x1.8p-8,          0x0p+0, 0)
nsz f9d179
T(RN,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1.2p-5,                0x1.8p-3,          0x0p+0, 0)
nsz f9d179
T(RN,                  0x1p-4,                  0x1p-2,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1.2p+3,                0x1.8p+1,          0x0p+0, 0)
nsz f9d179
T(RN,                  0x1p+8,                  0x1p+4,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1.2p+11,                0x1.8p+5,          0x0p+0, 0)
nsz f9d179
T(RN,            0x1.9f24p+14,               0x1.46p+7,          0x0p+0, 0)
nsz f9d179
T(RN,            0x1.b3c4p+14,               0x1.4ep+7,          0x0p+0, 0)
nsz f9d179
T(RN,            0x1.d3a4p+14,               0x1.5ap+7,          0x0p+0, 0)
nsz f9d179
T(RN,            0x1.f4a4p+14,               0x1.66p+7,          0x0p+0, 0)
nsz f9d179
T(RN,            0x1.ffe4p+14,               0x1.6ap+7,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1.2p+21,               0x1.8p+10,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p+124,                 0x1p+62,          0x0p+0, 0)
nsz f9d179
T(RN,                0x1p+126,                 0x1p+63,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1p+1020,                0x1p+510,          0x0p+0, 0)
nsz f9d179
T(RN,               0x1p+1022,                0x1p+511,          0x0p+0, 0)
nsz f9d179
T(RN, 0x1.ffffffffffffep-1023,  0x1.fffffffffffffp-512,  0x1.000008p-54, INEXACT)
nsz f9d179
T(RN, 0x1.0000000000002p-1022,  0x1.0000000000001p-511,  0x1.fffff8p-54, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffff7p-1,    0x1.ffffffffffffbp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffff8p-1,    0x1.ffffffffffffcp-1,         0x1p-50, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffff9p-1,    0x1.ffffffffffffcp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffffap-1,    0x1.ffffffffffffdp-1,       0x1.2p-51, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffffbp-1,    0x1.ffffffffffffdp-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,  0x1.000002p-52, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffffdp-1,    0x1.ffffffffffffep-1,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp-1,  0x1.000008p-54, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000002p+0,    0x1.0000000000001p+0,  0x1.fffff8p-54, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000003p+0,    0x1.0000000000001p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000004p+0,    0x1.0000000000002p+0,  0x1.fffffep-52, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000005p+0,    0x1.0000000000002p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000006p+0,    0x1.0000000000003p+0,       0x1.2p-50, INEXACT)
nsz f9d179
T(RN,    0x1.0000000000007p+0,    0x1.0000000000003p+0,         -0x1p-1, INEXACT)
nsz f9d179
T(RN, 0x1.ffffffffffffep+1021,  0x1.fffffffffffffp+510,  0x1.000008p-54, INEXACT)
nsz f9d179
T(RN, 0x1.0000000000002p+1022,  0x1.0000000000001p+511,  0x1.fffff8p-54, INEXACT)
nsz f9d179
T(RN,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RN,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,            -0x1.4p-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,            -0x1.2p-1071,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.fffffffffffeep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffff2p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffff8p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffffap-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffffdp-1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.0000000000001p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,                -0x1p-52,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,                -0x1p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,              -0x1.8p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,   -0x1.8000000000004p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.ffffffffffffcp+1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.fffffffffffffp+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RN,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,               0x1p-1072,                0x1p-536,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p-1024,                0x1p-512,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p-1020,                0x1p-510,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p-148,                 0x1p-74,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p-146,                 0x1p-73,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p-128,                 0x1p-64,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p-126,                 0x1p-63,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p-124,                 0x1p-62,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1.2p-15,                0x1.8p-8,          0x0p+0, 0)
nsz f9d179
T(RU,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1.2p-5,                0x1.8p-3,          0x0p+0, 0)
nsz f9d179
T(RU,                  0x1p-4,                  0x1p-2,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1.2p+3,                0x1.8p+1,          0x0p+0, 0)
nsz f9d179
T(RU,                  0x1p+8,                  0x1p+4,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1.2p+11,                0x1.8p+5,          0x0p+0, 0)
nsz f9d179
T(RU,            0x1.9f24p+14,               0x1.46p+7,          0x0p+0, 0)
nsz f9d179
T(RU,            0x1.b3c4p+14,               0x1.4ep+7,          0x0p+0, 0)
nsz f9d179
T(RU,            0x1.d3a4p+14,               0x1.5ap+7,          0x0p+0, 0)
nsz f9d179
T(RU,            0x1.f4a4p+14,               0x1.66p+7,          0x0p+0, 0)
nsz f9d179
T(RU,            0x1.ffe4p+14,               0x1.6ap+7,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1.2p+21,               0x1.8p+10,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p+124,                 0x1p+62,          0x0p+0, 0)
nsz f9d179
T(RU,                0x1p+126,                 0x1p+63,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p+1020,                0x1p+510,          0x0p+0, 0)
nsz f9d179
T(RU,               0x1p+1022,                0x1p+511,          0x0p+0, 0)
nsz f9d179
T(RU, 0x1.ffffffffffffep-1023,  0x1.fffffffffffffp-512,         0x1p-54, INEXACT)
nsz f9d179
T(RU, 0x1.0000000000002p-1022,  0x1.0000000000001p-511,  0x1.fffff8p-54, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.ffffffffffff7p-1,    0x1.ffffffffffffcp-1,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.ffffffffffff8p-1,    0x1.ffffffffffffcp-1,         0x1p-50, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.ffffffffffff9p-1,    0x1.ffffffffffffdp-1,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.ffffffffffffap-1,    0x1.ffffffffffffdp-1,       0x1.2p-51, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.ffffffffffffbp-1,    0x1.ffffffffffffep-1,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,         0x1p-52, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.ffffffffffffdp-1,    0x1.fffffffffffffp-1,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp-1,         0x1p-54, INEXACT)
nsz f9d179
T(RU,    0x1.0000000000002p+0,    0x1.0000000000001p+0,  0x1.fffff8p-54, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.0000000000003p+0,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.0000000000004p+0,    0x1.0000000000002p+0,  0x1.fffffep-52, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.0000000000005p+0,    0x1.0000000000003p+0,          0x1p-1, INEXACT)
nsz f9d179
T(RU,    0x1.0000000000006p+0,    0x1.0000000000003p+0,       0x1.2p-50, INEXACT)
Szabolcs Nagy c58b8e
T(RU,    0x1.0000000000007p+0,    0x1.0000000000004p+0,          0x1p-1, INEXACT)
nsz f9d179
T(RU, 0x1.ffffffffffffep+1021,  0x1.fffffffffffffp+510,         0x1p-54, INEXACT)
nsz f9d179
T(RU, 0x1.0000000000002p+1022,  0x1.0000000000001p+511,  0x1.fffff8p-54, INEXACT)
nsz f9d179
T(RU,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RU,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RU,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,            -0x1.4p-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,            -0x1.2p-1071,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.fffffffffffeep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffff2p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffff8p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffffap-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffffdp-1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.0000000000001p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,                -0x1p-52,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,                -0x1p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,              -0x1.8p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,   -0x1.8000000000004p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.ffffffffffffcp+1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.fffffffffffffp+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RU,                    -inf,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,               0x1p-1072,                0x1p-536,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p-1024,                0x1p-512,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p-1020,                0x1p-510,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p-148,                 0x1p-74,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p-146,                 0x1p-73,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p-128,                 0x1p-64,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p-126,                 0x1p-63,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p-124,                 0x1p-62,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1.2p-15,                0x1.8p-8,          0x0p+0, 0)
nsz f9d179
T(RZ,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1.2p-5,                0x1.8p-3,          0x0p+0, 0)
nsz f9d179
T(RZ,                  0x1p-4,                  0x1p-2,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1.2p+3,                0x1.8p+1,          0x0p+0, 0)
nsz f9d179
T(RZ,                  0x1p+8,                  0x1p+4,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1.2p+11,                0x1.8p+5,          0x0p+0, 0)
nsz f9d179
T(RZ,            0x1.9f24p+14,               0x1.46p+7,          0x0p+0, 0)
nsz f9d179
T(RZ,            0x1.b3c4p+14,               0x1.4ep+7,          0x0p+0, 0)
nsz f9d179
T(RZ,            0x1.d3a4p+14,               0x1.5ap+7,          0x0p+0, 0)
nsz f9d179
T(RZ,            0x1.f4a4p+14,               0x1.66p+7,          0x0p+0, 0)
nsz f9d179
T(RZ,            0x1.ffe4p+14,               0x1.6ap+7,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1.2p+21,               0x1.8p+10,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p+124,                 0x1p+62,          0x0p+0, 0)
nsz f9d179
T(RZ,                0x1p+126,                 0x1p+63,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p+1020,                0x1p+510,          0x0p+0, 0)
nsz f9d179
T(RZ,               0x1p+1022,                0x1p+511,          0x0p+0, 0)
Szabolcs Nagy c58b8e
T(RZ, 0x1.ffffffffffffep-1023,  0x1.ffffffffffffep-512,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ, 0x1.0000000000002p-1022,                0x1p-511,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffff7p-1,    0x1.ffffffffffffbp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffff8p-1,    0x1.ffffffffffffbp-1,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffff9p-1,    0x1.ffffffffffffcp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffffap-1,    0x1.ffffffffffffcp-1,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffffbp-1,    0x1.ffffffffffffdp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffdp-1,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffffdp-1,    0x1.ffffffffffffep-1,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000002p+0,                  0x1p+0,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000003p+0,    0x1.0000000000001p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000004p+0,    0x1.0000000000001p+0,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000005p+0,    0x1.0000000000002p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000006p+0,    0x1.0000000000002p+0,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ,    0x1.0000000000007p+0,    0x1.0000000000003p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy c58b8e
T(RZ, 0x1.ffffffffffffep+1021,  0x1.ffffffffffffep+510,         -0x1p+0, INEXACT)
Szabolcs Nagy c58b8e
T(RZ, 0x1.0000000000002p+1022,                0x1p+511,         -0x1p+0, INEXACT)
nsz f9d179
T(RZ,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RZ,                     nan,                     nan,          0x0p+0, 0)
nsz f9d179
T(RZ,              -0x1p-1074,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,              -0x1p-1073,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,            -0x1.4p-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,            -0x1.cp-1072,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,            -0x1.2p-1071,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.fffffffffffeep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffff2p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffff8p-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffffap-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffffcp-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffffdp-1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,              -0x1p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.0000000000001p-1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,                -0x1p-52,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,                -0x1p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,              -0x1.8p-51,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,                 -0x1p+0,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,   -0x1.0000000000002p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,   -0x1.8000000000004p+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,   -0x1.ffffffffffffbp+1,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.ffffffffffffcp+1021,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.0000000000002p+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.fffffffffffffp+1022,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,-0x1.0000000000002p+1023,                     nan,          0x0p+0, INVALID)
nsz f9d179
T(RZ,                    -inf,                     nan,          0x0p+0, INVALID)