xref: /third_party/musl/libc-test/src/math/ucb/floor.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// floord(integer) is itself
38T(RN,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
39T(RN,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
40T(RN,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
41T(RN,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
42T(RN,   0x1.fffffffffffffp+52,   0x1.fffffffffffffp+52,          0x0p+0, 0)
43T(RN,  -0x1.fffffffffffffp+52,  -0x1.fffffffffffffp+52,          0x0p+0, 0)
44T(RN, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
45T(RN,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
46T(RZ,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
47T(RZ,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
48T(RZ,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
49T(RZ,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
50T(RZ,   0x1.fffffffffffffp+52,   0x1.fffffffffffffp+52,          0x0p+0, 0)
51T(RZ,  -0x1.fffffffffffffp+52,  -0x1.fffffffffffffp+52,          0x0p+0, 0)
52T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
53T(RZ,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
54T(RU,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
55T(RU,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
56T(RU,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
57T(RU,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
58T(RU,   0x1.fffffffffffffp+52,   0x1.fffffffffffffp+52,          0x0p+0, 0)
59T(RU,  -0x1.fffffffffffffp+52,  -0x1.fffffffffffffp+52,          0x0p+0, 0)
60T(RU, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
61T(RU,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
62T(RD,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
63T(RD,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
64T(RD,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
65T(RD,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
66T(RD,   0x1.fffffffffffffp+52,   0x1.fffffffffffffp+52,          0x0p+0, 0)
67T(RD,  -0x1.fffffffffffffp+52,  -0x1.fffffffffffffp+52,          0x0p+0, 0)
68T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
69T(RD,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
70// integer - ulp
71T(RN,   0x1.eeeeeeeeeeeefp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
72T(RN,  -0x1.eeeeeeeeeeeefp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
73T(RN,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
74T(RN,   -0x1.fffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
75T(RN,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, INEXACT)
76T(RN,   -0x1.fffffffffffffp-1,                 -0x1p+0,          0x0p+0, INEXACT)
77T(RZ,   0x1.eeeeeeeeeeeefp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
78T(RZ,  -0x1.eeeeeeeeeeeefp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
79T(RZ,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
80T(RZ,   -0x1.fffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
81T(RZ,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, INEXACT)
82T(RZ,   -0x1.fffffffffffffp-1,                 -0x1p+0,          0x0p+0, INEXACT)
83T(RU,   0x1.eeeeeeeeeeeefp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
84T(RU,  -0x1.eeeeeeeeeeeefp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
85T(RU,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
86T(RU,   -0x1.fffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
87T(RU,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, INEXACT)
88T(RU,   -0x1.fffffffffffffp-1,                 -0x1p+0,          0x0p+0, INEXACT)
89T(RD,   0x1.eeeeeeeeeeeefp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
90T(RD,  -0x1.eeeeeeeeeeeefp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
91T(RD,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
92T(RD,   -0x1.fffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
93T(RD,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, INEXACT)
94T(RD,   -0x1.fffffffffffffp-1,                 -0x1p+0,          0x0p+0, INEXACT)
95// integer + ulp
96T(RN,   0x1.eeeeeeeeeeeedp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
97T(RN,  -0x1.eeeeeeeeeeeedp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
98T(RN,    0x1.0000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
99T(RN,   -0x1.0000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
100T(RN,               0x1p-1022,                  0x0p+0,          0x0p+0, INEXACT)
101T(RN,              -0x1p-1022,                 -0x1p+0,          0x0p+0, INEXACT)
102T(RZ,   0x1.eeeeeeeeeeeedp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
103T(RZ,  -0x1.eeeeeeeeeeeedp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
104T(RZ,    0x1.0000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
105T(RZ,   -0x1.0000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
106T(RZ,               0x1p-1022,                  0x0p+0,          0x0p+0, INEXACT)
107T(RZ,              -0x1p-1022,                 -0x1p+0,          0x0p+0, INEXACT)
108T(RU,   0x1.eeeeeeeeeeeedp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
109T(RU,  -0x1.eeeeeeeeeeeedp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
110T(RU,    0x1.0000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
111T(RU,   -0x1.0000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
112T(RU,               0x1p-1022,                  0x0p+0,          0x0p+0, INEXACT)
113T(RU,              -0x1p-1022,                 -0x1p+0,          0x0p+0, INEXACT)
114T(RD,   0x1.eeeeeeeeeeeedp+50,   0x1.eeeeeeeeeeeecp+50,          0x0p+0, INEXACT)
115T(RD,  -0x1.eeeeeeeeeeeedp+50,   -0x1.eeeeeeeeeeefp+50,          0x0p+0, INEXACT)
116T(RD,    0x1.0000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
117T(RD,   -0x1.0000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
118T(RD,               0x1p-1022,                  0x0p+0,          0x0p+0, INEXACT)
119T(RD,              -0x1p-1022,                 -0x1p+0,          0x0p+0, INEXACT)
120//  half way case, half way case +- ulp
121T(RN,    0x1.fffffffffffffp-2,                  0x0p+0,          0x0p+0, INEXACT)
122T(RN,                  0x1p-1,                  0x0p+0,          0x0p+0, INEXACT)
123T(RN,    0x1.0000000000001p-1,                  0x0p+0,          0x0p+0, INEXACT)
124T(RN,   -0x1.fffffffffffffp-2,                 -0x1p+0,          0x0p+0, INEXACT)
125T(RN,                 -0x1p-1,                 -0x1p+0,          0x0p+0, INEXACT)
126T(RN,   -0x1.0000000000001p-1,                 -0x1p+0,          0x0p+0, INEXACT)
127T(RN,    0x1.7ffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
128T(RN,                0x1.8p+0,                  0x1p+0,          0x0p+0, INEXACT)
129T(RN,    0x1.8000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
130T(RN,   -0x1.7ffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
131T(RN,               -0x1.8p+0,                 -0x1p+1,          0x0p+0, INEXACT)
132T(RN,   -0x1.8000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
133T(RN,    0x1.3ffffffffffffp+1,                  0x1p+1,          0x0p+0, INEXACT)
134T(RN,                0x1.4p+1,                  0x1p+1,          0x0p+0, INEXACT)
135T(RN,    0x1.4000000000001p+1,                  0x1p+1,          0x0p+0, INEXACT)
136T(RN,   -0x1.3ffffffffffffp+1,               -0x1.8p+1,          0x0p+0, INEXACT)
137T(RN,               -0x1.4p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
138T(RN,   -0x1.4000000000001p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
139T(RN,   0x1.eeeeeeeeeeee7p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
140T(RN,   0x1.eeeeeeeeeeee8p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
141T(RN,   0x1.eeeeeeeeeeee9p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
142T(RN,  -0x1.eeeeeeeeeeee7p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
143T(RN,  -0x1.eeeeeeeeeeee8p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
144T(RN,  -0x1.eeeeeeeeeeee9p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
145T(RZ,    0x1.fffffffffffffp-2,                  0x0p+0,          0x0p+0, INEXACT)
146T(RZ,                  0x1p-1,                  0x0p+0,          0x0p+0, INEXACT)
147T(RZ,    0x1.0000000000001p-1,                  0x0p+0,          0x0p+0, INEXACT)
148T(RZ,   -0x1.fffffffffffffp-2,                 -0x1p+0,          0x0p+0, INEXACT)
149T(RZ,                 -0x1p-1,                 -0x1p+0,          0x0p+0, INEXACT)
150T(RZ,   -0x1.0000000000001p-1,                 -0x1p+0,          0x0p+0, INEXACT)
151T(RZ,    0x1.7ffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
152T(RZ,                0x1.8p+0,                  0x1p+0,          0x0p+0, INEXACT)
153T(RZ,    0x1.8000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
154T(RZ,   -0x1.7ffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
155T(RZ,               -0x1.8p+0,                 -0x1p+1,          0x0p+0, INEXACT)
156T(RZ,   -0x1.8000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
157T(RZ,    0x1.3ffffffffffffp+1,                  0x1p+1,          0x0p+0, INEXACT)
158T(RZ,                0x1.4p+1,                  0x1p+1,          0x0p+0, INEXACT)
159T(RZ,    0x1.4000000000001p+1,                  0x1p+1,          0x0p+0, INEXACT)
160T(RZ,   -0x1.3ffffffffffffp+1,               -0x1.8p+1,          0x0p+0, INEXACT)
161T(RZ,               -0x1.4p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
162T(RZ,   -0x1.4000000000001p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
163T(RZ,   0x1.eeeeeeeeeeee7p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
164T(RZ,   0x1.eeeeeeeeeeee8p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
165T(RZ,   0x1.eeeeeeeeeeee9p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
166T(RZ,  -0x1.eeeeeeeeeeee7p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
167T(RZ,  -0x1.eeeeeeeeeeee8p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
168T(RZ,  -0x1.eeeeeeeeeeee9p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
169T(RU,    0x1.fffffffffffffp-2,                  0x0p+0,          0x0p+0, INEXACT)
170T(RU,                  0x1p-1,                  0x0p+0,          0x0p+0, INEXACT)
171T(RU,    0x1.0000000000001p-1,                  0x0p+0,          0x0p+0, INEXACT)
172T(RU,   -0x1.fffffffffffffp-2,                 -0x1p+0,          0x0p+0, INEXACT)
173T(RU,                 -0x1p-1,                 -0x1p+0,          0x0p+0, INEXACT)
174T(RU,   -0x1.0000000000001p-1,                 -0x1p+0,          0x0p+0, INEXACT)
175T(RU,    0x1.7ffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
176T(RU,                0x1.8p+0,                  0x1p+0,          0x0p+0, INEXACT)
177T(RU,    0x1.8000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
178T(RU,   -0x1.7ffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
179T(RU,               -0x1.8p+0,                 -0x1p+1,          0x0p+0, INEXACT)
180T(RU,   -0x1.8000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
181T(RU,    0x1.3ffffffffffffp+1,                  0x1p+1,          0x0p+0, INEXACT)
182T(RU,                0x1.4p+1,                  0x1p+1,          0x0p+0, INEXACT)
183T(RU,    0x1.4000000000001p+1,                  0x1p+1,          0x0p+0, INEXACT)
184T(RU,   -0x1.3ffffffffffffp+1,               -0x1.8p+1,          0x0p+0, INEXACT)
185T(RU,               -0x1.4p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
186T(RU,   -0x1.4000000000001p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
187T(RU,   0x1.eeeeeeeeeeee7p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
188T(RU,   0x1.eeeeeeeeeeee8p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
189T(RU,   0x1.eeeeeeeeeeee9p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
190T(RU,  -0x1.eeeeeeeeeeee7p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
191T(RU,  -0x1.eeeeeeeeeeee8p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
192T(RU,  -0x1.eeeeeeeeeeee9p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
193T(RD,    0x1.fffffffffffffp-2,                  0x0p+0,          0x0p+0, INEXACT)
194T(RD,                  0x1p-1,                  0x0p+0,          0x0p+0, INEXACT)
195T(RD,    0x1.0000000000001p-1,                  0x0p+0,          0x0p+0, INEXACT)
196T(RD,   -0x1.fffffffffffffp-2,                 -0x1p+0,          0x0p+0, INEXACT)
197T(RD,                 -0x1p-1,                 -0x1p+0,          0x0p+0, INEXACT)
198T(RD,   -0x1.0000000000001p-1,                 -0x1p+0,          0x0p+0, INEXACT)
199T(RD,    0x1.7ffffffffffffp+0,                  0x1p+0,          0x0p+0, INEXACT)
200T(RD,                0x1.8p+0,                  0x1p+0,          0x0p+0, INEXACT)
201T(RD,    0x1.8000000000001p+0,                  0x1p+0,          0x0p+0, INEXACT)
202T(RD,   -0x1.7ffffffffffffp+0,                 -0x1p+1,          0x0p+0, INEXACT)
203T(RD,               -0x1.8p+0,                 -0x1p+1,          0x0p+0, INEXACT)
204T(RD,   -0x1.8000000000001p+0,                 -0x1p+1,          0x0p+0, INEXACT)
205T(RD,    0x1.3ffffffffffffp+1,                  0x1p+1,          0x0p+0, INEXACT)
206T(RD,                0x1.4p+1,                  0x1p+1,          0x0p+0, INEXACT)
207T(RD,    0x1.4000000000001p+1,                  0x1p+1,          0x0p+0, INEXACT)
208T(RD,   -0x1.3ffffffffffffp+1,               -0x1.8p+1,          0x0p+0, INEXACT)
209T(RD,               -0x1.4p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
210T(RD,   -0x1.4000000000001p+1,               -0x1.8p+1,          0x0p+0, INEXACT)
211T(RD,   0x1.eeeeeeeeeeee7p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
212T(RD,   0x1.eeeeeeeeeeee8p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
213T(RD,   0x1.eeeeeeeeeeee9p+48,    0x1.eeeeeeeeeeeep+48,          0x0p+0, INEXACT)
214T(RD,  -0x1.eeeeeeeeeeee7p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
215T(RD,  -0x1.eeeeeeeeeeee8p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
216T(RD,  -0x1.eeeeeeeeeeee9p+48,   -0x1.eeeeeeeeeeefp+48,          0x0p+0, INEXACT)
217// random arguments between -100,100
218T(RN,   -0x1.adeefb2b5006dp+3,               -0x1.cp+3,          0x0p+0, INEXACT)
219T(RN,    0x1.1ce3efb825911p+5,               0x1.18p+5,          0x0p+0, INEXACT)
220T(RN,    0x1.602e109de7505p+5,                0x1.6p+5,          0x0p+0, INEXACT)
221T(RN,   -0x1.0b245fba96889p+5,               -0x1.1p+5,          0x0p+0, INEXACT)
222T(RN,   -0x1.b171ee27084ddp+3,               -0x1.cp+3,          0x0p+0, INEXACT)
223T(RN,   -0x1.f6eff1b093c41p+0,                 -0x1p+1,          0x0p+0, INEXACT)
224T(RN,    0x1.ceaa3d18455f5p+4,                0x1.cp+4,          0x0p+0, INEXACT)
225T(RN,    0x1.560914a51b239p+5,                0x1.5p+5,          0x0p+0, INEXACT)
226T(RN,   -0x1.0ce901079de4dp+3,               -0x1.2p+3,          0x0p+0, INEXACT)
227T(RN,   -0x1.7f35b3103b871p+5,               -0x1.8p+5,          0x0p+0, INEXACT)
228// inf,nan, and subnormal number
229T(RN,               0x1p-1074,                  0x0p+0,          0x0p+0, INEXACT)
230T(RN,              -0x1p-1074,                 -0x1p+0,          0x0p+0, INEXACT)
231T(RN,                     inf,                     inf,          0x0p+0, 0)
232T(RN,                    -inf,                    -inf,          0x0p+0, 0)
233T(RN,                     nan,                     nan,          0x0p+0, 0)
234T(RZ,               0x1p-1074,                  0x0p+0,          0x0p+0, INEXACT)
235T(RZ,              -0x1p-1074,                 -0x1p+0,          0x0p+0, INEXACT)
236T(RZ,                     inf,                     inf,          0x0p+0, 0)
237T(RZ,                    -inf,                    -inf,          0x0p+0, 0)
238T(RZ,                     nan,                     nan,          0x0p+0, 0)
239T(RU,               0x1p-1074,                  0x0p+0,          0x0p+0, INEXACT)
240T(RU,              -0x1p-1074,                 -0x1p+0,          0x0p+0, INEXACT)
241T(RU,                     inf,                     inf,          0x0p+0, 0)
242T(RU,                    -inf,                    -inf,          0x0p+0, 0)
243T(RU,                     nan,                     nan,          0x0p+0, 0)
244T(RD,               0x1p-1074,                  0x0p+0,          0x0p+0, INEXACT)
245T(RD,              -0x1p-1074,                 -0x1p+0,          0x0p+0, INEXACT)
246T(RD,                     inf,                     inf,          0x0p+0, 0)
247T(RD,                    -inf,                    -inf,          0x0p+0, 0)
248T(RD,                     nan,                     nan,          0x0p+0, 0)
249T(RD,               0x1.2p+12,               0x1.2p+12,          0x0p+0, 0)
250T(RD,                 0x1p+23,                 0x1p+23,          0x0p+0, 0)
251T(RD,   0x1.ffffffffffffep+51,   0x1.ffffffffffffep+51,          0x0p+0, 0)
252T(RD,                 0x1p+52,                 0x1p+52,          0x0p+0, 0)
253T(RD,   0x1.0000000000001p+52,   0x1.0000000000001p+52,          0x0p+0, 0)
254T(RD, 0x1.fffffffffffeep+1014, 0x1.fffffffffffeep+1014,          0x0p+0, 0)
255T(RD, 0x1.ffffffffffff7p+1014, 0x1.ffffffffffff7p+1014,          0x0p+0, 0)
256T(RD, 0x1.fffffffffffffp+1014, 0x1.fffffffffffffp+1014,          0x0p+0, 0)
257T(RD,               0x1p+1015,               0x1p+1015,          0x0p+0, 0)
258T(RD,              -0x1.2p+12,              -0x1.2p+12,          0x0p+0, 0)
259T(RD,                -0x1p+23,                -0x1p+23,          0x0p+0, 0)
260T(RD,  -0x1.ffffffffffffep+51,  -0x1.ffffffffffffep+51,          0x0p+0, 0)
261T(RD,                -0x1p+52,                -0x1p+52,          0x0p+0, 0)
262T(RD,  -0x1.0000000000001p+52,  -0x1.0000000000001p+52,          0x0p+0, 0)
263T(RD,-0x1.fffffffffffeep+1014,-0x1.fffffffffffeep+1014,          0x0p+0, 0)
264T(RD,-0x1.ffffffffffff7p+1014,-0x1.ffffffffffff7p+1014,          0x0p+0, 0)
265T(RD,-0x1.fffffffffffffp+1014,-0x1.fffffffffffffp+1014,          0x0p+0, 0)
266T(RD,              -0x1p+1015,              -0x1p+1015,          0x0p+0, 0)
267T(RD, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, INEXACT)
268T(RD,                0x1.ep-1,                  0x0p+0,          0x0p+0, INEXACT)
269T(RD,                0x1.2p+2,                  0x1p+2,          0x0p+0, INEXACT)
270T(RD,    0x1.fffffffffffffp+2,                0x1.cp+2,          0x0p+0, INEXACT)
271T(RD,    0x1.0000000000001p+3,                  0x1p+3,          0x0p+0, INEXACT)
272T(RD,    0x1.0000000000008p+9,                  0x1p+9,          0x0p+0, INEXACT)
273T(RD,   0x1.0000000000001p+18,                 0x1p+18,          0x0p+0, INEXACT)
274T(RD,   0x1.0000000000001p+23,                 0x1p+23,          0x0p+0, INEXACT)
275T(RD,   0x1.ffffffffffffdp+51,   0x1.ffffffffffffcp+51,          0x0p+0, INEXACT)
276T(RD,   0x1.fffffffffffffp+51,   0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
277T(RD,-0x1.ffffffffffffep-1023,                 -0x1p+0,          0x0p+0, INEXACT)
278T(RD,               -0x1.2p+2,               -0x1.4p+2,          0x0p+0, INEXACT)
279T(RD,   -0x1.fffffffffffffp+2,                 -0x1p+3,          0x0p+0, INEXACT)
280T(RD,   -0x1.0000000000001p+3,               -0x1.2p+3,          0x0p+0, INEXACT)
281T(RD,   -0x1.ffffffffffff8p+8,                 -0x1p+9,          0x0p+0, INEXACT)
282T(RD,  -0x1.fffffffffffffp+17,                -0x1p+18,          0x0p+0, INEXACT)
283T(RD,  -0x1.ffffffffffffdp+22,                -0x1p+23,          0x0p+0, INEXACT)
284T(RD,  -0x1.ffffffffffffep+22,                -0x1p+23,          0x0p+0, INEXACT)
285T(RD,  -0x1.fffffffffffffp+22,                -0x1p+23,          0x0p+0, INEXACT)
286T(RD,  -0x1.ffffffffffffdp+51,  -0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
287T(RD,  -0x1.fffffffffffffp+51,                -0x1p+52,          0x0p+0, INEXACT)
288T(RD,                     nan,                     nan,          0x0p+0, 0)
289T(RN,               0x1.2p+12,               0x1.2p+12,          0x0p+0, 0)
290T(RN,                 0x1p+23,                 0x1p+23,          0x0p+0, 0)
291T(RN,   0x1.ffffffffffffep+51,   0x1.ffffffffffffep+51,          0x0p+0, 0)
292T(RN,                 0x1p+52,                 0x1p+52,          0x0p+0, 0)
293T(RN,   0x1.0000000000001p+52,   0x1.0000000000001p+52,          0x0p+0, 0)
294T(RN, 0x1.fffffffffffeep+1014, 0x1.fffffffffffeep+1014,          0x0p+0, 0)
295T(RN, 0x1.ffffffffffff7p+1014, 0x1.ffffffffffff7p+1014,          0x0p+0, 0)
296T(RN, 0x1.fffffffffffffp+1014, 0x1.fffffffffffffp+1014,          0x0p+0, 0)
297T(RN,               0x1p+1015,               0x1p+1015,          0x0p+0, 0)
298T(RN,              -0x1.2p+12,              -0x1.2p+12,          0x0p+0, 0)
299T(RN,                -0x1p+23,                -0x1p+23,          0x0p+0, 0)
300T(RN,  -0x1.ffffffffffffep+51,  -0x1.ffffffffffffep+51,          0x0p+0, 0)
301T(RN,                -0x1p+52,                -0x1p+52,          0x0p+0, 0)
302T(RN,  -0x1.0000000000001p+52,  -0x1.0000000000001p+52,          0x0p+0, 0)
303T(RN,-0x1.fffffffffffeep+1014,-0x1.fffffffffffeep+1014,          0x0p+0, 0)
304T(RN,-0x1.ffffffffffff7p+1014,-0x1.ffffffffffff7p+1014,          0x0p+0, 0)
305T(RN,-0x1.fffffffffffffp+1014,-0x1.fffffffffffffp+1014,          0x0p+0, 0)
306T(RN,              -0x1p+1015,              -0x1p+1015,          0x0p+0, 0)
307T(RN, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, INEXACT)
308T(RN,                0x1.ep-1,                  0x0p+0,          0x0p+0, INEXACT)
309T(RN,                0x1.2p+2,                  0x1p+2,          0x0p+0, INEXACT)
310T(RN,    0x1.2000000000001p+2,                  0x1p+2,          0x0p+0, INEXACT)
311T(RN,    0x1.0000000000001p+3,                  0x1p+3,          0x0p+0, INEXACT)
312T(RN,    0x1.0000000000008p+9,                  0x1p+9,          0x0p+0, INEXACT)
313T(RN,   0x1.0000000000001p+18,                 0x1p+18,          0x0p+0, INEXACT)
314T(RN,   0x1.0000000000001p+23,                 0x1p+23,          0x0p+0, INEXACT)
315T(RN,   0x1.ffffffffffffdp+51,   0x1.ffffffffffffcp+51,          0x0p+0, INEXACT)
316T(RN,   0x1.fffffffffffffp+51,   0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
317T(RN,   -0x1.2000000000001p+2,               -0x1.4p+2,          0x0p+0, INEXACT)
318T(RN,   -0x1.fffffffffffffp+2,                 -0x1p+3,          0x0p+0, INEXACT)
319T(RN,   -0x1.ffffffffffff8p+8,                 -0x1p+9,          0x0p+0, INEXACT)
320T(RN,  -0x1.fffffffffffffp+17,                -0x1p+18,          0x0p+0, INEXACT)
321T(RN,  -0x1.ffffffffffffdp+22,                -0x1p+23,          0x0p+0, INEXACT)
322T(RN,  -0x1.ffffffffffffep+22,                -0x1p+23,          0x0p+0, INEXACT)
323T(RN,  -0x1.fffffffffffffp+22,                -0x1p+23,          0x0p+0, INEXACT)
324T(RN,  -0x1.ffffffffffffdp+51,  -0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
325T(RN,  -0x1.fffffffffffffp+51,                -0x1p+52,          0x0p+0, INEXACT)
326T(RN,                     nan,                     nan,          0x0p+0, 0)
327T(RU,               0x1.2p+12,               0x1.2p+12,          0x0p+0, 0)
328T(RU,                 0x1p+23,                 0x1p+23,          0x0p+0, 0)
329T(RU,   0x1.ffffffffffffep+51,   0x1.ffffffffffffep+51,          0x0p+0, 0)
330T(RU,                 0x1p+52,                 0x1p+52,          0x0p+0, 0)
331T(RU,   0x1.0000000000001p+52,   0x1.0000000000001p+52,          0x0p+0, 0)
332T(RU, 0x1.fffffffffffeep+1014, 0x1.fffffffffffeep+1014,          0x0p+0, 0)
333T(RU, 0x1.ffffffffffff7p+1014, 0x1.ffffffffffff7p+1014,          0x0p+0, 0)
334T(RU, 0x1.fffffffffffffp+1014, 0x1.fffffffffffffp+1014,          0x0p+0, 0)
335T(RU,               0x1p+1015,               0x1p+1015,          0x0p+0, 0)
336T(RU,              -0x1.2p+12,              -0x1.2p+12,          0x0p+0, 0)
337T(RU,                -0x1p+23,                -0x1p+23,          0x0p+0, 0)
338T(RU,  -0x1.ffffffffffffep+51,  -0x1.ffffffffffffep+51,          0x0p+0, 0)
339T(RU,                -0x1p+52,                -0x1p+52,          0x0p+0, 0)
340T(RU,  -0x1.0000000000001p+52,  -0x1.0000000000001p+52,          0x0p+0, 0)
341T(RU,-0x1.fffffffffffeep+1014,-0x1.fffffffffffeep+1014,          0x0p+0, 0)
342T(RU,-0x1.ffffffffffff7p+1014,-0x1.ffffffffffff7p+1014,          0x0p+0, 0)
343T(RU,-0x1.fffffffffffffp+1014,-0x1.fffffffffffffp+1014,          0x0p+0, 0)
344T(RU,              -0x1p+1015,              -0x1p+1015,          0x0p+0, 0)
345T(RU,                0x1.ep-1,                  0x0p+0,          0x0p+0, INEXACT)
346T(RU,   0x1.0000000000001p+23,                 0x1p+23,          0x0p+0, INEXACT)
347T(RU,   0x1.ffffffffffffdp+51,   0x1.ffffffffffffcp+51,          0x0p+0, INEXACT)
348T(RU,   0x1.fffffffffffffp+51,   0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
349T(RU,  -0x1.ffffffffffffdp+22,                -0x1p+23,          0x0p+0, INEXACT)
350T(RU,  -0x1.ffffffffffffep+22,                -0x1p+23,          0x0p+0, INEXACT)
351T(RU,  -0x1.fffffffffffffp+22,                -0x1p+23,          0x0p+0, INEXACT)
352T(RU,  -0x1.ffffffffffffdp+51,  -0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
353T(RU,  -0x1.fffffffffffffp+51,                -0x1p+52,          0x0p+0, INEXACT)
354T(RU,                     nan,                     nan,          0x0p+0, 0)
355T(RZ,               0x1.2p+12,               0x1.2p+12,          0x0p+0, 0)
356T(RZ,                 0x1p+23,                 0x1p+23,          0x0p+0, 0)
357T(RZ,   0x1.ffffffffffffep+51,   0x1.ffffffffffffep+51,          0x0p+0, 0)
358T(RZ,                 0x1p+52,                 0x1p+52,          0x0p+0, 0)
359T(RZ,   0x1.0000000000001p+52,   0x1.0000000000001p+52,          0x0p+0, 0)
360T(RZ, 0x1.fffffffffffeep+1014, 0x1.fffffffffffeep+1014,          0x0p+0, 0)
361T(RZ, 0x1.ffffffffffff7p+1014, 0x1.ffffffffffff7p+1014,          0x0p+0, 0)
362T(RZ, 0x1.fffffffffffffp+1014, 0x1.fffffffffffffp+1014,          0x0p+0, 0)
363T(RZ,               0x1p+1015,               0x1p+1015,          0x0p+0, 0)
364T(RZ,              -0x1.2p+12,              -0x1.2p+12,          0x0p+0, 0)
365T(RZ,                -0x1p+23,                -0x1p+23,          0x0p+0, 0)
366T(RZ,  -0x1.ffffffffffffep+51,  -0x1.ffffffffffffep+51,          0x0p+0, 0)
367T(RZ,                -0x1p+52,                -0x1p+52,          0x0p+0, 0)
368T(RZ,  -0x1.0000000000001p+52,  -0x1.0000000000001p+52,          0x0p+0, 0)
369T(RZ,-0x1.fffffffffffeep+1014,-0x1.fffffffffffeep+1014,          0x0p+0, 0)
370T(RZ,-0x1.ffffffffffff7p+1014,-0x1.ffffffffffff7p+1014,          0x0p+0, 0)
371T(RZ,-0x1.fffffffffffffp+1014,-0x1.fffffffffffffp+1014,          0x0p+0, 0)
372T(RZ,              -0x1p+1015,              -0x1p+1015,          0x0p+0, 0)
373T(RZ, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, INEXACT)
374T(RZ,                0x1.ep-1,                  0x0p+0,          0x0p+0, INEXACT)
375T(RZ,                0x1.2p+2,                  0x1p+2,          0x0p+0, INEXACT)
376T(RZ,    0x1.fffffffffffffp+2,                0x1.cp+2,          0x0p+0, INEXACT)
377T(RZ,    0x1.0000000000001p+3,                  0x1p+3,          0x0p+0, INEXACT)
378T(RZ,    0x1.0000000000008p+9,                  0x1p+9,          0x0p+0, INEXACT)
379T(RZ,   0x1.0000000000001p+18,                 0x1p+18,          0x0p+0, INEXACT)
380T(RZ,   0x1.0000000000001p+23,                 0x1p+23,          0x0p+0, INEXACT)
381T(RZ,   0x1.ffffffffffffdp+51,   0x1.ffffffffffffcp+51,          0x0p+0, INEXACT)
382T(RZ,   0x1.fffffffffffffp+51,   0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
383T(RZ,  -0x1.ffffffffffffdp+22,                -0x1p+23,          0x0p+0, INEXACT)
384T(RZ,  -0x1.ffffffffffffep+22,                -0x1p+23,          0x0p+0, INEXACT)
385T(RZ,  -0x1.fffffffffffffp+22,                -0x1p+23,          0x0p+0, INEXACT)
386T(RZ,  -0x1.ffffffffffffdp+51,  -0x1.ffffffffffffep+51,          0x0p+0, INEXACT)
387T(RZ,  -0x1.fffffffffffffp+51,                -0x1p+52,          0x0p+0, INEXACT)
388T(RZ,                     nan,                     nan,          0x0p+0, 0)
389