1------------------------------------------------------------------------ 2-- dqMaxMag.decTest -- decQuad maxnummag -- 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------------------------------------------------------------------------ 20version: 2.59 21 22-- we assume that base comparison is tested in compare.decTest, so 23-- these mainly cover special cases and rounding 24extended: 1 25clamp: 1 26precision: 34 27maxExponent: 6144 28minExponent: -6143 29rounding: half_even 30 31-- sanity checks 32dqmxg001 maxmag -2 -2 -> -2 33dqmxg002 maxmag -2 -1 -> -2 34dqmxg003 maxmag -2 0 -> -2 35dqmxg004 maxmag -2 1 -> -2 36dqmxg005 maxmag -2 2 -> 2 37dqmxg006 maxmag -1 -2 -> -2 38dqmxg007 maxmag -1 -1 -> -1 39dqmxg008 maxmag -1 0 -> -1 40dqmxg009 maxmag -1 1 -> 1 41dqmxg010 maxmag -1 2 -> 2 42dqmxg011 maxmag 0 -2 -> -2 43dqmxg012 maxmag 0 -1 -> -1 44dqmxg013 maxmag 0 0 -> 0 45dqmxg014 maxmag 0 1 -> 1 46dqmxg015 maxmag 0 2 -> 2 47dqmxg016 maxmag 1 -2 -> -2 48dqmxg017 maxmag 1 -1 -> 1 49dqmxg018 maxmag 1 0 -> 1 50dqmxg019 maxmag 1 1 -> 1 51dqmxg020 maxmag 1 2 -> 2 52dqmxg021 maxmag 2 -2 -> 2 53dqmxg022 maxmag 2 -1 -> 2 54dqmxg023 maxmag 2 0 -> 2 55dqmxg025 maxmag 2 1 -> 2 56dqmxg026 maxmag 2 2 -> 2 57 58-- extended zeros 59dqmxg030 maxmag 0 0 -> 0 60dqmxg031 maxmag 0 -0 -> 0 61dqmxg032 maxmag 0 -0.0 -> 0 62dqmxg033 maxmag 0 0.0 -> 0 63dqmxg034 maxmag -0 0 -> 0 -- note: -0 = 0, but 0 chosen 64dqmxg035 maxmag -0 -0 -> -0 65dqmxg036 maxmag -0 -0.0 -> -0.0 66dqmxg037 maxmag -0 0.0 -> 0.0 67dqmxg038 maxmag 0.0 0 -> 0 68dqmxg039 maxmag 0.0 -0 -> 0.0 69dqmxg040 maxmag 0.0 -0.0 -> 0.0 70dqmxg041 maxmag 0.0 0.0 -> 0.0 71dqmxg042 maxmag -0.0 0 -> 0 72dqmxg043 maxmag -0.0 -0 -> -0.0 73dqmxg044 maxmag -0.0 -0.0 -> -0.0 74dqmxg045 maxmag -0.0 0.0 -> 0.0 75 76dqmxg050 maxmag -0E1 0E1 -> 0E+1 77dqmxg051 maxmag -0E2 0E2 -> 0E+2 78dqmxg052 maxmag -0E2 0E1 -> 0E+1 79dqmxg053 maxmag -0E1 0E2 -> 0E+2 80dqmxg054 maxmag 0E1 -0E1 -> 0E+1 81dqmxg055 maxmag 0E2 -0E2 -> 0E+2 82dqmxg056 maxmag 0E2 -0E1 -> 0E+2 83dqmxg057 maxmag 0E1 -0E2 -> 0E+1 84 85dqmxg058 maxmag 0E1 0E1 -> 0E+1 86dqmxg059 maxmag 0E2 0E2 -> 0E+2 87dqmxg060 maxmag 0E2 0E1 -> 0E+2 88dqmxg061 maxmag 0E1 0E2 -> 0E+2 89dqmxg062 maxmag -0E1 -0E1 -> -0E+1 90dqmxg063 maxmag -0E2 -0E2 -> -0E+2 91dqmxg064 maxmag -0E2 -0E1 -> -0E+1 92dqmxg065 maxmag -0E1 -0E2 -> -0E+1 93 94-- Specials 95dqmxg090 maxmag Inf -Inf -> Infinity 96dqmxg091 maxmag Inf -1000 -> Infinity 97dqmxg092 maxmag Inf -1 -> Infinity 98dqmxg093 maxmag Inf -0 -> Infinity 99dqmxg094 maxmag Inf 0 -> Infinity 100dqmxg095 maxmag Inf 1 -> Infinity 101dqmxg096 maxmag Inf 1000 -> Infinity 102dqmxg097 maxmag Inf Inf -> Infinity 103dqmxg098 maxmag -1000 Inf -> Infinity 104dqmxg099 maxmag -Inf Inf -> Infinity 105dqmxg100 maxmag -1 Inf -> Infinity 106dqmxg101 maxmag -0 Inf -> Infinity 107dqmxg102 maxmag 0 Inf -> Infinity 108dqmxg103 maxmag 1 Inf -> Infinity 109dqmxg104 maxmag 1000 Inf -> Infinity 110dqmxg105 maxmag Inf Inf -> Infinity 111 112dqmxg120 maxmag -Inf -Inf -> -Infinity 113dqmxg121 maxmag -Inf -1000 -> -Infinity 114dqmxg122 maxmag -Inf -1 -> -Infinity 115dqmxg123 maxmag -Inf -0 -> -Infinity 116dqmxg124 maxmag -Inf 0 -> -Infinity 117dqmxg125 maxmag -Inf 1 -> -Infinity 118dqmxg126 maxmag -Inf 1000 -> -Infinity 119dqmxg127 maxmag -Inf Inf -> Infinity 120dqmxg128 maxmag -Inf -Inf -> -Infinity 121dqmxg129 maxmag -1000 -Inf -> -Infinity 122dqmxg130 maxmag -1 -Inf -> -Infinity 123dqmxg131 maxmag -0 -Inf -> -Infinity 124dqmxg132 maxmag 0 -Inf -> -Infinity 125dqmxg133 maxmag 1 -Inf -> -Infinity 126dqmxg134 maxmag 1000 -Inf -> -Infinity 127dqmxg135 maxmag Inf -Inf -> Infinity 128 129-- 2004.08.02 754r chooses number over NaN in mixed cases 130dqmxg141 maxmag NaN -Inf -> -Infinity 131dqmxg142 maxmag NaN -1000 -> -1000 132dqmxg143 maxmag NaN -1 -> -1 133dqmxg144 maxmag NaN -0 -> -0 134dqmxg145 maxmag NaN 0 -> 0 135dqmxg146 maxmag NaN 1 -> 1 136dqmxg147 maxmag NaN 1000 -> 1000 137dqmxg148 maxmag NaN Inf -> Infinity 138dqmxg149 maxmag NaN NaN -> NaN 139dqmxg150 maxmag -Inf NaN -> -Infinity 140dqmxg151 maxmag -1000 NaN -> -1000 141dqmxg152 maxmag -1 NaN -> -1 142dqmxg153 maxmag -0 NaN -> -0 143dqmxg154 maxmag 0 NaN -> 0 144dqmxg155 maxmag 1 NaN -> 1 145dqmxg156 maxmag 1000 NaN -> 1000 146dqmxg157 maxmag Inf NaN -> Infinity 147 148dqmxg161 maxmag sNaN -Inf -> NaN Invalid_operation 149dqmxg162 maxmag sNaN -1000 -> NaN Invalid_operation 150dqmxg163 maxmag sNaN -1 -> NaN Invalid_operation 151dqmxg164 maxmag sNaN -0 -> NaN Invalid_operation 152dqmxg165 maxmag sNaN 0 -> NaN Invalid_operation 153dqmxg166 maxmag sNaN 1 -> NaN Invalid_operation 154dqmxg167 maxmag sNaN 1000 -> NaN Invalid_operation 155dqmxg168 maxmag sNaN NaN -> NaN Invalid_operation 156dqmxg169 maxmag sNaN sNaN -> NaN Invalid_operation 157dqmxg170 maxmag NaN sNaN -> NaN Invalid_operation 158dqmxg171 maxmag -Inf sNaN -> NaN Invalid_operation 159dqmxg172 maxmag -1000 sNaN -> NaN Invalid_operation 160dqmxg173 maxmag -1 sNaN -> NaN Invalid_operation 161dqmxg174 maxmag -0 sNaN -> NaN Invalid_operation 162dqmxg175 maxmag 0 sNaN -> NaN Invalid_operation 163dqmxg176 maxmag 1 sNaN -> NaN Invalid_operation 164dqmxg177 maxmag 1000 sNaN -> NaN Invalid_operation 165dqmxg178 maxmag Inf sNaN -> NaN Invalid_operation 166dqmxg179 maxmag NaN sNaN -> NaN Invalid_operation 167 168-- propagating NaNs 169dqmxg181 maxmag NaN9 -Inf -> -Infinity 170dqmxg182 maxmag NaN8 9 -> 9 171dqmxg183 maxmag -NaN7 Inf -> Infinity 172 173dqmxg184 maxmag -NaN1 NaN11 -> -NaN1 174dqmxg185 maxmag NaN2 NaN12 -> NaN2 175dqmxg186 maxmag -NaN13 -NaN7 -> -NaN13 176dqmxg187 maxmag NaN14 -NaN5 -> NaN14 177 178dqmxg188 maxmag -Inf NaN4 -> -Infinity 179dqmxg189 maxmag -9 -NaN3 -> -9 180dqmxg190 maxmag Inf NaN2 -> Infinity 181 182dqmxg191 maxmag sNaN99 -Inf -> NaN99 Invalid_operation 183dqmxg192 maxmag sNaN98 -1 -> NaN98 Invalid_operation 184dqmxg193 maxmag -sNaN97 NaN -> -NaN97 Invalid_operation 185dqmxg194 maxmag sNaN96 sNaN94 -> NaN96 Invalid_operation 186dqmxg195 maxmag NaN95 sNaN93 -> NaN93 Invalid_operation 187dqmxg196 maxmag -Inf sNaN92 -> NaN92 Invalid_operation 188dqmxg197 maxmag 0 sNaN91 -> NaN91 Invalid_operation 189dqmxg198 maxmag Inf -sNaN90 -> -NaN90 Invalid_operation 190dqmxg199 maxmag NaN sNaN89 -> NaN89 Invalid_operation 191 192-- old rounding checks 193dqmxg221 maxmag 12345678000 1 -> 12345678000 194dqmxg222 maxmag 1 12345678000 -> 12345678000 195dqmxg223 maxmag 1234567800 1 -> 1234567800 196dqmxg224 maxmag 1 1234567800 -> 1234567800 197dqmxg225 maxmag 1234567890 1 -> 1234567890 198dqmxg226 maxmag 1 1234567890 -> 1234567890 199dqmxg227 maxmag 1234567891 1 -> 1234567891 200dqmxg228 maxmag 1 1234567891 -> 1234567891 201dqmxg229 maxmag 12345678901 1 -> 12345678901 202dqmxg230 maxmag 1 12345678901 -> 12345678901 203dqmxg231 maxmag 1234567896 1 -> 1234567896 204dqmxg232 maxmag 1 1234567896 -> 1234567896 205dqmxg233 maxmag -1234567891 1 -> -1234567891 206dqmxg234 maxmag 1 -1234567891 -> -1234567891 207dqmxg235 maxmag -12345678901 1 -> -12345678901 208dqmxg236 maxmag 1 -12345678901 -> -12345678901 209dqmxg237 maxmag -1234567896 1 -> -1234567896 210dqmxg238 maxmag 1 -1234567896 -> -1234567896 211 212-- from examples 213dqmxg280 maxmag '3' '2' -> '3' 214dqmxg281 maxmag '-10' '3' -> '-10' 215dqmxg282 maxmag '1.0' '1' -> '1' 216dqmxg283 maxmag '1' '1.0' -> '1' 217dqmxg284 maxmag '7' 'NaN' -> '7' 218 219-- expanded list from min/max 754r purple prose 220-- [explicit tests for exponent ordering] 221dqmxg401 maxmag Inf 1.1 -> Infinity 222dqmxg402 maxmag 1.1 1 -> 1.1 223dqmxg403 maxmag 1 1.0 -> 1 224dqmxg404 maxmag 1.0 0.1 -> 1.0 225dqmxg405 maxmag 0.1 0.10 -> 0.1 226dqmxg406 maxmag 0.10 0.100 -> 0.10 227dqmxg407 maxmag 0.10 0 -> 0.10 228dqmxg408 maxmag 0 0.0 -> 0 229dqmxg409 maxmag 0.0 -0 -> 0.0 230dqmxg410 maxmag 0.0 -0.0 -> 0.0 231dqmxg411 maxmag 0.00 -0.0 -> 0.00 232dqmxg412 maxmag 0.0 -0.00 -> 0.0 233dqmxg413 maxmag 0 -0.0 -> 0 234dqmxg414 maxmag 0 -0 -> 0 235dqmxg415 maxmag -0.0 -0 -> -0.0 236dqmxg416 maxmag -0 -0.100 -> -0.100 237dqmxg417 maxmag -0.100 -0.10 -> -0.100 238dqmxg418 maxmag -0.10 -0.1 -> -0.10 239dqmxg419 maxmag -0.1 -1.0 -> -1.0 240dqmxg420 maxmag -1.0 -1 -> -1.0 241dqmxg421 maxmag -1 -1.1 -> -1.1 242dqmxg423 maxmag -1.1 -Inf -> -Infinity 243-- same with operands reversed 244dqmxg431 maxmag 1.1 Inf -> Infinity 245dqmxg432 maxmag 1 1.1 -> 1.1 246dqmxg433 maxmag 1.0 1 -> 1 247dqmxg434 maxmag 0.1 1.0 -> 1.0 248dqmxg435 maxmag 0.10 0.1 -> 0.1 249dqmxg436 maxmag 0.100 0.10 -> 0.10 250dqmxg437 maxmag 0 0.10 -> 0.10 251dqmxg438 maxmag 0.0 0 -> 0 252dqmxg439 maxmag -0 0.0 -> 0.0 253dqmxg440 maxmag -0.0 0.0 -> 0.0 254dqmxg441 maxmag -0.0 0.00 -> 0.00 255dqmxg442 maxmag -0.00 0.0 -> 0.0 256dqmxg443 maxmag -0.0 0 -> 0 257dqmxg444 maxmag -0 0 -> 0 258dqmxg445 maxmag -0 -0.0 -> -0.0 259dqmxg446 maxmag -0.100 -0 -> -0.100 260dqmxg447 maxmag -0.10 -0.100 -> -0.100 261dqmxg448 maxmag -0.1 -0.10 -> -0.10 262dqmxg449 maxmag -1.0 -0.1 -> -1.0 263dqmxg450 maxmag -1 -1.0 -> -1.0 264dqmxg451 maxmag -1.1 -1 -> -1.1 265dqmxg453 maxmag -Inf -1.1 -> -Infinity 266-- largies 267dqmxg460 maxmag 1000 1E+3 -> 1E+3 268dqmxg461 maxmag 1E+3 1000 -> 1E+3 269dqmxg462 maxmag 1000 -1E+3 -> 1000 270dqmxg463 maxmag 1E+3 -1000 -> 1E+3 271dqmxg464 maxmag -1000 1E+3 -> 1E+3 272dqmxg465 maxmag -1E+3 1000 -> 1000 273dqmxg466 maxmag -1000 -1E+3 -> -1000 274dqmxg467 maxmag -1E+3 -1000 -> -1000 275 276-- subnormals 277dqmxg510 maxmag 1.00E-6143 0 -> 1.00E-6143 278dqmxg511 maxmag 0.1E-6143 0 -> 1E-6144 Subnormal 279dqmxg512 maxmag 0.10E-6143 0 -> 1.0E-6144 Subnormal 280dqmxg513 maxmag 0.100E-6143 0 -> 1.00E-6144 Subnormal 281dqmxg514 maxmag 0.01E-6143 0 -> 1E-6145 Subnormal 282dqmxg515 maxmag 0.999E-6143 0 -> 9.99E-6144 Subnormal 283dqmxg516 maxmag 0.099E-6143 0 -> 9.9E-6145 Subnormal 284dqmxg517 maxmag 0.009E-6143 0 -> 9E-6146 Subnormal 285dqmxg518 maxmag 0.001E-6143 0 -> 1E-6146 Subnormal 286dqmxg519 maxmag 0.0009E-6143 0 -> 9E-6147 Subnormal 287dqmxg520 maxmag 0.0001E-6143 0 -> 1E-6147 Subnormal 288 289dqmxg530 maxmag -1.00E-6143 0 -> -1.00E-6143 290dqmxg531 maxmag -0.1E-6143 0 -> -1E-6144 Subnormal 291dqmxg532 maxmag -0.10E-6143 0 -> -1.0E-6144 Subnormal 292dqmxg533 maxmag -0.100E-6143 0 -> -1.00E-6144 Subnormal 293dqmxg534 maxmag -0.01E-6143 0 -> -1E-6145 Subnormal 294dqmxg535 maxmag -0.999E-6143 0 -> -9.99E-6144 Subnormal 295dqmxg536 maxmag -0.099E-6143 0 -> -9.9E-6145 Subnormal 296dqmxg537 maxmag -0.009E-6143 0 -> -9E-6146 Subnormal 297dqmxg538 maxmag -0.001E-6143 0 -> -1E-6146 Subnormal 298dqmxg539 maxmag -0.0009E-6143 0 -> -9E-6147 Subnormal 299dqmxg540 maxmag -0.0001E-6143 0 -> -1E-6147 Subnormal 300 301-- Null tests 302dqmxg900 maxmag 10 # -> NaN Invalid_operation 303dqmxg901 maxmag # 10 -> NaN Invalid_operation 304 305