Plan 9 from Bell Labs’s /usr/web/sources/contrib/jas/root/sys/lib/python2.7/test/decimaltestdata/ddCompareTotal.decTest

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


------------------------------------------------------------------------
-- 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         --
--   [email protected]                                                   --
------------------------------------------------------------------------
version: 2.59

-- Note that we cannot assume add/subtract tests cover paths adequately,
-- here, because the code might be quite different (comparison cannot
-- overflow or underflow, so actual subtractions are not necessary).
-- 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

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to [email protected].