Lib/test/decimaltestdata/dqMaxMag.decTest

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