1 ------------------------------------------------------------------------
2 -- compare.decTest -- decimal 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 --
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. --
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 --
19 ------------------------------------------------------------------------
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).
34 comx001 compare -2 -2 -> 0
35 comx002 compare -2 -1 -> -1
36 comx003 compare -2 0 -> -1
37 comx004 compare -2 1 -> -1
38 comx005 compare -2 2 -> -1
39 comx006 compare -1 -2 -> 1
40 comx007 compare -1 -1 -> 0
41 comx008 compare -1 0 -> -1
42 comx009 compare -1 1 -> -1
43 comx010 compare -1 2 -> -1
44 comx011 compare 0 -2 -> 1
45 comx012 compare 0 -1 -> 1
46 comx013 compare 0 0 -> 0
47 comx014 compare 0 1 -> -1
48 comx015 compare 0 2 -> -1
49 comx016 compare 1 -2 -> 1
50 comx017 compare 1 -1 -> 1
51 comx018 compare 1 0 -> 1
52 comx019 compare 1 1 -> 0
53 comx020 compare 1 2 -> -1
54 comx021 compare 2 -2 -> 1
55 comx022 compare 2 -1 -> 1
56 comx023 compare 2 0 -> 1
57 comx025 compare 2 1 -> 1
58 comx026 compare 2 2 -> 0
60 comx031 compare -20 -20 -> 0
61 comx032 compare -20 -10 -> -1
62 comx033 compare -20 00 -> -1
63 comx034 compare -20 10 -> -1
64 comx035 compare -20 20 -> -1
65 comx036 compare -10 -20 -> 1
66 comx037 compare -10 -10 -> 0
67 comx038 compare -10 00 -> -1
68 comx039 compare -10 10 -> -1
69 comx040 compare -10 20 -> -1
70 comx041 compare 00 -20 -> 1
71 comx042 compare 00 -10 -> 1
72 comx043 compare 00 00 -> 0
73 comx044 compare 00 10 -> -1
74 comx045 compare 00 20 -> -1
75 comx046 compare 10 -20 -> 1
76 comx047 compare 10 -10 -> 1
77 comx048 compare 10 00 -> 1
78 comx049 compare 10 10 -> 0
79 comx050 compare 10 20 -> -1
80 comx051 compare 20 -20 -> 1
81 comx052 compare 20 -10 -> 1
82 comx053 compare 20 00 -> 1
83 comx055 compare 20 10 -> 1
84 comx056 compare 20 20 -> 0
86 comx061 compare -2.0 -2.0 -> 0
87 comx062 compare -2.0 -1.0 -> -1
88 comx063 compare -2.0 0.0 -> -1
89 comx064 compare -2.0 1.0 -> -1
90 comx065 compare -2.0 2.0 -> -1
91 comx066 compare -1.0 -2.0 -> 1
92 comx067 compare -1.0 -1.0 -> 0
93 comx068 compare -1.0 0.0 -> -1
94 comx069 compare -1.0 1.0 -> -1
95 comx070 compare -1.0 2.0 -> -1
96 comx071 compare 0.0 -2.0 -> 1
97 comx072 compare 0.0 -1.0 -> 1
98 comx073 compare 0.0 0.0 -> 0
99 comx074 compare 0.0 1.0 -> -1
100 comx075 compare 0.0 2.0 -> -1
101 comx076 compare 1.0 -2.0 -> 1
102 comx077 compare 1.0 -1.0 -> 1
103 comx078 compare 1.0 0.0 -> 1
104 comx079 compare 1.0 1.0 -> 0
105 comx080 compare 1.0 2.0 -> -1
106 comx081 compare 2.0 -2.0 -> 1
107 comx082 compare 2.0 -1.0 -> 1
108 comx083 compare 2.0 0.0 -> 1
109 comx085 compare 2.0 1.0 -> 1
110 comx086 compare 2.0 2.0 -> 0
112 -- now some cases which might overflow if subtract were used
113 maxexponent: 999999999
114 minexponent: -999999999
115 comx095 compare 9.99999999E+999999999 9.99999999E+999999999 -> 0
116 comx096 compare -9.99999999E+999999999 9.99999999E+999999999 -> -1
117 comx097 compare 9.99999999E+999999999 -9.99999999E+999999999 -> 1
118 comx098 compare -9.99999999E+999999999 -9.99999999E+999999999 -> 0
120 -- some differing length/exponent cases
121 comx100 compare 7.0 7.0 -> 0
122 comx101 compare 7.0 7 -> 0
123 comx102 compare 7 7.0 -> 0
124 comx103 compare 7E+0 7.0 -> 0
125 comx104 compare 70E-1 7.0 -> 0
126 comx105 compare 0.7E+1 7 -> 0
127 comx106 compare 70E-1 7 -> 0
128 comx107 compare 7.0 7E+0 -> 0
129 comx108 compare 7.0 70E-1 -> 0
130 comx109 compare 7 0.7E+1 -> 0
131 comx110 compare 7 70E-1 -> 0
133 comx120 compare 8.0 7.0 -> 1
134 comx121 compare 8.0 7 -> 1
135 comx122 compare 8 7.0 -> 1
136 comx123 compare 8E+0 7.0 -> 1
137 comx124 compare 80E-1 7.0 -> 1
138 comx125 compare 0.8E+1 7 -> 1
139 comx126 compare 80E-1 7 -> 1
140 comx127 compare 8.0 7E+0 -> 1
141 comx128 compare 8.0 70E-1 -> 1
142 comx129 compare 8 0.7E+1 -> 1
143 comx130 compare 8 70E-1 -> 1
145 comx140 compare 8.0 9.0 -> -1
146 comx141 compare 8.0 9 -> -1
147 comx142 compare 8 9.0 -> -1
148 comx143 compare 8E+0 9.0 -> -1
149 comx144 compare 80E-1 9.0 -> -1
150 comx145 compare 0.8E+1 9 -> -1
151 comx146 compare 80E-1 9 -> -1
152 comx147 compare 8.0 9E+0 -> -1
153 comx148 compare 8.0 90E-1 -> -1
154 comx149 compare 8 0.9E+1 -> -1
155 comx150 compare 8 90E-1 -> -1
157 -- and again, with sign changes -+ ..
158 comx200 compare -7.0 7.0 -> -1
159 comx201 compare -7.0 7 -> -1
160 comx202 compare -7 7.0 -> -1
161 comx203 compare -7E+0 7.0 -> -1
162 comx204 compare -70E-1 7.0 -> -1
163 comx205 compare -0.7E+1 7 -> -1
164 comx206 compare -70E-1 7 -> -1
165 comx207 compare -7.0 7E+0 -> -1
166 comx208 compare -7.0 70E-1 -> -1
167 comx209 compare -7 0.7E+1 -> -1
168 comx210 compare -7 70E-1 -> -1
170 comx220 compare -8.0 7.0 -> -1
171 comx221 compare -8.0 7 -> -1
172 comx222 compare -8 7.0 -> -1
173 comx223 compare -8E+0 7.0 -> -1
174 comx224 compare -80E-1 7.0 -> -1
175 comx225 compare -0.8E+1 7 -> -1
176 comx226 compare -80E-1 7 -> -1
177 comx227 compare -8.0 7E+0 -> -1
178 comx228 compare -8.0 70E-1 -> -1
179 comx229 compare -8 0.7E+1 -> -1
180 comx230 compare -8 70E-1 -> -1
182 comx240 compare -8.0 9.0 -> -1
183 comx241 compare -8.0 9 -> -1
184 comx242 compare -8 9.0 -> -1
185 comx243 compare -8E+0 9.0 -> -1
186 comx244 compare -80E-1 9.0 -> -1
187 comx245 compare -0.8E+1 9 -> -1
188 comx246 compare -80E-1 9 -> -1
189 comx247 compare -8.0 9E+0 -> -1
190 comx248 compare -8.0 90E-1 -> -1
191 comx249 compare -8 0.9E+1 -> -1
192 comx250 compare -8 90E-1 -> -1
194 -- and again, with sign changes +- ..
195 comx300 compare 7.0 -7.0 -> 1
196 comx301 compare 7.0 -7 -> 1
197 comx302 compare 7 -7.0 -> 1
198 comx303 compare 7E+0 -7.0 -> 1
199 comx304 compare 70E-1 -7.0 -> 1
200 comx305 compare .7E+1 -7 -> 1
201 comx306 compare 70E-1 -7 -> 1
202 comx307 compare 7.0 -7E+0 -> 1
203 comx308 compare 7.0 -70E-1 -> 1
204 comx309 compare 7 -.7E+1 -> 1
205 comx310 compare 7 -70E-1 -> 1
207 comx320 compare 8.0 -7.0 -> 1
208 comx321 compare 8.0 -7 -> 1
209 comx322 compare 8 -7.0 -> 1
210 comx323 compare 8E+0 -7.0 -> 1
211 comx324 compare 80E-1 -7.0 -> 1
212 comx325 compare .8E+1 -7 -> 1
213 comx326 compare 80E-1 -7 -> 1
214 comx327 compare 8.0 -7E+0 -> 1
215 comx328 compare 8.0 -70E-1 -> 1
216 comx329 compare 8 -.7E+1 -> 1
217 comx330 compare 8 -70E-1 -> 1
219 comx340 compare 8.0 -9.0 -> 1
220 comx341 compare 8.0 -9 -> 1
221 comx342 compare 8 -9.0 -> 1
222 comx343 compare 8E+0 -9.0 -> 1
223 comx344 compare 80E-1 -9.0 -> 1
224 comx345 compare .8E+1 -9 -> 1
225 comx346 compare 80E-1 -9 -> 1
226 comx347 compare 8.0 -9E+0 -> 1
227 comx348 compare 8.0 -90E-1 -> 1
228 comx349 compare 8 -.9E+1 -> 1
229 comx350 compare 8 -90E-1 -> 1
231 -- and again, with sign changes -- ..
232 comx400 compare -7.0 -7.0 -> 0
233 comx401 compare -7.0 -7 -> 0
234 comx402 compare -7 -7.0 -> 0
235 comx403 compare -7E+0 -7.0 -> 0
236 comx404 compare -70E-1 -7.0 -> 0
237 comx405 compare -.7E+1 -7 -> 0
238 comx406 compare -70E-1 -7 -> 0
239 comx407 compare -7.0 -7E+0 -> 0
240 comx408 compare -7.0 -70E-1 -> 0
241 comx409 compare -7 -.7E+1 -> 0
242 comx410 compare -7 -70E-1 -> 0
244 comx420 compare -8.0 -7.0 -> -1
245 comx421 compare -8.0 -7 -> -1
246 comx422 compare -8 -7.0 -> -1
247 comx423 compare -8E+0 -7.0 -> -1
248 comx424 compare -80E-1 -7.0 -> -1
249 comx425 compare -.8E+1 -7 -> -1
250 comx426 compare -80E-1 -7 -> -1
251 comx427 compare -8.0 -7E+0 -> -1
252 comx428 compare -8.0 -70E-1 -> -1
253 comx429 compare -8 -.7E+1 -> -1
254 comx430 compare -8 -70E-1 -> -1
256 comx440 compare -8.0 -9.0 -> 1
257 comx441 compare -8.0 -9 -> 1
258 comx442 compare -8 -9.0 -> 1
259 comx443 compare -8E+0 -9.0 -> 1
260 comx444 compare -80E-1 -9.0 -> 1
261 comx445 compare -.8E+1 -9 -> 1
262 comx446 compare -80E-1 -9 -> 1
263 comx447 compare -8.0 -9E+0 -> 1
264 comx448 compare -8.0 -90E-1 -> 1
265 comx449 compare -8 -.9E+1 -> 1
266 comx450 compare -8 -90E-1 -> 1
268 -- misalignment traps for little-endian
269 comx451 compare 1.0 0.1 -> 1
270 comx452 compare 0.1 1.0 -> -1
271 comx453 compare 10.0 0.1 -> 1
272 comx454 compare 0.1 10.0 -> -1
273 comx455 compare 100 1.0 -> 1
274 comx456 compare 1.0 100 -> -1
275 comx457 compare 1000 10.0 -> 1
276 comx458 compare 10.0 1000 -> -1
277 comx459 compare 10000 100.0 -> 1
278 comx460 compare 100.0 10000 -> -1
279 comx461 compare 100000 1000.0 -> 1
280 comx462 compare 1000.0 100000 -> -1
281 comx463 compare 1000000 10000.0 -> 1
282 comx464 compare 10000.0 1000000 -> -1
284 -- testcases that subtract to lots of zeros at boundaries [pgr]
286 comx470 compare 123.4560000000000000E789 123.456E789 -> 0
287 comx471 compare 123.456000000000000E-89 123.456E-89 -> 0
288 comx472 compare 123.45600000000000E789 123.456E789 -> 0
289 comx473 compare 123.4560000000000E-89 123.456E-89 -> 0
290 comx474 compare 123.456000000000E789 123.456E789 -> 0
291 comx475 compare 123.45600000000E-89 123.456E-89 -> 0
292 comx476 compare 123.4560000000E789 123.456E789 -> 0
293 comx477 compare 123.456000000E-89 123.456E-89 -> 0
294 comx478 compare 123.45600000E789 123.456E789 -> 0
295 comx479 compare 123.4560000E-89 123.456E-89 -> 0
296 comx480 compare 123.456000E789 123.456E789 -> 0
297 comx481 compare 123.45600E-89 123.456E-89 -> 0
298 comx482 compare 123.4560E789 123.456E789 -> 0
299 comx483 compare 123.456E-89 123.456E-89 -> 0
300 comx484 compare 123.456E-89 123.4560000000000000E-89 -> 0
301 comx485 compare 123.456E789 123.456000000000000E789 -> 0
302 comx486 compare 123.456E-89 123.45600000000000E-89 -> 0
303 comx487 compare 123.456E789 123.4560000000000E789 -> 0
304 comx488 compare 123.456E-89 123.456000000000E-89 -> 0
305 comx489 compare 123.456E789 123.45600000000E789 -> 0
306 comx490 compare 123.456E-89 123.4560000000E-89 -> 0
307 comx491 compare 123.456E789 123.456000000E789 -> 0
308 comx492 compare 123.456E-89 123.45600000E-89 -> 0
309 comx493 compare 123.456E789 123.4560000E789 -> 0
310 comx494 compare 123.456E-89 123.456000E-89 -> 0
311 comx495 compare 123.456E789 123.45600E789 -> 0
312 comx496 compare 123.456E-89 123.4560E-89 -> 0
313 comx497 compare 123.456E789 123.456E789 -> 0
315 -- wide-ranging, around precision; signs equal
317 comx500 compare 1 1E-15 -> 1
318 comx501 compare 1 1E-14 -> 1
319 comx502 compare 1 1E-13 -> 1
320 comx503 compare 1 1E-12 -> 1
321 comx504 compare 1 1E-11 -> 1
322 comx505 compare 1 1E-10 -> 1
323 comx506 compare 1 1E-9 -> 1
324 comx507 compare 1 1E-8 -> 1
325 comx508 compare 1 1E-7 -> 1
326 comx509 compare 1 1E-6 -> 1
327 comx510 compare 1 1E-5 -> 1
328 comx511 compare 1 1E-4 -> 1
329 comx512 compare 1 1E-3 -> 1
330 comx513 compare 1 1E-2 -> 1
331 comx514 compare 1 1E-1 -> 1
332 comx515 compare 1 1E-0 -> 0
333 comx516 compare 1 1E+1 -> -1
334 comx517 compare 1 1E+2 -> -1
335 comx518 compare 1 1E+3 -> -1
336 comx519 compare 1 1E+4 -> -1
337 comx521 compare 1 1E+5 -> -1
338 comx522 compare 1 1E+6 -> -1
339 comx523 compare 1 1E+7 -> -1
340 comx524 compare 1 1E+8 -> -1
341 comx525 compare 1 1E+9 -> -1
342 comx526 compare 1 1E+10 -> -1
343 comx527 compare 1 1E+11 -> -1
344 comx528 compare 1 1E+12 -> -1
345 comx529 compare 1 1E+13 -> -1
346 comx530 compare 1 1E+14 -> -1
347 comx531 compare 1 1E+15 -> -1
349 comx540 compare 1E-15 1 -> -1
350 comx541 compare 1E-14 1 -> -1
351 comx542 compare 1E-13 1 -> -1
352 comx543 compare 1E-12 1 -> -1
353 comx544 compare 1E-11 1 -> -1
354 comx545 compare 1E-10 1 -> -1
355 comx546 compare 1E-9 1 -> -1
356 comx547 compare 1E-8 1 -> -1
357 comx548 compare 1E-7 1 -> -1
358 comx549 compare 1E-6 1 -> -1
359 comx550 compare 1E-5 1 -> -1
360 comx551 compare 1E-4 1 -> -1
361 comx552 compare 1E-3 1 -> -1
362 comx553 compare 1E-2 1 -> -1
363 comx554 compare 1E-1 1 -> -1
364 comx555 compare 1E-0 1 -> 0
365 comx556 compare 1E+1 1 -> 1
366 comx557 compare 1E+2 1 -> 1
367 comx558 compare 1E+3 1 -> 1
368 comx559 compare 1E+4 1 -> 1
369 comx561 compare 1E+5 1 -> 1
370 comx562 compare 1E+6 1 -> 1
371 comx563 compare 1E+7 1 -> 1
372 comx564 compare 1E+8 1 -> 1
373 comx565 compare 1E+9 1 -> 1
374 comx566 compare 1E+10 1 -> 1
375 comx567 compare 1E+11 1 -> 1
376 comx568 compare 1E+12 1 -> 1
377 comx569 compare 1E+13 1 -> 1
378 comx570 compare 1E+14 1 -> 1
379 comx571 compare 1E+15 1 -> 1
380 -- similar with a useful coefficient, one side only
381 comx580 compare 0.000000987654321 1E-15 -> 1
382 comx581 compare 0.000000987654321 1E-14 -> 1
383 comx582 compare 0.000000987654321 1E-13 -> 1
384 comx583 compare 0.000000987654321 1E-12 -> 1
385 comx584 compare 0.000000987654321 1E-11 -> 1
386 comx585 compare 0.000000987654321 1E-10 -> 1
387 comx586 compare 0.000000987654321 1E-9 -> 1
388 comx587 compare 0.000000987654321 1E-8 -> 1
389 comx588 compare 0.000000987654321 1E-7 -> 1
390 comx589 compare 0.000000987654321 1E-6 -> -1
391 comx590 compare 0.000000987654321 1E-5 -> -1
392 comx591 compare 0.000000987654321 1E-4 -> -1
393 comx592 compare 0.000000987654321 1E-3 -> -1
394 comx593 compare 0.000000987654321 1E-2 -> -1
395 comx594 compare 0.000000987654321 1E-1 -> -1
396 comx595 compare 0.000000987654321 1E-0 -> -1
397 comx596 compare 0.000000987654321 1E+1 -> -1
398 comx597 compare 0.000000987654321 1E+2 -> -1
399 comx598 compare 0.000000987654321 1E+3 -> -1
400 comx599 compare 0.000000987654321 1E+4 -> -1
402 -- check some unit-y traps
404 comx600 compare 12 12.2345 -> -1
405 comx601 compare 12.0 12.2345 -> -1
406 comx602 compare 12.00 12.2345 -> -1
407 comx603 compare 12.000 12.2345 -> -1
408 comx604 compare 12.0000 12.2345 -> -1
409 comx605 compare 12.00000 12.2345 -> -1
410 comx606 compare 12.000000 12.2345 -> -1
411 comx607 compare 12.0000000 12.2345 -> -1
412 comx608 compare 12.00000000 12.2345 -> -1
413 comx609 compare 12.000000000 12.2345 -> -1
414 comx610 compare 12.1234 12 -> 1
415 comx611 compare 12.1234 12.0 -> 1
416 comx612 compare 12.1234 12.00 -> 1
417 comx613 compare 12.1234 12.000 -> 1
418 comx614 compare 12.1234 12.0000 -> 1
419 comx615 compare 12.1234 12.00000 -> 1
420 comx616 compare 12.1234 12.000000 -> 1
421 comx617 compare 12.1234 12.0000000 -> 1
422 comx618 compare 12.1234 12.00000000 -> 1
423 comx619 compare 12.1234 12.000000000 -> 1
424 comx620 compare -12 -12.2345 -> 1
425 comx621 compare -12.0 -12.2345 -> 1
426 comx622 compare -12.00 -12.2345 -> 1
427 comx623 compare -12.000 -12.2345 -> 1
428 comx624 compare -12.0000 -12.2345 -> 1
429 comx625 compare -12.00000 -12.2345 -> 1
430 comx626 compare -12.000000 -12.2345 -> 1
431 comx627 compare -12.0000000 -12.2345 -> 1
432 comx628 compare -12.00000000 -12.2345 -> 1
433 comx629 compare -12.000000000 -12.2345 -> 1
434 comx630 compare -12.1234 -12 -> -1
435 comx631 compare -12.1234 -12.0 -> -1
436 comx632 compare -12.1234 -12.00 -> -1
437 comx633 compare -12.1234 -12.000 -> -1
438 comx634 compare -12.1234 -12.0000 -> -1
439 comx635 compare -12.1234 -12.00000 -> -1
440 comx636 compare -12.1234 -12.000000 -> -1
441 comx637 compare -12.1234 -12.0000000 -> -1
442 comx638 compare -12.1234 -12.00000000 -> -1
443 comx639 compare -12.1234 -12.000000000 -> -1
447 comx640 compare 0 0 -> 0
448 comx641 compare 0 -0 -> 0
449 comx642 compare 0 -0.0 -> 0
450 comx643 compare 0 0.0 -> 0
451 comx644 compare -0 0 -> 0
452 comx645 compare -0 -0 -> 0
453 comx646 compare -0 -0.0 -> 0
454 comx647 compare -0 0.0 -> 0
455 comx648 compare 0.0 0 -> 0
456 comx649 compare 0.0 -0 -> 0
457 comx650 compare 0.0 -0.0 -> 0
458 comx651 compare 0.0 0.0 -> 0
459 comx652 compare -0.0 0 -> 0
460 comx653 compare -0.0 -0 -> 0
461 comx654 compare -0.0 -0.0 -> 0
462 comx655 compare -0.0 0.0 -> 0
464 comx656 compare -0E1 0.0 -> 0
465 comx657 compare -0E2 0.0 -> 0
466 comx658 compare 0E1 0.0 -> 0
467 comx659 compare 0E2 0.0 -> 0
468 comx660 compare -0E1 0 -> 0
469 comx661 compare -0E2 0 -> 0
470 comx662 compare 0E1 0 -> 0
471 comx663 compare 0E2 0 -> 0
472 comx664 compare -0E1 -0E1 -> 0
473 comx665 compare -0E2 -0E1 -> 0
474 comx666 compare 0E1 -0E1 -> 0
475 comx667 compare 0E2 -0E1 -> 0
476 comx668 compare -0E1 -0E2 -> 0
477 comx669 compare -0E2 -0E2 -> 0
478 comx670 compare 0E1 -0E2 -> 0
479 comx671 compare 0E2 -0E2 -> 0
480 comx672 compare -0E1 0E1 -> 0
481 comx673 compare -0E2 0E1 -> 0
482 comx674 compare 0E1 0E1 -> 0
483 comx675 compare 0E2 0E1 -> 0
484 comx676 compare -0E1 0E2 -> 0
485 comx677 compare -0E2 0E2 -> 0
486 comx678 compare 0E1 0E2 -> 0
487 comx679 compare 0E2 0E2 -> 0
489 -- trailing zeros; unit-y
491 comx680 compare 12 12 -> 0
492 comx681 compare 12 12.0 -> 0
493 comx682 compare 12 12.00 -> 0
494 comx683 compare 12 12.000 -> 0
495 comx684 compare 12 12.0000 -> 0
496 comx685 compare 12 12.00000 -> 0
497 comx686 compare 12 12.000000 -> 0
498 comx687 compare 12 12.0000000 -> 0
499 comx688 compare 12 12.00000000 -> 0
500 comx689 compare 12 12.000000000 -> 0
501 comx690 compare 12 12 -> 0
502 comx691 compare 12.0 12 -> 0
503 comx692 compare 12.00 12 -> 0
504 comx693 compare 12.000 12 -> 0
505 comx694 compare 12.0000 12 -> 0
506 comx695 compare 12.00000 12 -> 0
507 comx696 compare 12.000000 12 -> 0
508 comx697 compare 12.0000000 12 -> 0
509 comx698 compare 12.00000000 12 -> 0
510 comx699 compare 12.000000000 12 -> 0
512 -- long operand checks
516 comx701 compare 12345678000 1 -> 1
517 comx702 compare 1 12345678000 -> -1
518 comx703 compare 1234567800 1 -> 1
519 comx704 compare 1 1234567800 -> -1
520 comx705 compare 1234567890 1 -> 1
521 comx706 compare 1 1234567890 -> -1
522 comx707 compare 1234567891 1 -> 1
523 comx708 compare 1 1234567891 -> -1
524 comx709 compare 12345678901 1 -> 1
525 comx710 compare 1 12345678901 -> -1
526 comx711 compare 1234567896 1 -> 1
527 comx712 compare 1 1234567896 -> -1
528 comx713 compare -1234567891 1 -> -1
529 comx714 compare 1 -1234567891 -> 1
530 comx715 compare -12345678901 1 -> -1
531 comx716 compare 1 -12345678901 -> 1
532 comx717 compare -1234567896 1 -> -1
533 comx718 compare 1 -1234567896 -> 1
536 -- same with plenty of precision
537 comx721 compare 12345678000 1 -> 1
538 comx722 compare 1 12345678000 -> -1
539 comx723 compare 1234567800 1 -> 1
540 comx724 compare 1 1234567800 -> -1
541 comx725 compare 1234567890 1 -> 1
542 comx726 compare 1 1234567890 -> -1
543 comx727 compare 1234567891 1 -> 1
544 comx728 compare 1 1234567891 -> -1
545 comx729 compare 12345678901 1 -> 1
546 comx730 compare 1 12345678901 -> -1
547 comx731 compare 1234567896 1 -> 1
548 comx732 compare 1 1234567896 -> -1
552 comx740 compare 1 0.9999999 -> 1
553 comx741 compare 1 0.999999 -> 1
554 comx742 compare 1 0.99999 -> 1
555 comx743 compare 1 1.0000 -> 0
556 comx744 compare 1 1.00001 -> -1
557 comx745 compare 1 1.000001 -> -1
558 comx746 compare 1 1.0000001 -> -1
559 comx750 compare 0.9999999 1 -> -1
560 comx751 compare 0.999999 1 -> -1
561 comx752 compare 0.99999 1 -> -1
562 comx753 compare 1.0000 1 -> 0
563 comx754 compare 1.00001 1 -> 1
564 comx755 compare 1.000001 1 -> 1
565 comx756 compare 1.0000001 1 -> 1
567 -- a selection of longies
568 comx760 compare -36852134.84194296250843579428931 -5830629.8347085025808756560357940 -> -1
569 comx761 compare -36852134.84194296250843579428931 -36852134.84194296250843579428931 -> 0
570 comx762 compare -36852134.94194296250843579428931 -36852134.84194296250843579428931 -> -1
571 comx763 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
572 -- precisions above or below the difference should have no effect
574 comx764 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
576 comx765 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
578 comx766 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
580 comx767 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
582 comx768 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
584 comx769 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
586 comx770 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
588 comx771 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
590 comx772 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
592 comx773 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
594 comx774 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
598 comx780 compare Inf -Inf -> 1
599 comx781 compare Inf -1000 -> 1
600 comx782 compare Inf -1 -> 1
601 comx783 compare Inf -0 -> 1
602 comx784 compare Inf 0 -> 1
603 comx785 compare Inf 1 -> 1
604 comx786 compare Inf 1000 -> 1
605 comx787 compare Inf Inf -> 0
606 comx788 compare -1000 Inf -> -1
607 comx789 compare -Inf Inf -> -1
608 comx790 compare -1 Inf -> -1
609 comx791 compare -0 Inf -> -1
610 comx792 compare 0 Inf -> -1
611 comx793 compare 1 Inf -> -1
612 comx794 compare 1000 Inf -> -1
613 comx795 compare Inf Inf -> 0
615 comx800 compare -Inf -Inf -> 0
616 comx801 compare -Inf -1000 -> -1
617 comx802 compare -Inf -1 -> -1
618 comx803 compare -Inf -0 -> -1
619 comx804 compare -Inf 0 -> -1
620 comx805 compare -Inf 1 -> -1
621 comx806 compare -Inf 1000 -> -1
622 comx807 compare -Inf Inf -> -1
623 comx808 compare -Inf -Inf -> 0
624 comx809 compare -1000 -Inf -> 1
625 comx810 compare -1 -Inf -> 1
626 comx811 compare -0 -Inf -> 1
627 comx812 compare 0 -Inf -> 1
628 comx813 compare 1 -Inf -> 1
629 comx814 compare 1000 -Inf -> 1
630 comx815 compare Inf -Inf -> 1
632 comx821 compare NaN -Inf -> NaN
633 comx822 compare NaN -1000 -> NaN
634 comx823 compare NaN -1 -> NaN
635 comx824 compare NaN -0 -> NaN
636 comx825 compare NaN 0 -> NaN
637 comx826 compare NaN 1 -> NaN
638 comx827 compare NaN 1000 -> NaN
639 comx828 compare NaN Inf -> NaN
640 comx829 compare NaN NaN -> NaN
641 comx830 compare -Inf NaN -> NaN
642 comx831 compare -1000 NaN -> NaN
643 comx832 compare -1 NaN -> NaN
644 comx833 compare -0 NaN -> NaN
645 comx834 compare 0 NaN -> NaN
646 comx835 compare 1 NaN -> NaN
647 comx836 compare 1000 NaN -> NaN
648 comx837 compare Inf NaN -> NaN
649 comx838 compare -NaN -NaN -> -NaN
650 comx839 compare +NaN -NaN -> NaN
651 comx840 compare -NaN +NaN -> -NaN
653 comx841 compare sNaN -Inf -> NaN Invalid_operation
654 comx842 compare sNaN -1000 -> NaN Invalid_operation
655 comx843 compare sNaN -1 -> NaN Invalid_operation
656 comx844 compare sNaN -0 -> NaN Invalid_operation
657 comx845 compare sNaN 0 -> NaN Invalid_operation
658 comx846 compare sNaN 1 -> NaN Invalid_operation
659 comx847 compare sNaN 1000 -> NaN Invalid_operation
660 comx848 compare sNaN NaN -> NaN Invalid_operation
661 comx849 compare sNaN sNaN -> NaN Invalid_operation
662 comx850 compare NaN sNaN -> NaN Invalid_operation
663 comx851 compare -Inf sNaN -> NaN Invalid_operation
664 comx852 compare -1000 sNaN -> NaN Invalid_operation
665 comx853 compare -1 sNaN -> NaN Invalid_operation
666 comx854 compare -0 sNaN -> NaN Invalid_operation
667 comx855 compare 0 sNaN -> NaN Invalid_operation
668 comx856 compare 1 sNaN -> NaN Invalid_operation
669 comx857 compare 1000 sNaN -> NaN Invalid_operation
670 comx858 compare Inf sNaN -> NaN Invalid_operation
671 comx859 compare NaN sNaN -> NaN Invalid_operation
674 comx860 compare NaN9 -Inf -> NaN9
675 comx861 compare NaN8 999 -> NaN8
676 comx862 compare NaN77 Inf -> NaN77
677 comx863 compare -NaN67 NaN5 -> -NaN67
678 comx864 compare -Inf -NaN4 -> -NaN4
679 comx865 compare -999 -NaN33 -> -NaN33
680 comx866 compare Inf NaN2 -> NaN2
681 comx867 compare -NaN41 -NaN42 -> -NaN41
682 comx868 compare +NaN41 -NaN42 -> NaN41
683 comx869 compare -NaN41 +NaN42 -> -NaN41
684 comx870 compare +NaN41 +NaN42 -> NaN41
686 comx871 compare -sNaN99 -Inf -> -NaN99 Invalid_operation
687 comx872 compare sNaN98 -11 -> NaN98 Invalid_operation
688 comx873 compare sNaN97 NaN -> NaN97 Invalid_operation
689 comx874 compare sNaN16 sNaN94 -> NaN16 Invalid_operation
690 comx875 compare NaN85 sNaN83 -> NaN83 Invalid_operation
691 comx876 compare -Inf sNaN92 -> NaN92 Invalid_operation
692 comx877 compare 088 sNaN81 -> NaN81 Invalid_operation
693 comx878 compare Inf sNaN90 -> NaN90 Invalid_operation
694 comx879 compare NaN -sNaN89 -> -NaN89 Invalid_operation
696 -- overflow and underflow tests .. subnormal results now allowed
697 maxExponent: 999999999
698 minexponent: -999999999
699 comx880 compare +1.23456789012345E-0 9E+999999999 -> -1
700 comx881 compare 9E+999999999 +1.23456789012345E-0 -> 1
701 comx882 compare +0.100 9E-999999999 -> 1
702 comx883 compare 9E-999999999 +0.100 -> -1
703 comx885 compare -1.23456789012345E-0 9E+999999999 -> -1
704 comx886 compare 9E+999999999 -1.23456789012345E-0 -> 1
705 comx887 compare -0.100 9E-999999999 -> -1
706 comx888 compare 9E-999999999 -0.100 -> 1
708 comx889 compare 1e-599999999 1e-400000001 -> -1
709 comx890 compare 1e-599999999 1e-400000000 -> -1
710 comx891 compare 1e-600000000 1e-400000000 -> -1
711 comx892 compare 9e-999999998 0.01 -> -1
712 comx893 compare 9e-999999998 0.1 -> -1
713 comx894 compare 0.01 9e-999999998 -> 1
714 comx895 compare 1e599999999 1e400000001 -> 1
715 comx896 compare 1e599999999 1e400000000 -> 1
716 comx897 compare 1e600000000 1e400000000 -> 1
717 comx898 compare 9e999999998 100 -> 1
718 comx899 compare 9e999999998 10 -> 1
719 comx900 compare 100 9e999999998 -> -1
721 comx901 compare 1e+777777777 1e+411111111 -> 1
722 comx902 compare 1e+777777777 -1e+411111111 -> 1
723 comx903 compare -1e+777777777 1e+411111111 -> -1
724 comx904 compare -1e+777777777 -1e+411111111 -> -1
725 comx905 compare 1e-777777777 1e-411111111 -> -1
726 comx906 compare 1e-777777777 -1e-411111111 -> 1
727 comx907 compare -1e-777777777 1e-411111111 -> -1
728 comx908 compare -1e-777777777 -1e-411111111 -> 1
731 comx910 compare 0E-383 0 -> 0
732 comx911 compare 0E-383 -0 -> 0
733 comx912 compare -0E-383 0 -> 0
734 comx913 compare -0E-383 -0 -> 0
735 comx914 compare 0E-383 0E+384 -> 0
736 comx915 compare 0E-383 -0E+384 -> 0
737 comx916 compare -0E-383 0E+384 -> 0
738 comx917 compare -0E-383 -0E+384 -> 0
739 comx918 compare 0 0E+384 -> 0
740 comx919 compare 0 -0E+384 -> 0
741 comx920 compare -0 0E+384 -> 0
742 comx921 compare -0 -0E+384 -> 0
743 comx930 compare 0E+384 0 -> 0
744 comx931 compare 0E+384 -0 -> 0
745 comx932 compare -0E+384 0 -> 0
746 comx933 compare -0E+384 -0 -> 0
747 comx934 compare 0E+384 0E-383 -> 0
748 comx935 compare 0E+384 -0E-383 -> 0
749 comx936 compare -0E+384 0E-383 -> 0
750 comx937 compare -0E+384 -0E-383 -> 0
751 comx938 compare 0 0E-383 -> 0
752 comx939 compare 0 -0E-383 -> 0
753 comx940 compare -0 0E-383 -> 0
754 comx941 compare -0 -0E-383 -> 0
757 comx990 compare 10 # -> NaN Invalid_operation
758 comx991 compare # 10 -> NaN Invalid_operation
projects / l4.git / blob