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