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

-- ddCompareTotal.decTest -- decDouble 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.



-- All operands and results are decDoubles.

precision:   16

maxExponent: 384

minExponent: -383

extended:    1

clamp:       1

rounding:    half_even



-- sanity checks

ddcot001 comparetotal  -2  -2  -> 0

ddcot002 comparetotal  -2  -1  -> -1

ddcot003 comparetotal  -2   0  -> -1

ddcot004 comparetotal  -2   1  -> -1

ddcot005 comparetotal  -2   2  -> -1

ddcot006 comparetotal  -1  -2  -> 1

ddcot007 comparetotal  -1  -1  -> 0

ddcot008 comparetotal  -1   0  -> -1

ddcot009 comparetotal  -1   1  -> -1

ddcot010 comparetotal  -1   2  -> -1

ddcot011 comparetotal   0  -2  -> 1

ddcot012 comparetotal   0  -1  -> 1

ddcot013 comparetotal   0   0  -> 0

ddcot014 comparetotal   0   1  -> -1

ddcot015 comparetotal   0   2  -> -1

ddcot016 comparetotal   1  -2  -> 1

ddcot017 comparetotal   1  -1  -> 1

ddcot018 comparetotal   1   0  -> 1

ddcot019 comparetotal   1   1  -> 0

ddcot020 comparetotal   1   2  -> -1

ddcot021 comparetotal   2  -2  -> 1

ddcot022 comparetotal   2  -1  -> 1

ddcot023 comparetotal   2   0  -> 1

ddcot025 comparetotal   2   1  -> 1

ddcot026 comparetotal   2   2  -> 0



ddcot031 comparetotal  -20  -20  -> 0

ddcot032 comparetotal  -20  -10  -> -1

ddcot033 comparetotal  -20   00  -> -1

ddcot034 comparetotal  -20   10  -> -1

ddcot035 comparetotal  -20   20  -> -1

ddcot036 comparetotal  -10  -20  -> 1

ddcot037 comparetotal  -10  -10  -> 0

ddcot038 comparetotal  -10   00  -> -1

ddcot039 comparetotal  -10   10  -> -1

ddcot040 comparetotal  -10   20  -> -1

ddcot041 comparetotal   00  -20  -> 1

ddcot042 comparetotal   00  -10  -> 1

ddcot043 comparetotal   00   00  -> 0

ddcot044 comparetotal   00   10  -> -1

ddcot045 comparetotal   00   20  -> -1

ddcot046 comparetotal   10  -20  -> 1

ddcot047 comparetotal   10  -10  -> 1

ddcot048 comparetotal   10   00  -> 1

ddcot049 comparetotal   10   10  -> 0

ddcot050 comparetotal   10   20  -> -1

ddcot051 comparetotal   20  -20  -> 1

ddcot052 comparetotal   20  -10  -> 1

ddcot053 comparetotal   20   00  -> 1

ddcot055 comparetotal   20   10  -> 1

ddcot056 comparetotal   20   20  -> 0



ddcot061 comparetotal  -2.0  -2.0  -> 0

ddcot062 comparetotal  -2.0  -1.0  -> -1

ddcot063 comparetotal  -2.0   0.0  -> -1

ddcot064 comparetotal  -2.0   1.0  -> -1

ddcot065 comparetotal  -2.0   2.0  -> -1

ddcot066 comparetotal  -1.0  -2.0  -> 1

ddcot067 comparetotal  -1.0  -1.0  -> 0

ddcot068 comparetotal  -1.0   0.0  -> -1

ddcot069 comparetotal  -1.0   1.0  -> -1

ddcot070 comparetotal  -1.0   2.0  -> -1

ddcot071 comparetotal   0.0  -2.0  -> 1

ddcot072 comparetotal   0.0  -1.0  -> 1

ddcot073 comparetotal   0.0   0.0  -> 0

ddcot074 comparetotal   0.0   1.0  -> -1

ddcot075 comparetotal   0.0   2.0  -> -1

ddcot076 comparetotal   1.0  -2.0  -> 1

ddcot077 comparetotal   1.0  -1.0  -> 1

ddcot078 comparetotal   1.0   0.0  -> 1

ddcot079 comparetotal   1.0   1.0  -> 0

ddcot080 comparetotal   1.0   2.0  -> -1

ddcot081 comparetotal   2.0  -2.0  -> 1

ddcot082 comparetotal   2.0  -1.0  -> 1

ddcot083 comparetotal   2.0   0.0  -> 1

ddcot085 comparetotal   2.0   1.0  -> 1

ddcot086 comparetotal   2.0   2.0  -> 0



-- now some cases which might overflow if subtract were used

ddcot090 comparetotal  9.99999999E+384 9.99999999E+384  -> 0

ddcot091 comparetotal -9.99999999E+384 9.99999999E+384  -> -1

ddcot092 comparetotal  9.99999999E+384 -9.99999999E+384 -> 1

ddcot093 comparetotal -9.99999999E+384 -9.99999999E+384 -> 0



