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

-- compare.decTest -- decimal comparison that allows quiet NaNs       --

-- 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).

extended: 1

precision:   9

rounding:    half_up

maxExponent: 999

minexponent: -999

-- sanity checks

comx001 compare  -2  -2  -> 0

comx002 compare  -2  -1  -> -1

comx003 compare  -2   0  -> -1

comx004 compare  -2   1  -> -1

comx005 compare  -2   2  -> -1

comx006 compare  -1  -2  -> 1

comx007 compare  -1  -1  -> 0

comx008 compare  -1   0  -> -1

comx009 compare  -1   1  -> -1

comx010 compare  -1   2  -> -1

comx011 compare   0  -2  -> 1

comx012 compare   0  -1  -> 1

comx013 compare   0   0  -> 0

comx014 compare   0   1  -> -1

comx015 compare   0   2  -> -1

comx016 compare   1  -2  -> 1

comx017 compare   1  -1  -> 1

comx018 compare   1   0  -> 1

comx019 compare   1   1  -> 0

comx020 compare   1   2  -> -1

comx021 compare   2  -2  -> 1

comx022 compare   2  -1  -> 1

comx023 compare   2   0  -> 1

comx025 compare   2   1  -> 1

comx026 compare   2   2  -> 0

comx031 compare  -20  -20  -> 0

comx032 compare  -20  -10  -> -1

comx033 compare  -20   00  -> -1

comx034 compare  -20   10  -> -1

comx035 compare  -20   20  -> -1

comx036 compare  -10  -20  -> 1

comx037 compare  -10  -10  -> 0

comx038 compare  -10   00  -> -1

comx039 compare  -10   10  -> -1

comx040 compare  -10   20  -> -1

comx041 compare   00  -20  -> 1

comx042 compare   00  -10  -> 1

comx043 compare   00   00  -> 0

comx044 compare   00   10  -> -1

comx045 compare   00   20  -> -1

comx046 compare   10  -20  -> 1

comx047 compare   10  -10  -> 1

comx048 compare   10   00  -> 1

comx049 compare   10   10  -> 0

comx050 compare   10   20  -> -1

comx051 compare   20  -20  -> 1

comx052 compare   20  -10  -> 1

comx053 compare   20   00  -> 1

comx055 compare   20   10  -> 1

comx056 compare   20   20  -> 0

comx061 compare  -2.0  -2.0  -> 0

comx062 compare  -2.0  -1.0  -> -1

comx063 compare  -2.0   0.0  -> -1

comx064 compare  -2.0   1.0  -> -1

comx065 compare  -2.0   2.0  -> -1

comx066 compare  -1.0  -2.0  -> 1

comx067 compare  -1.0  -1.0  -> 0

comx068 compare  -1.0   0.0  -> -1

comx069 compare  -1.0   1.0  -> -1

comx070 compare  -1.0   2.0  -> -1

comx071 compare   0.0  -2.0  -> 1

comx072 compare   0.0  -1.0  -> 1

comx073 compare   0.0   0.0  -> 0

comx074 compare   0.0   1.0  -> -1

comx075 compare   0.0   2.0  -> -1

comx076 compare   1.0  -2.0  -> 1

comx077 compare   1.0  -1.0  -> 1

comx078 compare   1.0   0.0  -> 1

comx079 compare   1.0   1.0  -> 0

comx080 compare   1.0   2.0  -> -1

comx081 compare   2.0  -2.0  -> 1

comx082 compare   2.0  -1.0  -> 1

comx083 compare   2.0   0.0  -> 1

comx085 compare   2.0   1.0  -> 1

comx086 compare   2.0   2.0  -> 0

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

maxexponent: 999999999

minexponent: -999999999

comx095 compare  9.99999999E+999999999 9.99999999E+999999999  -> 0

comx096 compare -9.99999999E+999999999 9.99999999E+999999999  -> -1

comx097 compare  9.99999999E+999999999 -9.99999999E+999999999 -> 1

comx098 compare -9.99999999E+999999999 -9.99999999E+999999999 -> 0

