Commit | Line | Data |
---|---|---|
920dae64 AT |
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 |