------------------------------------------------------------------------
-- dqCompareTotal.decTest -- decQuad 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 decQuads.
extended:    1
clamp:       1
precision:   34
maxExponent: 6144
minExponent: -6143
rounding:    half_even

-- sanity checks
dqcot001 comparetotal  -2  -2  -> 0
dqcot002 comparetotal  -2  -1  -> -1
dqcot003 comparetotal  -2   0  -> -1
dqcot004 comparetotal  -2   1  -> -1
dqcot005 comparetotal  -2   2  -> -1
dqcot006 comparetotal  -1  -2  -> 1
dqcot007 comparetotal  -1  -1  -> 0
dqcot008 comparetotal  -1   0  -> -1
dqcot009 comparetotal  -1   1  -> -1
dqcot010 comparetotal  -1   2  -> -1
dqcot011 comparetotal   0  -2  -> 1
dqcot012 comparetotal   0  -1  -> 1
dqcot013 comparetotal   0   0  -> 0
dqcot014 comparetotal   0   1  -> -1
dqcot015 comparetotal   0   2  -> -1
dqcot016 comparetotal   1  -2  -> 1
dqcot017 comparetotal   1  -1  -> 1
dqcot018 comparetotal   1   0  -> 1
dqcot019 comparetotal   1   1  -> 0
dqcot020 comparetotal   1   2  -> -1
dqcot021 comparetotal   2  -2  -> 1
dqcot022 comparetotal   2  -1  -> 1
dqcot023 comparetotal   2   0  -> 1
dqcot025 comparetotal   2   1  -> 1
dqcot026 comparetotal   2   2  -> 0

dqcot031 comparetotal  -20  -20  -> 0
dqcot032 comparetotal  -20  -10  -> -1
dqcot033 comparetotal  -20   00  -> -1
dqcot034 comparetotal  -20   10  -> -1
dqcot035 comparetotal  -20   20  -> -1
dqcot036 comparetotal  -10  -20  -> 1
dqcot037 comparetotal  -10  -10  -> 0
dqcot038 comparetotal  -10   00  -> -1
dqcot039 comparetotal  -10   10  -> -1
dqcot040 comparetotal  -10   20  -> -1
dqcot041 comparetotal   00  -20  -> 1
dqcot042 comparetotal   00  -10  -> 1
dqcot043 comparetotal   00   00  -> 0
dqcot044 comparetotal   00   10  -> -1
dqcot045 comparetotal   00   20  -> -1
dqcot046 comparetotal   10  -20  -> 1
dqcot047 comparetotal   10  -10  -> 1
dqcot048 comparetotal   10   00  -> 1
dqcot049 comparetotal   10   10  -> 0
dqcot050 comparetotal   10   20  -> -1
dqcot051 comparetotal   20  -20  -> 1
dqcot052 comparetotal   20  -10  -> 1
dqcot053 comparetotal   20   00  -> 1
dqcot055 comparetotal   20   10  -> 1
dqcot056 comparetotal   20   20  -> 0

dqcot061 comparetotal  -2.0  -2.0  -> 0
dqcot062 comparetotal  -2.0  -1.0  -> -1
dqcot063 comparetotal  -2.0   0.0  -> -1
dqcot064 comparetotal  -2.0   1.0  -> -1
dqcot065 comparetotal  -2.0   2.0  -> -1
dqcot066 comparetotal  -1.0  -2.0  -> 1
dqcot067 comparetotal  -1.0  -1.0  -> 0
dqcot068 comparetotal  -1.0   0.0  -> -1
dqcot069 comparetotal  -1.0   1.0  -> -1
dqcot070 comparetotal  -1.0   2.0  -> -1
dqcot071 comparetotal   0.0  -2.0  -> 1
dqcot072 comparetotal   0.0  -1.0  -> 1
dqcot073 comparetotal   0.0   0.0  -> 0
dqcot074 comparetotal   0.0   1.0  -> -1
dqcot075 comparetotal   0.0   2.0  -> -1
dqcot076 comparetotal   1.0  -2.0  -> 1
dqcot077 comparetotal   1.0  -1.0  -> 1
dqcot078 comparetotal   1.0   0.0  -> 1
dqcot079 comparetotal   1.0   1.0  -> 0
dqcot080 comparetotal   1.0   2.0  -> -1
dqcot081 comparetotal   2.0  -2.0  -> 1
dqcot082 comparetotal   2.0  -1.0  -> 1
dqcot083 comparetotal   2.0   0.0  -> 1
dqcot085 comparetotal   2.0   1.0  -> 1
dqcot086 comparetotal   2.0   2.0  -> 0