-- some differing length/exponent cases

comx100 compare   7.0    7.0    -> 0

comx101 compare   7.0    7      -> 0

comx102 compare   7      7.0    -> 0

comx103 compare   7E+0   7.0    -> 0

comx104 compare   70E-1  7.0    -> 0

comx105 compare   0.7E+1 7      -> 0

comx106 compare   70E-1  7      -> 0

comx107 compare   7.0    7E+0   -> 0

comx108 compare   7.0    70E-1  -> 0

comx109 compare   7      0.7E+1 -> 0

comx110 compare   7      70E-1  -> 0

comx120 compare   8.0    7.0    -> 1

comx121 compare   8.0    7      -> 1

comx122 compare   8      7.0    -> 1

comx123 compare   8E+0   7.0    -> 1

comx124 compare   80E-1  7.0    -> 1

comx125 compare   0.8E+1 7      -> 1

comx126 compare   80E-1  7      -> 1

comx127 compare   8.0    7E+0   -> 1

comx128 compare   8.0    70E-1  -> 1

comx129 compare   8      0.7E+1  -> 1

comx130 compare   8      70E-1  -> 1

comx140 compare   8.0    9.0    -> -1

comx141 compare   8.0    9      -> -1

comx142 compare   8      9.0    -> -1

comx143 compare   8E+0   9.0    -> -1

comx144 compare   80E-1  9.0    -> -1

comx145 compare   0.8E+1 9      -> -1

comx146 compare   80E-1  9      -> -1

comx147 compare   8.0    9E+0   -> -1

comx148 compare   8.0    90E-1  -> -1

comx149 compare   8      0.9E+1 -> -1

comx150 compare   8      90E-1  -> -1

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

comx200 compare  -7.0    7.0    -> -1

comx201 compare  -7.0    7      -> -1

comx202 compare  -7      7.0    -> -1

comx203 compare  -7E+0   7.0    -> -1

comx204 compare  -70E-1  7.0    -> -1

comx205 compare  -0.7E+1 7      -> -1

comx206 compare  -70E-1  7      -> -1

comx207 compare  -7.0    7E+0   -> -1

comx208 compare  -7.0    70E-1  -> -1

comx209 compare  -7      0.7E+1 -> -1

comx210 compare  -7      70E-1  -> -1

comx220 compare  -8.0    7.0    -> -1

comx221 compare  -8.0    7      -> -1

comx222 compare  -8      7.0    -> -1

comx223 compare  -8E+0   7.0    -> -1

comx224 compare  -80E-1  7.0    -> -1

comx225 compare  -0.8E+1 7      -> -1

comx226 compare  -80E-1  7      -> -1

comx227 compare  -8.0    7E+0   -> -1

comx228 compare  -8.0    70E-1  -> -1

comx229 compare  -8      0.7E+1 -> -1

comx230 compare  -8      70E-1  -> -1

comx240 compare  -8.0    9.0    -> -1

comx241 compare  -8.0    9      -> -1

comx242 compare  -8      9.0    -> -1

comx243 compare  -8E+0   9.0    -> -1

comx244 compare  -80E-1  9.0    -> -1

comx245 compare  -0.8E+1 9      -> -1

comx246 compare  -80E-1  9      -> -1

comx247 compare  -8.0    9E+0   -> -1

comx248 compare  -8.0    90E-1  -> -1

comx249 compare  -8      0.9E+1 -> -1

comx250 compare  -8      90E-1  -> -1

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

comx300 compare   7.0    -7.0    -> 1

comx301 compare   7.0    -7      -> 1

comx302 compare   7      -7.0    -> 1

comx303 compare   7E+0   -7.0    -> 1

comx304 compare   70E-1  -7.0    -> 1

comx305 compare   .7E+1  -7      -> 1

comx306 compare   70E-1  -7      -> 1

comx307 compare   7.0    -7E+0   -> 1

comx308 compare   7.0    -70E-1  -> 1

comx309 compare   7      -.7E+1  -> 1

comx310 compare   7      -70E-1  -> 1

