|
1 ------------------------------------------------------------------------ |
|
2 -- divideint.decTest -- decimal integer division -- |
|
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 -- |
|
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.58 |
|
21 |
|
22 extended: 1 |
|
23 precision: 9 |
|
24 rounding: half_up |
|
25 maxExponent: 384 |
|
26 minexponent: -383 |
|
27 |
|
28 dvix001 divideint 1 1 -> 1 |
|
29 dvix002 divideint 2 1 -> 2 |
|
30 dvix003 divideint 1 2 -> 0 |
|
31 dvix004 divideint 2 2 -> 1 |
|
32 dvix005 divideint 0 1 -> 0 |
|
33 dvix006 divideint 0 2 -> 0 |
|
34 dvix007 divideint 1 3 -> 0 |
|
35 dvix008 divideint 2 3 -> 0 |
|
36 dvix009 divideint 3 3 -> 1 |
|
37 |
|
38 dvix010 divideint 2.4 1 -> 2 |
|
39 dvix011 divideint 2.4 -1 -> -2 |
|
40 dvix012 divideint -2.4 1 -> -2 |
|
41 dvix013 divideint -2.4 -1 -> 2 |
|
42 dvix014 divideint 2.40 1 -> 2 |
|
43 dvix015 divideint 2.400 1 -> 2 |
|
44 dvix016 divideint 2.4 2 -> 1 |
|
45 dvix017 divideint 2.400 2 -> 1 |
|
46 dvix018 divideint 2. 2 -> 1 |
|
47 dvix019 divideint 20 20 -> 1 |
|
48 |
|
49 dvix020 divideint 187 187 -> 1 |
|
50 dvix021 divideint 5 2 -> 2 |
|
51 dvix022 divideint 5 2.0 -> 2 |
|
52 dvix023 divideint 5 2.000 -> 2 |
|
53 dvix024 divideint 5 0.200 -> 25 |
|
54 dvix025 divideint 5 0.200 -> 25 |
|
55 |
|
56 dvix030 divideint 1 2 -> 0 |
|
57 dvix031 divideint 1 4 -> 0 |
|
58 dvix032 divideint 1 8 -> 0 |
|
59 dvix033 divideint 1 16 -> 0 |
|
60 dvix034 divideint 1 32 -> 0 |
|
61 dvix035 divideint 1 64 -> 0 |
|
62 dvix040 divideint 1 -2 -> -0 |
|
63 dvix041 divideint 1 -4 -> -0 |
|
64 dvix042 divideint 1 -8 -> -0 |
|
65 dvix043 divideint 1 -16 -> -0 |
|
66 dvix044 divideint 1 -32 -> -0 |
|
67 dvix045 divideint 1 -64 -> -0 |
|
68 dvix050 divideint -1 2 -> -0 |
|
69 dvix051 divideint -1 4 -> -0 |
|
70 dvix052 divideint -1 8 -> -0 |
|
71 dvix053 divideint -1 16 -> -0 |
|
72 dvix054 divideint -1 32 -> -0 |
|
73 dvix055 divideint -1 64 -> -0 |
|
74 dvix060 divideint -1 -2 -> 0 |
|
75 dvix061 divideint -1 -4 -> 0 |
|
76 dvix062 divideint -1 -8 -> 0 |
|
77 dvix063 divideint -1 -16 -> 0 |
|
78 dvix064 divideint -1 -32 -> 0 |
|
79 dvix065 divideint -1 -64 -> 0 |
|
80 |
|
81 -- similar with powers of ten |
|
82 dvix160 divideint 1 1 -> 1 |
|
83 dvix161 divideint 1 10 -> 0 |
|
84 dvix162 divideint 1 100 -> 0 |
|
85 dvix163 divideint 1 1000 -> 0 |
|
86 dvix164 divideint 1 10000 -> 0 |
|
87 dvix165 divideint 1 100000 -> 0 |
|
88 dvix166 divideint 1 1000000 -> 0 |
|
89 dvix167 divideint 1 10000000 -> 0 |
|
90 dvix168 divideint 1 100000000 -> 0 |
|
91 dvix170 divideint 1 -1 -> -1 |
|
92 dvix171 divideint 1 -10 -> -0 |
|
93 dvix172 divideint 1 -100 -> -0 |
|
94 dvix173 divideint 1 -1000 -> -0 |
|
95 dvix174 divideint 1 -10000 -> -0 |
|
96 dvix175 divideint 1 -100000 -> -0 |
|
97 dvix176 divideint 1 -1000000 -> -0 |
|
98 dvix177 divideint 1 -10000000 -> -0 |
|
99 dvix178 divideint 1 -100000000 -> -0 |
|
100 dvix180 divideint -1 1 -> -1 |
|
101 dvix181 divideint -1 10 -> -0 |
|
102 dvix182 divideint -1 100 -> -0 |
|
103 dvix183 divideint -1 1000 -> -0 |
|
104 dvix184 divideint -1 10000 -> -0 |
|
105 dvix185 divideint -1 100000 -> -0 |
|
106 dvix186 divideint -1 1000000 -> -0 |
|
107 dvix187 divideint -1 10000000 -> -0 |
|
108 dvix188 divideint -1 100000000 -> -0 |
|
109 dvix190 divideint -1 -1 -> 1 |
|
110 dvix191 divideint -1 -10 -> 0 |
|
111 dvix192 divideint -1 -100 -> 0 |
|
112 dvix193 divideint -1 -1000 -> 0 |
|
113 dvix194 divideint -1 -10000 -> 0 |
|
114 dvix195 divideint -1 -100000 -> 0 |
|
115 dvix196 divideint -1 -1000000 -> 0 |
|
116 dvix197 divideint -1 -10000000 -> 0 |
|
117 dvix198 divideint -1 -100000000 -> 0 |
|
118 |
|
119 -- some long operand cases here |
|
120 dvix070 divideint 999999999 1 -> 999999999 |
|
121 dvix071 divideint 999999999.4 1 -> 999999999 |
|
122 dvix072 divideint 999999999.5 1 -> 999999999 |
|
123 dvix073 divideint 999999999.9 1 -> 999999999 |
|
124 dvix074 divideint 999999999.999 1 -> 999999999 |
|
125 precision: 6 |
|
126 dvix080 divideint 999999999 1 -> NaN Division_impossible |
|
127 dvix081 divideint 99999999 1 -> NaN Division_impossible |
|
128 dvix082 divideint 9999999 1 -> NaN Division_impossible |
|
129 dvix083 divideint 999999 1 -> 999999 |
|
130 dvix084 divideint 99999 1 -> 99999 |
|
131 dvix085 divideint 9999 1 -> 9999 |
|
132 dvix086 divideint 999 1 -> 999 |
|
133 dvix087 divideint 99 1 -> 99 |
|
134 dvix088 divideint 9 1 -> 9 |
|
135 |
|
136 precision: 9 |
|
137 dvix090 divideint 0. 1 -> 0 |
|
138 dvix091 divideint .0 1 -> 0 |
|
139 dvix092 divideint 0.00 1 -> 0 |
|
140 dvix093 divideint 0.00E+9 1 -> 0 |
|
141 dvix094 divideint 0.0000E-50 1 -> 0 |
|
142 |
|
143 dvix100 divideint 1 1 -> 1 |
|
144 dvix101 divideint 1 2 -> 0 |
|
145 dvix102 divideint 1 3 -> 0 |
|
146 dvix103 divideint 1 4 -> 0 |
|
147 dvix104 divideint 1 5 -> 0 |
|
148 dvix105 divideint 1 6 -> 0 |
|
149 dvix106 divideint 1 7 -> 0 |
|
150 dvix107 divideint 1 8 -> 0 |
|
151 dvix108 divideint 1 9 -> 0 |
|
152 dvix109 divideint 1 10 -> 0 |
|
153 dvix110 divideint 1 1 -> 1 |
|
154 dvix111 divideint 2 1 -> 2 |
|
155 dvix112 divideint 3 1 -> 3 |
|
156 dvix113 divideint 4 1 -> 4 |
|
157 dvix114 divideint 5 1 -> 5 |
|
158 dvix115 divideint 6 1 -> 6 |
|
159 dvix116 divideint 7 1 -> 7 |
|
160 dvix117 divideint 8 1 -> 8 |
|
161 dvix118 divideint 9 1 -> 9 |
|
162 dvix119 divideint 10 1 -> 10 |
|
163 |
|
164 -- from DiagBigDecimal |
|
165 dvix131 divideint 101.3 1 -> 101 |
|
166 dvix132 divideint 101.0 1 -> 101 |
|
167 dvix133 divideint 101.3 3 -> 33 |
|
168 dvix134 divideint 101.0 3 -> 33 |
|
169 dvix135 divideint 2.4 1 -> 2 |
|
170 dvix136 divideint 2.400 1 -> 2 |
|
171 dvix137 divideint 18 18 -> 1 |
|
172 dvix138 divideint 1120 1000 -> 1 |
|
173 dvix139 divideint 2.4 2 -> 1 |
|
174 dvix140 divideint 2.400 2 -> 1 |
|
175 dvix141 divideint 0.5 2.000 -> 0 |
|
176 dvix142 divideint 8.005 7 -> 1 |
|
177 dvix143 divideint 5 2 -> 2 |
|
178 dvix144 divideint 0 2 -> 0 |
|
179 dvix145 divideint 0.00 2 -> 0 |
|
180 |
|
181 -- Others |
|
182 dvix150 divideint 12345 4.999 -> 2469 |
|
183 dvix151 divideint 12345 4.99 -> 2473 |
|
184 dvix152 divideint 12345 4.9 -> 2519 |
|
185 dvix153 divideint 12345 5 -> 2469 |
|
186 dvix154 divideint 12345 5.1 -> 2420 |
|
187 dvix155 divideint 12345 5.01 -> 2464 |
|
188 dvix156 divideint 12345 5.001 -> 2468 |
|
189 dvix157 divideint 101 7.6 -> 13 |
|
190 |
|
191 -- Various flavours of divideint by 0 |
|
192 maxexponent: 999999999 |
|
193 minexponent: -999999999 |
|
194 dvix201 divideint 0 0 -> NaN Division_undefined |
|
195 dvix202 divideint 0.0E5 0 -> NaN Division_undefined |
|
196 dvix203 divideint 0.000 0 -> NaN Division_undefined |
|
197 dvix204 divideint 0.0001 0 -> Infinity Division_by_zero |
|
198 dvix205 divideint 0.01 0 -> Infinity Division_by_zero |
|
199 dvix206 divideint 0.1 0 -> Infinity Division_by_zero |
|
200 dvix207 divideint 1 0 -> Infinity Division_by_zero |
|
201 dvix208 divideint 1 0.0 -> Infinity Division_by_zero |
|
202 dvix209 divideint 10 0.0 -> Infinity Division_by_zero |
|
203 dvix210 divideint 1E+100 0.0 -> Infinity Division_by_zero |
|
204 dvix211 divideint 1E+1000 0 -> Infinity Division_by_zero |
|
205 dvix214 divideint -0.0001 0 -> -Infinity Division_by_zero |
|
206 dvix215 divideint -0.01 0 -> -Infinity Division_by_zero |
|
207 dvix216 divideint -0.1 0 -> -Infinity Division_by_zero |
|
208 dvix217 divideint -1 0 -> -Infinity Division_by_zero |
|
209 dvix218 divideint -1 0.0 -> -Infinity Division_by_zero |
|
210 dvix219 divideint -10 0.0 -> -Infinity Division_by_zero |
|
211 dvix220 divideint -1E+100 0.0 -> -Infinity Division_by_zero |
|
212 dvix221 divideint -1E+1000 0 -> -Infinity Division_by_zero |
|
213 |
|
214 -- test some cases that are close to exponent overflow |
|
215 maxexponent: 999999999 |
|
216 minexponent: -999999999 |
|
217 dvix270 divideint 1 1e999999999 -> 0 |
|
218 dvix271 divideint 1 0.9e999999999 -> 0 |
|
219 dvix272 divideint 1 0.99e999999999 -> 0 |
|
220 dvix273 divideint 1 0.999999999e999999999 -> 0 |
|
221 dvix274 divideint 9e999999999 1 -> NaN Division_impossible |
|
222 dvix275 divideint 9.9e999999999 1 -> NaN Division_impossible |
|
223 dvix276 divideint 9.99e999999999 1 -> NaN Division_impossible |
|
224 dvix277 divideint 9.99999999e999999999 1 -> NaN Division_impossible |
|
225 |
|
226 dvix280 divideint 0.1 9e-999999999 -> NaN Division_impossible |
|
227 dvix281 divideint 0.1 99e-999999999 -> NaN Division_impossible |
|
228 dvix282 divideint 0.1 999e-999999999 -> NaN Division_impossible |
|
229 |
|
230 dvix283 divideint 0.1 9e-999999998 -> NaN Division_impossible |
|
231 dvix284 divideint 0.1 99e-999999998 -> NaN Division_impossible |
|
232 dvix285 divideint 0.1 999e-999999998 -> NaN Division_impossible |
|
233 dvix286 divideint 0.1 999e-999999997 -> NaN Division_impossible |
|
234 dvix287 divideint 0.1 9999e-999999997 -> NaN Division_impossible |
|
235 dvix288 divideint 0.1 99999e-999999997 -> NaN Division_impossible |
|
236 |
|
237 -- GD edge cases: lhs smaller than rhs but more digits |
|
238 dvix301 divideint 0.9 2 -> 0 |
|
239 dvix302 divideint 0.9 2.0 -> 0 |
|
240 dvix303 divideint 0.9 2.1 -> 0 |
|
241 dvix304 divideint 0.9 2.00 -> 0 |
|
242 dvix305 divideint 0.9 2.01 -> 0 |
|
243 dvix306 divideint 0.12 1 -> 0 |
|
244 dvix307 divideint 0.12 1.0 -> 0 |
|
245 dvix308 divideint 0.12 1.00 -> 0 |
|
246 dvix309 divideint 0.12 1.0 -> 0 |
|
247 dvix310 divideint 0.12 1.00 -> 0 |
|
248 dvix311 divideint 0.12 2 -> 0 |
|
249 dvix312 divideint 0.12 2.0 -> 0 |
|
250 dvix313 divideint 0.12 2.1 -> 0 |
|
251 dvix314 divideint 0.12 2.00 -> 0 |
|
252 dvix315 divideint 0.12 2.01 -> 0 |
|
253 |
|
254 -- overflow and underflow tests [from divide] |
|
255 maxexponent: 999999999 |
|
256 minexponent: -999999999 |
|
257 dvix330 divideint +1.23456789012345E-0 9E+999999999 -> 0 |
|
258 dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible |
|
259 dvix332 divideint +0.100 9E+999999999 -> 0 |
|
260 dvix333 divideint 9E-999999999 +9.100 -> 0 |
|
261 dvix335 divideint -1.23456789012345E-0 9E+999999999 -> -0 |
|
262 dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible |
|
263 dvix337 divideint -0.100 9E+999999999 -> -0 |
|
264 dvix338 divideint 9E-999999999 -9.100 -> -0 |
|
265 |
|
266 -- long operand checks |
|
267 maxexponent: 999 |
|
268 minexponent: -999 |
|
269 precision: 9 |
|
270 dvix401 divideint 12345678000 100 -> 123456780 |
|
271 dvix402 divideint 1 12345678000 -> 0 |
|
272 dvix403 divideint 1234567800 10 -> 123456780 |
|
273 dvix404 divideint 1 1234567800 -> 0 |
|
274 dvix405 divideint 1234567890 10 -> 123456789 |
|
275 dvix406 divideint 1 1234567890 -> 0 |
|
276 dvix407 divideint 1234567891 10 -> 123456789 |
|
277 dvix408 divideint 1 1234567891 -> 0 |
|
278 dvix409 divideint 12345678901 100 -> 123456789 |
|
279 dvix410 divideint 1 12345678901 -> 0 |
|
280 dvix411 divideint 1234567896 10 -> 123456789 |
|
281 dvix412 divideint 1 1234567896 -> 0 |
|
282 dvix413 divideint 12345678948 100 -> 123456789 |
|
283 dvix414 divideint 12345678949 100 -> 123456789 |
|
284 dvix415 divideint 12345678950 100 -> 123456789 |
|
285 dvix416 divideint 12345678951 100 -> 123456789 |
|
286 dvix417 divideint 12345678999 100 -> 123456789 |
|
287 |
|
288 precision: 15 |
|
289 dvix441 divideint 12345678000 1 -> 12345678000 |
|
290 dvix442 divideint 1 12345678000 -> 0 |
|
291 dvix443 divideint 1234567800 1 -> 1234567800 |
|
292 dvix444 divideint 1 1234567800 -> 0 |
|
293 dvix445 divideint 1234567890 1 -> 1234567890 |
|
294 dvix446 divideint 1 1234567890 -> 0 |
|
295 dvix447 divideint 1234567891 1 -> 1234567891 |
|
296 dvix448 divideint 1 1234567891 -> 0 |
|
297 dvix449 divideint 12345678901 1 -> 12345678901 |
|
298 dvix450 divideint 1 12345678901 -> 0 |
|
299 dvix451 divideint 1234567896 1 -> 1234567896 |
|
300 dvix452 divideint 1 1234567896 -> 0 |
|
301 |
|
302 precision: 9 |
|
303 rounding: half_up |
|
304 maxExponent: 999 |
|
305 minexponent: -999 |
|
306 |
|
307 -- more zeros, etc. |
|
308 dvix531 divideint 5.00 1E-3 -> 5000 |
|
309 dvix532 divideint 00.00 0.000 -> NaN Division_undefined |
|
310 dvix533 divideint 00.00 0E-3 -> NaN Division_undefined |
|
311 dvix534 divideint 0 -0 -> NaN Division_undefined |
|
312 dvix535 divideint -0 0 -> NaN Division_undefined |
|
313 dvix536 divideint -0 -0 -> NaN Division_undefined |
|
314 |
|
315 dvix541 divideint 0 -1 -> -0 |
|
316 dvix542 divideint -0 -1 -> 0 |
|
317 dvix543 divideint 0 1 -> 0 |
|
318 dvix544 divideint -0 1 -> -0 |
|
319 dvix545 divideint -1 0 -> -Infinity Division_by_zero |
|
320 dvix546 divideint -1 -0 -> Infinity Division_by_zero |
|
321 dvix547 divideint 1 0 -> Infinity Division_by_zero |
|
322 dvix548 divideint 1 -0 -> -Infinity Division_by_zero |
|
323 |
|
324 dvix551 divideint 0.0 -1 -> -0 |
|
325 dvix552 divideint -0.0 -1 -> 0 |
|
326 dvix553 divideint 0.0 1 -> 0 |
|
327 dvix554 divideint -0.0 1 -> -0 |
|
328 dvix555 divideint -1.0 0 -> -Infinity Division_by_zero |
|
329 dvix556 divideint -1.0 -0 -> Infinity Division_by_zero |
|
330 dvix557 divideint 1.0 0 -> Infinity Division_by_zero |
|
331 dvix558 divideint 1.0 -0 -> -Infinity Division_by_zero |
|
332 |
|
333 dvix561 divideint 0 -1.0 -> -0 |
|
334 dvix562 divideint -0 -1.0 -> 0 |
|
335 dvix563 divideint 0 1.0 -> 0 |
|
336 dvix564 divideint -0 1.0 -> -0 |
|
337 dvix565 divideint -1 0.0 -> -Infinity Division_by_zero |
|
338 dvix566 divideint -1 -0.0 -> Infinity Division_by_zero |
|
339 dvix567 divideint 1 0.0 -> Infinity Division_by_zero |
|
340 dvix568 divideint 1 -0.0 -> -Infinity Division_by_zero |
|
341 |
|
342 dvix571 divideint 0.0 -1.0 -> -0 |
|
343 dvix572 divideint -0.0 -1.0 -> 0 |
|
344 dvix573 divideint 0.0 1.0 -> 0 |
|
345 dvix574 divideint -0.0 1.0 -> -0 |
|
346 dvix575 divideint -1.0 0.0 -> -Infinity Division_by_zero |
|
347 dvix576 divideint -1.0 -0.0 -> Infinity Division_by_zero |
|
348 dvix577 divideint 1.0 0.0 -> Infinity Division_by_zero |
|
349 dvix578 divideint 1.0 -0.0 -> -Infinity Division_by_zero |
|
350 |
|
351 -- Specials |
|
352 dvix580 divideint Inf -Inf -> NaN Invalid_operation |
|
353 dvix581 divideint Inf -1000 -> -Infinity |
|
354 dvix582 divideint Inf -1 -> -Infinity |
|
355 dvix583 divideint Inf -0 -> -Infinity |
|
356 dvix584 divideint Inf 0 -> Infinity |
|
357 dvix585 divideint Inf 1 -> Infinity |
|
358 dvix586 divideint Inf 1000 -> Infinity |
|
359 dvix587 divideint Inf Inf -> NaN Invalid_operation |
|
360 dvix588 divideint -1000 Inf -> -0 |
|
361 dvix589 divideint -Inf Inf -> NaN Invalid_operation |
|
362 dvix590 divideint -1 Inf -> -0 |
|
363 dvix591 divideint -0 Inf -> -0 |
|
364 dvix592 divideint 0 Inf -> 0 |
|
365 dvix593 divideint 1 Inf -> 0 |
|
366 dvix594 divideint 1000 Inf -> 0 |
|
367 dvix595 divideint Inf Inf -> NaN Invalid_operation |
|
368 |
|
369 dvix600 divideint -Inf -Inf -> NaN Invalid_operation |
|
370 dvix601 divideint -Inf -1000 -> Infinity |
|
371 dvix602 divideint -Inf -1 -> Infinity |
|
372 dvix603 divideint -Inf -0 -> Infinity |
|
373 dvix604 divideint -Inf 0 -> -Infinity |
|
374 dvix605 divideint -Inf 1 -> -Infinity |
|
375 dvix606 divideint -Inf 1000 -> -Infinity |
|
376 dvix607 divideint -Inf Inf -> NaN Invalid_operation |
|
377 dvix608 divideint -1000 Inf -> -0 |
|
378 dvix609 divideint -Inf -Inf -> NaN Invalid_operation |
|
379 dvix610 divideint -1 -Inf -> 0 |
|
380 dvix611 divideint -0 -Inf -> 0 |
|
381 dvix612 divideint 0 -Inf -> -0 |
|
382 dvix613 divideint 1 -Inf -> -0 |
|
383 dvix614 divideint 1000 -Inf -> -0 |
|
384 dvix615 divideint Inf -Inf -> NaN Invalid_operation |
|
385 |
|
386 dvix621 divideint NaN -Inf -> NaN |
|
387 dvix622 divideint NaN -1000 -> NaN |
|
388 dvix623 divideint NaN -1 -> NaN |
|
389 dvix624 divideint NaN -0 -> NaN |
|
390 dvix625 divideint NaN 0 -> NaN |
|
391 dvix626 divideint NaN 1 -> NaN |
|
392 dvix627 divideint NaN 1000 -> NaN |
|
393 dvix628 divideint NaN Inf -> NaN |
|
394 dvix629 divideint NaN NaN -> NaN |
|
395 dvix630 divideint -Inf NaN -> NaN |
|
396 dvix631 divideint -1000 NaN -> NaN |
|
397 dvix632 divideint -1 NaN -> NaN |
|
398 dvix633 divideint -0 NaN -> NaN |
|
399 dvix634 divideint 0 NaN -> NaN |
|
400 dvix635 divideint 1 NaN -> NaN |
|
401 dvix636 divideint 1000 NaN -> NaN |
|
402 dvix637 divideint Inf NaN -> NaN |
|
403 |
|
404 dvix641 divideint sNaN -Inf -> NaN Invalid_operation |
|
405 dvix642 divideint sNaN -1000 -> NaN Invalid_operation |
|
406 dvix643 divideint sNaN -1 -> NaN Invalid_operation |
|
407 dvix644 divideint sNaN -0 -> NaN Invalid_operation |
|
408 dvix645 divideint sNaN 0 -> NaN Invalid_operation |
|
409 dvix646 divideint sNaN 1 -> NaN Invalid_operation |
|
410 dvix647 divideint sNaN 1000 -> NaN Invalid_operation |
|
411 dvix648 divideint sNaN NaN -> NaN Invalid_operation |
|
412 dvix649 divideint sNaN sNaN -> NaN Invalid_operation |
|
413 dvix650 divideint NaN sNaN -> NaN Invalid_operation |
|
414 dvix651 divideint -Inf sNaN -> NaN Invalid_operation |
|
415 dvix652 divideint -1000 sNaN -> NaN Invalid_operation |
|
416 dvix653 divideint -1 sNaN -> NaN Invalid_operation |
|
417 dvix654 divideint -0 sNaN -> NaN Invalid_operation |
|
418 dvix655 divideint 0 sNaN -> NaN Invalid_operation |
|
419 dvix656 divideint 1 sNaN -> NaN Invalid_operation |
|
420 dvix657 divideint 1000 sNaN -> NaN Invalid_operation |
|
421 dvix658 divideint Inf sNaN -> NaN Invalid_operation |
|
422 dvix659 divideint NaN sNaN -> NaN Invalid_operation |
|
423 |
|
424 -- propagating NaNs |
|
425 dvix661 divideint NaN9 -Inf -> NaN9 |
|
426 dvix662 divideint NaN8 1000 -> NaN8 |
|
427 dvix663 divideint NaN7 Inf -> NaN7 |
|
428 dvix664 divideint -NaN6 NaN5 -> -NaN6 |
|
429 dvix665 divideint -Inf NaN4 -> NaN4 |
|
430 dvix666 divideint -1000 NaN3 -> NaN3 |
|
431 dvix667 divideint Inf -NaN2 -> -NaN2 |
|
432 |
|
433 dvix671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation |
|
434 dvix672 divideint sNaN98 -1 -> NaN98 Invalid_operation |
|
435 dvix673 divideint sNaN97 NaN -> NaN97 Invalid_operation |
|
436 dvix674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation |
|
437 dvix675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation |
|
438 dvix676 divideint -Inf sNaN92 -> NaN92 Invalid_operation |
|
439 dvix677 divideint 0 sNaN91 -> NaN91 Invalid_operation |
|
440 dvix678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation |
|
441 dvix679 divideint NaN sNaN89 -> NaN89 Invalid_operation |
|
442 |
|
443 -- some long operand cases again |
|
444 precision: 8 |
|
445 dvix710 divideint 100000001 1 -> NaN Division_impossible |
|
446 dvix711 divideint 100000000.4 1 -> NaN Division_impossible |
|
447 dvix712 divideint 100000000.5 1 -> NaN Division_impossible |
|
448 dvix713 divideint 100000000.9 1 -> NaN Division_impossible |
|
449 dvix714 divideint 100000000.999 1 -> NaN Division_impossible |
|
450 precision: 6 |
|
451 dvix720 divideint 100000000 1 -> NaN Division_impossible |
|
452 dvix721 divideint 10000000 1 -> NaN Division_impossible |
|
453 dvix722 divideint 1000000 1 -> NaN Division_impossible |
|
454 dvix723 divideint 100000 1 -> 100000 |
|
455 dvix724 divideint 10000 1 -> 10000 |
|
456 dvix725 divideint 1000 1 -> 1000 |
|
457 dvix726 divideint 100 1 -> 100 |
|
458 dvix727 divideint 10 1 -> 10 |
|
459 dvix728 divideint 1 1 -> 1 |
|
460 dvix729 divideint 1 10 -> 0 |
|
461 |
|
462 precision: 9 |
|
463 maxexponent: 999999999 |
|
464 minexponent: -999999999 |
|
465 dvix732 divideint 1 0.99e999999999 -> 0 |
|
466 dvix733 divideint 1 0.999999999e999999999 -> 0 |
|
467 dvix734 divideint 9e999999999 1 -> NaN Division_impossible |
|
468 dvix735 divideint 9.9e999999999 1 -> NaN Division_impossible |
|
469 dvix736 divideint 9.99e999999999 1 -> NaN Division_impossible |
|
470 dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible |
|
471 |
|
472 dvix740 divideint 0.1 9e-999999999 -> NaN Division_impossible |
|
473 dvix741 divideint 0.1 99e-999999999 -> NaN Division_impossible |
|
474 dvix742 divideint 0.1 999e-999999999 -> NaN Division_impossible |
|
475 |
|
476 dvix743 divideint 0.1 9e-999999998 -> NaN Division_impossible |
|
477 dvix744 divideint 0.1 99e-999999998 -> NaN Division_impossible |
|
478 dvix745 divideint 0.1 999e-999999998 -> NaN Division_impossible |
|
479 dvix746 divideint 0.1 999e-999999997 -> NaN Division_impossible |
|
480 dvix747 divideint 0.1 9999e-999999997 -> NaN Division_impossible |
|
481 dvix748 divideint 0.1 99999e-999999997 -> NaN Division_impossible |
|
482 |
|
483 |
|
484 -- Null tests |
|
485 dvix900 divideint 10 # -> NaN Invalid_operation |
|
486 dvix901 divideint # 10 -> NaN Invalid_operation |