| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- dqMax.decTest -- decQuad maxnum --
|
| 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 | -- we assume that base comparison is tested in compare.decTest, so
|
| 23 | -- these mainly cover special cases and rounding
|
| 24 | extended: 1
|
| 25 | clamp: 1
|
| 26 | precision: 34
|
| 27 | maxExponent: 6144
|
| 28 | minExponent: -6143
|
| 29 | rounding: half_even
|
| 30 |
|
| 31 | -- sanity checks
|
| 32 | dqmax001 max -2 -2 -> -2
|
| 33 | dqmax002 max -2 -1 -> -1
|
| 34 | dqmax003 max -2 0 -> 0
|
| 35 | dqmax004 max -2 1 -> 1
|
| 36 | dqmax005 max -2 2 -> 2
|
| 37 | dqmax006 max -1 -2 -> -1
|
| 38 | dqmax007 max -1 -1 -> -1
|
| 39 | dqmax008 max -1 0 -> 0
|
| 40 | dqmax009 max -1 1 -> 1
|
| 41 | dqmax010 max -1 2 -> 2
|
| 42 | dqmax011 max 0 -2 -> 0
|
| 43 | dqmax012 max 0 -1 -> 0
|
| 44 | dqmax013 max 0 0 -> 0
|
| 45 | dqmax014 max 0 1 -> 1
|
| 46 | dqmax015 max 0 2 -> 2
|
| 47 | dqmax016 max 1 -2 -> 1
|
| 48 | dqmax017 max 1 -1 -> 1
|
| 49 | dqmax018 max 1 0 -> 1
|
| 50 | dqmax019 max 1 1 -> 1
|
| 51 | dqmax020 max 1 2 -> 2
|
| 52 | dqmax021 max 2 -2 -> 2
|
| 53 | dqmax022 max 2 -1 -> 2
|
| 54 | dqmax023 max 2 0 -> 2
|
| 55 | dqmax025 max 2 1 -> 2
|
| 56 | dqmax026 max 2 2 -> 2
|
| 57 |
|
| 58 | -- extended zeros
|
| 59 | dqmax030 max 0 0 -> 0
|
| 60 | dqmax031 max 0 -0 -> 0
|
| 61 | dqmax032 max 0 -0.0 -> 0
|
| 62 | dqmax033 max 0 0.0 -> 0
|
| 63 | dqmax034 max -0 0 -> 0 -- note: -0 = 0, but 0 chosen
|
| 64 | dqmax035 max -0 -0 -> -0
|
| 65 | dqmax036 max -0 -0.0 -> -0.0
|
| 66 | dqmax037 max -0 0.0 -> 0.0
|
| 67 | dqmax038 max 0.0 0 -> 0
|
| 68 | dqmax039 max 0.0 -0 -> 0.0
|
| 69 | dqmax040 max 0.0 -0.0 -> 0.0
|
| 70 | dqmax041 max 0.0 0.0 -> 0.0
|
| 71 | dqmax042 max -0.0 0 -> 0
|
| 72 | dqmax043 max -0.0 -0 -> -0.0
|
| 73 | dqmax044 max -0.0 -0.0 -> -0.0
|
| 74 | dqmax045 max -0.0 0.0 -> 0.0
|
| 75 |
|
| 76 | dqmax050 max -0E1 0E1 -> 0E+1
|
| 77 | dqmax051 max -0E2 0E2 -> 0E+2
|
| 78 | dqmax052 max -0E2 0E1 -> 0E+1
|
| 79 | dqmax053 max -0E1 0E2 -> 0E+2
|
| 80 | dqmax054 max 0E1 -0E1 -> 0E+1
|
| 81 | dqmax055 max 0E2 -0E2 -> 0E+2
|
| 82 | dqmax056 max 0E2 -0E1 -> 0E+2
|
| 83 | dqmax057 max 0E1 -0E2 -> 0E+1
|
| 84 |
|
| 85 | dqmax058 max 0E1 0E1 -> 0E+1
|
| 86 | dqmax059 max 0E2 0E2 -> 0E+2
|
| 87 | dqmax060 max 0E2 0E1 -> 0E+2
|
| 88 | dqmax061 max 0E1 0E2 -> 0E+2
|
| 89 | dqmax062 max -0E1 -0E1 -> -0E+1
|
| 90 | dqmax063 max -0E2 -0E2 -> -0E+2
|
| 91 | dqmax064 max -0E2 -0E1 -> -0E+1
|
| 92 | dqmax065 max -0E1 -0E2 -> -0E+1
|
| 93 |
|
| 94 | -- Specials
|
| 95 | dqmax090 max Inf -Inf -> Infinity
|
| 96 | dqmax091 max Inf -1000 -> Infinity
|
| 97 | dqmax092 max Inf -1 -> Infinity
|
| 98 | dqmax093 max Inf -0 -> Infinity
|
| 99 | dqmax094 max Inf 0 -> Infinity
|
| 100 | dqmax095 max Inf 1 -> Infinity
|
| 101 | dqmax096 max Inf 1000 -> Infinity
|
| 102 | dqmax097 max Inf Inf -> Infinity
|
| 103 | dqmax098 max -1000 Inf -> Infinity
|
| 104 | dqmax099 max -Inf Inf -> Infinity
|
| 105 | dqmax100 max -1 Inf -> Infinity
|
| 106 | dqmax101 max -0 Inf -> Infinity
|
| 107 | dqmax102 max 0 Inf -> Infinity
|
| 108 | dqmax103 max 1 Inf -> Infinity
|
| 109 | dqmax104 max 1000 Inf -> Infinity
|
| 110 | dqmax105 max Inf Inf -> Infinity
|
| 111 |
|
| 112 | dqmax120 max -Inf -Inf -> -Infinity
|
| 113 | dqmax121 max -Inf -1000 -> -1000
|
| 114 | dqmax122 max -Inf -1 -> -1
|
| 115 | dqmax123 max -Inf -0 -> -0
|
| 116 | dqmax124 max -Inf 0 -> 0
|
| 117 | dqmax125 max -Inf 1 -> 1
|
| 118 | dqmax126 max -Inf 1000 -> 1000
|
| 119 | dqmax127 max -Inf Inf -> Infinity
|
| 120 | dqmax128 max -Inf -Inf -> -Infinity
|
| 121 | dqmax129 max -1000 -Inf -> -1000
|
| 122 | dqmax130 max -1 -Inf -> -1
|
| 123 | dqmax131 max -0 -Inf -> -0
|
| 124 | dqmax132 max 0 -Inf -> 0
|
| 125 | dqmax133 max 1 -Inf -> 1
|
| 126 | dqmax134 max 1000 -Inf -> 1000
|
| 127 | dqmax135 max Inf -Inf -> Infinity
|
| 128 |
|
| 129 | -- 2004.08.02 754r chooses number over NaN in mixed cases
|
| 130 | dqmax141 max NaN -Inf -> -Infinity
|
| 131 | dqmax142 max NaN -1000 -> -1000
|
| 132 | dqmax143 max NaN -1 -> -1
|
| 133 | dqmax144 max NaN -0 -> -0
|
| 134 | dqmax145 max NaN 0 -> 0
|
| 135 | dqmax146 max NaN 1 -> 1
|
| 136 | dqmax147 max NaN 1000 -> 1000
|
| 137 | dqmax148 max NaN Inf -> Infinity
|
| 138 | dqmax149 max NaN NaN -> NaN
|
| 139 | dqmax150 max -Inf NaN -> -Infinity
|
| 140 | dqmax151 max -1000 NaN -> -1000
|
| 141 | dqmax152 max -1 NaN -> -1
|
| 142 | dqmax153 max -0 NaN -> -0
|
| 143 | dqmax154 max 0 NaN -> 0
|
| 144 | dqmax155 max 1 NaN -> 1
|
| 145 | dqmax156 max 1000 NaN -> 1000
|
| 146 | dqmax157 max Inf NaN -> Infinity
|
| 147 |
|
| 148 | dqmax161 max sNaN -Inf -> NaN Invalid_operation
|
| 149 | dqmax162 max sNaN -1000 -> NaN Invalid_operation
|
| 150 | dqmax163 max sNaN -1 -> NaN Invalid_operation
|
| 151 | dqmax164 max sNaN -0 -> NaN Invalid_operation
|
| 152 | dqmax165 max sNaN 0 -> NaN Invalid_operation
|
| 153 | dqmax166 max sNaN 1 -> NaN Invalid_operation
|
| 154 | dqmax167 max sNaN 1000 -> NaN Invalid_operation
|
| 155 | dqmax168 max sNaN NaN -> NaN Invalid_operation
|
| 156 | dqmax169 max sNaN sNaN -> NaN Invalid_operation
|
| 157 | dqmax170 max NaN sNaN -> NaN Invalid_operation
|
| 158 | dqmax171 max -Inf sNaN -> NaN Invalid_operation
|
| 159 | dqmax172 max -1000 sNaN -> NaN Invalid_operation
|
| 160 | dqmax173 max -1 sNaN -> NaN Invalid_operation
|
| 161 | dqmax174 max -0 sNaN -> NaN Invalid_operation
|
| 162 | dqmax175 max 0 sNaN -> NaN Invalid_operation
|
| 163 | dqmax176 max 1 sNaN -> NaN Invalid_operation
|
| 164 | dqmax177 max 1000 sNaN -> NaN Invalid_operation
|
| 165 | dqmax178 max Inf sNaN -> NaN Invalid_operation
|
| 166 | dqmax179 max NaN sNaN -> NaN Invalid_operation
|
| 167 |
|
| 168 | -- propagating NaNs
|
| 169 | dqmax181 max NaN9 -Inf -> -Infinity
|
| 170 | dqmax182 max NaN8 9 -> 9
|
| 171 | dqmax183 max -NaN7 Inf -> Infinity
|
| 172 |
|
| 173 | dqmax184 max -NaN1 NaN11 -> -NaN1
|
| 174 | dqmax185 max NaN2 NaN12 -> NaN2
|
| 175 | dqmax186 max -NaN13 -NaN7 -> -NaN13
|
| 176 | dqmax187 max NaN14 -NaN5 -> NaN14
|
| 177 |
|
| 178 | dqmax188 max -Inf NaN4 -> -Infinity
|
| 179 | dqmax189 max -9 -NaN3 -> -9
|
| 180 | dqmax190 max Inf NaN2 -> Infinity
|
| 181 |
|
| 182 | dqmax191 max sNaN99 -Inf -> NaN99 Invalid_operation
|
| 183 | dqmax192 max sNaN98 -1 -> NaN98 Invalid_operation
|
| 184 | dqmax193 max -sNaN97 NaN -> -NaN97 Invalid_operation
|
| 185 | dqmax194 max sNaN96 sNaN94 -> NaN96 Invalid_operation
|
| 186 | dqmax195 max NaN95 sNaN93 -> NaN93 Invalid_operation
|
| 187 | dqmax196 max -Inf sNaN92 -> NaN92 Invalid_operation
|
| 188 | dqmax197 max 0 sNaN91 -> NaN91 Invalid_operation
|
| 189 | dqmax198 max Inf -sNaN90 -> -NaN90 Invalid_operation
|
| 190 | dqmax199 max NaN sNaN89 -> NaN89 Invalid_operation
|
| 191 |
|
| 192 | -- old rounding checks
|
| 193 | dqmax221 max 12345678000 1 -> 12345678000
|
| 194 | dqmax222 max 1 12345678000 -> 12345678000
|
| 195 | dqmax223 max 1234567800 1 -> 1234567800
|
| 196 | dqmax224 max 1 1234567800 -> 1234567800
|
| 197 | dqmax225 max 1234567890 1 -> 1234567890
|
| 198 | dqmax226 max 1 1234567890 -> 1234567890
|
| 199 | dqmax227 max 1234567891 1 -> 1234567891
|
| 200 | dqmax228 max 1 1234567891 -> 1234567891
|
| 201 | dqmax229 max 12345678901 1 -> 12345678901
|
| 202 | dqmax230 max 1 12345678901 -> 12345678901
|
| 203 | dqmax231 max 1234567896 1 -> 1234567896
|
| 204 | dqmax232 max 1 1234567896 -> 1234567896
|
| 205 | dqmax233 max -1234567891 1 -> 1
|
| 206 | dqmax234 max 1 -1234567891 -> 1
|
| 207 | dqmax235 max -12345678901 1 -> 1
|
| 208 | dqmax236 max 1 -12345678901 -> 1
|
| 209 | dqmax237 max -1234567896 1 -> 1
|
| 210 | dqmax238 max 1 -1234567896 -> 1
|
| 211 |
|
| 212 | -- from examples
|
| 213 | dqmax280 max '3' '2' -> '3'
|
| 214 | dqmax281 max '-10' '3' -> '3'
|
| 215 | dqmax282 max '1.0' '1' -> '1'
|
| 216 | dqmax283 max '1' '1.0' -> '1'
|
| 217 | dqmax284 max '7' 'NaN' -> '7'
|
| 218 |
|
| 219 | -- expanded list from min/max 754r purple prose
|
| 220 | -- [explicit tests for exponent ordering]
|
| 221 | dqmax401 max Inf 1.1 -> Infinity
|
| 222 | dqmax402 max 1.1 1 -> 1.1
|
| 223 | dqmax403 max 1 1.0 -> 1
|
| 224 | dqmax404 max 1.0 0.1 -> 1.0
|
| 225 | dqmax405 max 0.1 0.10 -> 0.1
|
| 226 | dqmax406 max 0.10 0.100 -> 0.10
|
| 227 | dqmax407 max 0.10 0 -> 0.10
|
| 228 | dqmax408 max 0 0.0 -> 0
|
| 229 | dqmax409 max 0.0 -0 -> 0.0
|
| 230 | dqmax410 max 0.0 -0.0 -> 0.0
|
| 231 | dqmax411 max 0.00 -0.0 -> 0.00
|
| 232 | dqmax412 max 0.0 -0.00 -> 0.0
|
| 233 | dqmax413 max 0 -0.0 -> 0
|
| 234 | dqmax414 max 0 -0 -> 0
|
| 235 | dqmax415 max -0.0 -0 -> -0.0
|
| 236 | dqmax416 max -0 -0.100 -> -0
|
| 237 | dqmax417 max -0.100 -0.10 -> -0.100
|
| 238 | dqmax418 max -0.10 -0.1 -> -0.10
|
| 239 | dqmax419 max -0.1 -1.0 -> -0.1
|
| 240 | dqmax420 max -1.0 -1 -> -1.0
|
| 241 | dqmax421 max -1 -1.1 -> -1
|
| 242 | dqmax423 max -1.1 -Inf -> -1.1
|
| 243 | -- same with operands reversed
|
| 244 | dqmax431 max 1.1 Inf -> Infinity
|
| 245 | dqmax432 max 1 1.1 -> 1.1
|
| 246 | dqmax433 max 1.0 1 -> 1
|
| 247 | dqmax434 max 0.1 1.0 -> 1.0
|
| 248 | dqmax435 max 0.10 0.1 -> 0.1
|
| 249 | dqmax436 max 0.100 0.10 -> 0.10
|
| 250 | dqmax437 max 0 0.10 -> 0.10
|
| 251 | dqmax438 max 0.0 0 -> 0
|
| 252 | dqmax439 max -0 0.0 -> 0.0
|
| 253 | dqmax440 max -0.0 0.0 -> 0.0
|
| 254 | dqmax441 max -0.0 0.00 -> 0.00
|
| 255 | dqmax442 max -0.00 0.0 -> 0.0
|
| 256 | dqmax443 max -0.0 0 -> 0
|
| 257 | dqmax444 max -0 0 -> 0
|
| 258 | dqmax445 max -0 -0.0 -> -0.0
|
| 259 | dqmax446 max -0.100 -0 -> -0
|
| 260 | dqmax447 max -0.10 -0.100 -> -0.100
|
| 261 | dqmax448 max -0.1 -0.10 -> -0.10
|
| 262 | dqmax449 max -1.0 -0.1 -> -0.1
|
| 263 | dqmax450 max -1 -1.0 -> -1.0
|
| 264 | dqmax451 max -1.1 -1 -> -1
|
| 265 | dqmax453 max -Inf -1.1 -> -1.1
|
| 266 | -- largies
|
| 267 | dqmax460 max 1000 1E+3 -> 1E+3
|
| 268 | dqmax461 max 1E+3 1000 -> 1E+3
|
| 269 | dqmax462 max 1000 -1E+3 -> 1000
|
| 270 | dqmax463 max 1E+3 -1000 -> 1E+3
|
| 271 | dqmax464 max -1000 1E+3 -> 1E+3
|
| 272 | dqmax465 max -1E+3 1000 -> 1000
|
| 273 | dqmax466 max -1000 -1E+3 -> -1000
|
| 274 | dqmax467 max -1E+3 -1000 -> -1000
|
| 275 |
|
| 276 | -- misalignment traps for little-endian
|
| 277 | dqmax471 max 1.0 0.1 -> 1.0
|
| 278 | dqmax472 max 0.1 1.0 -> 1.0
|
| 279 | dqmax473 max 10.0 0.1 -> 10.0
|
| 280 | dqmax474 max 0.1 10.0 -> 10.0
|
| 281 | dqmax475 max 100 1.0 -> 100
|
| 282 | dqmax476 max 1.0 100 -> 100
|
| 283 | dqmax477 max 1000 10.0 -> 1000
|
| 284 | dqmax478 max 10.0 1000 -> 1000
|
| 285 | dqmax479 max 10000 100.0 -> 10000
|
| 286 | dqmax480 max 100.0 10000 -> 10000
|
| 287 | dqmax481 max 100000 1000.0 -> 100000
|
| 288 | dqmax482 max 1000.0 100000 -> 100000
|
| 289 | dqmax483 max 1000000 10000.0 -> 1000000
|
| 290 | dqmax484 max 10000.0 1000000 -> 1000000
|
| 291 |
|
| 292 | -- subnormals
|
| 293 | dqmax510 max 1.00E-6143 0 -> 1.00E-6143
|
| 294 | dqmax511 max 0.1E-6143 0 -> 1E-6144 Subnormal
|
| 295 | dqmax512 max 0.10E-6143 0 -> 1.0E-6144 Subnormal
|
| 296 | dqmax513 max 0.100E-6143 0 -> 1.00E-6144 Subnormal
|
| 297 | dqmax514 max 0.01E-6143 0 -> 1E-6145 Subnormal
|
| 298 | dqmax515 max 0.999E-6143 0 -> 9.99E-6144 Subnormal
|
| 299 | dqmax516 max 0.099E-6143 0 -> 9.9E-6145 Subnormal
|
| 300 | dqmax517 max 0.009E-6143 0 -> 9E-6146 Subnormal
|
| 301 | dqmax518 max 0.001E-6143 0 -> 1E-6146 Subnormal
|
| 302 | dqmax519 max 0.0009E-6143 0 -> 9E-6147 Subnormal
|
| 303 | dqmax520 max 0.0001E-6143 0 -> 1E-6147 Subnormal
|
| 304 |
|
| 305 | dqmax530 max -1.00E-6143 0 -> 0
|
| 306 | dqmax531 max -0.1E-6143 0 -> 0
|
| 307 | dqmax532 max -0.10E-6143 0 -> 0
|
| 308 | dqmax533 max -0.100E-6143 0 -> 0
|
| 309 | dqmax534 max -0.01E-6143 0 -> 0
|
| 310 | dqmax535 max -0.999E-6143 0 -> 0
|
| 311 | dqmax536 max -0.099E-6143 0 -> 0
|
| 312 | dqmax537 max -0.009E-6143 0 -> 0
|
| 313 | dqmax538 max -0.001E-6143 0 -> 0
|
| 314 | dqmax539 max -0.0009E-6143 0 -> 0
|
| 315 | dqmax540 max -0.0001E-6143 0 -> 0
|
| 316 |
|
| 317 | -- Null tests
|
| 318 | dqmax900 max 10 # -> NaN Invalid_operation
|
| 319 | dqmax901 max # 10 -> NaN Invalid_operation
|
| 320 |
|
| 321 |
|
| 322 |
|