comx320 compare   8.0    -7.0    -> 1

comx321 compare   8.0    -7      -> 1

comx322 compare   8      -7.0    -> 1

comx323 compare   8E+0   -7.0    -> 1

comx324 compare   80E-1  -7.0    -> 1

comx325 compare   .8E+1  -7      -> 1

comx326 compare   80E-1  -7      -> 1

comx327 compare   8.0    -7E+0   -> 1

comx328 compare   8.0    -70E-1  -> 1

comx329 compare   8      -.7E+1  -> 1

comx330 compare   8      -70E-1  -> 1

comx340 compare   8.0    -9.0    -> 1

comx341 compare   8.0    -9      -> 1

comx342 compare   8      -9.0    -> 1

comx343 compare   8E+0   -9.0    -> 1

comx344 compare   80E-1  -9.0    -> 1

comx345 compare   .8E+1  -9      -> 1

comx346 compare   80E-1  -9      -> 1

comx347 compare   8.0    -9E+0   -> 1

comx348 compare   8.0    -90E-1  -> 1

comx349 compare   8      -.9E+1  -> 1

comx350 compare   8      -90E-1  -> 1

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

comx400 compare   -7.0    -7.0    -> 0

comx401 compare   -7.0    -7      -> 0

comx402 compare   -7      -7.0    -> 0

comx403 compare   -7E+0   -7.0    -> 0

comx404 compare   -70E-1  -7.0    -> 0

comx405 compare   -.7E+1  -7      -> 0

comx406 compare   -70E-1  -7      -> 0

comx407 compare   -7.0    -7E+0   -> 0

comx408 compare   -7.0    -70E-1  -> 0

comx409 compare   -7      -.7E+1  -> 0

comx410 compare   -7      -70E-1  -> 0

comx420 compare   -8.0    -7.0    -> -1

comx421 compare   -8.0    -7      -> -1

comx422 compare   -8      -7.0    -> -1

comx423 compare   -8E+0   -7.0    -> -1

comx424 compare   -80E-1  -7.0    -> -1

comx425 compare   -.8E+1  -7      -> -1

comx426 compare   -80E-1  -7      -> -1

comx427 compare   -8.0    -7E+0   -> -1

comx428 compare   -8.0    -70E-1  -> -1

comx429 compare   -8      -.7E+1  -> -1

comx430 compare   -8      -70E-1  -> -1

comx440 compare   -8.0    -9.0    -> 1

comx441 compare   -8.0    -9      -> 1

comx442 compare   -8      -9.0    -> 1

comx443 compare   -8E+0   -9.0    -> 1

comx444 compare   -80E-1  -9.0    -> 1

comx445 compare   -.8E+1  -9      -> 1

comx446 compare   -80E-1  -9      -> 1

comx447 compare   -8.0    -9E+0   -> 1

comx448 compare   -8.0    -90E-1  -> 1

comx449 compare   -8      -.9E+1  -> 1

comx450 compare   -8      -90E-1  -> 1

-- misalignment traps for little-endian

comx451 compare      1.0       0.1  -> 1

comx452 compare      0.1       1.0  -> -1

comx453 compare     10.0       0.1  -> 1

comx454 compare      0.1      10.0  -> -1

comx455 compare      100       1.0  -> 1

comx456 compare      1.0       100  -> -1

comx457 compare     1000      10.0  -> 1

comx458 compare     10.0      1000  -> -1

comx459 compare    10000     100.0  -> 1

comx460 compare    100.0     10000  -> -1

comx461 compare   100000    1000.0  -> 1

comx462 compare   1000.0    100000  -> -1

comx463 compare  1000000   10000.0  -> 1

comx464 compare  10000.0   1000000  -> -1

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

precision: 40

comx470 compare 123.4560000000000000E789 123.456E789 -> 0

comx471 compare 123.456000000000000E-89 123.456E-89 -> 0

comx472 compare 123.45600000000000E789 123.456E789 -> 0

comx473 compare 123.4560000000000E-89 123.456E-89 -> 0

