| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------ | 
 | 2 | -- max.decTest -- decimal maximum                                     -- | 
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   -- | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +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 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +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 |  | 
 | 25 | extended:    1 | 
 | 26 | precision:   9 | 
 | 27 | rounding:    half_up | 
 | 28 | maxExponent: 384 | 
 | 29 | minexponent: -383 | 
 | 30 |  | 
 | 31 | -- sanity checks | 
 | 32 | maxx001 max  -2  -2  -> -2 | 
 | 33 | maxx002 max  -2  -1  -> -1 | 
 | 34 | maxx003 max  -2   0  ->  0 | 
 | 35 | maxx004 max  -2   1  ->  1 | 
 | 36 | maxx005 max  -2   2  ->  2 | 
 | 37 | maxx006 max  -1  -2  -> -1 | 
 | 38 | maxx007 max  -1  -1  -> -1 | 
 | 39 | maxx008 max  -1   0  ->  0 | 
 | 40 | maxx009 max  -1   1  ->  1 | 
 | 41 | maxx010 max  -1   2  ->  2 | 
 | 42 | maxx011 max   0  -2  ->  0 | 
 | 43 | maxx012 max   0  -1  ->  0 | 
 | 44 | maxx013 max   0   0  ->  0 | 
 | 45 | maxx014 max   0   1  ->  1 | 
 | 46 | maxx015 max   0   2  ->  2 | 
 | 47 | maxx016 max   1  -2  ->  1 | 
 | 48 | maxx017 max   1  -1  ->  1 | 
 | 49 | maxx018 max   1   0  ->  1 | 
 | 50 | maxx019 max   1   1  ->  1 | 
 | 51 | maxx020 max   1   2  ->  2 | 
 | 52 | maxx021 max   2  -2  ->  2 | 
 | 53 | maxx022 max   2  -1  ->  2 | 
 | 54 | maxx023 max   2   0  ->  2 | 
 | 55 | maxx025 max   2   1  ->  2 | 
 | 56 | maxx026 max   2   2  ->  2 | 
 | 57 |  | 
 | 58 | -- extended zeros | 
 | 59 | maxx030 max   0     0   ->  0 | 
 | 60 | maxx031 max   0    -0   ->  0 | 
 | 61 | maxx032 max   0    -0.0 ->  0 | 
 | 62 | maxx033 max   0     0.0 ->  0 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 63 | maxx034 max  -0     0   ->  0    -- note: -0 = 0, but 0 chosen | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 64 | maxx035 max  -0    -0   -> -0 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 65 | maxx036 max  -0    -0.0 -> -0.0 | 
 | 66 | maxx037 max  -0     0.0 ->  0.0 | 
 | 67 | maxx038 max   0.0   0   ->  0 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 68 | maxx039 max   0.0  -0   ->  0.0 | 
 | 69 | maxx040 max   0.0  -0.0 ->  0.0 | 
 | 70 | maxx041 max   0.0   0.0 ->  0.0 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 71 | maxx042 max  -0.0   0   ->  0 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 72 | maxx043 max  -0.0  -0   -> -0.0 | 
 | 73 | maxx044 max  -0.0  -0.0 -> -0.0 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 74 | maxx045 max  -0.0   0.0 ->  0.0 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 75 |  | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 76 | maxx050 max  -0E1   0E1 ->  0E+1 | 
 | 77 | maxx051 max  -0E2   0E2 ->  0E+2 | 
 | 78 | maxx052 max  -0E2   0E1 ->  0E+1 | 
 | 79 | maxx053 max  -0E1   0E2 ->  0E+2 | 
 | 80 | maxx054 max   0E1  -0E1 ->  0E+1 | 
 | 81 | maxx055 max   0E2  -0E2 ->  0E+2 | 
 | 82 | maxx056 max   0E2  -0E1 ->  0E+2 | 
 | 83 | maxx057 max   0E1  -0E2 ->  0E+1 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 84 |  | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 85 | maxx058 max   0E1   0E1 ->  0E+1 | 
 | 86 | maxx059 max   0E2   0E2 ->  0E+2 | 
 | 87 | maxx060 max   0E2   0E1 ->  0E+2 | 
 | 88 | maxx061 max   0E1   0E2 ->  0E+2 | 
 | 89 | maxx062 max  -0E1  -0E1 -> -0E+1 | 
 | 90 | maxx063 max  -0E2  -0E2 -> -0E+2 | 
 | 91 | maxx064 max  -0E2  -0E1 -> -0E+1 | 
 | 92 | maxx065 max  -0E1  -0E2 -> -0E+1 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 93 |  | 
 | 94 | -- Specials | 
 | 95 | precision: 9 | 
 | 96 | maxx090 max  Inf  -Inf   ->  Infinity | 
 | 97 | maxx091 max  Inf  -1000  ->  Infinity | 
 | 98 | maxx092 max  Inf  -1     ->  Infinity | 
 | 99 | maxx093 max  Inf  -0     ->  Infinity | 
 | 100 | maxx094 max  Inf   0     ->  Infinity | 
 | 101 | maxx095 max  Inf   1     ->  Infinity | 
 | 102 | maxx096 max  Inf   1000  ->  Infinity | 
 | 103 | maxx097 max  Inf   Inf   ->  Infinity | 
 | 104 | maxx098 max -1000  Inf   ->  Infinity | 
 | 105 | maxx099 max -Inf   Inf   ->  Infinity | 
 | 106 | maxx100 max -1     Inf   ->  Infinity | 
 | 107 | maxx101 max -0     Inf   ->  Infinity | 
 | 108 | maxx102 max  0     Inf   ->  Infinity | 
 | 109 | maxx103 max  1     Inf   ->  Infinity | 
 | 110 | maxx104 max  1000  Inf   ->  Infinity | 
 | 111 | maxx105 max  Inf   Inf   ->  Infinity | 
 | 112 |  | 
 | 113 | maxx120 max -Inf  -Inf   -> -Infinity | 
 | 114 | maxx121 max -Inf  -1000  -> -1000 | 
 | 115 | maxx122 max -Inf  -1     -> -1 | 
 | 116 | maxx123 max -Inf  -0     -> -0 | 
 | 117 | maxx124 max -Inf   0     ->  0 | 
 | 118 | maxx125 max -Inf   1     ->  1 | 
 | 119 | maxx126 max -Inf   1000  ->  1000 | 
 | 120 | maxx127 max -Inf   Inf   ->  Infinity | 
 | 121 | maxx128 max -Inf  -Inf   ->  -Infinity | 
 | 122 | maxx129 max -1000 -Inf   ->  -1000 | 
 | 123 | maxx130 max -1    -Inf   ->  -1 | 
 | 124 | maxx131 max -0    -Inf   ->  -0 | 
 | 125 | maxx132 max  0    -Inf   ->  0 | 
 | 126 | maxx133 max  1    -Inf   ->  1 | 
 | 127 | maxx134 max  1000 -Inf   ->  1000 | 
 | 128 | maxx135 max  Inf  -Inf   ->  Infinity | 
 | 129 |  | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 130 | -- 2004.08.02 754r chooses number over NaN in mixed cases | 
 | 131 | maxx141 max  NaN -Inf    -> -Infinity | 
 | 132 | maxx142 max  NaN -1000   -> -1000 | 
 | 133 | maxx143 max  NaN -1      -> -1 | 
 | 134 | maxx144 max  NaN -0      -> -0 | 
 | 135 | maxx145 max  NaN  0      ->  0 | 
 | 136 | maxx146 max  NaN  1      ->  1 | 
 | 137 | maxx147 max  NaN  1000   ->  1000 | 
 | 138 | maxx148 max  NaN  Inf    ->  Infinity | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 139 | maxx149 max  NaN  NaN    ->  NaN | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 140 | maxx150 max -Inf  NaN    -> -Infinity | 
 | 141 | maxx151 max -1000 NaN    -> -1000 | 
 | 142 | maxx152 max -1    NaN    -> -1 | 
 | 143 | maxx153 max -0    NaN    -> -0 | 
 | 144 | maxx154 max  0    NaN    ->  0 | 
 | 145 | maxx155 max  1    NaN    ->  1 | 
 | 146 | maxx156 max  1000 NaN    ->  1000 | 
 | 147 | maxx157 max  Inf  NaN    ->  Infinity | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 148 |  | 
 | 149 | maxx161 max  sNaN -Inf   ->  NaN  Invalid_operation | 
 | 150 | maxx162 max  sNaN -1000  ->  NaN  Invalid_operation | 
 | 151 | maxx163 max  sNaN -1     ->  NaN  Invalid_operation | 
 | 152 | maxx164 max  sNaN -0     ->  NaN  Invalid_operation | 
 | 153 | maxx165 max  sNaN  0     ->  NaN  Invalid_operation | 
 | 154 | maxx166 max  sNaN  1     ->  NaN  Invalid_operation | 
 | 155 | maxx167 max  sNaN  1000  ->  NaN  Invalid_operation | 
 | 156 | maxx168 max  sNaN  NaN   ->  NaN  Invalid_operation | 
 | 157 | maxx169 max  sNaN sNaN   ->  NaN  Invalid_operation | 
 | 158 | maxx170 max  NaN  sNaN   ->  NaN  Invalid_operation | 
 | 159 | maxx171 max -Inf  sNaN   ->  NaN  Invalid_operation | 
 | 160 | maxx172 max -1000 sNaN   ->  NaN  Invalid_operation | 
 | 161 | maxx173 max -1    sNaN   ->  NaN  Invalid_operation | 
 | 162 | maxx174 max -0    sNaN   ->  NaN  Invalid_operation | 
 | 163 | maxx175 max  0    sNaN   ->  NaN  Invalid_operation | 
 | 164 | maxx176 max  1    sNaN   ->  NaN  Invalid_operation | 
 | 165 | maxx177 max  1000 sNaN   ->  NaN  Invalid_operation | 
 | 166 | maxx178 max  Inf  sNaN   ->  NaN  Invalid_operation | 
 | 167 | maxx179 max  NaN  sNaN   ->  NaN  Invalid_operation | 
 | 168 |  | 
 | 169 | -- propagating NaNs | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 170 | maxx181 max  NaN9  -Inf   -> -Infinity | 
 | 171 | maxx182 max  NaN8     9   ->  9 | 
 | 172 | maxx183 max -NaN7   Inf   ->  Infinity | 
 | 173 |  | 
 | 174 | maxx184 max -NaN1   NaN11 -> -NaN1 | 
 | 175 | maxx185 max  NaN2   NaN12 ->  NaN2 | 
 | 176 | maxx186 max -NaN13 -NaN7  -> -NaN13 | 
 | 177 | maxx187 max  NaN14 -NaN5  ->  NaN14 | 
 | 178 |  | 
 | 179 | maxx188 max -Inf    NaN4  -> -Infinity | 
 | 180 | maxx189 max -9     -NaN3  -> -9 | 
 | 181 | maxx190 max  Inf    NaN2  ->  Infinity | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 182 |  | 
 | 183 | maxx191 max  sNaN99 -Inf    ->  NaN99 Invalid_operation | 
 | 184 | maxx192 max  sNaN98 -1      ->  NaN98 Invalid_operation | 
 | 185 | maxx193 max -sNaN97  NaN    -> -NaN97 Invalid_operation | 
 | 186 | maxx194 max  sNaN96 sNaN94  ->  NaN96 Invalid_operation | 
 | 187 | maxx195 max  NaN95  sNaN93  ->  NaN93 Invalid_operation | 
 | 188 | maxx196 max -Inf    sNaN92  ->  NaN92 Invalid_operation | 
 | 189 | maxx197 max  0      sNaN91  ->  NaN91 Invalid_operation | 
 | 190 | maxx198 max  Inf   -sNaN90  -> -NaN90 Invalid_operation | 
 | 191 | maxx199 max  NaN    sNaN89  ->  NaN89 Invalid_operation | 
 | 192 |  | 
 | 193 | -- rounding checks | 
 | 194 | maxexponent: 999 | 
 | 195 | minexponent: -999 | 
 | 196 | precision: 9 | 
 | 197 | maxx201 max 12345678000 1  -> 1.23456780E+10 Rounded | 
 | 198 | maxx202 max 1 12345678000  -> 1.23456780E+10 Rounded | 
 | 199 | maxx203 max 1234567800  1  -> 1.23456780E+9 Rounded | 
 | 200 | maxx204 max 1 1234567800   -> 1.23456780E+9 Rounded | 
 | 201 | maxx205 max 1234567890  1  -> 1.23456789E+9 Rounded | 
 | 202 | maxx206 max 1 1234567890   -> 1.23456789E+9 Rounded | 
 | 203 | maxx207 max 1234567891  1  -> 1.23456789E+9 Inexact Rounded | 
 | 204 | maxx208 max 1 1234567891   -> 1.23456789E+9 Inexact Rounded | 
 | 205 | maxx209 max 12345678901 1  -> 1.23456789E+10 Inexact Rounded | 
 | 206 | maxx210 max 1 12345678901  -> 1.23456789E+10 Inexact Rounded | 
 | 207 | maxx211 max 1234567896  1  -> 1.23456790E+9 Inexact Rounded | 
 | 208 | maxx212 max 1 1234567896   -> 1.23456790E+9 Inexact Rounded | 
 | 209 | maxx213 max -1234567891  1 -> 1 | 
 | 210 | maxx214 max 1 -1234567891  -> 1 | 
 | 211 | maxx215 max -12345678901 1 -> 1 | 
 | 212 | maxx216 max 1 -12345678901 -> 1 | 
 | 213 | maxx217 max -1234567896  1 -> 1 | 
 | 214 | maxx218 max 1 -1234567896  -> 1 | 
 | 215 |  | 
 | 216 | precision: 15 | 
 | 217 | maxx221 max 12345678000 1  -> 12345678000 | 
 | 218 | maxx222 max 1 12345678000  -> 12345678000 | 
 | 219 | maxx223 max 1234567800  1  -> 1234567800 | 
 | 220 | maxx224 max 1 1234567800   -> 1234567800 | 
 | 221 | maxx225 max 1234567890  1  -> 1234567890 | 
 | 222 | maxx226 max 1 1234567890   -> 1234567890 | 
 | 223 | maxx227 max 1234567891  1  -> 1234567891 | 
 | 224 | maxx228 max 1 1234567891   -> 1234567891 | 
 | 225 | maxx229 max 12345678901 1  -> 12345678901 | 
 | 226 | maxx230 max 1 12345678901  -> 12345678901 | 
 | 227 | maxx231 max 1234567896  1  -> 1234567896 | 
 | 228 | maxx232 max 1 1234567896   -> 1234567896 | 
 | 229 | maxx233 max -1234567891  1 -> 1 | 
 | 230 | maxx234 max 1 -1234567891  -> 1 | 
 | 231 | maxx235 max -12345678901 1 -> 1 | 
 | 232 | maxx236 max 1 -12345678901 -> 1 | 
 | 233 | maxx237 max -1234567896  1 -> 1 | 
 | 234 | maxx238 max 1 -1234567896  -> 1 | 
 | 235 |  | 
 | 236 | -- from examples | 
 | 237 | maxx280 max '3'   '2'  ->  '3' | 
 | 238 | maxx281 max '-10' '3'  ->  '3' | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 239 | maxx282 max '1.0' '1'  ->  '1' | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 240 | maxx283 max '1' '1.0'  ->  '1' | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 241 | maxx284 max '7' 'NaN'  ->  '7' | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 242 |  | 
 | 243 | -- overflow and underflow tests ... | 
 | 244 | maxExponent: 999999999 | 
 | 245 | minexponent: -999999999 | 
 | 246 | maxx330 max +1.23456789012345E-0 9E+999999999 ->  9E+999999999 | 
 | 247 | maxx331 max 9E+999999999 +1.23456789012345E-0 ->  9E+999999999 | 
 | 248 | maxx332 max +0.100 9E-999999999               ->  0.100 | 
 | 249 | maxx333 max 9E-999999999 +0.100               ->  0.100 | 
 | 250 | maxx335 max -1.23456789012345E-0 9E+999999999 ->  9E+999999999 | 
 | 251 | maxx336 max 9E+999999999 -1.23456789012345E-0 ->  9E+999999999 | 
 | 252 | maxx337 max -0.100 9E-999999999               ->  9E-999999999 | 
 | 253 | maxx338 max 9E-999999999 -0.100               ->  9E-999999999 | 
 | 254 |  | 
 | 255 | maxx339 max 1e-599999999 1e-400000001   ->  1E-400000001 | 
 | 256 | maxx340 max 1e-599999999 1e-400000000   ->  1E-400000000 | 
 | 257 | maxx341 max 1e-600000000 1e-400000000   ->  1E-400000000 | 
 | 258 | maxx342 max 9e-999999998 0.01           ->  0.01 | 
 | 259 | maxx343 max 9e-999999998 0.1            ->  0.1 | 
 | 260 | maxx344 max 0.01 9e-999999998           ->  0.01 | 
 | 261 | maxx345 max 1e599999999 1e400000001     ->  1E+599999999 | 
 | 262 | maxx346 max 1e599999999 1e400000000     ->  1E+599999999 | 
 | 263 | maxx347 max 1e600000000 1e400000000     ->  1E+600000000 | 
 | 264 | maxx348 max 9e999999998 100             ->  9E+999999998 | 
 | 265 | maxx349 max 9e999999998 10              ->  9E+999999998 | 
 | 266 | maxx350 max 100  9e999999998            ->  9E+999999998 | 
 | 267 | -- signs | 
 | 268 | maxx351 max  1e+777777777  1e+411111111 ->  1E+777777777 | 
 | 269 | maxx352 max  1e+777777777 -1e+411111111 ->  1E+777777777 | 
 | 270 | maxx353 max -1e+777777777  1e+411111111 ->  1E+411111111 | 
 | 271 | maxx354 max -1e+777777777 -1e+411111111 -> -1E+411111111 | 
 | 272 | maxx355 max  1e-777777777  1e-411111111 ->  1E-411111111 | 
 | 273 | maxx356 max  1e-777777777 -1e-411111111 ->  1E-777777777 | 
 | 274 | maxx357 max -1e-777777777  1e-411111111 ->  1E-411111111 | 
 | 275 | maxx358 max -1e-777777777 -1e-411111111 -> -1E-777777777 | 
 | 276 |  | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 277 | -- expanded list from min/max 754r purple prose | 
 | 278 | -- [explicit tests for exponent ordering] | 
 | 279 | maxx401 max  Inf    1.1     ->  Infinity | 
 | 280 | maxx402 max  1.1    1       ->  1.1 | 
 | 281 | maxx403 max  1      1.0     ->  1 | 
 | 282 | maxx404 max  1.0    0.1     ->  1.0 | 
 | 283 | maxx405 max  0.1    0.10    ->  0.1 | 
 | 284 | maxx406 max  0.10   0.100   ->  0.10 | 
 | 285 | maxx407 max  0.10   0       ->  0.10 | 
 | 286 | maxx408 max  0      0.0     ->  0 | 
 | 287 | maxx409 max  0.0   -0       ->  0.0 | 
 | 288 | maxx410 max  0.0   -0.0     ->  0.0 | 
 | 289 | maxx411 max  0.00  -0.0     ->  0.00 | 
 | 290 | maxx412 max  0.0   -0.00    ->  0.0 | 
 | 291 | maxx413 max  0     -0.0     ->  0 | 
 | 292 | maxx414 max  0     -0       ->  0 | 
 | 293 | maxx415 max -0.0   -0       -> -0.0 | 
 | 294 | maxx416 max -0     -0.100   -> -0 | 
 | 295 | maxx417 max -0.100 -0.10    -> -0.100 | 
 | 296 | maxx418 max -0.10  -0.1     -> -0.10 | 
 | 297 | maxx419 max -0.1   -1.0     -> -0.1 | 
 | 298 | maxx420 max -1.0   -1       -> -1.0 | 
 | 299 | maxx421 max -1     -1.1     -> -1 | 
 | 300 | maxx423 max -1.1   -Inf     -> -1.1 | 
 | 301 | -- same with operands reversed | 
 | 302 | maxx431 max  1.1    Inf     ->  Infinity | 
 | 303 | maxx432 max  1      1.1     ->  1.1 | 
 | 304 | maxx433 max  1.0    1       ->  1 | 
 | 305 | maxx434 max  0.1    1.0     ->  1.0 | 
 | 306 | maxx435 max  0.10   0.1     ->  0.1 | 
 | 307 | maxx436 max  0.100  0.10    ->  0.10 | 
 | 308 | maxx437 max  0      0.10    ->  0.10 | 
 | 309 | maxx438 max  0.0    0       ->  0 | 
 | 310 | maxx439 max -0      0.0     ->  0.0 | 
 | 311 | maxx440 max -0.0    0.0     ->  0.0 | 
 | 312 | maxx441 max -0.0    0.00    ->  0.00 | 
 | 313 | maxx442 max -0.00   0.0     ->  0.0 | 
 | 314 | maxx443 max -0.0    0       ->  0 | 
 | 315 | maxx444 max -0      0       ->  0 | 
 | 316 | maxx445 max -0     -0.0     -> -0.0 | 
 | 317 | maxx446 max -0.100 -0       -> -0 | 
 | 318 | maxx447 max -0.10  -0.100   -> -0.100 | 
 | 319 | maxx448 max -0.1   -0.10    -> -0.10 | 
 | 320 | maxx449 max -1.0   -0.1     -> -0.1 | 
 | 321 | maxx450 max -1     -1.0     -> -1.0 | 
 | 322 | maxx451 max -1.1   -1       -> -1 | 
 | 323 | maxx453 max -Inf   -1.1     -> -1.1 | 
 | 324 | -- largies | 
 | 325 | maxx460 max  1000   1E+3    ->  1E+3 | 
 | 326 | maxx461 max  1E+3   1000    ->  1E+3 | 
 | 327 | maxx462 max  1000  -1E+3    ->  1000 | 
 | 328 | maxx463 max  1E+3  -1000    ->  1E+3 | 
 | 329 | maxx464 max -1000   1E+3    ->  1E+3 | 
 | 330 | maxx465 max -1E+3   1000    ->  1000 | 
 | 331 | maxx466 max -1000  -1E+3    -> -1000 | 
 | 332 | maxx467 max -1E+3  -1000    -> -1000 | 
 | 333 |  | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 334 | -- rounding (results treated as though plus) | 
 | 335 | maxexponent: 999999999 | 
 | 336 | minexponent: -999999999 | 
 | 337 | precision: 3 | 
 | 338 |  | 
 | 339 | maxx470 max  1      .5     ->  1 | 
 | 340 | maxx471 max  10     5      ->  10 | 
 | 341 | maxx472 max  100    50     ->  100 | 
 | 342 | maxx473 max  1000   500    ->  1.00E+3 Rounded | 
 | 343 | maxx474 max  10000  5000   ->  1.00E+4 Rounded | 
 | 344 | maxx475 max  6      .5     ->  6 | 
 | 345 | maxx476 max  66     5      ->  66 | 
 | 346 | maxx477 max  666    50     ->  666 | 
 | 347 | maxx478 max  6666   500    ->  6.67E+3 Rounded Inexact | 
 | 348 | maxx479 max  66666  5000   ->  6.67E+4 Rounded Inexact | 
 | 349 | maxx480 max  33333  5000   ->  3.33E+4 Rounded Inexact | 
 | 350 | maxx481 max  .5     1      ->  1 | 
 | 351 | maxx482 max  .5     10     ->  10 | 
 | 352 | maxx483 max  .5     100    ->  100 | 
 | 353 | maxx484 max  .5     1000   ->  1.00E+3 Rounded | 
 | 354 | maxx485 max  .5     10000  ->  1.00E+4 Rounded | 
 | 355 | maxx486 max  .5     6      ->  6 | 
 | 356 | maxx487 max  .5     66     ->  66 | 
 | 357 | maxx488 max  .5     666    ->  666 | 
 | 358 | maxx489 max  .5     6666   ->  6.67E+3 Rounded Inexact | 
 | 359 | maxx490 max  .5     66666  ->  6.67E+4 Rounded Inexact | 
 | 360 | maxx491 max  .5     33333  ->  3.33E+4 Rounded Inexact | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 361 |  | 
 | 362 | -- overflow tests | 
 | 363 | maxexponent: 999999999 | 
 | 364 | minexponent: -999999999 | 
 | 365 | precision: 3 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 366 | maxx500 max 9.999E+999999999  0 ->  Infinity Inexact Overflow Rounded | 
 | 367 | maxx501 max -9.999E+999999999 0 ->  0 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 368 |  | 
 | 369 | -- subnormals and underflow | 
 | 370 | precision: 3 | 
 | 371 | maxexponent: 999 | 
 | 372 | minexponent: -999 | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 373 | maxx510 max  1.00E-999       0  ->   1.00E-999 | 
 | 374 | maxx511 max  0.1E-999        0  ->   1E-1000   Subnormal | 
 | 375 | maxx512 max  0.10E-999       0  ->   1.0E-1000 Subnormal | 
 | 376 | maxx513 max  0.100E-999      0  ->   1.0E-1000 Subnormal Rounded | 
 | 377 | maxx514 max  0.01E-999       0  ->   1E-1001   Subnormal | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 378 | -- next is rounded to Nmin | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 379 | maxx515 max  0.999E-999      0  ->   1.00E-999 Inexact Rounded Subnormal Underflow | 
 | 380 | maxx516 max  0.099E-999      0  ->   1.0E-1000 Inexact Rounded Subnormal Underflow | 
 | 381 | maxx517 max  0.009E-999      0  ->   1E-1001   Inexact Rounded Subnormal Underflow | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 382 | maxx518 max  0.001E-999      0  ->   0E-1001   Inexact Rounded Subnormal Underflow Clamped | 
 | 383 | maxx519 max  0.0009E-999     0  ->   0E-1001   Inexact Rounded Subnormal Underflow Clamped | 
 | 384 | maxx520 max  0.0001E-999     0  ->   0E-1001   Inexact Rounded Subnormal Underflow Clamped | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 385 |  | 
