| ------------------------------------------------------------------------ |
| -- ddCompare.decTest -- decDouble 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.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). |
| |
| -- All operands and results are decDoubles. |
| precision: 16 |
| maxExponent: 384 |
| minExponent: -383 |
| extended: 1 |
| clamp: 1 |
| rounding: half_even |
| |
| -- sanity checks |
| ddcom001 compare -2 -2 -> 0 |
| ddcom002 compare -2 -1 -> -1 |
| ddcom003 compare -2 0 -> -1 |
| ddcom004 compare -2 1 -> -1 |
| ddcom005 compare -2 2 -> -1 |
| ddcom006 compare -1 -2 -> 1 |
| ddcom007 compare -1 -1 -> 0 |
| ddcom008 compare -1 0 -> -1 |
| ddcom009 compare -1 1 -> -1 |
| ddcom010 compare -1 2 -> -1 |
| ddcom011 compare 0 -2 -> 1 |
| ddcom012 compare 0 -1 -> 1 |
| ddcom013 compare 0 0 -> 0 |
| ddcom014 compare 0 1 -> -1 |
| ddcom015 compare 0 2 -> -1 |
| ddcom016 compare 1 -2 -> 1 |
| ddcom017 compare 1 -1 -> 1 |
| ddcom018 compare 1 0 -> 1 |
| ddcom019 compare 1 1 -> 0 |
| ddcom020 compare 1 2 -> -1 |
| ddcom021 compare 2 -2 -> 1 |
| ddcom022 compare 2 -1 -> 1 |
| ddcom023 compare 2 0 -> 1 |
| ddcom025 compare 2 1 -> 1 |
| ddcom026 compare 2 2 -> 0 |
| |
| ddcom031 compare -20 -20 -> 0 |
| ddcom032 compare -20 -10 -> -1 |
| ddcom033 compare -20 00 -> -1 |
| ddcom034 compare -20 10 -> -1 |
| ddcom035 compare -20 20 -> -1 |
| ddcom036 compare -10 -20 -> 1 |
| ddcom037 compare -10 -10 -> 0 |
| ddcom038 compare -10 00 -> -1 |
| ddcom039 compare -10 10 -> -1 |
| ddcom040 compare -10 20 -> -1 |
| ddcom041 compare 00 -20 -> 1 |
| ddcom042 compare 00 -10 -> 1 |
| ddcom043 compare 00 00 -> 0 |
| ddcom044 compare 00 10 -> -1 |
| ddcom045 compare 00 20 -> -1 |
| ddcom046 compare 10 -20 -> 1 |
| ddcom047 compare 10 -10 -> 1 |
| ddcom048 compare 10 00 -> 1 |
| ddcom049 compare 10 10 -> 0 |
| ddcom050 compare 10 20 -> -1 |
| ddcom051 compare 20 -20 -> 1 |
| ddcom052 compare 20 -10 -> 1 |
| ddcom053 compare 20 00 -> 1 |
| ddcom055 compare 20 10 -> 1 |
| ddcom056 compare 20 20 -> 0 |
| |
| ddcom061 compare -2.0 -2.0 -> 0 |
| ddcom062 compare -2.0 -1.0 -> -1 |
| ddcom063 compare -2.0 0.0 -> -1 |
| ddcom064 compare -2.0 1.0 -> -1 |
| ddcom065 compare -2.0 2.0 -> -1 |
| ddcom066 compare -1.0 -2.0 -> 1 |
| ddcom067 compare -1.0 -1.0 -> 0 |
| ddcom068 compare -1.0 0.0 -> -1 |
| ddcom069 compare -1.0 1.0 -> -1 |
| ddcom070 compare -1.0 2.0 -> -1 |
| ddcom071 compare 0.0 -2.0 -> 1 |
| ddcom072 compare 0.0 -1.0 -> 1 |
| ddcom073 compare 0.0 0.0 -> 0 |
| ddcom074 compare 0.0 1.0 -> -1 |
| ddcom075 compare 0.0 2.0 -> -1 |
| ddcom076 compare 1.0 -2.0 -> 1 |
| ddcom077 compare 1.0 -1.0 -> 1 |
| ddcom078 compare 1.0 0.0 -> 1 |
| ddcom079 compare 1.0 1.0 -> 0 |
| ddcom080 compare 1.0 2.0 -> -1 |
| ddcom081 compare 2.0 -2.0 -> 1 |
| ddcom082 compare 2.0 -1.0 -> 1 |
| ddcom083 compare 2.0 0.0 -> 1 |
| ddcom085 compare 2.0 1.0 -> 1 |
| ddcom086 compare 2.0 2.0 -> 0 |
| ddcom087 compare 1.0 0.1 -> 1 |
| ddcom088 compare 0.1 1.0 -> -1 |
| |
| -- now some cases which might overflow if subtract were used |
| ddcom095 compare 9.999999999999999E+384 9.999999999999999E+384 -> 0 |
| ddcom096 compare -9.999999999999999E+384 9.999999999999999E+384 -> -1 |
| ddcom097 compare 9.999999999999999E+384 -9.999999999999999E+384 -> 1 |
| ddcom098 compare -9.999999999999999E+384 -9.999999999999999E+384 -> 0 |
| |
| -- some differing length/exponent cases |
| ddcom100 compare 7.0 7.0 -> 0 |
| ddcom101 compare 7.0 7 -> 0 |
| ddcom102 compare 7 7.0 -> 0 |
| ddcom103 compare 7E+0 7.0 -> 0 |
| ddcom104 compare 70E-1 7.0 -> 0 |
| ddcom105 compare 0.7E+1 7 -> 0 |
| ddcom106 compare 70E-1 7 -> 0 |
| ddcom107 compare 7.0 7E+0 -> 0 |
| ddcom108 compare 7.0 70E-1 -> 0 |
| ddcom109 compare 7 0.7E+1 -> 0 |
| ddcom110 compare 7 70E-1 -> 0 |
| |
| ddcom120 compare 8.0 7.0 -> 1 |
| ddcom121 compare 8.0 7 -> 1 |
| ddcom122 compare 8 7.0 -> 1 |
| ddcom123 compare 8E+0 7.0 -> 1 |
| ddcom124 compare 80E-1 7.0 -> 1 |
| ddcom125 compare 0.8E+1 7 -> 1 |
| ddcom126 compare 80E-1 7 -> 1 |
| ddcom127 compare 8.0 7E+0 -> 1 |
| ddcom128 compare 8.0 70E-1 -> 1 |
| ddcom129 compare 8 0.7E+1 -> 1 |
| ddcom130 compare 8 70E-1 -> 1 |
| |
| ddcom140 compare 8.0 9.0 -> -1 |
| ddcom141 compare 8.0 9 -> -1 |
| ddcom142 compare 8 9.0 -> -1 |
| ddcom143 compare 8E+0 9.0 -> -1 |
| ddcom144 compare 80E-1 9.0 -> -1 |
| ddcom145 compare 0.8E+1 9 -> -1 |
| ddcom146 compare 80E-1 9 -> -1 |
| ddcom147 compare 8.0 9E+0 -> -1 |
| ddcom148 compare 8.0 90E-1 -> -1 |
| ddcom149 compare 8 0.9E+1 -> -1 |
| ddcom150 compare 8 90E-1 -> -1 |
| |
| -- and again, with sign changes -+ .. |
| ddcom200 compare -7.0 7.0 -> -1 |
| ddcom201 compare -7.0 7 -> -1 |
| ddcom202 compare -7 7.0 -> -1 |
| ddcom203 compare -7E+0 7.0 -> -1 |
| ddcom204 compare -70E-1 7.0 -> -1 |
| ddcom205 compare -0.7E+1 7 -> -1 |
| ddcom206 compare -70E-1 7 -> -1 |
| ddcom207 compare -7.0 7E+0 -> -1 |
| ddcom208 compare -7.0 70E-1 -> -1 |
| ddcom209 compare -7 0.7E+1 -> -1 |
| ddcom210 compare -7 70E-1 -> -1 |
| |
| ddcom220 compare -8.0 7.0 -> -1 |
| ddcom221 compare -8.0 7 -> -1 |
| ddcom222 compare -8 7.0 -> -1 |
| ddcom223 compare -8E+0 7.0 -> -1 |
| ddcom224 compare -80E-1 7.0 -> -1 |
| ddcom225 compare -0.8E+1 7 -> -1 |
| ddcom226 compare -80E-1 7 -> -1 |
| ddcom227 compare -8.0 7E+0 -> -1 |
| ddcom228 compare -8.0 70E-1 -> -1 |
| ddcom229 compare -8 0.7E+1 -> -1 |
| ddcom230 compare -8 70E-1 -> -1 |
| |
| ddcom240 compare -8.0 9.0 -> -1 |
| ddcom241 compare -8.0 9 -> -1 |
| ddcom242 compare -8 9.0 -> -1 |
| ddcom243 compare -8E+0 9.0 -> -1 |
| ddcom244 compare -80E-1 9.0 -> -1 |
| ddcom245 compare -0.8E+1 9 -> -1 |
| ddcom246 compare -80E-1 9 -> -1 |
| ddcom247 compare -8.0 9E+0 -> -1 |
| ddcom248 compare -8.0 90E-1 -> -1 |
| ddcom249 compare -8 0.9E+1 -> -1 |
| ddcom250 compare -8 90E-1 -> -1 |
| |
| -- and again, with sign changes +- .. |
| ddcom300 compare 7.0 -7.0 -> 1 |
| ddcom301 compare 7.0 -7 -> 1 |
| ddcom302 compare 7 -7.0 -> 1 |
| ddcom303 compare 7E+0 -7.0 -> 1 |
| ddcom304 compare 70E-1 -7.0 -> 1 |
| ddcom305 compare .7E+1 -7 -> 1 |
| ddcom306 compare 70E-1 -7 -> 1 |
| ddcom307 compare 7.0 -7E+0 -> 1 |
| ddcom308 compare 7.0 -70E-1 -> 1 |
| ddcom309 compare 7 -.7E+1 -> 1 |
| ddcom310 compare 7 -70E-1 -> 1 |
| |
| ddcom320 compare 8.0 -7.0 -> 1 |
| ddcom321 compare 8.0 -7 -> 1 |
| ddcom322 compare 8 -7.0 -> 1 |
| ddcom323 compare 8E+0 -7.0 -> 1 |
| ddcom324 compare 80E-1 -7.0 -> 1 |
| ddcom325 compare .8E+1 -7 -> 1 |
| ddcom326 compare 80E-1 -7 -> 1 |
| ddcom327 compare 8.0 -7E+0 -> 1 |
| ddcom328 compare 8.0 -70E-1 -> 1 |
| ddcom329 compare 8 -.7E+1 -> 1 |
| ddcom330 compare 8 -70E-1 -> 1 |
| |
| ddcom340 compare 8.0 -9.0 -> 1 |
| ddcom341 compare 8.0 -9 -> 1 |
| ddcom342 compare 8 -9.0 -> 1 |
| ddcom343 compare 8E+0 -9.0 -> 1 |
| ddcom344 compare 80E-1 -9.0 -> 1 |
| ddcom345 compare .8E+1 -9 -> 1 |
| ddcom346 compare 80E-1 -9 -> 1 |
| ddcom347 compare 8.0 -9E+0 -> 1 |
| ddcom348 compare 8.0 -90E-1 -> 1 |
| ddcom349 compare 8 -.9E+1 -> 1 |
| ddcom350 compare 8 -90E-1 -> 1 |
| |
| -- and again, with sign changes -- .. |
| ddcom400 compare -7.0 -7.0 -> 0 |
| ddcom401 compare -7.0 -7 -> 0 |
| ddcom402 compare -7 -7.0 -> 0 |
| ddcom403 compare -7E+0 -7.0 -> 0 |
| ddcom404 compare -70E-1 -7.0 -> 0 |
| ddcom405 compare -.7E+1 -7 -> 0 |
| ddcom406 compare -70E-1 -7 -> 0 |
| ddcom407 compare -7.0 -7E+0 -> 0 |
| ddcom408 compare -7.0 -70E-1 -> 0 |
| ddcom409 compare -7 -.7E+1 -> 0 |
| ddcom410 compare -7 -70E-1 -> 0 |
| |
| ddcom420 compare -8.0 -7.0 -> -1 |
| ddcom421 compare -8.0 -7 -> -1 |
| ddcom422 compare -8 -7.0 -> -1 |
| ddcom423 compare -8E+0 -7.0 -> -1 |
| ddcom424 compare -80E-1 -7.0 -> -1 |
| ddcom425 compare -.8E+1 -7 -> -1 |
| ddcom426 compare -80E-1 -7 -> -1 |
| ddcom427 compare -8.0 -7E+0 -> -1 |
| ddcom428 compare -8.0 -70E-1 -> -1 |
| ddcom429 compare -8 -.7E+1 -> -1 |
| ddcom430 compare -8 -70E-1 -> -1 |
| |
| ddcom440 compare -8.0 -9.0 -> 1 |
| ddcom441 compare -8.0 -9 -> 1 |
| ddcom442 compare -8 -9.0 -> 1 |
| ddcom443 compare -8E+0 -9.0 -> 1 |
| ddcom444 compare -80E-1 -9.0 -> 1 |
| ddcom445 compare -.8E+1 -9 -> 1 |
| ddcom446 compare -80E-1 -9 -> 1 |
| ddcom447 compare -8.0 -9E+0 -> 1 |
| ddcom448 compare -8.0 -90E-1 -> 1 |
| ddcom449 compare -8 -.9E+1 -> 1 |
| ddcom450 compare -8 -90E-1 -> 1 |
| |
| -- misalignment traps for little-endian |
| ddcom451 compare 1.0 0.1 -> 1 |
| ddcom452 compare 0.1 1.0 -> -1 |
| ddcom453 compare 10.0 0.1 -> 1 |
| ddcom454 compare 0.1 10.0 -> -1 |
| ddcom455 compare 100 1.0 -> 1 |
| ddcom456 compare 1.0 100 -> -1 |
| ddcom457 compare 1000 10.0 -> 1 |
| ddcom458 compare 10.0 1000 -> -1 |
| ddcom459 compare 10000 100.0 -> 1 |
| ddcom460 compare 100.0 10000 -> -1 |
| ddcom461 compare 100000 1000.0 -> 1 |
| ddcom462 compare 1000.0 100000 -> -1 |
| ddcom463 compare 1000000 10000.0 -> 1 |
| ddcom464 compare 10000.0 1000000 -> -1 |
| |
| -- testcases that subtract to lots of zeros at boundaries [pgr] |
| ddcom473 compare 123.4560000000000E-89 123.456E-89 -> 0 |
| ddcom474 compare 123.456000000000E+89 123.456E+89 -> 0 |
| ddcom475 compare 123.45600000000E-89 123.456E-89 -> 0 |
| ddcom476 compare 123.4560000000E+89 123.456E+89 -> 0 |
| ddcom477 compare 123.456000000E-89 123.456E-89 -> 0 |
| ddcom478 compare 123.45600000E+89 123.456E+89 -> 0 |
| ddcom479 compare 123.4560000E-89 123.456E-89 -> 0 |
| ddcom480 compare 123.456000E+89 123.456E+89 -> 0 |
| ddcom481 compare 123.45600E-89 123.456E-89 -> 0 |
| ddcom482 compare 123.4560E+89 123.456E+89 -> 0 |
| ddcom483 compare 123.456E-89 123.456E-89 -> 0 |
| ddcom487 compare 123.456E+89 123.4560000000000E+89 -> 0 |
| ddcom488 compare 123.456E-89 123.456000000000E-89 -> 0 |
| ddcom489 compare 123.456E+89 123.45600000000E+89 -> 0 |
| ddcom490 compare 123.456E-89 123.4560000000E-89 -> 0 |
| ddcom491 compare 123.456E+89 123.456000000E+89 -> 0 |
| ddcom492 compare 123.456E-89 123.45600000E-89 -> 0 |
| ddcom493 compare 123.456E+89 123.4560000E+89 -> 0 |
| ddcom494 compare 123.456E-89 123.456000E-89 -> 0 |
| ddcom495 compare 123.456E+89 123.45600E+89 -> 0 |
| ddcom496 compare 123.456E-89 123.4560E-89 -> 0 |
| ddcom497 compare 123.456E+89 123.456E+89 -> 0 |
| |
| -- wide-ranging, around precision; signs equal |
| ddcom500 compare 1 1E-15 -> 1 |
| ddcom501 compare 1 1E-14 -> 1 |
| ddcom502 compare 1 1E-13 -> 1 |
| ddcom503 compare 1 1E-12 -> 1 |
| ddcom504 compare 1 1E-11 -> 1 |
| ddcom505 compare 1 1E-10 -> 1 |
| ddcom506 compare 1 1E-9 -> 1 |
| ddcom507 compare 1 1E-8 -> 1 |
| ddcom508 compare 1 1E-7 -> 1 |
| ddcom509 compare 1 1E-6 -> 1 |
| ddcom510 compare 1 1E-5 -> 1 |
| ddcom511 compare 1 1E-4 -> 1 |
| ddcom512 compare 1 1E-3 -> 1 |
| ddcom513 compare 1 1E-2 -> 1 |
| ddcom514 compare 1 1E-1 -> 1 |
| ddcom515 compare 1 1E-0 -> 0 |
| ddcom516 compare 1 1E+1 -> -1 |
| ddcom517 compare 1 1E+2 -> -1 |
| ddcom518 compare 1 1E+3 -> -1 |
| ddcom519 compare 1 1E+4 -> -1 |
| ddcom521 compare 1 1E+5 -> -1 |
| ddcom522 compare 1 1E+6 -> -1 |
| ddcom523 compare 1 1E+7 -> -1 |
| ddcom524 compare 1 1E+8 -> -1 |
| ddcom525 compare 1 1E+9 -> -1 |
| ddcom526 compare 1 1E+10 -> -1 |
| ddcom527 compare 1 1E+11 -> -1 |
| ddcom528 compare 1 1E+12 -> -1 |
| ddcom529 compare 1 1E+13 -> -1 |
| ddcom530 compare 1 1E+14 -> -1 |
| ddcom531 compare 1 1E+15 -> -1 |
| -- LR swap |
| ddcom540 compare 1E-15 1 -> -1 |
| ddcom541 compare 1E-14 1 -> -1 |
| ddcom542 compare 1E-13 1 -> -1 |
| ddcom543 compare 1E-12 1 -> -1 |
| ddcom544 compare 1E-11 1 -> -1 |
| ddcom545 compare 1E-10 1 -> -1 |
| ddcom546 compare 1E-9 1 -> -1 |
| ddcom547 compare 1E-8 1 -> -1 |
| ddcom548 compare 1E-7 1 -> -1 |
| ddcom549 compare 1E-6 1 -> -1 |
| ddcom550 compare 1E-5 1 -> -1 |
| ddcom551 compare 1E-4 1 -> -1 |
| ddcom552 compare 1E-3 1 -> -1 |
| ddcom553 compare 1E-2 1 -> -1 |
| ddcom554 compare 1E-1 1 -> -1 |
| ddcom555 compare 1E-0 1 -> 0 |
| ddcom556 compare 1E+1 1 -> 1 |
| ddcom557 compare 1E+2 1 -> 1 |
| ddcom558 compare 1E+3 1 -> 1 |
| ddcom559 compare 1E+4 1 -> 1 |
| ddcom561 compare 1E+5 1 -> 1 |
| ddcom562 compare 1E+6 1 -> 1 |
| ddcom563 compare 1E+7 1 -> 1 |
| ddcom564 compare 1E+8 1 -> 1 |
| ddcom565 compare 1E+9 1 -> 1 |
| ddcom566 compare 1E+10 1 -> 1 |
| ddcom567 compare 1E+11 1 -> 1 |
| ddcom568 compare 1E+12 1 -> 1 |
| ddcom569 compare 1E+13 1 -> 1 |
| ddcom570 compare 1E+14 1 -> 1 |
| ddcom571 compare 1E+15 1 -> 1 |
| -- similar with a useful coefficient, one side only |
| ddcom580 compare 0.000000987654321 1E-15 -> 1 |
| ddcom581 compare 0.000000987654321 1E-14 -> 1 |
| ddcom582 compare 0.000000987654321 1E-13 -> 1 |
| ddcom583 compare 0.000000987654321 1E-12 -> 1 |
| ddcom584 compare 0.000000987654321 1E-11 -> 1 |
| ddcom585 compare 0.000000987654321 1E-10 -> 1 |
| ddcom586 compare 0.000000987654321 1E-9 -> 1 |
| ddcom587 compare 0.000000987654321 1E-8 -> 1 |
| ddcom588 compare 0.000000987654321 1E-7 -> 1 |
| ddcom589 compare 0.000000987654321 1E-6 -> -1 |
| ddcom590 compare 0.000000987654321 1E-5 -> -1 |
| ddcom591 compare 0.000000987654321 1E-4 -> -1 |
| ddcom592 compare 0.000000987654321 1E-3 -> -1 |
| ddcom593 compare 0.000000987654321 1E-2 -> -1 |
| ddcom594 compare 0.000000987654321 1E-1 -> -1 |
| ddcom595 compare 0.000000987654321 1E-0 -> -1 |
| ddcom596 compare 0.000000987654321 1E+1 -> -1 |
| ddcom597 compare 0.000000987654321 1E+2 -> -1 |
| ddcom598 compare 0.000000987654321 1E+3 -> -1 |
| ddcom599 compare 0.000000987654321 1E+4 -> -1 |
| |
| -- check some unit-y traps |
| ddcom600 compare 12 12.2345 -> -1 |
| ddcom601 compare 12.0 12.2345 -> -1 |
| ddcom602 compare 12.00 12.2345 -> -1 |
| ddcom603 compare 12.000 12.2345 -> -1 |
| ddcom604 compare 12.0000 12.2345 -> -1 |
| ddcom605 compare 12.00000 12.2345 -> -1 |
| ddcom606 compare 12.000000 12.2345 -> -1 |
| ddcom607 compare 12.0000000 12.2345 -> -1 |
| ddcom608 compare 12.00000000 12.2345 -> -1 |
| ddcom609 compare 12.000000000 12.2345 -> -1 |
| ddcom610 compare 12.1234 12 -> 1 |
| ddcom611 compare 12.1234 12.0 -> 1 |
| ddcom612 compare 12.1234 12.00 -> 1 |
| ddcom613 compare 12.1234 12.000 -> 1 |
| ddcom614 compare 12.1234 12.0000 -> 1 |
| ddcom615 compare 12.1234 12.00000 -> 1 |
| ddcom616 compare 12.1234 12.000000 -> 1 |
| ddcom617 compare 12.1234 12.0000000 -> 1 |
| ddcom618 compare 12.1234 12.00000000 -> 1 |
| ddcom619 compare 12.1234 12.000000000 -> 1 |
| ddcom620 compare -12 -12.2345 -> 1 |
| ddcom621 compare -12.0 -12.2345 -> 1 |
| ddcom622 compare -12.00 -12.2345 -> 1 |
| ddcom623 compare -12.000 -12.2345 -> 1 |
| ddcom624 compare -12.0000 -12.2345 -> 1 |
| ddcom625 compare -12.00000 -12.2345 -> 1 |
| ddcom626 compare -12.000000 -12.2345 -> 1 |
| ddcom627 compare -12.0000000 -12.2345 -> 1 |
| ddcom628 compare -12.00000000 -12.2345 -> 1 |
| ddcom629 compare -12.000000000 -12.2345 -> 1 |
| ddcom630 compare -12.1234 -12 -> -1 |
| ddcom631 compare -12.1234 -12.0 -> -1 |
| ddcom632 compare -12.1234 -12.00 -> -1 |
| ddcom633 compare -12.1234 -12.000 -> -1 |
| ddcom634 compare -12.1234 -12.0000 -> -1 |
| ddcom635 compare -12.1234 -12.00000 -> -1 |
| ddcom636 compare -12.1234 -12.000000 -> -1 |
| ddcom637 compare -12.1234 -12.0000000 -> -1 |
| ddcom638 compare -12.1234 -12.00000000 -> -1 |
| ddcom639 compare -12.1234 -12.000000000 -> -1 |
| |
| -- extended zeros |
| ddcom640 compare 0 0 -> 0 |
| ddcom641 compare 0 -0 -> 0 |
| ddcom642 compare 0 -0.0 -> 0 |
| ddcom643 compare 0 0.0 -> 0 |
| ddcom644 compare -0 0 -> 0 |
| ddcom645 compare -0 -0 -> 0 |
| ddcom646 compare -0 -0.0 -> 0 |
| ddcom647 compare -0 0.0 -> 0 |
| ddcom648 compare 0.0 0 -> 0 |
| ddcom649 compare 0.0 -0 -> 0 |
| ddcom650 compare 0.0 -0.0 -> 0 |
| ddcom651 compare 0.0 0.0 -> 0 |
| ddcom652 compare -0.0 0 -> 0 |
| ddcom653 compare -0.0 -0 -> 0 |
| ddcom654 compare -0.0 -0.0 -> 0 |
| ddcom655 compare -0.0 0.0 -> 0 |
| |
| ddcom656 compare -0E1 0.0 -> 0 |
| ddcom657 compare -0E2 0.0 -> 0 |
| ddcom658 compare 0E1 0.0 -> 0 |
| ddcom659 compare 0E2 0.0 -> 0 |
| ddcom660 compare -0E1 0 -> 0 |
| ddcom661 compare -0E2 0 -> 0 |
| ddcom662 compare 0E1 0 -> 0 |
| ddcom663 compare 0E2 0 -> 0 |
| ddcom664 compare -0E1 -0E1 -> 0 |
| ddcom665 compare -0E2 -0E1 -> 0 |
| ddcom666 compare 0E1 -0E1 -> 0 |
| ddcom667 compare 0E2 -0E1 -> 0 |
| ddcom668 compare -0E1 -0E2 -> 0 |
| ddcom669 compare -0E2 -0E2 -> 0 |
| ddcom670 compare 0E1 -0E2 -> 0 |
| ddcom671 compare 0E2 -0E2 -> 0 |
| ddcom672 compare -0E1 0E1 -> 0 |
| ddcom673 compare -0E2 0E1 -> 0 |
| ddcom674 compare 0E1 0E1 -> 0 |
| ddcom675 compare 0E2 0E1 -> 0 |
| ddcom676 compare -0E1 0E2 -> 0 |
| ddcom677 compare -0E2 0E2 -> 0 |
| ddcom678 compare 0E1 0E2 -> 0 |
| ddcom679 compare 0E2 0E2 -> 0 |
| |
| -- trailing zeros; unit-y |
| ddcom680 compare 12 12 -> 0 |
| ddcom681 compare 12 12.0 -> 0 |
| ddcom682 compare 12 12.00 -> 0 |
| ddcom683 compare 12 12.000 -> 0 |
| ddcom684 compare 12 12.0000 -> 0 |
| ddcom685 compare 12 12.00000 -> 0 |
| ddcom686 compare 12 12.000000 -> 0 |
| ddcom687 compare 12 12.0000000 -> 0 |
| ddcom688 compare 12 12.00000000 -> 0 |
| ddcom689 compare 12 12.000000000 -> 0 |
| ddcom690 compare 12 12 -> 0 |
| ddcom691 compare 12.0 12 -> 0 |
| ddcom692 compare 12.00 12 -> 0 |
| ddcom693 compare 12.000 12 -> 0 |
| ddcom694 compare 12.0000 12 -> 0 |
| ddcom695 compare 12.00000 12 -> 0 |
| ddcom696 compare 12.000000 12 -> 0 |
| ddcom697 compare 12.0000000 12 -> 0 |
| ddcom698 compare 12.00000000 12 -> 0 |
| ddcom699 compare 12.000000000 12 -> 0 |
| |
| -- first, second, & last digit |
| ddcom700 compare 1234567890123456 1234567890123455 -> 1 |
| ddcom701 compare 1234567890123456 1234567890123456 -> 0 |
| ddcom702 compare 1234567890123456 1234567890123457 -> -1 |
| ddcom703 compare 1234567890123456 0234567890123456 -> 1 |
| ddcom704 compare 1234567890123456 1234567890123456 -> 0 |
| ddcom705 compare 1234567890123456 2234567890123456 -> -1 |
| ddcom706 compare 1134567890123456 1034567890123456 -> 1 |
| ddcom707 compare 1134567890123456 1134567890123456 -> 0 |
| ddcom708 compare 1134567890123456 1234567890123456 -> -1 |
| |
| -- miscellaneous |
| ddcom721 compare 12345678000 1 -> 1 |
| ddcom722 compare 1 12345678000 -> -1 |
| ddcom723 compare 1234567800 1 -> 1 |
| ddcom724 compare 1 1234567800 -> -1 |
| ddcom725 compare 1234567890 1 -> 1 |
| ddcom726 compare 1 1234567890 -> -1 |
| ddcom727 compare 1234567891 1 -> 1 |
| ddcom728 compare 1 1234567891 -> -1 |
| ddcom729 compare 12345678901 1 -> 1 |
| ddcom730 compare 1 12345678901 -> -1 |
| ddcom731 compare 1234567896 1 -> 1 |
| ddcom732 compare 1 1234567896 -> -1 |
| |
| -- residue cases at lower precision |
| ddcom740 compare 1 0.9999999 -> 1 |
| ddcom741 compare 1 0.999999 -> 1 |
| ddcom742 compare 1 0.99999 -> 1 |
| ddcom743 compare 1 1.0000 -> 0 |
| ddcom744 compare 1 1.00001 -> -1 |
| ddcom745 compare 1 1.000001 -> -1 |
| ddcom746 compare 1 1.0000001 -> -1 |
| ddcom750 compare 0.9999999 1 -> -1 |
| ddcom751 compare 0.999999 1 -> -1 |
| ddcom752 compare 0.99999 1 -> -1 |
| ddcom753 compare 1.0000 1 -> 0 |
| ddcom754 compare 1.00001 1 -> 1 |
| ddcom755 compare 1.000001 1 -> 1 |
| ddcom756 compare 1.0000001 1 -> 1 |
| |
| -- Specials |
| ddcom780 compare Inf -Inf -> 1 |
| ddcom781 compare Inf -1000 -> 1 |
| ddcom782 compare Inf -1 -> 1 |
| ddcom783 compare Inf -0 -> 1 |
| ddcom784 compare Inf 0 -> 1 |
| ddcom785 compare Inf 1 -> 1 |
| ddcom786 compare Inf 1000 -> 1 |
| ddcom787 compare Inf Inf -> 0 |
| ddcom788 compare -1000 Inf -> -1 |
| ddcom789 compare -Inf Inf -> -1 |
| ddcom790 compare -1 Inf -> -1 |
| ddcom791 compare -0 Inf -> -1 |
| ddcom792 compare 0 Inf -> -1 |
| ddcom793 compare 1 Inf -> -1 |
| ddcom794 compare 1000 Inf -> -1 |
| ddcom795 compare Inf Inf -> 0 |
| |
| ddcom800 compare -Inf -Inf -> 0 |
| ddcom801 compare -Inf -1000 -> -1 |
| ddcom802 compare -Inf -1 -> -1 |
| ddcom803 compare -Inf -0 -> -1 |
| ddcom804 compare -Inf 0 -> -1 |
| ddcom805 compare -Inf 1 -> -1 |
| ddcom806 compare -Inf 1000 -> -1 |
| ddcom807 compare -Inf Inf -> -1 |
| ddcom808 compare -Inf -Inf -> 0 |
| ddcom809 compare -1000 -Inf -> 1 |
| ddcom810 compare -1 -Inf -> 1 |
| ddcom811 compare -0 -Inf -> 1 |
| ddcom812 compare 0 -Inf -> 1 |
| ddcom813 compare 1 -Inf -> 1 |
| ddcom814 compare 1000 -Inf -> 1 |
| ddcom815 compare Inf -Inf -> 1 |
| |
| ddcom821 compare NaN -Inf -> NaN |
| ddcom822 compare NaN -1000 -> NaN |
| ddcom823 compare NaN -1 -> NaN |
| ddcom824 compare NaN -0 -> NaN |
| ddcom825 compare NaN 0 -> NaN |
| ddcom826 compare NaN 1 -> NaN |
| ddcom827 compare NaN 1000 -> NaN |
| ddcom828 compare NaN Inf -> NaN |
| ddcom829 compare NaN NaN -> NaN |
| ddcom830 compare -Inf NaN -> NaN |
| ddcom831 compare -1000 NaN -> NaN |
| ddcom832 compare -1 NaN -> NaN |
| ddcom833 compare -0 NaN -> NaN |
| ddcom834 compare 0 NaN -> NaN |
| ddcom835 compare 1 NaN -> NaN |
| ddcom836 compare 1000 NaN -> NaN |
| ddcom837 compare Inf NaN -> NaN |
| ddcom838 compare -NaN -NaN -> -NaN |
| ddcom839 compare +NaN -NaN -> NaN |
| ddcom840 compare -NaN +NaN -> -NaN |
| |
| ddcom841 compare sNaN -Inf -> NaN Invalid_operation |
| ddcom842 compare sNaN -1000 -> NaN Invalid_operation |
| ddcom843 compare sNaN -1 -> NaN Invalid_operation |
| ddcom844 compare sNaN -0 -> NaN Invalid_operation |
| ddcom845 compare sNaN 0 -> NaN Invalid_operation |
| ddcom846 compare sNaN 1 -> NaN Invalid_operation |
| ddcom847 compare sNaN 1000 -> NaN Invalid_operation |
| ddcom848 compare sNaN NaN -> NaN Invalid_operation |
| ddcom849 compare sNaN sNaN -> NaN Invalid_operation |
| ddcom850 compare NaN sNaN -> NaN Invalid_operation |
| ddcom851 compare -Inf sNaN -> NaN Invalid_operation |
| ddcom852 compare -1000 sNaN -> NaN Invalid_operation |
| ddcom853 compare -1 sNaN -> NaN Invalid_operation |
| ddcom854 compare -0 sNaN -> NaN Invalid_operation |
| ddcom855 compare 0 sNaN -> NaN Invalid_operation |
| ddcom856 compare 1 sNaN -> NaN Invalid_operation |
| ddcom857 compare 1000 sNaN -> NaN Invalid_operation |
| ddcom858 compare Inf sNaN -> NaN Invalid_operation |
| ddcom859 compare NaN sNaN -> NaN Invalid_operation |
| |
| -- propagating NaNs |
| ddcom860 compare NaN9 -Inf -> NaN9 |
| ddcom861 compare NaN8 999 -> NaN8 |
| ddcom862 compare NaN77 Inf -> NaN77 |
| ddcom863 compare -NaN67 NaN5 -> -NaN67 |
| ddcom864 compare -Inf -NaN4 -> -NaN4 |
| ddcom865 compare -999 -NaN33 -> -NaN33 |
| ddcom866 compare Inf NaN2 -> NaN2 |
| ddcom867 compare -NaN41 -NaN42 -> -NaN41 |
| ddcom868 compare +NaN41 -NaN42 -> NaN41 |
| ddcom869 compare -NaN41 +NaN42 -> -NaN41 |
| ddcom870 compare +NaN41 +NaN42 -> NaN41 |
| |
| ddcom871 compare -sNaN99 -Inf -> -NaN99 Invalid_operation |
| ddcom872 compare sNaN98 -11 -> NaN98 Invalid_operation |
| ddcom873 compare sNaN97 NaN -> NaN97 Invalid_operation |
| ddcom874 compare sNaN16 sNaN94 -> NaN16 Invalid_operation |
| ddcom875 compare NaN85 sNaN83 -> NaN83 Invalid_operation |
| ddcom876 compare -Inf sNaN92 -> NaN92 Invalid_operation |
| ddcom877 compare 088 sNaN81 -> NaN81 Invalid_operation |
| ddcom878 compare Inf sNaN90 -> NaN90 Invalid_operation |
| ddcom879 compare NaN -sNaN89 -> -NaN89 Invalid_operation |
| |
| -- wide range |
| ddcom880 compare +1.23456789012345E-0 9E+384 -> -1 |
| ddcom881 compare 9E+384 +1.23456789012345E-0 -> 1 |
| ddcom882 compare +0.100 9E-383 -> 1 |
| ddcom883 compare 9E-383 +0.100 -> -1 |
| ddcom885 compare -1.23456789012345E-0 9E+384 -> -1 |
| ddcom886 compare 9E+384 -1.23456789012345E-0 -> 1 |
| ddcom887 compare -0.100 9E-383 -> -1 |
| ddcom888 compare 9E-383 -0.100 -> 1 |
| |
| -- spread zeros |
| ddcom900 compare 0E-383 0 -> 0 |
| ddcom901 compare 0E-383 -0 -> 0 |
| ddcom902 compare -0E-383 0 -> 0 |
| ddcom903 compare -0E-383 -0 -> 0 |
| ddcom904 compare 0E-383 0E+384 -> 0 |
| ddcom905 compare 0E-383 -0E+384 -> 0 |
| ddcom906 compare -0E-383 0E+384 -> 0 |
| ddcom907 compare -0E-383 -0E+384 -> 0 |
| ddcom908 compare 0 0E+384 -> 0 |
| ddcom909 compare 0 -0E+384 -> 0 |
| ddcom910 compare -0 0E+384 -> 0 |
| ddcom911 compare -0 -0E+384 -> 0 |
| ddcom930 compare 0E+384 0 -> 0 |
| ddcom931 compare 0E+384 -0 -> 0 |
| ddcom932 compare -0E+384 0 -> 0 |
| ddcom933 compare -0E+384 -0 -> 0 |
| ddcom934 compare 0E+384 0E-383 -> 0 |
| ddcom935 compare 0E+384 -0E-383 -> 0 |
| ddcom936 compare -0E+384 0E-383 -> 0 |
| ddcom937 compare -0E+384 -0E-383 -> 0 |
| ddcom938 compare 0 0E-383 -> 0 |
| ddcom939 compare 0 -0E-383 -> 0 |
| ddcom940 compare -0 0E-383 -> 0 |
| ddcom941 compare -0 -0E-383 -> 0 |
| |
| -- signs |
| ddcom961 compare 1e+77 1e+11 -> 1 |
| ddcom962 compare 1e+77 -1e+11 -> 1 |
| ddcom963 compare -1e+77 1e+11 -> -1 |
| ddcom964 compare -1e+77 -1e+11 -> -1 |
| ddcom965 compare 1e-77 1e-11 -> -1 |
| ddcom966 compare 1e-77 -1e-11 -> 1 |
| ddcom967 compare -1e-77 1e-11 -> -1 |
| ddcom968 compare -1e-77 -1e-11 -> 1 |
| |
| -- full alignment range, both ways |
| ddcomp1001 compare 1 1.000000000000000 -> 0 |
| ddcomp1002 compare 1 1.00000000000000 -> 0 |
| ddcomp1003 compare 1 1.0000000000000 -> 0 |
| ddcomp1004 compare 1 1.000000000000 -> 0 |
| ddcomp1005 compare 1 1.00000000000 -> 0 |
| ddcomp1006 compare 1 1.0000000000 -> 0 |
| ddcomp1007 compare 1 1.000000000 -> 0 |
| ddcomp1008 compare 1 1.00000000 -> 0 |
| ddcomp1009 compare 1 1.0000000 -> 0 |
| ddcomp1010 compare 1 1.000000 -> 0 |
| ddcomp1011 compare 1 1.00000 -> 0 |
| ddcomp1012 compare 1 1.0000 -> 0 |
| ddcomp1013 compare 1 1.000 -> 0 |
| ddcomp1014 compare 1 1.00 -> 0 |
| ddcomp1015 compare 1 1.0 -> 0 |
| ddcomp1021 compare 1.000000000000000 1 -> 0 |
| ddcomp1022 compare 1.00000000000000 1 -> 0 |
| ddcomp1023 compare 1.0000000000000 1 -> 0 |
| ddcomp1024 compare 1.000000000000 1 -> 0 |
| ddcomp1025 compare 1.00000000000 1 -> 0 |
| ddcomp1026 compare 1.0000000000 1 -> 0 |
| ddcomp1027 compare 1.000000000 1 -> 0 |
| ddcomp1028 compare 1.00000000 1 -> 0 |
| ddcomp1029 compare 1.0000000 1 -> 0 |
| ddcomp1030 compare 1.000000 1 -> 0 |
| ddcomp1031 compare 1.00000 1 -> 0 |
| ddcomp1032 compare 1.0000 1 -> 0 |
| ddcomp1033 compare 1.000 1 -> 0 |
| ddcomp1034 compare 1.00 1 -> 0 |
| ddcomp1035 compare 1.0 1 -> 0 |
| |
| -- check MSD always detected non-zero |
| ddcomp1040 compare 0 0.000000000000000 -> 0 |
| ddcomp1041 compare 0 1.000000000000000 -> -1 |
| ddcomp1042 compare 0 2.000000000000000 -> -1 |
| ddcomp1043 compare 0 3.000000000000000 -> -1 |
| ddcomp1044 compare 0 4.000000000000000 -> -1 |
| ddcomp1045 compare 0 5.000000000000000 -> -1 |
| ddcomp1046 compare 0 6.000000000000000 -> -1 |
| ddcomp1047 compare 0 7.000000000000000 -> -1 |
| ddcomp1048 compare 0 8.000000000000000 -> -1 |
| ddcomp1049 compare 0 9.000000000000000 -> -1 |
| ddcomp1050 compare 0.000000000000000 0 -> 0 |
| ddcomp1051 compare 1.000000000000000 0 -> 1 |
| ddcomp1052 compare 2.000000000000000 0 -> 1 |
| ddcomp1053 compare 3.000000000000000 0 -> 1 |
| ddcomp1054 compare 4.000000000000000 0 -> 1 |
| ddcomp1055 compare 5.000000000000000 0 -> 1 |
| ddcomp1056 compare 6.000000000000000 0 -> 1 |
| ddcomp1057 compare 7.000000000000000 0 -> 1 |
| ddcomp1058 compare 8.000000000000000 0 -> 1 |
| ddcomp1059 compare 9.000000000000000 0 -> 1 |
| |
| -- Null tests |
| ddcom9990 compare 10 # -> NaN Invalid_operation |
| ddcom9991 compare # 10 -> NaN Invalid_operation |