Lib/test/decimaltestdata/ddCompare.decTest

   1 ------------------------------------------------------------------------
   2 -- ddCompare.decTest -- decDouble comparison that allows quiet NaNs   --
   3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
   4 ------------------------------------------------------------------------
   5 -- Please see the document "General Decimal Arithmetic Testcases"     --
   6 -- at http://www2.hursley.ibm.com/decimal for the description of      --
   7 -- these testcases.                                                   --
   8 --                                                                    --
   9 -- These testcases are experimental ('beta' versions), and they       --
  10 -- may contain errors.  They are offered on an as-is basis.  In       --
  11 -- particular, achieving the same results as the tests here is not    --
  12 -- a guarantee that an implementation complies with any Standard      --
  13 -- or specification.  The tests are not exhaustive.                   --
  14 --                                                                    --
  15 -- Please send comments, suggestions, and corrections to the author:  --
  16 --   Mike Cowlishaw, IBM Fellow                                       --
  17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
  18 --   mfc@uk.ibm.com                                                   --
  19 ------------------------------------------------------------------------
  20 version: 2.59
  21
  22 -- Note that we cannot assume add/subtract tests cover paths adequately,
  23 -- here, because the code might be quite different (comparison cannot
  24 -- overflow or underflow, so actual subtractions are not necessary).
  25
  26 -- All operands and results are decDoubles.
  27 precision:   16
  28 maxExponent: 384
  29 minExponent: -383
  30 extended:    1
  31 clamp:       1
  32 rounding:    half_even
  33
  34 -- sanity checks
  35 ddcom001 compare  -2  -2  -> 0
  36 ddcom002 compare  -2  -1  -> -1
  37 ddcom003 compare  -2   0  -> -1
  38 ddcom004 compare  -2   1  -> -1
  39 ddcom005 compare  -2   2  -> -1
  40 ddcom006 compare  -1  -2  -> 1
  41 ddcom007 compare  -1  -1  -> 0
  42 ddcom008 compare  -1   0  -> -1
  43 ddcom009 compare  -1   1  -> -1
  44 ddcom010 compare  -1   2  -> -1
  45 ddcom011 compare   0  -2  -> 1
  46 ddcom012 compare   0  -1  -> 1
  47 ddcom013 compare   0   0  -> 0
  48 ddcom014 compare   0   1  -> -1
  49 ddcom015 compare   0   2  -> -1
  50 ddcom016 compare   1  -2  -> 1
  51 ddcom017 compare   1  -1  -> 1
  52 ddcom018 compare   1   0  -> 1
  53 ddcom019 compare   1   1  -> 0
  54 ddcom020 compare   1   2  -> -1
  55 ddcom021 compare   2  -2  -> 1
  56 ddcom022 compare   2  -1  -> 1
  57 ddcom023 compare   2   0  -> 1
  58 ddcom025 compare   2   1  -> 1
  59 ddcom026 compare   2   2  -> 0
  60
  61 ddcom031 compare  -20  -20  -> 0
  62 ddcom032 compare  -20  -10  -> -1
  63 ddcom033 compare  -20   00  -> -1
  64 ddcom034 compare  -20   10  -> -1
  65 ddcom035 compare  -20   20  -> -1
  66 ddcom036 compare  -10  -20  -> 1
  67 ddcom037 compare  -10  -10  -> 0
  68 ddcom038 compare  -10   00  -> -1
  69 ddcom039 compare  -10   10  -> -1
  70 ddcom040 compare  -10   20  -> -1
  71 ddcom041 compare   00  -20  -> 1
  72 ddcom042 compare   00  -10  -> 1
  73 ddcom043 compare   00   00  -> 0
  74 ddcom044 compare   00   10  -> -1
  75 ddcom045 compare   00   20  -> -1
  76 ddcom046 compare   10  -20  -> 1
  77 ddcom047 compare   10  -10  -> 1
  78 ddcom048 compare   10   00  -> 1
  79 ddcom049 compare   10   10  -> 0
  80 ddcom050 compare   10   20  -> -1
  81 ddcom051 compare   20  -20  -> 1
  82 ddcom052 compare   20  -10  -> 1
  83 ddcom053 compare   20   00  -> 1
  84 ddcom055 compare   20   10  -> 1
  85 ddcom056 compare   20   20  -> 0
  86
  87 ddcom061 compare  -2.0  -2.0  -> 0
  88 ddcom062 compare  -2.0  -1.0  -> -1
  89 ddcom063 compare  -2.0   0.0  -> -1
  90 ddcom064 compare  -2.0   1.0  -> -1
  91 ddcom065 compare  -2.0   2.0  -> -1
  92 ddcom066 compare  -1.0  -2.0  -> 1
  93 ddcom067 compare  -1.0  -1.0  -> 0
  94 ddcom068 compare  -1.0   0.0  -> -1
  95 ddcom069 compare  -1.0   1.0  -> -1
  96 ddcom070 compare  -1.0   2.0  -> -1
  97 ddcom071 compare   0.0  -2.0  -> 1
  98 ddcom072 compare   0.0  -1.0  -> 1
  99 ddcom073 compare   0.0   0.0  -> 0
 100 ddcom074 compare   0.0   1.0  -> -1
 101 ddcom075 compare   0.0   2.0  -> -1
 102 ddcom076 compare   1.0  -2.0  -> 1
 103 ddcom077 compare   1.0  -1.0  -> 1
 104 ddcom078 compare   1.0   0.0  -> 1
 105 ddcom079 compare   1.0   1.0  -> 0
 106 ddcom080 compare   1.0   2.0  -> -1
 107 ddcom081 compare   2.0  -2.0  -> 1
 108 ddcom082 compare   2.0  -1.0  -> 1
 109 ddcom083 compare   2.0   0.0  -> 1
 110 ddcom085 compare   2.0   1.0  -> 1
 111 ddcom086 compare   2.0   2.0  -> 0
 112 ddcom087 compare   1.0   0.1  -> 1
 113 ddcom088 compare   0.1   1.0  -> -1
 114
 115 -- now some cases which might overflow if subtract were used
 116 ddcom095 compare  9.999999999999999E+384 9.999999999999999E+384  -> 0
 117 ddcom096 compare -9.999999999999999E+384 9.999999999999999E+384  -> -1
 118 ddcom097 compare  9.999999999999999E+384 -9.999999999999999E+384 -> 1
 119 ddcom098 compare -9.999999999999999E+384 -9.999999999999999E+384 -> 0
 120
 121 -- some differing length/exponent cases
 122 ddcom100 compare   7.0    7.0    -> 0
 123 ddcom101 compare   7.0    7      -> 0
 124 ddcom102 compare   7      7.0    -> 0
 125 ddcom103 compare   7E+0   7.0    -> 0
 126 ddcom104 compare   70E-1  7.0    -> 0
 127 ddcom105 compare   0.7E+1 7      -> 0
 128 ddcom106 compare   70E-1  7      -> 0
 129 ddcom107 compare   7.0    7E+0   -> 0
 130 ddcom108 compare   7.0    70E-1  -> 0
 131 ddcom109 compare   7      0.7E+1 -> 0
 132 ddcom110 compare   7      70E-1  -> 0
 133
 134 ddcom120 compare   8.0    7.0    -> 1
 135 ddcom121 compare   8.0    7      -> 1
 136 ddcom122 compare   8      7.0    -> 1
 137 ddcom123 compare   8E+0   7.0    -> 1
 138 ddcom124 compare   80E-1  7.0    -> 1
 139 ddcom125 compare   0.8E+1 7      -> 1
 140 ddcom126 compare   80E-1  7      -> 1
 141 ddcom127 compare   8.0    7E+0   -> 1
 142 ddcom128 compare   8.0    70E-1  -> 1
 143 ddcom129 compare   8      0.7E+1  -> 1
 144 ddcom130 compare   8      70E-1  -> 1
 145
 146 ddcom140 compare   8.0    9.0    -> -1
 147 ddcom141 compare   8.0    9      -> -1
 148 ddcom142 compare   8      9.0    -> -1
 149 ddcom143 compare   8E+0   9.0    -> -1
 150 ddcom144 compare   80E-1  9.0    -> -1
 151 ddcom145 compare   0.8E+1 9      -> -1
 152 ddcom146 compare   80E-1  9      -> -1
 153 ddcom147 compare   8.0    9E+0   -> -1
 154 ddcom148 compare   8.0    90E-1  -> -1
 155 ddcom149 compare   8      0.9E+1 -> -1
 156 ddcom150 compare   8      90E-1  -> -1
 157
 158 -- and again, with sign changes -+ ..
 159 ddcom200 compare  -7.0    7.0    -> -1
 160 ddcom201 compare  -7.0    7      -> -1
 161 ddcom202 compare  -7      7.0    -> -1
 162 ddcom203 compare  -7E+0   7.0    -> -1
 163 ddcom204 compare  -70E-1  7.0    -> -1
 164 ddcom205 compare  -0.7E+1 7      -> -1
 165 ddcom206 compare  -70E-1  7      -> -1
 166 ddcom207 compare  -7.0    7E+0   -> -1
 167 ddcom208 compare  -7.0    70E-1  -> -1
 168 ddcom209 compare  -7      0.7E+1 -> -1
 169 ddcom210 compare  -7      70E-1  -> -1
 170
 171 ddcom220 compare  -8.0    7.0    -> -1
 172 ddcom221 compare  -8.0    7      -> -1
 173 ddcom222 compare  -8      7.0    -> -1
 174 ddcom223 compare  -8E+0   7.0    -> -1
 175 ddcom224 compare  -80E-1  7.0    -> -1
 176 ddcom225 compare  -0.8E+1 7      -> -1
 177 ddcom226 compare  -80E-1  7      -> -1
 178 ddcom227 compare  -8.0    7E+0   -> -1
 179 ddcom228 compare  -8.0    70E-1  -> -1
 180 ddcom229 compare  -8      0.7E+1 -> -1
 181 ddcom230 compare  -8      70E-1  -> -1
 182
 183 ddcom240 compare  -8.0    9.0    -> -1
 184 ddcom241 compare  -8.0    9      -> -1
 185 ddcom242 compare  -8      9.0    -> -1
 186 ddcom243 compare  -8E+0   9.0    -> -1
 187 ddcom244 compare  -80E-1  9.0    -> -1
 188 ddcom245 compare  -0.8E+1 9      -> -1
 189 ddcom246 compare  -80E-1  9      -> -1
 190 ddcom247 compare  -8.0    9E+0   -> -1
 191 ddcom248 compare  -8.0    90E-1  -> -1
 192 ddcom249 compare  -8      0.9E+1 -> -1
 193 ddcom250 compare  -8      90E-1  -> -1
 194
 195 -- and again, with sign changes +- ..
 196 ddcom300 compare   7.0    -7.0    -> 1
 197 ddcom301 compare   7.0    -7      -> 1
 198 ddcom302 compare   7      -7.0    -> 1
 199 ddcom303 compare   7E+0   -7.0    -> 1
 200 ddcom304 compare   70E-1  -7.0    -> 1
 201 ddcom305 compare   .7E+1  -7      -> 1
 202 ddcom306 compare   70E-1  -7      -> 1
 203 ddcom307 compare   7.0    -7E+0   -> 1
 204 ddcom308 compare   7.0    -70E-1  -> 1
 205 ddcom309 compare   7      -.7E+1  -> 1
 206 ddcom310 compare   7      -70E-1  -> 1
 207
 208 ddcom320 compare   8.0    -7.0    -> 1
 209 ddcom321 compare   8.0    -7      -> 1
 210 ddcom322 compare   8      -7.0    -> 1
 211 ddcom323 compare   8E+0   -7.0    -> 1
 212 ddcom324 compare   80E-1  -7.0    -> 1
 213 ddcom325 compare   .8E+1  -7      -> 1
 214 ddcom326 compare   80E-1  -7      -> 1
 215 ddcom327 compare   8.0    -7E+0   -> 1
 216 ddcom328 compare   8.0    -70E-1  -> 1
 217 ddcom329 compare   8      -.7E+1  -> 1
 218 ddcom330 compare   8      -70E-1  -> 1
 219
 220 ddcom340 compare   8.0    -9.0    -> 1
 221 ddcom341 compare   8.0    -9      -> 1
 222 ddcom342 compare   8      -9.0    -> 1
 223 ddcom343 compare   8E+0   -9.0    -> 1
 224 ddcom344 compare   80E-1  -9.0    -> 1
 225 ddcom345 compare   .8E+1  -9      -> 1
 226 ddcom346 compare   80E-1  -9      -> 1
 227 ddcom347 compare   8.0    -9E+0   -> 1
 228 ddcom348 compare   8.0    -90E-1  -> 1
 229 ddcom349 compare   8      -.9E+1  -> 1
 230 ddcom350 compare   8      -90E-1  -> 1
 231
 232 -- and again, with sign changes -- ..
 233 ddcom400 compare   -7.0    -7.0    -> 0
 234 ddcom401 compare   -7.0    -7      -> 0
 235 ddcom402 compare   -7      -7.0    -> 0
 236 ddcom403 compare   -7E+0   -7.0    -> 0
 237 ddcom404 compare   -70E-1  -7.0    -> 0
 238 ddcom405 compare   -.7E+1  -7      -> 0
 239 ddcom406 compare   -70E-1  -7      -> 0
 240 ddcom407 compare   -7.0    -7E+0   -> 0
 241 ddcom408 compare   -7.0    -70E-1  -> 0
 242 ddcom409 compare   -7      -.7E+1  -> 0
 243 ddcom410 compare   -7      -70E-1  -> 0
 244
 245 ddcom420 compare   -8.0    -7.0    -> -1
 246 ddcom421 compare   -8.0    -7      -> -1
 247 ddcom422 compare   -8      -7.0    -> -1
 248 ddcom423 compare   -8E+0   -7.0    -> -1
 249 ddcom424 compare   -80E-1  -7.0    -> -1
 250 ddcom425 compare   -.8E+1  -7      -> -1
 251 ddcom426 compare   -80E-1  -7      -> -1
 252 ddcom427 compare   -8.0    -7E+0   -> -1
 253 ddcom428 compare   -8.0    -70E-1  -> -1
 254 ddcom429 compare   -8      -.7E+1  -> -1
 255 ddcom430 compare   -8      -70E-1  -> -1
 256
 257 ddcom440 compare   -8.0    -9.0    -> 1
 258 ddcom441 compare   -8.0    -9      -> 1
 259 ddcom442 compare   -8      -9.0    -> 1
 260 ddcom443 compare   -8E+0   -9.0    -> 1
 261 ddcom444 compare   -80E-1  -9.0    -> 1
 262 ddcom445 compare   -.8E+1  -9      -> 1
 263 ddcom446 compare   -80E-1  -9      -> 1
 264 ddcom447 compare   -8.0    -9E+0   -> 1
 265 ddcom448 compare   -8.0    -90E-1  -> 1
 266 ddcom449 compare   -8      -.9E+1  -> 1
 267 ddcom450 compare   -8      -90E-1  -> 1
 268
 269 -- misalignment traps for little-endian
 270 ddcom451 compare      1.0       0.1  -> 1
 271 ddcom452 compare      0.1       1.0  -> -1
 272 ddcom453 compare     10.0       0.1  -> 1
 273 ddcom454 compare      0.1      10.0  -> -1
 274 ddcom455 compare      100       1.0  -> 1
 275 ddcom456 compare      1.0       100  -> -1
 276 ddcom457 compare     1000      10.0  -> 1
 277 ddcom458 compare     10.0      1000  -> -1
 278 ddcom459 compare    10000     100.0  -> 1
 279 ddcom460 compare    100.0     10000  -> -1
 280 ddcom461 compare   100000    1000.0  -> 1
 281 ddcom462 compare   1000.0    100000  -> -1
 282 ddcom463 compare  1000000   10000.0  -> 1
 283 ddcom464 compare  10000.0   1000000  -> -1
 284
 285 -- testcases that subtract to lots of zeros at boundaries [pgr]
 286 ddcom473 compare 123.4560000000000E-89 123.456E-89 -> 0
 287 ddcom474 compare 123.456000000000E+89 123.456E+89 -> 0
 288 ddcom475 compare 123.45600000000E-89 123.456E-89 -> 0
 289 ddcom476 compare 123.4560000000E+89 123.456E+89 -> 0
 290 ddcom477 compare 123.456000000E-89 123.456E-89 -> 0
 291 ddcom478 compare 123.45600000E+89 123.456E+89 -> 0
 292 ddcom479 compare 123.4560000E-89 123.456E-89 -> 0
 293 ddcom480 compare 123.456000E+89 123.456E+89 -> 0
 294 ddcom481 compare 123.45600E-89 123.456E-89 -> 0
 295 ddcom482 compare 123.4560E+89 123.456E+89 -> 0
 296 ddcom483 compare 123.456E-89 123.456E-89 -> 0
 297 ddcom487 compare 123.456E+89 123.4560000000000E+89 -> 0
 298 ddcom488 compare 123.456E-89 123.456000000000E-89 -> 0
 299 ddcom489 compare 123.456E+89 123.45600000000E+89 -> 0
 300 ddcom490 compare 123.456E-89 123.4560000000E-89 -> 0
 301 ddcom491 compare 123.456E+89 123.456000000E+89 -> 0
 302 ddcom492 compare 123.456E-89 123.45600000E-89 -> 0
 303 ddcom493 compare 123.456E+89 123.4560000E+89 -> 0
 304 ddcom494 compare 123.456E-89 123.456000E-89 -> 0
 305 ddcom495 compare 123.456E+89 123.45600E+89 -> 0
 306 ddcom496 compare 123.456E-89 123.4560E-89 -> 0
 307 ddcom497 compare 123.456E+89 123.456E+89 -> 0
 308
 309 -- wide-ranging, around precision; signs equal
 310 ddcom500 compare    1     1E-15    -> 1
 311 ddcom501 compare    1     1E-14    -> 1
 312 ddcom502 compare    1     1E-13    -> 1
 313 ddcom503 compare    1     1E-12    -> 1
 314 ddcom504 compare    1     1E-11    -> 1
 315 ddcom505 compare    1     1E-10    -> 1
 316 ddcom506 compare    1     1E-9     -> 1
 317 ddcom507 compare    1     1E-8     -> 1
 318 ddcom508 compare    1     1E-7     -> 1
 319 ddcom509 compare    1     1E-6     -> 1
 320 ddcom510 compare    1     1E-5     -> 1
 321 ddcom511 compare    1     1E-4     -> 1
 322 ddcom512 compare    1     1E-3     -> 1
 323 ddcom513 compare    1     1E-2     -> 1
 324 ddcom514 compare    1     1E-1     -> 1
 325 ddcom515 compare    1     1E-0     -> 0
 326 ddcom516 compare    1     1E+1     -> -1
 327 ddcom517 compare    1     1E+2     -> -1
 328 ddcom518 compare    1     1E+3     -> -1
 329 ddcom519 compare    1     1E+4     -> -1
 330 ddcom521 compare    1     1E+5     -> -1
 331 ddcom522 compare    1     1E+6     -> -1
 332 ddcom523 compare    1     1E+7     -> -1
 333 ddcom524 compare    1     1E+8     -> -1
 334 ddcom525 compare    1     1E+9     -> -1
 335 ddcom526 compare    1     1E+10    -> -1
 336 ddcom527 compare    1     1E+11    -> -1
 337 ddcom528 compare    1     1E+12    -> -1
 338 ddcom529 compare    1     1E+13    -> -1
 339 ddcom530 compare    1     1E+14    -> -1
 340 ddcom531 compare    1     1E+15    -> -1
 341 -- LR swap
 342 ddcom540 compare    1E-15  1       -> -1
 343 ddcom541 compare    1E-14  1       -> -1
 344 ddcom542 compare    1E-13  1       -> -1
 345 ddcom543 compare    1E-12  1       -> -1
 346 ddcom544 compare    1E-11  1       -> -1
 347 ddcom545 compare    1E-10  1       -> -1
 348 ddcom546 compare    1E-9   1       -> -1
 349 ddcom547 compare    1E-8   1       -> -1
 350 ddcom548 compare    1E-7   1       -> -1
 351 ddcom549 compare    1E-6   1       -> -1
 352 ddcom550 compare    1E-5   1       -> -1
 353 ddcom551 compare    1E-4   1       -> -1
 354 ddcom552 compare    1E-3   1       -> -1
 355 ddcom553 compare    1E-2   1       -> -1
 356 ddcom554 compare    1E-1   1       -> -1
 357 ddcom555 compare    1E-0   1       ->  0
 358 ddcom556 compare    1E+1   1       ->  1
 359 ddcom557 compare    1E+2   1       ->  1
 360 ddcom558 compare    1E+3   1       ->  1
 361 ddcom559 compare    1E+4   1       ->  1
 362 ddcom561 compare    1E+5   1       ->  1
 363 ddcom562 compare    1E+6   1       ->  1
 364 ddcom563 compare    1E+7   1       ->  1
 365 ddcom564 compare    1E+8   1       ->  1
 366 ddcom565 compare    1E+9   1       ->  1
 367 ddcom566 compare    1E+10  1       ->  1
 368 ddcom567 compare    1E+11  1       ->  1
 369 ddcom568 compare    1E+12  1       ->  1
 370 ddcom569 compare    1E+13  1       ->  1
 371 ddcom570 compare    1E+14  1       ->  1
 372 ddcom571 compare    1E+15  1       ->  1
 373 -- similar with a useful coefficient, one side only
 374 ddcom580 compare  0.000000987654321     1E-15    -> 1
 375 ddcom581 compare  0.000000987654321     1E-14    -> 1
 376 ddcom582 compare  0.000000987654321     1E-13    -> 1
 377 ddcom583 compare  0.000000987654321     1E-12    -> 1
 378 ddcom584 compare  0.000000987654321     1E-11    -> 1
 379 ddcom585 compare  0.000000987654321     1E-10    -> 1
 380 ddcom586 compare  0.000000987654321     1E-9     -> 1
 381 ddcom587 compare  0.000000987654321     1E-8     -> 1
 382 ddcom588 compare  0.000000987654321     1E-7     -> 1
 383 ddcom589 compare  0.000000987654321     1E-6     -> -1
 384 ddcom590 compare  0.000000987654321     1E-5     -> -1
 385 ddcom591 compare  0.000000987654321     1E-4     -> -1
 386 ddcom592 compare  0.000000987654321     1E-3     -> -1
 387 ddcom593 compare  0.000000987654321     1E-2     -> -1
 388 ddcom594 compare  0.000000987654321     1E-1     -> -1
 389 ddcom595 compare  0.000000987654321     1E-0     -> -1
 390 ddcom596 compare  0.000000987654321     1E+1     -> -1
 391 ddcom597 compare  0.000000987654321     1E+2     -> -1
 392 ddcom598 compare  0.000000987654321     1E+3     -> -1
 393 ddcom599 compare  0.000000987654321     1E+4     -> -1
 394
 395 -- check some unit-y traps
 396 ddcom600 compare   12            12.2345 -> -1
 397 ddcom601 compare   12.0          12.2345 -> -1
 398 ddcom602 compare   12.00         12.2345 -> -1
 399 ddcom603 compare   12.000        12.2345 -> -1
 400 ddcom604 compare   12.0000       12.2345 -> -1
 401 ddcom605 compare   12.00000      12.2345 -> -1
 402 ddcom606 compare   12.000000     12.2345 -> -1
 403 ddcom607 compare   12.0000000    12.2345 -> -1
 404 ddcom608 compare   12.00000000   12.2345 -> -1
 405 ddcom609 compare   12.000000000  12.2345 -> -1
 406 ddcom610 compare   12.1234 12            ->  1
 407 ddcom611 compare   12.1234 12.0          ->  1
 408 ddcom612 compare   12.1234 12.00         ->  1
 409 ddcom613 compare   12.1234 12.000        ->  1
 410 ddcom614 compare   12.1234 12.0000       ->  1
 411 ddcom615 compare   12.1234 12.00000      ->  1
 412 ddcom616 compare   12.1234 12.000000     ->  1
 413 ddcom617 compare   12.1234 12.0000000    ->  1
 414 ddcom618 compare   12.1234 12.00000000   ->  1
 415 ddcom619 compare   12.1234 12.000000000  ->  1
 416 ddcom620 compare  -12           -12.2345 ->  1
 417 ddcom621 compare  -12.0         -12.2345 ->  1
 418 ddcom622 compare  -12.00        -12.2345 ->  1
 419 ddcom623 compare  -12.000       -12.2345 ->  1
 420 ddcom624 compare  -12.0000      -12.2345 ->  1
 421 ddcom625 compare  -12.00000     -12.2345 ->  1
 422 ddcom626 compare  -12.000000    -12.2345 ->  1
 423 ddcom627 compare  -12.0000000   -12.2345 ->  1
 424 ddcom628 compare  -12.00000000  -12.2345 ->  1
 425 ddcom629 compare  -12.000000000 -12.2345 ->  1
 426 ddcom630 compare  -12.1234 -12           -> -1
 427 ddcom631 compare  -12.1234 -12.0         -> -1
 428 ddcom632 compare  -12.1234 -12.00        -> -1
 429 ddcom633 compare  -12.1234 -12.000       -> -1
 430 ddcom634 compare  -12.1234 -12.0000      -> -1
 431 ddcom635 compare  -12.1234 -12.00000     -> -1
 432 ddcom636 compare  -12.1234 -12.000000    -> -1
 433 ddcom637 compare  -12.1234 -12.0000000   -> -1
 434 ddcom638 compare  -12.1234 -12.00000000  -> -1
 435 ddcom639 compare  -12.1234 -12.000000000 -> -1
 436
 437 -- extended zeros
 438 ddcom640 compare   0     0   -> 0
 439 ddcom641 compare   0    -0   -> 0
 440 ddcom642 compare   0    -0.0 -> 0
 441 ddcom643 compare   0     0.0 -> 0
 442 ddcom644 compare  -0     0   -> 0
 443 ddcom645 compare  -0    -0   -> 0
 444 ddcom646 compare  -0    -0.0 -> 0
 445 ddcom647 compare  -0     0.0 -> 0
 446 ddcom648 compare   0.0   0   -> 0
 447 ddcom649 compare   0.0  -0   -> 0
 448 ddcom650 compare   0.0  -0.0 -> 0
 449 ddcom651 compare   0.0   0.0 -> 0
 450 ddcom652 compare  -0.0   0   -> 0
 451 ddcom653 compare  -0.0  -0   -> 0
 452 ddcom654 compare  -0.0  -0.0 -> 0
 453 ddcom655 compare  -0.0   0.0 -> 0
 454
 455 ddcom656 compare  -0E1   0.0 -> 0
 456 ddcom657 compare  -0E2   0.0 -> 0
 457 ddcom658 compare   0E1   0.0 -> 0
 458 ddcom659 compare   0E2   0.0 -> 0
 459 ddcom660 compare  -0E1   0   -> 0
 460 ddcom661 compare  -0E2   0   -> 0
 461 ddcom662 compare   0E1   0   -> 0
 462 ddcom663 compare   0E2   0   -> 0
 463 ddcom664 compare  -0E1  -0E1 -> 0
 464 ddcom665 compare  -0E2  -0E1 -> 0
 465 ddcom666 compare   0E1  -0E1 -> 0
 466 ddcom667 compare   0E2  -0E1 -> 0
 467 ddcom668 compare  -0E1  -0E2 -> 0
 468 ddcom669 compare  -0E2  -0E2 -> 0
 469 ddcom670 compare   0E1  -0E2 -> 0
 470 ddcom671 compare   0E2  -0E2 -> 0
 471 ddcom672 compare  -0E1   0E1 -> 0
 472 ddcom673 compare  -0E2   0E1 -> 0
 473 ddcom674 compare   0E1   0E1 -> 0
 474 ddcom675 compare   0E2   0E1 -> 0
 475 ddcom676 compare  -0E1   0E2 -> 0
 476 ddcom677 compare  -0E2   0E2 -> 0
 477 ddcom678 compare   0E1   0E2 -> 0
 478 ddcom679 compare   0E2   0E2 -> 0
 479
 480 -- trailing zeros; unit-y
 481 ddcom680 compare   12    12           -> 0
 482 ddcom681 compare   12    12.0         -> 0
 483 ddcom682 compare   12    12.00        -> 0
 484 ddcom683 compare   12    12.000       -> 0
 485 ddcom684 compare   12    12.0000      -> 0
 486 ddcom685 compare   12    12.00000     -> 0
 487 ddcom686 compare   12    12.000000    -> 0
 488 ddcom687 compare   12    12.0000000   -> 0
 489 ddcom688 compare   12    12.00000000  -> 0
 490 ddcom689 compare   12    12.000000000 -> 0
 491 ddcom690 compare   12              12 -> 0
 492 ddcom691 compare   12.0            12 -> 0
 493 ddcom692 compare   12.00           12 -> 0
 494 ddcom693 compare   12.000          12 -> 0
 495 ddcom694 compare   12.0000         12 -> 0
 496 ddcom695 compare   12.00000        12 -> 0
 497 ddcom696 compare   12.000000       12 -> 0
 498 ddcom697 compare   12.0000000      12 -> 0
 499 ddcom698 compare   12.00000000     12 -> 0
 500 ddcom699 compare   12.000000000    12 -> 0
 501
 502 -- first, second, & last digit
 503 ddcom700 compare   1234567890123456 1234567890123455 -> 1
 504 ddcom701 compare   1234567890123456 1234567890123456 -> 0
 505 ddcom702 compare   1234567890123456 1234567890123457 -> -1
 506 ddcom703 compare   1234567890123456 0234567890123456 -> 1
 507 ddcom704 compare   1234567890123456 1234567890123456 -> 0
 508 ddcom705 compare   1234567890123456 2234567890123456 -> -1
 509 ddcom706 compare   1134567890123456 1034567890123456 -> 1
 510 ddcom707 compare   1134567890123456 1134567890123456 -> 0
 511 ddcom708 compare   1134567890123456 1234567890123456 -> -1
 512
 513 -- miscellaneous
 514 ddcom721 compare 12345678000 1 -> 1
 515 ddcom722 compare 1 12345678000 -> -1
 516 ddcom723 compare 1234567800  1 -> 1
 517 ddcom724 compare 1 1234567800  -> -1
 518 ddcom725 compare 1234567890  1 -> 1
 519 ddcom726 compare 1 1234567890  -> -1
 520 ddcom727 compare 1234567891  1 -> 1
 521 ddcom728 compare 1 1234567891  -> -1
 522 ddcom729 compare 12345678901 1 -> 1
 523 ddcom730 compare 1 12345678901 -> -1
 524 ddcom731 compare 1234567896  1 -> 1
 525 ddcom732 compare 1 1234567896  -> -1
 526
 527 -- residue cases at lower precision
 528 ddcom740 compare  1  0.9999999  -> 1
 529 ddcom741 compare  1  0.999999   -> 1
 530 ddcom742 compare  1  0.99999    -> 1
 531 ddcom743 compare  1  1.0000     -> 0
 532 ddcom744 compare  1  1.00001    -> -1
 533 ddcom745 compare  1  1.000001   -> -1
 534 ddcom746 compare  1  1.0000001  -> -1
 535 ddcom750 compare  0.9999999  1  -> -1
 536 ddcom751 compare  0.999999   1  -> -1
 537 ddcom752 compare  0.99999    1  -> -1
 538 ddcom753 compare  1.0000     1  -> 0
 539 ddcom754 compare  1.00001    1  -> 1
 540 ddcom755 compare  1.000001   1  -> 1
 541 ddcom756 compare  1.0000001  1  -> 1
 542
 543 -- Specials
 544 ddcom780 compare  Inf  -Inf   ->  1
 545 ddcom781 compare  Inf  -1000  ->  1
 546 ddcom782 compare  Inf  -1     ->  1
 547 ddcom783 compare  Inf  -0     ->  1
 548 ddcom784 compare  Inf   0     ->  1
 549 ddcom785 compare  Inf   1     ->  1
 550 ddcom786 compare  Inf   1000  ->  1
 551 ddcom787 compare  Inf   Inf   ->  0
 552 ddcom788 compare -1000  Inf   -> -1
 553 ddcom789 compare -Inf   Inf   -> -1
 554 ddcom790 compare -1     Inf   -> -1
 555 ddcom791 compare -0     Inf   -> -1
 556 ddcom792 compare  0     Inf   -> -1
 557 ddcom793 compare  1     Inf   -> -1
 558 ddcom794 compare  1000  Inf   -> -1
 559 ddcom795 compare  Inf   Inf   ->  0
 560
 561 ddcom800 compare -Inf  -Inf   ->  0
 562 ddcom801 compare -Inf  -1000  -> -1
 563 ddcom802 compare -Inf  -1     -> -1
 564 ddcom803 compare -Inf  -0     -> -1
 565 ddcom804 compare -Inf   0     -> -1
 566 ddcom805 compare -Inf   1     -> -1
 567 ddcom806 compare -Inf   1000  -> -1
 568 ddcom807 compare -Inf   Inf   -> -1
 569 ddcom808 compare -Inf  -Inf   ->  0
 570 ddcom809 compare -1000 -Inf   ->  1
 571 ddcom810 compare -1    -Inf   ->  1
 572 ddcom811 compare -0    -Inf   ->  1
 573 ddcom812 compare  0    -Inf   ->  1
 574 ddcom813 compare  1    -Inf   ->  1
 575 ddcom814 compare  1000 -Inf   ->  1
 576 ddcom815 compare  Inf  -Inf   ->  1
 577
 578 ddcom821 compare  NaN -Inf    ->  NaN
 579 ddcom822 compare  NaN -1000   ->  NaN
 580 ddcom823 compare  NaN -1      ->  NaN
 581 ddcom824 compare  NaN -0      ->  NaN
 582 ddcom825 compare  NaN  0      ->  NaN
 583 ddcom826 compare  NaN  1      ->  NaN
 584 ddcom827 compare  NaN  1000   ->  NaN
 585 ddcom828 compare  NaN  Inf    ->  NaN
 586 ddcom829 compare  NaN  NaN    ->  NaN
 587 ddcom830 compare -Inf  NaN    ->  NaN
 588 ddcom831 compare -1000 NaN    ->  NaN
 589 ddcom832 compare -1    NaN    ->  NaN
 590 ddcom833 compare -0    NaN    ->  NaN
 591 ddcom834 compare  0    NaN    ->  NaN
 592 ddcom835 compare  1    NaN    ->  NaN
 593 ddcom836 compare  1000 NaN    ->  NaN
 594 ddcom837 compare  Inf  NaN    ->  NaN
 595 ddcom838 compare -NaN -NaN    -> -NaN
 596 ddcom839 compare +NaN -NaN    ->  NaN
 597 ddcom840 compare -NaN +NaN    -> -NaN
 598
 599 ddcom841 compare  sNaN -Inf   ->  NaN  Invalid_operation
 600 ddcom842 compare  sNaN -1000  ->  NaN  Invalid_operation
 601 ddcom843 compare  sNaN -1     ->  NaN  Invalid_operation
 602 ddcom844 compare  sNaN -0     ->  NaN  Invalid_operation
 603 ddcom845 compare  sNaN  0     ->  NaN  Invalid_operation
 604 ddcom846 compare  sNaN  1     ->  NaN  Invalid_operation
 605 ddcom847 compare  sNaN  1000  ->  NaN  Invalid_operation
 606 ddcom848 compare  sNaN  NaN   ->  NaN  Invalid_operation
 607 ddcom849 compare  sNaN sNaN   ->  NaN  Invalid_operation
 608 ddcom850 compare  NaN  sNaN   ->  NaN  Invalid_operation
 609 ddcom851 compare -Inf  sNaN   ->  NaN  Invalid_operation
 610 ddcom852 compare -1000 sNaN   ->  NaN  Invalid_operation
 611 ddcom853 compare -1    sNaN   ->  NaN  Invalid_operation
 612 ddcom854 compare -0    sNaN   ->  NaN  Invalid_operation
 613 ddcom855 compare  0    sNaN   ->  NaN  Invalid_operation
 614 ddcom856 compare  1    sNaN   ->  NaN  Invalid_operation
 615 ddcom857 compare  1000 sNaN   ->  NaN  Invalid_operation
 616 ddcom858 compare  Inf  sNaN   ->  NaN  Invalid_operation
 617 ddcom859 compare  NaN  sNaN   ->  NaN  Invalid_operation
 618
 619 -- propagating NaNs
 620 ddcom860 compare  NaN9 -Inf   ->  NaN9
 621 ddcom861 compare  NaN8  999   ->  NaN8
 622 ddcom862 compare  NaN77 Inf   ->  NaN77
 623 ddcom863 compare -NaN67 NaN5  -> -NaN67
 624 ddcom864 compare -Inf  -NaN4  -> -NaN4
 625 ddcom865 compare -999  -NaN33 -> -NaN33
 626 ddcom866 compare  Inf   NaN2  ->  NaN2
 627 ddcom867 compare -NaN41 -NaN42 -> -NaN41
 628 ddcom868 compare +NaN41 -NaN42 ->  NaN41
 629 ddcom869 compare -NaN41 +NaN42 -> -NaN41
 630 ddcom870 compare +NaN41 +NaN42 ->  NaN41
 631
 632 ddcom871 compare -sNaN99 -Inf    -> -NaN99 Invalid_operation
 633 ddcom872 compare  sNaN98 -11     ->  NaN98 Invalid_operation
 634 ddcom873 compare  sNaN97  NaN    ->  NaN97 Invalid_operation
 635 ddcom874 compare  sNaN16 sNaN94  ->  NaN16 Invalid_operation
 636 ddcom875 compare  NaN85  sNaN83  ->  NaN83 Invalid_operation
 637 ddcom876 compare -Inf    sNaN92  ->  NaN92 Invalid_operation
 638 ddcom877 compare  088    sNaN81  ->  NaN81 Invalid_operation
 639 ddcom878 compare  Inf    sNaN90  ->  NaN90 Invalid_operation
 640 ddcom879 compare  NaN   -sNaN89  -> -NaN89 Invalid_operation
 641
 642 -- wide range
 643 ddcom880 compare +1.23456789012345E-0 9E+384 -> -1
 644 ddcom881 compare 9E+384 +1.23456789012345E-0 ->  1
 645 ddcom882 compare +0.100 9E-383               ->  1
 646 ddcom883 compare 9E-383 +0.100               -> -1
 647 ddcom885 compare -1.23456789012345E-0 9E+384 -> -1
 648 ddcom886 compare 9E+384 -1.23456789012345E-0 ->  1
 649 ddcom887 compare -0.100 9E-383               -> -1
 650 ddcom888 compare 9E-383 -0.100               ->  1
 651
 652 -- spread zeros
 653 ddcom900 compare   0E-383  0       ->  0
 654 ddcom901 compare   0E-383 -0       ->  0
 655 ddcom902 compare  -0E-383  0       ->  0
 656 ddcom903 compare  -0E-383 -0       ->  0
 657 ddcom904 compare   0E-383  0E+384  ->  0
 658 ddcom905 compare   0E-383 -0E+384  ->  0
 659 ddcom906 compare  -0E-383  0E+384  ->  0
 660 ddcom907 compare  -0E-383 -0E+384  ->  0
 661 ddcom908 compare   0       0E+384  ->  0
 662 ddcom909 compare   0      -0E+384  ->  0
 663 ddcom910 compare  -0       0E+384  ->  0
 664 ddcom911 compare  -0      -0E+384  ->  0
 665 ddcom930 compare   0E+384  0       ->  0
 666 ddcom931 compare   0E+384 -0       ->  0
 667 ddcom932 compare  -0E+384  0       ->  0
 668 ddcom933 compare  -0E+384 -0       ->  0
 669 ddcom934 compare   0E+384  0E-383  ->  0
 670 ddcom935 compare   0E+384 -0E-383  ->  0
 671 ddcom936 compare  -0E+384  0E-383  ->  0
 672 ddcom937 compare  -0E+384 -0E-383  ->  0
 673 ddcom938 compare   0       0E-383  ->  0
 674 ddcom939 compare   0      -0E-383  ->  0
 675 ddcom940 compare  -0       0E-383  ->  0
 676 ddcom941 compare  -0      -0E-383  ->  0
 677
 678 -- signs
 679 ddcom961 compare  1e+77  1e+11 ->  1
 680 ddcom962 compare  1e+77 -1e+11 ->  1
 681 ddcom963 compare -1e+77  1e+11 -> -1
 682 ddcom964 compare -1e+77 -1e+11 -> -1
 683 ddcom965 compare  1e-77  1e-11 -> -1
 684 ddcom966 compare  1e-77 -1e-11 ->  1
 685 ddcom967 compare -1e-77  1e-11 -> -1
 686 ddcom968 compare -1e-77 -1e-11 ->  1
 687
 688 -- full alignment range, both ways
 689 ddcomp1001 compare 1 1.000000000000000  -> 0
 690 ddcomp1002 compare 1 1.00000000000000   -> 0
 691 ddcomp1003 compare 1 1.0000000000000    -> 0
 692 ddcomp1004 compare 1 1.000000000000     -> 0
 693 ddcomp1005 compare 1 1.00000000000      -> 0
 694 ddcomp1006 compare 1 1.0000000000       -> 0
 695 ddcomp1007 compare 1 1.000000000        -> 0
 696 ddcomp1008 compare 1 1.00000000         -> 0
 697 ddcomp1009 compare 1 1.0000000          -> 0
 698 ddcomp1010 compare 1 1.000000           -> 0
 699 ddcomp1011 compare 1 1.00000            -> 0
 700 ddcomp1012 compare 1 1.0000             -> 0
 701 ddcomp1013 compare 1 1.000              -> 0
 702 ddcomp1014 compare 1 1.00               -> 0
 703 ddcomp1015 compare 1 1.0                -> 0
 704 ddcomp1021 compare 1.000000000000000  1 -> 0
 705 ddcomp1022 compare 1.00000000000000   1 -> 0
 706 ddcomp1023 compare 1.0000000000000    1 -> 0
 707 ddcomp1024 compare 1.000000000000     1 -> 0
 708 ddcomp1025 compare 1.00000000000      1 -> 0
 709 ddcomp1026 compare 1.0000000000       1 -> 0
 710 ddcomp1027 compare 1.000000000        1 -> 0
 711 ddcomp1028 compare 1.00000000         1 -> 0
 712 ddcomp1029 compare 1.0000000          1 -> 0
 713 ddcomp1030 compare 1.000000           1 -> 0
 714 ddcomp1031 compare 1.00000            1 -> 0
 715 ddcomp1032 compare 1.0000             1 -> 0
 716 ddcomp1033 compare 1.000              1 -> 0
 717 ddcomp1034 compare 1.00               1 -> 0
 718 ddcomp1035 compare 1.0                1 -> 0
 719
 720 -- check MSD always detected non-zero
 721 ddcomp1040 compare 0 0.000000000000000  -> 0
 722 ddcomp1041 compare 0 1.000000000000000  -> -1
 723 ddcomp1042 compare 0 2.000000000000000  -> -1
 724 ddcomp1043 compare 0 3.000000000000000  -> -1
 725 ddcomp1044 compare 0 4.000000000000000  -> -1
 726 ddcomp1045 compare 0 5.000000000000000  -> -1
 727 ddcomp1046 compare 0 6.000000000000000  -> -1
 728 ddcomp1047 compare 0 7.000000000000000  -> -1
 729 ddcomp1048 compare 0 8.000000000000000  -> -1
 730 ddcomp1049 compare 0 9.000000000000000  -> -1
 731 ddcomp1050 compare 0.000000000000000  0 -> 0
 732 ddcomp1051 compare 1.000000000000000  0 -> 1
 733 ddcomp1052 compare 2.000000000000000  0 -> 1
 734 ddcomp1053 compare 3.000000000000000  0 -> 1
 735 ddcomp1054 compare 4.000000000000000  0 -> 1
 736 ddcomp1055 compare 5.000000000000000  0 -> 1
 737 ddcomp1056 compare 6.000000000000000  0 -> 1
 738 ddcomp1057 compare 7.000000000000000  0 -> 1
 739 ddcomp1058 compare 8.000000000000000  0 -> 1
 740 ddcomp1059 compare 9.000000000000000  0 -> 1
 741
 742 -- Null tests
 743 ddcom9990 compare 10  # -> NaN Invalid_operation
 744 ddcom9991 compare  # 10 -> NaN Invalid_operation