-- now some cases which might overflow if subtract were used
dqcot090 comparetotal  9.99999999999999999999999999999E+6144 9.99999999999999999999999999999E+6144  -> 0
dqcot091 comparetotal -9.99999999999999999999999999999E+6144 9.99999999999999999999999999999E+6144  -> -1
dqcot092 comparetotal  9.99999999999999999999999999999E+6144 -9.99999999999999999999999999999E+6144 -> 1
dqcot093 comparetotal -9.99999999999999999999999999999E+6144 -9.99999999999999999999999999999E+6144 -> 0

-- some differing length/exponent cases
-- in this first group, compare would compare all equal
dqcot100 comparetotal   7.0    7.0    -> 0
dqcot101 comparetotal   7.0    7      -> -1
dqcot102 comparetotal   7      7.0    -> 1
dqcot103 comparetotal   7E+0   7.0    -> 1
dqcot104 comparetotal   70E-1  7.0    -> 0
dqcot105 comparetotal   0.7E+1 7      -> 0
dqcot106 comparetotal   70E-1  7      -> -1
dqcot107 comparetotal   7.0    7E+0   -> -1
dqcot108 comparetotal   7.0    70E-1  -> 0
dqcot109 comparetotal   7      0.7E+1 -> 0
dqcot110 comparetotal   7      70E-1  -> 1

dqcot120 comparetotal   8.0    7.0    -> 1
dqcot121 comparetotal   8.0    7      -> 1
dqcot122 comparetotal   8      7.0    -> 1
dqcot123 comparetotal   8E+0   7.0    -> 1
dqcot124 comparetotal   80E-1  7.0    -> 1
dqcot125 comparetotal   0.8E+1 7      -> 1
dqcot126 comparetotal   80E-1  7      -> 1
dqcot127 comparetotal   8.0    7E+0   -> 1
dqcot128 comparetotal   8.0    70E-1  -> 1
dqcot129 comparetotal   8      0.7E+1  -> 1
dqcot130 comparetotal   8      70E-1  -> 1

dqcot140 comparetotal   8.0    9.0    -> -1
dqcot141 comparetotal   8.0    9      -> -1
dqcot142 comparetotal   8      9.0    -> -1
dqcot143 comparetotal   8E+0   9.0    -> -1
dqcot144 comparetotal   80E-1  9.0    -> -1
dqcot145 comparetotal   0.8E+1 9      -> -1
dqcot146 comparetotal   80E-1  9      -> -1
dqcot147 comparetotal   8.0    9E+0   -> -1
dqcot148 comparetotal   8.0    90E-1  -> -1
dqcot149 comparetotal   8      0.9E+1 -> -1
dqcot150 comparetotal   8      90E-1  -> -1

-- and again, with sign changes -+ ..
dqcot200 comparetotal  -7.0    7.0    -> -1
dqcot201 comparetotal  -7.0    7      -> -1
dqcot202 comparetotal  -7      7.0    -> -1
dqcot203 comparetotal  -7E+0   7.0    -> -1
dqcot204 comparetotal  -70E-1  7.0    -> -1
dqcot205 comparetotal  -0.7E+1 7      -> -1
dqcot206 comparetotal  -70E-1  7      -> -1
dqcot207 comparetotal  -7.0    7E+0   -> -1
dqcot208 comparetotal  -7.0    70E-1  -> -1
dqcot209 comparetotal  -7      0.7E+1 -> -1
dqcot210 comparetotal  -7      70E-1  -> -1

dqcot220 comparetotal  -8.0    7.0    -> -1
dqcot221 comparetotal  -8.0    7      -> -1
dqcot222 comparetotal  -8      7.0    -> -1
dqcot223 comparetotal  -8E+0   7.0    -> -1
dqcot224 comparetotal  -80E-1  7.0    -> -1
dqcot225 comparetotal  -0.8E+1 7      -> -1
dqcot226 comparetotal  -80E-1  7      -> -1
dqcot227 comparetotal  -8.0    7E+0   -> -1
dqcot228 comparetotal  -8.0    70E-1  -> -1
dqcot229 comparetotal  -8      0.7E+1 -> -1
dqcot230 comparetotal  -8      70E-1  -> -1

dqcot240 comparetotal  -8.0    9.0    -> -1
dqcot241 comparetotal  -8.0    9      -> -1
dqcot242 comparetotal  -8      9.0    -> -1
dqcot243 comparetotal  -8E+0   9.0    -> -1
dqcot244 comparetotal  -80E-1  9.0    -> -1
dqcot245 comparetotal  -0.8E+1 9      -> -1
dqcot246 comparetotal  -80E-1  9      -> -1
dqcot247 comparetotal  -8.0    9E+0   -> -1
dqcot248 comparetotal  -8.0    90E-1  -> -1
dqcot249 comparetotal  -8      0.9E+1 -> -1
dqcot250 comparetotal  -8      90E-1  -> -1

