Commit | Line | Data |
---|---|---|
920dae64 AT |
1 | ------------------------------------------------------------------------ |
2 | -- divideint.decTest -- decimal integer division -- | |
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 | 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 | ||
238 | -- overflow and underflow tests [from divide] | |
239 | maxexponent: 999999999 | |
240 | minexponent: -999999999 | |
241 | dvix330 divideint +1.23456789012345E-0 9E+999999999 -> 0 | |
242 | dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible | |
243 | dvix332 divideint +0.100 9E+999999999 -> 0 | |
244 | dvix333 divideint 9E-999999999 +9.100 -> 0 | |
245 | dvix335 divideint -1.23456789012345E-0 9E+999999999 -> -0 | |
246 | dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible | |
247 | dvix337 divideint -0.100 9E+999999999 -> -0 | |
248 | dvix338 divideint 9E-999999999 -9.100 -> -0 | |
249 | ||
250 | -- long operand checks | |
251 | maxexponent: 999 | |
252 | minexponent: -999 | |
253 | precision: 9 | |
254 | dvix401 divideint 12345678000 100 -> 123456780 | |
255 | dvix402 divideint 1 12345678000 -> 0 | |
256 | dvix403 divideint 1234567800 10 -> 123456780 | |
257 | dvix404 divideint 1 1234567800 -> 0 | |
258 | dvix405 divideint 1234567890 10 -> 123456789 | |
259 | dvix406 divideint 1 1234567890 -> 0 | |
260 | dvix407 divideint 1234567891 10 -> 123456789 | |
261 | dvix408 divideint 1 1234567891 -> 0 | |
262 | dvix409 divideint 12345678901 100 -> 123456789 | |
263 | dvix410 divideint 1 12345678901 -> 0 | |
264 | dvix411 divideint 1234567896 10 -> 123456789 | |
265 | dvix412 divideint 1 1234567896 -> 0 | |
266 | dvix413 divideint 12345678948 100 -> 123456789 | |
267 | dvix414 divideint 12345678949 100 -> 123456789 | |
268 | dvix415 divideint 12345678950 100 -> 123456789 | |
269 | dvix416 divideint 12345678951 100 -> 123456789 | |
270 | dvix417 divideint 12345678999 100 -> 123456789 | |
271 | ||
272 | precision: 15 | |
273 | dvix441 divideint 12345678000 1 -> 12345678000 | |
274 | dvix442 divideint 1 12345678000 -> 0 | |
275 | dvix443 divideint 1234567800 1 -> 1234567800 | |
276 | dvix444 divideint 1 1234567800 -> 0 | |
277 | dvix445 divideint 1234567890 1 -> 1234567890 | |
278 | dvix446 divideint 1 1234567890 -> 0 | |
279 | dvix447 divideint 1234567891 1 -> 1234567891 | |
280 | dvix448 divideint 1 1234567891 -> 0 | |
281 | dvix449 divideint 12345678901 1 -> 12345678901 | |
282 | dvix450 divideint 1 12345678901 -> 0 | |
283 | dvix451 divideint 1234567896 1 -> 1234567896 | |
284 | dvix452 divideint 1 1234567896 -> 0 | |
285 | ||
286 | precision: 9 | |
287 | rounding: half_up | |
288 | maxExponent: 999 | |
289 | minexponent: -999 | |
290 | ||
291 | -- more zeros, etc. | |
292 | dvix531 divideint 5.00 1E-3 -> 5000 | |
293 | dvix532 divideint 00.00 0.000 -> NaN Division_undefined | |
294 | dvix533 divideint 00.00 0E-3 -> NaN Division_undefined | |
295 | dvix534 divideint 0 -0 -> NaN Division_undefined | |
296 | dvix535 divideint -0 0 -> NaN Division_undefined | |
297 | dvix536 divideint -0 -0 -> NaN Division_undefined | |
298 | ||
299 | dvix541 divideint 0 -1 -> -0 | |
300 | dvix542 divideint -0 -1 -> 0 | |
301 | dvix543 divideint 0 1 -> 0 | |
302 | dvix544 divideint -0 1 -> -0 | |
303 | dvix545 divideint -1 0 -> -Infinity Division_by_zero | |
304 | dvix546 divideint -1 -0 -> Infinity Division_by_zero | |
305 | dvix547 divideint 1 0 -> Infinity Division_by_zero | |
306 | dvix548 divideint 1 -0 -> -Infinity Division_by_zero | |
307 | ||
308 | dvix551 divideint 0.0 -1 -> -0 | |
309 | dvix552 divideint -0.0 -1 -> 0 | |
310 | dvix553 divideint 0.0 1 -> 0 | |
311 | dvix554 divideint -0.0 1 -> -0 | |
312 | dvix555 divideint -1.0 0 -> -Infinity Division_by_zero | |
313 | dvix556 divideint -1.0 -0 -> Infinity Division_by_zero | |
314 | dvix557 divideint 1.0 0 -> Infinity Division_by_zero | |
315 | dvix558 divideint 1.0 -0 -> -Infinity Division_by_zero | |
316 | ||
317 | dvix561 divideint 0 -1.0 -> -0 | |
318 | dvix562 divideint -0 -1.0 -> 0 | |
319 | dvix563 divideint 0 1.0 -> 0 | |
320 | dvix564 divideint -0 1.0 -> -0 | |
321 | dvix565 divideint -1 0.0 -> -Infinity Division_by_zero | |
322 | dvix566 divideint -1 -0.0 -> Infinity Division_by_zero | |
323 | dvix567 divideint 1 0.0 -> Infinity Division_by_zero | |
324 | dvix568 divideint 1 -0.0 -> -Infinity Division_by_zero | |
325 | ||
326 | dvix571 divideint 0.0 -1.0 -> -0 | |
327 | dvix572 divideint -0.0 -1.0 -> 0 | |
328 | dvix573 divideint 0.0 1.0 -> 0 | |
329 | dvix574 divideint -0.0 1.0 -> -0 | |
330 | dvix575 divideint -1.0 0.0 -> -Infinity Division_by_zero | |
331 | dvix576 divideint -1.0 -0.0 -> Infinity Division_by_zero | |
332 | dvix577 divideint 1.0 0.0 -> Infinity Division_by_zero | |
333 | dvix578 divideint 1.0 -0.0 -> -Infinity Division_by_zero | |
334 | ||
335 | -- Specials | |
336 | dvix580 divideint Inf -Inf -> NaN Invalid_operation | |
337 | dvix581 divideint Inf -1000 -> -Infinity | |
338 | dvix582 divideint Inf -1 -> -Infinity | |
339 | dvix583 divideint Inf -0 -> -Infinity | |
340 | dvix584 divideint Inf 0 -> Infinity | |
341 | dvix585 divideint Inf 1 -> Infinity | |
342 | dvix586 divideint Inf 1000 -> Infinity | |
343 | dvix587 divideint Inf Inf -> NaN Invalid_operation | |
344 | dvix588 divideint -1000 Inf -> -0 | |
345 | dvix589 divideint -Inf Inf -> NaN Invalid_operation | |
346 | dvix590 divideint -1 Inf -> -0 | |
347 | dvix591 divideint -0 Inf -> -0 | |
348 | dvix592 divideint 0 Inf -> 0 | |
349 | dvix593 divideint 1 Inf -> 0 | |
350 | dvix594 divideint 1000 Inf -> 0 | |
351 | dvix595 divideint Inf Inf -> NaN Invalid_operation | |
352 | ||
353 | dvix600 divideint -Inf -Inf -> NaN Invalid_operation | |
354 | dvix601 divideint -Inf -1000 -> Infinity | |
355 | dvix602 divideint -Inf -1 -> Infinity | |
356 | dvix603 divideint -Inf -0 -> Infinity | |
357 | dvix604 divideint -Inf 0 -> -Infinity | |
358 | dvix605 divideint -Inf 1 -> -Infinity | |
359 | dvix606 divideint -Inf 1000 -> -Infinity | |
360 | dvix607 divideint -Inf Inf -> NaN Invalid_operation | |
361 | dvix608 divideint -1000 Inf -> -0 | |
362 | dvix609 divideint -Inf -Inf -> NaN Invalid_operation | |
363 | dvix610 divideint -1 -Inf -> 0 | |
364 | dvix611 divideint -0 -Inf -> 0 | |
365 | dvix612 divideint 0 -Inf -> -0 | |
366 | dvix613 divideint 1 -Inf -> -0 | |
367 | dvix614 divideint 1000 -Inf -> -0 | |
368 | dvix615 divideint Inf -Inf -> NaN Invalid_operation | |
369 | ||
370 | dvix621 divideint NaN -Inf -> NaN | |
371 | dvix622 divideint NaN -1000 -> NaN | |
372 | dvix623 divideint NaN -1 -> NaN | |
373 | dvix624 divideint NaN -0 -> NaN | |
374 | dvix625 divideint NaN 0 -> NaN | |
375 | dvix626 divideint NaN 1 -> NaN | |
376 | dvix627 divideint NaN 1000 -> NaN | |
377 | dvix628 divideint NaN Inf -> NaN | |
378 | dvix629 divideint NaN NaN -> NaN | |
379 | dvix630 divideint -Inf NaN -> NaN | |
380 | dvix631 divideint -1000 NaN -> NaN | |
381 | dvix632 divideint -1 NaN -> NaN | |
382 | dvix633 divideint -0 NaN -> NaN | |
383 | dvix634 divideint 0 NaN -> NaN | |
384 | dvix635 divideint 1 NaN -> NaN | |
385 | dvix636 divideint 1000 NaN -> NaN | |
386 | dvix637 divideint Inf NaN -> NaN | |
387 | ||
388 | dvix641 divideint sNaN -Inf -> NaN Invalid_operation | |
389 | dvix642 divideint sNaN -1000 -> NaN Invalid_operation | |
390 | dvix643 divideint sNaN -1 -> NaN Invalid_operation | |
391 | dvix644 divideint sNaN -0 -> NaN Invalid_operation | |
392 | dvix645 divideint sNaN 0 -> NaN Invalid_operation | |
393 | dvix646 divideint sNaN 1 -> NaN Invalid_operation | |
394 | dvix647 divideint sNaN 1000 -> NaN Invalid_operation | |
395 | dvix648 divideint sNaN NaN -> NaN Invalid_operation | |
396 | dvix649 divideint sNaN sNaN -> NaN Invalid_operation | |
397 | dvix650 divideint NaN sNaN -> NaN Invalid_operation | |
398 | dvix651 divideint -Inf sNaN -> NaN Invalid_operation | |
399 | dvix652 divideint -1000 sNaN -> NaN Invalid_operation | |
400 | dvix653 divideint -1 sNaN -> NaN Invalid_operation | |
401 | dvix654 divideint -0 sNaN -> NaN Invalid_operation | |
402 | dvix655 divideint 0 sNaN -> NaN Invalid_operation | |
403 | dvix656 divideint 1 sNaN -> NaN Invalid_operation | |
404 | dvix657 divideint 1000 sNaN -> NaN Invalid_operation | |
405 | dvix658 divideint Inf sNaN -> NaN Invalid_operation | |
406 | dvix659 divideint NaN sNaN -> NaN Invalid_operation | |
407 | ||
408 | -- propagating NaNs | |
409 | dvix661 divideint NaN9 -Inf -> NaN9 | |
410 | dvix662 divideint NaN8 1000 -> NaN8 | |
411 | dvix663 divideint NaN7 Inf -> NaN7 | |
412 | dvix664 divideint -NaN6 NaN5 -> -NaN6 | |
413 | dvix665 divideint -Inf NaN4 -> NaN4 | |
414 | dvix666 divideint -1000 NaN3 -> NaN3 | |
415 | dvix667 divideint Inf -NaN2 -> -NaN2 | |
416 | ||
417 | dvix671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation | |
418 | dvix672 divideint sNaN98 -1 -> NaN98 Invalid_operation | |
419 | dvix673 divideint sNaN97 NaN -> NaN97 Invalid_operation | |
420 | dvix674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation | |
421 | dvix675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation | |
422 | dvix676 divideint -Inf sNaN92 -> NaN92 Invalid_operation | |
423 | dvix677 divideint 0 sNaN91 -> NaN91 Invalid_operation | |
424 | dvix678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation | |
425 | dvix679 divideint NaN sNaN89 -> NaN89 Invalid_operation | |
426 | ||
427 | -- some long operand cases again | |
428 | precision: 8 | |
429 | dvix710 divideint 100000001 1 -> NaN Division_impossible | |
430 | dvix711 divideint 100000000.4 1 -> NaN Division_impossible | |
431 | dvix712 divideint 100000000.5 1 -> NaN Division_impossible | |
432 | dvix713 divideint 100000000.9 1 -> NaN Division_impossible | |
433 | dvix714 divideint 100000000.999 1 -> NaN Division_impossible | |
434 | precision: 6 | |
435 | dvix720 divideint 100000000 1 -> NaN Division_impossible | |
436 | dvix721 divideint 10000000 1 -> NaN Division_impossible | |
437 | dvix722 divideint 1000000 1 -> NaN Division_impossible | |
438 | dvix723 divideint 100000 1 -> 100000 | |
439 | dvix724 divideint 10000 1 -> 10000 | |
440 | dvix725 divideint 1000 1 -> 1000 | |
441 | dvix726 divideint 100 1 -> 100 | |
442 | dvix727 divideint 10 1 -> 10 | |
443 | dvix728 divideint 1 1 -> 1 | |
444 | dvix729 divideint 1 10 -> 0 | |
445 | ||
446 | precision: 9 | |
447 | maxexponent: 999999999 | |
448 | minexponent: -999999999 | |
449 | dvix732 divideint 1 0.99e999999999 -> 0 | |
450 | dvix733 divideint 1 0.999999999e999999999 -> 0 | |
451 | dvix734 divideint 9e999999999 1 -> NaN Division_impossible | |
452 | dvix735 divideint 9.9e999999999 1 -> NaN Division_impossible | |
453 | dvix736 divideint 9.99e999999999 1 -> NaN Division_impossible | |
454 | dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible | |
455 | ||
456 | dvix740 divideint 0.1 9e-999999999 -> NaN Division_impossible | |
457 | dvix741 divideint 0.1 99e-999999999 -> NaN Division_impossible | |
458 | dvix742 divideint 0.1 999e-999999999 -> NaN Division_impossible | |
459 | ||
460 | dvix743 divideint 0.1 9e-999999998 -> NaN Division_impossible | |
461 | dvix744 divideint 0.1 99e-999999998 -> NaN Division_impossible | |
462 | dvix745 divideint 0.1 999e-999999998 -> NaN Division_impossible | |
463 | dvix746 divideint 0.1 999e-999999997 -> NaN Division_impossible | |
464 | dvix747 divideint 0.1 9999e-999999997 -> NaN Division_impossible | |
465 | dvix748 divideint 0.1 99999e-999999997 -> NaN Division_impossible | |
466 | ||
467 | ||
468 | -- Null tests | |
469 | dvix900 divideint 10 # -> NaN Invalid_operation | |
470 | dvix901 divideint # 10 -> NaN Invalid_operation |