707 lines
29 KiB
Plaintext
707 lines
29 KiB
Plaintext
------------------------------------------------------------------------
|
|
-- 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.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
|