|
1 ------------------------------------------------------------------------ |
|
2 -- ddCompare.decTest -- decDouble comparison that allows quiet NaNs -- |
|
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 -- Note that we cannot assume add/subtract tests cover paths adequately, |
|
23 -- here, because the code might be quite different (comparison cannot |
|
24 -- overflow or underflow, so actual subtractions are not necessary). |
|
25 |
|
26 -- All operands and results are decDoubles. |
|
27 precision: 16 |
|
28 maxExponent: 384 |
|
29 minExponent: -383 |
|
30 extended: 1 |
|
31 clamp: 1 |
|
32 rounding: half_even |
|
33 |
|
34 -- sanity checks |
|
35 ddcom001 compare -2 -2 -> 0 |
|
36 ddcom002 compare -2 -1 -> -1 |
|
37 ddcom003 compare -2 0 -> -1 |
|
38 ddcom004 compare -2 1 -> -1 |
|
39 ddcom005 compare -2 2 -> -1 |
|
40 ddcom006 compare -1 -2 -> 1 |
|
41 ddcom007 compare -1 -1 -> 0 |
|
42 ddcom008 compare -1 0 -> -1 |
|
43 ddcom009 compare -1 1 -> -1 |
|
44 ddcom010 compare -1 2 -> -1 |
|
45 ddcom011 compare 0 -2 -> 1 |
|
46 ddcom012 compare 0 -1 -> 1 |
|
47 ddcom013 compare 0 0 -> 0 |
|
48 ddcom014 compare 0 1 -> -1 |
|
49 ddcom015 compare 0 2 -> -1 |
|
50 ddcom016 compare 1 -2 -> 1 |
|
51 ddcom017 compare 1 -1 -> 1 |
|
52 ddcom018 compare 1 0 -> 1 |
|
53 ddcom019 compare 1 1 -> 0 |
|
54 ddcom020 compare 1 2 -> -1 |
|
55 ddcom021 compare 2 -2 -> 1 |
|
56 ddcom022 compare 2 -1 -> 1 |
|
57 ddcom023 compare 2 0 -> 1 |
|
58 ddcom025 compare 2 1 -> 1 |
|
59 ddcom026 compare 2 2 -> 0 |
|
60 |
|
61 ddcom031 compare -20 -20 -> 0 |
|
62 ddcom032 compare -20 -10 -> -1 |
|
63 ddcom033 compare -20 00 -> -1 |
|
64 ddcom034 compare -20 10 -> -1 |
|
65 ddcom035 compare -20 20 -> -1 |
|
66 ddcom036 compare -10 -20 -> 1 |
|
67 ddcom037 compare -10 -10 -> 0 |
|
68 ddcom038 compare -10 00 -> -1 |
|
69 ddcom039 compare -10 10 -> -1 |
|
70 ddcom040 compare -10 20 -> -1 |
|
71 ddcom041 compare 00 -20 -> 1 |
|
72 ddcom042 compare 00 -10 -> 1 |
|
73 ddcom043 compare 00 00 -> 0 |
|
74 ddcom044 compare 00 10 -> -1 |
|
75 ddcom045 compare 00 20 -> -1 |
|
76 ddcom046 compare 10 -20 -> 1 |
|
77 ddcom047 compare 10 -10 -> 1 |
|
78 ddcom048 compare 10 00 -> 1 |
|
79 ddcom049 compare 10 10 -> 0 |
|
80 ddcom050 compare 10 20 -> -1 |
|
81 ddcom051 compare 20 -20 -> 1 |
|
82 ddcom052 compare 20 -10 -> 1 |
|
83 ddcom053 compare 20 00 -> 1 |
|
84 ddcom055 compare 20 10 -> 1 |
|
85 ddcom056 compare 20 20 -> 0 |
|
86 |
|
87 ddcom061 compare -2.0 -2.0 -> 0 |
|
88 ddcom062 compare -2.0 -1.0 -> -1 |
|
89 ddcom063 compare -2.0 0.0 -> -1 |
|
90 ddcom064 compare -2.0 1.0 -> -1 |
|
91 ddcom065 compare -2.0 2.0 -> -1 |
|
92 ddcom066 compare -1.0 -2.0 -> 1 |
|
93 ddcom067 compare -1.0 -1.0 -> 0 |
|
94 ddcom068 compare -1.0 0.0 -> -1 |
|
95 ddcom069 compare -1.0 1.0 -> -1 |
|
96 ddcom070 compare -1.0 2.0 -> -1 |
|
97 ddcom071 compare 0.0 -2.0 -> 1 |
|
98 ddcom072 compare 0.0 -1.0 -> 1 |
|
99 ddcom073 compare 0.0 0.0 -> 0 |
|
100 ddcom074 compare 0.0 1.0 -> -1 |
|
101 ddcom075 compare 0.0 2.0 -> -1 |
|
102 ddcom076 compare 1.0 -2.0 -> 1 |
|
103 ddcom077 compare 1.0 -1.0 -> 1 |
|
104 ddcom078 compare 1.0 0.0 -> 1 |
|
105 ddcom079 compare 1.0 1.0 -> 0 |
|
106 ddcom080 compare 1.0 2.0 -> -1 |
|
107 ddcom081 compare 2.0 -2.0 -> 1 |
|
108 ddcom082 compare 2.0 -1.0 -> 1 |
|
109 ddcom083 compare 2.0 0.0 -> 1 |
|
110 ddcom085 compare 2.0 1.0 -> 1 |
|
111 ddcom086 compare 2.0 2.0 -> 0 |
|
112 ddcom087 compare 1.0 0.1 -> 1 |
|
113 ddcom088 compare 0.1 1.0 -> -1 |
|
114 |
|
115 -- now some cases which might overflow if subtract were used |
|
116 ddcom095 compare 9.999999999999999E+384 9.999999999999999E+384 -> 0 |
|
117 ddcom096 compare -9.999999999999999E+384 9.999999999999999E+384 -> -1 |
|
118 ddcom097 compare 9.999999999999999E+384 -9.999999999999999E+384 -> 1 |
|
119 ddcom098 compare -9.999999999999999E+384 -9.999999999999999E+384 -> 0 |
|
120 |
|
121 -- some differing length/exponent cases |
|
122 ddcom100 compare 7.0 7.0 -> 0 |
|
123 ddcom101 compare 7.0 7 -> 0 |
|
124 ddcom102 compare 7 7.0 -> 0 |
|
125 ddcom103 compare 7E+0 7.0 -> 0 |
|
126 ddcom104 compare 70E-1 7.0 -> 0 |
|
127 ddcom105 compare 0.7E+1 7 -> 0 |
|
128 ddcom106 compare 70E-1 7 -> 0 |
|
129 ddcom107 compare 7.0 7E+0 -> 0 |
|
130 ddcom108 compare 7.0 70E-1 -> 0 |
|
131 ddcom109 compare 7 0.7E+1 -> 0 |
|
132 ddcom110 compare 7 70E-1 -> 0 |
|
133 |
|
134 ddcom120 compare 8.0 7.0 -> 1 |
|
135 ddcom121 compare 8.0 7 -> 1 |
|
136 ddcom122 compare 8 7.0 -> 1 |
|
137 ddcom123 compare 8E+0 7.0 -> 1 |
|
138 ddcom124 compare 80E-1 7.0 -> 1 |
|
139 ddcom125 compare 0.8E+1 7 -> 1 |
|
140 ddcom126 compare 80E-1 7 -> 1 |
|
141 ddcom127 compare 8.0 7E+0 -> 1 |
|
142 ddcom128 compare 8.0 70E-1 -> 1 |
|
143 ddcom129 compare 8 0.7E+1 -> 1 |
|
144 ddcom130 compare 8 70E-1 -> 1 |
|
145 |
|
146 ddcom140 compare 8.0 9.0 -> -1 |
|
147 ddcom141 compare 8.0 9 -> -1 |
|
148 ddcom142 compare 8 9.0 -> -1 |
|
149 ddcom143 compare 8E+0 9.0 -> -1 |
|
150 ddcom144 compare 80E-1 9.0 -> -1 |
|
151 ddcom145 compare 0.8E+1 9 -> -1 |
|
152 ddcom146 compare 80E-1 9 -> -1 |
|
153 ddcom147 compare 8.0 9E+0 -> -1 |
|
154 ddcom148 compare 8.0 90E-1 -> -1 |
|
155 ddcom149 compare 8 0.9E+1 -> -1 |
|
156 ddcom150 compare 8 90E-1 -> -1 |
|
157 |
|
158 -- and again, with sign changes -+ .. |
|
159 ddcom200 compare -7.0 7.0 -> -1 |
|
160 ddcom201 compare -7.0 7 -> -1 |
|
161 ddcom202 compare -7 7.0 -> -1 |
|
162 ddcom203 compare -7E+0 7.0 -> -1 |
|
163 ddcom204 compare -70E-1 7.0 -> -1 |
|
164 ddcom205 compare -0.7E+1 7 -> -1 |
|
165 ddcom206 compare -70E-1 7 -> -1 |
|
166 ddcom207 compare -7.0 7E+0 -> -1 |
|
167 ddcom208 compare -7.0 70E-1 -> -1 |
|
168 ddcom209 compare -7 0.7E+1 -> -1 |
|
169 ddcom210 compare -7 70E-1 -> -1 |
|
170 |
|
171 ddcom220 compare -8.0 7.0 -> -1 |
|
172 ddcom221 compare -8.0 7 -> -1 |
|
173 ddcom222 compare -8 7.0 -> -1 |
|
174 ddcom223 compare -8E+0 7.0 -> -1 |
|
175 ddcom224 compare -80E-1 7.0 -> -1 |
|
176 ddcom225 compare -0.8E+1 7 -> -1 |
|
177 ddcom226 compare -80E-1 7 -> -1 |
|
178 ddcom227 compare -8.0 7E+0 -> -1 |
|
179 ddcom228 compare -8.0 70E-1 -> -1 |
|
180 ddcom229 compare -8 0.7E+1 -> -1 |
|
181 ddcom230 compare -8 70E-1 -> -1 |
|
182 |
|
183 ddcom240 compare -8.0 9.0 -> -1 |
|
184 ddcom241 compare -8.0 9 -> -1 |
|
185 ddcom242 compare -8 9.0 -> -1 |
|
186 ddcom243 compare -8E+0 9.0 -> -1 |
|
187 ddcom244 compare -80E-1 9.0 -> -1 |
|
188 ddcom245 compare -0.8E+1 9 -> -1 |
|
189 ddcom246 compare -80E-1 9 -> -1 |
|
190 ddcom247 compare -8.0 9E+0 -> -1 |
|
191 ddcom248 compare -8.0 90E-1 -> -1 |
|
192 ddcom249 compare -8 0.9E+1 -> -1 |
|
193 ddcom250 compare -8 90E-1 -> -1 |
|
194 |
|
195 -- and again, with sign changes +- .. |
|
196 ddcom300 compare 7.0 -7.0 -> 1 |
|
197 ddcom301 compare 7.0 -7 -> 1 |
|
198 ddcom302 compare 7 -7.0 -> 1 |
|
199 ddcom303 compare 7E+0 -7.0 -> 1 |
|
200 ddcom304 compare 70E-1 -7.0 -> 1 |
|
201 ddcom305 compare .7E+1 -7 -> 1 |
|
202 ddcom306 compare 70E-1 -7 -> 1 |
|
203 ddcom307 compare 7.0 -7E+0 -> 1 |
|
204 ddcom308 compare 7.0 -70E-1 -> 1 |
|
205 ddcom309 compare 7 -.7E+1 -> 1 |
|
206 ddcom310 compare 7 -70E-1 -> 1 |
|
207 |
|
208 ddcom320 compare 8.0 -7.0 -> 1 |
|
209 ddcom321 compare 8.0 -7 -> 1 |
|
210 ddcom322 compare 8 -7.0 -> 1 |
|
211 ddcom323 compare 8E+0 -7.0 -> 1 |
|
212 ddcom324 compare 80E-1 -7.0 -> 1 |
|
213 ddcom325 compare .8E+1 -7 -> 1 |
|
214 ddcom326 compare 80E-1 -7 -> 1 |
|
215 ddcom327 compare 8.0 -7E+0 -> 1 |
|
216 ddcom328 compare 8.0 -70E-1 -> 1 |
|
217 ddcom329 compare 8 -.7E+1 -> 1 |
|
218 ddcom330 compare 8 -70E-1 -> 1 |
|
219 |
|
220 ddcom340 compare 8.0 -9.0 -> 1 |
|
221 ddcom341 compare 8.0 -9 -> 1 |
|
222 ddcom342 compare 8 -9.0 -> 1 |
|
223 ddcom343 compare 8E+0 -9.0 -> 1 |
|
224 ddcom344 compare 80E-1 -9.0 -> 1 |
|
225 ddcom345 compare .8E+1 -9 -> 1 |
|
226 ddcom346 compare 80E-1 -9 -> 1 |
|
227 ddcom347 compare 8.0 -9E+0 -> 1 |
|
228 ddcom348 compare 8.0 -90E-1 -> 1 |
|
229 ddcom349 compare 8 -.9E+1 -> 1 |
|
230 ddcom350 compare 8 -90E-1 -> 1 |
|
231 |
|
232 -- and again, with sign changes -- .. |
|
233 ddcom400 compare -7.0 -7.0 -> 0 |
|
234 ddcom401 compare -7.0 -7 -> 0 |
|
235 ddcom402 compare -7 -7.0 -> 0 |
|
236 ddcom403 compare -7E+0 -7.0 -> 0 |
|
237 ddcom404 compare -70E-1 -7.0 -> 0 |
|
238 ddcom405 compare -.7E+1 -7 -> 0 |
|
239 ddcom406 compare -70E-1 -7 -> 0 |
|
240 ddcom407 compare -7.0 -7E+0 -> 0 |
|
241 ddcom408 compare -7.0 -70E-1 -> 0 |
|
242 ddcom409 compare -7 -.7E+1 -> 0 |
|
243 ddcom410 compare -7 -70E-1 -> 0 |
|
244 |
|
245 ddcom420 compare -8.0 -7.0 -> -1 |
|
246 ddcom421 compare -8.0 -7 -> -1 |
|
247 ddcom422 compare -8 -7.0 -> -1 |
|
248 ddcom423 compare -8E+0 -7.0 -> -1 |
|
249 ddcom424 compare -80E-1 -7.0 -> -1 |
|
250 ddcom425 compare -.8E+1 -7 -> -1 |
|
251 ddcom426 compare -80E-1 -7 -> -1 |
|
252 ddcom427 compare -8.0 -7E+0 -> -1 |
|
253 ddcom428 compare -8.0 -70E-1 -> -1 |
|
254 ddcom429 compare -8 -.7E+1 -> -1 |
|
255 ddcom430 compare -8 -70E-1 -> -1 |
|
256 |
|
257 ddcom440 compare -8.0 -9.0 -> 1 |
|
258 ddcom441 compare -8.0 -9 -> 1 |
|
259 ddcom442 compare -8 -9.0 -> 1 |
|
260 ddcom443 compare -8E+0 -9.0 -> 1 |
|
261 ddcom444 compare -80E-1 -9.0 -> 1 |
|
262 ddcom445 compare -.8E+1 -9 -> 1 |
|
263 ddcom446 compare -80E-1 -9 -> 1 |
|
264 ddcom447 compare -8.0 -9E+0 -> 1 |
|
265 ddcom448 compare -8.0 -90E-1 -> 1 |
|
266 ddcom449 compare -8 -.9E+1 -> 1 |
|
267 ddcom450 compare -8 -90E-1 -> 1 |
|
268 |
|
269 -- misalignment traps for little-endian |
|
270 ddcom451 compare 1.0 0.1 -> 1 |
|
271 ddcom452 compare 0.1 1.0 -> -1 |
|
272 ddcom453 compare 10.0 0.1 -> 1 |
|
273 ddcom454 compare 0.1 10.0 -> -1 |
|
274 ddcom455 compare 100 1.0 -> 1 |
|
275 ddcom456 compare 1.0 100 -> -1 |
|
276 ddcom457 compare 1000 10.0 -> 1 |
|
277 ddcom458 compare 10.0 1000 -> -1 |
|
278 ddcom459 compare 10000 100.0 -> 1 |
|
279 ddcom460 compare 100.0 10000 -> -1 |
|
280 ddcom461 compare 100000 1000.0 -> 1 |
|
281 ddcom462 compare 1000.0 100000 -> -1 |
|
282 ddcom463 compare 1000000 10000.0 -> 1 |
|
283 ddcom464 compare 10000.0 1000000 -> -1 |
|
284 |
|
285 -- testcases that subtract to lots of zeros at boundaries [pgr] |
|
286 ddcom473 compare 123.4560000000000E-89 123.456E-89 -> 0 |
|
287 ddcom474 compare 123.456000000000E+89 123.456E+89 -> 0 |
|
288 ddcom475 compare 123.45600000000E-89 123.456E-89 -> 0 |
|
289 ddcom476 compare 123.4560000000E+89 123.456E+89 -> 0 |
|
290 ddcom477 compare 123.456000000E-89 123.456E-89 -> 0 |
|
291 ddcom478 compare 123.45600000E+89 123.456E+89 -> 0 |
|
292 ddcom479 compare 123.4560000E-89 123.456E-89 -> 0 |
|
293 ddcom480 compare 123.456000E+89 123.456E+89 -> 0 |
|
294 ddcom481 compare 123.45600E-89 123.456E-89 -> 0 |
|
295 ddcom482 compare 123.4560E+89 123.456E+89 -> 0 |
|
296 ddcom483 compare 123.456E-89 123.456E-89 -> 0 |
|
297 ddcom487 compare 123.456E+89 123.4560000000000E+89 -> 0 |
|
298 ddcom488 compare 123.456E-89 123.456000000000E-89 -> 0 |
|
299 ddcom489 compare 123.456E+89 123.45600000000E+89 -> 0 |
|
300 ddcom490 compare 123.456E-89 123.4560000000E-89 -> 0 |
|
301 ddcom491 compare 123.456E+89 123.456000000E+89 -> 0 |
|
302 ddcom492 compare 123.456E-89 123.45600000E-89 -> 0 |
|
303 ddcom493 compare 123.456E+89 123.4560000E+89 -> 0 |
|
304 ddcom494 compare 123.456E-89 123.456000E-89 -> 0 |
|
305 ddcom495 compare 123.456E+89 123.45600E+89 -> 0 |
|
306 ddcom496 compare 123.456E-89 123.4560E-89 -> 0 |
|
307 ddcom497 compare 123.456E+89 123.456E+89 -> 0 |
|
308 |
|
309 -- wide-ranging, around precision; signs equal |
|
310 ddcom500 compare 1 1E-15 -> 1 |
|
311 ddcom501 compare 1 1E-14 -> 1 |
|
312 ddcom502 compare 1 1E-13 -> 1 |
|
313 ddcom503 compare 1 1E-12 -> 1 |
|
314 ddcom504 compare 1 1E-11 -> 1 |
|
315 ddcom505 compare 1 1E-10 -> 1 |
|
316 ddcom506 compare 1 1E-9 -> 1 |
|
317 ddcom507 compare 1 1E-8 -> 1 |
|
318 ddcom508 compare 1 1E-7 -> 1 |
|
319 ddcom509 compare 1 1E-6 -> 1 |
|
320 ddcom510 compare 1 1E-5 -> 1 |
|
321 ddcom511 compare 1 1E-4 -> 1 |
|
322 ddcom512 compare 1 1E-3 -> 1 |
|
323 ddcom513 compare 1 1E-2 -> 1 |
|
324 ddcom514 compare 1 1E-1 -> 1 |
|
325 ddcom515 compare 1 1E-0 -> 0 |
|
326 ddcom516 compare 1 1E+1 -> -1 |
|
327 ddcom517 compare 1 1E+2 -> -1 |
|
328 ddcom518 compare 1 1E+3 -> -1 |
|
329 ddcom519 compare 1 1E+4 -> -1 |
|
330 ddcom521 compare 1 1E+5 -> -1 |
|
331 ddcom522 compare 1 1E+6 -> -1 |
|
332 ddcom523 compare 1 1E+7 -> -1 |
|
333 ddcom524 compare 1 1E+8 -> -1 |
|
334 ddcom525 compare 1 1E+9 -> -1 |
|
335 ddcom526 compare 1 1E+10 -> -1 |
|
336 ddcom527 compare 1 1E+11 -> -1 |
|
337 ddcom528 compare 1 1E+12 -> -1 |
|
338 ddcom529 compare 1 1E+13 -> -1 |
|
339 ddcom530 compare 1 1E+14 -> -1 |
|
340 ddcom531 compare 1 1E+15 -> -1 |
|
341 -- LR swap |
|
342 ddcom540 compare 1E-15 1 -> -1 |
|
343 ddcom541 compare 1E-14 1 -> -1 |
|
344 ddcom542 compare 1E-13 1 -> -1 |
|
345 ddcom543 compare 1E-12 1 -> -1 |
|
346 ddcom544 compare 1E-11 1 -> -1 |
|
347 ddcom545 compare 1E-10 1 -> -1 |
|
348 ddcom546 compare 1E-9 1 -> -1 |
|
349 ddcom547 compare 1E-8 1 -> -1 |
|
350 ddcom548 compare 1E-7 1 -> -1 |
|
351 ddcom549 compare 1E-6 1 -> -1 |
|
352 ddcom550 compare 1E-5 1 -> -1 |
|
353 ddcom551 compare 1E-4 1 -> -1 |
|
354 ddcom552 compare 1E-3 1 -> -1 |
|
355 ddcom553 compare 1E-2 1 -> -1 |
|
356 ddcom554 compare 1E-1 1 -> -1 |
|
357 ddcom555 compare 1E-0 1 -> 0 |
|
358 ddcom556 compare 1E+1 1 -> 1 |
|
359 ddcom557 compare 1E+2 1 -> 1 |
|
360 ddcom558 compare 1E+3 1 -> 1 |
|
361 ddcom559 compare 1E+4 1 -> 1 |
|
362 ddcom561 compare 1E+5 1 -> 1 |
|
363 ddcom562 compare 1E+6 1 -> 1 |
|
364 ddcom563 compare 1E+7 1 -> 1 |
|
365 ddcom564 compare 1E+8 1 -> 1 |
|
366 ddcom565 compare 1E+9 1 -> 1 |
|
367 ddcom566 compare 1E+10 1 -> 1 |
|
368 ddcom567 compare 1E+11 1 -> 1 |
|
369 ddcom568 compare 1E+12 1 -> 1 |
|
370 ddcom569 compare 1E+13 1 -> 1 |
|
371 ddcom570 compare 1E+14 1 -> 1 |
|
372 ddcom571 compare 1E+15 1 -> 1 |
|
373 -- similar with a useful coefficient, one side only |
|
374 ddcom580 compare 0.000000987654321 1E-15 -> 1 |
|
375 ddcom581 compare 0.000000987654321 1E-14 -> 1 |
|
376 ddcom582 compare 0.000000987654321 1E-13 -> 1 |
|
377 ddcom583 compare 0.000000987654321 1E-12 -> 1 |
|
378 ddcom584 compare 0.000000987654321 1E-11 -> 1 |
|
379 ddcom585 compare 0.000000987654321 1E-10 -> 1 |
|
380 ddcom586 compare 0.000000987654321 1E-9 -> 1 |
|
381 ddcom587 compare 0.000000987654321 1E-8 -> 1 |
|
382 ddcom588 compare 0.000000987654321 1E-7 -> 1 |
|
383 ddcom589 compare 0.000000987654321 1E-6 -> -1 |
|
384 ddcom590 compare 0.000000987654321 1E-5 -> -1 |
|
385 ddcom591 compare 0.000000987654321 1E-4 -> -1 |
|
386 ddcom592 compare 0.000000987654321 1E-3 -> -1 |
|
387 ddcom593 compare 0.000000987654321 1E-2 -> -1 |
|
388 ddcom594 compare 0.000000987654321 1E-1 -> -1 |
|
389 ddcom595 compare 0.000000987654321 1E-0 -> -1 |
|
390 ddcom596 compare 0.000000987654321 1E+1 -> -1 |
|
391 ddcom597 compare 0.000000987654321 1E+2 -> -1 |
|
392 ddcom598 compare 0.000000987654321 1E+3 -> -1 |
|
393 ddcom599 compare 0.000000987654321 1E+4 -> -1 |
|
394 |
|
395 -- check some unit-y traps |
|
396 ddcom600 compare 12 12.2345 -> -1 |
|
397 ddcom601 compare 12.0 12.2345 -> -1 |
|
398 ddcom602 compare 12.00 12.2345 -> -1 |
|
399 ddcom603 compare 12.000 12.2345 -> -1 |
|
400 ddcom604 compare 12.0000 12.2345 -> -1 |
|
401 ddcom605 compare 12.00000 12.2345 -> -1 |
|
402 ddcom606 compare 12.000000 12.2345 -> -1 |
|
403 ddcom607 compare 12.0000000 12.2345 -> -1 |
|
404 ddcom608 compare 12.00000000 12.2345 -> -1 |
|
405 ddcom609 compare 12.000000000 12.2345 -> -1 |
|
406 ddcom610 compare 12.1234 12 -> 1 |
|
407 ddcom611 compare 12.1234 12.0 -> 1 |
|
408 ddcom612 compare 12.1234 12.00 -> 1 |
|
409 ddcom613 compare 12.1234 12.000 -> 1 |
|
410 ddcom614 compare 12.1234 12.0000 -> 1 |
|
411 ddcom615 compare 12.1234 12.00000 -> 1 |
|
412 ddcom616 compare 12.1234 12.000000 -> 1 |
|
413 ddcom617 compare 12.1234 12.0000000 -> 1 |
|
414 ddcom618 compare 12.1234 12.00000000 -> 1 |
|
415 ddcom619 compare 12.1234 12.000000000 -> 1 |
|
416 ddcom620 compare -12 -12.2345 -> 1 |
|
417 ddcom621 compare -12.0 -12.2345 -> 1 |
|
418 ddcom622 compare -12.00 -12.2345 -> 1 |
|
419 ddcom623 compare -12.000 -12.2345 -> 1 |
|
420 ddcom624 compare -12.0000 -12.2345 -> 1 |
|
421 ddcom625 compare -12.00000 -12.2345 -> 1 |
|
422 ddcom626 compare -12.000000 -12.2345 -> 1 |
|
423 ddcom627 compare -12.0000000 -12.2345 -> 1 |
|
424 ddcom628 compare -12.00000000 -12.2345 -> 1 |
|
425 ddcom629 compare -12.000000000 -12.2345 -> 1 |
|
426 ddcom630 compare -12.1234 -12 -> -1 |
|
427 ddcom631 compare -12.1234 -12.0 -> -1 |
|
428 ddcom632 compare -12.1234 -12.00 -> -1 |
|
429 ddcom633 compare -12.1234 -12.000 -> -1 |
|
430 ddcom634 compare -12.1234 -12.0000 -> -1 |
|
431 ddcom635 compare -12.1234 -12.00000 -> -1 |
|
432 ddcom636 compare -12.1234 -12.000000 -> -1 |
|
433 ddcom637 compare -12.1234 -12.0000000 -> -1 |
|
434 ddcom638 compare -12.1234 -12.00000000 -> -1 |
|
435 ddcom639 compare -12.1234 -12.000000000 -> -1 |
|
436 |
|
437 -- extended zeros |
|
438 ddcom640 compare 0 0 -> 0 |
|
439 ddcom641 compare 0 -0 -> 0 |
|
440 ddcom642 compare 0 -0.0 -> 0 |
|
441 ddcom643 compare 0 0.0 -> 0 |
|
442 ddcom644 compare -0 0 -> 0 |
|
443 ddcom645 compare -0 -0 -> 0 |
|
444 ddcom646 compare -0 -0.0 -> 0 |
|
445 ddcom647 compare -0 0.0 -> 0 |
|
446 ddcom648 compare 0.0 0 -> 0 |
|
447 ddcom649 compare 0.0 -0 -> 0 |
|
448 ddcom650 compare 0.0 -0.0 -> 0 |
|
449 ddcom651 compare 0.0 0.0 -> 0 |
|
450 ddcom652 compare -0.0 0 -> 0 |
|
451 ddcom653 compare -0.0 -0 -> 0 |
|
452 ddcom654 compare -0.0 -0.0 -> 0 |
|
453 ddcom655 compare -0.0 0.0 -> 0 |
|
454 |
|
455 ddcom656 compare -0E1 0.0 -> 0 |
|
456 ddcom657 compare -0E2 0.0 -> 0 |
|
457 ddcom658 compare 0E1 0.0 -> 0 |
|
458 ddcom659 compare 0E2 0.0 -> 0 |
|
459 ddcom660 compare -0E1 0 -> 0 |
|
460 ddcom661 compare -0E2 0 -> 0 |
|
461 ddcom662 compare 0E1 0 -> 0 |
|
462 ddcom663 compare 0E2 0 -> 0 |
|
463 ddcom664 compare -0E1 -0E1 -> 0 |
|
464 ddcom665 compare -0E2 -0E1 -> 0 |
|
465 ddcom666 compare 0E1 -0E1 -> 0 |
|
466 ddcom667 compare 0E2 -0E1 -> 0 |
|
467 ddcom668 compare -0E1 -0E2 -> 0 |
|
468 ddcom669 compare -0E2 -0E2 -> 0 |
|
469 ddcom670 compare 0E1 -0E2 -> 0 |
|
470 ddcom671 compare 0E2 -0E2 -> 0 |
|
471 ddcom672 compare -0E1 0E1 -> 0 |
|
472 ddcom673 compare -0E2 0E1 -> 0 |
|
473 ddcom674 compare 0E1 0E1 -> 0 |
|
474 ddcom675 compare 0E2 0E1 -> 0 |
|
475 ddcom676 compare -0E1 0E2 -> 0 |
|
476 ddcom677 compare -0E2 0E2 -> 0 |
|
477 ddcom678 compare 0E1 0E2 -> 0 |
|
478 ddcom679 compare 0E2 0E2 -> 0 |
|
479 |
|
480 -- trailing zeros; unit-y |
|
481 ddcom680 compare 12 12 -> 0 |
|
482 ddcom681 compare 12 12.0 -> 0 |
|
483 ddcom682 compare 12 12.00 -> 0 |
|
484 ddcom683 compare 12 12.000 -> 0 |
|
485 ddcom684 compare 12 12.0000 -> 0 |
|
486 ddcom685 compare 12 12.00000 -> 0 |
|
487 ddcom686 compare 12 12.000000 -> 0 |
|
488 ddcom687 compare 12 12.0000000 -> 0 |
|
489 ddcom688 compare 12 12.00000000 -> 0 |
|
490 ddcom689 compare 12 12.000000000 -> 0 |
|
491 ddcom690 compare 12 12 -> 0 |
|
492 ddcom691 compare 12.0 12 -> 0 |
|
493 ddcom692 compare 12.00 12 -> 0 |
|
494 ddcom693 compare 12.000 12 -> 0 |
|
495 ddcom694 compare 12.0000 12 -> 0 |
|
496 ddcom695 compare 12.00000 12 -> 0 |
|
497 ddcom696 compare 12.000000 12 -> 0 |
|
498 ddcom697 compare 12.0000000 12 -> 0 |
|
499 ddcom698 compare 12.00000000 12 -> 0 |
|
500 ddcom699 compare 12.000000000 12 -> 0 |
|
501 |
|
502 -- first, second, & last digit |
|
503 ddcom700 compare 1234567890123456 1234567890123455 -> 1 |
|
504 ddcom701 compare 1234567890123456 1234567890123456 -> 0 |
|
505 ddcom702 compare 1234567890123456 1234567890123457 -> -1 |
|
506 ddcom703 compare 1234567890123456 0234567890123456 -> 1 |
|
507 ddcom704 compare 1234567890123456 1234567890123456 -> 0 |
|
508 ddcom705 compare 1234567890123456 2234567890123456 -> -1 |
|
509 ddcom706 compare 1134567890123456 1034567890123456 -> 1 |
|
510 ddcom707 compare 1134567890123456 1134567890123456 -> 0 |
|
511 ddcom708 compare 1134567890123456 1234567890123456 -> -1 |
|
512 |
|
513 -- miscellaneous |
|
514 ddcom721 compare 12345678000 1 -> 1 |
|
515 ddcom722 compare 1 12345678000 -> -1 |
|
516 ddcom723 compare 1234567800 1 -> 1 |
|
517 ddcom724 compare 1 1234567800 -> -1 |
|
518 ddcom725 compare 1234567890 1 -> 1 |
|
519 ddcom726 compare 1 1234567890 -> -1 |
|
520 ddcom727 compare 1234567891 1 -> 1 |
|
521 ddcom728 compare 1 1234567891 -> -1 |
|
522 ddcom729 compare 12345678901 1 -> 1 |
|
523 ddcom730 compare 1 12345678901 -> -1 |
|
524 ddcom731 compare 1234567896 1 -> 1 |
|
525 ddcom732 compare 1 1234567896 -> -1 |
|
526 |
|
527 -- residue cases at lower precision |
|
528 ddcom740 compare 1 0.9999999 -> 1 |
|
529 ddcom741 compare 1 0.999999 -> 1 |
|
530 ddcom742 compare 1 0.99999 -> 1 |
|
531 ddcom743 compare 1 1.0000 -> 0 |
|
532 ddcom744 compare 1 1.00001 -> -1 |
|
533 ddcom745 compare 1 1.000001 -> -1 |
|
534 ddcom746 compare 1 1.0000001 -> -1 |
|
535 ddcom750 compare 0.9999999 1 -> -1 |
|
536 ddcom751 compare 0.999999 1 -> -1 |
|
537 ddcom752 compare 0.99999 1 -> -1 |
|
538 ddcom753 compare 1.0000 1 -> 0 |
|
539 ddcom754 compare 1.00001 1 -> 1 |
|
540 ddcom755 compare 1.000001 1 -> 1 |
|
541 ddcom756 compare 1.0000001 1 -> 1 |
|
542 |
|
543 -- Specials |
|
544 ddcom780 compare Inf -Inf -> 1 |
|
545 ddcom781 compare Inf -1000 -> 1 |
|
546 ddcom782 compare Inf -1 -> 1 |
|
547 ddcom783 compare Inf -0 -> 1 |
|
548 ddcom784 compare Inf 0 -> 1 |
|
549 ddcom785 compare Inf 1 -> 1 |
|
550 ddcom786 compare Inf 1000 -> 1 |
|
551 ddcom787 compare Inf Inf -> 0 |
|
552 ddcom788 compare -1000 Inf -> -1 |
|
553 ddcom789 compare -Inf Inf -> -1 |
|
554 ddcom790 compare -1 Inf -> -1 |
|
555 ddcom791 compare -0 Inf -> -1 |
|
556 ddcom792 compare 0 Inf -> -1 |
|
557 ddcom793 compare 1 Inf -> -1 |
|
558 ddcom794 compare 1000 Inf -> -1 |
|
559 ddcom795 compare Inf Inf -> 0 |
|
560 |
|
561 ddcom800 compare -Inf -Inf -> 0 |
|
562 ddcom801 compare -Inf -1000 -> -1 |
|
563 ddcom802 compare -Inf -1 -> -1 |
|
564 ddcom803 compare -Inf -0 -> -1 |
|
565 ddcom804 compare -Inf 0 -> -1 |
|
566 ddcom805 compare -Inf 1 -> -1 |
|
567 ddcom806 compare -Inf 1000 -> -1 |
|
568 ddcom807 compare -Inf Inf -> -1 |
|
569 ddcom808 compare -Inf -Inf -> 0 |
|
570 ddcom809 compare -1000 -Inf -> 1 |
|
571 ddcom810 compare -1 -Inf -> 1 |
|
572 ddcom811 compare -0 -Inf -> 1 |
|
573 ddcom812 compare 0 -Inf -> 1 |
|
574 ddcom813 compare 1 -Inf -> 1 |
|
575 ddcom814 compare 1000 -Inf -> 1 |
|
576 ddcom815 compare Inf -Inf -> 1 |
|
577 |
|
578 ddcom821 compare NaN -Inf -> NaN |
|
579 ddcom822 compare NaN -1000 -> NaN |
|
580 ddcom823 compare NaN -1 -> NaN |
|
581 ddcom824 compare NaN -0 -> NaN |
|
582 ddcom825 compare NaN 0 -> NaN |
|
583 ddcom826 compare NaN 1 -> NaN |
|
584 ddcom827 compare NaN 1000 -> NaN |
|
585 ddcom828 compare NaN Inf -> NaN |
|
586 ddcom829 compare NaN NaN -> NaN |
|
587 ddcom830 compare -Inf NaN -> NaN |
|
588 ddcom831 compare -1000 NaN -> NaN |
|
589 ddcom832 compare -1 NaN -> NaN |
|
590 ddcom833 compare -0 NaN -> NaN |
|
591 ddcom834 compare 0 NaN -> NaN |
|
592 ddcom835 compare 1 NaN -> NaN |
|
593 ddcom836 compare 1000 NaN -> NaN |
|
594 ddcom837 compare Inf NaN -> NaN |
|
595 ddcom838 compare -NaN -NaN -> -NaN |
|
596 ddcom839 compare +NaN -NaN -> NaN |
|
597 ddcom840 compare -NaN +NaN -> -NaN |
|
598 |
|
599 ddcom841 compare sNaN -Inf -> NaN Invalid_operation |
|
600 ddcom842 compare sNaN -1000 -> NaN Invalid_operation |
|
601 ddcom843 compare sNaN -1 -> NaN Invalid_operation |
|
602 ddcom844 compare sNaN -0 -> NaN Invalid_operation |
|
603 ddcom845 compare sNaN 0 -> NaN Invalid_operation |
|
604 ddcom846 compare sNaN 1 -> NaN Invalid_operation |
|
605 ddcom847 compare sNaN 1000 -> NaN Invalid_operation |
|
606 ddcom848 compare sNaN NaN -> NaN Invalid_operation |
|
607 ddcom849 compare sNaN sNaN -> NaN Invalid_operation |
|
608 ddcom850 compare NaN sNaN -> NaN Invalid_operation |
|
609 ddcom851 compare -Inf sNaN -> NaN Invalid_operation |
|
610 ddcom852 compare -1000 sNaN -> NaN Invalid_operation |
|
611 ddcom853 compare -1 sNaN -> NaN Invalid_operation |
|
612 ddcom854 compare -0 sNaN -> NaN Invalid_operation |
|
613 ddcom855 compare 0 sNaN -> NaN Invalid_operation |
|
614 ddcom856 compare 1 sNaN -> NaN Invalid_operation |
|
615 ddcom857 compare 1000 sNaN -> NaN Invalid_operation |
|
616 ddcom858 compare Inf sNaN -> NaN Invalid_operation |
|
617 ddcom859 compare NaN sNaN -> NaN Invalid_operation |
|
618 |
|
619 -- propagating NaNs |
|
620 ddcom860 compare NaN9 -Inf -> NaN9 |
|
621 ddcom861 compare NaN8 999 -> NaN8 |
|
622 ddcom862 compare NaN77 Inf -> NaN77 |
|
623 ddcom863 compare -NaN67 NaN5 -> -NaN67 |
|
624 ddcom864 compare -Inf -NaN4 -> -NaN4 |
|
625 ddcom865 compare -999 -NaN33 -> -NaN33 |
|
626 ddcom866 compare Inf NaN2 -> NaN2 |
|
627 ddcom867 compare -NaN41 -NaN42 -> -NaN41 |
|
628 ddcom868 compare +NaN41 -NaN42 -> NaN41 |
|
629 ddcom869 compare -NaN41 +NaN42 -> -NaN41 |
|
630 ddcom870 compare +NaN41 +NaN42 -> NaN41 |
|
631 |
|
632 ddcom871 compare -sNaN99 -Inf -> -NaN99 Invalid_operation |
|
633 ddcom872 compare sNaN98 -11 -> NaN98 Invalid_operation |
|
634 ddcom873 compare sNaN97 NaN -> NaN97 Invalid_operation |
|
635 ddcom874 compare sNaN16 sNaN94 -> NaN16 Invalid_operation |
|
636 ddcom875 compare NaN85 sNaN83 -> NaN83 Invalid_operation |
|
637 ddcom876 compare -Inf sNaN92 -> NaN92 Invalid_operation |
|
638 ddcom877 compare 088 sNaN81 -> NaN81 Invalid_operation |
|
639 ddcom878 compare Inf sNaN90 -> NaN90 Invalid_operation |
|
640 ddcom879 compare NaN -sNaN89 -> -NaN89 Invalid_operation |
|
641 |
|
642 -- wide range |
|
643 ddcom880 compare +1.23456789012345E-0 9E+384 -> -1 |
|
644 ddcom881 compare 9E+384 +1.23456789012345E-0 -> 1 |
|
645 ddcom882 compare +0.100 9E-383 -> 1 |
|
646 ddcom883 compare 9E-383 +0.100 -> -1 |
|
647 ddcom885 compare -1.23456789012345E-0 9E+384 -> -1 |
|
648 ddcom886 compare 9E+384 -1.23456789012345E-0 -> 1 |
|
649 ddcom887 compare -0.100 9E-383 -> -1 |
|
650 ddcom888 compare 9E-383 -0.100 -> 1 |
|
651 |
|
652 -- spread zeros |
|
653 ddcom900 compare 0E-383 0 -> 0 |
|
654 ddcom901 compare 0E-383 -0 -> 0 |
|
655 ddcom902 compare -0E-383 0 -> 0 |
|
656 ddcom903 compare -0E-383 -0 -> 0 |
|
657 ddcom904 compare 0E-383 0E+384 -> 0 |
|
658 ddcom905 compare 0E-383 -0E+384 -> 0 |
|
659 ddcom906 compare -0E-383 0E+384 -> 0 |
|
660 ddcom907 compare -0E-383 -0E+384 -> 0 |
|
661 ddcom908 compare 0 0E+384 -> 0 |
|
662 ddcom909 compare 0 -0E+384 -> 0 |
|
663 ddcom910 compare -0 0E+384 -> 0 |
|
664 ddcom911 compare -0 -0E+384 -> 0 |
|
665 ddcom930 compare 0E+384 0 -> 0 |
|
666 ddcom931 compare 0E+384 -0 -> 0 |
|
667 ddcom932 compare -0E+384 0 -> 0 |
|
668 ddcom933 compare -0E+384 -0 -> 0 |
|
669 ddcom934 compare 0E+384 0E-383 -> 0 |
|
670 ddcom935 compare 0E+384 -0E-383 -> 0 |
|
671 ddcom936 compare -0E+384 0E-383 -> 0 |
|
672 ddcom937 compare -0E+384 -0E-383 -> 0 |
|
673 ddcom938 compare 0 0E-383 -> 0 |
|
674 ddcom939 compare 0 -0E-383 -> 0 |
|
675 ddcom940 compare -0 0E-383 -> 0 |
|
676 ddcom941 compare -0 -0E-383 -> 0 |
|
677 |
|
678 -- signs |
|
679 ddcom961 compare 1e+77 1e+11 -> 1 |
|
680 ddcom962 compare 1e+77 -1e+11 -> 1 |
|
681 ddcom963 compare -1e+77 1e+11 -> -1 |
|
682 ddcom964 compare -1e+77 -1e+11 -> -1 |
|
683 ddcom965 compare 1e-77 1e-11 -> -1 |
|
684 ddcom966 compare 1e-77 -1e-11 -> 1 |
|
685 ddcom967 compare -1e-77 1e-11 -> -1 |
|
686 ddcom968 compare -1e-77 -1e-11 -> 1 |
|
687 |
|
688 -- full alignment range, both ways |
|
689 ddcomp1001 compare 1 1.000000000000000 -> 0 |
|
690 ddcomp1002 compare 1 1.00000000000000 -> 0 |
|
691 ddcomp1003 compare 1 1.0000000000000 -> 0 |
|
692 ddcomp1004 compare 1 1.000000000000 -> 0 |
|
693 ddcomp1005 compare 1 1.00000000000 -> 0 |
|
694 ddcomp1006 compare 1 1.0000000000 -> 0 |
|
695 ddcomp1007 compare 1 1.000000000 -> 0 |
|
696 ddcomp1008 compare 1 1.00000000 -> 0 |
|
697 ddcomp1009 compare 1 1.0000000 -> 0 |
|
698 ddcomp1010 compare 1 1.000000 -> 0 |
|
699 ddcomp1011 compare 1 1.00000 -> 0 |
|
700 ddcomp1012 compare 1 1.0000 -> 0 |
|
701 ddcomp1013 compare 1 1.000 -> 0 |
|
702 ddcomp1014 compare 1 1.00 -> 0 |
|
703 ddcomp1015 compare 1 1.0 -> 0 |
|
704 ddcomp1021 compare 1.000000000000000 1 -> 0 |
|
705 ddcomp1022 compare 1.00000000000000 1 -> 0 |
|
706 ddcomp1023 compare 1.0000000000000 1 -> 0 |
|
707 ddcomp1024 compare 1.000000000000 1 -> 0 |
|
708 ddcomp1025 compare 1.00000000000 1 -> 0 |
|
709 ddcomp1026 compare 1.0000000000 1 -> 0 |
|
710 ddcomp1027 compare 1.000000000 1 -> 0 |
|
711 ddcomp1028 compare 1.00000000 1 -> 0 |
|
712 ddcomp1029 compare 1.0000000 1 -> 0 |
|
713 ddcomp1030 compare 1.000000 1 -> 0 |
|
714 ddcomp1031 compare 1.00000 1 -> 0 |
|
715 ddcomp1032 compare 1.0000 1 -> 0 |
|
716 ddcomp1033 compare 1.000 1 -> 0 |
|
717 ddcomp1034 compare 1.00 1 -> 0 |
|
718 ddcomp1035 compare 1.0 1 -> 0 |
|
719 |
|
720 -- check MSD always detected non-zero |
|
721 ddcomp1040 compare 0 0.000000000000000 -> 0 |
|
722 ddcomp1041 compare 0 1.000000000000000 -> -1 |
|
723 ddcomp1042 compare 0 2.000000000000000 -> -1 |
|
724 ddcomp1043 compare 0 3.000000000000000 -> -1 |
|
725 ddcomp1044 compare 0 4.000000000000000 -> -1 |
|
726 ddcomp1045 compare 0 5.000000000000000 -> -1 |
|
727 ddcomp1046 compare 0 6.000000000000000 -> -1 |
|
728 ddcomp1047 compare 0 7.000000000000000 -> -1 |
|
729 ddcomp1048 compare 0 8.000000000000000 -> -1 |
|
730 ddcomp1049 compare 0 9.000000000000000 -> -1 |
|
731 ddcomp1050 compare 0.000000000000000 0 -> 0 |
|
732 ddcomp1051 compare 1.000000000000000 0 -> 1 |
|
733 ddcomp1052 compare 2.000000000000000 0 -> 1 |
|
734 ddcomp1053 compare 3.000000000000000 0 -> 1 |
|
735 ddcomp1054 compare 4.000000000000000 0 -> 1 |
|
736 ddcomp1055 compare 5.000000000000000 0 -> 1 |
|
737 ddcomp1056 compare 6.000000000000000 0 -> 1 |
|
738 ddcomp1057 compare 7.000000000000000 0 -> 1 |
|
739 ddcomp1058 compare 8.000000000000000 0 -> 1 |
|
740 ddcomp1059 compare 9.000000000000000 0 -> 1 |
|
741 |
|
742 -- Null tests |
|
743 ddcom9990 compare 10 # -> NaN Invalid_operation |
|
744 ddcom9991 compare # 10 -> NaN Invalid_operation |