xref: /third_party/musl/libc-test/src/math/ucb/fmodf.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// fmods(x,x) = 0
38T(RN,        0x1p-126,        0x1p-126,          0x0p+0,          0x0p+0, 0)
39T(RN,        0x1p-126,       -0x1p-126,          0x0p+0,          0x0p+0, 0)
40T(RN,       -0x1p-126,        0x1p-126,         -0x0p+0,          0x0p+0, 0)
41T(RN,       -0x1p-126,       -0x1p-126,         -0x0p+0,          0x0p+0, 0)
42T(RN, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
43T(RN, 0x1.fffffep+127,-0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
44T(RN,-0x1.fffffep+127, 0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
45T(RN,-0x1.fffffep+127,-0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
46T(RZ,        0x1p-126,        0x1p-126,          0x0p+0,          0x0p+0, 0)
47T(RZ,        0x1p-126,       -0x1p-126,          0x0p+0,          0x0p+0, 0)
48T(RU,       -0x1p-126,        0x1p-126,         -0x0p+0,          0x0p+0, 0)
49T(RU,       -0x1p-126,       -0x1p-126,         -0x0p+0,          0x0p+0, 0)
50T(RD, 0x1.fffffep+127, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
51T(RD, 0x1.fffffep+127,-0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
52T(RZ,-0x1.fffffep+127, 0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
53T(RZ,-0x1.fffffep+127,-0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
54// fmods(0,y)=0 for all y except nan,0
55T(RN,          0x0p+0,        0x1p-126,          0x0p+0,          0x0p+0, 0)
56T(RN,          0x0p+0, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
57T(RN,          0x0p+0,       -0x1p-126,          0x0p+0,          0x0p+0, 0)
58T(RN,          0x0p+0,-0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
59T(RN,         -0x0p+0,        0x1p-126,         -0x0p+0,          0x0p+0, 0)
60T(RN,         -0x0p+0, 0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
61T(RN,         -0x0p+0,       -0x1p-126,         -0x0p+0,          0x0p+0, 0)
62T(RN,         -0x0p+0,-0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
63T(RU,          0x0p+0,        0x1p-126,          0x0p+0,          0x0p+0, 0)
64T(RU,          0x0p+0, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
65T(RD,          0x0p+0,       -0x1p-126,          0x0p+0,          0x0p+0, 0)
66T(RD,          0x0p+0,-0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
67T(RZ,         -0x0p+0,        0x1p-126,         -0x0p+0,          0x0p+0, 0)
68T(RZ,         -0x0p+0, 0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
69T(RU,         -0x0p+0,       -0x1p-126,         -0x0p+0,          0x0p+0, 0)
70T(RU,         -0x0p+0,-0x1.fffffep+127,         -0x0p+0,          0x0p+0, 0)
71// fmods(min,max)=min
72T(RN,        0x1p-126, 0x1.fffffep+127,        0x1p-126,          0x0p+0, 0)
73T(RN,        0x1p-126,-0x1.fffffep+127,        0x1p-126,          0x0p+0, 0)
74T(RN,       -0x1p-126, 0x1.fffffep+127,       -0x1p-126,          0x0p+0, 0)
75T(RN,       -0x1p-126,-0x1.fffffep+127,       -0x1p-126,          0x0p+0, 0)
76T(RD,        0x1p-126, 0x1.fffffep+127,        0x1p-126,          0x0p+0, 0)
77T(RZ,        0x1p-126,-0x1.fffffep+127,        0x1p-126,          0x0p+0, 0)
78T(RU,       -0x1p-126, 0x1.fffffep+127,       -0x1p-126,          0x0p+0, 0)
79T(RD,       -0x1p-126,-0x1.fffffep+127,       -0x1p-126,          0x0p+0, 0)
80// fmods(max,min)= 0
81T(RN, 0x1.fffffep+127,        0x1p-126,          0x0p+0,          0x0p+0, 0)
82T(RN,-0x1.fffffep+127,        0x1p-126,         -0x0p+0,          0x0p+0, 0)
83T(RN, 0x1.fffffep+127,       -0x1p-126,          0x0p+0,          0x0p+0, 0)
84T(RN,-0x1.fffffep+127,       -0x1p-126,         -0x0p+0,          0x0p+0, 0)
85// fmods(max,max-ulp)= ulp
86T(RN, 0x1.fffffep+127, 0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
87T(RN,-0x1.fffffep+127, 0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
88// fmods(max,max/2+ulp)= max/2-ulp
89T(RN, 0x1.fffffep+127,       -0x1p+127, 0x1.fffffcp+126,          0x0p+0, 0)
90T(RN,-0x1.fffffep+127,       -0x1p+127,-0x1.fffffcp+126,          0x0p+0, 0)
91// fmods(max,max/2)= 0
92T(RN, 0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0,          0x0p+0, 0)
93T(RN,-0x1.fffffep+127, 0x1.fffffep+126,         -0x0p+0,          0x0p+0, 0)
94// fmods(max,max/2-ulp)= 2ulp
95T(RN, 0x1.fffffep+127,-0x1.fffffcp+126,        0x1p+104,          0x0p+0, 0)
96T(RN,-0x1.fffffep+127,-0x1.fffffcp+126,       -0x1p+104,          0x0p+0, 0)
97// fmods(max/2+ulp,max) = max/2+ulp
98T(RN,        0x1p+127, 0x1.fffffep+127,        0x1p+127,          0x0p+0, 0)
99T(RN,       -0x1p+127, 0x1.fffffep+127,       -0x1p+127,          0x0p+0, 0)
100// fmods(max/2,max) = max/2
101T(RN, 0x1.fffffep+126,-0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0, 0)
102T(RN,-0x1.fffffep+126,-0x1.fffffep+127,-0x1.fffffep+126,          0x0p+0, 0)
103// fmods(max/2-ulp,max) = max/2-ulp
104T(RN, 0x1.fffffcp+126, 0x1.fffffep+127, 0x1.fffffcp+126,          0x0p+0, 0)
105T(RN,-0x1.fffffcp+126, 0x1.fffffep+127,-0x1.fffffcp+126,          0x0p+0, 0)
106// fmods(max-ulp,max)= max-ulp
107T(RN, 0x1.fffffcp+127,-0x1.fffffep+127, 0x1.fffffcp+127,          0x0p+0, 0)
108T(RN,-0x1.fffffcp+127,-0x1.fffffep+127,-0x1.fffffcp+127,          0x0p+0, 0)
109// fmods(max-ulp,max/2) = max/2 - 2ulp
110T(RN, 0x1.fffffcp+127, 0x1.fffffep+126, 0x1.fffffap+126,          0x0p+0, 0)
111T(RN,-0x1.fffffcp+127, 0x1.fffffep+126,-0x1.fffffap+126,          0x0p+0, 0)
112// fmods(x,1) for small x = n+0.5
113T(RN,        0x1.ep+2,          0x1p+0,          0x1p-1,          0x0p+0, 0)
114T(RN,        0x1.ap+2,          0x1p+0,          0x1p-1,          0x0p+0, 0)
115T(RN,        0x1.6p+2,          0x1p+0,          0x1p-1,          0x0p+0, 0)
116T(RN,        0x1.2p+2,          0x1p+0,          0x1p-1,          0x0p+0, 0)
117T(RN,       -0x1.ep+2,          0x1p+0,         -0x1p-1,          0x0p+0, 0)
118T(RN,       -0x1.ap+2,          0x1p+0,         -0x1p-1,          0x0p+0, 0)
119T(RN,       -0x1.6p+2,          0x1p+0,         -0x1p-1,          0x0p+0, 0)
120T(RN,       -0x1.2p+2,          0x1p+0,         -0x1p-1,          0x0p+0, 0)
121// random arguments between 100 -100
122T(RN,  -0x1.adeefcp+4,    0x1.1ce3fp+6,  -0x1.adeefcp+4,          0x0p+0, 0)
123T(RN,    0x1.602e1p+6,   -0x1.0b246p+6,    0x1.5426cp+4,          0x0p+0, 0)
124T(RN,  -0x1.b171eep+4,  -0x1.f6eff2p+1,  -0x1.c1efc4p+1,          0x0p+0, 0)
125T(RN,   0x1.ceaa3ep+5,   0x1.560914p+6,   0x1.ceaa3ep+5,          0x0p+0, 0)
126T(RN,  -0x1.0ce902p+4,  -0x1.7f35b4p+6,  -0x1.0ce902p+4,          0x0p+0, 0)
127T(RN,   -0x1.4d803p+5,   0x1.27cb22p+2,   -0x1.77538p-4,          0x0p+0, 0)
128T(RN,   -0x1.2f5e8p+6,   0x1.1cdf72p+6,   -0x1.27f0ep+2,          0x0p+0, 0)
129T(RN,  -0x1.8e779ep+6,  -0x1.8f8ccep+6,  -0x1.8e779ep+6,          0x0p+0, 0)
130T(RN,  -0x1.6c4bc2p+5,   0x1.d12d32p+5,  -0x1.6c4bc2p+5,          0x0p+0, 0)
131T(RN,   0x1.cb3e6ep+4,   0x1.8afcd8p+5,   0x1.cb3e6ep+4,          0x0p+0, 0)
132// fmods(x,3u) for huge x
133T(RN, 0x1.fffffep+127,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
134T(RN, 0x1.fffffcp+127,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
135T(RN, 0x1.fffffap+127,      0x1.8p-148,        0x1p-148,          0x0p+0, 0)
136T(RN,-0x1.fffff8p+127,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
137T(RN,-0x1.fffff6p+127,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
138T(RN,-0x1.fffff4p+127,      0x1.8p-148,       -0x1p-148,          0x0p+0, 0)
139// fmods(x,x-+u) for tiny or subnormal x
140T(RN, 0x1.00000cp-126, 0x1.00000ap-126,        0x1p-149,          0x0p+0, 0)
141T(RN, 0x1.00000ap-126, 0x1.000008p-126,        0x1p-149,          0x0p+0, 0)
142// fmods involve nan
143T(RN,             nan,          0x0p+0,             nan,          0x0p+0, 0)
144T(RN,          0x0p+0,             nan,             nan,          0x0p+0, 0)
145T(RN,             nan,             nan,             nan,          0x0p+0, 0)
146T(RN,             nan,             nan,             nan,          0x0p+0, 0)
147// fmods(x,0) is nan with invalid signal except x is qnan
148T(RN,             nan,          0x0p+0,             nan,          0x0p+0, 0)
149T(RN,             inf,          0x0p+0,             nan,          0x0p+0, INVALID)
150T(RN,         -0x1p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
151T(RN,        0x1p-149,         -0x0p+0,             nan,          0x0p+0, INVALID)
152T(RN,         -0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
153// fmods (inf,x) is nan with invalid signal except x is qnan
154T(RN,             inf,             nan,             nan,          0x0p+0, 0)
155T(RN,             inf,            -inf,             nan,          0x0p+0, INVALID)
156T(RN,            -inf,          0x1p+0,             nan,          0x0p+0, INVALID)
157T(RN,            -inf,        0x1p-149,             nan,          0x0p+0, INVALID)
158T(RN,            -inf,          0x0p+0,             nan,          0x0p+0, INVALID)
159// fmods(x,inf) is x except nan,inf
160T(RN,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
161T(RN,        0x1p-149,             inf,        0x1p-149,          0x0p+0, 0)
162T(RN, 0x1.fffffep+127,             inf, 0x1.fffffep+127,          0x0p+0, 0)
163T(RN,         -0x0p+0,            -inf,         -0x0p+0,          0x0p+0, 0)
164T(RN,       -0x1p-149,            -inf,       -0x1p-149,          0x0p+0, 0)
165T(RN,-0x1.fffffep+127,            -inf,-0x1.fffffep+127,          0x0p+0, 0)
166T(RD,          0x0p+0,        0x1p-149,          0x0p+0,          0x0p+0, 0)
167T(RD,          0x0p+0, 0x1.fffffcp-127,          0x0p+0,          0x0p+0, 0)
168T(RD,          0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
169T(RD,          0x0p+0,   0x1.fffffep-1,          0x0p+0,          0x0p+0, 0)
170T(RD,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
171T(RD,          0x0p+0, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
172T(RD,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
173T(RD,          0x0p+0,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
174T(RD,          0x0p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
175T(RD,          0x0p+0,            -inf,          0x0p+0,          0x0p+0, 0)
176T(RD,        0x1p-149,        0x1p-147,        0x1p-149,          0x0p+0, 0)
177T(RD,        0x1p-149,             inf,        0x1p-149,          0x0p+0, 0)
178T(RD,        0x1p-149,       -0x1p-147,        0x1p-149,          0x0p+0, 0)
179T(RD,        0x1p-149,            -inf,        0x1p-149,          0x0p+0, 0)
180T(RD,        0x1p-148,        0x1p-147,        0x1p-148,          0x0p+0, 0)
181T(RD,      0x1.8p-148,        0x1p-147,      0x1.8p-148,          0x0p+0, 0)
182T(RD,      0x1.8p-148,       -0x1p-147,      0x1.8p-148,          0x0p+0, 0)
183T(RD,        0x1p-147,        0x1p-147,          0x0p+0,          0x0p+0, 0)
184T(RD,        0x1p-147,       -0x1p-147,          0x0p+0,          0x0p+0, 0)
185T(RD,  0x1.fffffp-127, 0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
186T(RD,  0x1.fffffp-127,-0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
187T(RD, 0x1.fffffcp-127,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
188T(RD, 0x1.fffffcp-127, 0x1.fffffep-126, 0x1.fffffcp-127,          0x0p+0, 0)
189T(RD, 0x1.fffffcp-127,             inf, 0x1.fffffcp-127,          0x0p+0, 0)
190T(RD, 0x1.fffffcp-127,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
191T(RD,        0x1p-126, 0x1.fffff8p-127,        0x1p-148,          0x0p+0, 0)
192T(RD,        0x1p-126, 0x1.fffffep-126,        0x1p-126,          0x0p+0, 0)
193T(RD, 0x1.000002p-126,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
194T(RD, 0x1.000002p-126, 0x1.fffff8p-127,      0x1.8p-148,          0x0p+0, 0)
195T(RD, 0x1.000002p-126,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
196T(RD, 0x1.000004p-126,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
197T(RD, 0x1.000004p-126,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
198T(RD, 0x1.000006p-126, 0x1.00000ap-126, 0x1.000006p-126,          0x0p+0, 0)
199T(RD, 0x1.000008p-126, 0x1.00000ap-126, 0x1.000008p-126,          0x0p+0, 0)
200T(RD, 0x1.00000cp-126, 0x1.00000ap-126,        0x1p-149,          0x0p+0, 0)
201T(RD, 0x1.fffffep-126,        0x1p-125, 0x1.fffffep-126,          0x0p+0, 0)
202T(RD, 0x1.fffffep-118,        0x1p-118, 0x1.fffffcp-119,          0x0p+0, 0)
203T(RD,          0x1p-3,          0x1p-1,          0x1p-3,          0x0p+0, 0)
204T(RD,          0x1p-2,          0x1p-1,          0x1p-2,          0x0p+0, 0)
205T(RD,   0x1.000002p-2,          0x1p-1,   0x1.000002p-2,          0x0p+0, 0)
206T(RD,        0x1.8p-2,          0x1p-1,        0x1.8p-2,          0x0p+0, 0)
207T(RD,        0x1.4p-1,          0x1p-1,          0x1p-3,          0x0p+0, 0)
208T(RD,   0x1.fffff8p-1,   0x1.fffffcp-1,   0x1.fffff8p-1,          0x0p+0, 0)
209T(RD,   0x1.fffffep-1,   0x1.fffffep+0,   0x1.fffffep-1,          0x0p+0, 0)
210T(RD,   0x1.fffffep-1,             inf,   0x1.fffffep-1,          0x0p+0, 0)
211T(RD,          0x1p+0,   0x1.fffffcp-1,         0x1p-23,          0x0p+0, 0)
212T(RD,          0x1p+0,   0x1.fffffep+0,          0x1p+0,          0x0p+0, 0)
213T(RD,          0x1p+0,          0x1p+1,          0x1p+0,          0x0p+0, 0)
214T(RD,          0x1p+0,          0x1p+2,          0x1p+0,          0x0p+0, 0)
215T(RD,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
216T(RD,          0x1p+0,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
217T(RD,          0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
218T(RD,   0x1.000002p+0,   0x1.fffffcp-1,         0x1p-22,          0x0p+0, 0)
219T(RD,   0x1.000002p+0,   0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
220T(RD,   0x1.000002p+0,          0x1p+1,   0x1.000002p+0,          0x0p+0, 0)
221T(RD,   0x1.000002p+0,  -0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
222T(RD,   0x1.000004p+0,   0x1.00000ap+0,   0x1.000004p+0,          0x0p+0, 0)
223T(RD,   0x1.000006p+0,   0x1.00000ap+0,   0x1.000006p+0,          0x0p+0, 0)
224T(RD,   0x1.000008p+0,   0x1.00000ap+0,   0x1.000008p+0,          0x0p+0, 0)
225T(RD,   0x1.00000cp+0,   0x1.00000ap+0,         0x1p-23,          0x0p+0, 0)
226T(RD,   0x1.fffffep+0,          0x1p+1,   0x1.fffffep+0,          0x0p+0, 0)
227T(RD,          0x1p+1,          0x1p+1,          0x0p+0,          0x0p+0, 0)
228T(RD,          0x1p+1,          0x1p+2,          0x1p+1,          0x0p+0, 0)
229T(RD,          0x1p+1,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
230T(RD,   0x1.000002p+1,          0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
231T(RD,   0x1.000002p+1,         -0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
232T(RD,    0x1.00001p+1,          0x1p+2,    0x1.00001p+1,          0x0p+0, 0)
233T(RD,   0x1.7ffffep+1,          0x1p+1,   0x1.fffff8p-1,          0x0p+0, 0)
234T(RD,   0x1.7ffffep+1,        0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
235T(RD,   0x1.7ffffep+1,       -0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
236T(RD,        0x1.8p+1,          0x1p+1,          0x1p+0,          0x0p+0, 0)
237T(RD,        0x1.8p+1,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
238T(RD,        0x1.8p+1,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
239T(RD,          0x1p+2,          0x1p+2,          0x0p+0,          0x0p+0, 0)
240T(RD,        0x1.4p+2,          0x1p+2,          0x1p+0,          0x0p+0, 0)
241T(RD,    0x1.7ffffp+2,          0x1p+2,    0x1.ffffcp+0,          0x0p+0, 0)
242T(RD,   0x1.7ffffep+2,          0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
243T(RD,   0x1.7ffffep+2,         -0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
244T(RD,        0x1.8p+2,          0x1p+2,          0x1p+1,          0x0p+0, 0)
245T(RD,        0x1.cp+2,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
246T(RD,          0x1p+3,          0x1p+2,          0x0p+0,          0x0p+0, 0)
247T(RD,        0x1p+104,        0x1p+106,        0x1p+104,          0x0p+0, 0)
248T(RD,        0x1p+126,        0x1p+127,        0x1p+126,          0x0p+0, 0)
249T(RD, 0x1.fffff8p+126, 0x1.fffffcp+126, 0x1.fffff8p+126,          0x0p+0, 0)
250T(RD, 0x1.fffffcp+126,      0x1.8p+105,        0x1p+104,          0x0p+0, 0)
251T(RD, 0x1.fffffcp+126,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
252T(RD, 0x1.fffffep+126,        0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
253T(RD, 0x1.fffffep+126, 0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0, 0)
254T(RD, 0x1.fffffep+126,       -0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
255T(RD,        0x1p+127, 0x1.fffffcp+126,        0x1p+104,          0x0p+0, 0)
256T(RD,        0x1p+127, 0x1.fffffep+127,        0x1p+127,          0x0p+0, 0)
257T(RD, 0x1.000002p+127,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
258T(RD, 0x1.000002p+127,      0x1.8p+105,          0x0p+0,          0x0p+0, 0)
259T(RD, 0x1.000002p+127, 0x1.fffffcp+126,        0x1p+105,          0x0p+0, 0)
260T(RD, 0x1.000002p+127,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
261T(RD, 0x1.000002p+127,       -0x1.8p+1,          0x0p+0,          0x0p+0, 0)
262T(RD, 0x1.000002p+127,     -0x1.8p+105,          0x0p+0,          0x0p+0, 0)
263T(RD, 0x1.000004p+127,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
264T(RD, 0x1.000006p+127,      0x1.8p+105,        0x1p+105,          0x0p+0, 0)
265T(RD, 0x1.000006p+127, 0x1.00000ap+127, 0x1.000006p+127,          0x0p+0, 0)
266T(RD, 0x1.000008p+127, 0x1.00000ap+127, 0x1.000008p+127,          0x0p+0, 0)
267T(RD, 0x1.00000cp+127, 0x1.00000ap+127,        0x1p+104,          0x0p+0, 0)
268T(RD, 0x1.fffffep+127,        0x1p-149,          0x0p+0,          0x0p+0, 0)
269T(RD, 0x1.fffffep+127,        0x1p-126,          0x0p+0,          0x0p+0, 0)
270T(RD, 0x1.fffffep+127, 0x1.fffffep-126,          0x0p+0,          0x0p+0, 0)
271T(RD, 0x1.fffffep+127,        0x1p+127, 0x1.fffffcp+126,          0x0p+0, 0)
272T(RD, 0x1.fffffep+127, 0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
273T(RD, 0x1.fffffep+127,             inf, 0x1.fffffep+127,          0x0p+0, 0)
274T(RD, 0x1.fffffep+127,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
275T(RD, 0x1.fffffep+127,-0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
276T(RD, 0x1.fffffep+127,            -inf, 0x1.fffffep+127,          0x0p+0, 0)
277T(RD,         -0x0p+0,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
278T(RD,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
279T(RD,         -0x0p+0,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
280T(RD,         -0x0p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
281T(RD,       -0x1p-149,        0x1p-147,       -0x1p-149,          0x0p+0, 0)
282T(RD,       -0x1p-149,             inf,       -0x1p-149,          0x0p+0, 0)
283T(RD,       -0x1p-149,       -0x1p-147,       -0x1p-149,          0x0p+0, 0)
284T(RD,       -0x1p-149,            -inf,       -0x1p-149,          0x0p+0, 0)
285T(RD,     -0x1.8p-148,        0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
286T(RD,     -0x1.8p-148,       -0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
287T(RD,       -0x1p-147,        0x1p-147,         -0x0p+0,          0x0p+0, 0)
288T(RD,       -0x1p-147,       -0x1p-147,         -0x0p+0,          0x0p+0, 0)
289T(RD, -0x1.fffffp-127, 0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
290T(RD, -0x1.fffffp-127,-0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
291T(RD,-0x1.fffffcp-127,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
292T(RD,-0x1.fffffcp-127,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
293T(RD,-0x1.000002p-126,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
294T(RD,-0x1.000002p-126,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
295T(RD,-0x1.000004p-126,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
296T(RD,-0x1.000004p-126,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
297T(RD,-0x1.000006p-126,      0x1.8p-148,       -0x1p-148,          0x0p+0, 0)
298T(RD,         -0x1p+0,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
299T(RD,         -0x1p+0,             inf,         -0x1p+0,          0x0p+0, 0)
300T(RD,         -0x1p+0,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
301T(RD,         -0x1p+0,            -inf,         -0x1p+0,          0x0p+0, 0)
302T(RD,  -0x1.000002p+0,   0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
303T(RD,  -0x1.000002p+0,  -0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
304T(RD,         -0x1p+1,          0x1p+1,         -0x0p+0,          0x0p+0, 0)
305T(RD,         -0x1p+1,         -0x1p+1,         -0x0p+0,          0x0p+0, 0)
306T(RD,  -0x1.000002p+1,          0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
307T(RD,  -0x1.000002p+1,         -0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
308T(RD,  -0x1.7ffffep+1,        0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
309T(RD,  -0x1.7ffffep+1,       -0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
310T(RD,       -0x1.8p+1,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
311T(RD,       -0x1.8p+1,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
312T(RD,  -0x1.7ffffep+2,          0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
313T(RD,  -0x1.7ffffep+2,         -0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
314T(RD,-0x1.fffffcp+126,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
315T(RD,-0x1.fffffcp+126,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
316T(RD,-0x1.fffffep+126,        0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
317T(RD,-0x1.fffffep+126,       -0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
318T(RD,-0x1.000002p+127,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
319T(RD,-0x1.000002p+127,        0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
320T(RD,-0x1.000002p+127,      0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
321T(RD,-0x1.000002p+127,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
322T(RD,-0x1.000002p+127,       -0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
323T(RD,-0x1.000002p+127,     -0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
324T(RD,-0x1.000004p+127,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
325T(RD,-0x1.000004p+127,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
326T(RD,-0x1.fffffep+127,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
327T(RD,-0x1.fffffep+127, 0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
328T(RD,-0x1.fffffep+127,             inf,-0x1.fffffep+127,          0x0p+0, 0)
329T(RD,-0x1.fffffep+127,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
330T(RD,-0x1.fffffep+127,-0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
331T(RD,-0x1.fffffep+127,            -inf,-0x1.fffffep+127,          0x0p+0, 0)
332T(RD,          0x0p+0,             nan,             nan,          0x0p+0, 0)
333T(RD,        0x1p-149,             nan,             nan,          0x0p+0, 0)
334T(RD, 0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
335T(RD,          0x1p+0,             nan,             nan,          0x0p+0, 0)
336T(RD, 0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
337T(RD,             inf,             nan,             nan,          0x0p+0, 0)
338T(RD,             nan,          0x0p+0,             nan,          0x0p+0, 0)
339T(RD,             nan,        0x1p-149,             nan,          0x0p+0, 0)
340T(RD,             nan, 0x1.fffffcp-127,             nan,          0x0p+0, 0)
341T(RD,             nan,          0x1p+0,             nan,          0x0p+0, 0)
342T(RD,             nan, 0x1.fffffep+127,             nan,          0x0p+0, 0)
343T(RD,             nan,             inf,             nan,          0x0p+0, 0)
344T(RD,             nan,             nan,             nan,          0x0p+0, 0)
345T(RD,             nan,         -0x0p+0,             nan,          0x0p+0, 0)
346T(RD,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
347T(RD,             nan,-0x1.fffffcp-127,             nan,          0x0p+0, 0)
348T(RD,             nan,         -0x1p+0,             nan,          0x0p+0, 0)
349T(RD,             nan,-0x1.fffffep+127,             nan,          0x0p+0, 0)
350T(RD,             nan,            -inf,             nan,          0x0p+0, 0)
351T(RD,         -0x0p+0,             nan,             nan,          0x0p+0, 0)
352T(RD,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
353T(RD,-0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
354T(RD,         -0x1p+0,             nan,             nan,          0x0p+0, 0)
355T(RD,-0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
356T(RD,            -inf,             nan,             nan,          0x0p+0, 0)
357T(RD,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
358T(RD,          0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
359T(RD,        0x1p-149,          0x0p+0,             nan,          0x0p+0, INVALID)
360T(RD, 0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
361T(RD, 0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
362T(RD,   0x1.fffffep-1,          0x0p+0,             nan,          0x0p+0, INVALID)
363T(RD,          0x1p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
364T(RD, 0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
365T(RD, 0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
366T(RD,             inf,          0x0p+0,             nan,          0x0p+0, INVALID)
367T(RD,             inf,        0x1p-149,             nan,          0x0p+0, INVALID)
368T(RD,             inf, 0x1.fffffcp-127,             nan,          0x0p+0, INVALID)
369T(RD,             inf,          0x1p+0,             nan,          0x0p+0, INVALID)
370T(RD,             inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
371T(RD,             inf,             inf,             nan,          0x0p+0, INVALID)
372T(RD,             inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
373T(RD,             inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
374T(RD,         -0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
375T(RD,         -0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
376T(RD,-0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
377T(RD,-0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
378T(RD,-0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
379T(RD,-0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
380T(RD,            -inf,          0x0p+0,             nan,          0x0p+0, INVALID)
381T(RD,            -inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
382T(RD,            -inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
383T(RD,            -inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
384T(RN,          0x0p+0,        0x1p-149,          0x0p+0,          0x0p+0, 0)
385T(RN,          0x0p+0, 0x1.fffffcp-127,          0x0p+0,          0x0p+0, 0)
386T(RN,          0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
387T(RN,          0x0p+0,   0x1.fffffep-1,          0x0p+0,          0x0p+0, 0)
388T(RN,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
389T(RN,          0x0p+0,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
390T(RN,          0x0p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
391T(RN,          0x0p+0,            -inf,          0x0p+0,          0x0p+0, 0)
392T(RN,        0x1p-149,        0x1p-147,        0x1p-149,          0x0p+0, 0)
393T(RN,        0x1p-149,       -0x1p-147,        0x1p-149,          0x0p+0, 0)
394T(RN,        0x1p-149,            -inf,        0x1p-149,          0x0p+0, 0)
395T(RN,        0x1p-148,        0x1p-147,        0x1p-148,          0x0p+0, 0)
396T(RN,      0x1.8p-148,        0x1p-147,      0x1.8p-148,          0x0p+0, 0)
397T(RN,      0x1.8p-148,       -0x1p-147,      0x1.8p-148,          0x0p+0, 0)
398T(RN,        0x1p-147,        0x1p-147,          0x0p+0,          0x0p+0, 0)
399T(RN,        0x1p-147,       -0x1p-147,          0x0p+0,          0x0p+0, 0)
400T(RN,  0x1.fffffp-127, 0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
401T(RN,  0x1.fffffp-127,-0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
402T(RN, 0x1.fffffcp-127,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
403T(RN, 0x1.fffffcp-127, 0x1.fffffep-126, 0x1.fffffcp-127,          0x0p+0, 0)
404T(RN, 0x1.fffffcp-127,             inf, 0x1.fffffcp-127,          0x0p+0, 0)
405T(RN, 0x1.fffffcp-127,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
406T(RN,        0x1p-126, 0x1.fffff8p-127,        0x1p-148,          0x0p+0, 0)
407T(RN,        0x1p-126, 0x1.fffffep-126,        0x1p-126,          0x0p+0, 0)
408T(RN, 0x1.000002p-126,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
409T(RN, 0x1.000002p-126, 0x1.fffff8p-127,      0x1.8p-148,          0x0p+0, 0)
410T(RN, 0x1.000002p-126,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
411T(RN, 0x1.000004p-126,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
412T(RN, 0x1.000004p-126,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
413T(RN, 0x1.000006p-126, 0x1.00000ap-126, 0x1.000006p-126,          0x0p+0, 0)
414T(RN, 0x1.000008p-126, 0x1.00000ap-126, 0x1.000008p-126,          0x0p+0, 0)
415T(RN, 0x1.fffffep-126,        0x1p-125, 0x1.fffffep-126,          0x0p+0, 0)
416T(RN, 0x1.fffffep-118,        0x1p-118, 0x1.fffffcp-119,          0x0p+0, 0)
417T(RN,          0x1p-3,          0x1p-1,          0x1p-3,          0x0p+0, 0)
418T(RN,          0x1p-2,          0x1p-1,          0x1p-2,          0x0p+0, 0)
419T(RN,   0x1.000002p-2,          0x1p-1,   0x1.000002p-2,          0x0p+0, 0)
420T(RN,        0x1.8p-2,          0x1p-1,        0x1.8p-2,          0x0p+0, 0)
421T(RN,        0x1.4p-1,          0x1p-1,          0x1p-3,          0x0p+0, 0)
422T(RN,   0x1.fffff8p-1,   0x1.fffffcp-1,   0x1.fffff8p-1,          0x0p+0, 0)
423T(RN,   0x1.fffffep-1,   0x1.fffffep+0,   0x1.fffffep-1,          0x0p+0, 0)
424T(RN,   0x1.fffffep-1,             inf,   0x1.fffffep-1,          0x0p+0, 0)
425T(RN,          0x1p+0,   0x1.fffffcp-1,         0x1p-23,          0x0p+0, 0)
426T(RN,          0x1p+0,   0x1.fffffep+0,          0x1p+0,          0x0p+0, 0)
427T(RN,          0x1p+0,          0x1p+1,          0x1p+0,          0x0p+0, 0)
428T(RN,          0x1p+0,          0x1p+2,          0x1p+0,          0x0p+0, 0)
429T(RN,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
430T(RN,          0x1p+0,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
431T(RN,          0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
432T(RN,   0x1.000002p+0,   0x1.fffffcp-1,         0x1p-22,          0x0p+0, 0)
433T(RN,   0x1.000002p+0,   0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
434T(RN,   0x1.000002p+0,          0x1p+1,   0x1.000002p+0,          0x0p+0, 0)
435T(RN,   0x1.000002p+0,  -0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
436T(RN,   0x1.000004p+0,   0x1.00000ap+0,   0x1.000004p+0,          0x0p+0, 0)
437T(RN,   0x1.000006p+0,   0x1.00000ap+0,   0x1.000006p+0,          0x0p+0, 0)
438T(RN,   0x1.000008p+0,   0x1.00000ap+0,   0x1.000008p+0,          0x0p+0, 0)
439T(RN,   0x1.00000cp+0,   0x1.00000ap+0,         0x1p-23,          0x0p+0, 0)
440T(RN,   0x1.fffffep+0,          0x1p+1,   0x1.fffffep+0,          0x0p+0, 0)
441T(RN,          0x1p+1,          0x1p+1,          0x0p+0,          0x0p+0, 0)
442T(RN,          0x1p+1,          0x1p+2,          0x1p+1,          0x0p+0, 0)
443T(RN,          0x1p+1,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
444T(RN,   0x1.000002p+1,          0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
445T(RN,   0x1.000002p+1,         -0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
446T(RN,    0x1.00001p+1,          0x1p+2,    0x1.00001p+1,          0x0p+0, 0)
447T(RN,   0x1.7ffffep+1,          0x1p+1,   0x1.fffff8p-1,          0x0p+0, 0)
448T(RN,   0x1.7ffffep+1,        0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
449T(RN,   0x1.7ffffep+1,       -0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
450T(RN,        0x1.8p+1,          0x1p+1,          0x1p+0,          0x0p+0, 0)
451T(RN,        0x1.8p+1,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
452T(RN,        0x1.8p+1,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
453T(RN,          0x1p+2,          0x1p+2,          0x0p+0,          0x0p+0, 0)
454T(RN,        0x1.4p+2,          0x1p+2,          0x1p+0,          0x0p+0, 0)
455T(RN,    0x1.7ffffp+2,          0x1p+2,    0x1.ffffcp+0,          0x0p+0, 0)
456T(RN,   0x1.7ffffep+2,          0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
457T(RN,   0x1.7ffffep+2,         -0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
458T(RN,        0x1.8p+2,          0x1p+2,          0x1p+1,          0x0p+0, 0)
459T(RN,        0x1.cp+2,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
460T(RN,          0x1p+3,          0x1p+2,          0x0p+0,          0x0p+0, 0)
461T(RN,        0x1p+104,        0x1p+106,        0x1p+104,          0x0p+0, 0)
462T(RN,        0x1p+126,        0x1p+127,        0x1p+126,          0x0p+0, 0)
463T(RN, 0x1.fffff8p+126, 0x1.fffffcp+126, 0x1.fffff8p+126,          0x0p+0, 0)
464T(RN, 0x1.fffffcp+126,      0x1.8p+105,        0x1p+104,          0x0p+0, 0)
465T(RN, 0x1.fffffcp+126,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
466T(RN, 0x1.fffffep+126,        0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
467T(RN, 0x1.fffffep+126, 0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0, 0)
468T(RN, 0x1.fffffep+126,       -0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
469T(RN,        0x1p+127, 0x1.fffffcp+126,        0x1p+104,          0x0p+0, 0)
470T(RN, 0x1.000002p+127,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
471T(RN, 0x1.000002p+127,      0x1.8p+105,          0x0p+0,          0x0p+0, 0)
472T(RN, 0x1.000002p+127, 0x1.fffffcp+126,        0x1p+105,          0x0p+0, 0)
473T(RN, 0x1.000002p+127,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
474T(RN, 0x1.000002p+127,       -0x1.8p+1,          0x0p+0,          0x0p+0, 0)
475T(RN, 0x1.000002p+127,     -0x1.8p+105,          0x0p+0,          0x0p+0, 0)
476T(RN, 0x1.000004p+127,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
477T(RN, 0x1.000006p+127,      0x1.8p+105,        0x1p+105,          0x0p+0, 0)
478T(RN, 0x1.000006p+127, 0x1.00000ap+127, 0x1.000006p+127,          0x0p+0, 0)
479T(RN, 0x1.000008p+127, 0x1.00000ap+127, 0x1.000008p+127,          0x0p+0, 0)
480T(RN, 0x1.00000cp+127, 0x1.00000ap+127,        0x1p+104,          0x0p+0, 0)
481T(RN, 0x1.fffffep+127,        0x1p-149,          0x0p+0,          0x0p+0, 0)
482T(RN, 0x1.fffffep+127, 0x1.fffffep-126,          0x0p+0,          0x0p+0, 0)
483T(RN, 0x1.fffffep+127,        0x1p+127, 0x1.fffffcp+126,          0x0p+0, 0)
484T(RN, 0x1.fffffep+127,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
485T(RN, 0x1.fffffep+127,-0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
486T(RN, 0x1.fffffep+127,            -inf, 0x1.fffffep+127,          0x0p+0, 0)
487T(RN,         -0x0p+0,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
488T(RN,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
489T(RN,         -0x0p+0,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
490T(RN,         -0x0p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
491T(RN,       -0x1p-149,        0x1p-147,       -0x1p-149,          0x0p+0, 0)
492T(RN,       -0x1p-149,             inf,       -0x1p-149,          0x0p+0, 0)
493T(RN,       -0x1p-149,       -0x1p-147,       -0x1p-149,          0x0p+0, 0)
494T(RN,     -0x1.8p-148,        0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
495T(RN,     -0x1.8p-148,       -0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
496T(RN,       -0x1p-147,        0x1p-147,         -0x0p+0,          0x0p+0, 0)
497T(RN,       -0x1p-147,       -0x1p-147,         -0x0p+0,          0x0p+0, 0)
498T(RN, -0x1.fffffp-127, 0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
499T(RN, -0x1.fffffp-127,-0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
500T(RN,-0x1.fffffcp-127,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
501T(RN,-0x1.fffffcp-127,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
502T(RN,-0x1.000002p-126,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
503T(RN,-0x1.000002p-126,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
504T(RN,-0x1.000004p-126,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
505T(RN,-0x1.000004p-126,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
506T(RN,-0x1.000006p-126,      0x1.8p-148,       -0x1p-148,          0x0p+0, 0)
507T(RN,         -0x1p+0,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
508T(RN,         -0x1p+0,             inf,         -0x1p+0,          0x0p+0, 0)
509T(RN,         -0x1p+0,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
510T(RN,         -0x1p+0,            -inf,         -0x1p+0,          0x0p+0, 0)
511T(RN,  -0x1.000002p+0,   0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
512T(RN,  -0x1.000002p+0,  -0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
513T(RN,         -0x1p+1,          0x1p+1,         -0x0p+0,          0x0p+0, 0)
514T(RN,         -0x1p+1,         -0x1p+1,         -0x0p+0,          0x0p+0, 0)
515T(RN,  -0x1.000002p+1,          0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
516T(RN,  -0x1.000002p+1,         -0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
517T(RN,  -0x1.7ffffep+1,        0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
518T(RN,  -0x1.7ffffep+1,       -0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
519T(RN,       -0x1.8p+1,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
520T(RN,       -0x1.8p+1,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
521T(RN,  -0x1.7ffffep+2,          0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
522T(RN,  -0x1.7ffffep+2,         -0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
523T(RN,-0x1.fffffcp+126,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
524T(RN,-0x1.fffffcp+126,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
525T(RN,-0x1.fffffep+126,        0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
526T(RN,-0x1.fffffep+126,       -0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
527T(RN,-0x1.000002p+127,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
528T(RN,-0x1.000002p+127,        0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
529T(RN,-0x1.000002p+127,      0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
530T(RN,-0x1.000002p+127,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
531T(RN,-0x1.000002p+127,       -0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
532T(RN,-0x1.000002p+127,     -0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
533T(RN,-0x1.000004p+127,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
534T(RN,-0x1.000004p+127,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
535T(RN,-0x1.fffffep+127,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
536T(RN,-0x1.fffffep+127,             inf,-0x1.fffffep+127,          0x0p+0, 0)
537T(RN,-0x1.fffffep+127,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
538T(RN,-0x1.fffffep+127,-0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
539T(RN,          0x0p+0,             nan,             nan,          0x0p+0, 0)
540T(RN,        0x1p-149,             nan,             nan,          0x0p+0, 0)
541T(RN, 0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
542T(RN,          0x1p+0,             nan,             nan,          0x0p+0, 0)
543T(RN, 0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
544T(RN,             nan,        0x1p-149,             nan,          0x0p+0, 0)
545T(RN,             nan, 0x1.fffffcp-127,             nan,          0x0p+0, 0)
546T(RN,             nan,          0x1p+0,             nan,          0x0p+0, 0)
547T(RN,             nan, 0x1.fffffep+127,             nan,          0x0p+0, 0)
548T(RN,             nan,             inf,             nan,          0x0p+0, 0)
549T(RN,             nan,         -0x0p+0,             nan,          0x0p+0, 0)
550T(RN,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
551T(RN,             nan,-0x1.fffffcp-127,             nan,          0x0p+0, 0)
552T(RN,             nan,         -0x1p+0,             nan,          0x0p+0, 0)
553T(RN,             nan,-0x1.fffffep+127,             nan,          0x0p+0, 0)
554T(RN,             nan,            -inf,             nan,          0x0p+0, 0)
555T(RN,         -0x0p+0,             nan,             nan,          0x0p+0, 0)
556T(RN,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
557T(RN,-0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
558T(RN,         -0x1p+0,             nan,             nan,          0x0p+0, 0)
559T(RN,-0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
560T(RN,            -inf,             nan,             nan,          0x0p+0, 0)
561T(RN,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
562T(RN,          0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
563T(RN,        0x1p-149,          0x0p+0,             nan,          0x0p+0, INVALID)
564T(RN, 0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
565T(RN, 0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
566T(RN,   0x1.fffffep-1,          0x0p+0,             nan,          0x0p+0, INVALID)
567T(RN,          0x1p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
568T(RN, 0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
569T(RN, 0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
570T(RN,             inf,        0x1p-149,             nan,          0x0p+0, INVALID)
571T(RN,             inf, 0x1.fffffcp-127,             nan,          0x0p+0, INVALID)
572T(RN,             inf,          0x1p+0,             nan,          0x0p+0, INVALID)
573T(RN,             inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
574T(RN,             inf,             inf,             nan,          0x0p+0, INVALID)
575T(RN,             inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
576T(RN,             inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
577T(RN,         -0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
578T(RN,-0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
579T(RN,-0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
580T(RN,-0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
581T(RN,-0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
582T(RN,            -inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
583T(RN,            -inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
584T(RN,            -inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
585T(RU,          0x0p+0,        0x1p-149,          0x0p+0,          0x0p+0, 0)
586T(RU,          0x0p+0, 0x1.fffffcp-127,          0x0p+0,          0x0p+0, 0)
587T(RU,          0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
588T(RU,          0x0p+0,   0x1.fffffep-1,          0x0p+0,          0x0p+0, 0)
589T(RU,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
590T(RU,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
591T(RU,          0x0p+0,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
592T(RU,          0x0p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
593T(RU,          0x0p+0,            -inf,          0x0p+0,          0x0p+0, 0)
594T(RU,        0x1p-149,        0x1p-147,        0x1p-149,          0x0p+0, 0)
595T(RU,        0x1p-149,             inf,        0x1p-149,          0x0p+0, 0)
596T(RU,        0x1p-149,       -0x1p-147,        0x1p-149,          0x0p+0, 0)
597T(RU,        0x1p-149,            -inf,        0x1p-149,          0x0p+0, 0)
598T(RU,        0x1p-148,        0x1p-147,        0x1p-148,          0x0p+0, 0)
599T(RU,      0x1.8p-148,        0x1p-147,      0x1.8p-148,          0x0p+0, 0)
600T(RU,      0x1.8p-148,       -0x1p-147,      0x1.8p-148,          0x0p+0, 0)
601T(RU,        0x1p-147,        0x1p-147,          0x0p+0,          0x0p+0, 0)
602T(RU,        0x1p-147,       -0x1p-147,          0x0p+0,          0x0p+0, 0)
603T(RU,  0x1.fffffp-127, 0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
604T(RU,  0x1.fffffp-127,-0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
605T(RU, 0x1.fffffcp-127,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
606T(RU, 0x1.fffffcp-127, 0x1.fffffep-126, 0x1.fffffcp-127,          0x0p+0, 0)
607T(RU, 0x1.fffffcp-127,             inf, 0x1.fffffcp-127,          0x0p+0, 0)
608T(RU, 0x1.fffffcp-127,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
609T(RU,        0x1p-126, 0x1.fffff8p-127,        0x1p-148,          0x0p+0, 0)
610T(RU,        0x1p-126, 0x1.fffffep-126,        0x1p-126,          0x0p+0, 0)
611T(RU, 0x1.000002p-126,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
612T(RU, 0x1.000002p-126, 0x1.fffff8p-127,      0x1.8p-148,          0x0p+0, 0)
613T(RU, 0x1.000002p-126,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
614T(RU, 0x1.000004p-126,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
615T(RU, 0x1.000004p-126,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
616T(RU, 0x1.000006p-126, 0x1.00000ap-126, 0x1.000006p-126,          0x0p+0, 0)
617T(RU, 0x1.000008p-126, 0x1.00000ap-126, 0x1.000008p-126,          0x0p+0, 0)
618T(RU, 0x1.00000cp-126, 0x1.00000ap-126,        0x1p-149,          0x0p+0, 0)
619T(RU, 0x1.fffffep-126,        0x1p-125, 0x1.fffffep-126,          0x0p+0, 0)
620T(RU, 0x1.fffffep-118,        0x1p-118, 0x1.fffffcp-119,          0x0p+0, 0)
621T(RU,          0x1p-3,          0x1p-1,          0x1p-3,          0x0p+0, 0)
622T(RU,          0x1p-2,          0x1p-1,          0x1p-2,          0x0p+0, 0)
623T(RU,   0x1.000002p-2,          0x1p-1,   0x1.000002p-2,          0x0p+0, 0)
624T(RU,        0x1.8p-2,          0x1p-1,        0x1.8p-2,          0x0p+0, 0)
625T(RU,        0x1.4p-1,          0x1p-1,          0x1p-3,          0x0p+0, 0)
626T(RU,   0x1.fffff8p-1,   0x1.fffffcp-1,   0x1.fffff8p-1,          0x0p+0, 0)
627T(RU,   0x1.fffffep-1,   0x1.fffffep+0,   0x1.fffffep-1,          0x0p+0, 0)
628T(RU,   0x1.fffffep-1,             inf,   0x1.fffffep-1,          0x0p+0, 0)
629T(RU,          0x1p+0,   0x1.fffffcp-1,         0x1p-23,          0x0p+0, 0)
630T(RU,          0x1p+0,   0x1.fffffep+0,          0x1p+0,          0x0p+0, 0)
631T(RU,          0x1p+0,          0x1p+1,          0x1p+0,          0x0p+0, 0)
632T(RU,          0x1p+0,          0x1p+2,          0x1p+0,          0x0p+0, 0)
633T(RU,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
634T(RU,          0x1p+0,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
635T(RU,          0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
636T(RU,   0x1.000002p+0,   0x1.fffffcp-1,         0x1p-22,          0x0p+0, 0)
637T(RU,   0x1.000002p+0,   0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
638T(RU,   0x1.000002p+0,          0x1p+1,   0x1.000002p+0,          0x0p+0, 0)
639T(RU,   0x1.000002p+0,  -0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
640T(RU,   0x1.000004p+0,   0x1.00000ap+0,   0x1.000004p+0,          0x0p+0, 0)
641T(RU,   0x1.000006p+0,   0x1.00000ap+0,   0x1.000006p+0,          0x0p+0, 0)
642T(RU,   0x1.000008p+0,   0x1.00000ap+0,   0x1.000008p+0,          0x0p+0, 0)
643T(RU,   0x1.00000cp+0,   0x1.00000ap+0,         0x1p-23,          0x0p+0, 0)
644T(RU,   0x1.fffffep+0,          0x1p+1,   0x1.fffffep+0,          0x0p+0, 0)
645T(RU,          0x1p+1,          0x1p+1,          0x0p+0,          0x0p+0, 0)
646T(RU,          0x1p+1,          0x1p+2,          0x1p+1,          0x0p+0, 0)
647T(RU,          0x1p+1,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
648T(RU,   0x1.000002p+1,          0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
649T(RU,   0x1.000002p+1,         -0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
650T(RU,    0x1.00001p+1,          0x1p+2,    0x1.00001p+1,          0x0p+0, 0)
651T(RU,   0x1.7ffffep+1,          0x1p+1,   0x1.fffff8p-1,          0x0p+0, 0)
652T(RU,   0x1.7ffffep+1,        0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
653T(RU,   0x1.7ffffep+1,       -0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
654T(RU,        0x1.8p+1,          0x1p+1,          0x1p+0,          0x0p+0, 0)
655T(RU,        0x1.8p+1,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
656T(RU,        0x1.8p+1,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
657T(RU,          0x1p+2,          0x1p+2,          0x0p+0,          0x0p+0, 0)
658T(RU,        0x1.4p+2,          0x1p+2,          0x1p+0,          0x0p+0, 0)
659T(RU,    0x1.7ffffp+2,          0x1p+2,    0x1.ffffcp+0,          0x0p+0, 0)
660T(RU,   0x1.7ffffep+2,          0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
661T(RU,   0x1.7ffffep+2,         -0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
662T(RU,        0x1.8p+2,          0x1p+2,          0x1p+1,          0x0p+0, 0)
663T(RU,        0x1.cp+2,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
664T(RU,          0x1p+3,          0x1p+2,          0x0p+0,          0x0p+0, 0)
665T(RU,        0x1p+104,        0x1p+106,        0x1p+104,          0x0p+0, 0)
666T(RU,        0x1p+126,        0x1p+127,        0x1p+126,          0x0p+0, 0)
667T(RU, 0x1.fffff8p+126, 0x1.fffffcp+126, 0x1.fffff8p+126,          0x0p+0, 0)
668T(RU, 0x1.fffffcp+126,      0x1.8p+105,        0x1p+104,          0x0p+0, 0)
669T(RU, 0x1.fffffcp+126,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
670T(RU, 0x1.fffffep+126,        0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
671T(RU, 0x1.fffffep+126, 0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0, 0)
672T(RU, 0x1.fffffep+126,       -0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
673T(RU,        0x1p+127, 0x1.fffffcp+126,        0x1p+104,          0x0p+0, 0)
674T(RU,        0x1p+127, 0x1.fffffep+127,        0x1p+127,          0x0p+0, 0)
675T(RU, 0x1.000002p+127,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
676T(RU, 0x1.000002p+127,      0x1.8p+105,          0x0p+0,          0x0p+0, 0)
677T(RU, 0x1.000002p+127, 0x1.fffffcp+126,        0x1p+105,          0x0p+0, 0)
678T(RU, 0x1.000002p+127,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
679T(RU, 0x1.000002p+127,       -0x1.8p+1,          0x0p+0,          0x0p+0, 0)
680T(RU, 0x1.000002p+127,     -0x1.8p+105,          0x0p+0,          0x0p+0, 0)
681T(RU, 0x1.000004p+127,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
682T(RU, 0x1.000006p+127,      0x1.8p+105,        0x1p+105,          0x0p+0, 0)
683T(RU, 0x1.000006p+127, 0x1.00000ap+127, 0x1.000006p+127,          0x0p+0, 0)
684T(RU, 0x1.000008p+127, 0x1.00000ap+127, 0x1.000008p+127,          0x0p+0, 0)
685T(RU, 0x1.00000cp+127, 0x1.00000ap+127,        0x1p+104,          0x0p+0, 0)
686T(RU, 0x1.fffffep+127,        0x1p-149,          0x0p+0,          0x0p+0, 0)
687T(RU, 0x1.fffffep+127,        0x1p-126,          0x0p+0,          0x0p+0, 0)
688T(RU, 0x1.fffffep+127, 0x1.fffffep-126,          0x0p+0,          0x0p+0, 0)
689T(RU, 0x1.fffffep+127,        0x1p+127, 0x1.fffffcp+126,          0x0p+0, 0)
690T(RU, 0x1.fffffep+127, 0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
691T(RU, 0x1.fffffep+127,             inf, 0x1.fffffep+127,          0x0p+0, 0)
692T(RU, 0x1.fffffep+127,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
693T(RU, 0x1.fffffep+127,-0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
694T(RU, 0x1.fffffep+127,            -inf, 0x1.fffffep+127,          0x0p+0, 0)
695T(RU,         -0x0p+0,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
696T(RU,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
697T(RU,         -0x0p+0,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
698T(RU,         -0x0p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
699T(RU,       -0x1p-149,        0x1p-147,       -0x1p-149,          0x0p+0, 0)
700T(RU,       -0x1p-149,             inf,       -0x1p-149,          0x0p+0, 0)
701T(RU,       -0x1p-149,       -0x1p-147,       -0x1p-149,          0x0p+0, 0)
702T(RU,       -0x1p-149,            -inf,       -0x1p-149,          0x0p+0, 0)
703T(RU,     -0x1.8p-148,        0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
704T(RU,     -0x1.8p-148,       -0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
705T(RU,       -0x1p-147,        0x1p-147,         -0x0p+0,          0x0p+0, 0)
706T(RU,       -0x1p-147,       -0x1p-147,         -0x0p+0,          0x0p+0, 0)
707T(RU, -0x1.fffffp-127, 0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
708T(RU, -0x1.fffffp-127,-0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
709T(RU,-0x1.fffffcp-127,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
710T(RU,-0x1.fffffcp-127,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
711T(RU,-0x1.000002p-126,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
712T(RU,-0x1.000002p-126,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
713T(RU,-0x1.000004p-126,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
714T(RU,-0x1.000004p-126,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
715T(RU,-0x1.000006p-126,      0x1.8p-148,       -0x1p-148,          0x0p+0, 0)
716T(RU,         -0x1p+0,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
717T(RU,         -0x1p+0,             inf,         -0x1p+0,          0x0p+0, 0)
718T(RU,         -0x1p+0,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
719T(RU,         -0x1p+0,            -inf,         -0x1p+0,          0x0p+0, 0)
720T(RU,  -0x1.000002p+0,   0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
721T(RU,  -0x1.000002p+0,  -0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
722T(RU,         -0x1p+1,          0x1p+1,         -0x0p+0,          0x0p+0, 0)
723T(RU,         -0x1p+1,         -0x1p+1,         -0x0p+0,          0x0p+0, 0)
724T(RU,  -0x1.000002p+1,          0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
725T(RU,  -0x1.000002p+1,         -0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
726T(RU,  -0x1.7ffffep+1,        0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
727T(RU,  -0x1.7ffffep+1,       -0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
728T(RU,       -0x1.8p+1,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
729T(RU,       -0x1.8p+1,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
730T(RU,  -0x1.7ffffep+2,          0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
731T(RU,  -0x1.7ffffep+2,         -0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
732T(RU,-0x1.fffffcp+126,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
733T(RU,-0x1.fffffcp+126,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
734T(RU,-0x1.fffffep+126,        0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
735T(RU,-0x1.fffffep+126,       -0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
736T(RU,-0x1.000002p+127,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
737T(RU,-0x1.000002p+127,        0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
738T(RU,-0x1.000002p+127,      0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
739T(RU,-0x1.000002p+127,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
740T(RU,-0x1.000002p+127,       -0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
741T(RU,-0x1.000002p+127,     -0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
742T(RU,-0x1.000004p+127,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
743T(RU,-0x1.000004p+127,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
744T(RU,-0x1.fffffep+127,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
745T(RU,-0x1.fffffep+127, 0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
746T(RU,-0x1.fffffep+127,             inf,-0x1.fffffep+127,          0x0p+0, 0)
747T(RU,-0x1.fffffep+127,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
748T(RU,-0x1.fffffep+127,-0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
749T(RU,-0x1.fffffep+127,            -inf,-0x1.fffffep+127,          0x0p+0, 0)
750T(RU,          0x0p+0,             nan,             nan,          0x0p+0, 0)
751T(RU,        0x1p-149,             nan,             nan,          0x0p+0, 0)
752T(RU, 0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
753T(RU,          0x1p+0,             nan,             nan,          0x0p+0, 0)
754T(RU, 0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
755T(RU,             inf,             nan,             nan,          0x0p+0, 0)
756T(RU,             nan,          0x0p+0,             nan,          0x0p+0, 0)
757T(RU,             nan,        0x1p-149,             nan,          0x0p+0, 0)
758T(RU,             nan, 0x1.fffffcp-127,             nan,          0x0p+0, 0)
759T(RU,             nan,          0x1p+0,             nan,          0x0p+0, 0)
760T(RU,             nan, 0x1.fffffep+127,             nan,          0x0p+0, 0)
761T(RU,             nan,             inf,             nan,          0x0p+0, 0)
762T(RU,             nan,             nan,             nan,          0x0p+0, 0)
763T(RU,             nan,         -0x0p+0,             nan,          0x0p+0, 0)
764T(RU,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
765T(RU,             nan,-0x1.fffffcp-127,             nan,          0x0p+0, 0)
766T(RU,             nan,         -0x1p+0,             nan,          0x0p+0, 0)
767T(RU,             nan,-0x1.fffffep+127,             nan,          0x0p+0, 0)
768T(RU,             nan,            -inf,             nan,          0x0p+0, 0)
769T(RU,         -0x0p+0,             nan,             nan,          0x0p+0, 0)
770T(RU,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
771T(RU,-0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
772T(RU,         -0x1p+0,             nan,             nan,          0x0p+0, 0)
773T(RU,-0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
774T(RU,            -inf,             nan,             nan,          0x0p+0, 0)
775T(RU,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
776T(RU,          0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
777T(RU,        0x1p-149,          0x0p+0,             nan,          0x0p+0, INVALID)
778T(RU, 0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
779T(RU, 0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
780T(RU,   0x1.fffffep-1,          0x0p+0,             nan,          0x0p+0, INVALID)
781T(RU,          0x1p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
782T(RU, 0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
783T(RU, 0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
784T(RU,             inf,          0x0p+0,             nan,          0x0p+0, INVALID)
785T(RU,             inf,        0x1p-149,             nan,          0x0p+0, INVALID)
786T(RU,             inf, 0x1.fffffcp-127,             nan,          0x0p+0, INVALID)
787T(RU,             inf,          0x1p+0,             nan,          0x0p+0, INVALID)
788T(RU,             inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
789T(RU,             inf,             inf,             nan,          0x0p+0, INVALID)
790T(RU,             inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
791T(RU,             inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
792T(RU,         -0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
793T(RU,         -0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
794T(RU,-0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
795T(RU,-0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
796T(RU,-0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
797T(RU,-0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
798T(RU,            -inf,          0x0p+0,             nan,          0x0p+0, INVALID)
799T(RU,            -inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
800T(RU,            -inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
801T(RU,            -inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
802T(RZ,          0x0p+0,        0x1p-149,          0x0p+0,          0x0p+0, 0)
803T(RZ,          0x0p+0, 0x1.fffffcp-127,          0x0p+0,          0x0p+0, 0)
804T(RZ,          0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
805T(RZ,          0x0p+0,   0x1.fffffep-1,          0x0p+0,          0x0p+0, 0)
806T(RZ,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
807T(RZ,          0x0p+0, 0x1.fffffep+127,          0x0p+0,          0x0p+0, 0)
808T(RZ,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
809T(RZ,          0x0p+0,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
810T(RZ,          0x0p+0,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
811T(RZ,          0x0p+0,            -inf,          0x0p+0,          0x0p+0, 0)
812T(RZ,        0x1p-149,        0x1p-147,        0x1p-149,          0x0p+0, 0)
813T(RZ,        0x1p-149,             inf,        0x1p-149,          0x0p+0, 0)
814T(RZ,        0x1p-149,       -0x1p-147,        0x1p-149,          0x0p+0, 0)
815T(RZ,        0x1p-149,            -inf,        0x1p-149,          0x0p+0, 0)
816T(RZ,        0x1p-148,        0x1p-147,        0x1p-148,          0x0p+0, 0)
817T(RZ,      0x1.8p-148,        0x1p-147,      0x1.8p-148,          0x0p+0, 0)
818T(RZ,      0x1.8p-148,       -0x1p-147,      0x1.8p-148,          0x0p+0, 0)
819T(RZ,        0x1p-147,        0x1p-147,          0x0p+0,          0x0p+0, 0)
820T(RZ,        0x1p-147,       -0x1p-147,          0x0p+0,          0x0p+0, 0)
821T(RZ,  0x1.fffffp-127, 0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
822T(RZ,  0x1.fffffp-127,-0x1.fffff8p-127,  0x1.fffffp-127,          0x0p+0, 0)
823T(RZ, 0x1.fffffcp-127,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
824T(RZ, 0x1.fffffcp-127, 0x1.fffffep-126, 0x1.fffffcp-127,          0x0p+0, 0)
825T(RZ, 0x1.fffffcp-127,             inf, 0x1.fffffcp-127,          0x0p+0, 0)
826T(RZ, 0x1.fffffcp-127,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
827T(RZ,        0x1p-126, 0x1.fffff8p-127,        0x1p-148,          0x0p+0, 0)
828T(RZ,        0x1p-126, 0x1.fffffep-126,        0x1p-126,          0x0p+0, 0)
829T(RZ, 0x1.000002p-126,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
830T(RZ, 0x1.000002p-126, 0x1.fffff8p-127,      0x1.8p-148,          0x0p+0, 0)
831T(RZ, 0x1.000002p-126,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
832T(RZ, 0x1.000004p-126,      0x1.8p-148,        0x1p-149,          0x0p+0, 0)
833T(RZ, 0x1.000004p-126,     -0x1.8p-148,        0x1p-149,          0x0p+0, 0)
834T(RZ, 0x1.000006p-126, 0x1.00000ap-126, 0x1.000006p-126,          0x0p+0, 0)
835T(RZ, 0x1.000008p-126, 0x1.00000ap-126, 0x1.000008p-126,          0x0p+0, 0)
836T(RZ, 0x1.00000cp-126, 0x1.00000ap-126,        0x1p-149,          0x0p+0, 0)
837T(RZ, 0x1.fffffep-126,        0x1p-125, 0x1.fffffep-126,          0x0p+0, 0)
838T(RZ, 0x1.fffffep-118,        0x1p-118, 0x1.fffffcp-119,          0x0p+0, 0)
839T(RZ,          0x1p-3,          0x1p-1,          0x1p-3,          0x0p+0, 0)
840T(RZ,          0x1p-2,          0x1p-1,          0x1p-2,          0x0p+0, 0)
841T(RZ,   0x1.000002p-2,          0x1p-1,   0x1.000002p-2,          0x0p+0, 0)
842T(RZ,        0x1.8p-2,          0x1p-1,        0x1.8p-2,          0x0p+0, 0)
843T(RZ,        0x1.4p-1,          0x1p-1,          0x1p-3,          0x0p+0, 0)
844T(RZ,   0x1.fffff8p-1,   0x1.fffffcp-1,   0x1.fffff8p-1,          0x0p+0, 0)
845T(RZ,   0x1.fffffep-1,   0x1.fffffep+0,   0x1.fffffep-1,          0x0p+0, 0)
846T(RZ,   0x1.fffffep-1,             inf,   0x1.fffffep-1,          0x0p+0, 0)
847T(RZ,          0x1p+0,   0x1.fffffcp-1,         0x1p-23,          0x0p+0, 0)
848T(RZ,          0x1p+0,   0x1.fffffep+0,          0x1p+0,          0x0p+0, 0)
849T(RZ,          0x1p+0,          0x1p+1,          0x1p+0,          0x0p+0, 0)
850T(RZ,          0x1p+0,          0x1p+2,          0x1p+0,          0x0p+0, 0)
851T(RZ,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
852T(RZ,          0x1p+0,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
853T(RZ,          0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
854T(RZ,   0x1.000002p+0,   0x1.fffffcp-1,         0x1p-22,          0x0p+0, 0)
855T(RZ,   0x1.000002p+0,   0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
856T(RZ,   0x1.000002p+0,          0x1p+1,   0x1.000002p+0,          0x0p+0, 0)
857T(RZ,   0x1.000002p+0,  -0x1.00000ap+0,   0x1.000002p+0,          0x0p+0, 0)
858T(RZ,   0x1.000004p+0,   0x1.00000ap+0,   0x1.000004p+0,          0x0p+0, 0)
859T(RZ,   0x1.000006p+0,   0x1.00000ap+0,   0x1.000006p+0,          0x0p+0, 0)
860T(RZ,   0x1.000008p+0,   0x1.00000ap+0,   0x1.000008p+0,          0x0p+0, 0)
861T(RZ,   0x1.00000cp+0,   0x1.00000ap+0,         0x1p-23,          0x0p+0, 0)
862T(RZ,   0x1.fffffep+0,          0x1p+1,   0x1.fffffep+0,          0x0p+0, 0)
863T(RZ,          0x1p+1,          0x1p+1,          0x0p+0,          0x0p+0, 0)
864T(RZ,          0x1p+1,          0x1p+2,          0x1p+1,          0x0p+0, 0)
865T(RZ,          0x1p+1,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
866T(RZ,   0x1.000002p+1,          0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
867T(RZ,   0x1.000002p+1,         -0x1p+2,   0x1.000002p+1,          0x0p+0, 0)
868T(RZ,    0x1.00001p+1,          0x1p+2,    0x1.00001p+1,          0x0p+0, 0)
869T(RZ,   0x1.7ffffep+1,          0x1p+1,   0x1.fffff8p-1,          0x0p+0, 0)
870T(RZ,   0x1.7ffffep+1,        0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
871T(RZ,   0x1.7ffffep+1,       -0x1.8p+1,   0x1.7ffffep+1,          0x0p+0, 0)
872T(RZ,        0x1.8p+1,          0x1p+1,          0x1p+0,          0x0p+0, 0)
873T(RZ,        0x1.8p+1,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
874T(RZ,        0x1.8p+1,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
875T(RZ,          0x1p+2,          0x1p+2,          0x0p+0,          0x0p+0, 0)
876T(RZ,        0x1.4p+2,          0x1p+2,          0x1p+0,          0x0p+0, 0)
877T(RZ,    0x1.7ffffp+2,          0x1p+2,    0x1.ffffcp+0,          0x0p+0, 0)
878T(RZ,   0x1.7ffffep+2,          0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
879T(RZ,   0x1.7ffffep+2,         -0x1p+2,   0x1.fffff8p+0,          0x0p+0, 0)
880T(RZ,        0x1.8p+2,          0x1p+2,          0x1p+1,          0x0p+0, 0)
881T(RZ,        0x1.cp+2,          0x1p+2,        0x1.8p+1,          0x0p+0, 0)
882T(RZ,          0x1p+3,          0x1p+2,          0x0p+0,          0x0p+0, 0)
883T(RZ,        0x1p+104,        0x1p+106,        0x1p+104,          0x0p+0, 0)
884T(RZ,        0x1p+126,        0x1p+127,        0x1p+126,          0x0p+0, 0)
885T(RZ, 0x1.fffff8p+126, 0x1.fffffcp+126, 0x1.fffff8p+126,          0x0p+0, 0)
886T(RZ, 0x1.fffffcp+126,      0x1.8p+105,        0x1p+104,          0x0p+0, 0)
887T(RZ, 0x1.fffffcp+126,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
888T(RZ, 0x1.fffffep+126,        0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
889T(RZ, 0x1.fffffep+126, 0x1.fffffep+127, 0x1.fffffep+126,          0x0p+0, 0)
890T(RZ, 0x1.fffffep+126,       -0x1p+127, 0x1.fffffep+126,          0x0p+0, 0)
891T(RZ,        0x1p+127, 0x1.fffffcp+126,        0x1p+104,          0x0p+0, 0)
892T(RZ,        0x1p+127, 0x1.fffffep+127,        0x1p+127,          0x0p+0, 0)
893T(RZ, 0x1.000002p+127,      0x1.8p-148,          0x0p+0,          0x0p+0, 0)
894T(RZ, 0x1.000002p+127,      0x1.8p+105,          0x0p+0,          0x0p+0, 0)
895T(RZ, 0x1.000002p+127, 0x1.fffffcp+126,        0x1p+105,          0x0p+0, 0)
896T(RZ, 0x1.000002p+127,     -0x1.8p-148,          0x0p+0,          0x0p+0, 0)
897T(RZ, 0x1.000002p+127,       -0x1.8p+1,          0x0p+0,          0x0p+0, 0)
898T(RZ, 0x1.000002p+127,     -0x1.8p+105,          0x0p+0,          0x0p+0, 0)
899T(RZ, 0x1.000004p+127,     -0x1.8p+105,        0x1p+104,          0x0p+0, 0)
900T(RZ, 0x1.000006p+127,      0x1.8p+105,        0x1p+105,          0x0p+0, 0)
901T(RZ, 0x1.000006p+127, 0x1.00000ap+127, 0x1.000006p+127,          0x0p+0, 0)
902T(RZ, 0x1.000008p+127, 0x1.00000ap+127, 0x1.000008p+127,          0x0p+0, 0)
903T(RZ, 0x1.00000cp+127, 0x1.00000ap+127,        0x1p+104,          0x0p+0, 0)
904T(RZ, 0x1.fffffep+127,        0x1p-149,          0x0p+0,          0x0p+0, 0)
905T(RZ, 0x1.fffffep+127,        0x1p-126,          0x0p+0,          0x0p+0, 0)
906T(RZ, 0x1.fffffep+127, 0x1.fffffep-126,          0x0p+0,          0x0p+0, 0)
907T(RZ, 0x1.fffffep+127,        0x1p+127, 0x1.fffffcp+126,          0x0p+0, 0)
908T(RZ, 0x1.fffffep+127, 0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
909T(RZ, 0x1.fffffep+127,             inf, 0x1.fffffep+127,          0x0p+0, 0)
910T(RZ, 0x1.fffffep+127,       -0x1p-149,          0x0p+0,          0x0p+0, 0)
911T(RZ, 0x1.fffffep+127,-0x1.fffffcp+127,        0x1p+104,          0x0p+0, 0)
912T(RZ, 0x1.fffffep+127,            -inf, 0x1.fffffep+127,          0x0p+0, 0)
913T(RZ,         -0x0p+0,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
914T(RZ,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
915T(RZ,         -0x0p+0,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
916T(RZ,         -0x0p+0,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
917T(RZ,       -0x1p-149,        0x1p-147,       -0x1p-149,          0x0p+0, 0)
918T(RZ,       -0x1p-149,             inf,       -0x1p-149,          0x0p+0, 0)
919T(RZ,       -0x1p-149,       -0x1p-147,       -0x1p-149,          0x0p+0, 0)
920T(RZ,       -0x1p-149,            -inf,       -0x1p-149,          0x0p+0, 0)
921T(RZ,     -0x1.8p-148,        0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
922T(RZ,     -0x1.8p-148,       -0x1p-147,     -0x1.8p-148,          0x0p+0, 0)
923T(RZ,       -0x1p-147,        0x1p-147,         -0x0p+0,          0x0p+0, 0)
924T(RZ,       -0x1p-147,       -0x1p-147,         -0x0p+0,          0x0p+0, 0)
925T(RZ, -0x1.fffffp-127, 0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
926T(RZ, -0x1.fffffp-127,-0x1.fffff8p-127, -0x1.fffffp-127,          0x0p+0, 0)
927T(RZ,-0x1.fffffcp-127,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
928T(RZ,-0x1.fffffcp-127,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
929T(RZ,-0x1.000002p-126,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
930T(RZ,-0x1.000002p-126,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
931T(RZ,-0x1.000004p-126,      0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
932T(RZ,-0x1.000004p-126,     -0x1.8p-148,       -0x1p-149,          0x0p+0, 0)
933T(RZ,-0x1.000006p-126,      0x1.8p-148,       -0x1p-148,          0x0p+0, 0)
934T(RZ,         -0x1p+0,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
935T(RZ,         -0x1p+0,             inf,         -0x1p+0,          0x0p+0, 0)
936T(RZ,         -0x1p+0,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
937T(RZ,         -0x1p+0,            -inf,         -0x1p+0,          0x0p+0, 0)
938T(RZ,  -0x1.000002p+0,   0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
939T(RZ,  -0x1.000002p+0,  -0x1.00000ap+0,  -0x1.000002p+0,          0x0p+0, 0)
940T(RZ,         -0x1p+1,          0x1p+1,         -0x0p+0,          0x0p+0, 0)
941T(RZ,         -0x1p+1,         -0x1p+1,         -0x0p+0,          0x0p+0, 0)
942T(RZ,  -0x1.000002p+1,          0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
943T(RZ,  -0x1.000002p+1,         -0x1p+2,  -0x1.000002p+1,          0x0p+0, 0)
944T(RZ,  -0x1.7ffffep+1,        0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
945T(RZ,  -0x1.7ffffep+1,       -0x1.8p+1,  -0x1.7ffffep+1,          0x0p+0, 0)
946T(RZ,       -0x1.8p+1,          0x1p+1,         -0x1p+0,          0x0p+0, 0)
947T(RZ,       -0x1.8p+1,         -0x1p+1,         -0x1p+0,          0x0p+0, 0)
948T(RZ,  -0x1.7ffffep+2,          0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
949T(RZ,  -0x1.7ffffep+2,         -0x1p+2,  -0x1.fffff8p+0,          0x0p+0, 0)
950T(RZ,-0x1.fffffcp+126,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
951T(RZ,-0x1.fffffcp+126,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
952T(RZ,-0x1.fffffep+126,        0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
953T(RZ,-0x1.fffffep+126,       -0x1p+127,-0x1.fffffep+126,          0x0p+0, 0)
954T(RZ,-0x1.000002p+127,      0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
955T(RZ,-0x1.000002p+127,        0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
956T(RZ,-0x1.000002p+127,      0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
957T(RZ,-0x1.000002p+127,     -0x1.8p-148,         -0x0p+0,          0x0p+0, 0)
958T(RZ,-0x1.000002p+127,       -0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
959T(RZ,-0x1.000002p+127,     -0x1.8p+105,         -0x0p+0,          0x0p+0, 0)
960T(RZ,-0x1.000004p+127,      0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
961T(RZ,-0x1.000004p+127,     -0x1.8p+105,       -0x1p+104,          0x0p+0, 0)
962T(RZ,-0x1.fffffep+127,        0x1p-149,         -0x0p+0,          0x0p+0, 0)
963T(RZ,-0x1.fffffep+127, 0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
964T(RZ,-0x1.fffffep+127,             inf,-0x1.fffffep+127,          0x0p+0, 0)
965T(RZ,-0x1.fffffep+127,       -0x1p-149,         -0x0p+0,          0x0p+0, 0)
966T(RZ,-0x1.fffffep+127,-0x1.fffffcp+127,       -0x1p+104,          0x0p+0, 0)
967T(RZ,-0x1.fffffep+127,            -inf,-0x1.fffffep+127,          0x0p+0, 0)
968T(RZ,          0x0p+0,             nan,             nan,          0x0p+0, 0)
969T(RZ,        0x1p-149,             nan,             nan,          0x0p+0, 0)
970T(RZ, 0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
971T(RZ,          0x1p+0,             nan,             nan,          0x0p+0, 0)
972T(RZ, 0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
973T(RZ,             inf,             nan,             nan,          0x0p+0, 0)
974T(RZ,             nan,          0x0p+0,             nan,          0x0p+0, 0)
975T(RZ,             nan,        0x1p-149,             nan,          0x0p+0, 0)
976T(RZ,             nan, 0x1.fffffcp-127,             nan,          0x0p+0, 0)
977T(RZ,             nan,          0x1p+0,             nan,          0x0p+0, 0)
978T(RZ,             nan, 0x1.fffffep+127,             nan,          0x0p+0, 0)
979T(RZ,             nan,             inf,             nan,          0x0p+0, 0)
980T(RZ,             nan,             nan,             nan,          0x0p+0, 0)
981T(RZ,             nan,         -0x0p+0,             nan,          0x0p+0, 0)
982T(RZ,             nan,       -0x1p-149,             nan,          0x0p+0, 0)
983T(RZ,             nan,-0x1.fffffcp-127,             nan,          0x0p+0, 0)
984T(RZ,             nan,         -0x1p+0,             nan,          0x0p+0, 0)
985T(RZ,             nan,-0x1.fffffep+127,             nan,          0x0p+0, 0)
986T(RZ,             nan,            -inf,             nan,          0x0p+0, 0)
987T(RZ,         -0x0p+0,             nan,             nan,          0x0p+0, 0)
988T(RZ,       -0x1p-149,             nan,             nan,          0x0p+0, 0)
989T(RZ,-0x1.fffffcp-127,             nan,             nan,          0x0p+0, 0)
990T(RZ,         -0x1p+0,             nan,             nan,          0x0p+0, 0)
991T(RZ,-0x1.fffffep+127,             nan,             nan,          0x0p+0, 0)
992T(RZ,            -inf,             nan,             nan,          0x0p+0, 0)
993T(RZ,          0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
994T(RZ,          0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
995T(RZ,        0x1p-149,          0x0p+0,             nan,          0x0p+0, INVALID)
996T(RZ, 0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
997T(RZ, 0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
998T(RZ,   0x1.fffffep-1,          0x0p+0,             nan,          0x0p+0, INVALID)
999T(RZ,          0x1p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
1000T(RZ, 0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
1001T(RZ, 0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
1002T(RZ,             inf,          0x0p+0,             nan,          0x0p+0, INVALID)
1003T(RZ,             inf,        0x1p-149,             nan,          0x0p+0, INVALID)
1004T(RZ,             inf, 0x1.fffffcp-127,             nan,          0x0p+0, INVALID)
1005T(RZ,             inf,          0x1p+0,             nan,          0x0p+0, INVALID)
1006T(RZ,             inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
1007T(RZ,             inf,             inf,             nan,          0x0p+0, INVALID)
1008T(RZ,             inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
1009T(RZ,             inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
1010T(RZ,         -0x0p+0,          0x0p+0,             nan,          0x0p+0, INVALID)
1011T(RZ,         -0x0p+0,         -0x0p+0,             nan,          0x0p+0, INVALID)
1012T(RZ,-0x1.fffffcp-127,          0x0p+0,             nan,          0x0p+0, INVALID)
1013T(RZ,-0x1.fffffcp-127,         -0x0p+0,             nan,          0x0p+0, INVALID)
1014T(RZ,-0x1.fffffep+127,          0x0p+0,             nan,          0x0p+0, INVALID)
1015T(RZ,-0x1.fffffep+127,         -0x0p+0,             nan,          0x0p+0, INVALID)
1016T(RZ,            -inf,          0x0p+0,             nan,          0x0p+0, INVALID)
1017T(RZ,            -inf, 0x1.fffffep+127,             nan,          0x0p+0, INVALID)
1018T(RZ,            -inf,         -0x0p+0,             nan,          0x0p+0, INVALID)
1019T(RZ,            -inf,-0x1.fffffep+127,             nan,          0x0p+0, INVALID)
1020