| ------------------------------------------------------------------------ |
| -- compare.decTest -- decimal comparison that allows quiet NaNs -- |
| -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
| ------------------------------------------------------------------------ |
| -- Please see the document "General Decimal Arithmetic Testcases" -- |
| -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| -- these testcases. -- |
| -- -- |
| -- These testcases are experimental ('beta' versions), and they -- |
| -- may contain errors. They are offered on an as-is basis. In -- |
| -- particular, achieving the same results as the tests here is not -- |
| -- a guarantee that an implementation complies with any Standard -- |
| -- or specification. The tests are not exhaustive. -- |
| -- -- |
| -- Please send comments, suggestions, and corrections to the author: -- |
| -- Mike Cowlishaw, IBM Fellow -- |
| -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| -- mfc@uk.ibm.com -- |
| ------------------------------------------------------------------------ |
| version: 2.59 |
| |
| -- Note that we cannot assume add/subtract tests cover paths adequately, |
| -- here, because the code might be quite different (comparison cannot |
| -- overflow or underflow, so actual subtractions are not necessary). |
| |
| extended: 1 |
| |
| precision: 9 |
| rounding: half_up |
| maxExponent: 999 |
| minexponent: -999 |
| |
| -- sanity checks |
| comx001 compare -2 -2 -> 0 |
| comx002 compare -2 -1 -> -1 |
| comx003 compare -2 0 -> -1 |
| comx004 compare -2 1 -> -1 |
| comx005 compare -2 2 -> -1 |
| comx006 compare -1 -2 -> 1 |
| comx007 compare -1 -1 -> 0 |
| comx008 compare -1 0 -> -1 |
| comx009 compare -1 1 -> -1 |
| comx010 compare -1 2 -> -1 |
| comx011 compare 0 -2 -> 1 |
| comx012 compare 0 -1 -> 1 |
| comx013 compare 0 0 -> 0 |
| comx014 compare 0 1 -> -1 |
| comx015 compare 0 2 -> -1 |
| comx016 compare 1 -2 -> 1 |
| comx017 compare 1 -1 -> 1 |
| comx018 compare 1 0 -> 1 |
| comx019 compare 1 1 -> 0 |
| comx020 compare 1 2 -> -1 |
| comx021 compare 2 -2 -> 1 |
| comx022 compare 2 -1 -> 1 |
| comx023 compare 2 0 -> 1 |
| comx025 compare 2 1 -> 1 |
| comx026 compare 2 2 -> 0 |
| |
| comx031 compare -20 -20 -> 0 |
| comx032 compare -20 -10 -> -1 |
| comx033 compare -20 00 -> -1 |
| comx034 compare -20 10 -> -1 |
| comx035 compare -20 20 -> -1 |
| comx036 compare -10 -20 -> 1 |
| comx037 compare -10 -10 -> 0 |
| comx038 compare -10 00 -> -1 |
| comx039 compare -10 10 -> -1 |
| comx040 compare -10 20 -> -1 |
| comx041 compare 00 -20 -> 1 |
| comx042 compare 00 -10 -> 1 |
| comx043 compare 00 00 -> 0 |
| comx044 compare 00 10 -> -1 |
| comx045 compare 00 20 -> -1 |
| comx046 compare 10 -20 -> 1 |
| comx047 compare 10 -10 -> 1 |
| comx048 compare 10 00 -> 1 |
| comx049 compare 10 10 -> 0 |
| comx050 compare 10 20 -> -1 |
| comx051 compare 20 -20 -> 1 |
| comx052 compare 20 -10 -> 1 |
| comx053 compare 20 00 -> 1 |
| comx055 compare 20 10 -> 1 |
| comx056 compare 20 20 -> 0 |
| |
| comx061 compare -2.0 -2.0 -> 0 |
| comx062 compare -2.0 -1.0 -> -1 |
| comx063 compare -2.0 0.0 -> -1 |
| comx064 compare -2.0 1.0 -> -1 |
| comx065 compare -2.0 2.0 -> -1 |
| comx066 compare -1.0 -2.0 -> 1 |
| comx067 compare -1.0 -1.0 -> 0 |
| comx068 compare -1.0 0.0 -> -1 |
| comx069 compare -1.0 1.0 -> -1 |
| comx070 compare -1.0 2.0 -> -1 |
| comx071 compare 0.0 -2.0 -> 1 |
| comx072 compare 0.0 -1.0 -> 1 |
| comx073 compare 0.0 0.0 -> 0 |
| comx074 compare 0.0 1.0 -> -1 |
| comx075 compare 0.0 2.0 -> -1 |
| comx076 compare 1.0 -2.0 -> 1 |
| comx077 compare 1.0 -1.0 -> 1 |
| comx078 compare 1.0 0.0 -> 1 |
| comx079 compare 1.0 1.0 -> 0 |
| comx080 compare 1.0 2.0 -> -1 |
| comx081 compare 2.0 -2.0 -> 1 |
| comx082 compare 2.0 -1.0 -> 1 |
| comx083 compare 2.0 0.0 -> 1 |
| comx085 compare 2.0 1.0 -> 1 |
| comx086 compare 2.0 2.0 -> 0 |
| |
| -- now some cases which might overflow if subtract were used |
| maxexponent: 999999999 |
| minexponent: -999999999 |
| comx095 compare 9.99999999E+999999999 9.99999999E+999999999 -> 0 |
| comx096 compare -9.99999999E+999999999 9.99999999E+999999999 -> -1 |
| comx097 compare 9.99999999E+999999999 -9.99999999E+999999999 -> 1 |
| comx098 compare -9.99999999E+999999999 -9.99999999E+999999999 -> 0 |
| |
| -- some differing length/exponent cases |
| comx100 compare 7.0 7.0 -> 0 |
| comx101 compare 7.0 7 -> 0 |
| comx102 compare 7 7.0 -> 0 |
| comx103 compare 7E+0 7.0 -> 0 |
| comx104 compare 70E-1 7.0 -> 0 |
| comx105 compare 0.7E+1 7 -> 0 |
| comx106 compare 70E-1 7 -> 0 |
| comx107 compare 7.0 7E+0 -> 0 |
| comx108 compare 7.0 70E-1 -> 0 |
| comx109 compare 7 0.7E+1 -> 0 |
| comx110 compare 7 70E-1 -> 0 |
| |
| comx120 compare 8.0 7.0 -> 1 |
| comx121 compare 8.0 7 -> 1 |
| comx122 compare 8 7.0 -> 1 |
| comx123 compare 8E+0 7.0 -> 1 |
| comx124 compare 80E-1 7.0 -> 1 |
| comx125 compare 0.8E+1 7 -> 1 |
| comx126 compare 80E-1 7 -> 1 |
| comx127 compare 8.0 7E+0 -> 1 |
| comx128 compare 8.0 70E-1 -> 1 |
| comx129 compare 8 0.7E+1 -> 1 |
| comx130 compare 8 70E-1 -> 1 |
| |
| comx140 compare 8.0 9.0 -> -1 |
| comx141 compare 8.0 9 -> -1 |
| comx142 compare 8 9.0 -> -1 |
| comx143 compare 8E+0 9.0 -> -1 |
| comx144 compare 80E-1 9.0 -> -1 |
| comx145 compare 0.8E+1 9 -> -1 |
| comx146 compare 80E-1 9 -> -1 |
| comx147 compare 8.0 9E+0 -> -1 |
| comx148 compare 8.0 90E-1 -> -1 |
| comx149 compare 8 0.9E+1 -> -1 |
| comx150 compare 8 90E-1 -> -1 |
| |
| -- and again, with sign changes -+ .. |
| comx200 compare -7.0 7.0 -> -1 |
| comx201 compare -7.0 7 -> -1 |
| comx202 compare -7 7.0 -> -1 |
| comx203 compare -7E+0 7.0 -> -1 |
| comx204 compare -70E-1 7.0 -> -1 |
| comx205 compare -0.7E+1 7 -> -1 |
| comx206 compare -70E-1 7 -> -1 |
| comx207 compare -7.0 7E+0 -> -1 |
| comx208 compare -7.0 70E-1 -> -1 |
| comx209 compare -7 0.7E+1 -> -1 |
| comx210 compare -7 70E-1 -> -1 |
| |
| comx220 compare -8.0 7.0 -> -1 |
| comx221 compare -8.0 7 -> -1 |
| comx222 compare -8 7.0 -> -1 |
| comx223 compare -8E+0 7.0 -> -1 |
| comx224 compare -80E-1 7.0 -> -1 |
| comx225 compare -0.8E+1 7 -> -1 |
| comx226 compare -80E-1 7 -> -1 |
| comx227 compare -8.0 7E+0 -> -1 |
| comx228 compare -8.0 70E-1 -> -1 |
| comx229 compare -8 0.7E+1 -> -1 |
| comx230 compare -8 70E-1 -> -1 |
| |
| comx240 compare -8.0 9.0 -> -1 |
| comx241 compare -8.0 9 -> -1 |
| comx242 compare -8 9.0 -> -1 |
| comx243 compare -8E+0 9.0 -> -1 |
| comx244 compare -80E-1 9.0 -> -1 |
| comx245 compare -0.8E+1 9 -> -1 |
| comx246 compare -80E-1 9 -> -1 |
| comx247 compare -8.0 9E+0 -> -1 |
| comx248 compare -8.0 90E-1 -> -1 |
| comx249 compare -8 0.9E+1 -> -1 |
| comx250 compare -8 90E-1 -> -1 |
| |
| -- and again, with sign changes +- .. |
| comx300 compare 7.0 -7.0 -> 1 |
| comx301 compare 7.0 -7 -> 1 |
| comx302 compare 7 -7.0 -> 1 |
| comx303 compare 7E+0 -7.0 -> 1 |
| comx304 compare 70E-1 -7.0 -> 1 |
| comx305 compare .7E+1 -7 -> 1 |
| comx306 compare 70E-1 -7 -> 1 |
| comx307 compare 7.0 -7E+0 -> 1 |
| comx308 compare 7.0 -70E-1 -> 1 |
| comx309 compare 7 -.7E+1 -> 1 |
| comx310 compare 7 -70E-1 -> 1 |
| |
| comx320 compare 8.0 -7.0 -> 1 |
| comx321 compare 8.0 -7 -> 1 |
| comx322 compare 8 -7.0 -> 1 |
| comx323 compare 8E+0 -7.0 -> 1 |
| comx324 compare 80E-1 -7.0 -> 1 |
| comx325 compare .8E+1 -7 -> 1 |
| comx326 compare 80E-1 -7 -> 1 |
| comx327 compare 8.0 -7E+0 -> 1 |
| comx328 compare 8.0 -70E-1 -> 1 |
| comx329 compare 8 -.7E+1 -> 1 |
| comx330 compare 8 -70E-1 -> 1 |
| |
| comx340 compare 8.0 -9.0 -> 1 |
| comx341 compare 8.0 -9 -> 1 |
| comx342 compare 8 -9.0 -> 1 |
| comx343 compare 8E+0 -9.0 -> 1 |
| comx344 compare 80E-1 -9.0 -> 1 |
| comx345 compare .8E+1 -9 -> 1 |
| comx346 compare 80E-1 -9 -> 1 |
| comx347 compare 8.0 -9E+0 -> 1 |
| comx348 compare 8.0 -90E-1 -> 1 |
| comx349 compare 8 -.9E+1 -> 1 |
| comx350 compare 8 -90E-1 -> 1 |
| |
| -- and again, with sign changes -- .. |
| comx400 compare -7.0 -7.0 -> 0 |
| comx401 compare -7.0 -7 -> 0 |
| comx402 compare -7 -7.0 -> 0 |
| comx403 compare -7E+0 -7.0 -> 0 |
| comx404 compare -70E-1 -7.0 -> 0 |
| comx405 compare -.7E+1 -7 -> 0 |
| comx406 compare -70E-1 -7 -> 0 |
| comx407 compare -7.0 -7E+0 -> 0 |
| comx408 compare -7.0 -70E-1 -> 0 |
| comx409 compare -7 -.7E+1 -> 0 |
| comx410 compare -7 -70E-1 -> 0 |
| |
| comx420 compare -8.0 -7.0 -> -1 |
| comx421 compare -8.0 -7 -> -1 |
| comx422 compare -8 -7.0 -> -1 |
| comx423 compare -8E+0 -7.0 -> -1 |
| comx424 compare -80E-1 -7.0 -> -1 |
| comx425 compare -.8E+1 -7 -> -1 |
| comx426 compare -80E-1 -7 -> -1 |
| comx427 compare -8.0 -7E+0 -> -1 |
| comx428 compare -8.0 -70E-1 -> -1 |
| comx429 compare -8 -.7E+1 -> -1 |
| comx430 compare -8 -70E-1 -> -1 |
| |
| comx440 compare -8.0 -9.0 -> 1 |
| comx441 compare -8.0 -9 -> 1 |
| comx442 compare -8 -9.0 -> 1 |
| comx443 compare -8E+0 -9.0 -> 1 |
| comx444 compare -80E-1 -9.0 -> 1 |
| comx445 compare -.8E+1 -9 -> 1 |
| comx446 compare -80E-1 -9 -> 1 |
| comx447 compare -8.0 -9E+0 -> 1 |
| comx448 compare -8.0 -90E-1 -> 1 |
| comx449 compare -8 -.9E+1 -> 1 |
| comx450 compare -8 -90E-1 -> 1 |
| |
| -- misalignment traps for little-endian |
| comx451 compare 1.0 0.1 -> 1 |
| comx452 compare 0.1 1.0 -> -1 |
| comx453 compare 10.0 0.1 -> 1 |
| comx454 compare 0.1 10.0 -> -1 |
| comx455 compare 100 1.0 -> 1 |
| comx456 compare 1.0 100 -> -1 |
| comx457 compare 1000 10.0 -> 1 |
| comx458 compare 10.0 1000 -> -1 |
| comx459 compare 10000 100.0 -> 1 |
| comx460 compare 100.0 10000 -> -1 |
| comx461 compare 100000 1000.0 -> 1 |
| comx462 compare 1000.0 100000 -> -1 |
| comx463 compare 1000000 10000.0 -> 1 |
| comx464 compare 10000.0 1000000 -> -1 |
| |
| -- testcases that subtract to lots of zeros at boundaries [pgr] |
| precision: 40 |
| comx470 compare 123.4560000000000000E789 123.456E789 -> 0 |
| comx471 compare 123.456000000000000E-89 123.456E-89 -> 0 |
| comx472 compare 123.45600000000000E789 123.456E789 -> 0 |
| comx473 compare 123.4560000000000E-89 123.456E-89 -> 0 |
| comx474 compare 123.456000000000E789 123.456E789 -> 0 |
| comx475 compare 123.45600000000E-89 123.456E-89 -> 0 |
| comx476 compare 123.4560000000E789 123.456E789 -> 0 |
| comx477 compare 123.456000000E-89 123.456E-89 -> 0 |
| comx478 compare 123.45600000E789 123.456E789 -> 0 |
| comx479 compare 123.4560000E-89 123.456E-89 -> 0 |
| comx480 compare 123.456000E789 123.456E789 -> 0 |
| comx481 compare 123.45600E-89 123.456E-89 -> 0 |
| comx482 compare 123.4560E789 123.456E789 -> 0 |
| comx483 compare 123.456E-89 123.456E-89 -> 0 |
| comx484 compare 123.456E-89 123.4560000000000000E-89 -> 0 |
| comx485 compare 123.456E789 123.456000000000000E789 -> 0 |
| comx486 compare 123.456E-89 123.45600000000000E-89 -> 0 |
| comx487 compare 123.456E789 123.4560000000000E789 -> 0 |
| comx488 compare 123.456E-89 123.456000000000E-89 -> 0 |
| comx489 compare 123.456E789 123.45600000000E789 -> 0 |
| comx490 compare 123.456E-89 123.4560000000E-89 -> 0 |
| comx491 compare 123.456E789 123.456000000E789 -> 0 |
| comx492 compare 123.456E-89 123.45600000E-89 -> 0 |
| comx493 compare 123.456E789 123.4560000E789 -> 0 |
| comx494 compare 123.456E-89 123.456000E-89 -> 0 |
| comx495 compare 123.456E789 123.45600E789 -> 0 |
| comx496 compare 123.456E-89 123.4560E-89 -> 0 |
| comx497 compare 123.456E789 123.456E789 -> 0 |
| |
| -- wide-ranging, around precision; signs equal |
| precision: 9 |
| comx500 compare 1 1E-15 -> 1 |
| comx501 compare 1 1E-14 -> 1 |
| comx502 compare 1 1E-13 -> 1 |
| comx503 compare 1 1E-12 -> 1 |
| comx504 compare 1 1E-11 -> 1 |
| comx505 compare 1 1E-10 -> 1 |
| comx506 compare 1 1E-9 -> 1 |
| comx507 compare 1 1E-8 -> 1 |
| comx508 compare 1 1E-7 -> 1 |
| comx509 compare 1 1E-6 -> 1 |
| comx510 compare 1 1E-5 -> 1 |
| comx511 compare 1 1E-4 -> 1 |
| comx512 compare 1 1E-3 -> 1 |
| comx513 compare 1 1E-2 -> 1 |
| comx514 compare 1 1E-1 -> 1 |
| comx515 compare 1 1E-0 -> 0 |
| comx516 compare 1 1E+1 -> -1 |
| comx517 compare 1 1E+2 -> -1 |
| comx518 compare 1 1E+3 -> -1 |
| comx519 compare 1 1E+4 -> -1 |
| comx521 compare 1 1E+5 -> -1 |
| comx522 compare 1 1E+6 -> -1 |
| comx523 compare 1 1E+7 -> -1 |
| comx524 compare 1 1E+8 -> -1 |
| comx525 compare 1 1E+9 -> -1 |
| comx526 compare 1 1E+10 -> -1 |
| comx527 compare 1 1E+11 -> -1 |
| comx528 compare 1 1E+12 -> -1 |
| comx529 compare 1 1E+13 -> -1 |
| comx530 compare 1 1E+14 -> -1 |
| comx531 compare 1 1E+15 -> -1 |
| -- LR swap |
| comx540 compare 1E-15 1 -> -1 |
| comx541 compare 1E-14 1 -> -1 |
| comx542 compare 1E-13 1 -> -1 |
| comx543 compare 1E-12 1 -> -1 |
| comx544 compare 1E-11 1 -> -1 |
| comx545 compare 1E-10 1 -> -1 |
| comx546 compare 1E-9 1 -> -1 |
| comx547 compare 1E-8 1 -> -1 |
| comx548 compare 1E-7 1 -> -1 |
| comx549 compare 1E-6 1 -> -1 |
| comx550 compare 1E-5 1 -> -1 |
| comx551 compare 1E-4 1 -> -1 |
| comx552 compare 1E-3 1 -> -1 |
| comx553 compare 1E-2 1 -> -1 |
| comx554 compare 1E-1 1 -> -1 |
| comx555 compare 1E-0 1 -> 0 |
| comx556 compare 1E+1 1 -> 1 |
| comx557 compare 1E+2 1 -> 1 |
| comx558 compare 1E+3 1 -> 1 |
| comx559 compare 1E+4 1 -> 1 |
| comx561 compare 1E+5 1 -> 1 |
| comx562 compare 1E+6 1 -> 1 |
| comx563 compare 1E+7 1 -> 1 |
| comx564 compare 1E+8 1 -> 1 |
| comx565 compare 1E+9 1 -> 1 |
| comx566 compare 1E+10 1 -> 1 |
| comx567 compare 1E+11 1 -> 1 |
| comx568 compare 1E+12 1 -> 1 |
| comx569 compare 1E+13 1 -> 1 |
| comx570 compare 1E+14 1 -> 1 |
| comx571 compare 1E+15 1 -> 1 |
| -- similar with a useful coefficient, one side only |
| comx580 compare 0.000000987654321 1E-15 -> 1 |
| comx581 compare 0.000000987654321 1E-14 -> 1 |
| comx582 compare 0.000000987654321 1E-13 -> 1 |
| comx583 compare 0.000000987654321 1E-12 -> 1 |
| comx584 compare 0.000000987654321 1E-11 -> 1 |
| comx585 compare 0.000000987654321 1E-10 -> 1 |
| comx586 compare 0.000000987654321 1E-9 -> 1 |
| comx587 compare 0.000000987654321 1E-8 -> 1 |
| comx588 compare 0.000000987654321 1E-7 -> 1 |
| comx589 compare 0.000000987654321 1E-6 -> -1 |
| comx590 compare 0.000000987654321 1E-5 -> -1 |
| comx591 compare 0.000000987654321 1E-4 -> -1 |
| comx592 compare 0.000000987654321 1E-3 -> -1 |
| comx593 compare 0.000000987654321 1E-2 -> -1 |
| comx594 compare 0.000000987654321 1E-1 -> -1 |
| comx595 compare 0.000000987654321 1E-0 -> -1 |
| comx596 compare 0.000000987654321 1E+1 -> -1 |
| comx597 compare 0.000000987654321 1E+2 -> -1 |
| comx598 compare 0.000000987654321 1E+3 -> -1 |
| comx599 compare 0.000000987654321 1E+4 -> -1 |
| |
| -- check some unit-y traps |
| precision: 20 |
| comx600 compare 12 12.2345 -> -1 |
| comx601 compare 12.0 12.2345 -> -1 |
| comx602 compare 12.00 12.2345 -> -1 |
| comx603 compare 12.000 12.2345 -> -1 |
| comx604 compare 12.0000 12.2345 -> -1 |
| comx605 compare 12.00000 12.2345 -> -1 |
| comx606 compare 12.000000 12.2345 -> -1 |
| comx607 compare 12.0000000 12.2345 -> -1 |
| comx608 compare 12.00000000 12.2345 -> -1 |
| comx609 compare 12.000000000 12.2345 -> -1 |
| comx610 compare 12.1234 12 -> 1 |
| comx611 compare 12.1234 12.0 -> 1 |
| comx612 compare 12.1234 12.00 -> 1 |
| comx613 compare 12.1234 12.000 -> 1 |
| comx614 compare 12.1234 12.0000 -> 1 |
| comx615 compare 12.1234 12.00000 -> 1 |
| comx616 compare 12.1234 12.000000 -> 1 |
| comx617 compare 12.1234 12.0000000 -> 1 |
| comx618 compare 12.1234 12.00000000 -> 1 |
| comx619 compare 12.1234 12.000000000 -> 1 |
| comx620 compare -12 -12.2345 -> 1 |
| comx621 compare -12.0 -12.2345 -> 1 |
| comx622 compare -12.00 -12.2345 -> 1 |
| comx623 compare -12.000 -12.2345 -> 1 |
| comx624 compare -12.0000 -12.2345 -> 1 |
| comx625 compare -12.00000 -12.2345 -> 1 |
| comx626 compare -12.000000 -12.2345 -> 1 |
| comx627 compare -12.0000000 -12.2345 -> 1 |
| comx628 compare -12.00000000 -12.2345 -> 1 |
| comx629 compare -12.000000000 -12.2345 -> 1 |
| comx630 compare -12.1234 -12 -> -1 |
| comx631 compare -12.1234 -12.0 -> -1 |
| comx632 compare -12.1234 -12.00 -> -1 |
| comx633 compare -12.1234 -12.000 -> -1 |
| comx634 compare -12.1234 -12.0000 -> -1 |
| comx635 compare -12.1234 -12.00000 -> -1 |
| comx636 compare -12.1234 -12.000000 -> -1 |
| comx637 compare -12.1234 -12.0000000 -> -1 |
| comx638 compare -12.1234 -12.00000000 -> -1 |
| comx639 compare -12.1234 -12.000000000 -> -1 |
| precision: 9 |
| |
| -- extended zeros |
| comx640 compare 0 0 -> 0 |
| comx641 compare 0 -0 -> 0 |
| comx642 compare 0 -0.0 -> 0 |
| comx643 compare 0 0.0 -> 0 |
| comx644 compare -0 0 -> 0 |
| comx645 compare -0 -0 -> 0 |
| comx646 compare -0 -0.0 -> 0 |
| comx647 compare -0 0.0 -> 0 |
| comx648 compare 0.0 0 -> 0 |
| comx649 compare 0.0 -0 -> 0 |
| comx650 compare 0.0 -0.0 -> 0 |
| comx651 compare 0.0 0.0 -> 0 |
| comx652 compare -0.0 0 -> 0 |
| comx653 compare -0.0 -0 -> 0 |
| comx654 compare -0.0 -0.0 -> 0 |
| comx655 compare -0.0 0.0 -> 0 |
| |
| comx656 compare -0E1 0.0 -> 0 |
| comx657 compare -0E2 0.0 -> 0 |
| comx658 compare 0E1 0.0 -> 0 |
| comx659 compare 0E2 0.0 -> 0 |
| comx660 compare -0E1 0 -> 0 |
| comx661 compare -0E2 0 -> 0 |
| comx662 compare 0E1 0 -> 0 |
| comx663 compare 0E2 0 -> 0 |
| comx664 compare -0E1 -0E1 -> 0 |
| comx665 compare -0E2 -0E1 -> 0 |
| comx666 compare 0E1 -0E1 -> 0 |
| comx667 compare 0E2 -0E1 -> 0 |
| comx668 compare -0E1 -0E2 -> 0 |
| comx669 compare -0E2 -0E2 -> 0 |
| comx670 compare 0E1 -0E2 -> 0 |
| comx671 compare 0E2 -0E2 -> 0 |
| comx672 compare -0E1 0E1 -> 0 |
| comx673 compare -0E2 0E1 -> 0 |
| comx674 compare 0E1 0E1 -> 0 |
| comx675 compare 0E2 0E1 -> 0 |
| comx676 compare -0E1 0E2 -> 0 |
| comx677 compare -0E2 0E2 -> 0 |
| comx678 compare 0E1 0E2 -> 0 |
| comx679 compare 0E2 0E2 -> 0 |
| |
| -- trailing zeros; unit-y |
| precision: 20 |
| comx680 compare 12 12 -> 0 |
| comx681 compare 12 12.0 -> 0 |
| comx682 compare 12 12.00 -> 0 |
| comx683 compare 12 12.000 -> 0 |
| comx684 compare 12 12.0000 -> 0 |
| comx685 compare 12 12.00000 -> 0 |
| comx686 compare 12 12.000000 -> 0 |
| comx687 compare 12 12.0000000 -> 0 |
| comx688 compare 12 12.00000000 -> 0 |
| comx689 compare 12 12.000000000 -> 0 |
| comx690 compare 12 12 -> 0 |
| comx691 compare 12.0 12 -> 0 |
| comx692 compare 12.00 12 -> 0 |
| comx693 compare 12.000 12 -> 0 |
| comx694 compare 12.0000 12 -> 0 |
| comx695 compare 12.00000 12 -> 0 |
| comx696 compare 12.000000 12 -> 0 |
| comx697 compare 12.0000000 12 -> 0 |
| comx698 compare 12.00000000 12 -> 0 |
| comx699 compare 12.000000000 12 -> 0 |
| |
| -- long operand checks |
| maxexponent: 999 |
| minexponent: -999 |
| precision: 9 |
| comx701 compare 12345678000 1 -> 1 |
| comx702 compare 1 12345678000 -> -1 |
| comx703 compare 1234567800 1 -> 1 |
| comx704 compare 1 1234567800 -> -1 |
| comx705 compare 1234567890 1 -> 1 |
| comx706 compare 1 1234567890 -> -1 |
| comx707 compare 1234567891 1 -> 1 |
| comx708 compare 1 1234567891 -> -1 |
| comx709 compare 12345678901 1 -> 1 |
| comx710 compare 1 12345678901 -> -1 |
| comx711 compare 1234567896 1 -> 1 |
| comx712 compare 1 1234567896 -> -1 |
| comx713 compare -1234567891 1 -> -1 |
| comx714 compare 1 -1234567891 -> 1 |
| comx715 compare -12345678901 1 -> -1 |
| comx716 compare 1 -12345678901 -> 1 |
| comx717 compare -1234567896 1 -> -1 |
| comx718 compare 1 -1234567896 -> 1 |
| |
| precision: 15 |
| -- same with plenty of precision |
| comx721 compare 12345678000 1 -> 1 |
| comx722 compare 1 12345678000 -> -1 |
| comx723 compare 1234567800 1 -> 1 |
| comx724 compare 1 1234567800 -> -1 |
| comx725 compare 1234567890 1 -> 1 |
| comx726 compare 1 1234567890 -> -1 |
| comx727 compare 1234567891 1 -> 1 |
| comx728 compare 1 1234567891 -> -1 |
| comx729 compare 12345678901 1 -> 1 |
| comx730 compare 1 12345678901 -> -1 |
| comx731 compare 1234567896 1 -> 1 |
| comx732 compare 1 1234567896 -> -1 |
| |
| -- residue cases |
| precision: 5 |
| comx740 compare 1 0.9999999 -> 1 |
| comx741 compare 1 0.999999 -> 1 |
| comx742 compare 1 0.99999 -> 1 |
| comx743 compare 1 1.0000 -> 0 |
| comx744 compare 1 1.00001 -> -1 |
| comx745 compare 1 1.000001 -> -1 |
| comx746 compare 1 1.0000001 -> -1 |
| comx750 compare 0.9999999 1 -> -1 |
| comx751 compare 0.999999 1 -> -1 |
| comx752 compare 0.99999 1 -> -1 |
| comx753 compare 1.0000 1 -> 0 |
| comx754 compare 1.00001 1 -> 1 |
| comx755 compare 1.000001 1 -> 1 |
| comx756 compare 1.0000001 1 -> 1 |
| |
| -- a selection of longies |
| comx760 compare -36852134.84194296250843579428931 -5830629.8347085025808756560357940 -> -1 |
| comx761 compare -36852134.84194296250843579428931 -36852134.84194296250843579428931 -> 0 |
| comx762 compare -36852134.94194296250843579428931 -36852134.84194296250843579428931 -> -1 |
| comx763 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| -- precisions above or below the difference should have no effect |
| precision: 11 |
| comx764 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 10 |
| comx765 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 9 |
| comx766 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 8 |
| comx767 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 7 |
| comx768 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 6 |
| comx769 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 5 |
| comx770 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 4 |
| comx771 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 3 |
| comx772 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 2 |
| comx773 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| precision: 1 |
| comx774 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 |
| |
| -- Specials |
| precision: 9 |
| comx780 compare Inf -Inf -> 1 |
| comx781 compare Inf -1000 -> 1 |
| comx782 compare Inf -1 -> 1 |
| comx783 compare Inf -0 -> 1 |
| comx784 compare Inf 0 -> 1 |
| comx785 compare Inf 1 -> 1 |
| comx786 compare Inf 1000 -> 1 |
| comx787 compare Inf Inf -> 0 |
| comx788 compare -1000 Inf -> -1 |
| comx789 compare -Inf Inf -> -1 |
| comx790 compare -1 Inf -> -1 |
| comx791 compare -0 Inf -> -1 |
| comx792 compare 0 Inf -> -1 |
| comx793 compare 1 Inf -> -1 |
| comx794 compare 1000 Inf -> -1 |
| comx795 compare Inf Inf -> 0 |
| |
| comx800 compare -Inf -Inf -> 0 |
| comx801 compare -Inf -1000 -> -1 |
| comx802 compare -Inf -1 -> -1 |
| comx803 compare -Inf -0 -> -1 |
| comx804 compare -Inf 0 -> -1 |
| comx805 compare -Inf 1 -> -1 |
| comx806 compare -Inf 1000 -> -1 |
| comx807 compare -Inf Inf -> -1 |
| comx808 compare -Inf -Inf -> 0 |
| comx809 compare -1000 -Inf -> 1 |
| comx810 compare -1 -Inf -> 1 |
| comx811 compare -0 -Inf -> 1 |
| comx812 compare 0 -Inf -> 1 |
| comx813 compare 1 -Inf -> 1 |
| comx814 compare 1000 -Inf -> 1 |
| comx815 compare Inf -Inf -> 1 |
| |
| comx821 compare NaN -Inf -> NaN |
| comx822 compare NaN -1000 -> NaN |
| comx823 compare NaN -1 -> NaN |
| comx824 compare NaN -0 -> NaN |
| comx825 compare NaN 0 -> NaN |
| comx826 compare NaN 1 -> NaN |
| comx827 compare NaN 1000 -> NaN |
| comx828 compare NaN Inf -> NaN |
| comx829 compare NaN NaN -> NaN |
| comx830 compare -Inf NaN -> NaN |
| comx831 compare -1000 NaN -> NaN |
| comx832 compare -1 NaN -> NaN |
| comx833 compare -0 NaN -> NaN |
| comx834 compare 0 NaN -> NaN |
| comx835 compare 1 NaN -> NaN |
| comx836 compare 1000 NaN -> NaN |
| comx837 compare Inf NaN -> NaN |
| comx838 compare -NaN -NaN -> -NaN |
| comx839 compare +NaN -NaN -> NaN |
| comx840 compare -NaN +NaN -> -NaN |
| |
| comx841 compare sNaN -Inf -> NaN Invalid_operation |
| comx842 compare sNaN -1000 -> NaN Invalid_operation |
| comx843 compare sNaN -1 -> NaN Invalid_operation |
| comx844 compare sNaN -0 -> NaN Invalid_operation |
| comx845 compare sNaN 0 -> NaN Invalid_operation |
| comx846 compare sNaN 1 -> NaN Invalid_operation |
| comx847 compare sNaN 1000 -> NaN Invalid_operation |
| comx848 compare sNaN NaN -> NaN Invalid_operation |
| comx849 compare sNaN sNaN -> NaN Invalid_operation |
| comx850 compare NaN sNaN -> NaN Invalid_operation |
| comx851 compare -Inf sNaN -> NaN Invalid_operation |
| comx852 compare -1000 sNaN -> NaN Invalid_operation |
| comx853 compare -1 sNaN -> NaN Invalid_operation |
| comx854 compare -0 sNaN -> NaN Invalid_operation |
| comx855 compare 0 sNaN -> NaN Invalid_operation |
| comx856 compare 1 sNaN -> NaN Invalid_operation |
| comx857 compare 1000 sNaN -> NaN Invalid_operation |
| comx858 compare Inf sNaN -> NaN Invalid_operation |
| comx859 compare NaN sNaN -> NaN Invalid_operation |
| |
| -- propagating NaNs |
| comx860 compare NaN9 -Inf -> NaN9 |
| comx861 compare NaN8 999 -> NaN8 |
| comx862 compare NaN77 Inf -> NaN77 |
| comx863 compare -NaN67 NaN5 -> -NaN67 |
| comx864 compare -Inf -NaN4 -> -NaN4 |
| comx865 compare -999 -NaN33 -> -NaN33 |
| comx866 compare Inf NaN2 -> NaN2 |
| comx867 compare -NaN41 -NaN42 -> -NaN41 |
| comx868 compare +NaN41 -NaN42 -> NaN41 |
| comx869 compare -NaN41 +NaN42 -> -NaN41 |
| comx870 compare +NaN41 +NaN42 -> NaN41 |
| |
| comx871 compare -sNaN99 -Inf -> -NaN99 Invalid_operation |
| comx872 compare sNaN98 -11 -> NaN98 Invalid_operation |
| comx873 compare sNaN97 NaN -> NaN97 Invalid_operation |
| comx874 compare sNaN16 sNaN94 -> NaN16 Invalid_operation |
| comx875 compare NaN85 sNaN83 -> NaN83 Invalid_operation |
| comx876 compare -Inf sNaN92 -> NaN92 Invalid_operation |
| comx877 compare 088 sNaN81 -> NaN81 Invalid_operation |
| comx878 compare Inf sNaN90 -> NaN90 Invalid_operation |
| comx879 compare NaN -sNaN89 -> -NaN89 Invalid_operation |
| |
| -- overflow and underflow tests .. subnormal results now allowed |
| maxExponent: 999999999 |
| minexponent: -999999999 |
| comx880 compare +1.23456789012345E-0 9E+999999999 -> -1 |
| comx881 compare 9E+999999999 +1.23456789012345E-0 -> 1 |
| comx882 compare +0.100 9E-999999999 -> 1 |
| comx883 compare 9E-999999999 +0.100 -> -1 |
| comx885 compare -1.23456789012345E-0 9E+999999999 -> -1 |
| comx886 compare 9E+999999999 -1.23456789012345E-0 -> 1 |
| comx887 compare -0.100 9E-999999999 -> -1 |
| comx888 compare 9E-999999999 -0.100 -> 1 |
| |
| comx889 compare 1e-599999999 1e-400000001 -> -1 |
| comx890 compare 1e-599999999 1e-400000000 -> -1 |
| comx891 compare 1e-600000000 1e-400000000 -> -1 |
| comx892 compare 9e-999999998 0.01 -> -1 |
| comx893 compare 9e-999999998 0.1 -> -1 |
| comx894 compare 0.01 9e-999999998 -> 1 |
| comx895 compare 1e599999999 1e400000001 -> 1 |
| comx896 compare 1e599999999 1e400000000 -> 1 |
| comx897 compare 1e600000000 1e400000000 -> 1 |
| comx898 compare 9e999999998 100 -> 1 |
| comx899 compare 9e999999998 10 -> 1 |
| comx900 compare 100 9e999999998 -> -1 |
| -- signs |
| comx901 compare 1e+777777777 1e+411111111 -> 1 |
| comx902 compare 1e+777777777 -1e+411111111 -> 1 |
| comx903 compare -1e+777777777 1e+411111111 -> -1 |
| comx904 compare -1e+777777777 -1e+411111111 -> -1 |
| comx905 compare 1e-777777777 1e-411111111 -> -1 |
| comx906 compare 1e-777777777 -1e-411111111 -> 1 |
| comx907 compare -1e-777777777 1e-411111111 -> -1 |
| comx908 compare -1e-777777777 -1e-411111111 -> 1 |
| |
| -- spread zeros |
| comx910 compare 0E-383 0 -> 0 |
| comx911 compare 0E-383 -0 -> 0 |
| comx912 compare -0E-383 0 -> 0 |
| comx913 compare -0E-383 -0 -> 0 |
| comx914 compare 0E-383 0E+384 -> 0 |
| comx915 compare 0E-383 -0E+384 -> 0 |
| comx916 compare -0E-383 0E+384 -> 0 |
| comx917 compare -0E-383 -0E+384 -> 0 |
| comx918 compare 0 0E+384 -> 0 |
| comx919 compare 0 -0E+384 -> 0 |
| comx920 compare -0 0E+384 -> 0 |
| comx921 compare -0 -0E+384 -> 0 |
| comx930 compare 0E+384 0 -> 0 |
| comx931 compare 0E+384 -0 -> 0 |
| comx932 compare -0E+384 0 -> 0 |
| comx933 compare -0E+384 -0 -> 0 |
| comx934 compare 0E+384 0E-383 -> 0 |
| comx935 compare 0E+384 -0E-383 -> 0 |
| comx936 compare -0E+384 0E-383 -> 0 |
| comx937 compare -0E+384 -0E-383 -> 0 |
| comx938 compare 0 0E-383 -> 0 |
| comx939 compare 0 -0E-383 -> 0 |
| comx940 compare -0 0E-383 -> 0 |
| comx941 compare -0 -0E-383 -> 0 |
| |
| -- Null tests |
| comx990 compare 10 # -> NaN Invalid_operation |
| comx991 compare # 10 -> NaN Invalid_operation |
