Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- ddCompareSig.decTest -- decDouble comparison; all NaNs signal --
|
Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 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 | ------------------------------------------------------------------------
|
Mark Dickinson | 8a54653 | 2009-10-08 16:30:38 +0000 | [diff] [blame] | 20 | version: 2.59
|
Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 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 | ddcms001 comparesig -2 -2 -> 0
|
| 36 | ddcms002 comparesig -2 -1 -> -1
|
| 37 | ddcms003 comparesig -2 0 -> -1
|
| 38 | ddcms004 comparesig -2 1 -> -1
|
| 39 | ddcms005 comparesig -2 2 -> -1
|
| 40 | ddcms006 comparesig -1 -2 -> 1
|
| 41 | ddcms007 comparesig -1 -1 -> 0
|
| 42 | ddcms008 comparesig -1 0 -> -1
|
| 43 | ddcms009 comparesig -1 1 -> -1
|
| 44 | ddcms010 comparesig -1 2 -> -1
|
| 45 | ddcms011 comparesig 0 -2 -> 1
|
| 46 | ddcms012 comparesig 0 -1 -> 1
|
| 47 | ddcms013 comparesig 0 0 -> 0
|
| 48 | ddcms014 comparesig 0 1 -> -1
|
| 49 | ddcms015 comparesig 0 2 -> -1
|
| 50 | ddcms016 comparesig 1 -2 -> 1
|
| 51 | ddcms017 comparesig 1 -1 -> 1
|
| 52 | ddcms018 comparesig 1 0 -> 1
|
| 53 | ddcms019 comparesig 1 1 -> 0
|
| 54 | ddcms020 comparesig 1 2 -> -1
|
| 55 | ddcms021 comparesig 2 -2 -> 1
|
| 56 | ddcms022 comparesig 2 -1 -> 1
|
| 57 | ddcms023 comparesig 2 0 -> 1
|
| 58 | ddcms025 comparesig 2 1 -> 1
|
| 59 | ddcms026 comparesig 2 2 -> 0
|
| 60 |
|
| 61 | ddcms031 comparesig -20 -20 -> 0
|
| 62 | ddcms032 comparesig -20 -10 -> -1
|
| 63 | ddcms033 comparesig -20 00 -> -1
|
| 64 | ddcms034 comparesig -20 10 -> -1
|
| 65 | ddcms035 comparesig -20 20 -> -1
|
| 66 | ddcms036 comparesig -10 -20 -> 1
|
| 67 | ddcms037 comparesig -10 -10 -> 0
|
| 68 | ddcms038 comparesig -10 00 -> -1
|
| 69 | ddcms039 comparesig -10 10 -> -1
|
| 70 | ddcms040 comparesig -10 20 -> -1
|
| 71 | ddcms041 comparesig 00 -20 -> 1
|
| 72 | ddcms042 comparesig 00 -10 -> 1
|
| 73 | ddcms043 comparesig 00 00 -> 0
|
| 74 | ddcms044 comparesig 00 10 -> -1
|
| 75 | ddcms045 comparesig 00 20 -> -1
|
| 76 | ddcms046 comparesig 10 -20 -> 1
|
| 77 | ddcms047 comparesig 10 -10 -> 1
|
| 78 | ddcms048 comparesig 10 00 -> 1
|
| 79 | ddcms049 comparesig 10 10 -> 0
|
| 80 | ddcms050 comparesig 10 20 -> -1
|
| 81 | ddcms051 comparesig 20 -20 -> 1
|
| 82 | ddcms052 comparesig 20 -10 -> 1
|
| 83 | ddcms053 comparesig 20 00 -> 1
|
| 84 | ddcms055 comparesig 20 10 -> 1
|
| 85 | ddcms056 comparesig 20 20 -> 0
|
| 86 |
|
| 87 | ddcms061 comparesig -2.0 -2.0 -> 0
|
| 88 | ddcms062 comparesig -2.0 -1.0 -> -1
|
| 89 | ddcms063 comparesig -2.0 0.0 -> -1
|
| 90 | ddcms064 comparesig -2.0 1.0 -> -1
|
| 91 | ddcms065 comparesig -2.0 2.0 -> -1
|
| 92 | ddcms066 comparesig -1.0 -2.0 -> 1
|
| 93 | ddcms067 comparesig -1.0 -1.0 -> 0
|
| 94 | ddcms068 comparesig -1.0 0.0 -> -1
|
| 95 | ddcms069 comparesig -1.0 1.0 -> -1
|
| 96 | ddcms070 comparesig -1.0 2.0 -> -1
|
| 97 | ddcms071 comparesig 0.0 -2.0 -> 1
|
| 98 | ddcms072 comparesig 0.0 -1.0 -> 1
|
| 99 | ddcms073 comparesig 0.0 0.0 -> 0
|
| 100 | ddcms074 comparesig 0.0 1.0 -> -1
|
| 101 | ddcms075 comparesig 0.0 2.0 -> -1
|
| 102 | ddcms076 comparesig 1.0 -2.0 -> 1
|
| 103 | ddcms077 comparesig 1.0 -1.0 -> 1
|
| 104 | ddcms078 comparesig 1.0 0.0 -> 1
|
| 105 | ddcms079 comparesig 1.0 1.0 -> 0
|
| 106 | ddcms080 comparesig 1.0 2.0 -> -1
|
| 107 | ddcms081 comparesig 2.0 -2.0 -> 1
|
| 108 | ddcms082 comparesig 2.0 -1.0 -> 1
|
| 109 | ddcms083 comparesig 2.0 0.0 -> 1
|
| 110 | ddcms085 comparesig 2.0 1.0 -> 1
|
| 111 | ddcms086 comparesig 2.0 2.0 -> 0
|
| 112 |
|
| 113 | -- now some cases which might overflow if subtract were used
|
| 114 | ddcms090 comparesig 9.999999999999999E+384 9.999999999999999E+384 -> 0
|
| 115 | ddcms091 comparesig -9.999999999999999E+384 9.999999999999999E+384 -> -1
|
| 116 | ddcms092 comparesig 9.999999999999999E+384 -9.999999999999999E+384 -> 1
|
| 117 | ddcms093 comparesig -9.999999999999999E+384 -9.999999999999999E+384 -> 0
|
| 118 |
|
| 119 | -- some differing length/exponent cases
|
| 120 | ddcms100 comparesig 7.0 7.0 -> 0
|
| 121 | ddcms101 comparesig 7.0 7 -> 0
|
| 122 | ddcms102 comparesig 7 7.0 -> 0
|
| 123 | ddcms103 comparesig 7E+0 7.0 -> 0
|
| 124 | ddcms104 comparesig 70E-1 7.0 -> 0
|
| 125 | ddcms105 comparesig 0.7E+1 7 -> 0
|
| 126 | ddcms106 comparesig 70E-1 7 -> 0
|
| 127 | ddcms107 comparesig 7.0 7E+0 -> 0
|
| 128 | ddcms108 comparesig 7.0 70E-1 -> 0
|
| 129 | ddcms109 comparesig 7 0.7E+1 -> 0
|
| 130 | ddcms110 comparesig 7 70E-1 -> 0
|
| 131 |
|
| 132 | ddcms120 comparesig 8.0 7.0 -> 1
|
| 133 | ddcms121 comparesig 8.0 7 -> 1
|
| 134 | ddcms122 comparesig 8 7.0 -> 1
|
| 135 | ddcms123 comparesig 8E+0 7.0 -> 1
|
| 136 | ddcms124 comparesig 80E-1 7.0 -> 1
|
| 137 | ddcms125 comparesig 0.8E+1 7 -> 1
|
| 138 | ddcms126 comparesig 80E-1 7 -> 1
|
| 139 | ddcms127 comparesig 8.0 7E+0 -> 1
|
| 140 | ddcms128 comparesig 8.0 70E-1 -> 1
|
| 141 | ddcms129 comparesig 8 0.7E+1 -> 1
|
| 142 | ddcms130 comparesig 8 70E-1 -> 1
|
| 143 |
|
| 144 | ddcms140 comparesig 8.0 9.0 -> -1
|
| 145 | ddcms141 comparesig 8.0 9 -> -1
|
| 146 | ddcms142 comparesig 8 9.0 -> -1
|
| 147 | ddcms143 comparesig 8E+0 9.0 -> -1
|
| 148 | ddcms144 comparesig 80E-1 9.0 -> -1
|
| 149 | ddcms145 comparesig 0.8E+1 9 -> -1
|
| 150 | ddcms146 comparesig 80E-1 9 -> -1
|
| 151 | ddcms147 comparesig 8.0 9E+0 -> -1
|
| 152 | ddcms148 comparesig 8.0 90E-1 -> -1
|
| 153 | ddcms149 comparesig 8 0.9E+1 -> -1
|
| 154 | ddcms150 comparesig 8 90E-1 -> -1
|
| 155 |
|
| 156 | -- and again, with sign changes -+ ..
|
| 157 | ddcms200 comparesig -7.0 7.0 -> -1
|
| 158 | ddcms201 comparesig -7.0 7 -> -1
|
| 159 | ddcms202 comparesig -7 7.0 -> -1
|
| 160 | ddcms203 comparesig -7E+0 7.0 -> -1
|
| 161 | ddcms204 comparesig -70E-1 7.0 -> -1
|
| 162 | ddcms205 comparesig -0.7E+1 7 -> -1
|
| 163 | ddcms206 comparesig -70E-1 7 -> -1
|
| 164 | ddcms207 comparesig -7.0 7E+0 -> -1
|
| 165 | ddcms208 comparesig -7.0 70E-1 -> -1
|
| 166 | ddcms209 comparesig -7 0.7E+1 -> -1
|
| 167 | ddcms210 comparesig -7 70E-1 -> -1
|
| 168 |
|
| 169 | ddcms220 comparesig -8.0 7.0 -> -1
|
| 170 | ddcms221 comparesig -8.0 7 -> -1
|
| 171 | ddcms222 comparesig -8 7.0 -> -1
|
| 172 | ddcms223 comparesig -8E+0 7.0 -> -1
|
| 173 | ddcms224 comparesig -80E-1 7.0 -> -1
|
| 174 | ddcms225 comparesig -0.8E+1 7 -> -1
|
| 175 | ddcms226 comparesig -80E-1 7 -> -1
|
| 176 | ddcms227 comparesig -8.0 7E+0 -> -1
|
| 177 | ddcms228 comparesig -8.0 70E-1 -> -1
|
| 178 | ddcms229 comparesig -8 0.7E+1 -> -1
|
| 179 | ddcms230 comparesig -8 70E-1 -> -1
|
| 180 |
|
| 181 | ddcms240 comparesig -8.0 9.0 -> -1
|
| 182 | ddcms241 comparesig -8.0 9 -> -1
|
| 183 | ddcms242 comparesig -8 9.0 -> -1
|
| 184 | ddcms243 comparesig -8E+0 9.0 -> -1
|
| 185 | ddcms244 comparesig -80E-1 9.0 -> -1
|
| 186 | ddcms245 comparesig -0.8E+1 9 -> -1
|
| 187 | ddcms246 comparesig -80E-1 9 -> -1
|
| 188 | ddcms247 comparesig -8.0 9E+0 -> -1
|
| 189 | ddcms248 comparesig -8.0 90E-1 -> -1
|
| 190 | ddcms249 comparesig -8 0.9E+1 -> -1
|
| 191 | ddcms250 comparesig -8 90E-1 -> -1
|
| 192 |
|
| 193 | -- and again, with sign changes +- ..
|
| 194 | ddcms300 comparesig 7.0 -7.0 -> 1
|
| 195 | ddcms301 comparesig 7.0 -7 -> 1
|
| 196 | ddcms302 comparesig 7 -7.0 -> 1
|
| 197 | ddcms303 comparesig 7E+0 -7.0 -> 1
|
| 198 | ddcms304 comparesig 70E-1 -7.0 -> 1
|
| 199 | ddcms305 comparesig .7E+1 -7 -> 1
|
| 200 | ddcms306 comparesig 70E-1 -7 -> 1
|
| 201 | ddcms307 comparesig 7.0 -7E+0 -> 1
|
| 202 | ddcms308 comparesig 7.0 -70E-1 -> 1
|
| 203 | ddcms309 comparesig 7 -.7E+1 -> 1
|
| 204 | ddcms310 comparesig 7 -70E-1 -> 1
|
| 205 |
|
| 206 | ddcms320 comparesig 8.0 -7.0 -> 1
|
| 207 | ddcms321 comparesig 8.0 -7 -> 1
|
| 208 | ddcms322 comparesig 8 -7.0 -> 1
|
| 209 | ddcms323 comparesig 8E+0 -7.0 -> 1
|
| 210 | ddcms324 comparesig 80E-1 -7.0 -> 1
|
| 211 | ddcms325 comparesig .8E+1 -7 -> 1
|
| 212 | ddcms326 comparesig 80E-1 -7 -> 1
|
| 213 | ddcms327 comparesig 8.0 -7E+0 -> 1
|
| 214 | ddcms328 comparesig 8.0 -70E-1 -> 1
|
| 215 | ddcms329 comparesig 8 -.7E+1 -> 1
|
| 216 | ddcms330 comparesig 8 -70E-1 -> 1
|
| 217 |
|
| 218 | ddcms340 comparesig 8.0 -9.0 -> 1
|
| 219 | ddcms341 comparesig 8.0 -9 -> 1
|
| 220 | ddcms342 comparesig 8 -9.0 -> 1
|
| 221 | ddcms343 comparesig 8E+0 -9.0 -> 1
|
| 222 | ddcms344 comparesig 80E-1 -9.0 -> 1
|
| 223 | ddcms345 comparesig .8E+1 -9 -> 1
|
| 224 | ddcms346 comparesig 80E-1 -9 -> 1
|
| 225 | ddcms347 comparesig 8.0 -9E+0 -> 1
|
| 226 | ddcms348 comparesig 8.0 -90E-1 -> 1
|
| 227 | ddcms349 comparesig 8 -.9E+1 -> 1
|
| 228 | ddcms350 comparesig 8 -90E-1 -> 1
|
| 229 |
|
| 230 | -- and again, with sign changes -- ..
|
| 231 | ddcms400 comparesig -7.0 -7.0 -> 0
|
| 232 | ddcms401 comparesig -7.0 -7 -> 0
|
| 233 | ddcms402 comparesig -7 -7.0 -> 0
|
| 234 | ddcms403 comparesig -7E+0 -7.0 -> 0
|
| 235 | ddcms404 comparesig -70E-1 -7.0 -> 0
|
| 236 | ddcms405 comparesig -.7E+1 -7 -> 0
|
| 237 | ddcms406 comparesig -70E-1 -7 -> 0
|
| 238 | ddcms407 comparesig -7.0 -7E+0 -> 0
|
| 239 | ddcms408 comparesig -7.0 -70E-1 -> 0
|
| 240 | ddcms409 comparesig -7 -.7E+1 -> 0
|
| 241 | ddcms410 comparesig -7 -70E-1 -> 0
|
| 242 |
|
| 243 | ddcms420 comparesig -8.0 -7.0 -> -1
|
| 244 | ddcms421 comparesig -8.0 -7 -> -1
|
| 245 | ddcms422 comparesig -8 -7.0 -> -1
|
| 246 | ddcms423 comparesig -8E+0 -7.0 -> -1
|
| 247 | ddcms424 comparesig -80E-1 -7.0 -> -1
|
| 248 | ddcms425 comparesig -.8E+1 -7 -> -1
|
| 249 | ddcms426 comparesig -80E-1 -7 -> -1
|
| 250 | ddcms427 comparesig -8.0 -7E+0 -> -1
|
| 251 | ddcms428 comparesig -8.0 -70E-1 -> -1
|
| 252 | ddcms429 comparesig -8 -.7E+1 -> -1
|
| 253 | ddcms430 comparesig -8 -70E-1 -> -1
|
| 254 |
|
| 255 | ddcms440 comparesig -8.0 -9.0 -> 1
|
| 256 | ddcms441 comparesig -8.0 -9 -> 1
|
| 257 | ddcms442 comparesig -8 -9.0 -> 1
|
| 258 | ddcms443 comparesig -8E+0 -9.0 -> 1
|
| 259 | ddcms444 comparesig -80E-1 -9.0 -> 1
|
| 260 | ddcms445 comparesig -.8E+1 -9 -> 1
|
| 261 | ddcms446 comparesig -80E-1 -9 -> 1
|
| 262 | ddcms447 comparesig -8.0 -9E+0 -> 1
|
| 263 | ddcms448 comparesig -8.0 -90E-1 -> 1
|
| 264 | ddcms449 comparesig -8 -.9E+1 -> 1
|
| 265 | ddcms450 comparesig -8 -90E-1 -> 1
|
| 266 |
|
| 267 |
|
| 268 | -- testcases that subtract to lots of zeros at boundaries [pgr]
|
| 269 | ddcms473 comparesig 123.4560000000000E-89 123.456E-89 -> 0
|
| 270 | ddcms474 comparesig 123.456000000000E+89 123.456E+89 -> 0
|
| 271 | ddcms475 comparesig 123.45600000000E-89 123.456E-89 -> 0
|
| 272 | ddcms476 comparesig 123.4560000000E+89 123.456E+89 -> 0
|
| 273 | ddcms477 comparesig 123.456000000E-89 123.456E-89 -> 0
|
| 274 | ddcms478 comparesig 123.45600000E+89 123.456E+89 -> 0
|
| 275 | ddcms479 comparesig 123.4560000E-89 123.456E-89 -> 0
|
| 276 | ddcms480 comparesig 123.456000E+89 123.456E+89 -> 0
|
| 277 | ddcms481 comparesig 123.45600E-89 123.456E-89 -> 0
|
| 278 | ddcms482 comparesig 123.4560E+89 123.456E+89 -> 0
|
| 279 | ddcms483 comparesig 123.456E-89 123.456E-89 -> 0
|
| 280 | ddcms487 comparesig 123.456E+89 123.4560000000000E+89 -> 0
|
| 281 | ddcms488 comparesig 123.456E-89 123.456000000000E-89 -> 0
|
| 282 | ddcms489 comparesig 123.456E+89 123.45600000000E+89 -> 0
|
| 283 | ddcms490 comparesig 123.456E-89 123.4560000000E-89 -> 0
|
| 284 | ddcms491 comparesig 123.456E+89 123.456000000E+89 -> 0
|
| 285 | ddcms492 comparesig 123.456E-89 123.45600000E-89 -> 0
|
| 286 | ddcms493 comparesig 123.456E+89 123.4560000E+89 -> 0
|
| 287 | ddcms494 comparesig 123.456E-89 123.456000E-89 -> 0
|
| 288 | ddcms495 comparesig 123.456E+89 123.45600E+89 -> 0
|
| 289 | ddcms496 comparesig 123.456E-89 123.4560E-89 -> 0
|
| 290 | ddcms497 comparesig 123.456E+89 123.456E+89 -> 0
|
| 291 |
|
| 292 | -- wide-ranging, around precision; signs equal
|
| 293 | ddcms500 comparesig 1 1E-15 -> 1
|
| 294 | ddcms501 comparesig 1 1E-14 -> 1
|
| 295 | ddcms502 comparesig 1 1E-13 -> 1
|
| 296 | ddcms503 comparesig 1 1E-12 -> 1
|
| 297 | ddcms504 comparesig 1 1E-11 -> 1
|
| 298 | ddcms505 comparesig 1 1E-10 -> 1
|
| 299 | ddcms506 comparesig 1 1E-9 -> 1
|
| 300 | ddcms507 comparesig 1 1E-8 -> 1
|
| 301 | ddcms508 comparesig 1 1E-7 -> 1
|
| 302 | ddcms509 comparesig 1 1E-6 -> 1
|
| 303 | ddcms510 comparesig 1 1E-5 -> 1
|
| 304 | ddcms511 comparesig 1 1E-4 -> 1
|
| 305 | ddcms512 comparesig 1 1E-3 -> 1
|
| 306 | ddcms513 comparesig 1 1E-2 -> 1
|
| 307 | ddcms514 comparesig 1 1E-1 -> 1
|
| 308 | ddcms515 comparesig 1 1E-0 -> 0
|
| 309 | ddcms516 comparesig 1 1E+1 -> -1
|
| 310 | ddcms517 comparesig 1 1E+2 -> -1
|
| 311 | ddcms518 comparesig 1 1E+3 -> -1
|
| 312 | ddcms519 comparesig 1 1E+4 -> -1
|
| 313 | ddcms521 comparesig 1 1E+5 -> -1
|
| 314 | ddcms522 comparesig 1 1E+6 -> -1
|
| 315 | ddcms523 comparesig 1 1E+7 -> -1
|
| 316 | ddcms524 comparesig 1 1E+8 -> -1
|
| 317 | ddcms525 comparesig 1 1E+9 -> -1
|
| 318 | ddcms526 comparesig 1 1E+10 -> -1
|
| 319 | ddcms527 comparesig 1 1E+11 -> -1
|
| 320 | ddcms528 comparesig 1 1E+12 -> -1
|
| 321 | ddcms529 comparesig 1 1E+13 -> -1
|
| 322 | ddcms530 comparesig 1 1E+14 -> -1
|
| 323 | ddcms531 comparesig 1 1E+15 -> -1
|
| 324 | -- LR swap
|
| 325 | ddcms540 comparesig 1E-15 1 -> -1
|
| 326 | ddcms541 comparesig 1E-14 1 -> -1
|
| 327 | ddcms542 comparesig 1E-13 1 -> -1
|
| 328 | ddcms543 comparesig 1E-12 1 -> -1
|
| 329 | ddcms544 comparesig 1E-11 1 -> -1
|
| 330 | ddcms545 comparesig 1E-10 1 -> -1
|
| 331 | ddcms546 comparesig 1E-9 1 -> -1
|
| 332 | ddcms547 comparesig 1E-8 1 -> -1
|
| 333 | ddcms548 comparesig 1E-7 1 -> -1
|
| 334 | ddcms549 comparesig 1E-6 1 -> -1
|
| 335 | ddcms550 comparesig 1E-5 1 -> -1
|
| 336 | ddcms551 comparesig 1E-4 1 -> -1
|
| 337 | ddcms552 comparesig 1E-3 1 -> -1
|
| 338 | ddcms553 comparesig 1E-2 1 -> -1
|
| 339 | ddcms554 comparesig 1E-1 1 -> -1
|
| 340 | ddcms555 comparesig 1E-0 1 -> 0
|
| 341 | ddcms556 comparesig 1E+1 1 -> 1
|
| 342 | ddcms557 comparesig 1E+2 1 -> 1
|
| 343 | ddcms558 comparesig 1E+3 1 -> 1
|
| 344 | ddcms559 comparesig 1E+4 1 -> 1
|
| 345 | ddcms561 comparesig 1E+5 1 -> 1
|
| 346 | ddcms562 comparesig 1E+6 1 -> 1
|
| 347 | ddcms563 comparesig 1E+7 1 -> 1
|
| 348 | ddcms564 comparesig 1E+8 1 -> 1
|
| 349 | ddcms565 comparesig 1E+9 1 -> 1
|
| 350 | ddcms566 comparesig 1E+10 1 -> 1
|
| 351 | ddcms567 comparesig 1E+11 1 -> 1
|
| 352 | ddcms568 comparesig 1E+12 1 -> 1
|
| 353 | ddcms569 comparesig 1E+13 1 -> 1
|
| 354 | ddcms570 comparesig 1E+14 1 -> 1
|
| 355 | ddcms571 comparesig 1E+15 1 -> 1
|
| 356 | -- similar with a useful coefficient, one side only
|
| 357 | ddcms580 comparesig 0.000000987654321 1E-15 -> 1
|
| 358 | ddcms581 comparesig 0.000000987654321 1E-14 -> 1
|
| 359 | ddcms582 comparesig 0.000000987654321 1E-13 -> 1
|
| 360 | ddcms583 comparesig 0.000000987654321 1E-12 -> 1
|
| 361 | ddcms584 comparesig 0.000000987654321 1E-11 -> 1
|
| 362 | ddcms585 comparesig 0.000000987654321 1E-10 -> 1
|
| 363 | ddcms586 comparesig 0.000000987654321 1E-9 -> 1
|
| 364 | ddcms587 comparesig 0.000000987654321 1E-8 -> 1
|
| 365 | ddcms588 comparesig 0.000000987654321 1E-7 -> 1
|
| 366 | ddcms589 comparesig 0.000000987654321 1E-6 -> -1
|
| 367 | ddcms590 comparesig 0.000000987654321 1E-5 -> -1
|
| 368 | ddcms591 comparesig 0.000000987654321 1E-4 -> -1
|
| 369 | ddcms592 comparesig 0.000000987654321 1E-3 -> -1
|
| 370 | ddcms593 comparesig 0.000000987654321 1E-2 -> -1
|
| 371 | ddcms594 comparesig 0.000000987654321 1E-1 -> -1
|
| 372 | ddcms595 comparesig 0.000000987654321 1E-0 -> -1
|
| 373 | ddcms596 comparesig 0.000000987654321 1E+1 -> -1
|
| 374 | ddcms597 comparesig 0.000000987654321 1E+2 -> -1
|
| 375 | ddcms598 comparesig 0.000000987654321 1E+3 -> -1
|
| 376 | ddcms599 comparesig 0.000000987654321 1E+4 -> -1
|
| 377 |
|
| 378 | -- check some unit-y traps
|
| 379 | ddcms600 comparesig 12 12.2345 -> -1
|
| 380 | ddcms601 comparesig 12.0 12.2345 -> -1
|
| 381 | ddcms602 comparesig 12.00 12.2345 -> -1
|
| 382 | ddcms603 comparesig 12.000 12.2345 -> -1
|
| 383 | ddcms604 comparesig 12.0000 12.2345 -> -1
|
| 384 | ddcms605 comparesig 12.00000 12.2345 -> -1
|
| 385 | ddcms606 comparesig 12.000000 12.2345 -> -1
|
| 386 | ddcms607 comparesig 12.0000000 12.2345 -> -1
|
| 387 | ddcms608 comparesig 12.00000000 12.2345 -> -1
|
| 388 | ddcms609 comparesig 12.000000000 12.2345 -> -1
|
| 389 | ddcms610 comparesig 12.1234 12 -> 1
|
| 390 | ddcms611 comparesig 12.1234 12.0 -> 1
|
| 391 | ddcms612 comparesig 12.1234 12.00 -> 1
|
| 392 | ddcms613 comparesig 12.1234 12.000 -> 1
|
| 393 | ddcms614 comparesig 12.1234 12.0000 -> 1
|
| 394 | ddcms615 comparesig 12.1234 12.00000 -> 1
|
| 395 | ddcms616 comparesig 12.1234 12.000000 -> 1
|
| 396 | ddcms617 comparesig 12.1234 12.0000000 -> 1
|
| 397 | ddcms618 comparesig 12.1234 12.00000000 -> 1
|
| 398 | ddcms619 comparesig 12.1234 12.000000000 -> 1
|
| 399 | ddcms620 comparesig -12 -12.2345 -> 1
|
| 400 | ddcms621 comparesig -12.0 -12.2345 -> 1
|
| 401 | ddcms622 comparesig -12.00 -12.2345 -> 1
|
| 402 | ddcms623 comparesig -12.000 -12.2345 -> 1
|
| 403 | ddcms624 comparesig -12.0000 -12.2345 -> 1
|
| 404 | ddcms625 comparesig -12.00000 -12.2345 -> 1
|
| 405 | ddcms626 comparesig -12.000000 -12.2345 -> 1
|
| 406 | ddcms627 comparesig -12.0000000 -12.2345 -> 1
|
| 407 | ddcms628 comparesig -12.00000000 -12.2345 -> 1
|
| 408 | ddcms629 comparesig -12.000000000 -12.2345 -> 1
|
| 409 | ddcms630 comparesig -12.1234 -12 -> -1
|
| 410 | ddcms631 comparesig -12.1234 -12.0 -> -1
|
| 411 | ddcms632 comparesig -12.1234 -12.00 -> -1
|
| 412 | ddcms633 comparesig -12.1234 -12.000 -> -1
|
| 413 | ddcms634 comparesig -12.1234 -12.0000 -> -1
|
| 414 | ddcms635 comparesig -12.1234 -12.00000 -> -1
|
| 415 | ddcms636 comparesig -12.1234 -12.000000 -> -1
|
| 416 | ddcms637 comparesig -12.1234 -12.0000000 -> -1
|
| 417 | ddcms638 comparesig -12.1234 -12.00000000 -> -1
|
| 418 | ddcms639 comparesig -12.1234 -12.000000000 -> -1
|
| 419 |
|
| 420 | -- extended zeros
|
| 421 | ddcms640 comparesig 0 0 -> 0
|
| 422 | ddcms641 comparesig 0 -0 -> 0
|
| 423 | ddcms642 comparesig 0 -0.0 -> 0
|
| 424 | ddcms643 comparesig 0 0.0 -> 0
|
| 425 | ddcms644 comparesig -0 0 -> 0
|
| 426 | ddcms645 comparesig -0 -0 -> 0
|
| 427 | ddcms646 comparesig -0 -0.0 -> 0
|
| 428 | ddcms647 comparesig -0 0.0 -> 0
|
| 429 | ddcms648 comparesig 0.0 0 -> 0
|
| 430 | ddcms649 comparesig 0.0 -0 -> 0
|
| 431 | ddcms650 comparesig 0.0 -0.0 -> 0
|
| 432 | ddcms651 comparesig 0.0 0.0 -> 0
|
| 433 | ddcms652 comparesig -0.0 0 -> 0
|
| 434 | ddcms653 comparesig -0.0 -0 -> 0
|
| 435 | ddcms654 comparesig -0.0 -0.0 -> 0
|
| 436 | ddcms655 comparesig -0.0 0.0 -> 0
|
| 437 |
|
| 438 | ddcms656 comparesig -0E1 0.0 -> 0
|
| 439 | ddcms657 comparesig -0E2 0.0 -> 0
|
| 440 | ddcms658 comparesig 0E1 0.0 -> 0
|
| 441 | ddcms659 comparesig 0E2 0.0 -> 0
|
| 442 | ddcms660 comparesig -0E1 0 -> 0
|
| 443 | ddcms661 comparesig -0E2 0 -> 0
|
| 444 | ddcms662 comparesig 0E1 0 -> 0
|
| 445 | ddcms663 comparesig 0E2 0 -> 0
|
| 446 | ddcms664 comparesig -0E1 -0E1 -> 0
|
| 447 | ddcms665 comparesig -0E2 -0E1 -> 0
|
| 448 | ddcms666 comparesig 0E1 -0E1 -> 0
|
| 449 | ddcms667 comparesig 0E2 -0E1 -> 0
|
| 450 | ddcms668 comparesig -0E1 -0E2 -> 0
|
| 451 | ddcms669 comparesig -0E2 -0E2 -> 0
|
| 452 | ddcms670 comparesig 0E1 -0E2 -> 0
|
| 453 | ddcms671 comparesig 0E2 -0E2 -> 0
|
| 454 | ddcms672 comparesig -0E1 0E1 -> 0
|
| 455 | ddcms673 comparesig -0E2 0E1 -> 0
|
| 456 | ddcms674 comparesig 0E1 0E1 -> 0
|
| 457 | ddcms675 comparesig 0E2 0E1 -> 0
|
| 458 | ddcms676 comparesig -0E1 0E2 -> 0
|
| 459 | ddcms677 comparesig -0E2 0E2 -> 0
|
| 460 | ddcms678 comparesig 0E1 0E2 -> 0
|
| 461 | ddcms679 comparesig 0E2 0E2 -> 0
|
| 462 |
|
| 463 | -- trailing zeros; unit-y
|
| 464 | ddcms680 comparesig 12 12 -> 0
|
| 465 | ddcms681 comparesig 12 12.0 -> 0
|
| 466 | ddcms682 comparesig 12 12.00 -> 0
|
| 467 | ddcms683 comparesig 12 12.000 -> 0
|
| 468 | ddcms684 comparesig 12 12.0000 -> 0
|
| 469 | ddcms685 comparesig 12 12.00000 -> 0
|
| 470 | ddcms686 comparesig 12 12.000000 -> 0
|
| 471 | ddcms687 comparesig 12 12.0000000 -> 0
|
| 472 | ddcms688 comparesig 12 12.00000000 -> 0
|
| 473 | ddcms689 comparesig 12 12.000000000 -> 0
|
| 474 | ddcms690 comparesig 12 12 -> 0
|
| 475 | ddcms691 comparesig 12.0 12 -> 0
|
| 476 | ddcms692 comparesig 12.00 12 -> 0
|
| 477 | ddcms693 comparesig 12.000 12 -> 0
|
| 478 | ddcms694 comparesig 12.0000 12 -> 0
|
| 479 | ddcms695 comparesig 12.00000 12 -> 0
|
| 480 | ddcms696 comparesig 12.000000 12 -> 0
|
| 481 | ddcms697 comparesig 12.0000000 12 -> 0
|
| 482 | ddcms698 comparesig 12.00000000 12 -> 0
|
| 483 | ddcms699 comparesig 12.000000000 12 -> 0
|
| 484 |
|
| 485 | -- first, second, & last digit
|
| 486 | ddcms700 comparesig 1234567890123456 1234567890123455 -> 1
|
| 487 | ddcms701 comparesig 1234567890123456 1234567890123456 -> 0
|
| 488 | ddcms702 comparesig 1234567890123456 1234567890123457 -> -1
|
| 489 | ddcms703 comparesig 1234567890123456 0234567890123456 -> 1
|
| 490 | ddcms704 comparesig 1234567890123456 1234567890123456 -> 0
|
| 491 | ddcms705 comparesig 1234567890123456 2234567890123456 -> -1
|
| 492 | ddcms706 comparesig 1134567890123456 1034567890123456 -> 1
|
| 493 | ddcms707 comparesig 1134567890123456 1134567890123456 -> 0
|
| 494 | ddcms708 comparesig 1134567890123456 1234567890123456 -> -1
|
| 495 |
|
| 496 | -- miscellaneous
|
| 497 | ddcms721 comparesig 12345678000 1 -> 1
|
| 498 | ddcms722 comparesig 1 12345678000 -> -1
|
| 499 | ddcms723 comparesig 1234567800 1 -> 1
|
| 500 | ddcms724 comparesig 1 1234567800 -> -1
|
| 501 | ddcms725 comparesig 1234567890 1 -> 1
|
| 502 | ddcms726 comparesig 1 1234567890 -> -1
|
| 503 | ddcms727 comparesig 1234567891 1 -> 1
|
| 504 | ddcms728 comparesig 1 1234567891 -> -1
|
| 505 | ddcms729 comparesig 12345678901 1 -> 1
|
| 506 | ddcms730 comparesig 1 12345678901 -> -1
|
| 507 | ddcms731 comparesig 1234567896 1 -> 1
|
| 508 | ddcms732 comparesig 1 1234567896 -> -1
|
| 509 |
|
| 510 | -- residue cases at lower precision
|
| 511 | ddcms740 comparesig 1 0.9999999 -> 1
|
| 512 | ddcms741 comparesig 1 0.999999 -> 1
|
| 513 | ddcms742 comparesig 1 0.99999 -> 1
|
| 514 | ddcms743 comparesig 1 1.0000 -> 0
|
| 515 | ddcms744 comparesig 1 1.00001 -> -1
|
| 516 | ddcms745 comparesig 1 1.000001 -> -1
|
| 517 | ddcms746 comparesig 1 1.0000001 -> -1
|
| 518 | ddcms750 comparesig 0.9999999 1 -> -1
|
| 519 | ddcms751 comparesig 0.999999 1 -> -1
|
| 520 | ddcms752 comparesig 0.99999 1 -> -1
|
| 521 | ddcms753 comparesig 1.0000 1 -> 0
|
| 522 | ddcms754 comparesig 1.00001 1 -> 1
|
| 523 | ddcms755 comparesig 1.000001 1 -> 1
|
| 524 | ddcms756 comparesig 1.0000001 1 -> 1
|
| 525 |
|
| 526 | -- Specials
|
| 527 | ddcms780 comparesig Inf -Inf -> 1
|
| 528 | ddcms781 comparesig Inf -1000 -> 1
|
| 529 | ddcms782 comparesig Inf -1 -> 1
|
| 530 | ddcms783 comparesig Inf -0 -> 1
|
| 531 | ddcms784 comparesig Inf 0 -> 1
|
| 532 | ddcms785 comparesig Inf 1 -> 1
|
| 533 | ddcms786 comparesig Inf 1000 -> 1
|
| 534 | ddcms787 comparesig Inf Inf -> 0
|
| 535 | ddcms788 comparesig -1000 Inf -> -1
|
| 536 | ddcms789 comparesig -Inf Inf -> -1
|
| 537 | ddcms790 comparesig -1 Inf -> -1
|
| 538 | ddcms791 comparesig -0 Inf -> -1
|
| 539 | ddcms792 comparesig 0 Inf -> -1
|
| 540 | ddcms793 comparesig 1 Inf -> -1
|
| 541 | ddcms794 comparesig 1000 Inf -> -1
|
| 542 | ddcms795 comparesig Inf Inf -> 0
|
| 543 |
|
| 544 | ddcms800 comparesig -Inf -Inf -> 0
|
| 545 | ddcms801 comparesig -Inf -1000 -> -1
|
| 546 | ddcms802 comparesig -Inf -1 -> -1
|
| 547 | ddcms803 comparesig -Inf -0 -> -1
|
| 548 | ddcms804 comparesig -Inf 0 -> -1
|
| 549 | ddcms805 comparesig -Inf 1 -> -1
|
| 550 | ddcms806 comparesig -Inf 1000 -> -1
|
| 551 | ddcms807 comparesig -Inf Inf -> -1
|
| 552 | ddcms808 comparesig -Inf -Inf -> 0
|
| 553 | ddcms809 comparesig -1000 -Inf -> 1
|
| 554 | ddcms810 comparesig -1 -Inf -> 1
|
| 555 | ddcms811 comparesig -0 -Inf -> 1
|
| 556 | ddcms812 comparesig 0 -Inf -> 1
|
| 557 | ddcms813 comparesig 1 -Inf -> 1
|
| 558 | ddcms814 comparesig 1000 -Inf -> 1
|
| 559 | ddcms815 comparesig Inf -Inf -> 1
|
| 560 |
|
| 561 | ddcms821 comparesig NaN -Inf -> NaN Invalid_operation
|
| 562 | ddcms822 comparesig NaN -1000 -> NaN Invalid_operation
|
| 563 | ddcms823 comparesig NaN -1 -> NaN Invalid_operation
|
| 564 | ddcms824 comparesig NaN -0 -> NaN Invalid_operation
|
| 565 | ddcms825 comparesig NaN 0 -> NaN Invalid_operation
|
| 566 | ddcms826 comparesig NaN 1 -> NaN Invalid_operation
|
| 567 | ddcms827 comparesig NaN 1000 -> NaN Invalid_operation
|
| 568 | ddcms828 comparesig NaN Inf -> NaN Invalid_operation
|
| 569 | ddcms829 comparesig NaN NaN -> NaN Invalid_operation
|
| 570 | ddcms830 comparesig -Inf NaN -> NaN Invalid_operation
|
| 571 | ddcms831 comparesig -1000 NaN -> NaN Invalid_operation
|
| 572 | ddcms832 comparesig -1 NaN -> NaN Invalid_operation
|
| 573 | ddcms833 comparesig -0 NaN -> NaN Invalid_operation
|
| 574 | ddcms834 comparesig 0 NaN -> NaN Invalid_operation
|
| 575 | ddcms835 comparesig 1 NaN -> NaN Invalid_operation
|
| 576 | ddcms836 comparesig 1000 NaN -> NaN Invalid_operation
|
| 577 | ddcms837 comparesig Inf NaN -> NaN Invalid_operation
|
| 578 | ddcms838 comparesig -NaN -NaN -> -NaN Invalid_operation
|
| 579 | ddcms839 comparesig +NaN -NaN -> NaN Invalid_operation
|
| 580 | ddcms840 comparesig -NaN +NaN -> -NaN Invalid_operation
|
| 581 |
|
| 582 | ddcms841 comparesig sNaN -Inf -> NaN Invalid_operation
|
| 583 | ddcms842 comparesig sNaN -1000 -> NaN Invalid_operation
|
| 584 | ddcms843 comparesig sNaN -1 -> NaN Invalid_operation
|
| 585 | ddcms844 comparesig sNaN -0 -> NaN Invalid_operation
|
| 586 | ddcms845 comparesig sNaN 0 -> NaN Invalid_operation
|
| 587 | ddcms846 comparesig sNaN 1 -> NaN Invalid_operation
|
| 588 | ddcms847 comparesig sNaN 1000 -> NaN Invalid_operation
|
| 589 | ddcms848 comparesig sNaN NaN -> NaN Invalid_operation
|
| 590 | ddcms849 comparesig sNaN sNaN -> NaN Invalid_operation
|
| 591 | ddcms850 comparesig NaN sNaN -> NaN Invalid_operation
|
| 592 | ddcms851 comparesig -Inf sNaN -> NaN Invalid_operation
|
| 593 | ddcms852 comparesig -1000 sNaN -> NaN Invalid_operation
|
| 594 | ddcms853 comparesig -1 sNaN -> NaN Invalid_operation
|
| 595 | ddcms854 comparesig -0 sNaN -> NaN Invalid_operation
|
| 596 | ddcms855 comparesig 0 sNaN -> NaN Invalid_operation
|
| 597 | ddcms856 comparesig 1 sNaN -> NaN Invalid_operation
|
| 598 | ddcms857 comparesig 1000 sNaN -> NaN Invalid_operation
|
| 599 | ddcms858 comparesig Inf sNaN -> NaN Invalid_operation
|
| 600 | ddcms859 comparesig NaN sNaN -> NaN Invalid_operation
|
| 601 |
|
| 602 | -- propagating NaNs
|
| 603 | ddcms860 comparesig NaN9 -Inf -> NaN9 Invalid_operation
|
| 604 | ddcms861 comparesig NaN8 999 -> NaN8 Invalid_operation
|
| 605 | ddcms862 comparesig NaN77 Inf -> NaN77 Invalid_operation
|
| 606 | ddcms863 comparesig -NaN67 NaN5 -> -NaN67 Invalid_operation
|
| 607 | ddcms864 comparesig -Inf -NaN4 -> -NaN4 Invalid_operation
|
| 608 | ddcms865 comparesig -999 -NaN33 -> -NaN33 Invalid_operation
|
| 609 | ddcms866 comparesig Inf NaN2 -> NaN2 Invalid_operation
|
| 610 | ddcms867 comparesig -NaN41 -NaN42 -> -NaN41 Invalid_operation
|
| 611 | ddcms868 comparesig +NaN41 -NaN42 -> NaN41 Invalid_operation
|
| 612 | ddcms869 comparesig -NaN41 +NaN42 -> -NaN41 Invalid_operation
|
| 613 | ddcms870 comparesig +NaN41 +NaN42 -> NaN41 Invalid_operation
|
| 614 |
|
| 615 | ddcms871 comparesig -sNaN99 -Inf -> -NaN99 Invalid_operation
|
| 616 | ddcms872 comparesig sNaN98 -11 -> NaN98 Invalid_operation
|
| 617 | ddcms873 comparesig sNaN97 NaN -> NaN97 Invalid_operation
|
| 618 | ddcms874 comparesig sNaN16 sNaN94 -> NaN16 Invalid_operation
|
| 619 | ddcms875 comparesig NaN85 sNaN83 -> NaN83 Invalid_operation
|
| 620 | ddcms876 comparesig -Inf sNaN92 -> NaN92 Invalid_operation
|
| 621 | ddcms877 comparesig 088 sNaN81 -> NaN81 Invalid_operation
|
| 622 | ddcms878 comparesig Inf sNaN90 -> NaN90 Invalid_operation
|
| 623 | ddcms879 comparesig NaN -sNaN89 -> -NaN89 Invalid_operation
|
| 624 |
|
| 625 | -- wide range
|
| 626 | ddcms880 comparesig +1.23456789012345E-0 9E+384 -> -1
|
| 627 | ddcms881 comparesig 9E+384 +1.23456789012345E-0 -> 1
|
| 628 | ddcms882 comparesig +0.100 9E-383 -> 1
|
| 629 | ddcms883 comparesig 9E-383 +0.100 -> -1
|
| 630 | ddcms885 comparesig -1.23456789012345E-0 9E+384 -> -1
|
| 631 | ddcms886 comparesig 9E+384 -1.23456789012345E-0 -> 1
|
| 632 | ddcms887 comparesig -0.100 9E-383 -> -1
|
| 633 | ddcms888 comparesig 9E-383 -0.100 -> 1
|
| 634 |
|
| 635 | -- signs
|
| 636 | ddcms901 comparesig 1e+77 1e+11 -> 1
|
| 637 | ddcms902 comparesig 1e+77 -1e+11 -> 1
|
| 638 | ddcms903 comparesig -1e+77 1e+11 -> -1
|
| 639 | ddcms904 comparesig -1e+77 -1e+11 -> -1
|
| 640 | ddcms905 comparesig 1e-77 1e-11 -> -1
|
| 641 | ddcms906 comparesig 1e-77 -1e-11 -> 1
|
| 642 | ddcms907 comparesig -1e-77 1e-11 -> -1
|
| 643 | ddcms908 comparesig -1e-77 -1e-11 -> 1
|
| 644 |
|
| 645 | -- Null tests
|
| 646 | ddcms990 comparesig 10 # -> NaN Invalid_operation
|
| 647 | ddcms991 comparesig # 10 -> NaN Invalid_operation
|