1 ------------------------------------------------------------------------
2 -- quantize.decTest -- decimal quantize operation --
3 -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
4 ------------------------------------------------------------------------
5 -- Please see the document "General Decimal Arithmetic Testcases" --
6 -- at http://www2.hursley.ibm.com/decimal for the description of --
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. --
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 --
19 ------------------------------------------------------------------------
22 -- Most of the tests here assume a "regular pattern", where the
23 -- sign and coefficient are +1.
24 -- 2004.03.15 Underflow for quantize is suppressed
25 -- 2005.06.08 More extensive tests for 'does not fit'
34 quax001 quantize 0 1e0 -> 0
35 quax002 quantize 1 1e0 -> 1
36 quax003 quantize 0.1 1e+2 -> 0E+2 Inexact Rounded
37 quax005 quantize 0.1 1e+1 -> 0E+1 Inexact Rounded
38 quax006 quantize 0.1 1e0 -> 0 Inexact Rounded
39 quax007 quantize 0.1 1e-1 -> 0.1
40 quax008 quantize 0.1 1e-2 -> 0.10
41 quax009 quantize 0.1 1e-3 -> 0.100
42 quax010 quantize 0.9 1e+2 -> 0E+2 Inexact Rounded
43 quax011 quantize 0.9 1e+1 -> 0E+1 Inexact Rounded
44 quax012 quantize 0.9 1e+0 -> 1 Inexact Rounded
45 quax013 quantize 0.9 1e-1 -> 0.9
46 quax014 quantize 0.9 1e-2 -> 0.90
47 quax015 quantize 0.9 1e-3 -> 0.900
49 quax021 quantize -0 1e0 -> -0
50 quax022 quantize -1 1e0 -> -1
51 quax023 quantize -0.1 1e+2 -> -0E+2 Inexact Rounded
52 quax025 quantize -0.1 1e+1 -> -0E+1 Inexact Rounded
53 quax026 quantize -0.1 1e0 -> -0 Inexact Rounded
54 quax027 quantize -0.1 1e-1 -> -0.1
55 quax028 quantize -0.1 1e-2 -> -0.10
56 quax029 quantize -0.1 1e-3 -> -0.100
57 quax030 quantize -0.9 1e+2 -> -0E+2 Inexact Rounded
58 quax031 quantize -0.9 1e+1 -> -0E+1 Inexact Rounded
59 quax032 quantize -0.9 1e+0 -> -1 Inexact Rounded
60 quax033 quantize -0.9 1e-1 -> -0.9
61 quax034 quantize -0.9 1e-2 -> -0.90
62 quax035 quantize -0.9 1e-3 -> -0.900
63 quax036 quantize -0.5 1e+2 -> -0E+2 Inexact Rounded
64 quax037 quantize -0.5 1e+1 -> -0E+1 Inexact Rounded
65 quax038 quantize -0.5 1e+0 -> -1 Inexact Rounded
66 quax039 quantize -0.5 1e-1 -> -0.5
67 quax040 quantize -0.5 1e-2 -> -0.50
68 quax041 quantize -0.5 1e-3 -> -0.500
69 quax042 quantize -0.9 1e+2 -> -0E+2 Inexact Rounded
70 quax043 quantize -0.9 1e+1 -> -0E+1 Inexact Rounded
71 quax044 quantize -0.9 1e+0 -> -1 Inexact Rounded
72 quax045 quantize -0.9 1e-1 -> -0.9
73 quax046 quantize -0.9 1e-2 -> -0.90
74 quax047 quantize -0.9 1e-3 -> -0.900
76 -- examples from Specification
77 quax060 quantize 2.17 0.001 -> 2.170
78 quax061 quantize 2.17 0.01 -> 2.17
79 quax062 quantize 2.17 0.1 -> 2.2 Inexact Rounded
80 quax063 quantize 2.17 1e+0 -> 2 Inexact Rounded
81 quax064 quantize 2.17 1e+1 -> 0E+1 Inexact Rounded
82 quax065 quantize -Inf Inf -> -Infinity
83 quax066 quantize 2 Inf -> NaN Invalid_operation
84 quax067 quantize -0.1 1 -> -0 Inexact Rounded
85 quax068 quantize -0 1e+5 -> -0E+5
86 quax069 quantize +35236450.6 1e-2 -> NaN Invalid_operation
87 quax070 quantize -35236450.6 1e-2 -> NaN Invalid_operation
88 quax071 quantize 217 1e-1 -> 217.0
89 quax072 quantize 217 1e+0 -> 217
90 quax073 quantize 217 1e+1 -> 2.2E+2 Inexact Rounded
91 quax074 quantize 217 1e+2 -> 2E+2 Inexact Rounded
94 quax089 quantize 12 1e+4 -> 0E+4 Inexact Rounded
95 quax090 quantize 12 1e+3 -> 0E+3 Inexact Rounded
96 quax091 quantize 12 1e+2 -> 0E+2 Inexact Rounded
97 quax092 quantize 12 1e+1 -> 1E+1 Inexact Rounded
98 quax093 quantize 1.2345 1e-2 -> 1.23 Inexact Rounded
99 quax094 quantize 1.2355 1e-2 -> 1.24 Inexact Rounded
100 quax095 quantize 1.2345 1e-6 -> 1.234500
101 quax096 quantize 9.9999 1e-2 -> 10.00 Inexact Rounded
102 quax097 quantize 0.0001 1e-2 -> 0.00 Inexact Rounded
103 quax098 quantize 0.001 1e-2 -> 0.00 Inexact Rounded
104 quax099 quantize 0.009 1e-2 -> 0.01 Inexact Rounded
105 quax100 quantize 92 1e+2 -> 1E+2 Inexact Rounded
107 quax101 quantize -1 1e0 -> -1
108 quax102 quantize -1 1e-1 -> -1.0
109 quax103 quantize -1 1e-2 -> -1.00
110 quax104 quantize 0 1e0 -> 0
111 quax105 quantize 0 1e-1 -> 0.0
112 quax106 quantize 0 1e-2 -> 0.00
113 quax107 quantize 0.00 1e0 -> 0
114 quax108 quantize 0 1e+1 -> 0E+1
115 quax109 quantize 0 1e+2 -> 0E+2
116 quax110 quantize +1 1e0 -> 1
117 quax111 quantize +1 1e-1 -> 1.0
118 quax112 quantize +1 1e-2 -> 1.00
120 quax120 quantize 1.04 1e-3 -> 1.040
121 quax121 quantize 1.04 1e-2 -> 1.04
122 quax122 quantize 1.04 1e-1 -> 1.0 Inexact Rounded
123 quax123 quantize 1.04 1e0 -> 1 Inexact Rounded
124 quax124 quantize 1.05 1e-3 -> 1.050
125 quax125 quantize 1.05 1e-2 -> 1.05
126 quax126 quantize 1.05 1e-1 -> 1.1 Inexact Rounded
127 quax131 quantize 1.05 1e0 -> 1 Inexact Rounded
128 quax132 quantize 1.06 1e-3 -> 1.060
129 quax133 quantize 1.06 1e-2 -> 1.06
130 quax134 quantize 1.06 1e-1 -> 1.1 Inexact Rounded
131 quax135 quantize 1.06 1e0 -> 1 Inexact Rounded
133 quax140 quantize -10 1e-2 -> -10.00
134 quax141 quantize +1 1e-2 -> 1.00
135 quax142 quantize +10 1e-2 -> 10.00
136 quax143 quantize 1E+10 1e-2 -> NaN Invalid_operation
137 quax144 quantize 1E-10 1e-2 -> 0.00 Inexact Rounded
138 quax145 quantize 1E-3 1e-2 -> 0.00 Inexact Rounded
139 quax146 quantize 1E-2 1e-2 -> 0.01
140 quax147 quantize 1E-1 1e-2 -> 0.10
141 quax148 quantize 0E-10 1e-2 -> 0.00
143 quax150 quantize 1.0600 1e-5 -> 1.06000
144 quax151 quantize 1.0600 1e-4 -> 1.0600
145 quax152 quantize 1.0600 1e-3 -> 1.060 Rounded
146 quax153 quantize 1.0600 1e-2 -> 1.06 Rounded
147 quax154 quantize 1.0600 1e-1 -> 1.1 Inexact Rounded
148 quax155 quantize 1.0600 1e0 -> 1 Inexact Rounded
150 -- base tests with non-1 coefficients
151 quax161 quantize 0 -9e0 -> 0
152 quax162 quantize 1 -7e0 -> 1
153 quax163 quantize 0.1 -1e+2 -> 0E+2 Inexact Rounded
154 quax165 quantize 0.1 0e+1 -> 0E+1 Inexact Rounded
155 quax166 quantize 0.1 2e0 -> 0 Inexact Rounded
156 quax167 quantize 0.1 3e-1 -> 0.1
157 quax168 quantize 0.1 44e-2 -> 0.10
158 quax169 quantize 0.1 555e-3 -> 0.100
159 quax170 quantize 0.9 6666e+2 -> 0E+2 Inexact Rounded
160 quax171 quantize 0.9 -777e+1 -> 0E+1 Inexact Rounded
161 quax172 quantize 0.9 -88e+0 -> 1 Inexact Rounded
162 quax173 quantize 0.9 -9e-1 -> 0.9
163 quax174 quantize 0.9 0e-2 -> 0.90
164 quax175 quantize 0.9 1.1e-3 -> 0.9000
166 quax181 quantize -0 1.1e0 -> -0.0
167 quax182 quantize -1 -1e0 -> -1
168 quax183 quantize -0.1 11e+2 -> -0E+2 Inexact Rounded
169 quax185 quantize -0.1 111e+1 -> -0E+1 Inexact Rounded
170 quax186 quantize -0.1 71e0 -> -0 Inexact Rounded
171 quax187 quantize -0.1 -91e-1 -> -0.1
172 quax188 quantize -0.1 -.1e-2 -> -0.100
173 quax189 quantize -0.1 -1e-3 -> -0.100
174 quax190 quantize -0.9 0e+2 -> -0E+2 Inexact Rounded
175 quax191 quantize -0.9 -0e+1 -> -0E+1 Inexact Rounded
176 quax192 quantize -0.9 -10e+0 -> -1 Inexact Rounded
177 quax193 quantize -0.9 100e-1 -> -0.9
178 quax194 quantize -0.9 999e-2 -> -0.90
181 quax201 quantize -1 1e+0 -> -1
182 quax202 quantize -1 1e+1 -> -0E+1 Inexact Rounded
183 quax203 quantize -1 1e+2 -> -0E+2 Inexact Rounded
184 quax204 quantize 0 1e+0 -> 0
185 quax205 quantize 0 1e+1 -> 0E+1
186 quax206 quantize 0 1e+2 -> 0E+2
187 quax207 quantize +1 1e+0 -> 1
188 quax208 quantize +1 1e+1 -> 0E+1 Inexact Rounded
189 quax209 quantize +1 1e+2 -> 0E+2 Inexact Rounded
191 quax220 quantize 1.04 1e+3 -> 0E+3 Inexact Rounded
192 quax221 quantize 1.04 1e+2 -> 0E+2 Inexact Rounded
193 quax222 quantize 1.04 1e+1 -> 0E+1 Inexact Rounded
194 quax223 quantize 1.04 1e+0 -> 1 Inexact Rounded
195 quax224 quantize 1.05 1e+3 -> 0E+3 Inexact Rounded
196 quax225 quantize 1.05 1e+2 -> 0E+2 Inexact Rounded
197 quax226 quantize 1.05 1e+1 -> 0E+1 Inexact Rounded
198 quax227 quantize 1.05 1e+0 -> 1 Inexact Rounded
199 quax228 quantize 1.05 1e+3 -> 0E+3 Inexact Rounded
200 quax229 quantize 1.05 1e+2 -> 0E+2 Inexact Rounded
201 quax230 quantize 1.05 1e+1 -> 0E+1 Inexact Rounded
202 quax231 quantize 1.05 1e+0 -> 1 Inexact Rounded
203 quax232 quantize 1.06 1e+3 -> 0E+3 Inexact Rounded
204 quax233 quantize 1.06 1e+2 -> 0E+2 Inexact Rounded
205 quax234 quantize 1.06 1e+1 -> 0E+1 Inexact Rounded
206 quax235 quantize 1.06 1e+0 -> 1 Inexact Rounded
208 quax240 quantize -10 1e+1 -> -1E+1 Rounded
209 quax241 quantize +1 1e+1 -> 0E+1 Inexact Rounded
210 quax242 quantize +10 1e+1 -> 1E+1 Rounded
211 quax243 quantize 1E+1 1e+1 -> 1E+1 -- underneath this is E+1
212 quax244 quantize 1E+2 1e+1 -> 1.0E+2 -- underneath this is E+1
213 quax245 quantize 1E+3 1e+1 -> 1.00E+3 -- underneath this is E+1
214 quax246 quantize 1E+4 1e+1 -> 1.000E+4 -- underneath this is E+1
215 quax247 quantize 1E+5 1e+1 -> 1.0000E+5 -- underneath this is E+1
216 quax248 quantize 1E+6 1e+1 -> 1.00000E+6 -- underneath this is E+1
217 quax249 quantize 1E+7 1e+1 -> 1.000000E+7 -- underneath this is E+1
218 quax250 quantize 1E+8 1e+1 -> 1.0000000E+8 -- underneath this is E+1
219 quax251 quantize 1E+9 1e+1 -> 1.00000000E+9 -- underneath this is E+1
220 -- next one tries to add 9 zeros
221 quax252 quantize 1E+10 1e+1 -> NaN Invalid_operation
222 quax253 quantize 1E-10 1e+1 -> 0E+1 Inexact Rounded
223 quax254 quantize 1E-2 1e+1 -> 0E+1 Inexact Rounded
224 quax255 quantize 0E-10 1e+1 -> 0E+1
225 quax256 quantize -0E-10 1e+1 -> -0E+1
226 quax257 quantize -0E-1 1e+1 -> -0E+1
227 quax258 quantize -0 1e+1 -> -0E+1
228 quax259 quantize -0E+1 1e+1 -> -0E+1
230 quax260 quantize -10 1e+2 -> -0E+2 Inexact Rounded
231 quax261 quantize +1 1e+2 -> 0E+2 Inexact Rounded
232 quax262 quantize +10 1e+2 -> 0E+2 Inexact Rounded
233 quax263 quantize 1E+1 1e+2 -> 0E+2 Inexact Rounded
234 quax264 quantize 1E+2 1e+2 -> 1E+2
235 quax265 quantize 1E+3 1e+2 -> 1.0E+3
236 quax266 quantize 1E+4 1e+2 -> 1.00E+4
237 quax267 quantize 1E+5 1e+2 -> 1.000E+5
238 quax268 quantize 1E+6 1e+2 -> 1.0000E+6
239 quax269 quantize 1E+7 1e+2 -> 1.00000E+7
240 quax270 quantize 1E+8 1e+2 -> 1.000000E+8
241 quax271 quantize 1E+9 1e+2 -> 1.0000000E+9
242 quax272 quantize 1E+10 1e+2 -> 1.00000000E+10
243 quax273 quantize 1E-10 1e+2 -> 0E+2 Inexact Rounded
244 quax274 quantize 1E-2 1e+2 -> 0E+2 Inexact Rounded
245 quax275 quantize 0E-10 1e+2 -> 0E+2
247 quax280 quantize -10 1e+3 -> -0E+3 Inexact Rounded
248 quax281 quantize +1 1e+3 -> 0E+3 Inexact Rounded
249 quax282 quantize +10 1e+3 -> 0E+3 Inexact Rounded
250 quax283 quantize 1E+1 1e+3 -> 0E+3 Inexact Rounded
251 quax284 quantize 1E+2 1e+3 -> 0E+3 Inexact Rounded
252 quax285 quantize 1E+3 1e+3 -> 1E+3
253 quax286 quantize 1E+4 1e+3 -> 1.0E+4
254 quax287 quantize 1E+5 1e+3 -> 1.00E+5
255 quax288 quantize 1E+6 1e+3 -> 1.000E+6
256 quax289 quantize 1E+7 1e+3 -> 1.0000E+7
257 quax290 quantize 1E+8 1e+3 -> 1.00000E+8
258 quax291 quantize 1E+9 1e+3 -> 1.000000E+9
259 quax292 quantize 1E+10 1e+3 -> 1.0000000E+10
260 quax293 quantize 1E-10 1e+3 -> 0E+3 Inexact Rounded
261 quax294 quantize 1E-2 1e+3 -> 0E+3 Inexact Rounded
262 quax295 quantize 0E-10 1e+3 -> 0E+3
264 -- round up from below [sign wrong in JIT compiler once]
265 quax300 quantize 0.0078 1e-5 -> 0.00780
266 quax301 quantize 0.0078 1e-4 -> 0.0078
267 quax302 quantize 0.0078 1e-3 -> 0.008 Inexact Rounded
268 quax303 quantize 0.0078 1e-2 -> 0.01 Inexact Rounded
269 quax304 quantize 0.0078 1e-1 -> 0.0 Inexact Rounded
270 quax305 quantize 0.0078 1e0 -> 0 Inexact Rounded
271 quax306 quantize 0.0078 1e+1 -> 0E+1 Inexact Rounded
272 quax307 quantize 0.0078 1e+2 -> 0E+2 Inexact Rounded
274 quax310 quantize -0.0078 1e-5 -> -0.00780
275 quax311 quantize -0.0078 1e-4 -> -0.0078
276 quax312 quantize -0.0078 1e-3 -> -0.008 Inexact Rounded
277 quax313 quantize -0.0078 1e-2 -> -0.01 Inexact Rounded
278 quax314 quantize -0.0078 1e-1 -> -0.0 Inexact Rounded
279 quax315 quantize -0.0078 1e0 -> -0 Inexact Rounded
280 quax316 quantize -0.0078 1e+1 -> -0E+1 Inexact Rounded
281 quax317 quantize -0.0078 1e+2 -> -0E+2 Inexact Rounded
283 quax320 quantize 0.078 1e-5 -> 0.07800
284 quax321 quantize 0.078 1e-4 -> 0.0780
285 quax322 quantize 0.078 1e-3 -> 0.078
286 quax323 quantize 0.078 1e-2 -> 0.08 Inexact Rounded
287 quax324 quantize 0.078 1e-1 -> 0.1 Inexact Rounded
288 quax325 quantize 0.078 1e0 -> 0 Inexact Rounded
289 quax326 quantize 0.078 1e+1 -> 0E+1 Inexact Rounded
290 quax327 quantize 0.078 1e+2 -> 0E+2 Inexact Rounded
292 quax330 quantize -0.078 1e-5 -> -0.07800
293 quax331 quantize -0.078 1e-4 -> -0.0780
294 quax332 quantize -0.078 1e-3 -> -0.078
295 quax333 quantize -0.078 1e-2 -> -0.08 Inexact Rounded
296 quax334 quantize -0.078 1e-1 -> -0.1 Inexact Rounded
297 quax335 quantize -0.078 1e0 -> -0 Inexact Rounded
298 quax336 quantize -0.078 1e+1 -> -0E+1 Inexact Rounded
299 quax337 quantize -0.078 1e+2 -> -0E+2 Inexact Rounded
301 quax340 quantize 0.78 1e-5 -> 0.78000
302 quax341 quantize 0.78 1e-4 -> 0.7800
303 quax342 quantize 0.78 1e-3 -> 0.780
304 quax343 quantize 0.78 1e-2 -> 0.78
305 quax344 quantize 0.78 1e-1 -> 0.8 Inexact Rounded
306 quax345 quantize 0.78 1e0 -> 1 Inexact Rounded
307 quax346 quantize 0.78 1e+1 -> 0E+1 Inexact Rounded
308 quax347 quantize 0.78 1e+2 -> 0E+2 Inexact Rounded
310 quax350 quantize -0.78 1e-5 -> -0.78000
311 quax351 quantize -0.78 1e-4 -> -0.7800
312 quax352 quantize -0.78 1e-3 -> -0.780
313 quax353 quantize -0.78 1e-2 -> -0.78
314 quax354 quantize -0.78 1e-1 -> -0.8 Inexact Rounded
315 quax355 quantize -0.78 1e0 -> -1 Inexact Rounded
316 quax356 quantize -0.78 1e+1 -> -0E+1 Inexact Rounded
317 quax357 quantize -0.78 1e+2 -> -0E+2 Inexact Rounded
319 quax360 quantize 7.8 1e-5 -> 7.80000
320 quax361 quantize 7.8 1e-4 -> 7.8000
321 quax362 quantize 7.8 1e-3 -> 7.800
322 quax363 quantize 7.8 1e-2 -> 7.80
323 quax364 quantize 7.8 1e-1 -> 7.8
324 quax365 quantize 7.8 1e0 -> 8 Inexact Rounded
325 quax366 quantize 7.8 1e+1 -> 1E+1 Inexact Rounded
326 quax367 quantize 7.8 1e+2 -> 0E+2 Inexact Rounded
327 quax368 quantize 7.8 1e+3 -> 0E+3 Inexact Rounded
329 quax370 quantize -7.8 1e-5 -> -7.80000
330 quax371 quantize -7.8 1e-4 -> -7.8000
331 quax372 quantize -7.8 1e-3 -> -7.800
332 quax373 quantize -7.8 1e-2 -> -7.80
333 quax374 quantize -7.8 1e-1 -> -7.8
334 quax375 quantize -7.8 1e0 -> -8 Inexact Rounded
335 quax376 quantize -7.8 1e+1 -> -1E+1 Inexact Rounded
336 quax377 quantize -7.8 1e+2 -> -0E+2 Inexact Rounded
337 quax378 quantize -7.8 1e+3 -> -0E+3 Inexact Rounded
341 quax380 quantize 352364.506 1e-2 -> 352364.51 Inexact Rounded
342 quax381 quantize 3523645.06 1e-2 -> 3523645.06
343 quax382 quantize 35236450.6 1e-2 -> NaN Invalid_operation
344 quax383 quantize 352364506 1e-2 -> NaN Invalid_operation
345 quax384 quantize -352364.506 1e-2 -> -352364.51 Inexact Rounded
346 quax385 quantize -3523645.06 1e-2 -> -3523645.06
347 quax386 quantize -35236450.6 1e-2 -> NaN Invalid_operation
348 quax387 quantize -352364506 1e-2 -> NaN Invalid_operation
351 quax389 quantize 35236450.6 1e-2 -> NaN Invalid_operation
352 -- ? should that one instead have been:
353 -- quax389 quantize 35236450.6 1e-2 -> NaN Invalid_operation
356 -- and a few more from e-mail discussions
358 quax391 quantize 12.34567 1e-3 -> 12.346 Inexact Rounded
359 quax392 quantize 123.4567 1e-3 -> 123.457 Inexact Rounded
360 quax393 quantize 1234.567 1e-3 -> 1234.567
361 quax394 quantize 12345.67 1e-3 -> NaN Invalid_operation
362 quax395 quantize 123456.7 1e-3 -> NaN Invalid_operation
363 quax396 quantize 1234567. 1e-3 -> NaN Invalid_operation
365 -- some 9999 round-up cases
367 quax400 quantize 9.999 1e-5 -> 9.99900
368 quax401 quantize 9.999 1e-4 -> 9.9990
369 quax402 quantize 9.999 1e-3 -> 9.999
370 quax403 quantize 9.999 1e-2 -> 10.00 Inexact Rounded
371 quax404 quantize 9.999 1e-1 -> 10.0 Inexact Rounded
372 quax405 quantize 9.999 1e0 -> 10 Inexact Rounded
373 quax406 quantize 9.999 1e1 -> 1E+1 Inexact Rounded
374 quax407 quantize 9.999 1e2 -> 0E+2 Inexact Rounded
376 quax410 quantize 0.999 1e-5 -> 0.99900
377 quax411 quantize 0.999 1e-4 -> 0.9990
378 quax412 quantize 0.999 1e-3 -> 0.999
379 quax413 quantize 0.999 1e-2 -> 1.00 Inexact Rounded
380 quax414 quantize 0.999 1e-1 -> 1.0 Inexact Rounded
381 quax415 quantize 0.999 1e0 -> 1 Inexact Rounded
382 quax416 quantize 0.999 1e1 -> 0E+1 Inexact Rounded
384 quax420 quantize 0.0999 1e-5 -> 0.09990
385 quax421 quantize 0.0999 1e-4 -> 0.0999
386 quax422 quantize 0.0999 1e-3 -> 0.100 Inexact Rounded
387 quax423 quantize 0.0999 1e-2 -> 0.10 Inexact Rounded
388 quax424 quantize 0.0999 1e-1 -> 0.1 Inexact Rounded
389 quax425 quantize 0.0999 1e0 -> 0 Inexact Rounded
390 quax426 quantize 0.0999 1e1 -> 0E+1 Inexact Rounded
392 quax430 quantize 0.00999 1e-5 -> 0.00999
393 quax431 quantize 0.00999 1e-4 -> 0.0100 Inexact Rounded
394 quax432 quantize 0.00999 1e-3 -> 0.010 Inexact Rounded
395 quax433 quantize 0.00999 1e-2 -> 0.01 Inexact Rounded
396 quax434 quantize 0.00999 1e-1 -> 0.0 Inexact Rounded
397 quax435 quantize 0.00999 1e0 -> 0 Inexact Rounded
398 quax436 quantize 0.00999 1e1 -> 0E+1 Inexact Rounded
400 quax440 quantize 0.000999 1e-5 -> 0.00100 Inexact Rounded
401 quax441 quantize 0.000999 1e-4 -> 0.0010 Inexact Rounded
402 quax442 quantize 0.000999 1e-3 -> 0.001 Inexact Rounded
403 quax443 quantize 0.000999 1e-2 -> 0.00 Inexact Rounded
404 quax444 quantize 0.000999 1e-1 -> 0.0 Inexact Rounded
405 quax445 quantize 0.000999 1e0 -> 0 Inexact Rounded
406 quax446 quantize 0.000999 1e1 -> 0E+1 Inexact Rounded
409 quax449 quantize 9.999E-15 1e-23 -> NaN Invalid_operation
410 quax450 quantize 9.999E-15 1e-22 -> 9.9990000E-15
411 quax451 quantize 9.999E-15 1e-21 -> 9.999000E-15
412 quax452 quantize 9.999E-15 1e-20 -> 9.99900E-15
413 quax453 quantize 9.999E-15 1e-19 -> 9.9990E-15
414 quax454 quantize 9.999E-15 1e-18 -> 9.999E-15
415 quax455 quantize 9.999E-15 1e-17 -> 1.000E-14 Inexact Rounded
416 quax456 quantize 9.999E-15 1e-16 -> 1.00E-14 Inexact Rounded
417 quax457 quantize 9.999E-15 1e-15 -> 1.0E-14 Inexact Rounded
418 quax458 quantize 9.999E-15 1e-14 -> 1E-14 Inexact Rounded
419 quax459 quantize 9.999E-15 1e-13 -> 0E-13 Inexact Rounded
420 quax460 quantize 9.999E-15 1e-12 -> 0E-12 Inexact Rounded
421 quax461 quantize 9.999E-15 1e-11 -> 0E-11 Inexact Rounded
422 quax462 quantize 9.999E-15 1e-10 -> 0E-10 Inexact Rounded
423 quax463 quantize 9.999E-15 1e-9 -> 0E-9 Inexact Rounded
424 quax464 quantize 9.999E-15 1e-8 -> 0E-8 Inexact Rounded
425 quax465 quantize 9.999E-15 1e-7 -> 0E-7 Inexact Rounded
426 quax466 quantize 9.999E-15 1e-6 -> 0.000000 Inexact Rounded
427 quax467 quantize 9.999E-15 1e-5 -> 0.00000 Inexact Rounded
428 quax468 quantize 9.999E-15 1e-4 -> 0.0000 Inexact Rounded
429 quax469 quantize 9.999E-15 1e-3 -> 0.000 Inexact Rounded
430 quax470 quantize 9.999E-15 1e-2 -> 0.00 Inexact Rounded
431 quax471 quantize 9.999E-15 1e-1 -> 0.0 Inexact Rounded
432 quax472 quantize 9.999E-15 1e0 -> 0 Inexact Rounded
433 quax473 quantize 9.999E-15 1e1 -> 0E+1 Inexact Rounded
436 quax900 quantize 9.999E-15 1e-22 -> NaN Invalid_operation
437 quax901 quantize 9.999E-15 1e-21 -> 9.999000E-15
438 quax902 quantize 9.999E-15 1e-20 -> 9.99900E-15
439 quax903 quantize 9.999E-15 1e-19 -> 9.9990E-15
440 quax904 quantize 9.999E-15 1e-18 -> 9.999E-15
441 quax905 quantize 9.999E-15 1e-17 -> 1.000E-14 Inexact Rounded
442 quax906 quantize 9.999E-15 1e-16 -> 1.00E-14 Inexact Rounded
443 quax907 quantize 9.999E-15 1e-15 -> 1.0E-14 Inexact Rounded
444 quax908 quantize 9.999E-15 1e-14 -> 1E-14 Inexact Rounded
445 quax909 quantize 9.999E-15 1e-13 -> 0E-13 Inexact Rounded
446 quax910 quantize 9.999E-15 1e-12 -> 0E-12 Inexact Rounded
447 quax911 quantize 9.999E-15 1e-11 -> 0E-11 Inexact Rounded
448 quax912 quantize 9.999E-15 1e-10 -> 0E-10 Inexact Rounded
449 quax913 quantize 9.999E-15 1e-9 -> 0E-9 Inexact Rounded
450 quax914 quantize 9.999E-15 1e-8 -> 0E-8 Inexact Rounded
451 quax915 quantize 9.999E-15 1e-7 -> 0E-7 Inexact Rounded
452 quax916 quantize 9.999E-15 1e-6 -> 0.000000 Inexact Rounded
453 quax917 quantize 9.999E-15 1e-5 -> 0.00000 Inexact Rounded
454 quax918 quantize 9.999E-15 1e-4 -> 0.0000 Inexact Rounded
455 quax919 quantize 9.999E-15 1e-3 -> 0.000 Inexact Rounded
456 quax920 quantize 9.999E-15 1e-2 -> 0.00 Inexact Rounded
457 quax921 quantize 9.999E-15 1e-1 -> 0.0 Inexact Rounded
458 quax922 quantize 9.999E-15 1e0 -> 0 Inexact Rounded
459 quax923 quantize 9.999E-15 1e1 -> 0E+1 Inexact Rounded
462 quax930 quantize 9.999E-15 1e-22 -> NaN Invalid_operation
463 quax931 quantize 9.999E-15 1e-21 -> NaN Invalid_operation
464 quax932 quantize 9.999E-15 1e-20 -> 9.99900E-15
465 quax933 quantize 9.999E-15 1e-19 -> 9.9990E-15
466 quax934 quantize 9.999E-15 1e-18 -> 9.999E-15
467 quax935 quantize 9.999E-15 1e-17 -> 1.000E-14 Inexact Rounded
468 quax936 quantize 9.999E-15 1e-16 -> 1.00E-14 Inexact Rounded
469 quax937 quantize 9.999E-15 1e-15 -> 1.0E-14 Inexact Rounded
470 quax938 quantize 9.999E-15 1e-14 -> 1E-14 Inexact Rounded
471 quax939 quantize 9.999E-15 1e-13 -> 0E-13 Inexact Rounded
472 quax940 quantize 9.999E-15 1e-12 -> 0E-12 Inexact Rounded
473 quax941 quantize 9.999E-15 1e-11 -> 0E-11 Inexact Rounded
474 quax942 quantize 9.999E-15 1e-10 -> 0E-10 Inexact Rounded
475 quax943 quantize 9.999E-15 1e-9 -> 0E-9 Inexact Rounded
476 quax944 quantize 9.999E-15 1e-8 -> 0E-8 Inexact Rounded
477 quax945 quantize 9.999E-15 1e-7 -> 0E-7 Inexact Rounded
478 quax946 quantize 9.999E-15 1e-6 -> 0.000000 Inexact Rounded
479 quax947 quantize 9.999E-15 1e-5 -> 0.00000 Inexact Rounded
480 quax948 quantize 9.999E-15 1e-4 -> 0.0000 Inexact Rounded
481 quax949 quantize 9.999E-15 1e-3 -> 0.000 Inexact Rounded
482 quax950 quantize 9.999E-15 1e-2 -> 0.00 Inexact Rounded
483 quax951 quantize 9.999E-15 1e-1 -> 0.0 Inexact Rounded
484 quax952 quantize 9.999E-15 1e0 -> 0 Inexact Rounded
485 quax953 quantize 9.999E-15 1e1 -> 0E+1 Inexact Rounded
488 quax960 quantize 9.999E-15 1e-22 -> NaN Invalid_operation
489 quax961 quantize 9.999E-15 1e-21 -> NaN Invalid_operation
490 quax962 quantize 9.999E-15 1e-20 -> NaN Invalid_operation
491 quax963 quantize 9.999E-15 1e-19 -> NaN Invalid_operation
492 quax964 quantize 9.999E-15 1e-18 -> NaN Invalid_operation
493 quax965 quantize 9.999E-15 1e-17 -> NaN Invalid_operation
494 quax966 quantize 9.999E-15 1e-16 -> 1.00E-14 Inexact Rounded
495 quax967 quantize 9.999E-15 1e-15 -> 1.0E-14 Inexact Rounded
496 quax968 quantize 9.999E-15 1e-14 -> 1E-14 Inexact Rounded
497 quax969 quantize 9.999E-15 1e-13 -> 0E-13 Inexact Rounded
498 quax970 quantize 9.999E-15 1e-12 -> 0E-12 Inexact Rounded
499 quax971 quantize 9.999E-15 1e-11 -> 0E-11 Inexact Rounded
500 quax972 quantize 9.999E-15 1e-10 -> 0E-10 Inexact Rounded
501 quax973 quantize 9.999E-15 1e-9 -> 0E-9 Inexact Rounded
502 quax974 quantize 9.999E-15 1e-8 -> 0E-8 Inexact Rounded
503 quax975 quantize 9.999E-15 1e-7 -> 0E-7 Inexact Rounded
504 quax976 quantize 9.999E-15 1e-6 -> 0.000000 Inexact Rounded
505 quax977 quantize 9.999E-15 1e-5 -> 0.00000 Inexact Rounded
506 quax978 quantize 9.999E-15 1e-4 -> 0.0000 Inexact Rounded
507 quax979 quantize 9.999E-15 1e-3 -> 0.000 Inexact Rounded
508 quax980 quantize 9.999E-15 1e-2 -> 0.00 Inexact Rounded
509 quax981 quantize 9.999E-15 1e-1 -> 0.0 Inexact Rounded
510 quax982 quantize 9.999E-15 1e0 -> 0 Inexact Rounded
511 quax983 quantize 9.999E-15 1e1 -> 0E+1 Inexact Rounded
513 -- Fung Lee's case & similar
515 quax1001 quantize 0.000 0.001 -> 0.000
516 quax1002 quantize 0.001 0.001 -> 0.001
517 quax1003 quantize 0.0012 0.001 -> 0.001 Inexact Rounded
518 quax1004 quantize 0.0018 0.001 -> 0.002 Inexact Rounded
519 quax1005 quantize 0.501 0.001 -> 0.501
520 quax1006 quantize 0.5012 0.001 -> 0.501 Inexact Rounded
521 quax1007 quantize 0.5018 0.001 -> 0.502 Inexact Rounded
522 quax1008 quantize 0.999 0.001 -> 0.999
523 quax1009 quantize 0.9992 0.001 -> 0.999 Inexact Rounded
524 quax1010 quantize 0.9998 0.001 -> NaN Invalid_operation
525 quax1011 quantize 1.0001 0.001 -> NaN Invalid_operation
526 quax1012 quantize 1.0051 0.001 -> NaN Invalid_operation
527 quax1013 quantize 1.0551 0.001 -> NaN Invalid_operation
528 quax1014 quantize 1.5551 0.001 -> NaN Invalid_operation
529 quax1015 quantize 1.9999 0.001 -> NaN Invalid_operation
531 -- long operand checks [rhs checks removed]
535 quax481 quantize 12345678000 1e+3 -> 1.2345678E+10 Rounded
536 quax482 quantize 1234567800 1e+1 -> 1.23456780E+9 Rounded
537 quax483 quantize 1234567890 1e+1 -> 1.23456789E+9 Rounded
538 quax484 quantize 1234567891 1e+1 -> 1.23456789E+9 Inexact Rounded
539 quax485 quantize 12345678901 1e+2 -> 1.23456789E+10 Inexact Rounded
540 quax486 quantize 1234567896 1e+1 -> 1.23456790E+9 Inexact Rounded
541 -- a potential double-round
542 quax487 quantize 1234.987643 1e-4 -> 1234.9876 Inexact Rounded
543 quax488 quantize 1234.987647 1e-4 -> 1234.9876 Inexact Rounded
546 quax491 quantize 12345678000 1e+3 -> 1.2345678E+10 Rounded
547 quax492 quantize 1234567800 1e+1 -> 1.23456780E+9 Rounded
548 quax493 quantize 1234567890 1e+1 -> 1.23456789E+9 Rounded
549 quax494 quantize 1234567891 1e+1 -> 1.23456789E+9 Inexact Rounded
550 quax495 quantize 12345678901 1e+2 -> 1.23456789E+10 Inexact Rounded
551 quax496 quantize 1234567896 1e+1 -> 1.23456790E+9 Inexact Rounded
552 quax497 quantize 1234.987643 1e-4 -> 1234.9876 Inexact Rounded
553 quax498 quantize 1234.987647 1e-4 -> 1234.9876 Inexact Rounded
556 quax500 quantize 0 1e1 -> 0E+1
557 quax501 quantize 0 1e0 -> 0
558 quax502 quantize 0 1e-1 -> 0.0
559 quax503 quantize 0.0 1e-1 -> 0.0
560 quax504 quantize 0.0 1e0 -> 0
561 quax505 quantize 0.0 1e+1 -> 0E+1
562 quax506 quantize 0E+1 1e-1 -> 0.0
563 quax507 quantize 0E+1 1e0 -> 0
564 quax508 quantize 0E+1 1e+1 -> 0E+1
565 quax509 quantize -0 1e1 -> -0E+1
566 quax510 quantize -0 1e0 -> -0
567 quax511 quantize -0 1e-1 -> -0.0
568 quax512 quantize -0.0 1e-1 -> -0.0
569 quax513 quantize -0.0 1e0 -> -0
570 quax514 quantize -0.0 1e+1 -> -0E+1
571 quax515 quantize -0E+1 1e-1 -> -0.0
572 quax516 quantize -0E+1 1e0 -> -0
573 quax517 quantize -0E+1 1e+1 -> -0E+1
575 -- Suspicious RHS values
576 maxexponent: 999999999
577 minexponent: -999999999
579 quax520 quantize 1.234 1e999999000 -> 0E+999999000 Inexact Rounded
580 quax521 quantize 123.456 1e999999000 -> 0E+999999000 Inexact Rounded
581 quax522 quantize 1.234 1e999999999 -> 0E+999999999 Inexact Rounded
582 quax523 quantize 123.456 1e999999999 -> 0E+999999999 Inexact Rounded
583 quax524 quantize 123.456 1e1000000000 -> NaN Invalid_operation
584 quax525 quantize 123.456 1e12345678903 -> NaN Invalid_operation
585 -- next four are "won't fit" overflows
586 quax526 quantize 1.234 1e-999999000 -> NaN Invalid_operation
587 quax527 quantize 123.456 1e-999999000 -> NaN Invalid_operation
588 quax528 quantize 1.234 1e-999999999 -> NaN Invalid_operation
589 quax529 quantize 123.456 1e-999999999 -> NaN Invalid_operation
590 quax530 quantize 123.456 1e-1000000014 -> NaN Invalid_operation
591 quax531 quantize 123.456 1e-12345678903 -> NaN Invalid_operation
596 quax532 quantize 1.234E+999 1e999 -> 1E+999 Inexact Rounded
597 quax533 quantize 1.234E+998 1e999 -> 0E+999 Inexact Rounded
598 quax534 quantize 1.234 1e999 -> 0E+999 Inexact Rounded
599 quax535 quantize 1.234 1e1000 -> NaN Invalid_operation
600 quax536 quantize 1.234 1e5000 -> NaN Invalid_operation
601 quax537 quantize 0 1e-999 -> 0E-999
602 -- next two are "won't fit" overflows
603 quax538 quantize 1.234 1e-999 -> NaN Invalid_operation
604 quax539 quantize 1.234 1e-1000 -> NaN Invalid_operation
605 quax540 quantize 1.234 1e-5000 -> NaN Invalid_operation
608 -- check bounds (lhs maybe out of range for destination, etc.)
610 quax541 quantize 1E+999 1e+999 -> 1E+999
611 quax542 quantize 1E+1000 1e+999 -> NaN Invalid_operation
612 quax543 quantize 1E+999 1e+1000 -> NaN Invalid_operation
613 quax544 quantize 1E-999 1e-999 -> 1E-999
614 quax545 quantize 1E-1000 1e-999 -> 0E-999 Inexact Rounded
615 quax546 quantize 1E-999 1e-1000 -> 1.0E-999
616 quax547 quantize 1E-1005 1e-999 -> 0E-999 Inexact Rounded
617 quax548 quantize 1E-1006 1e-999 -> 0E-999 Inexact Rounded
618 quax549 quantize 1E-1007 1e-999 -> 0E-999 Inexact Rounded
619 quax550 quantize 1E-998 1e-1005 -> NaN Invalid_operation -- won't fit
620 quax551 quantize 1E-999 1e-1005 -> 1.000000E-999
621 quax552 quantize 1E-1000 1e-1005 -> 1.00000E-1000 Subnormal
622 quax553 quantize 1E-999 1e-1006 -> NaN Invalid_operation
623 quax554 quantize 1E-999 1e-1007 -> NaN Invalid_operation
624 -- related subnormal rounding
625 quax555 quantize 1.666666E-999 1e-1005 -> 1.666666E-999
626 quax556 quantize 1.666666E-1000 1e-1005 -> 1.66667E-1000 Subnormal Inexact Rounded
627 quax557 quantize 1.666666E-1001 1e-1005 -> 1.6667E-1001 Subnormal Inexact Rounded
628 quax558 quantize 1.666666E-1002 1e-1005 -> 1.667E-1002 Subnormal Inexact Rounded
629 quax559 quantize 1.666666E-1003 1e-1005 -> 1.67E-1003 Subnormal Inexact Rounded
630 quax560 quantize 1.666666E-1004 1e-1005 -> 1.7E-1004 Subnormal Inexact Rounded
631 quax561 quantize 1.666666E-1005 1e-1005 -> 2E-1005 Subnormal Inexact Rounded
632 quax562 quantize 1.666666E-1006 1e-1005 -> 0E-1005 Inexact Rounded
633 quax563 quantize 1.666666E-1007 1e-1005 -> 0E-1005 Inexact Rounded
636 quax580 quantize Inf -Inf -> Infinity
637 quax581 quantize Inf 1e-1000 -> NaN Invalid_operation
638 quax582 quantize Inf 1e-1 -> NaN Invalid_operation
639 quax583 quantize Inf 1e0 -> NaN Invalid_operation
640 quax584 quantize Inf 1e1 -> NaN Invalid_operation
641 quax585 quantize Inf 1e1000 -> NaN Invalid_operation
642 quax586 quantize Inf Inf -> Infinity
643 quax587 quantize -1000 Inf -> NaN Invalid_operation
644 quax588 quantize -Inf Inf -> -Infinity
645 quax589 quantize -1 Inf -> NaN Invalid_operation
646 quax590 quantize 0 Inf -> NaN Invalid_operation
647 quax591 quantize 1 Inf -> NaN Invalid_operation
648 quax592 quantize 1000 Inf -> NaN Invalid_operation
649 quax593 quantize Inf Inf -> Infinity
650 quax594 quantize Inf 1e-0 -> NaN Invalid_operation
651 quax595 quantize -0 Inf -> NaN Invalid_operation
653 quax600 quantize -Inf -Inf -> -Infinity
654 quax601 quantize -Inf 1e-1000 -> NaN Invalid_operation
655 quax602 quantize -Inf 1e-1 -> NaN Invalid_operation
656 quax603 quantize -Inf 1e0 -> NaN Invalid_operation
657 quax604 quantize -Inf 1e1 -> NaN Invalid_operation
658 quax605 quantize -Inf 1e1000 -> NaN Invalid_operation
659 quax606 quantize -Inf Inf -> -Infinity
660 quax607 quantize -1000 Inf -> NaN Invalid_operation
661 quax608 quantize -Inf -Inf -> -Infinity
662 quax609 quantize -1 -Inf -> NaN Invalid_operation
663 quax610 quantize 0 -Inf -> NaN Invalid_operation
664 quax611 quantize 1 -Inf -> NaN Invalid_operation
665 quax612 quantize 1000 -Inf -> NaN Invalid_operation
666 quax613 quantize Inf -Inf -> Infinity
667 quax614 quantize -Inf 1e-0 -> NaN Invalid_operation
668 quax615 quantize -0 -Inf -> NaN Invalid_operation
670 quax621 quantize NaN -Inf -> NaN
671 quax622 quantize NaN 1e-1000 -> NaN
672 quax623 quantize NaN 1e-1 -> NaN
673 quax624 quantize NaN 1e0 -> NaN
674 quax625 quantize NaN 1e1 -> NaN
675 quax626 quantize NaN 1e1000 -> NaN
676 quax627 quantize NaN Inf -> NaN
677 quax628 quantize NaN NaN -> NaN
678 quax629 quantize -Inf NaN -> NaN
679 quax630 quantize -1000 NaN -> NaN
680 quax631 quantize -1 NaN -> NaN
681 quax632 quantize 0 NaN -> NaN
682 quax633 quantize 1 NaN -> NaN
683 quax634 quantize 1000 NaN -> NaN
684 quax635 quantize Inf NaN -> NaN
685 quax636 quantize NaN 1e-0 -> NaN
686 quax637 quantize -0 NaN -> NaN
688 quax641 quantize sNaN -Inf -> NaN Invalid_operation
689 quax642 quantize sNaN 1e-1000 -> NaN Invalid_operation
690 quax643 quantize sNaN 1e-1 -> NaN Invalid_operation
691 quax644 quantize sNaN 1e0 -> NaN Invalid_operation
692 quax645 quantize sNaN 1e1 -> NaN Invalid_operation
693 quax646 quantize sNaN 1e1000 -> NaN Invalid_operation
694 quax647 quantize sNaN NaN -> NaN Invalid_operation
695 quax648 quantize sNaN sNaN -> NaN Invalid_operation
696 quax649 quantize NaN sNaN -> NaN Invalid_operation
697 quax650 quantize -Inf sNaN -> NaN Invalid_operation
698 quax651 quantize -1000 sNaN -> NaN Invalid_operation
699 quax652 quantize -1 sNaN -> NaN Invalid_operation
700 quax653 quantize 0 sNaN -> NaN Invalid_operation
701 quax654 quantize 1 sNaN -> NaN Invalid_operation
702 quax655 quantize 1000 sNaN -> NaN Invalid_operation
703 quax656 quantize Inf sNaN -> NaN Invalid_operation
704 quax657 quantize NaN sNaN -> NaN Invalid_operation
705 quax658 quantize sNaN 1e-0 -> NaN Invalid_operation
706 quax659 quantize -0 sNaN -> NaN Invalid_operation
709 quax661 quantize NaN9 -Inf -> NaN9
710 quax662 quantize NaN8 919 -> NaN8
711 quax663 quantize NaN71 Inf -> NaN71
712 quax664 quantize NaN6 NaN5 -> NaN6
713 quax665 quantize -Inf NaN4 -> NaN4
714 quax666 quantize -919 NaN31 -> NaN31
715 quax667 quantize Inf NaN2 -> NaN2
717 quax671 quantize sNaN99 -Inf -> NaN99 Invalid_operation
718 quax672 quantize sNaN98 -11 -> NaN98 Invalid_operation
719 quax673 quantize sNaN97 NaN -> NaN97 Invalid_operation
720 quax674 quantize sNaN16 sNaN94 -> NaN16 Invalid_operation
721 quax675 quantize NaN95 sNaN93 -> NaN93 Invalid_operation
722 quax676 quantize -Inf sNaN92 -> NaN92 Invalid_operation
723 quax677 quantize 088 sNaN91 -> NaN91 Invalid_operation
724 quax678 quantize Inf sNaN90 -> NaN90 Invalid_operation
725 quax679 quantize NaN sNaN88 -> NaN88 Invalid_operation
727 quax681 quantize -NaN9 -Inf -> -NaN9
728 quax682 quantize -NaN8 919 -> -NaN8
729 quax683 quantize -NaN71 Inf -> -NaN71
730 quax684 quantize -NaN6 -NaN5 -> -NaN6
731 quax685 quantize -Inf -NaN4 -> -NaN4
732 quax686 quantize -919 -NaN31 -> -NaN31
733 quax687 quantize Inf -NaN2 -> -NaN2
735 quax691 quantize -sNaN99 -Inf -> -NaN99 Invalid_operation
736 quax692 quantize -sNaN98 -11 -> -NaN98 Invalid_operation
737 quax693 quantize -sNaN97 NaN -> -NaN97 Invalid_operation
738 quax694 quantize -sNaN16 sNaN94 -> -NaN16 Invalid_operation
739 quax695 quantize -NaN95 -sNaN93 -> -NaN93 Invalid_operation
740 quax696 quantize -Inf -sNaN92 -> -NaN92 Invalid_operation
741 quax697 quantize 088 -sNaN91 -> -NaN91 Invalid_operation
742 quax698 quantize Inf -sNaN90 -> -NaN90 Invalid_operation
743 quax699 quantize NaN -sNaN88 -> -NaN88 Invalid_operation
745 -- subnormals and underflow
749 quax710 quantize 1.00E-999 1e-999 -> 1E-999 Rounded
750 quax711 quantize 0.1E-999 2e-1000 -> 1E-1000 Subnormal
751 quax712 quantize 0.10E-999 3e-1000 -> 1E-1000 Subnormal Rounded
752 quax713 quantize 0.100E-999 4e-1000 -> 1E-1000 Subnormal Rounded
753 quax714 quantize 0.01E-999 5e-1001 -> 1E-1001 Subnormal
754 -- next is rounded to Emin
755 quax715 quantize 0.999E-999 1e-999 -> 1E-999 Inexact Rounded
756 quax716 quantize 0.099E-999 10e-1000 -> 1E-1000 Inexact Rounded Subnormal
758 quax717 quantize 0.009E-999 1e-1001 -> 1E-1001 Inexact Rounded Subnormal
759 quax718 quantize 0.001E-999 1e-1001 -> 0E-1001 Inexact Rounded
760 quax719 quantize 0.0009E-999 1e-1001 -> 0E-1001 Inexact Rounded
761 quax720 quantize 0.0001E-999 1e-1001 -> 0E-1001 Inexact Rounded
763 quax730 quantize -1.00E-999 1e-999 -> -1E-999 Rounded
764 quax731 quantize -0.1E-999 1e-999 -> -0E-999 Rounded Inexact
765 quax732 quantize -0.10E-999 1e-999 -> -0E-999 Rounded Inexact
766 quax733 quantize -0.100E-999 1e-999 -> -0E-999 Rounded Inexact
767 quax734 quantize -0.01E-999 1e-999 -> -0E-999 Inexact Rounded
768 -- next is rounded to Emin
769 quax735 quantize -0.999E-999 90e-999 -> -1E-999 Inexact Rounded
770 quax736 quantize -0.099E-999 -1e-999 -> -0E-999 Inexact Rounded
771 quax737 quantize -0.009E-999 -1e-999 -> -0E-999 Inexact Rounded
772 quax738 quantize -0.001E-999 -0e-999 -> -0E-999 Inexact Rounded
773 quax739 quantize -0.0001E-999 0e-999 -> -0E-999 Inexact Rounded
775 quax740 quantize -1.00E-999 1e-1000 -> -1.0E-999 Rounded
776 quax741 quantize -0.1E-999 1e-1000 -> -1E-1000 Subnormal
777 quax742 quantize -0.10E-999 1e-1000 -> -1E-1000 Subnormal Rounded
778 quax743 quantize -0.100E-999 1e-1000 -> -1E-1000 Subnormal Rounded
779 quax744 quantize -0.01E-999 1e-1000 -> -0E-1000 Inexact Rounded
780 -- next is rounded to Emin
781 quax745 quantize -0.999E-999 1e-1000 -> -1.0E-999 Inexact Rounded
782 quax746 quantize -0.099E-999 1e-1000 -> -1E-1000 Inexact Rounded Subnormal
783 quax747 quantize -0.009E-999 1e-1000 -> -0E-1000 Inexact Rounded
784 quax748 quantize -0.001E-999 1e-1000 -> -0E-1000 Inexact Rounded
785 quax749 quantize -0.0001E-999 1e-1000 -> -0E-1000 Inexact Rounded
787 quax750 quantize -1.00E-999 1e-1001 -> -1.00E-999
788 quax751 quantize -0.1E-999 1e-1001 -> -1.0E-1000 Subnormal
789 quax752 quantize -0.10E-999 1e-1001 -> -1.0E-1000 Subnormal
790 quax753 quantize -0.100E-999 1e-1001 -> -1.0E-1000 Subnormal Rounded
791 quax754 quantize -0.01E-999 1e-1001 -> -1E-1001 Subnormal
792 -- next is rounded to Emin
793 quax755 quantize -0.999E-999 1e-1001 -> -1.00E-999 Inexact Rounded
794 quax756 quantize -0.099E-999 1e-1001 -> -1.0E-1000 Inexact Rounded Subnormal
795 quax757 quantize -0.009E-999 1e-1001 -> -1E-1001 Inexact Rounded Subnormal
796 quax758 quantize -0.001E-999 1e-1001 -> -0E-1001 Inexact Rounded
797 quax759 quantize -0.0001E-999 1e-1001 -> -0E-1001 Inexact Rounded
799 quax760 quantize -1.00E-999 1e-1002 -> -1.000E-999
800 quax761 quantize -0.1E-999 1e-1002 -> -1.00E-1000 Subnormal
801 quax762 quantize -0.10E-999 1e-1002 -> -1.00E-1000 Subnormal
802 quax763 quantize -0.100E-999 1e-1002 -> -1.00E-1000 Subnormal
803 quax764 quantize -0.01E-999 1e-1002 -> -1.0E-1001 Subnormal
804 quax765 quantize -0.999E-999 1e-1002 -> -9.99E-1000 Subnormal
805 quax766 quantize -0.099E-999 1e-1002 -> -9.9E-1001 Subnormal
806 quax767 quantize -0.009E-999 1e-1002 -> -9E-1002 Subnormal
807 quax768 quantize -0.001E-999 1e-1002 -> -1E-1002 Subnormal
808 quax769 quantize -0.0001E-999 1e-1002 -> -0E-1002 Inexact Rounded
810 -- rhs must be no less than Etiny
811 quax770 quantize -1.00E-999 1e-1003 -> NaN Invalid_operation
812 quax771 quantize -0.1E-999 1e-1003 -> NaN Invalid_operation
813 quax772 quantize -0.10E-999 1e-1003 -> NaN Invalid_operation
814 quax773 quantize -0.100E-999 1e-1003 -> NaN Invalid_operation
815 quax774 quantize -0.01E-999 1e-1003 -> NaN Invalid_operation
816 quax775 quantize -0.999E-999 1e-1003 -> NaN Invalid_operation
817 quax776 quantize -0.099E-999 1e-1003 -> NaN Invalid_operation
818 quax777 quantize -0.009E-999 1e-1003 -> NaN Invalid_operation
819 quax778 quantize -0.001E-999 1e-1003 -> NaN Invalid_operation
820 quax779 quantize -0.0001E-999 1e-1003 -> NaN Invalid_operation
821 quax780 quantize -0.0001E-999 1e-1004 -> NaN Invalid_operation
824 maxExponent: 999999999
825 minexponent: -999999999
827 -- some extremes derived from Rescale testcases
828 quax801 quantize 0 1e1000000000 -> NaN Invalid_operation
829 quax802 quantize 0 1e-1000000000 -> 0E-1000000000
830 quax803 quantize 0 1e2000000000 -> NaN Invalid_operation
831 quax804 quantize 0 1e-2000000000 -> NaN Invalid_operation
832 quax805 quantize 0 1e3000000000 -> NaN Invalid_operation
833 quax806 quantize 0 1e-3000000000 -> NaN Invalid_operation
834 quax807 quantize 0 1e4000000000 -> NaN Invalid_operation
835 quax808 quantize 0 1e-4000000000 -> NaN Invalid_operation
836 quax809 quantize 0 1e5000000000 -> NaN Invalid_operation
837 quax810 quantize 0 1e-5000000000 -> NaN Invalid_operation
838 quax811 quantize 0 1e6000000000 -> NaN Invalid_operation
839 quax812 quantize 0 1e-6000000000 -> NaN Invalid_operation
840 quax813 quantize 0 1e7000000000 -> NaN Invalid_operation
841 quax814 quantize 0 1e-7000000000 -> NaN Invalid_operation
842 quax815 quantize 0 1e8000000000 -> NaN Invalid_operation
843 quax816 quantize 0 1e-8000000000 -> NaN Invalid_operation
844 quax817 quantize 0 1e9000000000 -> NaN Invalid_operation
845 quax818 quantize 0 1e-9000000000 -> NaN Invalid_operation
846 quax819 quantize 0 1e9999999999 -> NaN Invalid_operation
847 quax820 quantize 0 1e-9999999999 -> NaN Invalid_operation
848 quax821 quantize 0 1e10000000000 -> NaN Invalid_operation
849 quax822 quantize 0 1e-10000000000 -> NaN Invalid_operation
851 quax843 quantize 0 1e999999999 -> 0E+999999999
852 quax844 quantize 0 1e1000000000 -> NaN Invalid_operation
853 quax845 quantize 0 1e-999999999 -> 0E-999999999
854 quax846 quantize 0 1e-1000000000 -> 0E-1000000000
855 quax847 quantize 0 1e-1000000001 -> 0E-1000000001
856 quax848 quantize 0 1e-1000000002 -> 0E-1000000002
857 quax849 quantize 0 1e-1000000003 -> 0E-1000000003
858 quax850 quantize 0 1e-1000000004 -> 0E-1000000004
859 quax851 quantize 0 1e-1000000005 -> 0E-1000000005
860 quax852 quantize 0 1e-1000000006 -> 0E-1000000006
861 quax853 quantize 0 1e-1000000007 -> 0E-1000000007
862 quax854 quantize 0 1e-1000000008 -> NaN Invalid_operation
864 quax861 quantize 1 1e+2147483649 -> NaN Invalid_operation
865 quax862 quantize 1 1e+2147483648 -> NaN Invalid_operation
866 quax863 quantize 1 1e+2147483647 -> NaN Invalid_operation
867 quax864 quantize 1 1e-2147483647 -> NaN Invalid_operation
868 quax865 quantize 1 1e-2147483648 -> NaN Invalid_operation
869 quax866 quantize 1 1e-2147483649 -> NaN Invalid_operation
871 -- More from Fung Lee
876 quax1021 quantize 8.666666666666000E+384 1.000000000000000E+384 -> 8.666666666666000E+384
877 quax1022 quantize 64#8.666666666666000E+384 64#1.000000000000000E+384 -> 8.666666666666000E+384
878 quax1023 quantize 64#8.666666666666000E+384 128#1.000000000000000E+384 -> 8.666666666666000E+384
879 quax1024 quantize 64#8.666666666666000E+384 64#1E+384 -> 8.666666666666000E+384
880 quax1025 quantize 64#8.666666666666000E+384 64#1E+384 -> 64#8.666666666666000E+384
881 quax1026 quantize 64#8.666666666666000E+384 128#1E+384 -> 64#9E+384 Inexact Rounded Clamped
882 quax1027 quantize 64#8.666666666666000E+323 64#1E+31 -> NaN Invalid_operation
883 quax1028 quantize 64#8.666666666666000E+323 128#1E+31 -> NaN Invalid_operation
884 quax1029 quantize 64#8.66666666E+3 128#1E+10 -> 64#0E10 Inexact Rounded
885 quax1030 quantize 8.66666666E+3 1E+3 -> 9E+3 Inexact Rounded
887 -- Int and uInt32 edge values for testing conversions
888 quax1040 quantize -2147483646 0 -> -2147483646
889 quax1041 quantize -2147483647 0 -> -2147483647
890 quax1042 quantize -2147483648 0 -> -2147483648
891 quax1043 quantize -2147483649 0 -> -2147483649
892 quax1044 quantize 2147483646 0 -> 2147483646
893 quax1045 quantize 2147483647 0 -> 2147483647
894 quax1046 quantize 2147483648 0 -> 2147483648
895 quax1047 quantize 2147483649 0 -> 2147483649
896 quax1048 quantize 4294967294 0 -> 4294967294
897 quax1049 quantize 4294967295 0 -> 4294967295
898 quax1050 quantize 4294967296 0 -> 4294967296
899 quax1051 quantize 4294967297 0 -> 4294967297
900 -- and powers of ten for same
901 quax1101 quantize 5000000000 0 -> 5000000000
902 quax1102 quantize 4000000000 0 -> 4000000000
903 quax1103 quantize 2000000000 0 -> 2000000000
904 quax1104 quantize 1000000000 0 -> 1000000000
905 quax1105 quantize 0100000000 0 -> 100000000
906 quax1106 quantize 0010000000 0 -> 10000000
907 quax1107 quantize 0001000000 0 -> 1000000
908 quax1108 quantize 0000100000 0 -> 100000
909 quax1109 quantize 0000010000 0 -> 10000
910 quax1110 quantize 0000001000 0 -> 1000
911 quax1111 quantize 0000000100 0 -> 100
912 quax1112 quantize 0000000010 0 -> 10
913 quax1113 quantize 0000000001 0 -> 1
914 quax1114 quantize 0000000000 0 -> 0
915 -- and powers of ten for same
916 quax1121 quantize -5000000000 0 -> -5000000000
917 quax1122 quantize -4000000000 0 -> -4000000000
918 quax1123 quantize -2000000000 0 -> -2000000000
919 quax1124 quantize -1000000000 0 -> -1000000000
920 quax1125 quantize -0100000000 0 -> -100000000
921 quax1126 quantize -0010000000 0 -> -10000000
922 quax1127 quantize -0001000000 0 -> -1000000
923 quax1128 quantize -0000100000 0 -> -100000
924 quax1129 quantize -0000010000 0 -> -10000
925 quax1130 quantize -0000001000 0 -> -1000
926 quax1131 quantize -0000000100 0 -> -100
927 quax1132 quantize -0000000010 0 -> -10
928 quax1133 quantize -0000000001 0 -> -1
929 quax1134 quantize -0000000000 0 -> -0
937 -- 1 234567890123456789012345678901234
938 quax0a1 quantize 8.555555555555555555555555555555555E+6143 1E+6143 -> 9E+6143 Inexact Rounded
939 quax0a2 quantize 128#8.555555555555555555555555555555555E+6143 128#1E+6143 -> 8.55555555555555555555555555555556E+6143 Rounded Inexact
940 quax0a3 quantize 128#8.555555555555555555555555555555555E+6144 128#1E+6144 -> 8.555555555555555555555555555555555E+6144
942 -- payload decapitate
944 quax62100 quantize 11 -sNaN1234567890 -> -NaN67890 Invalid_operation
947 quax998 quantize 10 # -> NaN Invalid_operation
948 quax999 quantize # 1e10 -> NaN Invalid_operation
projects / mirror_edk2.git / blob