| Andrew Hsieh | ffab958 | 2013-06-18 12:29:14 -0700 | [diff] [blame^] | 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 |