-- and again, with sign changes +- ..
dqcot300 comparetotal   7.0    -7.0    -> 1
dqcot301 comparetotal   7.0    -7      -> 1
dqcot302 comparetotal   7      -7.0    -> 1
dqcot303 comparetotal   7E+0   -7.0    -> 1
dqcot304 comparetotal   70E-1  -7.0    -> 1
dqcot305 comparetotal   .7E+1  -7      -> 1
dqcot306 comparetotal   70E-1  -7      -> 1
dqcot307 comparetotal   7.0    -7E+0   -> 1
dqcot308 comparetotal   7.0    -70E-1  -> 1
dqcot309 comparetotal   7      -.7E+1  -> 1
dqcot310 comparetotal   7      -70E-1  -> 1

dqcot320 comparetotal   8.0    -7.0    -> 1
dqcot321 comparetotal   8.0    -7      -> 1
dqcot322 comparetotal   8      -7.0    -> 1
dqcot323 comparetotal   8E+0   -7.0    -> 1
dqcot324 comparetotal   80E-1  -7.0    -> 1
dqcot325 comparetotal   .8E+1  -7      -> 1
dqcot326 comparetotal   80E-1  -7      -> 1
dqcot327 comparetotal   8.0    -7E+0   -> 1
dqcot328 comparetotal   8.0    -70E-1  -> 1
dqcot329 comparetotal   8      -.7E+1  -> 1
dqcot330 comparetotal   8      -70E-1  -> 1

dqcot340 comparetotal   8.0    -9.0    -> 1
dqcot341 comparetotal   8.0    -9      -> 1
dqcot342 comparetotal   8      -9.0    -> 1
dqcot343 comparetotal   8E+0   -9.0    -> 1
dqcot344 comparetotal   80E-1  -9.0    -> 1
dqcot345 comparetotal   .8E+1  -9      -> 1
dqcot346 comparetotal   80E-1  -9      -> 1
dqcot347 comparetotal   8.0    -9E+0   -> 1
dqcot348 comparetotal   8.0    -90E-1  -> 1
dqcot349 comparetotal   8      -.9E+1  -> 1
dqcot350 comparetotal   8      -90E-1  -> 1

-- and again, with sign changes -- ..
dqcot400 comparetotal   -7.0    -7.0    -> 0
dqcot401 comparetotal   -7.0    -7      -> 1
dqcot402 comparetotal   -7      -7.0    -> -1
dqcot403 comparetotal   -7E+0   -7.0    -> -1
dqcot404 comparetotal   -70E-1  -7.0    -> 0
dqcot405 comparetotal   -.7E+1  -7      -> 0
dqcot406 comparetotal   -70E-1  -7      -> 1
dqcot407 comparetotal   -7.0    -7E+0   -> 1
dqcot408 comparetotal   -7.0    -70E-1  -> 0
dqcot409 comparetotal   -7      -.7E+1  -> 0
dqcot410 comparetotal   -7      -70E-1  -> -1

dqcot420 comparetotal   -8.0    -7.0    -> -1
dqcot421 comparetotal   -8.0    -7      -> -1
dqcot422 comparetotal   -8      -7.0    -> -1
dqcot423 comparetotal   -8E+0   -7.0    -> -1
dqcot424 comparetotal   -80E-1  -7.0    -> -1
dqcot425 comparetotal   -.8E+1  -7      -> -1
dqcot426 comparetotal   -80E-1  -7      -> -1
dqcot427 comparetotal   -8.0    -7E+0   -> -1
dqcot428 comparetotal   -8.0    -70E-1  -> -1
dqcot429 comparetotal   -8      -.7E+1  -> -1
dqcot430 comparetotal   -8      -70E-1  -> -1

dqcot440 comparetotal   -8.0    -9.0    -> 1
dqcot441 comparetotal   -8.0    -9      -> 1
dqcot442 comparetotal   -8      -9.0    -> 1
dqcot443 comparetotal   -8E+0   -9.0    -> 1
dqcot444 comparetotal   -80E-1  -9.0    -> 1
dqcot445 comparetotal   -.8E+1  -9      -> 1
dqcot446 comparetotal   -80E-1  -9      -> 1
dqcot447 comparetotal   -8.0    -9E+0   -> 1
dqcot448 comparetotal   -8.0    -90E-1  -> 1
dqcot449 comparetotal   -8      -.9E+1  -> 1
dqcot450 comparetotal   -8      -90E-1  -> 1


