xref: /third_party/musl/libc-test/src/math/ucb/hypotf.h (revision 570af302)
1// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
2// Mountain View, California  94043 All rights reserved.
3//
4// Any person is hereby authorized to download, copy, use, create bug fixes,
5// and distribute, subject to the following conditions:
6//
7// 	1.  the software may not be redistributed for a fee except as
8// 	    reasonable to cover media costs;
9// 	2.  any copy of the software must include this notice, as well as
10// 	    any other embedded copyright notices; and
11// 	3.  any distribution of this software or derivative works thereof
12// 	    must comply with all applicable U.S. export control laws.
13//
14// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
15// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
16// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
17// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
18// SPECIFICATIONS.
19//
20// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
21// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
22// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
23// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
24// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
25//
26// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
27// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
28// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
29// POSSIBILITY OF SUCH DAMAGES.
30//
31// This file is provided with no support and without any obligation on the
32// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
33// companies to assist in its use, correction, modification or
34// enhancement.  Nevertheless, and without creating any obligation on its
35// part, Sun welcomes your comments concerning the software and requests
36// that they be sent to fdlibm-comments@sunpro.sun.com.
37// 0.7max,0.6max
38T(RN, 0x1.666666p+127, 0x1.333334p+127, 0x1.d80a6ap+127,   0x1.b63f02p-7, INEXACT)
39T(RZ, 0x1.666666p+127, 0x1.333334p+127, 0x1.d80a68p+127,  -0x1.f92704p-1, INEXACT)
40T(RU, 0x1.666666p+127, 0x1.333334p+127, 0x1.d80a6ap+127,   0x1.b63f02p-7, INEXACT)
41T(RD, 0x1.666666p+127, 0x1.333334p+127, 0x1.d80a68p+127,  -0x1.f92704p-1, INEXACT)
42// tiny,huge = huge,tiny = huge
43T(RN,          0x0p+0, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
44T(RN,        0x1p-149, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, INEXACT)
45T(RN,        0x1p-126, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, INEXACT)
46T(RN,          0x1p+0, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, INEXACT)
47T(RN, 0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
48T(RN, 0x1.fffffep+127,        0x1p-149, 0x1.fffffep+127,          0x0p+0, INEXACT)
49T(RN, 0x1.fffffep+127,        0x1p-126, 0x1.fffffep+127,          0x0p+0, INEXACT)
50T(RN, 0x1.fffffep+127,          0x1p+0, 0x1.fffffep+127,          0x0p+0, INEXACT)
51// pythagoras integers test
52T(RN,  0x1.ffe39cp+22,     0x1.c48p+14,  0x1.ffe464p+22,          0x0p+0, 0)
53T(RN,  0x1.ffe2bcp+22,     0x1.974p+15,  0x1.ffe544p+22,          0x0p+0, 0)
54T(RN,  0x1.ffe15cp+22,     0x1.262p+16,  0x1.ffe6a4p+22,          0x0p+0, 0)
55T(RN,  0x1.ffdf7cp+22,     0x1.80ap+16,  0x1.ffe884p+22,          0x0p+0, 0)
56T(RN,  0x1.001f3ap+23,     0x1.6a2p+13,  0x1.001f4ap+23,          0x0p+0, 0)
57T(RN,  0x1.001efap+23,    0x1.0f98p+15,  0x1.001f8ap+23,          0x0p+0, 0)
58T(RN,  0x1.001e7ap+23,    0x1.c4a8p+15,  0x1.00200ap+23,          0x0p+0, 0)
59T(RN,  0x1.001dbap+23,    0x1.3cdcp+16,  0x1.0020cap+23,          0x0p+0, 0)
60T(RN,  0x1.001cbap+23,    0x1.9764p+16,  0x1.0021cap+23,          0x0p+0, 0)
61T(RN,  0x1.004c86p+23,     0x1.6a4p+12,  0x1.004c8ap+23,          0x0p+0, 0)
62T(RN,  0x1.004c56p+23,     0x1.c4dp+14,  0x1.004cbap+23,          0x0p+0, 0)
63T(RN,  0x1.004be6p+23,    0x1.9788p+15,  0x1.004d2ap+23,          0x0p+0, 0)
64T(RN,  0x1.004b36p+23,    0x1.2654p+16,  0x1.004ddap+23,          0x0p+0, 0)
65T(RN,  0x1.004a46p+23,    0x1.80e4p+16,  0x1.004ecap+23,          0x0p+0, 0)
66T(RN,  0x1.0079cap+23,     0x1.6a6p+13,  0x1.0079dap+23,          0x0p+0, 0)
67T(RN,  0x1.00798ap+23,    0x1.0fc8p+15,  0x1.007a1ap+23,          0x0p+0, 0)
68T(RN,  0x1.00790ap+23,    0x1.c4f8p+15,  0x1.007a9ap+23,          0x0p+0, 0)
69T(RN,  0x1.00784ap+23,    0x1.3d14p+16,  0x1.007b5ap+23,          0x0p+0, 0)
70T(RN,  0x1.00774ap+23,    0x1.97acp+16,  0x1.007c5ap+23,          0x0p+0, 0)
71T(RN,  0x1.00a71ep+23,     0x1.6a8p+12,  0x1.00a722p+23,          0x0p+0, 0)
72// radom argument in (-10,10)
73T(RN,  -0x1.57f25cp+1,    0x1.c7d31p+2,   0x1.e72fc4p+2,   -0x1.2ed8fp-2, INEXACT)
74T(RN,    0x1.19be7p+3,   -0x1.ab6d7p+2,   0x1.61a0ecp+3,  -0x1.a978c8p-6, INEXACT)
75T(RN,  -0x1.5ac18ep+1,  -0x1.925982p-2,   0x1.5e6268p+1,  -0x1.55d62cp-3, INEXACT)
76T(RN,   0x1.7221cep+2,   0x1.11a0d4p+3,   0x1.4a5602p+3,   0x1.73f5f4p-2, INEXACT)
77T(RN,  -0x1.ae41a2p+0,  -0x1.329154p+3,    0x1.373fep+3,   0x1.1a3a8cp-3, INEXACT)
78T(RN,   -0x1.0accfp+2,   0x1.d94512p-2,   0x1.0c6f6ap+2,  -0x1.526f22p-3, INEXACT)
79T(RN,    -0x1.e564p+2,   0x1.c7cbf2p+2,   0x1.4ceca6p+3,  -0x1.e8dcc2p-4, INEXACT)
80T(RN,  -0x1.3ec60ep+3,  -0x1.3fa3cep+3,   0x1.c36d4cp+3,   0x1.10fbdcp-5, INEXACT)
81T(RN,  -0x1.236fd2p+2,   0x1.742432p+2,   0x1.d8ad9ap+2,  -0x1.2fb484p-3, INEXACT)
82T(RN,   0x1.6f651ep+1,   0x1.3bfd78p+2,   0x1.6d817ep+2,  -0x1.ba32cep-2, INEXACT)
83// nan's resutls
84T(RN,             nan,          0x1p+0,             nan,          0x0p+0, 0)
85T(RN,             nan,          0x1p+0,             nan,          0x0p+0, 0)
86T(RN,             nan,             nan,             nan,          0x0p+0, 0)
87T(RN,             nan,             nan,             nan,          0x0p+0, 0)
88// inf result
89T(RN,            -inf,             nan,             inf,          0x0p+0, 0)
90T(RZ,             nan,            -inf,             inf,          0x0p+0, 0)
91// inf result with snan argument raise invalid flag
92T(RN,             nan,             inf,             inf,          0x0p+0, 0)
93// overflow
94T(RN,-0x1.fffffep+127, 0x1.fddddcp+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
95T(RZ,-0x1.fffffep+127, 0x1.fddddcp+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
96T(RU,-0x1.fffffep+127, 0x1.fddddcp+127,             inf,          0x0p+0, INEXACT|OVERFLOW)
97T(RD,-0x1.fffffep+127, 0x1.fddddcp+127, 0x1.fffffep+127,         -0x1p+0, INEXACT|OVERFLOW)
98// subnormal number
99T(RN,          0x0p+0,        0x1p-149,        0x1p-149,          0x0p+0, 0)
100T(RN,        0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
101T(RN,        0x1p-126,          0x0p+0,        0x1p-126,          0x0p+0, 0)
102T(RN,          0x0p+0,       -0x1p-126,        0x1p-126,          0x0p+0, 0)
103T(RN,        0x1p-149,        0x1p-149,        0x1p-149,  -0x1.a8279ap-2, INEXACT|UNDERFLOW)
104T(RN,       -0x1p-148,       -0x1p-148,      0x1.8p-148,   0x1.5f619ap-3, INEXACT|UNDERFLOW)
105T(RD,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
106T(RD,          0x0p+0,        0x1p-149,        0x1p-149,          0x0p+0, 0)
107T(RD,          0x0p+0, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
108T(RD,          0x0p+0,          0x1p+0,          0x1p+0,          0x0p+0, 0)
109T(RD,          0x0p+0,        0x1p+127,        0x1p+127,          0x0p+0, 0)
110T(RD,          0x0p+0, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
111T(RD,          0x0p+0,             inf,             inf,          0x0p+0, 0)
112T(RD,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
113T(RD,          0x0p+0,       -0x1p-149,        0x1p-149,          0x0p+0, 0)
114T(RD,          0x0p+0,-0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
115T(RD,          0x0p+0,         -0x1p+0,          0x1p+0,          0x0p+0, 0)
116T(RD,          0x0p+0,       -0x1p+127,        0x1p+127,          0x0p+0, 0)
117T(RD,          0x0p+0,-0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
118T(RD,          0x0p+0,            -inf,             inf,          0x0p+0, 0)
119T(RD,        0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
120T(RD, 0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
121T(RD,          0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
122T(RD,        0x1.8p+3,       -0x1.4p+2,        0x1.ap+3,          0x0p+0, 0)
123T(RD,        0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
124T(RD, 0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
125T(RD,             inf,          0x0p+0,             inf,          0x0p+0, 0)
126T(RD,             inf,             nan,             inf,          0x0p+0, 0)
127T(RD,             inf,             nan,             inf,          0x0p+0, 0)
128T(RD,             nan,             inf,             inf,          0x0p+0, 0)
129T(RD,             nan,            -inf,             inf,          0x0p+0, 0)
130T(RD,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
131T(RD,       -0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
132T(RD,-0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
133T(RD,         -0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
134T(RD,       -0x1.8p+1,         -0x1p+2,        0x1.4p+2,          0x0p+0, 0)
135T(RD,       -0x1.8p+4,        0x1.cp+2,        0x1.9p+4,          0x0p+0, 0)
136T(RD,       -0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
137T(RD,-0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
138T(RD,            -inf,          0x0p+0,             inf,          0x0p+0, 0)
139T(RD,            -inf,             nan,             inf,          0x0p+0, 0)
140T(RD,            -inf,             nan,             inf,          0x0p+0, 0)
141T(RD,             nan,             inf,             inf,          0x0p+0, 0)
142T(RD,             nan,            -inf,             inf,          0x0p+0, 0)
143T(RD,          0x0p+0,             nan,             nan,          0x0p+0, 0)
144T(RD,          0x0p+0,             nan,             nan,          0x0p+0, 0)
145T(RD,        0x1p-149,             nan,             nan,          0x0p+0, 0)
146T(RD,      0x1.8p-148,             nan,             nan,          0x0p+0, 0)
147T(RD,             nan,          0x0p+0,             nan,          0x0p+0, 0)
148T(RD,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
149T(RD,             nan,     -0x1.8p-148,             nan,          0x0p+0, 0)
150T(RD,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
151T(RD,     -0x1.8p-148,             nan,             nan,          0x0p+0, 0)
152T(RD,             nan,          0x0p+0,             nan,          0x0p+0, 0)
153T(RD,             nan,        0x1p-149,             nan,          0x0p+0, 0)
154T(RD,             nan,      0x1.8p-148,             nan,          0x0p+0, 0)
155T(RN,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
156T(RN,          0x0p+0, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
157T(RN,          0x0p+0,          0x1p+0,          0x1p+0,          0x0p+0, 0)
158T(RN,          0x0p+0,        0x1p+127,        0x1p+127,          0x0p+0, 0)
159T(RN,          0x0p+0,             inf,             inf,          0x0p+0, 0)
160T(RN,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
161T(RN,          0x0p+0,       -0x1p-149,        0x1p-149,          0x0p+0, 0)
162T(RN,          0x0p+0,-0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
163T(RN,          0x0p+0,         -0x1p+0,          0x1p+0,          0x0p+0, 0)
164T(RN,          0x0p+0,       -0x1p+127,        0x1p+127,          0x0p+0, 0)
165T(RN,          0x0p+0,-0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
166T(RN,          0x0p+0,            -inf,             inf,          0x0p+0, 0)
167T(RN, 0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
168T(RN,          0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
169T(RN,        0x1.8p+3,       -0x1.4p+2,        0x1.ap+3,          0x0p+0, 0)
170T(RN,        0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
171T(RN,             inf,          0x0p+0,             inf,          0x0p+0, 0)
172T(RN,             inf,             nan,             inf,          0x0p+0, 0)
173T(RN,             inf,             nan,             inf,          0x0p+0, 0)
174T(RN,             nan,             inf,             inf,          0x0p+0, 0)
175T(RN,             nan,            -inf,             inf,          0x0p+0, 0)
176T(RN,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
177T(RN,       -0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
178T(RN,-0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
179T(RN,         -0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
180T(RN,       -0x1.8p+1,         -0x1p+2,        0x1.4p+2,          0x0p+0, 0)
181T(RN,       -0x1.8p+4,        0x1.cp+2,        0x1.9p+4,          0x0p+0, 0)
182T(RN,       -0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
183T(RN,-0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
184T(RN,            -inf,          0x0p+0,             inf,          0x0p+0, 0)
185T(RN,            -inf,             nan,             inf,          0x0p+0, 0)
186T(RN,             nan,            -inf,             inf,          0x0p+0, 0)
187T(RN,          0x0p+0,             nan,             nan,          0x0p+0, 0)
188T(RN,          0x0p+0,             nan,             nan,          0x0p+0, 0)
189T(RN,        0x1p-149,             nan,             nan,          0x0p+0, 0)
190T(RN,      0x1.8p-148,             nan,             nan,          0x0p+0, 0)
191T(RN,             nan,          0x0p+0,             nan,          0x0p+0, 0)
192T(RN,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
193T(RN,             nan,     -0x1.8p-148,             nan,          0x0p+0, 0)
194T(RN,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
195T(RN,     -0x1.8p-148,             nan,             nan,          0x0p+0, 0)
196T(RN,             nan,          0x0p+0,             nan,          0x0p+0, 0)
197T(RN,             nan,        0x1p-149,             nan,          0x0p+0, 0)
198T(RN,             nan,      0x1.8p-148,             nan,          0x0p+0, 0)
199T(RU,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
200T(RU,          0x0p+0,        0x1p-149,        0x1p-149,          0x0p+0, 0)
201T(RU,          0x0p+0, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
202T(RU,          0x0p+0,          0x1p+0,          0x1p+0,          0x0p+0, 0)
203T(RU,          0x0p+0,        0x1p+127,        0x1p+127,          0x0p+0, 0)
204T(RU,          0x0p+0, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
205T(RU,          0x0p+0,             inf,             inf,          0x0p+0, 0)
206T(RU,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
207T(RU,          0x0p+0,       -0x1p-149,        0x1p-149,          0x0p+0, 0)
208T(RU,          0x0p+0,-0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
209T(RU,          0x0p+0,         -0x1p+0,          0x1p+0,          0x0p+0, 0)
210T(RU,          0x0p+0,       -0x1p+127,        0x1p+127,          0x0p+0, 0)
211T(RU,          0x0p+0,-0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
212T(RU,          0x0p+0,            -inf,             inf,          0x0p+0, 0)
213T(RU,        0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
214T(RU, 0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
215T(RU,          0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
216T(RU,        0x1.8p+3,       -0x1.4p+2,        0x1.ap+3,          0x0p+0, 0)
217T(RU,        0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
218T(RU, 0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
219T(RU,             inf,          0x0p+0,             inf,          0x0p+0, 0)
220T(RU,             inf,             nan,             inf,          0x0p+0, 0)
221T(RU,             inf,             nan,             inf,          0x0p+0, 0)
222T(RU,             nan,             inf,             inf,          0x0p+0, 0)
223T(RU,             nan,            -inf,             inf,          0x0p+0, 0)
224T(RU,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
225T(RU,       -0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
226T(RU,-0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
227T(RU,         -0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
228T(RU,       -0x1.8p+1,         -0x1p+2,        0x1.4p+2,          0x0p+0, 0)
229T(RU,       -0x1.8p+4,        0x1.cp+2,        0x1.9p+4,          0x0p+0, 0)
230T(RU,       -0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
231T(RU,-0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
232T(RU,            -inf,          0x0p+0,             inf,          0x0p+0, 0)
233T(RU,            -inf,             nan,             inf,          0x0p+0, 0)
234T(RU,            -inf,             nan,             inf,          0x0p+0, 0)
235T(RU,             nan,             inf,             inf,          0x0p+0, 0)
236T(RU,             nan,            -inf,             inf,          0x0p+0, 0)
237T(RU,          0x0p+0,             nan,             nan,          0x0p+0, 0)
238T(RU,          0x0p+0,             nan,             nan,          0x0p+0, 0)
239T(RU,        0x1p-149,             nan,             nan,          0x0p+0, 0)
240T(RU,      0x1.8p-148,             nan,             nan,          0x0p+0, 0)
241T(RU,             nan,          0x0p+0,             nan,          0x0p+0, 0)
242T(RU,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
243T(RU,             nan,     -0x1.8p-148,             nan,          0x0p+0, 0)
244T(RU,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
245T(RU,     -0x1.8p-148,             nan,             nan,          0x0p+0, 0)
246T(RU,             nan,          0x0p+0,             nan,          0x0p+0, 0)
247T(RU,             nan,        0x1p-149,             nan,          0x0p+0, 0)
248T(RU,             nan,      0x1.8p-148,             nan,          0x0p+0, 0)
249T(RZ,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
250T(RZ,          0x0p+0,        0x1p-149,        0x1p-149,          0x0p+0, 0)
251T(RZ,          0x0p+0, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
252T(RZ,          0x0p+0,          0x1p+0,          0x1p+0,          0x0p+0, 0)
253T(RZ,          0x0p+0,        0x1p+127,        0x1p+127,          0x0p+0, 0)
254T(RZ,          0x0p+0, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
255T(RZ,          0x0p+0,             inf,             inf,          0x0p+0, 0)
256T(RZ,          0x0p+0,         -0x0p+0,          0x0p+0,          0x0p+0, 0)
257T(RZ,          0x0p+0,       -0x1p-149,        0x1p-149,          0x0p+0, 0)
258T(RZ,          0x0p+0,-0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, 0)
259T(RZ,          0x0p+0,         -0x1p+0,          0x1p+0,          0x0p+0, 0)
260T(RZ,          0x0p+0,       -0x1p+127,        0x1p+127,          0x0p+0, 0)
261T(RZ,          0x0p+0,-0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0, 0)
262T(RZ,          0x0p+0,            -inf,             inf,          0x0p+0, 0)
263T(RZ,        0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
264T(RZ, 0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
265T(RZ,          0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
266T(RZ,        0x1.8p+3,       -0x1.4p+2,        0x1.ap+3,          0x0p+0, 0)
267T(RZ,        0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
268T(RZ, 0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
269T(RZ,             inf,          0x0p+0,             inf,          0x0p+0, 0)
270T(RZ,             inf,             nan,             inf,          0x0p+0, 0)
271T(RZ,             inf,             nan,             inf,          0x0p+0, 0)
272T(RZ,             nan,             inf,             inf,          0x0p+0, 0)
273T(RZ,             nan,            -inf,             inf,          0x0p+0, 0)
274T(RZ,         -0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
275T(RZ,       -0x1p-149,          0x0p+0,        0x1p-149,          0x0p+0, 0)
276T(RZ,-0x1.fffffcp-127,          0x0p+0, 0x1.fffffcp-127,          0x0p+0, 0)
277T(RZ,         -0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
278T(RZ,       -0x1.8p+1,         -0x1p+2,        0x1.4p+2,          0x0p+0, 0)
279T(RZ,       -0x1.8p+4,        0x1.cp+2,        0x1.9p+4,          0x0p+0, 0)
280T(RZ,       -0x1p+127,          0x0p+0,        0x1p+127,          0x0p+0, 0)
281T(RZ,-0x1.fffffep+127,          0x0p+0, 0x1.fffffep+127,          0x0p+0, 0)
282T(RZ,            -inf,          0x0p+0,             inf,          0x0p+0, 0)
283T(RZ,            -inf,             nan,             inf,          0x0p+0, 0)
284T(RZ,            -inf,             nan,             inf,          0x0p+0, 0)
285T(RZ,             nan,             inf,             inf,          0x0p+0, 0)
286T(RZ,          0x0p+0,             nan,             nan,          0x0p+0, 0)
287T(RZ,          0x0p+0,             nan,             nan,          0x0p+0, 0)
288T(RZ,        0x1p-149,             nan,             nan,          0x0p+0, 0)
289T(RZ,      0x1.8p-148,             nan,             nan,          0x0p+0, 0)
290T(RZ,             nan,          0x0p+0,             nan,          0x0p+0, 0)
291T(RZ,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
292T(RZ,             nan,     -0x1.8p-148,             nan,          0x0p+0, 0)
293T(RZ,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
294T(RZ,     -0x1.8p-148,             nan,             nan,          0x0p+0, 0)
295T(RZ,             nan,          0x0p+0,             nan,          0x0p+0, 0)
296T(RZ,             nan,        0x1p-149,             nan,          0x0p+0, 0)
297T(RZ,             nan,      0x1.8p-148,             nan,          0x0p+0, 0)
298