123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744 |
- ------------------------------------------------------------------------
- -- 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
|