-- some differing length/exponent cases

-- in this first group, compare would compare all equal

ddcot100 comparetotal   7.0    7.0    -> 0

ddcot101 comparetotal   7.0    7      -> -1

ddcot102 comparetotal   7      7.0    -> 1

ddcot103 comparetotal   7E+0   7.0    -> 1

ddcot104 comparetotal   70E-1  7.0    -> 0

ddcot105 comparetotal   0.7E+1 7      -> 0

ddcot106 comparetotal   70E-1  7      -> -1

ddcot107 comparetotal   7.0    7E+0   -> -1

ddcot108 comparetotal   7.0    70E-1  -> 0

ddcot109 comparetotal   7      0.7E+1 -> 0

ddcot110 comparetotal   7      70E-1  -> 1



ddcot120 comparetotal   8.0    7.0    -> 1

ddcot121 comparetotal   8.0    7      -> 1

ddcot122 comparetotal   8      7.0    -> 1

ddcot123 comparetotal   8E+0   7.0    -> 1

ddcot124 comparetotal   80E-1  7.0    -> 1

ddcot125 comparetotal   0.8E+1 7      -> 1

ddcot126 comparetotal   80E-1  7      -> 1

ddcot127 comparetotal   8.0    7E+0   -> 1

ddcot128 comparetotal   8.0    70E-1  -> 1

ddcot129 comparetotal   8      0.7E+1  -> 1

ddcot130 comparetotal   8      70E-1  -> 1



ddcot140 comparetotal   8.0    9.0    -> -1

ddcot141 comparetotal   8.0    9      -> -1

ddcot142 comparetotal   8      9.0    -> -1

ddcot143 comparetotal   8E+0   9.0    -> -1

ddcot144 comparetotal   80E-1  9.0    -> -1

ddcot145 comparetotal   0.8E+1 9      -> -1

ddcot146 comparetotal   80E-1  9      -> -1

ddcot147 comparetotal   8.0    9E+0   -> -1

ddcot148 comparetotal   8.0    90E-1  -> -1

ddcot149 comparetotal   8      0.9E+1 -> -1

ddcot150 comparetotal   8      90E-1  -> -1



-- and again, with sign changes -+ ..

ddcot200 comparetotal  -7.0    7.0    -> -1

ddcot201 comparetotal  -7.0    7      -> -1

ddcot202 comparetotal  -7      7.0    -> -1

ddcot203 comparetotal  -7E+0   7.0    -> -1

ddcot204 comparetotal  -70E-1  7.0    -> -1

ddcot205 comparetotal  -0.7E+1 7      -> -1

ddcot206 comparetotal  -70E-1  7      -> -1

ddcot207 comparetotal  -7.0    7E+0   -> -1

ddcot208 comparetotal  -7.0    70E-1  -> -1

ddcot209 comparetotal  -7      0.7E+1 -> -1

ddcot210 comparetotal  -7      70E-1  -> -1



ddcot220 comparetotal  -8.0    7.0    -> -1

ddcot221 comparetotal  -8.0    7      -> -1

ddcot222 comparetotal  -8      7.0    -> -1

ddcot223 comparetotal  -8E+0   7.0    -> -1

ddcot224 comparetotal  -80E-1  7.0    -> -1

ddcot225 comparetotal  -0.8E+1 7      -> -1

ddcot226 comparetotal  -80E-1  7      -> -1

ddcot227 comparetotal  -8.0    7E+0   -> -1

ddcot228 comparetotal  -8.0    70E-1  -> -1

ddcot229 comparetotal  -8      0.7E+1 -> -1

ddcot230 comparetotal  -8      70E-1  -> -1



ddcot240 comparetotal  -8.0    9.0    -> -1

ddcot241 comparetotal  -8.0    9      -> -1

ddcot242 comparetotal  -8      9.0    -> -1

ddcot243 comparetotal  -8E+0   9.0    -> -1

ddcot244 comparetotal  -80E-1  9.0    -> -1

ddcot245 comparetotal  -0.8E+1 9      -> -1

ddcot246 comparetotal  -80E-1  9      -> -1

ddcot247 comparetotal  -8.0    9E+0   -> -1

ddcot248 comparetotal  -8.0    90E-1  -> -1

ddcot249 comparetotal  -8      0.9E+1 -> -1

ddcot250 comparetotal  -8      90E-1  -> -1



-- and again, with sign changes +- ..

ddcot300 comparetotal   7.0    -7.0    -> 1

ddcot301 comparetotal   7.0    -7      -> 1

ddcot302 comparetotal   7      -7.0    -> 1

ddcot303 comparetotal   7E+0   -7.0    -> 1

ddcot304 comparetotal   70E-1  -7.0    -> 1

ddcot305 comparetotal   .7E+1  -7      -> 1

ddcot306 comparetotal   70E-1  -7      -> 1

ddcot307 comparetotal   7.0    -7E+0   -> 1