| Raymond Hettinger | 3ee3ed2 | 2004-08-17 06:42:13 +0000 | [diff] [blame] | 386 | maxx530 max -1.00E-999       0  ->   0 | 
 | 387 | maxx531 max -0.1E-999        0  ->   0 | 
 | 388 | maxx532 max -0.10E-999       0  ->   0 | 
 | 389 | maxx533 max -0.100E-999      0  ->   0 | 
 | 390 | maxx534 max -0.01E-999       0  ->   0 | 
 | 391 | maxx535 max -0.999E-999      0  ->   0 | 
 | 392 | maxx536 max -0.099E-999      0  ->   0 | 
 | 393 | maxx537 max -0.009E-999      0  ->   0 | 
 | 394 | maxx538 max -0.001E-999      0  ->   0 | 
 | 395 | maxx539 max -0.0009E-999     0  ->   0 | 
 | 396 | maxx540 max -0.0001E-999     0  ->   0 | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 397 |  | 
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 398 | -- misalignment traps for little-endian | 
 | 399 | precision: 9 | 
 | 400 | maxx551 max      1.0       0.1  -> 1.0 | 
 | 401 | maxx552 max      0.1       1.0  -> 1.0 | 
 | 402 | maxx553 max     10.0       0.1  -> 10.0 | 
 | 403 | maxx554 max      0.1      10.0  -> 10.0 | 
 | 404 | maxx555 max      100       1.0  -> 100 | 
 | 405 | maxx556 max      1.0       100  -> 100 | 
 | 406 | maxx557 max     1000      10.0  -> 1000 | 
 | 407 | maxx558 max     10.0      1000  -> 1000 | 
 | 408 | maxx559 max    10000     100.0  -> 10000 | 
 | 409 | maxx560 max    100.0     10000  -> 10000 | 
 | 410 | maxx661 max   100000    1000.0  -> 100000 | 
 | 411 | maxx662 max   1000.0    100000  -> 100000 | 
 | 412 | maxx663 max  1000000   10000.0  -> 1000000 | 
 | 413 | maxx664 max  10000.0   1000000  -> 1000000 | 
 | 414 |  | 
 | 415 | -- payload decapitate | 
 | 416 | precision: 5 | 
 | 417 | maxx670 max      11 -sNaN12345678901 -> -NaN78901  Invalid_operation | 
 | 418 |  | 
| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 419 | -- Null tests | 
 | 420 | maxx900 max 10  #  -> NaN Invalid_operation | 
 | 421 | maxx901 max  # 10  -> NaN Invalid_operation | 
 | 422 |  | 
 | 423 |  | 
 | 424 |  |