|
1 ------------------------------------------------------------------------ |
|
2 -- nexttoward.decTest -- decimal next toward rhs [754r nextafter] -- |
|
3 -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
|
4 ------------------------------------------------------------------------ |
|
5 -- Please see the document "General Decimal Arithmetic Testcases" -- |
|
6 -- at http://www2.hursley.ibm.com/decimal for the description of -- |
|
7 -- these testcases. -- |
|
8 -- -- |
|
9 -- These testcases are experimental ('beta' versions), and they -- |
|
10 -- may contain errors. They are offered on an as-is basis. In -- |
|
11 -- particular, achieving the same results as the tests here is not -- |
|
12 -- a guarantee that an implementation complies with any Standard -- |
|
13 -- or specification. The tests are not exhaustive. -- |
|
14 -- -- |
|
15 -- Please send comments, suggestions, and corrections to the author: -- |
|
16 -- Mike Cowlishaw, IBM Fellow -- |
|
17 -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
|
18 -- mfc@uk.ibm.com -- |
|
19 ------------------------------------------------------------------------ |
|
20 version: 2.58 |
|
21 |
|
22 extended: 1 |
|
23 precision: 9 |
|
24 rounding: half_up |
|
25 maxExponent: 384 |
|
26 minexponent: -383 |
|
27 |
|
28 -- Sanity check with a scattering of numerics |
|
29 nextt001 nexttoward 10 10 -> 10 |
|
30 nextt002 nexttoward -10 -10 -> -10 |
|
31 nextt003 nexttoward 1 10 -> 1.00000001 |
|
32 nextt004 nexttoward 1 -10 -> 0.999999999 |
|
33 nextt005 nexttoward -1 10 -> -0.999999999 |
|
34 nextt006 nexttoward -1 -10 -> -1.00000001 |
|
35 nextt007 nexttoward 0 10 -> 1E-391 Underflow Subnormal Inexact Rounded |
|
36 nextt008 nexttoward 0 -10 -> -1E-391 Underflow Subnormal Inexact Rounded |
|
37 nextt009 nexttoward 9.99999999E+384 +Infinity -> Infinity Overflow Inexact Rounded |
|
38 nextt010 nexttoward -9.99999999E+384 -Infinity -> -Infinity Overflow Inexact Rounded |
|
39 |
|
40 ------- lhs=rhs |
|
41 -- finites |
|
42 nextt101 nexttoward 7 7 -> 7 |
|
43 nextt102 nexttoward -7 -7 -> -7 |
|
44 nextt103 nexttoward 75 75 -> 75 |
|
45 nextt104 nexttoward -75 -75 -> -75 |
|
46 nextt105 nexttoward 7.50 7.5 -> 7.50 |
|
47 nextt106 nexttoward -7.50 -7.50 -> -7.50 |
|
48 nextt107 nexttoward 7.500 7.5000 -> 7.500 |
|
49 nextt108 nexttoward -7.500 -7.5 -> -7.500 |
|
50 |
|
51 -- zeros |
|
52 nextt111 nexttoward 0 0 -> 0 |
|
53 nextt112 nexttoward -0 -0 -> -0 |
|
54 nextt113 nexttoward 0E+4 0 -> 0E+4 |
|
55 nextt114 nexttoward -0E+4 -0 -> -0E+4 |
|
56 nextt115 nexttoward 0.0000 0.00000 -> 0.0000 |
|
57 nextt116 nexttoward -0.0000 -0.00 -> -0.0000 |
|
58 nextt117 nexttoward 0E-141 0 -> 0E-141 |
|
59 nextt118 nexttoward -0E-141 -000 -> -0E-141 |
|
60 |
|
61 -- full coefficients, alternating bits |
|
62 nextt121 nexttoward 268268268 268268268 -> 268268268 |
|
63 nextt122 nexttoward -268268268 -268268268 -> -268268268 |
|
64 nextt123 nexttoward 134134134 134134134 -> 134134134 |
|
65 nextt124 nexttoward -134134134 -134134134 -> -134134134 |
|
66 |
|
67 -- Nmax, Nmin, Ntiny |
|
68 nextt131 nexttoward 9.99999999E+384 9.99999999E+384 -> 9.99999999E+384 |
|
69 nextt132 nexttoward 1E-383 1E-383 -> 1E-383 |
|
70 nextt133 nexttoward 1.00000000E-383 1.00000000E-383 -> 1.00000000E-383 |
|
71 nextt134 nexttoward 1E-391 1E-391 -> 1E-391 |
|
72 |
|
73 nextt135 nexttoward -1E-391 -1E-391 -> -1E-391 |
|
74 nextt136 nexttoward -1.00000000E-383 -1.00000000E-383 -> -1.00000000E-383 |
|
75 nextt137 nexttoward -1E-383 -1E-383 -> -1E-383 |
|
76 nextt138 nexttoward -9.99999999E+384 -9.99999999E+384 -> -9.99999999E+384 |
|
77 |
|
78 ------- lhs<rhs |
|
79 nextt201 nexttoward 0.999999995 Infinity -> 0.999999996 |
|
80 nextt202 nexttoward 0.999999996 Infinity -> 0.999999997 |
|
81 nextt203 nexttoward 0.999999997 Infinity -> 0.999999998 |
|
82 nextt204 nexttoward 0.999999998 Infinity -> 0.999999999 |
|
83 nextt205 nexttoward 0.999999999 Infinity -> 1.00000000 |
|
84 nextt206 nexttoward 1.00000000 Infinity -> 1.00000001 |
|
85 nextt207 nexttoward 1.0 Infinity -> 1.00000001 |
|
86 nextt208 nexttoward 1 Infinity -> 1.00000001 |
|
87 nextt209 nexttoward 1.00000001 Infinity -> 1.00000002 |
|
88 nextt210 nexttoward 1.00000002 Infinity -> 1.00000003 |
|
89 nextt211 nexttoward 1.00000003 Infinity -> 1.00000004 |
|
90 nextt212 nexttoward 1.00000004 Infinity -> 1.00000005 |
|
91 nextt213 nexttoward 1.00000005 Infinity -> 1.00000006 |
|
92 nextt214 nexttoward 1.00000006 Infinity -> 1.00000007 |
|
93 nextt215 nexttoward 1.00000007 Infinity -> 1.00000008 |
|
94 nextt216 nexttoward 1.00000008 Infinity -> 1.00000009 |
|
95 nextt217 nexttoward 1.00000009 Infinity -> 1.00000010 |
|
96 nextt218 nexttoward 1.00000010 Infinity -> 1.00000011 |
|
97 nextt219 nexttoward 1.00000011 Infinity -> 1.00000012 |
|
98 |
|
99 nextt221 nexttoward -0.999999995 Infinity -> -0.999999994 |
|
100 nextt222 nexttoward -0.999999996 Infinity -> -0.999999995 |
|
101 nextt223 nexttoward -0.999999997 Infinity -> -0.999999996 |
|
102 nextt224 nexttoward -0.999999998 Infinity -> -0.999999997 |
|
103 nextt225 nexttoward -0.999999999 Infinity -> -0.999999998 |
|
104 nextt226 nexttoward -1.00000000 Infinity -> -0.999999999 |
|
105 nextt227 nexttoward -1.0 Infinity -> -0.999999999 |
|
106 nextt228 nexttoward -1 Infinity -> -0.999999999 |
|
107 nextt229 nexttoward -1.00000001 Infinity -> -1.00000000 |
|
108 nextt230 nexttoward -1.00000002 Infinity -> -1.00000001 |
|
109 nextt231 nexttoward -1.00000003 Infinity -> -1.00000002 |
|
110 nextt232 nexttoward -1.00000004 Infinity -> -1.00000003 |
|
111 nextt233 nexttoward -1.00000005 Infinity -> -1.00000004 |
|
112 nextt234 nexttoward -1.00000006 Infinity -> -1.00000005 |
|
113 nextt235 nexttoward -1.00000007 Infinity -> -1.00000006 |
|
114 nextt236 nexttoward -1.00000008 Infinity -> -1.00000007 |
|
115 nextt237 nexttoward -1.00000009 Infinity -> -1.00000008 |
|
116 nextt238 nexttoward -1.00000010 Infinity -> -1.00000009 |
|
117 nextt239 nexttoward -1.00000011 Infinity -> -1.00000010 |
|
118 nextt240 nexttoward -1.00000012 Infinity -> -1.00000011 |
|
119 |
|
120 -- input operand is >precision |
|
121 nextt241 nexttoward 1.00000010998 Infinity -> 1.00000011 |
|
122 nextt242 nexttoward 1.00000010999 Infinity -> 1.00000011 |
|
123 nextt243 nexttoward 1.00000011000 Infinity -> 1.00000012 |
|
124 nextt244 nexttoward 1.00000011001 Infinity -> 1.00000012 |
|
125 nextt245 nexttoward 1.00000011002 Infinity -> 1.00000012 |
|
126 nextt246 nexttoward 1.00000011002 Infinity -> 1.00000012 |
|
127 nextt247 nexttoward 1.00000011052 Infinity -> 1.00000012 |
|
128 nextt248 nexttoward 1.00000011552 Infinity -> 1.00000012 |
|
129 nextt249 nexttoward -1.00000010998 Infinity -> -1.00000010 |
|
130 nextt250 nexttoward -1.00000010999 Infinity -> -1.00000010 |
|
131 nextt251 nexttoward -1.00000011000 Infinity -> -1.00000010 |
|
132 nextt252 nexttoward -1.00000011001 Infinity -> -1.00000011 |
|
133 nextt253 nexttoward -1.00000011002 Infinity -> -1.00000011 |
|
134 nextt254 nexttoward -1.00000011002 Infinity -> -1.00000011 |
|
135 nextt255 nexttoward -1.00000011052 Infinity -> -1.00000011 |
|
136 nextt256 nexttoward -1.00000011552 Infinity -> -1.00000011 |
|
137 -- ultra-tiny inputs |
|
138 nextt260 nexttoward 1E-99999 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
139 nextt261 nexttoward 1E-999999999 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
140 nextt262 nexttoward 1E-391 Infinity -> 2E-391 Underflow Subnormal Inexact Rounded |
|
141 nextt263 nexttoward -1E-99999 Infinity -> -0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
142 nextt264 nexttoward -1E-999999999 Infinity -> -0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
143 nextt265 nexttoward -1E-391 Infinity -> -0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
144 |
|
145 -- Zeros |
|
146 nextt300 nexttoward 0 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
147 nextt301 nexttoward 0.00 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
148 nextt302 nexttoward 0E-300 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
149 nextt303 nexttoward 0E+300 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
150 nextt304 nexttoward 0E+30000 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
151 nextt305 nexttoward -0 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
152 nextt306 nexttoward -0.00 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
153 nextt307 nexttoward -0E-300 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
154 nextt308 nexttoward -0E+300 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
155 nextt309 nexttoward -0E+30000 Infinity -> 1E-391 Underflow Subnormal Inexact Rounded |
|
156 |
|
157 -- specials |
|
158 nextt350 nexttoward Inf Infinity -> Infinity |
|
159 nextt351 nexttoward -Inf Infinity -> -9.99999999E+384 |
|
160 nextt352 nexttoward NaN Infinity -> NaN |
|
161 nextt353 nexttoward sNaN Infinity -> NaN Invalid_operation |
|
162 nextt354 nexttoward NaN77 Infinity -> NaN77 |
|
163 nextt355 nexttoward sNaN88 Infinity -> NaN88 Invalid_operation |
|
164 nextt356 nexttoward -NaN Infinity -> -NaN |
|
165 nextt357 nexttoward -sNaN Infinity -> -NaN Invalid_operation |
|
166 nextt358 nexttoward -NaN77 Infinity -> -NaN77 |
|
167 nextt359 nexttoward -sNaN88 Infinity -> -NaN88 Invalid_operation |
|
168 |
|
169 -- Nmax, Nmin, Ntiny, subnormals |
|
170 maxExponent: 999 |
|
171 minexponent: -999 |
|
172 nextt370 nexttoward 9.99999999E+999 Infinity -> Infinity Overflow Inexact Rounded |
|
173 nextt371 nexttoward 9.99999998E+999 Infinity -> 9.99999999E+999 |
|
174 nextt372 nexttoward 1E-999 Infinity -> 1.00000001E-999 |
|
175 nextt373 nexttoward 1.00000000E-999 Infinity -> 1.00000001E-999 |
|
176 nextt374 nexttoward 0.999999999E-999 Infinity -> 1.00000000E-999 |
|
177 nextt375 nexttoward 0.99999999E-999 Infinity -> 1.00000000E-999 |
|
178 nextt376 nexttoward 9E-1007 Infinity -> 1.0E-1006 Underflow Subnormal Inexact Rounded |
|
179 nextt377 nexttoward 9.9E-1006 Infinity -> 1.00E-1005 Underflow Subnormal Inexact Rounded |
|
180 nextt378 nexttoward 9.9999E-1003 Infinity -> 1.00000E-1002 Underflow Subnormal Inexact Rounded |
|
181 nextt379 nexttoward 9.9999998E-1000 Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
182 nextt380 nexttoward 9.9999997E-1000 Infinity -> 9.9999998E-1000 Underflow Subnormal Inexact Rounded |
|
183 nextt381 nexttoward 0E-1007 Infinity -> 1E-1007 Underflow Subnormal Inexact Rounded |
|
184 nextt382 nexttoward 1E-1007 Infinity -> 2E-1007 Underflow Subnormal Inexact Rounded |
|
185 nextt383 nexttoward 2E-1007 Infinity -> 3E-1007 Underflow Subnormal Inexact Rounded |
|
186 |
|
187 nextt385 nexttoward -0E-1007 Infinity -> 1E-1007 Underflow Subnormal Inexact Rounded |
|
188 nextt386 nexttoward -1E-1007 Infinity -> -0E-1007 Underflow Subnormal Inexact Rounded Clamped |
|
189 nextt387 nexttoward -2E-1007 Infinity -> -1E-1007 Underflow Subnormal Inexact Rounded |
|
190 nextt388 nexttoward -10E-1007 Infinity -> -9E-1007 Underflow Subnormal Inexact Rounded |
|
191 nextt389 nexttoward -100E-1007 Infinity -> -9.9E-1006 Underflow Subnormal Inexact Rounded |
|
192 nextt390 nexttoward -100000E-1007 Infinity -> -9.9999E-1003 Underflow Subnormal Inexact Rounded |
|
193 nextt391 nexttoward -1.0000E-999 Infinity -> -9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
194 nextt392 nexttoward -1.00000000E-999 Infinity -> -9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
195 nextt393 nexttoward -1E-999 Infinity -> -9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
196 nextt394 nexttoward -9.99999998E+999 Infinity -> -9.99999997E+999 |
|
197 nextt395 nexttoward -9.99999999E+999 Infinity -> -9.99999998E+999 |
|
198 |
|
199 ------- lhs>rhs |
|
200 maxExponent: 384 |
|
201 minexponent: -383 |
|
202 nextt401 nexttoward 0.999999995 -Infinity -> 0.999999994 |
|
203 nextt402 nexttoward 0.999999996 -Infinity -> 0.999999995 |
|
204 nextt403 nexttoward 0.999999997 -Infinity -> 0.999999996 |
|
205 nextt404 nexttoward 0.999999998 -Infinity -> 0.999999997 |
|
206 nextt405 nexttoward 0.999999999 -Infinity -> 0.999999998 |
|
207 nextt406 nexttoward 1.00000000 -Infinity -> 0.999999999 |
|
208 nextt407 nexttoward 1.0 -Infinity -> 0.999999999 |
|
209 nextt408 nexttoward 1 -Infinity -> 0.999999999 |
|
210 nextt409 nexttoward 1.00000001 -Infinity -> 1.00000000 |
|
211 nextt410 nexttoward 1.00000002 -Infinity -> 1.00000001 |
|
212 nextt411 nexttoward 1.00000003 -Infinity -> 1.00000002 |
|
213 nextt412 nexttoward 1.00000004 -Infinity -> 1.00000003 |
|
214 nextt413 nexttoward 1.00000005 -Infinity -> 1.00000004 |
|
215 nextt414 nexttoward 1.00000006 -Infinity -> 1.00000005 |
|
216 nextt415 nexttoward 1.00000007 -Infinity -> 1.00000006 |
|
217 nextt416 nexttoward 1.00000008 -Infinity -> 1.00000007 |
|
218 nextt417 nexttoward 1.00000009 -Infinity -> 1.00000008 |
|
219 nextt418 nexttoward 1.00000010 -Infinity -> 1.00000009 |
|
220 nextt419 nexttoward 1.00000011 -Infinity -> 1.00000010 |
|
221 nextt420 nexttoward 1.00000012 -Infinity -> 1.00000011 |
|
222 |
|
223 nextt421 nexttoward -0.999999995 -Infinity -> -0.999999996 |
|
224 nextt422 nexttoward -0.999999996 -Infinity -> -0.999999997 |
|
225 nextt423 nexttoward -0.999999997 -Infinity -> -0.999999998 |
|
226 nextt424 nexttoward -0.999999998 -Infinity -> -0.999999999 |
|
227 nextt425 nexttoward -0.999999999 -Infinity -> -1.00000000 |
|
228 nextt426 nexttoward -1.00000000 -Infinity -> -1.00000001 |
|
229 nextt427 nexttoward -1.0 -Infinity -> -1.00000001 |
|
230 nextt428 nexttoward -1 -Infinity -> -1.00000001 |
|
231 nextt429 nexttoward -1.00000001 -Infinity -> -1.00000002 |
|
232 nextt430 nexttoward -1.00000002 -Infinity -> -1.00000003 |
|
233 nextt431 nexttoward -1.00000003 -Infinity -> -1.00000004 |
|
234 nextt432 nexttoward -1.00000004 -Infinity -> -1.00000005 |
|
235 nextt433 nexttoward -1.00000005 -Infinity -> -1.00000006 |
|
236 nextt434 nexttoward -1.00000006 -Infinity -> -1.00000007 |
|
237 nextt435 nexttoward -1.00000007 -Infinity -> -1.00000008 |
|
238 nextt436 nexttoward -1.00000008 -Infinity -> -1.00000009 |
|
239 nextt437 nexttoward -1.00000009 -Infinity -> -1.00000010 |
|
240 nextt438 nexttoward -1.00000010 -Infinity -> -1.00000011 |
|
241 nextt439 nexttoward -1.00000011 -Infinity -> -1.00000012 |
|
242 |
|
243 -- input operand is >precision |
|
244 nextt441 nexttoward 1.00000010998 -Infinity -> 1.00000010 |
|
245 nextt442 nexttoward 1.00000010999 -Infinity -> 1.00000010 |
|
246 nextt443 nexttoward 1.00000011000 -Infinity -> 1.00000010 |
|
247 nextt444 nexttoward 1.00000011001 -Infinity -> 1.00000011 |
|
248 nextt445 nexttoward 1.00000011002 -Infinity -> 1.00000011 |
|
249 nextt446 nexttoward 1.00000011002 -Infinity -> 1.00000011 |
|
250 nextt447 nexttoward 1.00000011052 -Infinity -> 1.00000011 |
|
251 nextt448 nexttoward 1.00000011552 -Infinity -> 1.00000011 |
|
252 nextt449 nexttoward -1.00000010998 -Infinity -> -1.00000011 |
|
253 nextt450 nexttoward -1.00000010999 -Infinity -> -1.00000011 |
|
254 nextt451 nexttoward -1.00000011000 -Infinity -> -1.00000012 |
|
255 nextt452 nexttoward -1.00000011001 -Infinity -> -1.00000012 |
|
256 nextt453 nexttoward -1.00000011002 -Infinity -> -1.00000012 |
|
257 nextt454 nexttoward -1.00000011002 -Infinity -> -1.00000012 |
|
258 nextt455 nexttoward -1.00000011052 -Infinity -> -1.00000012 |
|
259 nextt456 nexttoward -1.00000011552 -Infinity -> -1.00000012 |
|
260 -- ultra-tiny inputs |
|
261 nextt460 nexttoward 1E-99999 -Infinity -> 0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
262 nextt461 nexttoward 1E-999999999 -Infinity -> 0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
263 nextt462 nexttoward 1E-391 -Infinity -> 0E-391 Underflow Subnormal Inexact Rounded Clamped |
|
264 nextt463 nexttoward -1E-99999 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
265 nextt464 nexttoward -1E-999999999 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
266 nextt465 nexttoward -1E-391 -Infinity -> -2E-391 Underflow Subnormal Inexact Rounded |
|
267 |
|
268 -- Zeros |
|
269 nextt500 nexttoward -0 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
270 nextt501 nexttoward 0 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
271 nextt502 nexttoward 0.00 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
272 nextt503 nexttoward -0.00 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
273 nextt504 nexttoward 0E-300 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
274 nextt505 nexttoward 0E+300 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
275 nextt506 nexttoward 0E+30000 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
276 nextt507 nexttoward -0E+30000 -Infinity -> -1E-391 Underflow Subnormal Inexact Rounded |
|
277 nextt508 nexttoward 0.00 -0.0000 -> -0.00 |
|
278 |
|
279 -- specials |
|
280 nextt550 nexttoward Inf -Infinity -> 9.99999999E+384 |
|
281 nextt551 nexttoward -Inf -Infinity -> -Infinity |
|
282 nextt552 nexttoward NaN -Infinity -> NaN |
|
283 nextt553 nexttoward sNaN -Infinity -> NaN Invalid_operation |
|
284 nextt554 nexttoward NaN77 -Infinity -> NaN77 |
|
285 nextt555 nexttoward sNaN88 -Infinity -> NaN88 Invalid_operation |
|
286 nextt556 nexttoward -NaN -Infinity -> -NaN |
|
287 nextt557 nexttoward -sNaN -Infinity -> -NaN Invalid_operation |
|
288 nextt558 nexttoward -NaN77 -Infinity -> -NaN77 |
|
289 nextt559 nexttoward -sNaN88 -Infinity -> -NaN88 Invalid_operation |
|
290 |
|
291 -- Nmax, Nmin, Ntiny, subnormals |
|
292 maxExponent: 999 |
|
293 minexponent: -999 |
|
294 nextt570 nexttoward 9.99999999E+999 -Infinity -> 9.99999998E+999 |
|
295 nextt571 nexttoward 9.99999998E+999 -Infinity -> 9.99999997E+999 |
|
296 nextt572 nexttoward 1E-999 -Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
297 nextt573 nexttoward 1.00000000E-999 -Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded |
|
298 nextt574 nexttoward 9E-1007 -Infinity -> 8E-1007 Underflow Subnormal Inexact Rounded |
|
299 nextt575 nexttoward 9.9E-1006 -Infinity -> 9.8E-1006 Underflow Subnormal Inexact Rounded |
|
300 nextt576 nexttoward 9.9999E-1003 -Infinity -> 9.9998E-1003 Underflow Subnormal Inexact Rounded |
|
301 nextt577 nexttoward 9.9999999E-1000 -Infinity -> 9.9999998E-1000 Underflow Subnormal Inexact Rounded |
|
302 nextt578 nexttoward 9.9999998E-1000 -Infinity -> 9.9999997E-1000 Underflow Subnormal Inexact Rounded |
|
303 nextt579 nexttoward 9.9999997E-1000 -Infinity -> 9.9999996E-1000 Underflow Subnormal Inexact Rounded |
|
304 nextt580 nexttoward 0E-1007 -Infinity -> -1E-1007 Underflow Subnormal Inexact Rounded |
|
305 nextt581 nexttoward 1E-1007 -Infinity -> 0E-1007 Underflow Subnormal Inexact Rounded Clamped |
|
306 nextt582 nexttoward 2E-1007 -Infinity -> 1E-1007 Underflow Subnormal Inexact Rounded |
|
307 |
|
308 nextt583 nexttoward -0E-1007 -Infinity -> -1E-1007 Underflow Subnormal Inexact Rounded |
|
309 nextt584 nexttoward -1E-1007 -Infinity -> -2E-1007 Underflow Subnormal Inexact Rounded |
|
310 nextt585 nexttoward -2E-1007 -Infinity -> -3E-1007 Underflow Subnormal Inexact Rounded |
|
311 nextt586 nexttoward -10E-1007 -Infinity -> -1.1E-1006 Underflow Subnormal Inexact Rounded |
|
312 nextt587 nexttoward -100E-1007 -Infinity -> -1.01E-1005 Underflow Subnormal Inexact Rounded |
|
313 nextt588 nexttoward -100000E-1007 -Infinity -> -1.00001E-1002 Underflow Subnormal Inexact Rounded |
|
314 nextt589 nexttoward -1.0000E-999 -Infinity -> -1.00000001E-999 |
|
315 nextt590 nexttoward -1.00000000E-999 -Infinity -> -1.00000001E-999 |
|
316 nextt591 nexttoward -1E-999 -Infinity -> -1.00000001E-999 |
|
317 nextt592 nexttoward -9.99999998E+999 -Infinity -> -9.99999999E+999 |
|
318 nextt593 nexttoward -9.99999999E+999 -Infinity -> -Infinity Overflow Inexact Rounded |
|
319 |
|
320 |
|
321 |
|
322 |
|
323 ------- Specials |
|
324 maxExponent: 384 |
|
325 minexponent: -383 |
|
326 nextt780 nexttoward -Inf -Inf -> -Infinity |
|
327 nextt781 nexttoward -Inf -1000 -> -9.99999999E+384 |
|
328 nextt782 nexttoward -Inf -1 -> -9.99999999E+384 |
|
329 nextt783 nexttoward -Inf -0 -> -9.99999999E+384 |
|
330 nextt784 nexttoward -Inf 0 -> -9.99999999E+384 |
|
331 nextt785 nexttoward -Inf 1 -> -9.99999999E+384 |
|
332 nextt786 nexttoward -Inf 1000 -> -9.99999999E+384 |
|
333 nextt787 nexttoward -1000 -Inf -> -1000.00001 |
|
334 nextt788 nexttoward -Inf -Inf -> -Infinity |
|
335 nextt789 nexttoward -1 -Inf -> -1.00000001 |
|
336 nextt790 nexttoward -0 -Inf -> -1E-391 Underflow Subnormal Inexact Rounded |
|
337 nextt791 nexttoward 0 -Inf -> -1E-391 Underflow Subnormal Inexact Rounded |
|
338 nextt792 nexttoward 1 -Inf -> 0.999999999 |
|
339 nextt793 nexttoward 1000 -Inf -> 999.999999 |
|
340 nextt794 nexttoward Inf -Inf -> 9.99999999E+384 |
|
341 |
|
342 nextt800 nexttoward Inf -Inf -> 9.99999999E+384 |
|
343 nextt801 nexttoward Inf -1000 -> 9.99999999E+384 |
|
344 nextt802 nexttoward Inf -1 -> 9.99999999E+384 |
|
345 nextt803 nexttoward Inf -0 -> 9.99999999E+384 |
|
346 nextt804 nexttoward Inf 0 -> 9.99999999E+384 |
|
347 nextt805 nexttoward Inf 1 -> 9.99999999E+384 |
|
348 nextt806 nexttoward Inf 1000 -> 9.99999999E+384 |
|
349 nextt807 nexttoward Inf Inf -> Infinity |
|
350 nextt808 nexttoward -1000 Inf -> -999.999999 |
|
351 nextt809 nexttoward -Inf Inf -> -9.99999999E+384 |
|
352 nextt810 nexttoward -1 Inf -> -0.999999999 |
|
353 nextt811 nexttoward -0 Inf -> 1E-391 Underflow Subnormal Inexact Rounded |
|
354 nextt812 nexttoward 0 Inf -> 1E-391 Underflow Subnormal Inexact Rounded |
|
355 nextt813 nexttoward 1 Inf -> 1.00000001 |
|
356 nextt814 nexttoward 1000 Inf -> 1000.00001 |
|
357 nextt815 nexttoward Inf Inf -> Infinity |
|
358 |
|
359 nextt821 nexttoward NaN -Inf -> NaN |
|
360 nextt822 nexttoward NaN -1000 -> NaN |
|
361 nextt823 nexttoward NaN -1 -> NaN |
|
362 nextt824 nexttoward NaN -0 -> NaN |
|
363 nextt825 nexttoward NaN 0 -> NaN |
|
364 nextt826 nexttoward NaN 1 -> NaN |
|
365 nextt827 nexttoward NaN 1000 -> NaN |
|
366 nextt828 nexttoward NaN Inf -> NaN |
|
367 nextt829 nexttoward NaN NaN -> NaN |
|
368 nextt830 nexttoward -Inf NaN -> NaN |
|
369 nextt831 nexttoward -1000 NaN -> NaN |
|
370 nextt832 nexttoward -1 NaN -> NaN |
|
371 nextt833 nexttoward -0 NaN -> NaN |
|
372 nextt834 nexttoward 0 NaN -> NaN |
|
373 nextt835 nexttoward 1 NaN -> NaN |
|
374 nextt836 nexttoward 1000 NaN -> NaN |
|
375 nextt837 nexttoward Inf NaN -> NaN |
|
376 |
|
377 nextt841 nexttoward sNaN -Inf -> NaN Invalid_operation |
|
378 nextt842 nexttoward sNaN -1000 -> NaN Invalid_operation |
|
379 nextt843 nexttoward sNaN -1 -> NaN Invalid_operation |
|
380 nextt844 nexttoward sNaN -0 -> NaN Invalid_operation |
|
381 nextt845 nexttoward sNaN 0 -> NaN Invalid_operation |
|
382 nextt846 nexttoward sNaN 1 -> NaN Invalid_operation |
|
383 nextt847 nexttoward sNaN 1000 -> NaN Invalid_operation |
|
384 nextt848 nexttoward sNaN NaN -> NaN Invalid_operation |
|
385 nextt849 nexttoward sNaN sNaN -> NaN Invalid_operation |
|
386 nextt850 nexttoward NaN sNaN -> NaN Invalid_operation |
|
387 nextt851 nexttoward -Inf sNaN -> NaN Invalid_operation |
|
388 nextt852 nexttoward -1000 sNaN -> NaN Invalid_operation |
|
389 nextt853 nexttoward -1 sNaN -> NaN Invalid_operation |
|
390 nextt854 nexttoward -0 sNaN -> NaN Invalid_operation |
|
391 nextt855 nexttoward 0 sNaN -> NaN Invalid_operation |
|
392 nextt856 nexttoward 1 sNaN -> NaN Invalid_operation |
|
393 nextt857 nexttoward 1000 sNaN -> NaN Invalid_operation |
|
394 nextt858 nexttoward Inf sNaN -> NaN Invalid_operation |
|
395 nextt859 nexttoward NaN sNaN -> NaN Invalid_operation |
|
396 |
|
397 -- propagating NaNs |
|
398 nextt861 nexttoward NaN1 -Inf -> NaN1 |
|
399 nextt862 nexttoward +NaN2 -1000 -> NaN2 |
|
400 nextt863 nexttoward NaN3 1000 -> NaN3 |
|
401 nextt864 nexttoward NaN4 Inf -> NaN4 |
|
402 nextt865 nexttoward NaN5 +NaN6 -> NaN5 |
|
403 nextt866 nexttoward -Inf NaN7 -> NaN7 |
|
404 nextt867 nexttoward -1000 NaN8 -> NaN8 |
|
405 nextt868 nexttoward 1000 NaN9 -> NaN9 |
|
406 nextt869 nexttoward Inf +NaN10 -> NaN10 |
|
407 nextt871 nexttoward sNaN11 -Inf -> NaN11 Invalid_operation |
|
408 nextt872 nexttoward sNaN12 -1000 -> NaN12 Invalid_operation |
|
409 nextt873 nexttoward sNaN13 1000 -> NaN13 Invalid_operation |
|
410 nextt874 nexttoward sNaN14 NaN17 -> NaN14 Invalid_operation |
|
411 nextt875 nexttoward sNaN15 sNaN18 -> NaN15 Invalid_operation |
|
412 nextt876 nexttoward NaN16 sNaN19 -> NaN19 Invalid_operation |
|
413 nextt877 nexttoward -Inf +sNaN20 -> NaN20 Invalid_operation |
|
414 nextt878 nexttoward -1000 sNaN21 -> NaN21 Invalid_operation |
|
415 nextt879 nexttoward 1000 sNaN22 -> NaN22 Invalid_operation |
|
416 nextt880 nexttoward Inf sNaN23 -> NaN23 Invalid_operation |
|
417 nextt881 nexttoward +NaN25 +sNaN24 -> NaN24 Invalid_operation |
|
418 nextt882 nexttoward -NaN26 NaN28 -> -NaN26 |
|
419 nextt883 nexttoward -sNaN27 sNaN29 -> -NaN27 Invalid_operation |
|
420 nextt884 nexttoward 1000 -NaN30 -> -NaN30 |
|
421 nextt885 nexttoward 1000 -sNaN31 -> -NaN31 Invalid_operation |
|
422 |
|
423 -- Null tests |
|
424 nextt900 nexttoward 1 # -> NaN Invalid_operation |
|
425 nextt901 nexttoward # 1 -> NaN Invalid_operation |
|
426 |