ddcot308 comparetotal   7.0    -70E-1  -> 1

ddcot309 comparetotal   7      -.7E+1  -> 1

ddcot310 comparetotal   7      -70E-1  -> 1



ddcot320 comparetotal   8.0    -7.0    -> 1

ddcot321 comparetotal   8.0    -7      -> 1

ddcot322 comparetotal   8      -7.0    -> 1

ddcot323 comparetotal   8E+0   -7.0    -> 1

ddcot324 comparetotal   80E-1  -7.0    -> 1

ddcot325 comparetotal   .8E+1  -7      -> 1

ddcot326 comparetotal   80E-1  -7      -> 1

ddcot327 comparetotal   8.0    -7E+0   -> 1

ddcot328 comparetotal   8.0    -70E-1  -> 1

ddcot329 comparetotal   8      -.7E+1  -> 1

ddcot330 comparetotal   8      -70E-1  -> 1



ddcot340 comparetotal   8.0    -9.0    -> 1

ddcot341 comparetotal   8.0    -9      -> 1

ddcot342 comparetotal   8      -9.0    -> 1

ddcot343 comparetotal   8E+0   -9.0    -> 1

ddcot344 comparetotal   80E-1  -9.0    -> 1

ddcot345 comparetotal   .8E+1  -9      -> 1

ddcot346 comparetotal   80E-1  -9      -> 1

ddcot347 comparetotal   8.0    -9E+0   -> 1

ddcot348 comparetotal   8.0    -90E-1  -> 1

ddcot349 comparetotal   8      -.9E+1  -> 1

ddcot350 comparetotal   8      -90E-1  -> 1



-- and again, with sign changes -- ..

ddcot400 comparetotal   -7.0    -7.0    -> 0

ddcot401 comparetotal   -7.0    -7      -> 1

ddcot402 comparetotal   -7      -7.0    -> -1

ddcot403 comparetotal   -7E+0   -7.0    -> -1

ddcot404 comparetotal   -70E-1  -7.0    -> 0

ddcot405 comparetotal   -.7E+1  -7      -> 0

ddcot406 comparetotal   -70E-1  -7      -> 1

ddcot407 comparetotal   -7.0    -7E+0   -> 1

ddcot408 comparetotal   -7.0    -70E-1  -> 0

ddcot409 comparetotal   -7      -.7E+1  -> 0

ddcot410 comparetotal   -7      -70E-1  -> -1



ddcot420 comparetotal   -8.0    -7.0    -> -1

ddcot421 comparetotal   -8.0    -7      -> -1

ddcot422 comparetotal   -8      -7.0    -> -1

ddcot423 comparetotal   -8E+0   -7.0    -> -1

ddcot424 comparetotal   -80E-1  -7.0    -> -1

ddcot425 comparetotal   -.8E+1  -7      -> -1

ddcot426 comparetotal   -80E-1  -7      -> -1

ddcot427 comparetotal   -8.0    -7E+0   -> -1

ddcot428 comparetotal   -8.0    -70E-1  -> -1

ddcot429 comparetotal   -8      -.7E+1  -> -1

ddcot430 comparetotal   -8      -70E-1  -> -1



ddcot440 comparetotal   -8.0    -9.0    -> 1

ddcot441 comparetotal   -8.0    -9      -> 1

ddcot442 comparetotal   -8      -9.0    -> 1

ddcot443 comparetotal   -8E+0   -9.0    -> 1

ddcot444 comparetotal   -80E-1  -9.0    -> 1

ddcot445 comparetotal   -.8E+1  -9      -> 1

ddcot446 comparetotal   -80E-1  -9      -> 1

ddcot447 comparetotal   -8.0    -9E+0   -> 1

ddcot448 comparetotal   -8.0    -90E-1  -> 1

ddcot449 comparetotal   -8      -.9E+1  -> 1

ddcot450 comparetotal   -8      -90E-1  -> 1





-- testcases that subtract to lots of zeros at boundaries [pgr]

ddcot473 comparetotal 123.4560000000000E-89 123.456E-89 -> -1

ddcot474 comparetotal 123.456000000000E+89 123.456E+89 -> -1

ddcot475 comparetotal 123.45600000000E-89 123.456E-89 -> -1

ddcot476 comparetotal 123.4560000000E+89 123.456E+89 -> -1

ddcot477 comparetotal 123.456000000E-89 123.456E-89 -> -1

ddcot478 comparetotal 123.45600000E+89 123.456E+89 -> -1

ddcot479 comparetotal 123.4560000E-89 123.456E-89 -> -1

ddcot480 comparetotal 123.456000E+89 123.456E+89 -> -1

ddcot481 comparetotal 123.45600E-89 123.456E-89 -> -1

ddcot482 comparetotal 123.4560E+89 123.456E+89 -> -1

ddcot483 comparetotal 123.456E-89 123.456E-89 -> 0

ddcot487 comparetotal 123.456E+89 123.4560000000000E+89 -> 1

ddcot488 comparetotal 123.456E-89 123.456000000000E-89 -> 1

