------------------------------------------------------------------------ -- comparetotal.decTest -- decimal comparison using total ordering -- -- Copyright (c) IBM Corporation, 1981, 2006. 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.52 -- 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). -- Similarly, comparetotal will have some radically different paths -- than compare. extended: 1 precision: 16 rounding: half_up maxExponent: 384 minExponent: -383 -- sanity checks cotx001 comparetotal -2 -2 -> 0 cotx002 comparetotal -2 -1 -> -1 cotx003 comparetotal -2 0 -> -1 cotx004 comparetotal -2 1 -> -1 cotx005 comparetotal -2 2 -> -1 cotx006 comparetotal -1 -2 -> 1 cotx007 comparetotal -1 -1 -> 0 cotx008 comparetotal -1 0 -> -1 cotx009 comparetotal -1 1 -> -1 cotx010 comparetotal -1 2 -> -1 cotx011 comparetotal 0 -2 -> 1 cotx012 comparetotal 0 -1 -> 1 cotx013 comparetotal 0 0 -> 0 cotx014 comparetotal 0 1 -> -1 cotx015 comparetotal 0 2 -> -1 cotx016 comparetotal 1 -2 -> 1 cotx017 comparetotal 1 -1 -> 1 cotx018 comparetotal 1 0 -> 1 cotx019 comparetotal 1 1 -> 0 cotx020 comparetotal 1 2 -> -1 cotx021 comparetotal 2 -2 -> 1 cotx022 comparetotal 2 -1 -> 1 cotx023 comparetotal 2 0 -> 1 cotx025 comparetotal 2 1 -> 1 cotx026 comparetotal 2 2 -> 0 cotx031 comparetotal -20 -20 -> 0 cotx032 comparetotal -20 -10 -> -1 cotx033 comparetotal -20 00 -> -1 cotx034 comparetotal -20 10 -> -1 cotx035 comparetotal -20 20 -> -1 cotx036 comparetotal -10 -20 -> 1 cotx037 comparetotal -10 -10 -> 0 cotx038 comparetotal -10 00 -> -1 cotx039 comparetotal -10 10 -> -1 cotx040 comparetotal -10 20 -> -1 cotx041 comparetotal 00 -20 -> 1 cotx042 comparetotal 00 -10 -> 1 cotx043 comparetotal 00 00 -> 0 cotx044 comparetotal 00 10 -> -1 cotx045 comparetotal 00 20 -> -1 cotx046 comparetotal 10 -20 -> 1 cotx047 comparetotal 10 -10 -> 1 cotx048 comparetotal 10 00 -> 1 cotx049 comparetotal 10 10 -> 0 cotx050 comparetotal 10 20 -> -1 cotx051 comparetotal 20 -20 -> 1 cotx052 comparetotal 20 -10 -> 1 cotx053 comparetotal 20 00 -> 1 cotx055 comparetotal 20 10 -> 1 cotx056 comparetotal 20 20 -> 0 cotx061 comparetotal -2.0 -2.0 -> 0 cotx062 comparetotal -2.0 -1.0 -> -1 cotx063 comparetotal -2.0 0.0 -> -1 cotx064 comparetotal -2.0 1.0 -> -1 cotx065 comparetotal -2.0 2.0 -> -1 cotx066 comparetotal -1.0 -2.0 -> 1 cotx067 comparetotal -1.0 -1.0 -> 0 cotx068 comparetotal -1.0 0.0 -> -1 cotx069 comparetotal -1.0 1.0 -> -1 cotx070 comparetotal -1.0 2.0 -> -1 cotx071 comparetotal 0.0 -2.0 -> 1 cotx072 comparetotal 0.0 -1.0 -> 1 cotx073 comparetotal 0.0 0.0 -> 0 cotx074 comparetotal 0.0 1.0 -> -1 cotx075 comparetotal 0.0 2.0 -> -1 cotx076 comparetotal 1.0 -2.0 -> 1 cotx077 comparetotal 1.0 -1.0 -> 1 cotx078 comparetotal 1.0 0.0 -> 1 cotx079 comparetotal 1.0 1.0 -> 0 cotx080 comparetotal 1.0 2.0 -> -1 cotx081 comparetotal 2.0 -2.0 -> 1 cotx082 comparetotal 2.0 -1.0 -> 1 cotx083 comparetotal 2.0 0.0 -> 1 cotx085 comparetotal 2.0 1.0 -> 1 cotx086 comparetotal 2.0 2.0 -> 0 -- now some cases which might overflow if subtract were used maxexponent: 999999999 minexponent: -999999999 cotx090 comparetotal 9.99999999E+999999999 9.99999999E+999999999 -> 0 cotx091 comparetotal -9.99999999E+999999999 9.99999999E+999999999 -> -1 cotx092 comparetotal 9.99999999E+999999999 -9.99999999E+999999999 -> 1 cotx093 comparetotal -9.99999999E+999999999 -9.99999999E+999999999 -> 0 -- some differing length/exponent cases -- in this first group, compare would compare all equal cotx100 comparetotal 7.0 7.0 -> 0 cotx101 comparetotal 7.0 7 -> -1 cotx102 comparetotal 7 7.0 -> 1 cotx103 comparetotal 7E+0 7.0 -> 1 cotx104 comparetotal 70E-1 7.0 -> 0 cotx105 comparetotal 0.7E+1 7 -> 0 cotx106 comparetotal 70E-1 7 -> -1 cotx107 comparetotal 7.0 7E+0 -> -1 cotx108 comparetotal 7.0 70E-1 -> 0 cotx109 comparetotal 7 0.7E+1 -> 0 cotx110 comparetotal 7 70E-1 -> 1 cotx120 comparetotal 8.0 7.0 -> 1 cotx121 comparetotal 8.0 7 -> 1 cotx122 comparetotal 8 7.0 -> 1 cotx123 comparetotal 8E+0 7.0 -> 1 cotx124 comparetotal 80E-1 7.0 -> 1 cotx125 comparetotal 0.8E+1 7 -> 1 cotx126 comparetotal 80E-1 7 -> 1 cotx127 comparetotal 8.0 7E+0 -> 1 cotx128 comparetotal 8.0 70E-1 -> 1 cotx129 comparetotal 8 0.7E+1 -> 1 cotx130 comparetotal 8 70E-1 -> 1 cotx140 comparetotal 8.0 9.0 -> -1 cotx141 comparetotal 8.0 9 -> -1 cotx142 comparetotal 8 9.0 -> -1 cotx143 comparetotal 8E+0 9.0 -> -1 cotx144 comparetotal 80E-1 9.0 -> -1 cotx145 comparetotal 0.8E+1 9 -> -1 cotx146 comparetotal 80E-1 9 -> -1 cotx147 comparetotal 8.0 9E+0 -> -1 cotx148 comparetotal 8.0 90E-1 -> -1 cotx149 comparetotal 8 0.9E+1 -> -1 cotx150 comparetotal 8 90E-1 -> -1 -- and again, with sign changes -+ .. cotx200 comparetotal -7.0 7.0 -> -1 cotx201 comparetotal -7.0 7 -> -1 cotx202 comparetotal -7 7.0 -> -1 cotx203 comparetotal -7E+0 7.0 -> -1 cotx204 comparetotal -70E-1 7.0 -> -1 cotx205 comparetotal -0.7E+1 7 -> -1 cotx206 comparetotal -70E-1 7 -> -1 cotx207 comparetotal -7.0 7E+0 -> -1 cotx208 comparetotal -7.0 70E-1 -> -1 cotx209 comparetotal -7 0.7E+1 -> -1 cotx210 comparetotal -7 70E-1 -> -1 cotx220 comparetotal -8.0 7.0 -> -1 cotx221 comparetotal -8.0 7 -> -1 cotx222 comparetotal -8 7.0 -> -1 cotx223 comparetotal -8E+0 7.0 -> -1 cotx224 comparetotal -80E-1 7.0 -> -1 cotx225 comparetotal -0.8E+1 7 -> -1 cotx226 comparetotal -80E-1 7 -> -1 cotx227 comparetotal -8.0 7E+0 -> -1 cotx228 comparetotal -8.0 70E-1 -> -1 cotx229 comparetotal -8 0.7E+1 -> -1 cotx230 comparetotal -8 70E-1 -> -1 cotx240 comparetotal -8.0 9.0 -> -1 cotx241 comparetotal -8.0 9 -> -1 cotx242 comparetotal -8 9.0 -> -1 cotx243 comparetotal -8E+0 9.0 -> -1 cotx244 comparetotal -80E-1 9.0 -> -1 cotx245 comparetotal -0.8E+1 9 -> -1 cotx246 comparetotal -80E-1 9 -> -1 cotx247 comparetotal -8.0 9E+0 -> -1 cotx248 comparetotal -8.0 90E-1 -> -1 cotx249 comparetotal -8 0.9E+1 -> -1 cotx250 comparetotal -8 90E-1 -> -1 -- and again, with sign changes +- .. cotx300 comparetotal 7.0 -7.0 -> 1 cotx301 comparetotal 7.0 -7 -> 1 cotx302 comparetotal 7 -7.0 -> 1 cotx303 comparetotal 7E+0 -7.0 -> 1 cotx304 comparetotal 70E-1 -7.0 -> 1 cotx305 comparetotal .7E+1 -7 -> 1 cotx306 comparetotal 70E-1 -7 -> 1 cotx307 comparetotal 7.0 -7E+0 -> 1 cotx308 comparetotal 7.0 -70E-1 -> 1 cotx309 comparetotal 7 -.7E+1 -> 1 cotx310 comparetotal 7 -70E-1 -> 1 cotx320 comparetotal 8.0 -7.0 -> 1 cotx321 comparetotal 8.0 -7 -> 1 cotx322 comparetotal 8 -7.0 -> 1 cotx323 comparetotal 8E+0 -7.0 -> 1 cotx324 comparetotal 80E-1 -7.0 -> 1 cotx325 comparetotal .8E+1 -7 -> 1 cotx326 comparetotal 80E-1 -7 -> 1 cotx327 comparetotal 8.0 -7E+0 -> 1 cotx328 comparetotal 8.0 -70E-1 -> 1 cotx329 comparetotal 8 -.7E+1 -> 1 cotx330 comparetotal 8 -70E-1 -> 1 cotx340 comparetotal 8.0 -9.0 -> 1 cotx341 comparetotal 8.0 -9 -> 1 cotx342 comparetotal 8 -9.0 -> 1 cotx343 comparetotal 8E+0 -9.0 -> 1 cotx344 comparetotal 80E-1 -9.0 -> 1 cotx345 comparetotal .8E+1 -9 -> 1 cotx346 comparetotal 80E-1 -9 -> 1 cotx347 comparetotal 8.0 -9E+0 -> 1 cotx348 comparetotal 8.0 -90E-1 -> 1 cotx349 comparetotal 8 -.9E+1 -> 1 cotx350 comparetotal 8 -90E-1 -> 1 -- and again, with sign changes -- .. cotx400 comparetotal -7.0 -7.0 -> 0 cotx401 comparetotal -7.0 -7 -> 1 cotx402 comparetotal -7 -7.0 -> -1 cotx403 comparetotal -7E+0 -7.0 -> -1 cotx404 comparetotal -70E-1 -7.0 -> 0 cotx405 comparetotal -.7E+1 -7 -> 0 cotx406 comparetotal -70E-1 -7 -> 1 cotx407 comparetotal -7.0 -7E+0 -> 1 cotx408 comparetotal -7.0 -70E-1 -> 0 cotx409 comparetotal -7 -.7E+1 -> 0 cotx410 comparetotal -7 -70E-1 -> -1 cotx420 comparetotal -8.0 -7.0 -> -1 cotx421 comparetotal -8.0 -7 -> -1 cotx422 comparetotal -8 -7.0 -> -1 cotx423 comparetotal -8E+0 -7.0 -> -1 cotx424 comparetotal -80E-1 -7.0 -> -1 cotx425 comparetotal -.8E+1 -7 -> -1 cotx426 comparetotal -80E-1 -7 -> -1 cotx427 comparetotal -8.0 -7E+0 -> -1 cotx428 comparetotal -8.0 -70E-1 -> -1 cotx429 comparetotal -8 -.7E+1 -> -1 cotx430 comparetotal -8 -70E-1 -> -1 cotx440 comparetotal -8.0 -9.0 -> 1 cotx441 comparetotal -8.0 -9 -> 1 cotx442 comparetotal -8 -9.0 -> 1 cotx443 comparetotal -8E+0 -9.0 -> 1 cotx444 comparetotal -80E-1 -9.0 -> 1 cotx445 comparetotal -.8E+1 -9 -> 1 cotx446 comparetotal -80E-1 -9 -> 1 cotx447 comparetotal -8.0 -9E+0 -> 1 cotx448 comparetotal -8.0 -90E-1 -> 1 cotx449 comparetotal -8 -.9E+1 -> 1 cotx450 comparetotal -8 -90E-1 -> 1 -- testcases that subtract to lots of zeros at boundaries [pgr] precision: 40 cotx470 comparetotal 123.4560000000000000E789 123.456E789 -> -1 cotx471 comparetotal 123.456000000000000E-89 123.456E-89 -> -1 cotx472 comparetotal 123.45600000000000E789 123.456E789 -> -1 cotx473 comparetotal 123.4560000000000E-89 123.456E-89 -> -1 cotx474 comparetotal 123.456000000000E789 123.456E789 -> -1 cotx475 comparetotal 123.45600000000E-89 123.456E-89 -> -1 cotx476 comparetotal 123.4560000000E789 123.456E789 -> -1 cotx477 comparetotal 123.456000000E-89 123.456E-89 -> -1 cotx478 comparetotal 123.45600000E789 123.456E789 -> -1 cotx479 comparetotal 123.4560000E-89 123.456E-89 -> -1 cotx480 comparetotal 123.456000E789 123.456E789 -> -1 cotx481 comparetotal 123.45600E-89 123.456E-89 -> -1 cotx482 comparetotal 123.4560E789 123.456E789 -> -1 cotx483 comparetotal 123.456E-89 123.456E-89 -> 0 cotx484 comparetotal 123.456E-89 123.4560000000000000E-89 -> 1 cotx485 comparetotal 123.456E789 123.456000000000000E789 -> 1 cotx486 comparetotal 123.456E-89 123.45600000000000E-89 -> 1 cotx487 comparetotal 123.456E789 123.4560000000000E789 -> 1 cotx488 comparetotal 123.456E-89 123.456000000000E-89 -> 1 cotx489 comparetotal 123.456E789 123.45600000000E789 -> 1 cotx490 comparetotal 123.456E-89 123.4560000000E-89 -> 1 cotx491 comparetotal 123.456E789 123.456000000E789 -> 1 cotx492 comparetotal 123.456E-89 123.45600000E-89 -> 1 cotx493 comparetotal 123.456E789 123.4560000E789 -> 1 cotx494 comparetotal 123.456E-89 123.456000E-89 -> 1 cotx495 comparetotal 123.456E789 123.45600E789 -> 1 cotx496 comparetotal 123.456E-89 123.4560E-89 -> 1 cotx497 comparetotal 123.456E789 123.456E789 -> 0 -- wide-ranging, around precision; signs equal precision: 9 cotx500 comparetotal 1 1E-15 -> 1 cotx501 comparetotal 1 1E-14 -> 1 cotx502 comparetotal 1 1E-13 -> 1 cotx503 comparetotal 1 1E-12 -> 1 cotx504 comparetotal 1 1E-11 -> 1 cotx505 comparetotal 1 1E-10 -> 1 cotx506 comparetotal 1 1E-9 -> 1 cotx507 comparetotal 1 1E-8 -> 1 cotx508 comparetotal 1 1E-7 -> 1 cotx509 comparetotal 1 1E-6 -> 1 cotx510 comparetotal 1 1E-5 -> 1 cotx511 comparetotal 1 1E-4 -> 1 cotx512 comparetotal 1 1E-3 -> 1 cotx513 comparetotal 1 1E-2 -> 1 cotx514 comparetotal 1 1E-1 -> 1 cotx515 comparetotal 1 1E-0 -> 0 cotx516 comparetotal 1 1E+1 -> -1 cotx517 comparetotal 1 1E+2 -> -1 cotx518 comparetotal 1 1E+3 -> -1 cotx519 comparetotal 1 1E+4 -> -1 cotx521 comparetotal 1 1E+5 -> -1 cotx522 comparetotal 1 1E+6 -> -1 cotx523 comparetotal 1 1E+7 -> -1 cotx524 comparetotal 1 1E+8 -> -1 cotx525 comparetotal 1 1E+9 -> -1 cotx526 comparetotal 1 1E+10 -> -1 cotx527 comparetotal 1 1E+11 -> -1 cotx528 comparetotal 1 1E+12 -> -1 cotx529 comparetotal 1 1E+13 -> -1 cotx530 comparetotal 1 1E+14 -> -1 cotx531 comparetotal 1 1E+15 -> -1 -- LR swap cotx540 comparetotal 1E-15 1 -> -1 cotx541 comparetotal 1E-14 1 -> -1 cotx542 comparetotal 1E-13 1 -> -1 cotx543 comparetotal 1E-12 1 -> -1 cotx544 comparetotal 1E-11 1 -> -1 cotx545 comparetotal 1E-10 1 -> -1 cotx546 comparetotal 1E-9 1 -> -1 cotx547 comparetotal 1E-8 1 -> -1 cotx548 comparetotal 1E-7 1 -> -1 cotx549 comparetotal 1E-6 1 -> -1 cotx550 comparetotal 1E-5 1 -> -1 cotx551 comparetotal 1E-4 1 -> -1 cotx552 comparetotal 1E-3 1 -> -1 cotx553 comparetotal 1E-2 1 -> -1 cotx554 comparetotal 1E-1 1 -> -1 cotx555 comparetotal 1E-0 1 -> 0 cotx556 comparetotal 1E+1 1 -> 1 cotx557 comparetotal 1E+2 1 -> 1 cotx558 comparetotal 1E+3 1 -> 1 cotx559 comparetotal 1E+4 1 -> 1 cotx561 comparetotal 1E+5 1 -> 1 cotx562 comparetotal 1E+6 1 -> 1 cotx563 comparetotal 1E+7 1 -> 1 cotx564 comparetotal 1E+8 1 -> 1 cotx565 comparetotal 1E+9 1 -> 1 cotx566 comparetotal 1E+10 1 -> 1 cotx567 comparetotal 1E+11 1 -> 1 cotx568 comparetotal 1E+12 1 -> 1 cotx569 comparetotal 1E+13 1 -> 1 cotx570 comparetotal 1E+14 1 -> 1 cotx571 comparetotal 1E+15 1 -> 1 -- similar with an useful coefficient, one side only cotx580 comparetotal 0.000000987654321 1E-15 -> 1 cotx581 comparetotal 0.000000987654321 1E-14 -> 1 cotx582 comparetotal 0.000000987654321 1E-13 -> 1 cotx583 comparetotal 0.000000987654321 1E-12 -> 1 cotx584 comparetotal 0.000000987654321 1E-11 -> 1 cotx585 comparetotal 0.000000987654321 1E-10 -> 1 cotx586 comparetotal 0.000000987654321 1E-9 -> 1 cotx587 comparetotal 0.000000987654321 1E-8 -> 1 cotx588 comparetotal 0.000000987654321 1E-7 -> 1 cotx589 comparetotal 0.000000987654321 1E-6 -> -1 cotx590 comparetotal 0.000000987654321 1E-5 -> -1 cotx591 comparetotal 0.000000987654321 1E-4 -> -1 cotx592 comparetotal 0.000000987654321 1E-3 -> -1 cotx593 comparetotal 0.000000987654321 1E-2 -> -1 cotx594 comparetotal 0.000000987654321 1E-1 -> -1 cotx595 comparetotal 0.000000987654321 1E-0 -> -1 cotx596 comparetotal 0.000000987654321 1E+1 -> -1 cotx597 comparetotal 0.000000987654321 1E+2 -> -1 cotx598 comparetotal 0.000000987654321 1E+3 -> -1 cotx599 comparetotal 0.000000987654321 1E+4 -> -1 -- check some unit-y traps precision: 20 cotx600 comparetotal 12 12.2345 -> -1 cotx601 comparetotal 12.0 12.2345 -> -1 cotx602 comparetotal 12.00 12.2345 -> -1 cotx603 comparetotal 12.000 12.2345 -> -1 cotx604 comparetotal 12.0000 12.2345 -> -1 cotx605 comparetotal 12.00000 12.2345 -> -1 cotx606 comparetotal 12.000000 12.2345 -> -1 cotx607 comparetotal 12.0000000 12.2345 -> -1 cotx608 comparetotal 12.00000000 12.2345 -> -1 cotx609 comparetotal 12.000000000 12.2345 -> -1 cotx610 comparetotal 12.1234 12 -> 1 cotx611 comparetotal 12.1234 12.0 -> 1 cotx612 comparetotal 12.1234 12.00 -> 1 cotx613 comparetotal 12.1234 12.000 -> 1 cotx614 comparetotal 12.1234 12.0000 -> 1 cotx615 comparetotal 12.1234 12.00000 -> 1 cotx616 comparetotal 12.1234 12.000000 -> 1 cotx617 comparetotal 12.1234 12.0000000 -> 1 cotx618 comparetotal 12.1234 12.00000000 -> 1 cotx619 comparetotal 12.1234 12.000000000 -> 1 cotx620 comparetotal -12 -12.2345 -> 1 cotx621 comparetotal -12.0 -12.2345 -> 1 cotx622 comparetotal -12.00 -12.2345 -> 1 cotx623 comparetotal -12.000 -12.2345 -> 1 cotx624 comparetotal -12.0000 -12.2345 -> 1 cotx625 comparetotal -12.00000 -12.2345 -> 1 cotx626 comparetotal -12.000000 -12.2345 -> 1 cotx627 comparetotal -12.0000000 -12.2345 -> 1 cotx628 comparetotal -12.00000000 -12.2345 -> 1 cotx629 comparetotal -12.000000000 -12.2345 -> 1 cotx630 comparetotal -12.1234 -12 -> -1 cotx631 comparetotal -12.1234 -12.0 -> -1 cotx632 comparetotal -12.1234 -12.00 -> -1 cotx633 comparetotal -12.1234 -12.000 -> -1 cotx634 comparetotal -12.1234 -12.0000 -> -1 cotx635 comparetotal -12.1234 -12.00000 -> -1 cotx636 comparetotal -12.1234 -12.000000 -> -1 cotx637 comparetotal -12.1234 -12.0000000 -> -1 cotx638 comparetotal -12.1234 -12.00000000 -> -1 cotx639 comparetotal -12.1234 -12.000000000 -> -1 precision: 9 -- extended zeros cotx640 comparetotal 0 0 -> 0 cotx641 comparetotal 0 -0 -> 1 cotx642 comparetotal 0 -0.0 -> 1 cotx643 comparetotal 0 0.0 -> 1 cotx644 comparetotal -0 0 -> -1 cotx645 comparetotal -0 -0 -> 0 cotx646 comparetotal -0 -0.0 -> -1 cotx647 comparetotal -0 0.0 -> -1 cotx648 comparetotal 0.0 0 -> -1 cotx649 comparetotal 0.0 -0 -> 1 cotx650 comparetotal 0.0 -0.0 -> 1 cotx651 comparetotal 0.0 0.0 -> 0 cotx652 comparetotal -0.0 0 -> -1 cotx653 comparetotal -0.0 -0 -> 1 cotx654 comparetotal -0.0 -0.0 -> 0 cotx655 comparetotal -0.0 0.0 -> -1 cotx656 comparetotal -0E1 0.0 -> -1 cotx657 comparetotal -0E2 0.0 -> -1 cotx658 comparetotal 0E1 0.0 -> 1 cotx659 comparetotal 0E2 0.0 -> 1 cotx660 comparetotal -0E1 0 -> -1 cotx661 comparetotal -0E2 0 -> -1 cotx662 comparetotal 0E1 0 -> 1 cotx663 comparetotal 0E2 0 -> 1 cotx664 comparetotal -0E1 -0E1 -> 0 cotx665 comparetotal -0E2 -0E1 -> -1 cotx666 comparetotal 0E1 -0E1 -> 1 cotx667 comparetotal 0E2 -0E1 -> 1 cotx668 comparetotal -0E1 -0E2 -> 1 cotx669 comparetotal -0E2 -0E2 -> 0 cotx670 comparetotal 0E1 -0E2 -> 1 cotx671 comparetotal 0E2 -0E2 -> 1 cotx672 comparetotal -0E1 0E1 -> -1 cotx673 comparetotal -0E2 0E1 -> -1 cotx674 comparetotal 0E1 0E1 -> 0 cotx675 comparetotal 0E2 0E1 -> 1 cotx676 comparetotal -0E1 0E2 -> -1 cotx677 comparetotal -0E2 0E2 -> -1 cotx678 comparetotal 0E1 0E2 -> -1 cotx679 comparetotal 0E2 0E2 -> 0 -- trailing zeros; unit-y precision: 20 cotx680 comparetotal 12 12 -> 0 cotx681 comparetotal 12 12.0 -> 1 cotx682 comparetotal 12 12.00 -> 1 cotx683 comparetotal 12 12.000 -> 1 cotx684 comparetotal 12 12.0000 -> 1 cotx685 comparetotal 12 12.00000 -> 1 cotx686 comparetotal 12 12.000000 -> 1 cotx687 comparetotal 12 12.0000000 -> 1 cotx688 comparetotal 12 12.00000000 -> 1 cotx689 comparetotal 12 12.000000000 -> 1 cotx690 comparetotal 12 12 -> 0 cotx691 comparetotal 12.0 12 -> -1 cotx692 comparetotal 12.00 12 -> -1 cotx693 comparetotal 12.000 12 -> -1 cotx694 comparetotal 12.0000 12 -> -1 cotx695 comparetotal 12.00000 12 -> -1 cotx696 comparetotal 12.000000 12 -> -1 cotx697 comparetotal 12.0000000 12 -> -1 cotx698 comparetotal 12.00000000 12 -> -1 cotx699 comparetotal 12.000000000 12 -> -1 -- long operand checks maxexponent: 999 minexponent: -999 precision: 9 cotx701 comparetotal 12345678000 1 -> 1 cotx702 comparetotal 1 12345678000 -> -1 cotx703 comparetotal 1234567800 1 -> 1 cotx704 comparetotal 1 1234567800 -> -1 cotx705 comparetotal 1234567890 1 -> 1 cotx706 comparetotal 1 1234567890 -> -1 cotx707 comparetotal 1234567891 1 -> 1 cotx708 comparetotal 1 1234567891 -> -1 cotx709 comparetotal 12345678901 1 -> 1 cotx710 comparetotal 1 12345678901 -> -1 cotx711 comparetotal 1234567896 1 -> 1 cotx712 comparetotal 1 1234567896 -> -1 cotx713 comparetotal -1234567891 1 -> -1 cotx714 comparetotal 1 -1234567891 -> 1 cotx715 comparetotal -12345678901 1 -> -1 cotx716 comparetotal 1 -12345678901 -> 1 cotx717 comparetotal -1234567896 1 -> -1 cotx718 comparetotal 1 -1234567896 -> 1 precision: 15 -- same with plenty of precision cotx721 comparetotal 12345678000 1 -> 1 cotx722 comparetotal 1 12345678000 -> -1 cotx723 comparetotal 1234567800 1 -> 1 cotx724 comparetotal 1 1234567800 -> -1 cotx725 comparetotal 1234567890 1 -> 1 cotx726 comparetotal 1 1234567890 -> -1 cotx727 comparetotal 1234567891 1 -> 1 cotx728 comparetotal 1 1234567891 -> -1 cotx729 comparetotal 12345678901 1 -> 1 cotx730 comparetotal 1 12345678901 -> -1 cotx731 comparetotal 1234567896 1 -> 1 cotx732 comparetotal 1 1234567896 -> -1 -- residue cases precision: 5 cotx740 comparetotal 1 0.9999999 -> 1 cotx741 comparetotal 1 0.999999 -> 1 cotx742 comparetotal 1 0.99999 -> 1 cotx743 comparetotal 1 1.0000 -> 1 cotx744 comparetotal 1 1.00001 -> -1 cotx745 comparetotal 1 1.000001 -> -1 cotx746 comparetotal 1 1.0000001 -> -1 cotx750 comparetotal 0.9999999 1 -> -1 cotx751 comparetotal 0.999999 1 -> -1 cotx752 comparetotal 0.99999 1 -> -1 cotx753 comparetotal 1.0000 1 -> -1 cotx754 comparetotal 1.00001 1 -> 1 cotx755 comparetotal 1.000001 1 -> 1 cotx756 comparetotal 1.0000001 1 -> 1 -- a selection of longies cotx760 comparetotal -36852134.84194296250843579428931 -5830629.8347085025808756560357940 -> -1 cotx761 comparetotal -36852134.84194296250843579428931 -36852134.84194296250843579428931 -> 0 cotx762 comparetotal -36852134.94194296250843579428931 -36852134.84194296250843579428931 -> -1 cotx763 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 -- precisions above or below the difference should have no effect precision: 11 cotx764 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 10 cotx765 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 9 cotx766 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 8 cotx767 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 7 cotx768 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 6 cotx769 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 5 cotx770 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 4 cotx771 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 3 cotx772 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 2 cotx773 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 precision: 1 cotx774 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1 -- Specials precision: 9 cotx780 comparetotal Inf -Inf -> 1 cotx781 comparetotal Inf -1000 -> 1 cotx782 comparetotal Inf -1 -> 1 cotx783 comparetotal Inf -0 -> 1 cotx784 comparetotal Inf 0 -> 1 cotx785 comparetotal Inf 1 -> 1 cotx786 comparetotal Inf 1000 -> 1 cotx787 comparetotal Inf Inf -> 0 cotx788 comparetotal -1000 Inf -> -1 cotx789 comparetotal -Inf Inf -> -1 cotx790 comparetotal -1 Inf -> -1 cotx791 comparetotal -0 Inf -> -1 cotx792 comparetotal 0 Inf -> -1 cotx793 comparetotal 1 Inf -> -1 cotx794 comparetotal 1000 Inf -> -1 cotx795 comparetotal Inf Inf -> 0 cotx800 comparetotal -Inf -Inf -> 0 cotx801 comparetotal -Inf -1000 -> -1 cotx802 comparetotal -Inf -1 -> -1 cotx803 comparetotal -Inf -0 -> -1 cotx804 comparetotal -Inf 0 -> -1 cotx805 comparetotal -Inf 1 -> -1 cotx806 comparetotal -Inf 1000 -> -1 cotx807 comparetotal -Inf Inf -> -1 cotx808 comparetotal -Inf -Inf -> 0 cotx809 comparetotal -1000 -Inf -> 1 cotx810 comparetotal -1 -Inf -> 1 cotx811 comparetotal -0 -Inf -> 1 cotx812 comparetotal 0 -Inf -> 1 cotx813 comparetotal 1 -Inf -> 1 cotx814 comparetotal 1000 -Inf -> 1 cotx815 comparetotal Inf -Inf -> 1 cotx821 comparetotal NaN -Inf -> 1 cotx822 comparetotal NaN -1000 -> 1 cotx823 comparetotal NaN -1 -> 1 cotx824 comparetotal NaN -0 -> 1 cotx825 comparetotal NaN 0 -> 1 cotx826 comparetotal NaN 1 -> 1 cotx827 comparetotal NaN 1000 -> 1 cotx828 comparetotal NaN Inf -> 1 cotx829 comparetotal NaN NaN -> 0 cotx830 comparetotal -Inf NaN -> -1 cotx831 comparetotal -1000 NaN -> -1 cotx832 comparetotal -1 NaN -> -1 cotx833 comparetotal -0 NaN -> -1 cotx834 comparetotal 0 NaN -> -1 cotx835 comparetotal 1 NaN -> -1 cotx836 comparetotal 1000 NaN -> -1 cotx837 comparetotal Inf NaN -> -1 cotx838 comparetotal -NaN -NaN -> 0 cotx839 comparetotal +NaN -NaN -> 1 cotx840 comparetotal -NaN +NaN -> -1 cotx841 comparetotal sNaN -sNaN -> 1 cotx842 comparetotal sNaN -NaN -> 1 cotx843 comparetotal sNaN -Inf -> 1 cotx844 comparetotal sNaN -1000 -> 1 cotx845 comparetotal sNaN -1 -> 1 cotx846 comparetotal sNaN -0 -> 1 cotx847 comparetotal sNaN 0 -> 1 cotx848 comparetotal sNaN 1 -> 1 cotx849 comparetotal sNaN 1000 -> 1 cotx850 comparetotal sNaN NaN -> -1 cotx851 comparetotal sNaN sNaN -> 0 cotx852 comparetotal -sNaN sNaN -> -1 cotx853 comparetotal -NaN sNaN -> -1 cotx854 comparetotal -Inf sNaN -> -1 cotx855 comparetotal -1000 sNaN -> -1 cotx856 comparetotal -1 sNaN -> -1 cotx857 comparetotal -0 sNaN -> -1 cotx858 comparetotal 0 sNaN -> -1 cotx859 comparetotal 1 sNaN -> -1 cotx860 comparetotal 1000 sNaN -> -1 cotx861 comparetotal Inf sNaN -> -1 cotx862 comparetotal NaN sNaN -> 1 cotx863 comparetotal sNaN sNaN -> 0 cotx871 comparetotal -sNaN -sNaN -> 0 cotx872 comparetotal -sNaN -NaN -> 1 cotx873 comparetotal -sNaN -Inf -> -1 cotx874 comparetotal -sNaN -1000 -> -1 cotx875 comparetotal -sNaN -1 -> -1 cotx876 comparetotal -sNaN -0 -> -1 cotx877 comparetotal -sNaN 0 -> -1 cotx878 comparetotal -sNaN 1 -> -1 cotx879 comparetotal -sNaN 1000 -> -1 cotx880 comparetotal -sNaN NaN -> -1 cotx881 comparetotal -sNaN sNaN -> -1 cotx882 comparetotal -sNaN -sNaN -> 0 cotx883 comparetotal -NaN -sNaN -> -1 cotx884 comparetotal -Inf -sNaN -> 1 cotx885 comparetotal -1000 -sNaN -> 1 cotx886 comparetotal -1 -sNaN -> 1 cotx887 comparetotal -0 -sNaN -> 1 cotx888 comparetotal 0 -sNaN -> 1 cotx889 comparetotal 1 -sNaN -> 1 cotx890 comparetotal 1000 -sNaN -> 1 cotx891 comparetotal Inf -sNaN -> 1 cotx892 comparetotal NaN -sNaN -> 1 cotx893 comparetotal sNaN -sNaN -> 1 -- NaNs with payload cotx960 comparetotal NaN9 -Inf -> 1 cotx961 comparetotal NaN8 999 -> 1 cotx962 comparetotal NaN77 Inf -> 1 cotx963 comparetotal -NaN67 NaN5 -> -1 cotx964 comparetotal -Inf -NaN4 -> 1 cotx965 comparetotal -999 -NaN33 -> 1 cotx966 comparetotal Inf NaN2 -> -1 cotx970 comparetotal -NaN41 -NaN42 -> 1 cotx971 comparetotal +NaN41 -NaN42 -> 1 cotx972 comparetotal -NaN41 +NaN42 -> -1 cotx973 comparetotal +NaN41 +NaN42 -> -1 cotx974 comparetotal -NaN42 -NaN01 -> -1 cotx975 comparetotal +NaN42 -NaN01 -> 1 cotx976 comparetotal -NaN42 +NaN01 -> -1 cotx977 comparetotal +NaN42 +NaN01 -> 1 cotx980 comparetotal -sNaN771 -sNaN772 -> 1 cotx981 comparetotal +sNaN771 -sNaN772 -> 1 cotx982 comparetotal -sNaN771 +sNaN772 -> -1 cotx983 comparetotal +sNaN771 +sNaN772 -> -1 cotx984 comparetotal -sNaN772 -sNaN771 -> -1 cotx985 comparetotal +sNaN772 -sNaN771 -> 1 cotx986 comparetotal -sNaN772 +sNaN771 -> -1 cotx987 comparetotal +sNaN772 +sNaN771 -> 1 cotx991 comparetotal -sNaN99 -Inf -> -1 cotx992 comparetotal sNaN98 -11 -> 1 cotx993 comparetotal sNaN97 NaN -> -1 cotx994 comparetotal sNaN16 sNaN94 -> -1 cotx995 comparetotal NaN85 sNaN83 -> 1 cotx996 comparetotal -Inf sNaN92 -> -1 cotx997 comparetotal 088 sNaN81 -> -1 cotx998 comparetotal Inf sNaN90 -> -1 cotx999 comparetotal NaN -sNaN89 -> 1 -- overflow and underflow tests .. subnormal results now allowed maxExponent: 999999999 minexponent: -999999999 cotx1080 comparetotal +1.23456789012345E-0 9E+999999999 -> -1 cotx1081 comparetotal 9E+999999999 +1.23456789012345E-0 -> 1 cotx1082 comparetotal +0.100 9E-999999999 -> 1 cotx1083 comparetotal 9E-999999999 +0.100 -> -1 cotx1085 comparetotal -1.23456789012345E-0 9E+999999999 -> -1 cotx1086 comparetotal 9E+999999999 -1.23456789012345E-0 -> 1 cotx1087 comparetotal -0.100 9E-999999999 -> -1 cotx1088 comparetotal 9E-999999999 -0.100 -> 1 cotx1089 comparetotal 1e-599999999 1e-400000001 -> -1 cotx1090 comparetotal 1e-599999999 1e-400000000 -> -1 cotx1091 comparetotal 1e-600000000 1e-400000000 -> -1 cotx1092 comparetotal 9e-999999998 0.01 -> -1 cotx1093 comparetotal 9e-999999998 0.1 -> -1 cotx1094 comparetotal 0.01 9e-999999998 -> 1 cotx1095 comparetotal 1e599999999 1e400000001 -> 1 cotx1096 comparetotal 1e599999999 1e400000000 -> 1 cotx1097 comparetotal 1e600000000 1e400000000 -> 1 cotx1098 comparetotal 9e999999998 100 -> 1 cotx1099 comparetotal 9e999999998 10 -> 1 cotx1100 comparetotal 100 9e999999998 -> -1 -- signs cotx1101 comparetotal 1e+777777777 1e+411111111 -> 1 cotx1102 comparetotal 1e+777777777 -1e+411111111 -> 1 cotx1103 comparetotal -1e+777777777 1e+411111111 -> -1 cotx1104 comparetotal -1e+777777777 -1e+411111111 -> -1 cotx1105 comparetotal 1e-777777777 1e-411111111 -> -1 cotx1106 comparetotal 1e-777777777 -1e-411111111 -> 1 cotx1107 comparetotal -1e-777777777 1e-411111111 -> -1 cotx1108 comparetotal -1e-777777777 -1e-411111111 -> 1 -- Null tests cotx9990 comparetotal 10 # -> NaN Invalid_operation cotx9991 comparetotal # 10 -> NaN Invalid_operation