You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

548 lines
23 KiB
Plaintext

------------------------------------------------------------------------
-- comparetotal0.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: 0
precision: 16
rounding: half_up
maxExponent: 384
minExponent: -383
-- sanity checks
cot001 comparetotal -2 -2 -> 0
cot002 comparetotal -2 -1 -> -1
cot003 comparetotal -2 0 -> -1
cot004 comparetotal -2 1 -> -1
cot005 comparetotal -2 2 -> -1
cot006 comparetotal -1 -2 -> 1
cot007 comparetotal -1 -1 -> 0
cot008 comparetotal -1 0 -> -1
cot009 comparetotal -1 1 -> -1
cot010 comparetotal -1 2 -> -1
cot011 comparetotal 0 -2 -> 1
cot012 comparetotal 0 -1 -> 1
cot013 comparetotal 0 0 -> 0
cot014 comparetotal 0 1 -> -1
cot015 comparetotal 0 2 -> -1
cot016 comparetotal 1 -2 -> 1
cot017 comparetotal 1 -1 -> 1
cot018 comparetotal 1 0 -> 1
cot019 comparetotal 1 1 -> 0
cot020 comparetotal 1 2 -> -1
cot021 comparetotal 2 -2 -> 1
cot022 comparetotal 2 -1 -> 1
cot023 comparetotal 2 0 -> 1
cot025 comparetotal 2 1 -> 1
cot026 comparetotal 2 2 -> 0
cot031 comparetotal -20 -20 -> 0
cot032 comparetotal -20 -10 -> -1
cot033 comparetotal -20 00 -> -1
cot034 comparetotal -20 10 -> -1
cot035 comparetotal -20 20 -> -1
cot036 comparetotal -10 -20 -> 1
cot037 comparetotal -10 -10 -> 0
cot038 comparetotal -10 00 -> -1
cot039 comparetotal -10 10 -> -1
cot040 comparetotal -10 20 -> -1
cot041 comparetotal 00 -20 -> 1
cot042 comparetotal 00 -10 -> 1
cot043 comparetotal 00 00 -> 0
cot044 comparetotal 00 10 -> -1
cot045 comparetotal 00 20 -> -1
cot046 comparetotal 10 -20 -> 1
cot047 comparetotal 10 -10 -> 1
cot048 comparetotal 10 00 -> 1
cot049 comparetotal 10 10 -> 0
cot050 comparetotal 10 20 -> -1
cot051 comparetotal 20 -20 -> 1
cot052 comparetotal 20 -10 -> 1
cot053 comparetotal 20 00 -> 1
cot055 comparetotal 20 10 -> 1
cot056 comparetotal 20 20 -> 0
cot061 comparetotal -2.0 -2.0 -> 0
cot062 comparetotal -2.0 -1.0 -> -1
cot063 comparetotal -2.0 0.0 -> -1
cot064 comparetotal -2.0 1.0 -> -1
cot065 comparetotal -2.0 2.0 -> -1
cot066 comparetotal -1.0 -2.0 -> 1
cot067 comparetotal -1.0 -1.0 -> 0
cot068 comparetotal -1.0 0.0 -> -1
cot069 comparetotal -1.0 1.0 -> -1
cot070 comparetotal -1.0 2.0 -> -1
cot071 comparetotal 0.0 -2.0 -> 1
cot072 comparetotal 0.0 -1.0 -> 1
cot073 comparetotal 0.0 0.0 -> 0
cot074 comparetotal 0.0 1.0 -> -1
cot075 comparetotal 0.0 2.0 -> -1
cot076 comparetotal 1.0 -2.0 -> 1
cot077 comparetotal 1.0 -1.0 -> 1
cot078 comparetotal 1.0 0.0 -> 1
cot079 comparetotal 1.0 1.0 -> 0
cot080 comparetotal 1.0 2.0 -> -1
cot081 comparetotal 2.0 -2.0 -> 1
cot082 comparetotal 2.0 -1.0 -> 1
cot083 comparetotal 2.0 0.0 -> 1
cot085 comparetotal 2.0 1.0 -> 1
cot086 comparetotal 2.0 2.0 -> 0
-- now some cases which might overflow if subtract were used
maxexponent: 999999999
minexponent: -999999999
cot090 comparetotal 9.99999999E+999999999 9.99999999E+999999999 -> 0
cot091 comparetotal -9.99999999E+999999999 9.99999999E+999999999 -> -1
cot092 comparetotal 9.99999999E+999999999 -9.99999999E+999999999 -> 1
cot093 comparetotal -9.99999999E+999999999 -9.99999999E+999999999 -> 0
-- some differing length/exponent cases
-- in this first group, compare would compare all equal
cot100 comparetotal 7.0 7.0 -> 0
cot101 comparetotal 7.0 7 -> -1
cot102 comparetotal 7 7.0 -> 1
cot103 comparetotal 7E+0 7.0 -> 1
cot104 comparetotal 70E-1 7.0 -> 0
cot105 comparetotal 0.7E+1 7 -> 0
cot106 comparetotal 70E-1 7 -> -1
cot107 comparetotal 7.0 7E+0 -> -1
cot108 comparetotal 7.0 70E-1 -> 0
cot109 comparetotal 7 0.7E+1 -> 0
cot110 comparetotal 7 70E-1 -> 1
cot120 comparetotal 8.0 7.0 -> 1
cot121 comparetotal 8.0 7 -> 1
cot122 comparetotal 8 7.0 -> 1
cot123 comparetotal 8E+0 7.0 -> 1
cot124 comparetotal 80E-1 7.0 -> 1
cot125 comparetotal 0.8E+1 7 -> 1
cot126 comparetotal 80E-1 7 -> 1
cot127 comparetotal 8.0 7E+0 -> 1
cot128 comparetotal 8.0 70E-1 -> 1
cot129 comparetotal 8 0.7E+1 -> 1
cot130 comparetotal 8 70E-1 -> 1
cot140 comparetotal 8.0 9.0 -> -1
cot141 comparetotal 8.0 9 -> -1
cot142 comparetotal 8 9.0 -> -1
cot143 comparetotal 8E+0 9.0 -> -1
cot144 comparetotal 80E-1 9.0 -> -1
cot145 comparetotal 0.8E+1 9 -> -1
cot146 comparetotal 80E-1 9 -> -1
cot147 comparetotal 8.0 9E+0 -> -1
cot148 comparetotal 8.0 90E-1 -> -1
cot149 comparetotal 8 0.9E+1 -> -1
cot150 comparetotal 8 90E-1 -> -1
-- and again, with sign changes -+ ..
cot200 comparetotal -7.0 7.0 -> -1
cot201 comparetotal -7.0 7 -> -1
cot202 comparetotal -7 7.0 -> -1
cot203 comparetotal -7E+0 7.0 -> -1
cot204 comparetotal -70E-1 7.0 -> -1
cot205 comparetotal -0.7E+1 7 -> -1
cot206 comparetotal -70E-1 7 -> -1
cot207 comparetotal -7.0 7E+0 -> -1
cot208 comparetotal -7.0 70E-1 -> -1
cot209 comparetotal -7 0.7E+1 -> -1
cot210 comparetotal -7 70E-1 -> -1
cot220 comparetotal -8.0 7.0 -> -1
cot221 comparetotal -8.0 7 -> -1
cot222 comparetotal -8 7.0 -> -1
cot223 comparetotal -8E+0 7.0 -> -1
cot224 comparetotal -80E-1 7.0 -> -1
cot225 comparetotal -0.8E+1 7 -> -1
cot226 comparetotal -80E-1 7 -> -1
cot227 comparetotal -8.0 7E+0 -> -1
cot228 comparetotal -8.0 70E-1 -> -1
cot229 comparetotal -8 0.7E+1 -> -1
cot230 comparetotal -8 70E-1 -> -1
cot240 comparetotal -8.0 9.0 -> -1
cot241 comparetotal -8.0 9 -> -1
cot242 comparetotal -8 9.0 -> -1
cot243 comparetotal -8E+0 9.0 -> -1
cot244 comparetotal -80E-1 9.0 -> -1
cot245 comparetotal -0.8E+1 9 -> -1
cot246 comparetotal -80E-1 9 -> -1
cot247 comparetotal -8.0 9E+0 -> -1
cot248 comparetotal -8.0 90E-1 -> -1
cot249 comparetotal -8 0.9E+1 -> -1
cot250 comparetotal -8 90E-1 -> -1
-- and again, with sign changes +- ..
cot300 comparetotal 7.0 -7.0 -> 1
cot301 comparetotal 7.0 -7 -> 1
cot302 comparetotal 7 -7.0 -> 1
cot303 comparetotal 7E+0 -7.0 -> 1
cot304 comparetotal 70E-1 -7.0 -> 1
cot305 comparetotal .7E+1 -7 -> 1
cot306 comparetotal 70E-1 -7 -> 1
cot307 comparetotal 7.0 -7E+0 -> 1
cot308 comparetotal 7.0 -70E-1 -> 1
cot309 comparetotal 7 -.7E+1 -> 1
cot310 comparetotal 7 -70E-1 -> 1
cot320 comparetotal 8.0 -7.0 -> 1
cot321 comparetotal 8.0 -7 -> 1
cot322 comparetotal 8 -7.0 -> 1
cot323 comparetotal 8E+0 -7.0 -> 1
cot324 comparetotal 80E-1 -7.0 -> 1
cot325 comparetotal .8E+1 -7 -> 1
cot326 comparetotal 80E-1 -7 -> 1
cot327 comparetotal 8.0 -7E+0 -> 1
cot328 comparetotal 8.0 -70E-1 -> 1
cot329 comparetotal 8 -.7E+1 -> 1
cot330 comparetotal 8 -70E-1 -> 1
cot340 comparetotal 8.0 -9.0 -> 1
cot341 comparetotal 8.0 -9 -> 1
cot342 comparetotal 8 -9.0 -> 1
cot343 comparetotal 8E+0 -9.0 -> 1
cot344 comparetotal 80E-1 -9.0 -> 1
cot345 comparetotal .8E+1 -9 -> 1
cot346 comparetotal 80E-1 -9 -> 1
cot347 comparetotal 8.0 -9E+0 -> 1
cot348 comparetotal 8.0 -90E-1 -> 1
cot349 comparetotal 8 -.9E+1 -> 1
cot350 comparetotal 8 -90E-1 -> 1
-- and again, with sign changes -- ..
cot400 comparetotal -7.0 -7.0 -> 0
cot401 comparetotal -7.0 -7 -> 1
cot402 comparetotal -7 -7.0 -> -1
cot403 comparetotal -7E+0 -7.0 -> -1
cot404 comparetotal -70E-1 -7.0 -> 0
cot405 comparetotal -.7E+1 -7 -> 0
cot406 comparetotal -70E-1 -7 -> 1
cot407 comparetotal -7.0 -7E+0 -> 1
cot408 comparetotal -7.0 -70E-1 -> 0
cot409 comparetotal -7 -.7E+1 -> 0
cot410 comparetotal -7 -70E-1 -> -1
cot420 comparetotal -8.0 -7.0 -> -1
cot421 comparetotal -8.0 -7 -> -1
cot422 comparetotal -8 -7.0 -> -1
cot423 comparetotal -8E+0 -7.0 -> -1
cot424 comparetotal -80E-1 -7.0 -> -1
cot425 comparetotal -.8E+1 -7 -> -1
cot426 comparetotal -80E-1 -7 -> -1
cot427 comparetotal -8.0 -7E+0 -> -1
cot428 comparetotal -8.0 -70E-1 -> -1
cot429 comparetotal -8 -.7E+1 -> -1
cot430 comparetotal -8 -70E-1 -> -1
cot440 comparetotal -8.0 -9.0 -> 1
cot441 comparetotal -8.0 -9 -> 1
cot442 comparetotal -8 -9.0 -> 1
cot443 comparetotal -8E+0 -9.0 -> 1
cot444 comparetotal -80E-1 -9.0 -> 1
cot445 comparetotal -.8E+1 -9 -> 1
cot446 comparetotal -80E-1 -9 -> 1
cot447 comparetotal -8.0 -9E+0 -> 1
cot448 comparetotal -8.0 -90E-1 -> 1
cot449 comparetotal -8 -.9E+1 -> 1
cot450 comparetotal -8 -90E-1 -> 1
-- testcases that subtract to lots of zeros at boundaries [pgr]
precision: 40
cot470 comparetotal 123.4560000000000000E789 123.456E789 -> -1
cot471 comparetotal 123.456000000000000E-89 123.456E-89 -> -1
cot472 comparetotal 123.45600000000000E789 123.456E789 -> -1
cot473 comparetotal 123.4560000000000E-89 123.456E-89 -> -1
cot474 comparetotal 123.456000000000E789 123.456E789 -> -1
cot475 comparetotal 123.45600000000E-89 123.456E-89 -> -1
cot476 comparetotal 123.4560000000E789 123.456E789 -> -1
cot477 comparetotal 123.456000000E-89 123.456E-89 -> -1
cot478 comparetotal 123.45600000E789 123.456E789 -> -1
cot479 comparetotal 123.4560000E-89 123.456E-89 -> -1
cot480 comparetotal 123.456000E789 123.456E789 -> -1
cot481 comparetotal 123.45600E-89 123.456E-89 -> -1
cot482 comparetotal 123.4560E789 123.456E789 -> -1
cot483 comparetotal 123.456E-89 123.456E-89 -> 0
cot484 comparetotal 123.456E-89 123.4560000000000000E-89 -> 1
cot485 comparetotal 123.456E789 123.456000000000000E789 -> 1
cot486 comparetotal 123.456E-89 123.45600000000000E-89 -> 1
cot487 comparetotal 123.456E789 123.4560000000000E789 -> 1
cot488 comparetotal 123.456E-89 123.456000000000E-89 -> 1
cot489 comparetotal 123.456E789 123.45600000000E789 -> 1
cot490 comparetotal 123.456E-89 123.4560000000E-89 -> 1
cot491 comparetotal 123.456E789 123.456000000E789 -> 1
cot492 comparetotal 123.456E-89 123.45600000E-89 -> 1
cot493 comparetotal 123.456E789 123.4560000E789 -> 1
cot494 comparetotal 123.456E-89 123.456000E-89 -> 1
cot495 comparetotal 123.456E789 123.45600E789 -> 1
cot496 comparetotal 123.456E-89 123.4560E-89 -> 1
cot497 comparetotal 123.456E789 123.456E789 -> 0
-- wide-ranging, around precision; signs equal
precision: 9
cot500 comparetotal 1 1E-15 -> 1
cot501 comparetotal 1 1E-14 -> 1
cot502 comparetotal 1 1E-13 -> 1
cot503 comparetotal 1 1E-12 -> 1
cot504 comparetotal 1 1E-11 -> 1
cot505 comparetotal 1 1E-10 -> 1
cot506 comparetotal 1 1E-9 -> 1
cot507 comparetotal 1 1E-8 -> 1
cot508 comparetotal 1 1E-7 -> 1
cot509 comparetotal 1 1E-6 -> 1
cot510 comparetotal 1 1E-5 -> 1
cot511 comparetotal 1 1E-4 -> 1
cot512 comparetotal 1 1E-3 -> 1
cot513 comparetotal 1 1E-2 -> 1
cot514 comparetotal 1 1E-1 -> 1
cot515 comparetotal 1 1E-0 -> 0
cot516 comparetotal 1 1E+1 -> -1
cot517 comparetotal 1 1E+2 -> -1
cot518 comparetotal 1 1E+3 -> -1
cot519 comparetotal 1 1E+4 -> -1
cot521 comparetotal 1 1E+5 -> -1
cot522 comparetotal 1 1E+6 -> -1
cot523 comparetotal 1 1E+7 -> -1
cot524 comparetotal 1 1E+8 -> -1
cot525 comparetotal 1 1E+9 -> -1
cot526 comparetotal 1 1E+10 -> -1
cot527 comparetotal 1 1E+11 -> -1
cot528 comparetotal 1 1E+12 -> -1
cot529 comparetotal 1 1E+13 -> -1
cot530 comparetotal 1 1E+14 -> -1
cot531 comparetotal 1 1E+15 -> -1
-- LR swap
cot540 comparetotal 1E-15 1 -> -1
cot541 comparetotal 1E-14 1 -> -1
cot542 comparetotal 1E-13 1 -> -1
cot543 comparetotal 1E-12 1 -> -1
cot544 comparetotal 1E-11 1 -> -1
cot545 comparetotal 1E-10 1 -> -1
cot546 comparetotal 1E-9 1 -> -1
cot547 comparetotal 1E-8 1 -> -1
cot548 comparetotal 1E-7 1 -> -1
cot549 comparetotal 1E-6 1 -> -1
cot550 comparetotal 1E-5 1 -> -1
cot551 comparetotal 1E-4 1 -> -1
cot552 comparetotal 1E-3 1 -> -1
cot553 comparetotal 1E-2 1 -> -1
cot554 comparetotal 1E-1 1 -> -1
cot555 comparetotal 1E-0 1 -> 0
cot556 comparetotal 1E+1 1 -> 1
cot557 comparetotal 1E+2 1 -> 1
cot558 comparetotal 1E+3 1 -> 1
cot559 comparetotal 1E+4 1 -> 1
cot561 comparetotal 1E+5 1 -> 1
cot562 comparetotal 1E+6 1 -> 1
cot563 comparetotal 1E+7 1 -> 1
cot564 comparetotal 1E+8 1 -> 1
cot565 comparetotal 1E+9 1 -> 1
cot566 comparetotal 1E+10 1 -> 1
cot567 comparetotal 1E+11 1 -> 1
cot568 comparetotal 1E+12 1 -> 1
cot569 comparetotal 1E+13 1 -> 1
cot570 comparetotal 1E+14 1 -> 1
cot571 comparetotal 1E+15 1 -> 1
-- similar with an useful coefficient, one side only
cot580 comparetotal 0.000000987654321 1E-15 -> 1
cot581 comparetotal 0.000000987654321 1E-14 -> 1
cot582 comparetotal 0.000000987654321 1E-13 -> 1
cot583 comparetotal 0.000000987654321 1E-12 -> 1
cot584 comparetotal 0.000000987654321 1E-11 -> 1
cot585 comparetotal 0.000000987654321 1E-10 -> 1
cot586 comparetotal 0.000000987654321 1E-9 -> 1
cot587 comparetotal 0.000000987654321 1E-8 -> 1
cot588 comparetotal 0.000000987654321 1E-7 -> 1
cot589 comparetotal 0.000000987654321 1E-6 -> -1
cot590 comparetotal 0.000000987654321 1E-5 -> -1
cot591 comparetotal 0.000000987654321 1E-4 -> -1
cot592 comparetotal 0.000000987654321 1E-3 -> -1
cot593 comparetotal 0.000000987654321 1E-2 -> -1
cot594 comparetotal 0.000000987654321 1E-1 -> -1
cot595 comparetotal 0.000000987654321 1E-0 -> -1
cot596 comparetotal 0.000000987654321 1E+1 -> -1
cot597 comparetotal 0.000000987654321 1E+2 -> -1
cot598 comparetotal 0.000000987654321 1E+3 -> -1
cot599 comparetotal 0.000000987654321 1E+4 -> -1
-- check some unit-y traps
precision: 20
cot600 comparetotal 12 12.2345 -> -1
cot601 comparetotal 12.0 12.2345 -> -1
cot602 comparetotal 12.00 12.2345 -> -1
cot603 comparetotal 12.000 12.2345 -> -1
cot604 comparetotal 12.0000 12.2345 -> -1
cot605 comparetotal 12.00000 12.2345 -> -1
cot606 comparetotal 12.000000 12.2345 -> -1
cot607 comparetotal 12.0000000 12.2345 -> -1
cot608 comparetotal 12.00000000 12.2345 -> -1
cot609 comparetotal 12.000000000 12.2345 -> -1
cot610 comparetotal 12.1234 12 -> 1
cot611 comparetotal 12.1234 12.0 -> 1
cot612 comparetotal 12.1234 12.00 -> 1
cot613 comparetotal 12.1234 12.000 -> 1
cot614 comparetotal 12.1234 12.0000 -> 1
cot615 comparetotal 12.1234 12.00000 -> 1
cot616 comparetotal 12.1234 12.000000 -> 1
cot617 comparetotal 12.1234 12.0000000 -> 1
cot618 comparetotal 12.1234 12.00000000 -> 1
cot619 comparetotal 12.1234 12.000000000 -> 1
cot620 comparetotal -12 -12.2345 -> 1
cot621 comparetotal -12.0 -12.2345 -> 1
cot622 comparetotal -12.00 -12.2345 -> 1
cot623 comparetotal -12.000 -12.2345 -> 1
cot624 comparetotal -12.0000 -12.2345 -> 1
cot625 comparetotal -12.00000 -12.2345 -> 1
cot626 comparetotal -12.000000 -12.2345 -> 1
cot627 comparetotal -12.0000000 -12.2345 -> 1
cot628 comparetotal -12.00000000 -12.2345 -> 1
cot629 comparetotal -12.000000000 -12.2345 -> 1
cot630 comparetotal -12.1234 -12 -> -1
cot631 comparetotal -12.1234 -12.0 -> -1
cot632 comparetotal -12.1234 -12.00 -> -1
cot633 comparetotal -12.1234 -12.000 -> -1
cot634 comparetotal -12.1234 -12.0000 -> -1
cot635 comparetotal -12.1234 -12.00000 -> -1
cot636 comparetotal -12.1234 -12.000000 -> -1
cot637 comparetotal -12.1234 -12.0000000 -> -1
cot638 comparetotal -12.1234 -12.00000000 -> -1
cot639 comparetotal -12.1234 -12.000000000 -> -1
precision: 9
-- trailing zeros; unit-y
precision: 20
cot680 comparetotal 12 12 -> 0
cot681 comparetotal 12 12.0 -> 1
cot682 comparetotal 12 12.00 -> 1
cot683 comparetotal 12 12.000 -> 1
cot684 comparetotal 12 12.0000 -> 1
cot685 comparetotal 12 12.00000 -> 1
cot686 comparetotal 12 12.000000 -> 1
cot687 comparetotal 12 12.0000000 -> 1
cot688 comparetotal 12 12.00000000 -> 1
cot689 comparetotal 12 12.000000000 -> 1
cot690 comparetotal 12 12 -> 0
cot691 comparetotal 12.0 12 -> -1
cot692 comparetotal 12.00 12 -> -1
cot693 comparetotal 12.000 12 -> -1
cot694 comparetotal 12.0000 12 -> -1
cot695 comparetotal 12.00000 12 -> -1
cot696 comparetotal 12.000000 12 -> -1
cot697 comparetotal 12.0000000 12 -> -1
cot698 comparetotal 12.00000000 12 -> -1
cot699 comparetotal 12.000000000 12 -> -1
-- long operand checks
maxexponent: 999
minexponent: -999
precision: 9
cot701 comparetotal 12345678000 1 -> 1 Rounded
cot702 comparetotal 1 12345678000 -> -1 Rounded
cot703 comparetotal 1234567800 1 -> 1 Rounded
cot704 comparetotal 1 1234567800 -> -1 Rounded
cot705 comparetotal 1234567890 1 -> 1 Rounded
cot706 comparetotal 1 1234567890 -> -1 Rounded
cot707 comparetotal 1234567891 1 -> 1 Rounded Inexact Lost_digits
cot708 comparetotal 1 1234567891 -> -1 Rounded Inexact Lost_digits
cot709 comparetotal 12345678901 1 -> 1 Rounded Inexact Lost_digits
cot710 comparetotal 1 12345678901 -> -1 Rounded Inexact Lost_digits
cot711 comparetotal 1234567896 1 -> 1 Rounded Inexact Lost_digits
cot712 comparetotal 1 1234567896 -> -1 Rounded Inexact Lost_digits
cot713 comparetotal -1234567891 1 -> -1 Rounded Inexact Lost_digits
cot714 comparetotal 1 -1234567891 -> 1 Rounded Inexact Lost_digits
cot715 comparetotal -12345678901 1 -> -1 Rounded Inexact Lost_digits
cot716 comparetotal 1 -12345678901 -> 1 Rounded Inexact Lost_digits
cot717 comparetotal -1234567896 1 -> -1 Rounded Inexact Lost_digits
cot718 comparetotal 1 -1234567896 -> 1 Rounded Inexact Lost_digits
precision: 15
-- same with plenty of precision
cot721 comparetotal 12345678000 1 -> 1
cot722 comparetotal 1 12345678000 -> -1
cot723 comparetotal 1234567800 1 -> 1
cot724 comparetotal 1 1234567800 -> -1
cot725 comparetotal 1234567890 1 -> 1
cot726 comparetotal 1 1234567890 -> -1
cot727 comparetotal 1234567891 1 -> 1
cot728 comparetotal 1 1234567891 -> -1
cot729 comparetotal 12345678901 1 -> 1
cot730 comparetotal 1 12345678901 -> -1
cot731 comparetotal 1234567896 1 -> 1
cot732 comparetotal 1 1234567896 -> -1
-- residue cases (NB operands rounded on input)
precision: 5
cot740 comparetotal 1 0.9999999 -> 1 Rounded Inexact Lost_digits
cot741 comparetotal 1 0.999999 -> 1 Rounded Inexact Lost_digits
cot742 comparetotal 1 0.99999 -> 1
cot743 comparetotal 1 1.0000 -> 1
cot744 comparetotal 1 1.00001 -> 1 Rounded Inexact Lost_digits
cot745 comparetotal 1 1.000001 -> 1 Rounded Inexact Lost_digits
cot746 comparetotal 1 1.0000001 -> 1 Rounded Inexact Lost_digits
cot750 comparetotal 0.9999999 1 -> -1 Rounded Inexact Lost_digits
cot751 comparetotal 0.999999 1 -> -1 Rounded Inexact Lost_digits
cot752 comparetotal 0.99999 1 -> -1
cot753 comparetotal 1.0000 1 -> -1
cot754 comparetotal 1.00001 1 -> -1 Rounded Inexact Lost_digits
cot755 comparetotal 1.000001 1 -> -1 Rounded Inexact Lost_digits
cot756 comparetotal 1.0000001 1 -> -1 Rounded Inexact Lost_digits
-- overflow and underflow tests .. subnormal results now allowed
maxExponent: 999999999
minexponent: -999999999
cot1080 comparetotal +1.23456789012345E-0 9E+999999999 -> -1 Rounded Inexact Lost_digits
cot1081 comparetotal 9E+999999999 +1.23456789012345E-0 -> 1 Rounded Inexact Lost_digits
cot1082 comparetotal +0.100 9E-999999999 -> 1
cot1083 comparetotal 9E-999999999 +0.100 -> -1
cot1085 comparetotal -1.23456789012345E-0 9E+999999999 -> -1 Rounded Inexact Lost_digits
cot1086 comparetotal 9E+999999999 -1.23456789012345E-0 -> 1 Rounded Inexact Lost_digits
cot1087 comparetotal -0.100 9E-999999999 -> -1
cot1088 comparetotal 9E-999999999 -0.100 -> 1
cot1089 comparetotal 1e-599999999 1e-400000001 -> -1
cot1090 comparetotal 1e-599999999 1e-400000000 -> -1
cot1091 comparetotal 1e-600000000 1e-400000000 -> -1
cot1092 comparetotal 9e-999999998 0.01 -> -1
cot1093 comparetotal 9e-999999998 0.1 -> -1
cot1094 comparetotal 0.01 9e-999999998 -> 1
cot1095 comparetotal 1e599999999 1e400000001 -> 1
cot1096 comparetotal 1e599999999 1e400000000 -> 1
cot1097 comparetotal 1e600000000 1e400000000 -> 1
cot1098 comparetotal 9e999999998 100 -> 1
cot1099 comparetotal 9e999999998 10 -> 1
cot1100 comparetotal 100 9e999999998 -> -1
-- signs
cot1101 comparetotal 1e+777777777 1e+411111111 -> 1
cot1102 comparetotal 1e+777777777 -1e+411111111 -> 1
cot1103 comparetotal -1e+777777777 1e+411111111 -> -1
cot1104 comparetotal -1e+777777777 -1e+411111111 -> -1
cot1105 comparetotal 1e-777777777 1e-411111111 -> -1
cot1106 comparetotal 1e-777777777 -1e-411111111 -> 1
cot1107 comparetotal -1e-777777777 1e-411111111 -> -1
cot1108 comparetotal -1e-777777777 -1e-411111111 -> 1
-- Null tests
cot9990 comparetotal 10 # -> ? Invalid_operation
cot9991 comparetotal # 10 -> ? Invalid_operation