ddcot489 comparetotal 123.456E+89 123.45600000000E+89 -> 1

ddcot490 comparetotal 123.456E-89 123.4560000000E-89 -> 1

ddcot491 comparetotal 123.456E+89 123.456000000E+89 -> 1

ddcot492 comparetotal 123.456E-89 123.45600000E-89 -> 1

ddcot493 comparetotal 123.456E+89 123.4560000E+89 -> 1

ddcot494 comparetotal 123.456E-89 123.456000E-89 -> 1

ddcot495 comparetotal 123.456E+89 123.45600E+89 -> 1

ddcot496 comparetotal 123.456E-89 123.4560E-89 -> 1

ddcot497 comparetotal 123.456E+89 123.456E+89 -> 0



-- wide-ranging, around precision; signs equal

ddcot498 comparetotal    1     1E-17    -> 1

ddcot499 comparetotal    1     1E-16    -> 1

ddcot500 comparetotal    1     1E-15    -> 1

ddcot501 comparetotal    1     1E-14    -> 1

ddcot502 comparetotal    1     1E-13    -> 1

ddcot503 comparetotal    1     1E-12    -> 1

ddcot504 comparetotal    1     1E-11    -> 1

ddcot505 comparetotal    1     1E-10    -> 1

ddcot506 comparetotal    1     1E-9     -> 1

ddcot507 comparetotal    1     1E-8     -> 1

ddcot508 comparetotal    1     1E-7     -> 1

ddcot509 comparetotal    1     1E-6     -> 1

ddcot510 comparetotal    1     1E-5     -> 1

ddcot511 comparetotal    1     1E-4     -> 1

ddcot512 comparetotal    1     1E-3     -> 1

ddcot513 comparetotal    1     1E-2     -> 1

ddcot514 comparetotal    1     1E-1     -> 1

ddcot515 comparetotal    1     1E-0     -> 0

ddcot516 comparetotal    1     1E+1     -> -1

ddcot517 comparetotal    1     1E+2     -> -1

ddcot518 comparetotal    1     1E+3     -> -1

ddcot519 comparetotal    1     1E+4     -> -1

ddcot521 comparetotal    1     1E+5     -> -1

ddcot522 comparetotal    1     1E+6     -> -1

ddcot523 comparetotal    1     1E+7     -> -1

ddcot524 comparetotal    1     1E+8     -> -1

ddcot525 comparetotal    1     1E+9     -> -1

ddcot526 comparetotal    1     1E+10    -> -1

ddcot527 comparetotal    1     1E+11    -> -1

ddcot528 comparetotal    1     1E+12    -> -1

ddcot529 comparetotal    1     1E+13    -> -1

ddcot530 comparetotal    1     1E+14    -> -1

ddcot531 comparetotal    1     1E+15    -> -1

ddcot532 comparetotal    1     1E+16    -> -1

ddcot533 comparetotal    1     1E+17    -> -1

-- LR swap

ddcot538 comparetotal    1E-17  1       -> -1

ddcot539 comparetotal    1E-16  1       -> -1

ddcot540 comparetotal    1E-15  1       -> -1

ddcot541 comparetotal    1E-14  1       -> -1

ddcot542 comparetotal    1E-13  1       -> -1

ddcot543 comparetotal    1E-12  1       -> -1

ddcot544 comparetotal    1E-11  1       -> -1

ddcot545 comparetotal    1E-10  1       -> -1

ddcot546 comparetotal    1E-9   1       -> -1

ddcot547 comparetotal    1E-8   1       -> -1

ddcot548 comparetotal    1E-7   1       -> -1

ddcot549 comparetotal    1E-6   1       -> -1

ddcot550 comparetotal    1E-5   1       -> -1

ddcot551 comparetotal    1E-4   1       -> -1

ddcot552 comparetotal    1E-3   1       -> -1

ddcot553 comparetotal    1E-2   1       -> -1

ddcot554 comparetotal    1E-1   1       -> -1

ddcot555 comparetotal    1E-0   1       ->  0

ddcot556 comparetotal    1E+1   1       ->  1

ddcot557 comparetotal    1E+2   1       ->  1

ddcot558 comparetotal    1E+3   1       ->  1

ddcot559 comparetotal    1E+4   1       ->  1

ddcot561 comparetotal    1E+5   1       ->  1

ddcot562 comparetotal    1E+6   1       ->  1

ddcot563 comparetotal    1E+7   1       ->  1

ddcot564 comparetotal    1E+8   1       ->  1

ddcot565 comparetotal    1E+9   1       ->  1

ddcot566 comparetotal    1E+10  1       ->  1

ddcot567 comparetotal    1E+11  1       ->  1

ddcot568 comparetotal    1E+12  1       ->  1

ddcot569 comparetotal    1E+13  1       ->  1

ddcot570 comparetotal    1E+14  1       ->  1

ddcot571 comparetotal    1E+15  1       ->  1