comx474 compare 123.456000000000E789 123.456E789 -> 0

comx475 compare 123.45600000000E-89 123.456E-89 -> 0

comx476 compare 123.4560000000E789 123.456E789 -> 0

comx477 compare 123.456000000E-89 123.456E-89 -> 0

comx478 compare 123.45600000E789 123.456E789 -> 0

comx479 compare 123.4560000E-89 123.456E-89 -> 0

comx480 compare 123.456000E789 123.456E789 -> 0

comx481 compare 123.45600E-89 123.456E-89 -> 0

comx482 compare 123.4560E789 123.456E789 -> 0

comx483 compare 123.456E-89 123.456E-89 -> 0

comx484 compare 123.456E-89 123.4560000000000000E-89 -> 0

comx485 compare 123.456E789 123.456000000000000E789 -> 0

comx486 compare 123.456E-89 123.45600000000000E-89 -> 0

comx487 compare 123.456E789 123.4560000000000E789 -> 0

comx488 compare 123.456E-89 123.456000000000E-89 -> 0

comx489 compare 123.456E789 123.45600000000E789 -> 0

comx490 compare 123.456E-89 123.4560000000E-89 -> 0

comx491 compare 123.456E789 123.456000000E789 -> 0

comx492 compare 123.456E-89 123.45600000E-89 -> 0

comx493 compare 123.456E789 123.4560000E789 -> 0

comx494 compare 123.456E-89 123.456000E-89 -> 0

comx495 compare 123.456E789 123.45600E789 -> 0

comx496 compare 123.456E-89 123.4560E-89 -> 0

comx497 compare 123.456E789 123.456E789 -> 0

-- wide-ranging, around precision; signs equal

precision: 9

comx500 compare    1     1E-15    -> 1

comx501 compare    1     1E-14    -> 1

comx502 compare    1     1E-13    -> 1

comx503 compare    1     1E-12    -> 1

comx504 compare    1     1E-11    -> 1

comx505 compare    1     1E-10    -> 1

comx506 compare    1     1E-9     -> 1

comx507 compare    1     1E-8     -> 1

comx508 compare    1     1E-7     -> 1

comx509 compare    1     1E-6     -> 1

comx510 compare    1     1E-5     -> 1

comx511 compare    1     1E-4     -> 1

comx512 compare    1     1E-3     -> 1

comx513 compare    1     1E-2     -> 1

comx514 compare    1     1E-1     -> 1

comx515 compare    1     1E-0     -> 0

comx516 compare    1     1E+1     -> -1

comx517 compare    1     1E+2     -> -1

comx518 compare    1     1E+3     -> -1

comx519 compare    1     1E+4     -> -1

comx521 compare    1     1E+5     -> -1

comx522 compare    1     1E+6     -> -1

comx523 compare    1     1E+7     -> -1

comx524 compare    1     1E+8     -> -1

comx525 compare    1     1E+9     -> -1

comx526 compare    1     1E+10    -> -1

comx527 compare    1     1E+11    -> -1

comx528 compare    1     1E+12    -> -1

comx529 compare    1     1E+13    -> -1

comx530 compare    1     1E+14    -> -1

comx531 compare    1     1E+15    -> -1

-- LR swap

comx540 compare    1E-15  1       -> -1

comx541 compare    1E-14  1       -> -1

comx542 compare    1E-13  1       -> -1

comx543 compare    1E-12  1       -> -1

comx544 compare    1E-11  1       -> -1

comx545 compare    1E-10  1       -> -1

comx546 compare    1E-9   1       -> -1

comx547 compare    1E-8   1       -> -1

comx548 compare    1E-7   1       -> -1

comx549 compare    1E-6   1       -> -1

comx550 compare    1E-5   1       -> -1

comx551 compare    1E-4   1       -> -1

comx552 compare    1E-3   1       -> -1

comx553 compare    1E-2   1       -> -1

comx554 compare    1E-1   1       -> -1

comx555 compare    1E-0   1       ->  0

comx556 compare    1E+1   1       ->  1

