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