ddcot572 comparetotal    1E+16  1       ->  1

ddcot573 comparetotal    1E+17  1       ->  1

-- similar with a useful coefficient, one side only

ddcot578 comparetotal  0.000000987654321     1E-17    -> 1

ddcot579 comparetotal  0.000000987654321     1E-16    -> 1

ddcot580 comparetotal  0.000000987654321     1E-15    -> 1

ddcot581 comparetotal  0.000000987654321     1E-14    -> 1

ddcot582 comparetotal  0.000000987654321     1E-13    -> 1

ddcot583 comparetotal  0.000000987654321     1E-12    -> 1

ddcot584 comparetotal  0.000000987654321     1E-11    -> 1

ddcot585 comparetotal  0.000000987654321     1E-10    -> 1

ddcot586 comparetotal  0.000000987654321     1E-9     -> 1

ddcot587 comparetotal  0.000000987654321     1E-8     -> 1

ddcot588 comparetotal  0.000000987654321     1E-7     -> 1

ddcot589 comparetotal  0.000000987654321     1E-6     -> -1

ddcot590 comparetotal  0.000000987654321     1E-5     -> -1

ddcot591 comparetotal  0.000000987654321     1E-4     -> -1

ddcot592 comparetotal  0.000000987654321     1E-3     -> -1

ddcot593 comparetotal  0.000000987654321     1E-2     -> -1

ddcot594 comparetotal  0.000000987654321     1E-1     -> -1

ddcot595 comparetotal  0.000000987654321     1E-0     -> -1

ddcot596 comparetotal  0.000000987654321     1E+1     -> -1

ddcot597 comparetotal  0.000000987654321     1E+2     -> -1

ddcot598 comparetotal  0.000000987654321     1E+3     -> -1

ddcot599 comparetotal  0.000000987654321     1E+4     -> -1



-- check some unit-y traps

ddcot600 comparetotal   12            12.2345 -> -1

ddcot601 comparetotal   12.0          12.2345 -> -1

ddcot602 comparetotal   12.00         12.2345 -> -1

ddcot603 comparetotal   12.000        12.2345 -> -1

ddcot604 comparetotal   12.0000       12.2345 -> -1

ddcot605 comparetotal   12.00000      12.2345 -> -1

ddcot606 comparetotal   12.000000     12.2345 -> -1

ddcot607 comparetotal   12.0000000    12.2345 -> -1

ddcot608 comparetotal   12.00000000   12.2345 -> -1

ddcot609 comparetotal   12.000000000  12.2345 -> -1

ddcot610 comparetotal   12.1234 12            ->  1

ddcot611 comparetotal   12.1234 12.0          ->  1

ddcot612 comparetotal   12.1234 12.00         ->  1

ddcot613 comparetotal   12.1234 12.000        ->  1

ddcot614 comparetotal   12.1234 12.0000       ->  1

ddcot615 comparetotal   12.1234 12.00000      ->  1

ddcot616 comparetotal   12.1234 12.000000     ->  1

ddcot617 comparetotal   12.1234 12.0000000    ->  1

ddcot618 comparetotal   12.1234 12.00000000   ->  1

ddcot619 comparetotal   12.1234 12.000000000  ->  1

ddcot620 comparetotal  -12           -12.2345 ->  1

ddcot621 comparetotal  -12.0         -12.2345 ->  1

ddcot622 comparetotal  -12.00        -12.2345 ->  1

ddcot623 comparetotal  -12.000       -12.2345 ->  1

ddcot624 comparetotal  -12.0000      -12.2345 ->  1

ddcot625 comparetotal  -12.00000     -12.2345 ->  1

ddcot626 comparetotal  -12.000000    -12.2345 ->  1

ddcot627 comparetotal  -12.0000000   -12.2345 ->  1

ddcot628 comparetotal  -12.00000000  -12.2345 ->  1

ddcot629 comparetotal  -12.000000000 -12.2345 ->  1

ddcot630 comparetotal  -12.1234 -12           -> -1

ddcot631 comparetotal  -12.1234 -12.0         -> -1

ddcot632 comparetotal  -12.1234 -12.00        -> -1

ddcot633 comparetotal  -12.1234 -12.000       -> -1

ddcot634 comparetotal  -12.1234 -12.0000      -> -1

ddcot635 comparetotal  -12.1234 -12.00000     -> -1

ddcot636 comparetotal  -12.1234 -12.000000    -> -1

ddcot637 comparetotal  -12.1234 -12.0000000   -> -1

ddcot638 comparetotal  -12.1234 -12.00000000  -> -1

ddcot639 comparetotal  -12.1234 -12.000000000 -> -1



-- extended zeros

ddcot640 comparetotal   0     0   -> 0

ddcot641 comparetotal   0    -0   -> 1

ddcot642 comparetotal   0    -0.0 -> 1

ddcot643 comparetotal   0     0.0 -> 1

ddcot644 comparetotal  -0     0   -> -1

ddcot645 comparetotal  -0    -0   -> 0