-- testcases that subtract to lots of zeros at boundaries [pgr]
dqcot473 comparetotal 123.4560000000000E-89 123.456E-89 -> -1
dqcot474 comparetotal 123.456000000000E+89 123.456E+89 -> -1
dqcot475 comparetotal 123.45600000000E-89 123.456E-89 -> -1
dqcot476 comparetotal 123.4560000000E+89 123.456E+89 -> -1
dqcot477 comparetotal 123.456000000E-89 123.456E-89 -> -1
dqcot478 comparetotal 123.45600000E+89 123.456E+89 -> -1
dqcot479 comparetotal 123.4560000E-89 123.456E-89 -> -1
dqcot480 comparetotal 123.456000E+89 123.456E+89 -> -1
dqcot481 comparetotal 123.45600E-89 123.456E-89 -> -1
dqcot482 comparetotal 123.4560E+89 123.456E+89 -> -1
dqcot483 comparetotal 123.456E-89 123.456E-89 -> 0
dqcot487 comparetotal 123.456E+89 123.4560000000000E+89 -> 1
dqcot488 comparetotal 123.456E-89 123.456000000000E-89 -> 1
dqcot489 comparetotal 123.456E+89 123.45600000000E+89 -> 1
dqcot490 comparetotal 123.456E-89 123.4560000000E-89 -> 1
dqcot491 comparetotal 123.456E+89 123.456000000E+89 -> 1
dqcot492 comparetotal 123.456E-89 123.45600000E-89 -> 1
dqcot493 comparetotal 123.456E+89 123.4560000E+89 -> 1
dqcot494 comparetotal 123.456E-89 123.456000E-89 -> 1
dqcot495 comparetotal 123.456E+89 123.45600E+89 -> 1
dqcot496 comparetotal 123.456E-89 123.4560E-89 -> 1
dqcot497 comparetotal 123.456E+89 123.456E+89 -> 0

-- wide-ranging, around precision; signs equal
dqcot498 comparetotal    1     1E-17    -> 1
dqcot499 comparetotal    1     1E-16    -> 1
dqcot500 comparetotal    1     1E-15    -> 1
dqcot501 comparetotal    1     1E-14    -> 1
dqcot502 comparetotal    1     1E-13    -> 1
dqcot503 comparetotal    1     1E-12    -> 1
dqcot504 comparetotal    1     1E-11    -> 1
dqcot505 comparetotal    1     1E-10    -> 1
dqcot506 comparetotal    1     1E-9     -> 1
dqcot507 comparetotal    1     1E-8     -> 1
dqcot508 comparetotal    1     1E-7     -> 1
dqcot509 comparetotal    1     1E-6     -> 1
dqcot510 comparetotal    1     1E-5     -> 1
dqcot511 comparetotal    1     1E-4     -> 1
dqcot512 comparetotal    1     1E-3     -> 1
dqcot513 comparetotal    1     1E-2     -> 1
dqcot514 comparetotal    1     1E-1     -> 1
dqcot515 comparetotal    1     1E-0     -> 0
dqcot516 comparetotal    1     1E+1     -> -1
dqcot517 comparetotal    1     1E+2     -> -1
dqcot518 comparetotal    1     1E+3     -> -1
dqcot519 comparetotal    1     1E+4     -> -1
dqcot521 comparetotal    1     1E+5     -> -1
dqcot522 comparetotal    1     1E+6     -> -1
dqcot523 comparetotal    1     1E+7     -> -1
dqcot524 comparetotal    1     1E+8     -> -1
dqcot525 comparetotal    1     1E+9     -> -1
dqcot526 comparetotal    1     1E+10    -> -1
dqcot527 comparetotal    1     1E+11    -> -1
dqcot528 comparetotal    1     1E+12    -> -1
dqcot529 comparetotal    1     1E+13    -> -1
dqcot530 comparetotal    1     1E+14    -> -1
dqcot531 comparetotal    1     1E+15    -> -1
dqcot532 comparetotal    1     1E+16    -> -1
dqcot533 comparetotal    1     1E+17    -> -1
-- LR swap
dqcot538 comparetotal    1E-17  1       -> -1
dqcot539 comparetotal    1E-16  1       -> -1
dqcot540 comparetotal    1E-15  1       -> -1
dqcot541 comparetotal    1E-14  1       -> -1
dqcot542 comparetotal    1E-13  1       -> -1
dqcot543 comparetotal    1E-12  1       -> -1
dqcot544 comparetotal    1E-11  1       -> -1
dqcot545 comparetotal    1E-10  1       -> -1
dqcot546 comparetotal    1E-9   1       -> -1
dqcot547 comparetotal    1E-8   1       -> -1
dqcot548 comparetotal    1E-7   1       -> -1
dqcot549 comparetotal    1E-6   1       -> -1
dqcot550 comparetotal    1E-5   1       -> -1
dqcot551 comparetotal    1E-4   1       -> -1