fix ulp check in sincosf
[libc-test.git] / src / math / ucb / log10.h
blob9c9e339b43b57278c0c4f9f95903545928779277
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.
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.
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.
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.
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 // log10d(+fmax) is finite
38 T(RN, 0x1.fffffffffffffp+1023, 0x1.34413509f79ffp+8, 0x1.a4b4bap-5, INEXACT)
39 T(RZ, 0x1.fffffffffffffp+1023, 0x1.34413509f79fep+8, -0x1.e5b4b4p-1, INEXACT)
40 T(RU, 0x1.fffffffffffffp+1023, 0x1.34413509f79ffp+8, 0x1.a4b4bap-5, INEXACT)
41 T(RD, 0x1.fffffffffffffp+1023, 0x1.34413509f79fep+8, -0x1.e5b4b4p-1, INEXACT)
42 // log10d(10**n) == n (n=1,...,22)
43 T(RN, 0x1.4p+3, 0x1p+0, 0x0p+0, 0)
44 T(RN, 0x1.9p+6, 0x1p+1, 0x0p+0, 0)
45 T(RN, 0x1.f4p+9, 0x1.8p+1, 0x0p+0, 0)
46 T(RN, 0x1.388p+13, 0x1p+2, 0x0p+0, 0)
47 T(RN, 0x1.86ap+16, 0x1.4p+2, 0x0p+0, 0)
48 T(RN, 0x1.e848p+19, 0x1.8p+2, 0x0p+0, 0)
49 T(RN, 0x1.312dp+23, 0x1.cp+2, 0x0p+0, 0)
50 T(RN, 0x1.7d784p+26, 0x1p+3, 0x0p+0, 0)
51 T(RN, 0x1.dcd65p+29, 0x1.2p+3, 0x0p+0, 0)
52 T(RN, 0x1.2a05f2p+33, 0x1.4p+3, 0x0p+0, 0)
53 T(RN, 0x1.74876e8p+36, 0x1.6p+3, 0x0p+0, 0)
54 T(RN, 0x1.d1a94a2p+39, 0x1.8p+3, 0x0p+0, 0)
55 T(RN, 0x1.2309ce54p+43, 0x1.ap+3, 0x0p+0, 0)
56 T(RN, 0x1.6bcc41e9p+46, 0x1.cp+3, 0x0p+0, 0)
57 T(RN, 0x1.c6bf52634p+49, 0x1.ep+3, 0x0p+0, 0)
58 T(RN, 0x1.1c37937e08p+53, 0x1p+4, 0x0p+0, 0)
59 T(RN, 0x1.6345785d8ap+56, 0x1.1p+4, 0x0p+0, 0)
60 T(RN, 0x1.bc16d674ec8p+59, 0x1.2p+4, 0x0p+0, 0)
61 T(RN, 0x1.158e460913dp+63, 0x1.3p+4, 0x0p+0, 0)
62 T(RN, 0x1.5af1d78b58c4p+66, 0x1.4p+4, 0x0p+0, 0)
63 T(RN, 0x1.b1ae4d6e2ef5p+69, 0x1.5p+4, 0x0p+0, 0)
64 T(RN, 0x1.0f0cf064dd592p+73, 0x1.6p+4, 0x0p+0, 0)
65 // log10d(1+tiny) is (tiny - tiny*tiny)/log10d
66 T(RN, 0x1.000000000002p+0, 0x1.bcb7b1526e4f2p-49, -0x1.9cae5ap-2, INEXACT)
67 T(RN, 0x1p+0, 0x0p+0, 0x0p+0, 0)
68 T(RN, 0x1.fffffffffffcp-1, -0x1.bcb7b1526e52ap-49, -0x1.de3f64p-8, INEXACT)
69 T(RZ, 0x1.000000000002p+0, 0x1.bcb7b1526e4f2p-49, -0x1.9cae5ap-2, INEXACT)
70 T(RZ, 0x1p+0, 0x0p+0, 0x0p+0, 0)
71 T(RZ, 0x1.fffffffffffcp-1, -0x1.bcb7b1526e529p-49, 0x1.fc4382p-1, INEXACT)
72 T(RU, 0x1.000000000002p+0, 0x1.bcb7b1526e4f3p-49, 0x1.31a8d4p-1, INEXACT)
73 T(RU, 0x1p+0, 0x0p+0, 0x0p+0, 0)
74 T(RU, 0x1.fffffffffffcp-1, -0x1.bcb7b1526e529p-49, 0x1.fc4382p-1, INEXACT)
75 T(RD, 0x1.000000000002p+0, 0x1.bcb7b1526e4f2p-49, -0x1.9cae5ap-2, INEXACT)
76 T(RD, 0x1p+0, 0x0p+0, 0x0p+0, 0)
77 T(RD, 0x1.fffffffffffcp-1, -0x1.bcb7b1526e52ap-49, -0x1.de3f64p-8, INEXACT)
78 // log10d(min) is finite
79 T(RN, 0x1p-1022, -0x1.33a7146f72a42p+8, -0x1.8cf2fap-5, INEXACT)
80 T(RN, 0x1p-1074, -0x1.434e6420f4374p+8, -0x1.a0fae8p-4, INEXACT)
81 T(RZ, 0x1p-1022, -0x1.33a7146f72a41p+8, 0x1.e730dp-1, INEXACT)
82 T(RZ, 0x1p-1074, -0x1.434e6420f4373p+8, 0x1.cbe0a2p-1, INEXACT)
83 T(RU, 0x1p-1022, -0x1.33a7146f72a41p+8, 0x1.e730dp-1, INEXACT)
84 T(RU, 0x1p-1074, -0x1.434e6420f4373p+8, 0x1.cbe0a2p-1, INEXACT)
85 T(RD, 0x1p-1022, -0x1.33a7146f72a42p+8, -0x1.8cf2fap-5, INEXACT)
86 T(RD, 0x1p-1074, -0x1.434e6420f4374p+8, -0x1.a0fae8p-4, INEXACT)
87 // random arguments between 0 100
88 T(RN, 0x1.24844b2b5006dp+5, 0x1.9024c06a2c714p+0, 0x1.aef3p-2, INEXACT)
89 T(RN, 0x1.5671ffb825911p+6, 0x1.eeba5ddb56f6dp+0, -0x1.9e833ep-7, INEXACT)
90 T(RN, 0x1.7817009de7505p+6, 0x1.f925b53114c7fp+0, 0x1.a6fc5ep-3, INEXACT)
91 T(RN, 0x1.09b74fba96889p+4, 0x1.38657024f572dp+0, 0x1.e4ad62p-2, INEXACT)
92 T(RN, 0x1.23a38e27084ddp+5, 0x1.8fcf347689cf5p+0, 0x1.5d3c72p-2, INEXACT)
93 T(RN, 0x1.804881b093c41p+5, 0x1.ae7acf90f48a1p+0, 0x1.e587b8p-4, INEXACT)
94 T(RN, 0x1.3baa8d18455f5p+6, 0x1.e5accf34b476ap+0, 0x1.554422p-3, INEXACT)
95 T(RN, 0x1.730484a51b239p+6, 0x1.f7a33d27f78e2p+0, 0x1.291502p-2, INEXACT)
96 T(RN, 0x1.4cc5b1079de4dp+5, 0x1.9e7a86923a334p+0, -0x1.b9e4c4p-5, INEXACT)
97 T(RN, 0x1.0ca4d3103b871p+1, 0x1.49b1b2a6745efp-2, 0x1.b949bep-2, INEXACT)
98 // log10d(nan) is nan
99 T(RN, nan, nan, 0x0p+0, 0)
100 // log10d(+inf) is inf
101 T(RN, inf, inf, 0x0p+0, 0)
102 // log10d(+-0) is -inf
103 T(RN, 0x0p+0, -inf, 0x0p+0, DIVBYZERO)
104 T(RN, -0x0p+0, -inf, 0x0p+0, DIVBYZERO)
105 // log10d(-ve) is nan
106 T(RN, -0x1p-1074, nan, 0x0p+0, INVALID)
107 T(RN, -0x1p-1022, nan, 0x0p+0, INVALID)
108 T(RN,-0x1.fffffffffffffp+1023, nan, 0x0p+0, INVALID)
109 T(RN, -inf, nan, 0x0p+0, INVALID)
110 T(RD, inf, inf, 0x0p+0, 0)
111 T(RD, 0x0p+0, -inf, 0x0p+0, DIVBYZERO)
112 T(RD, -0x0p+0, -inf, 0x0p+0, DIVBYZERO)
113 T(RD, nan, nan, 0x0p+0, 0)
114 T(RD, nan, nan, 0x0p+0, 0)
115 T(RD, -0x1p-1074, nan, 0x0p+0, INVALID)
116 T(RD, -0x1p-1073, nan, 0x0p+0, INVALID)
117 T(RD, -0x1.cp-1072, nan, 0x0p+0, INVALID)
118 T(RD, -0x1p-1024, nan, 0x0p+0, INVALID)
119 T(RD, -0x1p-1023, nan, 0x0p+0, INVALID)
120 T(RD,-0x1.ffffffffffffcp-1023, nan, 0x0p+0, INVALID)
121 T(RD,-0x1.ffffffffffffep-1023, nan, 0x0p+0, INVALID)
122 T(RD, -0x1p-1022, nan, 0x0p+0, INVALID)
123 T(RD,-0x1.0000000000001p-1022, nan, 0x0p+0, INVALID)
124 T(RD,-0x1.0000000000002p-1022, nan, 0x0p+0, INVALID)
125 T(RD, -0x1p-1021, nan, 0x0p+0, INVALID)
126 T(RD, -0x1p-1020, nan, 0x0p+0, INVALID)
127 T(RD, -0x1p-52, nan, 0x0p+0, INVALID)
128 T(RD, -0x1p-50, nan, 0x0p+0, INVALID)
129 T(RD, -0x1p-2, nan, 0x0p+0, INVALID)
130 T(RD, -0x1p-1, nan, 0x0p+0, INVALID)
131 T(RD, -0x1.ffffffffffffap-1, nan, 0x0p+0, INVALID)
132 T(RD, -0x1.ffffffffffffcp-1, nan, 0x0p+0, INVALID)
133 T(RD, -0x1.ffffffffffffep-1, nan, 0x0p+0, INVALID)
134 T(RD, -0x1.fffffffffffffp-1, nan, 0x0p+0, INVALID)
135 T(RD, -0x1p+0, nan, 0x0p+0, INVALID)
136 T(RD, -0x1.0000000000001p+0, nan, 0x0p+0, INVALID)
137 T(RD, -0x1.0000000000002p+0, nan, 0x0p+0, INVALID)
138 T(RD, -0x1.0000000000004p+0, nan, 0x0p+0, INVALID)
139 T(RD, -0x1p+1, nan, 0x0p+0, INVALID)
140 T(RD, -0x1.0000000000002p+1, nan, 0x0p+0, INVALID)
141 T(RD, -0x1.ffffffffffffbp+1, nan, 0x0p+0, INVALID)
142 T(RD, -0x1p+2, nan, 0x0p+0, INVALID)
143 T(RD, -0x1p+1022, nan, 0x0p+0, INVALID)
144 T(RD,-0x1.0000000000002p+1022, nan, 0x0p+0, INVALID)
145 T(RD,-0x1.0000000000004p+1022, nan, 0x0p+0, INVALID)
146 T(RD, -0x1p+1023, nan, 0x0p+0, INVALID)
147 T(RD,-0x1.0000000000002p+1023, nan, 0x0p+0, INVALID)
148 T(RD,-0x1.ffffffffffffep+1023, nan, 0x0p+0, INVALID)
149 T(RD,-0x1.fffffffffffffp+1023, nan, 0x0p+0, INVALID)
150 T(RD, -inf, nan, 0x0p+0, INVALID)
151 T(RD, 0x1.4p+3, 0x1p+0, 0x0p+0, 0)
152 T(RD, 0x1.9p+6, 0x1p+1, 0x0p+0, 0)
153 T(RD, 0x1.f4p+9, 0x1.8p+1, 0x0p+0, 0)
154 T(RD, 0x1.388p+13, 0x1p+2, 0x0p+0, 0)
155 T(RN, nan, nan, 0x0p+0, 0)
156 T(RN, -0x1p-1073, nan, 0x0p+0, INVALID)
157 T(RN, -0x1.cp-1072, nan, 0x0p+0, INVALID)
158 T(RN, -0x1p-1024, nan, 0x0p+0, INVALID)
159 T(RN, -0x1p-1023, nan, 0x0p+0, INVALID)
160 T(RN,-0x1.ffffffffffffcp-1023, nan, 0x0p+0, INVALID)
161 T(RN,-0x1.ffffffffffffep-1023, nan, 0x0p+0, INVALID)
162 T(RN,-0x1.0000000000001p-1022, nan, 0x0p+0, INVALID)
163 T(RN,-0x1.0000000000002p-1022, nan, 0x0p+0, INVALID)
164 T(RN, -0x1p-1021, nan, 0x0p+0, INVALID)
165 T(RN, -0x1p-1020, nan, 0x0p+0, INVALID)
166 T(RN, -0x1p-52, nan, 0x0p+0, INVALID)
167 T(RN, -0x1p-50, nan, 0x0p+0, INVALID)
168 T(RN, -0x1p-2, nan, 0x0p+0, INVALID)
169 T(RN, -0x1p-1, nan, 0x0p+0, INVALID)
170 T(RN, -0x1.ffffffffffffap-1, nan, 0x0p+0, INVALID)
171 T(RN, -0x1.ffffffffffffcp-1, nan, 0x0p+0, INVALID)
172 T(RN, -0x1.ffffffffffffep-1, nan, 0x0p+0, INVALID)
173 T(RN, -0x1.fffffffffffffp-1, nan, 0x0p+0, INVALID)
174 T(RN, -0x1p+0, nan, 0x0p+0, INVALID)
175 T(RN, -0x1.0000000000001p+0, nan, 0x0p+0, INVALID)
176 T(RN, -0x1.0000000000002p+0, nan, 0x0p+0, INVALID)
177 T(RN, -0x1.0000000000004p+0, nan, 0x0p+0, INVALID)
178 T(RN, -0x1p+1, nan, 0x0p+0, INVALID)
179 T(RN, -0x1.0000000000002p+1, nan, 0x0p+0, INVALID)
180 T(RN, -0x1.ffffffffffffbp+1, nan, 0x0p+0, INVALID)
181 T(RN, -0x1p+2, nan, 0x0p+0, INVALID)
182 T(RN, -0x1p+1022, nan, 0x0p+0, INVALID)
183 T(RN,-0x1.0000000000002p+1022, nan, 0x0p+0, INVALID)
184 T(RN,-0x1.0000000000004p+1022, nan, 0x0p+0, INVALID)
185 T(RN, -0x1p+1023, nan, 0x0p+0, INVALID)
186 T(RN,-0x1.0000000000002p+1023, nan, 0x0p+0, INVALID)
187 T(RN,-0x1.ffffffffffffep+1023, nan, 0x0p+0, INVALID)
188 T(RU, inf, inf, 0x0p+0, 0)
189 T(RU, 0x0p+0, -inf, 0x0p+0, DIVBYZERO)
190 T(RU, -0x0p+0, -inf, 0x0p+0, DIVBYZERO)
191 T(RU, nan, nan, 0x0p+0, 0)
192 T(RU, nan, nan, 0x0p+0, 0)
193 T(RU, -0x1p-1074, nan, 0x0p+0, INVALID)
194 T(RU, -0x1p-1073, nan, 0x0p+0, INVALID)
195 T(RU, -0x1.cp-1072, nan, 0x0p+0, INVALID)
196 T(RU, -0x1p-1024, nan, 0x0p+0, INVALID)
197 T(RU, -0x1p-1023, nan, 0x0p+0, INVALID)
198 T(RU,-0x1.ffffffffffffcp-1023, nan, 0x0p+0, INVALID)
199 T(RU,-0x1.ffffffffffffep-1023, nan, 0x0p+0, INVALID)
200 T(RU, -0x1p-1022, nan, 0x0p+0, INVALID)
201 T(RU,-0x1.0000000000001p-1022, nan, 0x0p+0, INVALID)
202 T(RU,-0x1.0000000000002p-1022, nan, 0x0p+0, INVALID)
203 T(RU, -0x1p-1021, nan, 0x0p+0, INVALID)
204 T(RU, -0x1p-1020, nan, 0x0p+0, INVALID)
205 T(RU, -0x1p-52, nan, 0x0p+0, INVALID)
206 T(RU, -0x1p-50, nan, 0x0p+0, INVALID)
207 T(RU, -0x1p-2, nan, 0x0p+0, INVALID)
208 T(RU, -0x1p-1, nan, 0x0p+0, INVALID)
209 T(RU, -0x1.ffffffffffffap-1, nan, 0x0p+0, INVALID)
210 T(RU, -0x1.ffffffffffffcp-1, nan, 0x0p+0, INVALID)
211 T(RU, -0x1.ffffffffffffep-1, nan, 0x0p+0, INVALID)
212 T(RU, -0x1.fffffffffffffp-1, nan, 0x0p+0, INVALID)
213 T(RU, -0x1p+0, nan, 0x0p+0, INVALID)
214 T(RU, -0x1.0000000000001p+0, nan, 0x0p+0, INVALID)
215 T(RU, -0x1.0000000000002p+0, nan, 0x0p+0, INVALID)
216 T(RU, -0x1.0000000000004p+0, nan, 0x0p+0, INVALID)
217 T(RU, -0x1p+1, nan, 0x0p+0, INVALID)
218 T(RU, -0x1.0000000000002p+1, nan, 0x0p+0, INVALID)
219 T(RU, -0x1.ffffffffffffbp+1, nan, 0x0p+0, INVALID)
220 T(RU, -0x1p+2, nan, 0x0p+0, INVALID)
221 T(RU, -0x1p+1022, nan, 0x0p+0, INVALID)
222 T(RU,-0x1.0000000000002p+1022, nan, 0x0p+0, INVALID)
223 T(RU,-0x1.0000000000004p+1022, nan, 0x0p+0, INVALID)
224 T(RU, -0x1p+1023, nan, 0x0p+0, INVALID)
225 T(RU,-0x1.0000000000002p+1023, nan, 0x0p+0, INVALID)
226 T(RU,-0x1.ffffffffffffep+1023, nan, 0x0p+0, INVALID)
227 T(RU,-0x1.fffffffffffffp+1023, nan, 0x0p+0, INVALID)
228 T(RU, -inf, nan, 0x0p+0, INVALID)
229 T(RU, 0x1.4p+3, 0x1p+0, 0x0p+0, 0)
230 T(RU, 0x1.9p+6, 0x1p+1, 0x0p+0, 0)
231 T(RU, 0x1.f4p+9, 0x1.8p+1, 0x0p+0, 0)
232 T(RU, 0x1.388p+13, 0x1p+2, 0x0p+0, 0)
233 T(RZ, inf, inf, 0x0p+0, 0)
234 T(RZ, 0x0p+0, -inf, 0x0p+0, DIVBYZERO)
235 T(RZ, -0x0p+0, -inf, 0x0p+0, DIVBYZERO)
236 T(RZ, nan, nan, 0x0p+0, 0)
237 T(RZ, nan, nan, 0x0p+0, 0)
238 T(RZ, -0x1p-1074, nan, 0x0p+0, INVALID)
239 T(RZ, -0x1p-1073, nan, 0x0p+0, INVALID)
240 T(RZ, -0x1.cp-1072, nan, 0x0p+0, INVALID)
241 T(RZ, -0x1p-1024, nan, 0x0p+0, INVALID)
242 T(RZ, -0x1p-1023, nan, 0x0p+0, INVALID)
243 T(RZ,-0x1.ffffffffffffcp-1023, nan, 0x0p+0, INVALID)
244 T(RZ,-0x1.ffffffffffffep-1023, nan, 0x0p+0, INVALID)
245 T(RZ, -0x1p-1022, nan, 0x0p+0, INVALID)
246 T(RZ,-0x1.0000000000001p-1022, nan, 0x0p+0, INVALID)
247 T(RZ,-0x1.0000000000002p-1022, nan, 0x0p+0, INVALID)
248 T(RZ, -0x1p-1021, nan, 0x0p+0, INVALID)
249 T(RZ, -0x1p-1020, nan, 0x0p+0, INVALID)
250 T(RZ, -0x1p-52, nan, 0x0p+0, INVALID)
251 T(RZ, -0x1p-50, nan, 0x0p+0, INVALID)
252 T(RZ, -0x1p-2, nan, 0x0p+0, INVALID)
253 T(RZ, -0x1p-1, nan, 0x0p+0, INVALID)
254 T(RZ, -0x1.ffffffffffffap-1, nan, 0x0p+0, INVALID)
255 T(RZ, -0x1.ffffffffffffcp-1, nan, 0x0p+0, INVALID)
256 T(RZ, -0x1.ffffffffffffep-1, nan, 0x0p+0, INVALID)
257 T(RZ, -0x1.fffffffffffffp-1, nan, 0x0p+0, INVALID)
258 T(RZ, -0x1p+0, nan, 0x0p+0, INVALID)
259 T(RZ, -0x1.0000000000001p+0, nan, 0x0p+0, INVALID)
260 T(RZ, -0x1.0000000000002p+0, nan, 0x0p+0, INVALID)
261 T(RZ, -0x1.0000000000004p+0, nan, 0x0p+0, INVALID)
262 T(RZ, -0x1p+1, nan, 0x0p+0, INVALID)
263 T(RZ, -0x1.0000000000002p+1, nan, 0x0p+0, INVALID)
264 T(RZ, -0x1.ffffffffffffbp+1, nan, 0x0p+0, INVALID)
265 T(RZ, -0x1p+2, nan, 0x0p+0, INVALID)
266 T(RZ, -0x1p+1022, nan, 0x0p+0, INVALID)
267 T(RZ,-0x1.0000000000002p+1022, nan, 0x0p+0, INVALID)
268 T(RZ,-0x1.0000000000004p+1022, nan, 0x0p+0, INVALID)
269 T(RZ, -0x1p+1023, nan, 0x0p+0, INVALID)
270 T(RZ,-0x1.0000000000002p+1023, nan, 0x0p+0, INVALID)
271 T(RZ,-0x1.ffffffffffffep+1023, nan, 0x0p+0, INVALID)
272 T(RZ,-0x1.fffffffffffffp+1023, nan, 0x0p+0, INVALID)
273 T(RZ, -inf, nan, 0x0p+0, INVALID)
274 T(RZ, 0x1.4p+3, 0x1p+0, 0x0p+0, 0)
275 T(RZ, 0x1.9p+6, 0x1p+1, 0x0p+0, 0)
276 T(RZ, 0x1.f4p+9, 0x1.8p+1, 0x0p+0, 0)
277 T(RZ, 0x1.388p+13, 0x1p+2, 0x0p+0, 0)