comx557 compare    1E+2   1       ->  1

comx558 compare    1E+3   1       ->  1

comx559 compare    1E+4   1       ->  1

comx561 compare    1E+5   1       ->  1

comx562 compare    1E+6   1       ->  1

comx563 compare    1E+7   1       ->  1

comx564 compare    1E+8   1       ->  1

comx565 compare    1E+9   1       ->  1

comx566 compare    1E+10  1       ->  1

comx567 compare    1E+11  1       ->  1

comx568 compare    1E+12  1       ->  1

comx569 compare    1E+13  1       ->  1

comx570 compare    1E+14  1       ->  1

comx571 compare    1E+15  1       ->  1

-- similar with a useful coefficient, one side only

comx580 compare  0.000000987654321     1E-15    -> 1

comx581 compare  0.000000987654321     1E-14    -> 1

comx582 compare  0.000000987654321     1E-13    -> 1

comx583 compare  0.000000987654321     1E-12    -> 1

comx584 compare  0.000000987654321     1E-11    -> 1

comx585 compare  0.000000987654321     1E-10    -> 1

comx586 compare  0.000000987654321     1E-9     -> 1

comx587 compare  0.000000987654321     1E-8     -> 1

comx588 compare  0.000000987654321     1E-7     -> 1

comx589 compare  0.000000987654321     1E-6     -> -1

comx590 compare  0.000000987654321     1E-5     -> -1

comx591 compare  0.000000987654321     1E-4     -> -1

comx592 compare  0.000000987654321     1E-3     -> -1

comx593 compare  0.000000987654321     1E-2     -> -1

comx594 compare  0.000000987654321     1E-1     -> -1

comx595 compare  0.000000987654321     1E-0     -> -1

comx596 compare  0.000000987654321     1E+1     -> -1

comx597 compare  0.000000987654321     1E+2     -> -1

comx598 compare  0.000000987654321     1E+3     -> -1

comx599 compare  0.000000987654321     1E+4     -> -1

-- check some unit-y traps

precision: 20

comx600 compare   12            12.2345 -> -1

comx601 compare   12.0          12.2345 -> -1

comx602 compare   12.00         12.2345 -> -1

comx603 compare   12.000        12.2345 -> -1

comx604 compare   12.0000       12.2345 -> -1

comx605 compare   12.00000      12.2345 -> -1

comx606 compare   12.000000     12.2345 -> -1

comx607 compare   12.0000000    12.2345 -> -1

comx608 compare   12.00000000   12.2345 -> -1

comx609 compare   12.000000000  12.2345 -> -1

comx610 compare   12.1234 12            ->  1

comx611 compare   12.1234 12.0          ->  1

comx612 compare   12.1234 12.00         ->  1

comx613 compare   12.1234 12.000        ->  1

comx614 compare   12.1234 12.0000       ->  1

comx615 compare   12.1234 12.00000      ->  1

comx616 compare   12.1234 12.000000     ->  1

comx617 compare   12.1234 12.0000000    ->  1

comx618 compare   12.1234 12.00000000   ->  1

comx619 compare   12.1234 12.000000000  ->  1

comx620 compare  -12           -12.2345 ->  1

comx621 compare  -12.0         -12.2345 ->  1

comx622 compare  -12.00        -12.2345 ->  1

comx623 compare  -12.000       -12.2345 ->  1

comx624 compare  -12.0000      -12.2345 ->  1

comx625 compare  -12.00000     -12.2345 ->  1

comx626 compare  -12.000000    -12.2345 ->  1

comx627 compare  -12.0000000   -12.2345 ->  1

comx628 compare  -12.00000000  -12.2345 ->  1

comx629 compare  -12.000000000 -12.2345 ->  1

comx630 compare  -12.1234 -12           -> -1

comx631 compare  -12.1234 -12.0         -> -1

comx632 compare  -12.1234 -12.00        -> -1

comx633 compare  -12.1234 -12.000       -> -1

comx634 compare  -12.1234 -12.0000      -> -1

