| Raymond Hettinger | 7c85fa4 | 2004-07-01 11:01:35 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------ |
| 2 | -- rescale.decTest -- decimal rescale operation -- |
| 3 | -- Copyright (c) IBM Corporation, 1981, 2003. 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.35 |
| 21 | |
| 22 | -- [obsolete] Quantize.decTest has the improved version |
| 23 | |
| 24 | extended: 1 |
| 25 | precision: 9 |
| 26 | rounding: half_up |
| 27 | maxExponent: 999 |
| 28 | minexponent: -999 |
| 29 | |
| 30 | -- sanity checks |
| 31 | |
| 32 | resx001 rescale 0 0 -> 0 |
| 33 | resx002 rescale 1 0 -> 1 |
| 34 | resx003 rescale 0.1 +2 -> 0E+2 Inexact Rounded |
| 35 | resx005 rescale 0.1 +1 -> 0E+1 Inexact Rounded |
| 36 | resx006 rescale 0.1 0 -> 0 Inexact Rounded |
| 37 | resx007 rescale 0.1 -1 -> 0.1 |
| 38 | resx008 rescale 0.1 -2 -> 0.10 |
| 39 | resx009 rescale 0.1 -3 -> 0.100 |
| 40 | resx010 rescale 0.9 +2 -> 0E+2 Inexact Rounded |
| 41 | resx011 rescale 0.9 +1 -> 0E+1 Inexact Rounded |
| 42 | resx012 rescale 0.9 +0 -> 1 Inexact Rounded |
| 43 | resx013 rescale 0.9 -1 -> 0.9 |
| 44 | resx014 rescale 0.9 -2 -> 0.90 |
| 45 | resx015 rescale 0.9 -3 -> 0.900 |
| 46 | -- negatives |
| 47 | resx021 rescale -0 0 -> -0 |
| 48 | resx022 rescale -1 0 -> -1 |
| 49 | resx023 rescale -0.1 +2 -> -0E+2 Inexact Rounded |
| 50 | resx025 rescale -0.1 +1 -> -0E+1 Inexact Rounded |
| 51 | resx026 rescale -0.1 0 -> -0 Inexact Rounded |
| 52 | resx027 rescale -0.1 -1 -> -0.1 |
| 53 | resx028 rescale -0.1 -2 -> -0.10 |
| 54 | resx029 rescale -0.1 -3 -> -0.100 |
| 55 | resx030 rescale -0.9 +2 -> -0E+2 Inexact Rounded |
| 56 | resx031 rescale -0.9 +1 -> -0E+1 Inexact Rounded |
| 57 | resx032 rescale -0.9 +0 -> -1 Inexact Rounded |
| 58 | resx033 rescale -0.9 -1 -> -0.9 |
| 59 | resx034 rescale -0.9 -2 -> -0.90 |
| 60 | resx035 rescale -0.9 -3 -> -0.900 |
| 61 | resx036 rescale -0.5 +2 -> -0E+2 Inexact Rounded |
| 62 | resx037 rescale -0.5 +1 -> -0E+1 Inexact Rounded |
| 63 | resx038 rescale -0.5 +0 -> -1 Inexact Rounded |
| 64 | resx039 rescale -0.5 -1 -> -0.5 |
| 65 | resx040 rescale -0.5 -2 -> -0.50 |
| 66 | resx041 rescale -0.5 -3 -> -0.500 |
| 67 | resx042 rescale -0.9 +2 -> -0E+2 Inexact Rounded |
| 68 | resx043 rescale -0.9 +1 -> -0E+1 Inexact Rounded |
| 69 | resx044 rescale -0.9 +0 -> -1 Inexact Rounded |
| 70 | resx045 rescale -0.9 -1 -> -0.9 |
| 71 | resx046 rescale -0.9 -2 -> -0.90 |
| 72 | resx047 rescale -0.9 -3 -> -0.900 |
| 73 | |
| 74 | -- examples from Specification |
| 75 | resx060 rescale 2.17 -3 -> 2.170 |
| 76 | resx061 rescale 2.17 -2 -> 2.17 |
| 77 | resx062 rescale 2.17 -1 -> 2.2 Inexact Rounded |
| 78 | resx063 rescale 2.17 0 -> 2 Inexact Rounded |
| 79 | resx064 rescale 2.17 +1 -> 0E+1 Inexact Rounded |
| 80 | resx065 rescale 2 Inf -> NaN Invalid_operation |
| 81 | resx066 rescale -0.1 0 -> -0 Inexact Rounded |
| 82 | resx067 rescale -0 5 -> -0E+5 |
| 83 | resx068 rescale +35236450.6 -2 -> NaN Invalid_operation |
| 84 | resx069 rescale -35236450.6 -2 -> NaN Invalid_operation |
| 85 | resx070 rescale 217 -1 -> 217.0 |
| 86 | resx071 rescale 217 0 -> 217 |
| 87 | resx072 rescale 217 +1 -> 2.2E+2 Inexact Rounded |
| 88 | resx073 rescale 217 +2 -> 2E+2 Inexact Rounded |
| 89 | |
| 90 | -- general tests .. |
| 91 | resx089 rescale 12 +4 -> 0E+4 Inexact Rounded |
| 92 | resx090 rescale 12 +3 -> 0E+3 Inexact Rounded |
| 93 | resx091 rescale 12 +2 -> 0E+2 Inexact Rounded |
| 94 | resx092 rescale 12 +1 -> 1E+1 Inexact Rounded |
| 95 | resx093 rescale 1.2345 -2 -> 1.23 Inexact Rounded |
| 96 | resx094 rescale 1.2355 -2 -> 1.24 Inexact Rounded |
| 97 | resx095 rescale 1.2345 -6 -> 1.234500 |
| 98 | resx096 rescale 9.9999 -2 -> 10.00 Inexact Rounded |
| 99 | resx097 rescale 0.0001 -2 -> 0.00 Inexact Rounded |
| 100 | resx098 rescale 0.001 -2 -> 0.00 Inexact Rounded |
| 101 | resx099 rescale 0.009 -2 -> 0.01 Inexact Rounded |
| 102 | resx100 rescale 92 +2 -> 1E+2 Inexact Rounded |
| 103 | |
| 104 | resx101 rescale -1 0 -> -1 |
| 105 | resx102 rescale -1 -1 -> -1.0 |
| 106 | resx103 rescale -1 -2 -> -1.00 |
| 107 | resx104 rescale 0 0 -> 0 |
| 108 | resx105 rescale 0 -1 -> 0.0 |
| 109 | resx106 rescale 0 -2 -> 0.00 |
| 110 | resx107 rescale 0.00 0 -> 0 |
| 111 | resx108 rescale 0 +1 -> 0E+1 |
| 112 | resx109 rescale 0 +2 -> 0E+2 |
| 113 | resx110 rescale +1 0 -> 1 |
| 114 | resx111 rescale +1 -1 -> 1.0 |
| 115 | resx112 rescale +1 -2 -> 1.00 |
| 116 | |
| 117 | resx120 rescale 1.04 -3 -> 1.040 |
| 118 | resx121 rescale 1.04 -2 -> 1.04 |
| 119 | resx122 rescale 1.04 -1 -> 1.0 Inexact Rounded |
| 120 | resx123 rescale 1.04 0 -> 1 Inexact Rounded |
| 121 | resx124 rescale 1.05 -3 -> 1.050 |
| 122 | resx125 rescale 1.05 -2 -> 1.05 |
| 123 | resx126 rescale 1.05 -1 -> 1.1 Inexact Rounded |
| 124 | resx127 rescale 1.05 0 -> 1 Inexact Rounded |
| 125 | resx128 rescale 1.05 -3 -> 1.050 |
| 126 | resx129 rescale 1.05 -2 -> 1.05 |
| 127 | resx130 rescale 1.05 -1 -> 1.1 Inexact Rounded |
| 128 | resx131 rescale 1.05 0 -> 1 Inexact Rounded |
| 129 | resx132 rescale 1.06 -3 -> 1.060 |
| 130 | resx133 rescale 1.06 -2 -> 1.06 |
| 131 | resx134 rescale 1.06 -1 -> 1.1 Inexact Rounded |
| 132 | resx135 rescale 1.06 0 -> 1 Inexact Rounded |
| 133 | |
| 134 | resx140 rescale -10 -2 -> -10.00 |
| 135 | resx141 rescale +1 -2 -> 1.00 |
| 136 | resx142 rescale +10 -2 -> 10.00 |
| 137 | resx143 rescale 1E+10 -2 -> NaN Invalid_operation |
| 138 | resx144 rescale 1E-10 -2 -> 0.00 Inexact Rounded |
| 139 | resx145 rescale 1E-3 -2 -> 0.00 Inexact Rounded |
| 140 | resx146 rescale 1E-2 -2 -> 0.01 |
| 141 | resx147 rescale 1E-1 -2 -> 0.10 |
| 142 | resx148 rescale 0E-10 -2 -> 0.00 |
| 143 | |
| 144 | resx150 rescale 1.0600 -5 -> 1.06000 |
| 145 | resx151 rescale 1.0600 -4 -> 1.0600 |
| 146 | resx152 rescale 1.0600 -3 -> 1.060 Rounded |
| 147 | resx153 rescale 1.0600 -2 -> 1.06 Rounded |
| 148 | resx154 rescale 1.0600 -1 -> 1.1 Inexact Rounded |
| 149 | resx155 rescale 1.0600 0 -> 1 Inexact Rounded |
| 150 | |
| 151 | -- +ve exponents .. |
| 152 | resx201 rescale -1 +0 -> -1 |
| 153 | resx202 rescale -1 +1 -> -0E+1 Inexact Rounded |
| 154 | resx203 rescale -1 +2 -> -0E+2 Inexact Rounded |
| 155 | resx204 rescale 0 +0 -> 0 |
| 156 | resx205 rescale 0 +1 -> 0E+1 |
| 157 | resx206 rescale 0 +2 -> 0E+2 |
| 158 | resx207 rescale +1 +0 -> 1 |
| 159 | resx208 rescale +1 +1 -> 0E+1 Inexact Rounded |
| 160 | resx209 rescale +1 +2 -> 0E+2 Inexact Rounded |
| 161 | |
| 162 | resx220 rescale 1.04 +3 -> 0E+3 Inexact Rounded |
| 163 | resx221 rescale 1.04 +2 -> 0E+2 Inexact Rounded |
| 164 | resx222 rescale 1.04 +1 -> 0E+1 Inexact Rounded |
| 165 | resx223 rescale 1.04 +0 -> 1 Inexact Rounded |
| 166 | resx224 rescale 1.05 +3 -> 0E+3 Inexact Rounded |
| 167 | resx225 rescale 1.05 +2 -> 0E+2 Inexact Rounded |
| 168 | resx226 rescale 1.05 +1 -> 0E+1 Inexact Rounded |
| 169 | resx227 rescale 1.05 +0 -> 1 Inexact Rounded |
| 170 | resx228 rescale 1.05 +3 -> 0E+3 Inexact Rounded |
| 171 | resx229 rescale 1.05 +2 -> 0E+2 Inexact Rounded |
| 172 | resx230 rescale 1.05 +1 -> 0E+1 Inexact Rounded |
| 173 | resx231 rescale 1.05 +0 -> 1 Inexact Rounded |
| 174 | resx232 rescale 1.06 +3 -> 0E+3 Inexact Rounded |
| 175 | resx233 rescale 1.06 +2 -> 0E+2 Inexact Rounded |
| 176 | resx234 rescale 1.06 +1 -> 0E+1 Inexact Rounded |
| 177 | resx235 rescale 1.06 +0 -> 1 Inexact Rounded |
| 178 | |
| 179 | resx240 rescale -10 +1 -> -1E+1 Rounded |
| 180 | resx241 rescale +1 +1 -> 0E+1 Inexact Rounded |
| 181 | resx242 rescale +10 +1 -> 1E+1 Rounded |
| 182 | resx243 rescale 1E+1 +1 -> 1E+1 -- underneath this is E+1 |
| 183 | resx244 rescale 1E+2 +1 -> 1.0E+2 -- underneath this is E+1 |
| 184 | resx245 rescale 1E+3 +1 -> 1.00E+3 -- underneath this is E+1 |
| 185 | resx246 rescale 1E+4 +1 -> 1.000E+4 -- underneath this is E+1 |
| 186 | resx247 rescale 1E+5 +1 -> 1.0000E+5 -- underneath this is E+1 |
| 187 | resx248 rescale 1E+6 +1 -> 1.00000E+6 -- underneath this is E+1 |
| 188 | resx249 rescale 1E+7 +1 -> 1.000000E+7 -- underneath this is E+1 |
| 189 | resx250 rescale 1E+8 +1 -> 1.0000000E+8 -- underneath this is E+1 |
| 190 | resx251 rescale 1E+9 +1 -> 1.00000000E+9 -- underneath this is E+1 |
| 191 | -- next one tries to add 9 zeros |
| 192 | resx252 rescale 1E+10 +1 -> NaN Invalid_operation |
| 193 | resx253 rescale 1E-10 +1 -> 0E+1 Inexact Rounded |
| 194 | resx254 rescale 1E-2 +1 -> 0E+1 Inexact Rounded |
| 195 | resx255 rescale 0E-10 +1 -> 0E+1 |
| 196 | resx256 rescale -0E-10 +1 -> -0E+1 |
| 197 | resx257 rescale -0E-1 +1 -> -0E+1 |
| 198 | resx258 rescale -0 +1 -> -0E+1 |
| 199 | resx259 rescale -0E+1 +1 -> -0E+1 |
| 200 | |
| 201 | resx260 rescale -10 +2 -> -0E+2 Inexact Rounded |
| 202 | resx261 rescale +1 +2 -> 0E+2 Inexact Rounded |
| 203 | resx262 rescale +10 +2 -> 0E+2 Inexact Rounded |
| 204 | resx263 rescale 1E+1 +2 -> 0E+2 Inexact Rounded |
| 205 | resx264 rescale 1E+2 +2 -> 1E+2 |
| 206 | resx265 rescale 1E+3 +2 -> 1.0E+3 |
| 207 | resx266 rescale 1E+4 +2 -> 1.00E+4 |
| 208 | resx267 rescale 1E+5 +2 -> 1.000E+5 |
| 209 | resx268 rescale 1E+6 +2 -> 1.0000E+6 |
| 210 | resx269 rescale 1E+7 +2 -> 1.00000E+7 |
| 211 | resx270 rescale 1E+8 +2 -> 1.000000E+8 |
| 212 | resx271 rescale 1E+9 +2 -> 1.0000000E+9 |
| 213 | resx272 rescale 1E+10 +2 -> 1.00000000E+10 |
| 214 | resx273 rescale 1E-10 +2 -> 0E+2 Inexact Rounded |
| 215 | resx274 rescale 1E-2 +2 -> 0E+2 Inexact Rounded |
| 216 | resx275 rescale 0E-10 +2 -> 0E+2 |
| 217 | |
| 218 | resx280 rescale -10 +3 -> -0E+3 Inexact Rounded |
| 219 | resx281 rescale +1 +3 -> 0E+3 Inexact Rounded |
| 220 | resx282 rescale +10 +3 -> 0E+3 Inexact Rounded |
| 221 | resx283 rescale 1E+1 +3 -> 0E+3 Inexact Rounded |
| 222 | resx284 rescale 1E+2 +3 -> 0E+3 Inexact Rounded |
| 223 | resx285 rescale 1E+3 +3 -> 1E+3 |
| 224 | resx286 rescale 1E+4 +3 -> 1.0E+4 |
| 225 | resx287 rescale 1E+5 +3 -> 1.00E+5 |
| 226 | resx288 rescale 1E+6 +3 -> 1.000E+6 |
| 227 | resx289 rescale 1E+7 +3 -> 1.0000E+7 |
| 228 | resx290 rescale 1E+8 +3 -> 1.00000E+8 |
| 229 | resx291 rescale 1E+9 +3 -> 1.000000E+9 |
| 230 | resx292 rescale 1E+10 +3 -> 1.0000000E+10 |
| 231 | resx293 rescale 1E-10 +3 -> 0E+3 Inexact Rounded |
| 232 | resx294 rescale 1E-2 +3 -> 0E+3 Inexact Rounded |
| 233 | resx295 rescale 0E-10 +3 -> 0E+3 |
| 234 | |
| 235 | -- round up from below [sign wrong in JIT compiler once] |
| 236 | resx300 rescale 0.0078 -5 -> 0.00780 |
| 237 | resx301 rescale 0.0078 -4 -> 0.0078 |
| 238 | resx302 rescale 0.0078 -3 -> 0.008 Inexact Rounded |
| 239 | resx303 rescale 0.0078 -2 -> 0.01 Inexact Rounded |
| 240 | resx304 rescale 0.0078 -1 -> 0.0 Inexact Rounded |
| 241 | resx305 rescale 0.0078 0 -> 0 Inexact Rounded |
| 242 | resx306 rescale 0.0078 +1 -> 0E+1 Inexact Rounded |
| 243 | resx307 rescale 0.0078 +2 -> 0E+2 Inexact Rounded |
| 244 | |
| 245 | resx310 rescale -0.0078 -5 -> -0.00780 |
| 246 | resx311 rescale -0.0078 -4 -> -0.0078 |
| 247 | resx312 rescale -0.0078 -3 -> -0.008 Inexact Rounded |
| 248 | resx313 rescale -0.0078 -2 -> -0.01 Inexact Rounded |
| 249 | resx314 rescale -0.0078 -1 -> -0.0 Inexact Rounded |
| 250 | resx315 rescale -0.0078 0 -> -0 Inexact Rounded |
| 251 | resx316 rescale -0.0078 +1 -> -0E+1 Inexact Rounded |
| 252 | resx317 rescale -0.0078 +2 -> -0E+2 Inexact Rounded |
| 253 | |
| 254 | resx320 rescale 0.078 -5 -> 0.07800 |
| 255 | resx321 rescale 0.078 -4 -> 0.0780 |
| 256 | resx322 rescale 0.078 -3 -> 0.078 |
| 257 | resx323 rescale 0.078 -2 -> 0.08 Inexact Rounded |
| 258 | resx324 rescale 0.078 -1 -> 0.1 Inexact Rounded |
| 259 | resx325 rescale 0.078 0 -> 0 Inexact Rounded |
| 260 | resx326 rescale 0.078 +1 -> 0E+1 Inexact Rounded |
| 261 | resx327 rescale 0.078 +2 -> 0E+2 Inexact Rounded |
| 262 | |
| 263 | resx330 rescale -0.078 -5 -> -0.07800 |
| 264 | resx331 rescale -0.078 -4 -> -0.0780 |
| 265 | resx332 rescale -0.078 -3 -> -0.078 |
| 266 | resx333 rescale -0.078 -2 -> -0.08 Inexact Rounded |
| 267 | resx334 rescale -0.078 -1 -> -0.1 Inexact Rounded |
| 268 | resx335 rescale -0.078 0 -> -0 Inexact Rounded |
| 269 | resx336 rescale -0.078 +1 -> -0E+1 Inexact Rounded |
| 270 | resx337 rescale -0.078 +2 -> -0E+2 Inexact Rounded |
| 271 | |
| 272 | resx340 rescale 0.78 -5 -> 0.78000 |
| 273 | resx341 rescale 0.78 -4 -> 0.7800 |
| 274 | resx342 rescale 0.78 -3 -> 0.780 |
| 275 | resx343 rescale 0.78 -2 -> 0.78 |
| 276 | resx344 rescale 0.78 -1 -> 0.8 Inexact Rounded |
| 277 | resx345 rescale 0.78 0 -> 1 Inexact Rounded |
| 278 | resx346 rescale 0.78 +1 -> 0E+1 Inexact Rounded |
| 279 | resx347 rescale 0.78 +2 -> 0E+2 Inexact Rounded |
| 280 | |
| 281 | resx350 rescale -0.78 -5 -> -0.78000 |
| 282 | resx351 rescale -0.78 -4 -> -0.7800 |
| 283 | resx352 rescale -0.78 -3 -> -0.780 |
| 284 | resx353 rescale -0.78 -2 -> -0.78 |
| 285 | resx354 rescale -0.78 -1 -> -0.8 Inexact Rounded |
| 286 | resx355 rescale -0.78 0 -> -1 Inexact Rounded |
| 287 | resx356 rescale -0.78 +1 -> -0E+1 Inexact Rounded |
| 288 | resx357 rescale -0.78 +2 -> -0E+2 Inexact Rounded |
| 289 | |
| 290 | resx360 rescale 7.8 -5 -> 7.80000 |
| 291 | resx361 rescale 7.8 -4 -> 7.8000 |
| 292 | resx362 rescale 7.8 -3 -> 7.800 |
| 293 | resx363 rescale 7.8 -2 -> 7.80 |
| 294 | resx364 rescale 7.8 -1 -> 7.8 |
| 295 | resx365 rescale 7.8 0 -> 8 Inexact Rounded |
| 296 | resx366 rescale 7.8 +1 -> 1E+1 Inexact Rounded |
| 297 | resx367 rescale 7.8 +2 -> 0E+2 Inexact Rounded |
| 298 | resx368 rescale 7.8 +3 -> 0E+3 Inexact Rounded |
| 299 | |
| 300 | resx370 rescale -7.8 -5 -> -7.80000 |
| 301 | resx371 rescale -7.8 -4 -> -7.8000 |
| 302 | resx372 rescale -7.8 -3 -> -7.800 |
| 303 | resx373 rescale -7.8 -2 -> -7.80 |
| 304 | resx374 rescale -7.8 -1 -> -7.8 |
| 305 | resx375 rescale -7.8 0 -> -8 Inexact Rounded |
| 306 | resx376 rescale -7.8 +1 -> -1E+1 Inexact Rounded |
| 307 | resx377 rescale -7.8 +2 -> -0E+2 Inexact Rounded |
| 308 | resx378 rescale -7.8 +3 -> -0E+3 Inexact Rounded |
| 309 | |
| 310 | -- some individuals |
| 311 | precision: 9 |
| 312 | resx380 rescale 352364.506 -2 -> 352364.51 Inexact Rounded |
| 313 | resx381 rescale 3523645.06 -2 -> 3523645.06 |
| 314 | resx382 rescale 35236450.6 -2 -> NaN Invalid_operation |
| 315 | resx383 rescale 352364506 -2 -> NaN Invalid_operation |
| 316 | resx384 rescale -352364.506 -2 -> -352364.51 Inexact Rounded |
| 317 | resx385 rescale -3523645.06 -2 -> -3523645.06 |
| 318 | resx386 rescale -35236450.6 -2 -> NaN Invalid_operation |
| 319 | resx387 rescale -352364506 -2 -> NaN Invalid_operation |
| 320 | |
| 321 | rounding: down |
| 322 | resx389 rescale 35236450.6 -2 -> NaN Invalid_operation |
| 323 | -- ? should that one instead have been: |
| 324 | -- resx389 rescale 35236450.6 -2 -> NaN Invalid_operation |
| 325 | rounding: half_up |
| 326 | |
| 327 | -- and a few more from e-mail discussions |
| 328 | precision: 7 |
| 329 | resx391 rescale 12.34567 -3 -> 12.346 Inexact Rounded |
| 330 | resx392 rescale 123.4567 -3 -> 123.457 Inexact Rounded |
| 331 | resx393 rescale 1234.567 -3 -> 1234.567 |
| 332 | resx394 rescale 12345.67 -3 -> NaN Invalid_operation |
| 333 | resx395 rescale 123456.7 -3 -> NaN Invalid_operation |
| 334 | resx396 rescale 1234567. -3 -> NaN Invalid_operation |
| 335 | |
| 336 | -- some 9999 round-up cases |
| 337 | precision: 9 |
| 338 | resx400 rescale 9.999 -5 -> 9.99900 |
| 339 | resx401 rescale 9.999 -4 -> 9.9990 |
| 340 | resx402 rescale 9.999 -3 -> 9.999 |
| 341 | resx403 rescale 9.999 -2 -> 10.00 Inexact Rounded |
| 342 | resx404 rescale 9.999 -1 -> 10.0 Inexact Rounded |
| 343 | resx405 rescale 9.999 0 -> 10 Inexact Rounded |
| 344 | resx406 rescale 9.999 1 -> 1E+1 Inexact Rounded |
| 345 | resx407 rescale 9.999 2 -> 0E+2 Inexact Rounded |
| 346 | |
| 347 | resx410 rescale 0.999 -5 -> 0.99900 |
| 348 | resx411 rescale 0.999 -4 -> 0.9990 |
| 349 | resx412 rescale 0.999 -3 -> 0.999 |
| 350 | resx413 rescale 0.999 -2 -> 1.00 Inexact Rounded |
| 351 | resx414 rescale 0.999 -1 -> 1.0 Inexact Rounded |
| 352 | resx415 rescale 0.999 0 -> 1 Inexact Rounded |
| 353 | resx416 rescale 0.999 1 -> 0E+1 Inexact Rounded |
| 354 | |
| 355 | resx420 rescale 0.0999 -5 -> 0.09990 |
| 356 | resx421 rescale 0.0999 -4 -> 0.0999 |
| 357 | resx422 rescale 0.0999 -3 -> 0.100 Inexact Rounded |
| 358 | resx423 rescale 0.0999 -2 -> 0.10 Inexact Rounded |
| 359 | resx424 rescale 0.0999 -1 -> 0.1 Inexact Rounded |
| 360 | resx425 rescale 0.0999 0 -> 0 Inexact Rounded |
| 361 | resx426 rescale 0.0999 1 -> 0E+1 Inexact Rounded |
| 362 | |
| 363 | resx430 rescale 0.00999 -5 -> 0.00999 |
| 364 | resx431 rescale 0.00999 -4 -> 0.0100 Inexact Rounded |
| 365 | resx432 rescale 0.00999 -3 -> 0.010 Inexact Rounded |
| 366 | resx433 rescale 0.00999 -2 -> 0.01 Inexact Rounded |
| 367 | resx434 rescale 0.00999 -1 -> 0.0 Inexact Rounded |
| 368 | resx435 rescale 0.00999 0 -> 0 Inexact Rounded |
| 369 | resx436 rescale 0.00999 1 -> 0E+1 Inexact Rounded |
| 370 | |
| 371 | resx440 rescale 0.000999 -5 -> 0.00100 Inexact Rounded |
| 372 | resx441 rescale 0.000999 -4 -> 0.0010 Inexact Rounded |
| 373 | resx442 rescale 0.000999 -3 -> 0.001 Inexact Rounded |
| 374 | resx443 rescale 0.000999 -2 -> 0.00 Inexact Rounded |
| 375 | resx444 rescale 0.000999 -1 -> 0.0 Inexact Rounded |
| 376 | resx445 rescale 0.000999 0 -> 0 Inexact Rounded |
| 377 | resx446 rescale 0.000999 1 -> 0E+1 Inexact Rounded |
| 378 | |
| 379 | precision: 8 |
| 380 | resx449 rescale 9.999E-15 -23 -> NaN Invalid_operation |
| 381 | resx450 rescale 9.999E-15 -22 -> 9.9990000E-15 |
| 382 | resx451 rescale 9.999E-15 -21 -> 9.999000E-15 |
| 383 | resx452 rescale 9.999E-15 -20 -> 9.99900E-15 |
| 384 | resx453 rescale 9.999E-15 -19 -> 9.9990E-15 |
| 385 | resx454 rescale 9.999E-15 -18 -> 9.999E-15 |
| 386 | resx455 rescale 9.999E-15 -17 -> 1.000E-14 Inexact Rounded |
| 387 | resx456 rescale 9.999E-15 -16 -> 1.00E-14 Inexact Rounded |
| 388 | resx457 rescale 9.999E-15 -15 -> 1.0E-14 Inexact Rounded |
| 389 | resx458 rescale 9.999E-15 -14 -> 1E-14 Inexact Rounded |
| 390 | resx459 rescale 9.999E-15 -13 -> 0E-13 Inexact Rounded |
| 391 | resx460 rescale 9.999E-15 -12 -> 0E-12 Inexact Rounded |
| 392 | resx461 rescale 9.999E-15 -11 -> 0E-11 Inexact Rounded |
| 393 | resx462 rescale 9.999E-15 -10 -> 0E-10 Inexact Rounded |
| 394 | resx463 rescale 9.999E-15 -9 -> 0E-9 Inexact Rounded |
| 395 | resx464 rescale 9.999E-15 -8 -> 0E-8 Inexact Rounded |
| 396 | resx465 rescale 9.999E-15 -7 -> 0E-7 Inexact Rounded |
| 397 | resx466 rescale 9.999E-15 -6 -> 0.000000 Inexact Rounded |
| 398 | resx467 rescale 9.999E-15 -5 -> 0.00000 Inexact Rounded |
| 399 | resx468 rescale 9.999E-15 -4 -> 0.0000 Inexact Rounded |
| 400 | resx469 rescale 9.999E-15 -3 -> 0.000 Inexact Rounded |
| 401 | resx470 rescale 9.999E-15 -2 -> 0.00 Inexact Rounded |
| 402 | resx471 rescale 9.999E-15 -1 -> 0.0 Inexact Rounded |
| 403 | resx472 rescale 9.999E-15 0 -> 0 Inexact Rounded |
| 404 | resx473 rescale 9.999E-15 1 -> 0E+1 Inexact Rounded |
| 405 | |
| 406 | -- long operand checks [rhs checks removed] |
| 407 | maxexponent: 999 |
| 408 | minexponent: -999 |
| 409 | precision: 9 |
| 410 | resx481 rescale 12345678000 +3 -> 1.2345678E+10 Rounded |
| 411 | resx482 rescale 1234567800 +1 -> 1.23456780E+9 Rounded |
| 412 | resx483 rescale 1234567890 +1 -> 1.23456789E+9 Rounded |
| 413 | resx484 rescale 1234567891 +1 -> 1.23456789E+9 Inexact Rounded |
| 414 | resx485 rescale 12345678901 +2 -> 1.23456789E+10 Inexact Rounded |
| 415 | resx486 rescale 1234567896 +1 -> 1.23456790E+9 Inexact Rounded |
| 416 | -- a potential double-round |
| 417 | resx487 rescale 1234.987643 -4 -> 1234.9876 Inexact Rounded |
| 418 | resx488 rescale 1234.987647 -4 -> 1234.9876 Inexact Rounded |
| 419 | |
| 420 | precision: 15 |
| 421 | resx491 rescale 12345678000 +3 -> 1.2345678E+10 Rounded |
| 422 | resx492 rescale 1234567800 +1 -> 1.23456780E+9 Rounded |
| 423 | resx493 rescale 1234567890 +1 -> 1.23456789E+9 Rounded |
| 424 | resx494 rescale 1234567891 +1 -> 1.23456789E+9 Inexact Rounded |
| 425 | resx495 rescale 12345678901 +2 -> 1.23456789E+10 Inexact Rounded |
| 426 | resx496 rescale 1234567896 +1 -> 1.23456790E+9 Inexact Rounded |
| 427 | resx497 rescale 1234.987643 -4 -> 1234.9876 Inexact Rounded |
| 428 | resx498 rescale 1234.987647 -4 -> 1234.9876 Inexact Rounded |
| 429 | |
| 430 | -- Zeros |
| 431 | resx500 rescale 0 1 -> 0E+1 |
| 432 | resx501 rescale 0 0 -> 0 |
| 433 | resx502 rescale 0 -1 -> 0.0 |
| 434 | resx503 rescale 0.0 -1 -> 0.0 |
| 435 | resx504 rescale 0.0 0 -> 0 |
| 436 | resx505 rescale 0.0 +1 -> 0E+1 |
| 437 | resx506 rescale 0E+1 -1 -> 0.0 |
| 438 | resx507 rescale 0E+1 0 -> 0 |
| 439 | resx508 rescale 0E+1 +1 -> 0E+1 |
| 440 | resx509 rescale -0 1 -> -0E+1 |
| 441 | resx510 rescale -0 0 -> -0 |
| 442 | resx511 rescale -0 -1 -> -0.0 |
| 443 | resx512 rescale -0.0 -1 -> -0.0 |
| 444 | resx513 rescale -0.0 0 -> -0 |
| 445 | resx514 rescale -0.0 +1 -> -0E+1 |
| 446 | resx515 rescale -0E+1 -1 -> -0.0 |
| 447 | resx516 rescale -0E+1 0 -> -0 |
| 448 | resx517 rescale -0E+1 +1 -> -0E+1 |
| 449 | |
| 450 | -- Suspicious RHS values |
| 451 | maxexponent: 999999999 |
| 452 | minexponent: -999999999 |
| 453 | precision: 15 |
| 454 | resx520 rescale 1.234 999999E+3 -> 0E+999999000 Inexact Rounded |
| 455 | resx521 rescale 123.456 999999E+3 -> 0E+999999000 Inexact Rounded |
| 456 | resx522 rescale 1.234 999999999 -> 0E+999999999 Inexact Rounded |
| 457 | resx523 rescale 123.456 999999999 -> 0E+999999999 Inexact Rounded |
| 458 | resx524 rescale 123.456 1000000000 -> NaN Invalid_operation |
| 459 | resx525 rescale 123.456 12345678903 -> NaN Invalid_operation |
| 460 | -- next four are "won't fit" overflows |
| 461 | resx526 rescale 1.234 -999999E+3 -> NaN Invalid_operation |
| 462 | resx527 rescale 123.456 -999999E+3 -> NaN Invalid_operation |
| 463 | resx528 rescale 1.234 -999999999 -> NaN Invalid_operation |
| 464 | resx529 rescale 123.456 -999999999 -> NaN Invalid_operation |
| 465 | resx530 rescale 123.456 -1000000014 -> NaN Invalid_operation |
| 466 | resx531 rescale 123.456 -12345678903 -> NaN Invalid_operation |
| 467 | |
| 468 | maxexponent: 999 |
| 469 | minexponent: -999 |
| 470 | precision: 15 |
| 471 | resx532 rescale 1.234E+999 999 -> 1E+999 Inexact Rounded |
| 472 | resx533 rescale 1.234E+998 999 -> 0E+999 Inexact Rounded |
| 473 | resx534 rescale 1.234 999 -> 0E+999 Inexact Rounded |
| 474 | resx535 rescale 1.234 1000 -> NaN Invalid_operation |
| 475 | resx536 rescale 1.234 5000 -> NaN Invalid_operation |
| 476 | resx537 rescale 0 -999 -> 0E-999 |
| 477 | -- next two are "won't fit" overflows |
| 478 | resx538 rescale 1.234 -999 -> NaN Invalid_operation |
| 479 | resx539 rescale 1.234 -1000 -> NaN Invalid_operation |
| 480 | resx540 rescale 1.234 -5000 -> NaN Invalid_operation |
| 481 | -- [more below] |
| 482 | |
| 483 | -- check bounds (lhs maybe out of range for destination, etc.) |
| 484 | precision: 7 |
| 485 | resx541 rescale 1E+999 +999 -> 1E+999 |
| 486 | resx542 rescale 1E+1000 +999 -> NaN Invalid_operation |
| 487 | resx543 rescale 1E+999 +1000 -> NaN Invalid_operation |
| 488 | resx544 rescale 1E-999 -999 -> 1E-999 |
| 489 | resx545 rescale 1E-1000 -999 -> 0E-999 Inexact Rounded |
| 490 | resx546 rescale 1E-999 -1000 -> 1.0E-999 |
| 491 | resx547 rescale 1E-1005 -999 -> 0E-999 Inexact Rounded |
| 492 | resx548 rescale 1E-1006 -999 -> 0E-999 Inexact Rounded |
| 493 | resx549 rescale 1E-1007 -999 -> 0E-999 Inexact Rounded |
| 494 | resx550 rescale 1E-998 -1005 -> NaN Invalid_operation -- won't fit |
| 495 | resx551 rescale 1E-999 -1005 -> 1.000000E-999 |
| 496 | resx552 rescale 1E-1000 -1005 -> 1.00000E-1000 Subnormal |
| 497 | resx553 rescale 1E-999 -1006 -> NaN Invalid_operation |
| 498 | resx554 rescale 1E-999 -1007 -> NaN Invalid_operation |
| 499 | -- related subnormal rounding |
| 500 | resx555 rescale 1.666666E-999 -1005 -> 1.666666E-999 |
| 501 | resx556 rescale 1.666666E-1000 -1005 -> 1.66667E-1000 Underflow Subnormal Inexact Rounded |
| 502 | resx557 rescale 1.666666E-1001 -1005 -> 1.6667E-1001 Underflow Subnormal Inexact Rounded |
| 503 | resx558 rescale 1.666666E-1002 -1005 -> 1.667E-1002 Underflow Subnormal Inexact Rounded |
| 504 | resx559 rescale 1.666666E-1003 -1005 -> 1.67E-1003 Underflow Subnormal Inexact Rounded |
| 505 | resx560 rescale 1.666666E-1004 -1005 -> 1.7E-1004 Underflow Subnormal Inexact Rounded |
| 506 | resx561 rescale 1.666666E-1005 -1005 -> 2E-1005 Underflow Subnormal Inexact Rounded |
| 507 | resx562 rescale 1.666666E-1006 -1005 -> 0E-1005 Inexact Rounded |
| 508 | resx563 rescale 1.666666E-1007 -1005 -> 0E-1005 Inexact Rounded |
| 509 | |
| 510 | -- fractional RHS, some good and some bad |
| 511 | precision: 9 |
| 512 | resx564 rescale 222 +2.0 -> 2E+2 Inexact Rounded |
| 513 | resx565 rescale 222 +2.00000000 -> 2E+2 Inexact Rounded |
| 514 | resx566 rescale 222 +2.00100000000 -> NaN Invalid_operation |
| 515 | resx567 rescale 222 +2.000001 -> NaN Invalid_operation |
| 516 | resx568 rescale 222 +2.000000001 -> NaN Invalid_operation |
| 517 | resx569 rescale 222 +2.0000000001 -> NaN Invalid_operation |
| 518 | resx570 rescale 222 +2.00000000001 -> NaN Invalid_operation |
| 519 | resx571 rescale 222 +2.99999999999 -> NaN Invalid_operation |
| 520 | resx572 rescale 222 -2.00000000 -> 222.00 |
| 521 | resx573 rescale 222 -2.00100000000 -> NaN Invalid_operation |
| 522 | resx574 rescale 222 -2.0000001000 -> NaN Invalid_operation |
| 523 | resx575 rescale 222 -2.00000000001 -> NaN Invalid_operation |
| 524 | resx576 rescale 222 -2.99999999999 -> NaN Invalid_operation |
| 525 | |
| 526 | -- Specials |
| 527 | resx580 rescale Inf -Inf -> Infinity |
| 528 | resx581 rescale Inf -1000 -> NaN Invalid_operation |
| 529 | resx582 rescale Inf -1 -> NaN Invalid_operation |
| 530 | resx583 rescale Inf 0 -> NaN Invalid_operation |
| 531 | resx584 rescale Inf 1 -> NaN Invalid_operation |
| 532 | resx585 rescale Inf 1000 -> NaN Invalid_operation |
| 533 | resx586 rescale Inf Inf -> Infinity |
| 534 | resx587 rescale -1000 Inf -> NaN Invalid_operation |
| 535 | resx588 rescale -Inf Inf -> -Infinity |
| 536 | resx589 rescale -1 Inf -> NaN Invalid_operation |
| 537 | resx590 rescale 0 Inf -> NaN Invalid_operation |
| 538 | resx591 rescale 1 Inf -> NaN Invalid_operation |
| 539 | resx592 rescale 1000 Inf -> NaN Invalid_operation |
| 540 | resx593 rescale Inf Inf -> Infinity |
| 541 | resx594 rescale Inf -0 -> NaN Invalid_operation |
| 542 | resx595 rescale -0 Inf -> NaN Invalid_operation |
| 543 | |
| 544 | resx600 rescale -Inf -Inf -> -Infinity |
| 545 | resx601 rescale -Inf -1000 -> NaN Invalid_operation |
| 546 | resx602 rescale -Inf -1 -> NaN Invalid_operation |
| 547 | resx603 rescale -Inf 0 -> NaN Invalid_operation |
| 548 | resx604 rescale -Inf 1 -> NaN Invalid_operation |
| 549 | resx605 rescale -Inf 1000 -> NaN Invalid_operation |
| 550 | resx606 rescale -Inf Inf -> -Infinity |
| 551 | resx607 rescale -1000 Inf -> NaN Invalid_operation |
| 552 | resx608 rescale -Inf -Inf -> -Infinity |
| 553 | resx609 rescale -1 -Inf -> NaN Invalid_operation |
| 554 | resx610 rescale 0 -Inf -> NaN Invalid_operation |
| 555 | resx611 rescale 1 -Inf -> NaN Invalid_operation |
| 556 | resx612 rescale 1000 -Inf -> NaN Invalid_operation |
| 557 | resx613 rescale Inf -Inf -> Infinity |
| 558 | resx614 rescale -Inf -0 -> NaN Invalid_operation |
| 559 | resx615 rescale -0 -Inf -> NaN Invalid_operation |
| 560 | |
| 561 | resx621 rescale NaN -Inf -> NaN |
| 562 | resx622 rescale NaN -1000 -> NaN |
| 563 | resx623 rescale NaN -1 -> NaN |
| 564 | resx624 rescale NaN 0 -> NaN |
| 565 | resx625 rescale NaN 1 -> NaN |
| 566 | resx626 rescale NaN 1000 -> NaN |
| 567 | resx627 rescale NaN Inf -> NaN |
| 568 | resx628 rescale NaN NaN -> NaN |
| 569 | resx629 rescale -Inf NaN -> NaN |
| 570 | resx630 rescale -1000 NaN -> NaN |
| 571 | resx631 rescale -1 NaN -> NaN |
| 572 | resx632 rescale 0 NaN -> NaN |
| 573 | resx633 rescale 1 -NaN -> -NaN |
| 574 | resx634 rescale 1000 NaN -> NaN |
| 575 | resx635 rescale Inf NaN -> NaN |
| 576 | resx636 rescale NaN -0 -> NaN |
| 577 | resx637 rescale -0 NaN -> NaN |
| 578 | |
| 579 | resx641 rescale sNaN -Inf -> NaN Invalid_operation |
| 580 | resx642 rescale sNaN -1000 -> NaN Invalid_operation |
| 581 | resx643 rescale sNaN -1 -> NaN Invalid_operation |
| 582 | resx644 rescale sNaN 0 -> NaN Invalid_operation |
| 583 | resx645 rescale sNaN 1 -> NaN Invalid_operation |
| 584 | resx646 rescale sNaN 1000 -> NaN Invalid_operation |
| 585 | resx647 rescale -sNaN NaN -> -NaN Invalid_operation |
| 586 | resx648 rescale sNaN -sNaN -> NaN Invalid_operation |
| 587 | resx649 rescale NaN sNaN -> NaN Invalid_operation |
| 588 | resx650 rescale -Inf sNaN -> NaN Invalid_operation |
| 589 | resx651 rescale -1000 sNaN -> NaN Invalid_operation |
| 590 | resx652 rescale -1 sNaN -> NaN Invalid_operation |
| 591 | resx653 rescale 0 sNaN -> NaN Invalid_operation |
| 592 | resx654 rescale 1 -sNaN -> -NaN Invalid_operation |
| 593 | resx655 rescale 1000 sNaN -> NaN Invalid_operation |
| 594 | resx656 rescale Inf sNaN -> NaN Invalid_operation |
| 595 | resx657 rescale NaN sNaN -> NaN Invalid_operation |
| 596 | resx658 rescale sNaN -0 -> NaN Invalid_operation |
| 597 | resx659 rescale -0 sNaN -> NaN Invalid_operation |
| 598 | |
| 599 | -- propagating NaNs |
| 600 | resx661 rescale NaN9 -Inf -> NaN9 |
| 601 | resx662 rescale NaN81 919 -> NaN81 |
| 602 | resx663 rescale NaN72 Inf -> NaN72 |
| 603 | resx664 rescale -NaN66 NaN5 -> -NaN66 |
| 604 | resx665 rescale -Inf NaN4 -> NaN4 |
| 605 | resx666 rescale -919 NaN32 -> NaN32 |
| 606 | resx667 rescale Inf NaN2 -> NaN2 |
| 607 | |
| 608 | resx671 rescale sNaN99 -Inf -> NaN99 Invalid_operation |
| 609 | resx672 rescale -sNaN98 -11 -> -NaN98 Invalid_operation |
| 610 | resx673 rescale sNaN97 NaN -> NaN97 Invalid_operation |
| 611 | resx674 rescale sNaN16 sNaN94 -> NaN16 Invalid_operation |
| 612 | resx675 rescale NaN95 sNaN93 -> NaN93 Invalid_operation |
| 613 | resx676 rescale -Inf sNaN92 -> NaN92 Invalid_operation |
| 614 | resx677 rescale 088 -sNaN91 -> -NaN91 Invalid_operation |
| 615 | resx678 rescale Inf -sNaN90 -> -NaN90 Invalid_operation |
| 616 | resx679 rescale NaN sNaN87 -> NaN87 Invalid_operation |
| 617 | |
| 618 | -- subnormals and underflow |
| 619 | precision: 4 |
| 620 | maxexponent: 999 |
| 621 | minexponent: -999 |
| 622 | resx710 rescale 1.00E-999 -999 -> 1E-999 Rounded |
| 623 | resx711 rescale 0.1E-999 -1000 -> 1E-1000 Subnormal |
| 624 | resx712 rescale 0.10E-999 -1000 -> 1E-1000 Subnormal Rounded |
| 625 | resx713 rescale 0.100E-999 -1000 -> 1E-1000 Subnormal Rounded |
| 626 | resx714 rescale 0.01E-999 -1001 -> 1E-1001 Subnormal |
| 627 | -- next is rounded to Emin |
| 628 | resx715 rescale 0.999E-999 -999 -> 1E-999 Inexact Rounded |
| 629 | resx716 rescale 0.099E-999 -1000 -> 1E-1000 Inexact Rounded Subnormal Underflow |
| 630 | |
| 631 | resx717 rescale 0.009E-999 -1001 -> 1E-1001 Inexact Rounded Subnormal Underflow |
| 632 | resx718 rescale 0.001E-999 -1001 -> 0E-1001 Inexact Rounded |
| 633 | resx719 rescale 0.0009E-999 -1001 -> 0E-1001 Inexact Rounded |
| 634 | resx720 rescale 0.0001E-999 -1001 -> 0E-1001 Inexact Rounded |
| 635 | |
| 636 | resx730 rescale -1.00E-999 -999 -> -1E-999 Rounded |
| 637 | resx731 rescale -0.1E-999 -999 -> -0E-999 Rounded Inexact |
| 638 | resx732 rescale -0.10E-999 -999 -> -0E-999 Rounded Inexact |
| 639 | resx733 rescale -0.100E-999 -999 -> -0E-999 Rounded Inexact |
| 640 | resx734 rescale -0.01E-999 -999 -> -0E-999 Inexact Rounded |
| 641 | -- next is rounded to Emin |
| 642 | resx735 rescale -0.999E-999 -999 -> -1E-999 Inexact Rounded |
| 643 | resx736 rescale -0.099E-999 -999 -> -0E-999 Inexact Rounded |
| 644 | resx737 rescale -0.009E-999 -999 -> -0E-999 Inexact Rounded |
| 645 | resx738 rescale -0.001E-999 -999 -> -0E-999 Inexact Rounded |
| 646 | resx739 rescale -0.0001E-999 -999 -> -0E-999 Inexact Rounded |
| 647 | |
| 648 | resx740 rescale -1.00E-999 -1000 -> -1.0E-999 Rounded |
| 649 | resx741 rescale -0.1E-999 -1000 -> -1E-1000 Subnormal |
| 650 | resx742 rescale -0.10E-999 -1000 -> -1E-1000 Subnormal Rounded |
| 651 | resx743 rescale -0.100E-999 -1000 -> -1E-1000 Subnormal Rounded |
| 652 | resx744 rescale -0.01E-999 -1000 -> -0E-1000 Inexact Rounded |
| 653 | -- next is rounded to Emin |
| 654 | resx745 rescale -0.999E-999 -1000 -> -1.0E-999 Inexact Rounded |
| 655 | resx746 rescale -0.099E-999 -1000 -> -1E-1000 Inexact Rounded Subnormal Underflow |
| 656 | resx747 rescale -0.009E-999 -1000 -> -0E-1000 Inexact Rounded |
| 657 | resx748 rescale -0.001E-999 -1000 -> -0E-1000 Inexact Rounded |
| 658 | resx749 rescale -0.0001E-999 -1000 -> -0E-1000 Inexact Rounded |
| 659 | |
| 660 | resx750 rescale -1.00E-999 -1001 -> -1.00E-999 |
| 661 | resx751 rescale -0.1E-999 -1001 -> -1.0E-1000 Subnormal |
| 662 | resx752 rescale -0.10E-999 -1001 -> -1.0E-1000 Subnormal |
| 663 | resx753 rescale -0.100E-999 -1001 -> -1.0E-1000 Subnormal Rounded |
| 664 | resx754 rescale -0.01E-999 -1001 -> -1E-1001 Subnormal |
| 665 | -- next is rounded to Emin |
| 666 | resx755 rescale -0.999E-999 -1001 -> -1.00E-999 Inexact Rounded |
| 667 | resx756 rescale -0.099E-999 -1001 -> -1.0E-1000 Inexact Rounded Subnormal Underflow |
| 668 | resx757 rescale -0.009E-999 -1001 -> -1E-1001 Inexact Rounded Subnormal Underflow |
| 669 | resx758 rescale -0.001E-999 -1001 -> -0E-1001 Inexact Rounded |
| 670 | resx759 rescale -0.0001E-999 -1001 -> -0E-1001 Inexact Rounded |
| 671 | |
| 672 | resx760 rescale -1.00E-999 -1002 -> -1.000E-999 |
| 673 | resx761 rescale -0.1E-999 -1002 -> -1.00E-1000 Subnormal |
| 674 | resx762 rescale -0.10E-999 -1002 -> -1.00E-1000 Subnormal |
| 675 | resx763 rescale -0.100E-999 -1002 -> -1.00E-1000 Subnormal |
| 676 | resx764 rescale -0.01E-999 -1002 -> -1.0E-1001 Subnormal |
| 677 | resx765 rescale -0.999E-999 -1002 -> -9.99E-1000 Subnormal |
| 678 | resx766 rescale -0.099E-999 -1002 -> -9.9E-1001 Subnormal |
| 679 | resx767 rescale -0.009E-999 -1002 -> -9E-1002 Subnormal |
| 680 | resx768 rescale -0.001E-999 -1002 -> -1E-1002 Subnormal |
| 681 | resx769 rescale -0.0001E-999 -1002 -> -0E-1002 Inexact Rounded |
| 682 | |
| 683 | -- rhs must be no less than Etiny |
| 684 | resx770 rescale -1.00E-999 -1003 -> NaN Invalid_operation |
| 685 | resx771 rescale -0.1E-999 -1003 -> NaN Invalid_operation |
| 686 | resx772 rescale -0.10E-999 -1003 -> NaN Invalid_operation |
| 687 | resx773 rescale -0.100E-999 -1003 -> NaN Invalid_operation |
| 688 | resx774 rescale -0.01E-999 -1003 -> NaN Invalid_operation |
| 689 | resx775 rescale -0.999E-999 -1003 -> NaN Invalid_operation |
| 690 | resx776 rescale -0.099E-999 -1003 -> NaN Invalid_operation |
| 691 | resx777 rescale -0.009E-999 -1003 -> NaN Invalid_operation |
| 692 | resx778 rescale -0.001E-999 -1003 -> NaN Invalid_operation |
| 693 | resx779 rescale -0.0001E-999 -1003 -> NaN Invalid_operation |
| 694 | |
| 695 | precision: 9 |
| 696 | maxExponent: 999999999 |
| 697 | minexponent: -999999999 |
| 698 | |
| 699 | -- getInt worries |
| 700 | resx801 rescale 0 1000000000 -> NaN Invalid_operation |
| 701 | resx802 rescale 0 -1000000000 -> 0E-1000000000 |
| 702 | resx803 rescale 0 2000000000 -> NaN Invalid_operation |
| 703 | resx804 rescale 0 -2000000000 -> NaN Invalid_operation |
| 704 | resx805 rescale 0 3000000000 -> NaN Invalid_operation |
| 705 | resx806 rescale 0 -3000000000 -> NaN Invalid_operation |
| 706 | resx807 rescale 0 4000000000 -> NaN Invalid_operation |
| 707 | resx808 rescale 0 -4000000000 -> NaN Invalid_operation |
| 708 | resx809 rescale 0 5000000000 -> NaN Invalid_operation |
| 709 | resx810 rescale 0 -5000000000 -> NaN Invalid_operation |
| 710 | resx811 rescale 0 6000000000 -> NaN Invalid_operation |
| 711 | resx812 rescale 0 -6000000000 -> NaN Invalid_operation |
| 712 | resx813 rescale 0 7000000000 -> NaN Invalid_operation |
| 713 | resx814 rescale 0 -7000000000 -> NaN Invalid_operation |
| 714 | resx815 rescale 0 8000000000 -> NaN Invalid_operation |
| 715 | resx816 rescale 0 -8000000000 -> NaN Invalid_operation |
| 716 | resx817 rescale 0 9000000000 -> NaN Invalid_operation |
| 717 | resx818 rescale 0 -9000000000 -> NaN Invalid_operation |
| 718 | resx819 rescale 0 9999999999 -> NaN Invalid_operation |
| 719 | resx820 rescale 0 -9999999999 -> NaN Invalid_operation |
| 720 | resx821 rescale 0 10000000000 -> NaN Invalid_operation |
| 721 | resx822 rescale 0 -10000000000 -> NaN Invalid_operation |
| 722 | |
| 723 | resx831 rescale 1 0E-1 -> 1 |
| 724 | resx832 rescale 1 0E-2 -> 1 |
| 725 | resx833 rescale 1 0E-3 -> 1 |
| 726 | resx834 rescale 1 0E-4 -> 1 |
| 727 | resx835 rescale 1 0E-100 -> 1 |
| 728 | resx836 rescale 1 0E-100000 -> 1 |
| 729 | resx837 rescale 1 0E+100 -> 1 |
| 730 | resx838 rescale 1 0E+100000 -> 1 |
| 731 | |
| 732 | resx841 rescale 0 5E-1000000 -> NaN Invalid_operation |
| 733 | resx842 rescale 0 5E-1000000 -> NaN Invalid_operation |
| 734 | resx843 rescale 0 999999999 -> 0E+999999999 |
| 735 | resx844 rescale 0 1000000000 -> NaN Invalid_operation |
| 736 | resx845 rescale 0 -999999999 -> 0E-999999999 |
| 737 | resx846 rescale 0 -1000000000 -> 0E-1000000000 |
| 738 | resx847 rescale 0 -1000000001 -> 0E-1000000001 |
| 739 | resx848 rescale 0 -1000000002 -> 0E-1000000002 |
| 740 | resx849 rescale 0 -1000000003 -> 0E-1000000003 |
| 741 | resx850 rescale 0 -1000000004 -> 0E-1000000004 |
| 742 | resx851 rescale 0 -1000000005 -> 0E-1000000005 |
| 743 | resx852 rescale 0 -1000000006 -> 0E-1000000006 |
| 744 | resx853 rescale 0 -1000000007 -> 0E-1000000007 |
| 745 | resx854 rescale 0 -1000000008 -> NaN Invalid_operation |
| 746 | |
| 747 | resx861 rescale 1 +2147483649 -> NaN Invalid_operation |
| 748 | resx862 rescale 1 +2147483648 -> NaN Invalid_operation |
| 749 | resx863 rescale 1 +2147483647 -> NaN Invalid_operation |
| 750 | resx864 rescale 1 -2147483647 -> NaN Invalid_operation |
| 751 | resx865 rescale 1 -2147483648 -> NaN Invalid_operation |
| 752 | resx866 rescale 1 -2147483649 -> NaN Invalid_operation |
| 753 | |
| 754 | -- Null tests |
| 755 | res900 rescale 10 # -> NaN Invalid_operation |
| 756 | res901 rescale # 10 -> NaN Invalid_operation |