ddcot646 comparetotal  -0    -0.0 -> -1

ddcot647 comparetotal  -0     0.0 -> -1

ddcot648 comparetotal   0.0   0   -> -1

ddcot649 comparetotal   0.0  -0   -> 1

ddcot650 comparetotal   0.0  -0.0 -> 1

ddcot651 comparetotal   0.0   0.0 -> 0

ddcot652 comparetotal  -0.0   0   -> -1

ddcot653 comparetotal  -0.0  -0   -> 1

ddcot654 comparetotal  -0.0  -0.0 -> 0

ddcot655 comparetotal  -0.0   0.0 -> -1



ddcot656 comparetotal  -0E1   0.0 -> -1

ddcot657 comparetotal  -0E2   0.0 -> -1

ddcot658 comparetotal   0E1   0.0 -> 1

ddcot659 comparetotal   0E2   0.0 -> 1

ddcot660 comparetotal  -0E1   0   -> -1

ddcot661 comparetotal  -0E2   0   -> -1

ddcot662 comparetotal   0E1   0   -> 1

ddcot663 comparetotal   0E2   0   -> 1

ddcot664 comparetotal  -0E1  -0E1 -> 0

ddcot665 comparetotal  -0E2  -0E1 -> -1

ddcot666 comparetotal   0E1  -0E1 -> 1

ddcot667 comparetotal   0E2  -0E1 -> 1

ddcot668 comparetotal  -0E1  -0E2 -> 1

ddcot669 comparetotal  -0E2  -0E2 -> 0

ddcot670 comparetotal   0E1  -0E2 -> 1

ddcot671 comparetotal   0E2  -0E2 -> 1

ddcot672 comparetotal  -0E1   0E1 -> -1

ddcot673 comparetotal  -0E2   0E1 -> -1

ddcot674 comparetotal   0E1   0E1 -> 0

ddcot675 comparetotal   0E2   0E1 -> 1

ddcot676 comparetotal  -0E1   0E2 -> -1

ddcot677 comparetotal  -0E2   0E2 -> -1

ddcot678 comparetotal   0E1   0E2 -> -1

ddcot679 comparetotal   0E2   0E2 -> 0



-- trailing zeros; unit-y

ddcot680 comparetotal   12    12           -> 0

ddcot681 comparetotal   12    12.0         -> 1

ddcot682 comparetotal   12    12.00        -> 1

ddcot683 comparetotal   12    12.000       -> 1

ddcot684 comparetotal   12    12.0000      -> 1

ddcot685 comparetotal   12    12.00000     -> 1

ddcot686 comparetotal   12    12.000000    -> 1

ddcot687 comparetotal   12    12.0000000   -> 1

ddcot688 comparetotal   12    12.00000000  -> 1

ddcot689 comparetotal   12    12.000000000 -> 1

ddcot690 comparetotal   12              12 -> 0

ddcot691 comparetotal   12.0            12 -> -1

ddcot692 comparetotal   12.00           12 -> -1

ddcot693 comparetotal   12.000          12 -> -1

ddcot694 comparetotal   12.0000         12 -> -1

ddcot695 comparetotal   12.00000        12 -> -1

ddcot696 comparetotal   12.000000       12 -> -1

ddcot697 comparetotal   12.0000000      12 -> -1

ddcot698 comparetotal   12.00000000     12 -> -1

ddcot699 comparetotal   12.000000000    12 -> -1



-- old long operand checks

ddcot701 comparetotal 12345678000  1 ->  1

ddcot702 comparetotal 1 12345678000  -> -1

ddcot703 comparetotal 1234567800   1 ->  1

ddcot704 comparetotal 1 1234567800   -> -1

ddcot705 comparetotal 1234567890   1 ->  1

ddcot706 comparetotal 1 1234567890   -> -1

ddcot707 comparetotal 1234567891   1 ->  1

ddcot708 comparetotal 1 1234567891   -> -1

ddcot709 comparetotal 12345678901  1 ->  1

ddcot710 comparetotal 1 12345678901  -> -1

ddcot711 comparetotal 1234567896   1 ->  1

ddcot712 comparetotal 1 1234567896   -> -1

ddcot713 comparetotal -1234567891  1 -> -1

ddcot714 comparetotal 1 -1234567891  ->  1

ddcot715 comparetotal -12345678901 1 -> -1

ddcot716 comparetotal 1 -12345678901 ->  1

ddcot717 comparetotal -1234567896  1 -> -1

ddcot718 comparetotal 1 -1234567896  ->  1



-- old residue cases

ddcot740 comparetotal  1  0.9999999  -> 1

ddcot741 comparetotal  1  0.999999   -> 1

ddcot742 comparetotal  1  0.99999    -> 1

ddcot743 comparetotal  1  1.0000     -> 1

ddcot744 comparetotal  1  1.00001    -> -1

ddcot745 comparetotal  1  1.000001   -> -1

ddcot746 comparetotal  1  1.0000001  -> -1

