------------------------------------------------------------------------

-- comparetotal.decTest -- decimal comparison using total ordering    --

-- 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.58



-- 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



-- Examples

cotx094 comparetotal  12.73  127.9  -> -1

cotx095 comparetotal  -127   12     -> -1

cotx096 comparetotal  12.30  12.3   -> -1

cotx097 comparetotal  12.30  12.30  ->  0

cotx098 comparetotal  12.3   12.300 ->  1

cotx099 comparetotal  12.3   NaN    -> -1



-- 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



-- spread zeros

cotx1110 comparetotal   0E-383  0       -> -1

cotx1111 comparetotal   0E-383 -0       ->  1

cotx1112 comparetotal  -0E-383  0       -> -1

cotx1113 comparetotal  -0E-383 -0       ->  1

cotx1114 comparetotal   0E-383  0E+384  -> -1

cotx1115 comparetotal   0E-383 -0E+384  ->  1

cotx1116 comparetotal  -0E-383  0E+384  -> -1

cotx1117 comparetotal  -0E-383 -0E+384  ->  1

cotx1118 comparetotal   0       0E+384  -> -1

cotx1119 comparetotal   0      -0E+384  ->  1

cotx1120 comparetotal  -0       0E+384  -> -1

cotx1121 comparetotal  -0      -0E+384  ->  1



cotx1130 comparetotal   0E+384  0       ->  1

cotx1131 comparetotal   0E+384 -0       ->  1

cotx1132 comparetotal  -0E+384  0       -> -1

cotx1133 comparetotal  -0E+384 -0       -> -1

cotx1134 comparetotal   0E+384  0E-383  ->  1

cotx1135 comparetotal   0E+384 -0E-383  ->  1

cotx1136 comparetotal  -0E+384  0E-383  -> -1

cotx1137 comparetotal  -0E+384 -0E-383  -> -1

cotx1138 comparetotal   0       0E-383  ->  1

cotx1139 comparetotal   0      -0E-383  ->  1

cotx1140 comparetotal  -0       0E-383  -> -1

cotx1141 comparetotal  -0      -0E-383  -> -1



-- Null tests

cotx9990 comparetotal 10  # -> NaN Invalid_operation

cotx9991 comparetotal  # 10 -> NaN Invalid_operation