comx635 compare  -12.1234 -12.00000     -> -1

comx636 compare  -12.1234 -12.000000    -> -1

comx637 compare  -12.1234 -12.0000000   -> -1

comx638 compare  -12.1234 -12.00000000  -> -1

comx639 compare  -12.1234 -12.000000000 -> -1

precision: 9

-- extended zeros

comx640 compare   0     0   -> 0

comx641 compare   0    -0   -> 0

comx642 compare   0    -0.0 -> 0

comx643 compare   0     0.0 -> 0

comx644 compare  -0     0   -> 0

comx645 compare  -0    -0   -> 0

comx646 compare  -0    -0.0 -> 0

comx647 compare  -0     0.0 -> 0

comx648 compare   0.0   0   -> 0

comx649 compare   0.0  -0   -> 0

comx650 compare   0.0  -0.0 -> 0

comx651 compare   0.0   0.0 -> 0

comx652 compare  -0.0   0   -> 0

comx653 compare  -0.0  -0   -> 0

comx654 compare  -0.0  -0.0 -> 0

comx655 compare  -0.0   0.0 -> 0

comx656 compare  -0E1   0.0 -> 0

comx657 compare  -0E2   0.0 -> 0

comx658 compare   0E1   0.0 -> 0

comx659 compare   0E2   0.0 -> 0

comx660 compare  -0E1   0   -> 0

comx661 compare  -0E2   0   -> 0

comx662 compare   0E1   0   -> 0

comx663 compare   0E2   0   -> 0

comx664 compare  -0E1  -0E1 -> 0

comx665 compare  -0E2  -0E1 -> 0

comx666 compare   0E1  -0E1 -> 0

comx667 compare   0E2  -0E1 -> 0

comx668 compare  -0E1  -0E2 -> 0

comx669 compare  -0E2  -0E2 -> 0

comx670 compare   0E1  -0E2 -> 0

comx671 compare   0E2  -0E2 -> 0

comx672 compare  -0E1   0E1 -> 0

comx673 compare  -0E2   0E1 -> 0

comx674 compare   0E1   0E1 -> 0

comx675 compare   0E2   0E1 -> 0

comx676 compare  -0E1   0E2 -> 0

comx677 compare  -0E2   0E2 -> 0

comx678 compare   0E1   0E2 -> 0

comx679 compare   0E2   0E2 -> 0

-- trailing zeros; unit-y

precision: 20

comx680 compare   12    12           -> 0

comx681 compare   12    12.0         -> 0

comx682 compare   12    12.00        -> 0

comx683 compare   12    12.000       -> 0

comx684 compare   12    12.0000      -> 0

comx685 compare   12    12.00000     -> 0

comx686 compare   12    12.000000    -> 0

comx687 compare   12    12.0000000   -> 0

comx688 compare   12    12.00000000  -> 0

comx689 compare   12    12.000000000 -> 0

comx690 compare   12              12 -> 0

comx691 compare   12.0            12 -> 0

comx692 compare   12.00           12 -> 0

comx693 compare   12.000          12 -> 0

comx694 compare   12.0000         12 -> 0

comx695 compare   12.00000        12 -> 0

comx696 compare   12.000000       12 -> 0

comx697 compare   12.0000000      12 -> 0

comx698 compare   12.00000000     12 -> 0

comx699 compare   12.000000000    12 -> 0

-- long operand checks

maxexponent: 999

minexponent: -999

precision: 9

comx701 compare 12345678000  1 ->  1

comx702 compare 1 12345678000  -> -1

comx703 compare 1234567800   1 ->  1

comx704 compare 1 1234567800   -> -1

comx705 compare 1234567890   1 ->  1

comx706 compare 1 1234567890   -> -1

comx707 compare 1234567891   1 ->  1

comx708 compare 1 1234567891   -> -1

comx709 compare 12345678901  1 ->  1

comx710 compare 1 12345678901  -> -1

comx711 compare 1234567896   1 ->  1

comx712 compare 1 1234567896   -> -1

comx713 compare -1234567891  1 -> -1