ddcot750 comparetotal  0.9999999  1  -> -1

ddcot751 comparetotal  0.999999   1  -> -1

ddcot752 comparetotal  0.99999    1  -> -1

ddcot753 comparetotal  1.0000     1  -> -1

ddcot754 comparetotal  1.00001    1  -> 1

ddcot755 comparetotal  1.000001   1  -> 1

ddcot756 comparetotal  1.0000001  1  -> 1



-- Specials

ddcot780 comparetotal  Inf  -Inf   ->  1

ddcot781 comparetotal  Inf  -1000  ->  1

ddcot782 comparetotal  Inf  -1     ->  1

ddcot783 comparetotal  Inf  -0     ->  1

ddcot784 comparetotal  Inf   0     ->  1

ddcot785 comparetotal  Inf   1     ->  1

ddcot786 comparetotal  Inf   1000  ->  1

ddcot787 comparetotal  Inf   Inf   ->  0

ddcot788 comparetotal -1000  Inf   -> -1

ddcot789 comparetotal -Inf   Inf   -> -1

ddcot790 comparetotal -1     Inf   -> -1

ddcot791 comparetotal -0     Inf   -> -1

ddcot792 comparetotal  0     Inf   -> -1

ddcot793 comparetotal  1     Inf   -> -1

ddcot794 comparetotal  1000  Inf   -> -1

ddcot795 comparetotal  Inf   Inf   ->  0



ddcot800 comparetotal -Inf  -Inf   ->  0

ddcot801 comparetotal -Inf  -1000  -> -1

ddcot802 comparetotal -Inf  -1     -> -1

ddcot803 comparetotal -Inf  -0     -> -1

ddcot804 comparetotal -Inf   0     -> -1

ddcot805 comparetotal -Inf   1     -> -1

ddcot806 comparetotal -Inf   1000  -> -1

ddcot807 comparetotal -Inf   Inf   -> -1

ddcot808 comparetotal -Inf  -Inf   ->  0

ddcot809 comparetotal -1000 -Inf   ->  1

ddcot810 comparetotal -1    -Inf   ->  1

ddcot811 comparetotal -0    -Inf   ->  1

ddcot812 comparetotal  0    -Inf   ->  1

ddcot813 comparetotal  1    -Inf   ->  1

ddcot814 comparetotal  1000 -Inf   ->  1

ddcot815 comparetotal  Inf  -Inf   ->  1



ddcot821 comparetotal  NaN -Inf    ->  1

ddcot822 comparetotal  NaN -1000   ->  1

ddcot823 comparetotal  NaN -1      ->  1

ddcot824 comparetotal  NaN -0      ->  1

ddcot825 comparetotal  NaN  0      ->  1

ddcot826 comparetotal  NaN  1      ->  1

ddcot827 comparetotal  NaN  1000   ->  1

ddcot828 comparetotal  NaN  Inf    ->  1

ddcot829 comparetotal  NaN  NaN    ->  0

ddcot830 comparetotal -Inf  NaN    ->  -1

ddcot831 comparetotal -1000 NaN    ->  -1

ddcot832 comparetotal -1    NaN    ->  -1

ddcot833 comparetotal -0    NaN    ->  -1

ddcot834 comparetotal  0    NaN    ->  -1

ddcot835 comparetotal  1    NaN    ->  -1

ddcot836 comparetotal  1000 NaN    ->  -1

ddcot837 comparetotal  Inf  NaN    ->  -1

ddcot838 comparetotal -NaN -NaN    ->  0

ddcot839 comparetotal +NaN -NaN    ->  1

ddcot840 comparetotal -NaN +NaN    ->  -1



ddcot841 comparetotal  sNaN -sNaN  ->  1

ddcot842 comparetotal  sNaN -NaN   ->  1

ddcot843 comparetotal  sNaN -Inf   ->  1

ddcot844 comparetotal  sNaN -1000  ->  1

ddcot845 comparetotal  sNaN -1     ->  1

ddcot846 comparetotal  sNaN -0     ->  1

ddcot847 comparetotal  sNaN  0     ->  1

ddcot848 comparetotal  sNaN  1     ->  1

ddcot849 comparetotal  sNaN  1000  ->  1

ddcot850 comparetotal  sNaN  NaN   ->  -1

ddcot851 comparetotal  sNaN sNaN   ->  0



ddcot852 comparetotal -sNaN sNaN   ->  -1

ddcot853 comparetotal -NaN  sNaN   ->  -1

ddcot854 comparetotal -Inf  sNaN   ->  -1

ddcot855 comparetotal -1000 sNaN   ->  -1

ddcot856 comparetotal -1    sNaN   ->  -1

ddcot857 comparetotal -0    sNaN   ->  -1

ddcot858 comparetotal  0    sNaN   ->  -1

ddcot859 comparetotal  1    sNaN   ->  -1

ddcot860 comparetotal  1000 sNaN   ->  -1

ddcot861 comparetotal  Inf  sNaN   ->  -1

ddcot862 comparetotal  NaN  sNaN   ->  1

ddcot863 comparetotal  sNaN sNaN   ->  0



ddcot871 comparetotal  -sNaN -sNaN  ->  0

ddcot872 comparetotal  -sNaN -NaN   ->  1

ddcot873 comparetotal  -sNaN -Inf   ->  -1

ddcot874 comparetotal  -sNaN -1000  ->  -1

ddcot875 comparetotal  -sNaN -1     ->  -1

ddcot876 comparetotal  -sNaN -0     ->  -1

ddcot877 comparetotal  -sNaN  0     ->  -1

ddcot878 comparetotal  -sNaN  1     ->  -1

ddcot879 comparetotal  -sNaN  1000  ->  -1

ddcot880 comparetotal  -sNaN  NaN   ->  -1

ddcot881 comparetotal  -sNaN sNaN   ->  -1



ddcot882 comparetotal -sNaN -sNaN   ->  0

ddcot883 comparetotal -NaN  -sNaN   ->  -1

ddcot884 comparetotal -Inf  -sNaN   ->  1

ddcot885 comparetotal -1000 -sNaN   ->  1

ddcot886 comparetotal -1    -sNaN   ->  1

ddcot887 comparetotal -0    -sNaN   ->  1

ddcot888 comparetotal  0    -sNaN   ->  1

ddcot889 comparetotal  1    -sNaN   ->  1

ddcot890 comparetotal  1000 -sNaN   ->  1

ddcot891 comparetotal  Inf  -sNaN   ->  1

ddcot892 comparetotal  NaN  -sNaN   ->  1

ddcot893 comparetotal  sNaN -sNaN   ->  1



-- NaNs with payload

ddcot960 comparetotal  NaN9 -Inf   ->  1

ddcot961 comparetotal  NaN8  999   ->  1

ddcot962 comparetotal  NaN77 Inf   ->  1

ddcot963 comparetotal -NaN67 NaN5  ->  -1

ddcot964 comparetotal -Inf  -NaN4  ->  1

ddcot965 comparetotal -999  -NaN33 ->  1

ddcot966 comparetotal  Inf   NaN2  ->  -1



ddcot970 comparetotal -NaN41 -NaN42 -> 1

ddcot971 comparetotal +NaN41 -NaN42 -> 1

ddcot972 comparetotal -NaN41 +NaN42 -> -1

ddcot973 comparetotal +NaN41 +NaN42 -> -1

ddcot974 comparetotal -NaN42 -NaN01 -> -1

ddcot975 comparetotal +NaN42 -NaN01 ->  1

ddcot976 comparetotal -NaN42 +NaN01 -> -1

ddcot977 comparetotal +NaN42 +NaN01 ->  1



ddcot980 comparetotal -sNaN771 -sNaN772 -> 1

ddcot981 comparetotal +sNaN771 -sNaN772 -> 1

ddcot982 comparetotal -sNaN771 +sNaN772 -> -1

ddcot983 comparetotal +sNaN771 +sNaN772 -> -1

ddcot984 comparetotal -sNaN772 -sNaN771 -> -1

ddcot985 comparetotal +sNaN772 -sNaN771 ->  1

ddcot986 comparetotal -sNaN772 +sNaN771 -> -1

ddcot987 comparetotal +sNaN772 +sNaN771 ->  1



ddcot991 comparetotal -sNaN99 -Inf    -> -1

ddcot992 comparetotal  sNaN98 -11     ->  1

ddcot993 comparetotal  sNaN97  NaN    -> -1

ddcot994 comparetotal  sNaN16 sNaN94  -> -1

ddcot995 comparetotal  NaN85  sNaN83  ->  1

ddcot996 comparetotal -Inf    sNaN92  -> -1

ddcot997 comparetotal  088    sNaN81  -> -1

ddcot998 comparetotal  Inf    sNaN90  -> -1

ddcot999 comparetotal  NaN   -sNaN89  ->  1



-- spread zeros

ddcot1110 comparetotal   0E-383  0       -> -1

ddcot1111 comparetotal   0E-383 -0       ->  1

ddcot1112 comparetotal  -0E-383  0       -> -1

ddcot1113 comparetotal  -0E-383 -0       ->  1

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

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

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

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

ddcot1118 comparetotal   0       0E+384  -> -1

ddcot1119 comparetotal   0      -0E+384  ->  1

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

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



ddcot1130 comparetotal   0E+384  0       ->  1

ddcot1131 comparetotal   0E+384 -0       ->  1

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

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

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

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

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

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

ddcot1138 comparetotal   0       0E-383  ->  1

ddcot1139 comparetotal   0      -0E-383  ->  1

ddcot1140 comparetotal  -0       0E-383  -> -1

ddcot1141 comparetotal  -0      -0E-383  -> -1



-- Null tests

ddcot9990 comparetotal 10  # -> NaN Invalid_operation

ddcot9991 comparetotal  # 10 -> NaN Invalid_operation

