|
1 ------------------------------------------------------------------------ |
|
2 -- ddDivideInt.decTest -- decDouble 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 precision: 16 |
|
23 maxExponent: 384 |
|
24 minExponent: -383 |
|
25 extended: 1 |
|
26 clamp: 1 |
|
27 rounding: half_even |
|
28 |
|
29 dddvi001 divideint 1 1 -> 1 |
|
30 dddvi002 divideint 2 1 -> 2 |
|
31 dddvi003 divideint 1 2 -> 0 |
|
32 dddvi004 divideint 2 2 -> 1 |
|
33 dddvi005 divideint 0 1 -> 0 |
|
34 dddvi006 divideint 0 2 -> 0 |
|
35 dddvi007 divideint 1 3 -> 0 |
|
36 dddvi008 divideint 2 3 -> 0 |
|
37 dddvi009 divideint 3 3 -> 1 |
|
38 |
|
39 dddvi010 divideint 2.4 1 -> 2 |
|
40 dddvi011 divideint 2.4 -1 -> -2 |
|
41 dddvi012 divideint -2.4 1 -> -2 |
|
42 dddvi013 divideint -2.4 -1 -> 2 |
|
43 dddvi014 divideint 2.40 1 -> 2 |
|
44 dddvi015 divideint 2.400 1 -> 2 |
|
45 dddvi016 divideint 2.4 2 -> 1 |
|
46 dddvi017 divideint 2.400 2 -> 1 |
|
47 dddvi018 divideint 2. 2 -> 1 |
|
48 dddvi019 divideint 20 20 -> 1 |
|
49 |
|
50 dddvi020 divideint 187 187 -> 1 |
|
51 dddvi021 divideint 5 2 -> 2 |
|
52 dddvi022 divideint 5 2.0 -> 2 |
|
53 dddvi023 divideint 5 2.000 -> 2 |
|
54 dddvi024 divideint 5 0.200 -> 25 |
|
55 dddvi025 divideint 5 0.200 -> 25 |
|
56 |
|
57 dddvi030 divideint 1 2 -> 0 |
|
58 dddvi031 divideint 1 4 -> 0 |
|
59 dddvi032 divideint 1 8 -> 0 |
|
60 dddvi033 divideint 1 16 -> 0 |
|
61 dddvi034 divideint 1 32 -> 0 |
|
62 dddvi035 divideint 1 64 -> 0 |
|
63 dddvi040 divideint 1 -2 -> -0 |
|
64 dddvi041 divideint 1 -4 -> -0 |
|
65 dddvi042 divideint 1 -8 -> -0 |
|
66 dddvi043 divideint 1 -16 -> -0 |
|
67 dddvi044 divideint 1 -32 -> -0 |
|
68 dddvi045 divideint 1 -64 -> -0 |
|
69 dddvi050 divideint -1 2 -> -0 |
|
70 dddvi051 divideint -1 4 -> -0 |
|
71 dddvi052 divideint -1 8 -> -0 |
|
72 dddvi053 divideint -1 16 -> -0 |
|
73 dddvi054 divideint -1 32 -> -0 |
|
74 dddvi055 divideint -1 64 -> -0 |
|
75 dddvi060 divideint -1 -2 -> 0 |
|
76 dddvi061 divideint -1 -4 -> 0 |
|
77 dddvi062 divideint -1 -8 -> 0 |
|
78 dddvi063 divideint -1 -16 -> 0 |
|
79 dddvi064 divideint -1 -32 -> 0 |
|
80 dddvi065 divideint -1 -64 -> 0 |
|
81 |
|
82 -- similar with powers of ten |
|
83 dddvi160 divideint 1 1 -> 1 |
|
84 dddvi161 divideint 1 10 -> 0 |
|
85 dddvi162 divideint 1 100 -> 0 |
|
86 dddvi163 divideint 1 1000 -> 0 |
|
87 dddvi164 divideint 1 10000 -> 0 |
|
88 dddvi165 divideint 1 100000 -> 0 |
|
89 dddvi166 divideint 1 1000000 -> 0 |
|
90 dddvi167 divideint 1 10000000 -> 0 |
|
91 dddvi168 divideint 1 100000000 -> 0 |
|
92 dddvi170 divideint 1 -1 -> -1 |
|
93 dddvi171 divideint 1 -10 -> -0 |
|
94 dddvi172 divideint 1 -100 -> -0 |
|
95 dddvi173 divideint 1 -1000 -> -0 |
|
96 dddvi174 divideint 1 -10000 -> -0 |
|
97 dddvi175 divideint 1 -100000 -> -0 |
|
98 dddvi176 divideint 1 -1000000 -> -0 |
|
99 dddvi177 divideint 1 -10000000 -> -0 |
|
100 dddvi178 divideint 1 -100000000 -> -0 |
|
101 dddvi180 divideint -1 1 -> -1 |
|
102 dddvi181 divideint -1 10 -> -0 |
|
103 dddvi182 divideint -1 100 -> -0 |
|
104 dddvi183 divideint -1 1000 -> -0 |
|
105 dddvi184 divideint -1 10000 -> -0 |
|
106 dddvi185 divideint -1 100000 -> -0 |
|
107 dddvi186 divideint -1 1000000 -> -0 |
|
108 dddvi187 divideint -1 10000000 -> -0 |
|
109 dddvi188 divideint -1 100000000 -> -0 |
|
110 dddvi190 divideint -1 -1 -> 1 |
|
111 dddvi191 divideint -1 -10 -> 0 |
|
112 dddvi192 divideint -1 -100 -> 0 |
|
113 dddvi193 divideint -1 -1000 -> 0 |
|
114 dddvi194 divideint -1 -10000 -> 0 |
|
115 dddvi195 divideint -1 -100000 -> 0 |
|
116 dddvi196 divideint -1 -1000000 -> 0 |
|
117 dddvi197 divideint -1 -10000000 -> 0 |
|
118 dddvi198 divideint -1 -100000000 -> 0 |
|
119 |
|
120 -- some long operand (at p=9) cases |
|
121 dddvi070 divideint 999999999 1 -> 999999999 |
|
122 dddvi071 divideint 999999999.4 1 -> 999999999 |
|
123 dddvi072 divideint 999999999.5 1 -> 999999999 |
|
124 dddvi073 divideint 999999999.9 1 -> 999999999 |
|
125 dddvi074 divideint 999999999.999 1 -> 999999999 |
|
126 |
|
127 dddvi090 divideint 0. 1 -> 0 |
|
128 dddvi091 divideint .0 1 -> 0 |
|
129 dddvi092 divideint 0.00 1 -> 0 |
|
130 dddvi093 divideint 0.00E+9 1 -> 0 |
|
131 dddvi094 divideint 0.0000E-50 1 -> 0 |
|
132 |
|
133 dddvi100 divideint 1 1 -> 1 |
|
134 dddvi101 divideint 1 2 -> 0 |
|
135 dddvi102 divideint 1 3 -> 0 |
|
136 dddvi103 divideint 1 4 -> 0 |
|
137 dddvi104 divideint 1 5 -> 0 |
|
138 dddvi105 divideint 1 6 -> 0 |
|
139 dddvi106 divideint 1 7 -> 0 |
|
140 dddvi107 divideint 1 8 -> 0 |
|
141 dddvi108 divideint 1 9 -> 0 |
|
142 dddvi109 divideint 1 10 -> 0 |
|
143 dddvi110 divideint 1 1 -> 1 |
|
144 dddvi111 divideint 2 1 -> 2 |
|
145 dddvi112 divideint 3 1 -> 3 |
|
146 dddvi113 divideint 4 1 -> 4 |
|
147 dddvi114 divideint 5 1 -> 5 |
|
148 dddvi115 divideint 6 1 -> 6 |
|
149 dddvi116 divideint 7 1 -> 7 |
|
150 dddvi117 divideint 8 1 -> 8 |
|
151 dddvi118 divideint 9 1 -> 9 |
|
152 dddvi119 divideint 10 1 -> 10 |
|
153 |
|
154 -- from DiagBigDecimal |
|
155 dddvi131 divideint 101.3 1 -> 101 |
|
156 dddvi132 divideint 101.0 1 -> 101 |
|
157 dddvi133 divideint 101.3 3 -> 33 |
|
158 dddvi134 divideint 101.0 3 -> 33 |
|
159 dddvi135 divideint 2.4 1 -> 2 |
|
160 dddvi136 divideint 2.400 1 -> 2 |
|
161 dddvi137 divideint 18 18 -> 1 |
|
162 dddvi138 divideint 1120 1000 -> 1 |
|
163 dddvi139 divideint 2.4 2 -> 1 |
|
164 dddvi140 divideint 2.400 2 -> 1 |
|
165 dddvi141 divideint 0.5 2.000 -> 0 |
|
166 dddvi142 divideint 8.005 7 -> 1 |
|
167 dddvi143 divideint 5 2 -> 2 |
|
168 dddvi144 divideint 0 2 -> 0 |
|
169 dddvi145 divideint 0.00 2 -> 0 |
|
170 |
|
171 -- Others |
|
172 dddvi150 divideint 12345 4.999 -> 2469 |
|
173 dddvi151 divideint 12345 4.99 -> 2473 |
|
174 dddvi152 divideint 12345 4.9 -> 2519 |
|
175 dddvi153 divideint 12345 5 -> 2469 |
|
176 dddvi154 divideint 12345 5.1 -> 2420 |
|
177 dddvi155 divideint 12345 5.01 -> 2464 |
|
178 dddvi156 divideint 12345 5.001 -> 2468 |
|
179 dddvi157 divideint 101 7.6 -> 13 |
|
180 |
|
181 -- Various flavours of divideint by 0 |
|
182 dddvi201 divideint 0 0 -> NaN Division_undefined |
|
183 dddvi202 divideint 0.0E5 0 -> NaN Division_undefined |
|
184 dddvi203 divideint 0.000 0 -> NaN Division_undefined |
|
185 dddvi204 divideint 0.0001 0 -> Infinity Division_by_zero |
|
186 dddvi205 divideint 0.01 0 -> Infinity Division_by_zero |
|
187 dddvi206 divideint 0.1 0 -> Infinity Division_by_zero |
|
188 dddvi207 divideint 1 0 -> Infinity Division_by_zero |
|
189 dddvi208 divideint 1 0.0 -> Infinity Division_by_zero |
|
190 dddvi209 divideint 10 0.0 -> Infinity Division_by_zero |
|
191 dddvi210 divideint 1E+100 0.0 -> Infinity Division_by_zero |
|
192 dddvi211 divideint 1E+380 0 -> Infinity Division_by_zero |
|
193 dddvi214 divideint -0.0001 0 -> -Infinity Division_by_zero |
|
194 dddvi215 divideint -0.01 0 -> -Infinity Division_by_zero |
|
195 dddvi216 divideint -0.1 0 -> -Infinity Division_by_zero |
|
196 dddvi217 divideint -1 0 -> -Infinity Division_by_zero |
|
197 dddvi218 divideint -1 0.0 -> -Infinity Division_by_zero |
|
198 dddvi219 divideint -10 0.0 -> -Infinity Division_by_zero |
|
199 dddvi220 divideint -1E+100 0.0 -> -Infinity Division_by_zero |
|
200 dddvi221 divideint -1E+380 0 -> -Infinity Division_by_zero |
|
201 |
|
202 -- test some cases that are close to exponent overflow |
|
203 dddvi270 divideint 1 1e384 -> 0 |
|
204 dddvi271 divideint 1 0.9e384 -> 0 |
|
205 dddvi272 divideint 1 0.99e384 -> 0 |
|
206 dddvi273 divideint 1 0.9999999999999999e384 -> 0 |
|
207 dddvi274 divideint 9e384 1 -> NaN Division_impossible |
|
208 dddvi275 divideint 9.9e384 1 -> NaN Division_impossible |
|
209 dddvi276 divideint 9.99e384 1 -> NaN Division_impossible |
|
210 dddvi277 divideint 9.999999999999999e384 1 -> NaN Division_impossible |
|
211 |
|
212 dddvi280 divideint 0.1 9e-383 -> NaN Division_impossible |
|
213 dddvi281 divideint 0.1 99e-383 -> NaN Division_impossible |
|
214 dddvi282 divideint 0.1 999e-383 -> NaN Division_impossible |
|
215 dddvi283 divideint 0.1 9e-382 -> NaN Division_impossible |
|
216 dddvi284 divideint 0.1 99e-382 -> NaN Division_impossible |
|
217 |
|
218 -- GD edge cases: lhs smaller than rhs but more digits |
|
219 dddvi301 divideint 0.9 2 -> 0 |
|
220 dddvi302 divideint 0.9 2.0 -> 0 |
|
221 dddvi303 divideint 0.9 2.1 -> 0 |
|
222 dddvi304 divideint 0.9 2.00 -> 0 |
|
223 dddvi305 divideint 0.9 2.01 -> 0 |
|
224 dddvi306 divideint 0.12 1 -> 0 |
|
225 dddvi307 divideint 0.12 1.0 -> 0 |
|
226 dddvi308 divideint 0.12 1.00 -> 0 |
|
227 dddvi309 divideint 0.12 1.0 -> 0 |
|
228 dddvi310 divideint 0.12 1.00 -> 0 |
|
229 dddvi311 divideint 0.12 2 -> 0 |
|
230 dddvi312 divideint 0.12 2.0 -> 0 |
|
231 dddvi313 divideint 0.12 2.1 -> 0 |
|
232 dddvi314 divideint 0.12 2.00 -> 0 |
|
233 dddvi315 divideint 0.12 2.01 -> 0 |
|
234 |
|
235 -- edge cases of impossible |
|
236 dddvi330 divideint 1234567890123456 10 -> 123456789012345 |
|
237 dddvi331 divideint 1234567890123456 1 -> 1234567890123456 |
|
238 dddvi332 divideint 1234567890123456 0.1 -> NaN Division_impossible |
|
239 dddvi333 divideint 1234567890123456 0.01 -> NaN Division_impossible |
|
240 |
|
241 -- overflow and underflow tests [from divide] |
|
242 dddvi1051 divideint 1e+277 1e-311 -> NaN Division_impossible |
|
243 dddvi1052 divideint 1e+277 -1e-311 -> NaN Division_impossible |
|
244 dddvi1053 divideint -1e+277 1e-311 -> NaN Division_impossible |
|
245 dddvi1054 divideint -1e+277 -1e-311 -> NaN Division_impossible |
|
246 dddvi1055 divideint 1e-277 1e+311 -> 0 |
|
247 dddvi1056 divideint 1e-277 -1e+311 -> -0 |
|
248 dddvi1057 divideint -1e-277 1e+311 -> -0 |
|
249 dddvi1058 divideint -1e-277 -1e+311 -> 0 |
|
250 |
|
251 -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic) |
|
252 dddvi1060 divideint 1e-291 1e+101 -> 0 |
|
253 dddvi1061 divideint 1e-291 1e+102 -> 0 |
|
254 dddvi1062 divideint 1e-291 1e+103 -> 0 |
|
255 dddvi1063 divideint 1e-291 1e+104 -> 0 |
|
256 dddvi1064 divideint 1e-291 1e+105 -> 0 |
|
257 dddvi1065 divideint 1e-291 1e+106 -> 0 |
|
258 dddvi1066 divideint 1e-291 1e+107 -> 0 |
|
259 dddvi1067 divideint 1e-291 1e+108 -> 0 |
|
260 dddvi1068 divideint 1e-291 1e+109 -> 0 |
|
261 dddvi1069 divideint 1e-291 1e+110 -> 0 |
|
262 |
|
263 dddvi1101 divideint 1.0000E-394 1 -> 0 |
|
264 dddvi1102 divideint 1.000E-394 1e+1 -> 0 |
|
265 dddvi1103 divideint 1.00E-394 1e+2 -> 0 |
|
266 |
|
267 dddvi1118 divideint 1E-394 1e+4 -> 0 |
|
268 dddvi1119 divideint 3E-394 -1e+5 -> -0 |
|
269 dddvi1120 divideint 5E-394 1e+5 -> 0 |
|
270 |
|
271 dddvi1124 divideint 1E-394 -1e+4 -> -0 |
|
272 dddvi1130 divideint 3.0E-394 -1e+5 -> -0 |
|
273 |
|
274 dddvi1131 divideint 1.0E-199 1e+200 -> 0 |
|
275 dddvi1132 divideint 1.0E-199 1e+199 -> 0 |
|
276 dddvi1133 divideint 1.0E-199 1e+198 -> 0 |
|
277 dddvi1134 divideint 2.0E-199 2e+198 -> 0 |
|
278 dddvi1135 divideint 4.0E-199 4e+198 -> 0 |
|
279 |
|
280 -- long operand checks |
|
281 dddvi401 divideint 12345678000 100 -> 123456780 |
|
282 dddvi402 divideint 1 12345678000 -> 0 |
|
283 dddvi403 divideint 1234567800 10 -> 123456780 |
|
284 dddvi404 divideint 1 1234567800 -> 0 |
|
285 dddvi405 divideint 1234567890 10 -> 123456789 |
|
286 dddvi406 divideint 1 1234567890 -> 0 |
|
287 dddvi407 divideint 1234567891 10 -> 123456789 |
|
288 dddvi408 divideint 1 1234567891 -> 0 |
|
289 dddvi409 divideint 12345678901 100 -> 123456789 |
|
290 dddvi410 divideint 1 12345678901 -> 0 |
|
291 dddvi411 divideint 1234567896 10 -> 123456789 |
|
292 dddvi412 divideint 1 1234567896 -> 0 |
|
293 dddvi413 divideint 12345678948 100 -> 123456789 |
|
294 dddvi414 divideint 12345678949 100 -> 123456789 |
|
295 dddvi415 divideint 12345678950 100 -> 123456789 |
|
296 dddvi416 divideint 12345678951 100 -> 123456789 |
|
297 dddvi417 divideint 12345678999 100 -> 123456789 |
|
298 dddvi441 divideint 12345678000 1 -> 12345678000 |
|
299 dddvi442 divideint 1 12345678000 -> 0 |
|
300 dddvi443 divideint 1234567800 1 -> 1234567800 |
|
301 dddvi444 divideint 1 1234567800 -> 0 |
|
302 dddvi445 divideint 1234567890 1 -> 1234567890 |
|
303 dddvi446 divideint 1 1234567890 -> 0 |
|
304 dddvi447 divideint 1234567891 1 -> 1234567891 |
|
305 dddvi448 divideint 1 1234567891 -> 0 |
|
306 dddvi449 divideint 12345678901 1 -> 12345678901 |
|
307 dddvi450 divideint 1 12345678901 -> 0 |
|
308 dddvi451 divideint 1234567896 1 -> 1234567896 |
|
309 dddvi452 divideint 1 1234567896 -> 0 |
|
310 |
|
311 -- more zeros, etc. |
|
312 dddvi531 divideint 5.00 1E-3 -> 5000 |
|
313 dddvi532 divideint 00.00 0.000 -> NaN Division_undefined |
|
314 dddvi533 divideint 00.00 0E-3 -> NaN Division_undefined |
|
315 dddvi534 divideint 0 -0 -> NaN Division_undefined |
|
316 dddvi535 divideint -0 0 -> NaN Division_undefined |
|
317 dddvi536 divideint -0 -0 -> NaN Division_undefined |
|
318 |
|
319 dddvi541 divideint 0 -1 -> -0 |
|
320 dddvi542 divideint -0 -1 -> 0 |
|
321 dddvi543 divideint 0 1 -> 0 |
|
322 dddvi544 divideint -0 1 -> -0 |
|
323 dddvi545 divideint -1 0 -> -Infinity Division_by_zero |
|
324 dddvi546 divideint -1 -0 -> Infinity Division_by_zero |
|
325 dddvi547 divideint 1 0 -> Infinity Division_by_zero |
|
326 dddvi548 divideint 1 -0 -> -Infinity Division_by_zero |
|
327 |
|
328 dddvi551 divideint 0.0 -1 -> -0 |
|
329 dddvi552 divideint -0.0 -1 -> 0 |
|
330 dddvi553 divideint 0.0 1 -> 0 |
|
331 dddvi554 divideint -0.0 1 -> -0 |
|
332 dddvi555 divideint -1.0 0 -> -Infinity Division_by_zero |
|
333 dddvi556 divideint -1.0 -0 -> Infinity Division_by_zero |
|
334 dddvi557 divideint 1.0 0 -> Infinity Division_by_zero |
|
335 dddvi558 divideint 1.0 -0 -> -Infinity Division_by_zero |
|
336 |
|
337 dddvi561 divideint 0 -1.0 -> -0 |
|
338 dddvi562 divideint -0 -1.0 -> 0 |
|
339 dddvi563 divideint 0 1.0 -> 0 |
|
340 dddvi564 divideint -0 1.0 -> -0 |
|
341 dddvi565 divideint -1 0.0 -> -Infinity Division_by_zero |
|
342 dddvi566 divideint -1 -0.0 -> Infinity Division_by_zero |
|
343 dddvi567 divideint 1 0.0 -> Infinity Division_by_zero |
|
344 dddvi568 divideint 1 -0.0 -> -Infinity Division_by_zero |
|
345 |
|
346 dddvi571 divideint 0.0 -1.0 -> -0 |
|
347 dddvi572 divideint -0.0 -1.0 -> 0 |
|
348 dddvi573 divideint 0.0 1.0 -> 0 |
|
349 dddvi574 divideint -0.0 1.0 -> -0 |
|
350 dddvi575 divideint -1.0 0.0 -> -Infinity Division_by_zero |
|
351 dddvi576 divideint -1.0 -0.0 -> Infinity Division_by_zero |
|
352 dddvi577 divideint 1.0 0.0 -> Infinity Division_by_zero |
|
353 dddvi578 divideint 1.0 -0.0 -> -Infinity Division_by_zero |
|
354 |
|
355 -- Specials |
|
356 dddvi580 divideint Inf -Inf -> NaN Invalid_operation |
|
357 dddvi581 divideint Inf -1000 -> -Infinity |
|
358 dddvi582 divideint Inf -1 -> -Infinity |
|
359 dddvi583 divideint Inf -0 -> -Infinity |
|
360 dddvi584 divideint Inf 0 -> Infinity |
|
361 dddvi585 divideint Inf 1 -> Infinity |
|
362 dddvi586 divideint Inf 1000 -> Infinity |
|
363 dddvi587 divideint Inf Inf -> NaN Invalid_operation |
|
364 dddvi588 divideint -1000 Inf -> -0 |
|
365 dddvi589 divideint -Inf Inf -> NaN Invalid_operation |
|
366 dddvi590 divideint -1 Inf -> -0 |
|
367 dddvi591 divideint -0 Inf -> -0 |
|
368 dddvi592 divideint 0 Inf -> 0 |
|
369 dddvi593 divideint 1 Inf -> 0 |
|
370 dddvi594 divideint 1000 Inf -> 0 |
|
371 dddvi595 divideint Inf Inf -> NaN Invalid_operation |
|
372 |
|
373 dddvi600 divideint -Inf -Inf -> NaN Invalid_operation |
|
374 dddvi601 divideint -Inf -1000 -> Infinity |
|
375 dddvi602 divideint -Inf -1 -> Infinity |
|
376 dddvi603 divideint -Inf -0 -> Infinity |
|
377 dddvi604 divideint -Inf 0 -> -Infinity |
|
378 dddvi605 divideint -Inf 1 -> -Infinity |
|
379 dddvi606 divideint -Inf 1000 -> -Infinity |
|
380 dddvi607 divideint -Inf Inf -> NaN Invalid_operation |
|
381 dddvi608 divideint -1000 Inf -> -0 |
|
382 dddvi609 divideint -Inf -Inf -> NaN Invalid_operation |
|
383 dddvi610 divideint -1 -Inf -> 0 |
|
384 dddvi611 divideint -0 -Inf -> 0 |
|
385 dddvi612 divideint 0 -Inf -> -0 |
|
386 dddvi613 divideint 1 -Inf -> -0 |
|
387 dddvi614 divideint 1000 -Inf -> -0 |
|
388 dddvi615 divideint Inf -Inf -> NaN Invalid_operation |
|
389 |
|
390 dddvi621 divideint NaN -Inf -> NaN |
|
391 dddvi622 divideint NaN -1000 -> NaN |
|
392 dddvi623 divideint NaN -1 -> NaN |
|
393 dddvi624 divideint NaN -0 -> NaN |
|
394 dddvi625 divideint NaN 0 -> NaN |
|
395 dddvi626 divideint NaN 1 -> NaN |
|
396 dddvi627 divideint NaN 1000 -> NaN |
|
397 dddvi628 divideint NaN Inf -> NaN |
|
398 dddvi629 divideint NaN NaN -> NaN |
|
399 dddvi630 divideint -Inf NaN -> NaN |
|
400 dddvi631 divideint -1000 NaN -> NaN |
|
401 dddvi632 divideint -1 NaN -> NaN |
|
402 dddvi633 divideint -0 NaN -> NaN |
|
403 dddvi634 divideint 0 NaN -> NaN |
|
404 dddvi635 divideint 1 NaN -> NaN |
|
405 dddvi636 divideint 1000 NaN -> NaN |
|
406 dddvi637 divideint Inf NaN -> NaN |
|
407 |
|
408 dddvi641 divideint sNaN -Inf -> NaN Invalid_operation |
|
409 dddvi642 divideint sNaN -1000 -> NaN Invalid_operation |
|
410 dddvi643 divideint sNaN -1 -> NaN Invalid_operation |
|
411 dddvi644 divideint sNaN -0 -> NaN Invalid_operation |
|
412 dddvi645 divideint sNaN 0 -> NaN Invalid_operation |
|
413 dddvi646 divideint sNaN 1 -> NaN Invalid_operation |
|
414 dddvi647 divideint sNaN 1000 -> NaN Invalid_operation |
|
415 dddvi648 divideint sNaN NaN -> NaN Invalid_operation |
|
416 dddvi649 divideint sNaN sNaN -> NaN Invalid_operation |
|
417 dddvi650 divideint NaN sNaN -> NaN Invalid_operation |
|
418 dddvi651 divideint -Inf sNaN -> NaN Invalid_operation |
|
419 dddvi652 divideint -1000 sNaN -> NaN Invalid_operation |
|
420 dddvi653 divideint -1 sNaN -> NaN Invalid_operation |
|
421 dddvi654 divideint -0 sNaN -> NaN Invalid_operation |
|
422 dddvi655 divideint 0 sNaN -> NaN Invalid_operation |
|
423 dddvi656 divideint 1 sNaN -> NaN Invalid_operation |
|
424 dddvi657 divideint 1000 sNaN -> NaN Invalid_operation |
|
425 dddvi658 divideint Inf sNaN -> NaN Invalid_operation |
|
426 dddvi659 divideint NaN sNaN -> NaN Invalid_operation |
|
427 |
|
428 -- propagating NaNs |
|
429 dddvi661 divideint NaN9 -Inf -> NaN9 |
|
430 dddvi662 divideint NaN8 1000 -> NaN8 |
|
431 dddvi663 divideint NaN7 Inf -> NaN7 |
|
432 dddvi664 divideint -NaN6 NaN5 -> -NaN6 |
|
433 dddvi665 divideint -Inf NaN4 -> NaN4 |
|
434 dddvi666 divideint -1000 NaN3 -> NaN3 |
|
435 dddvi667 divideint Inf -NaN2 -> -NaN2 |
|
436 |
|
437 dddvi671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation |
|
438 dddvi672 divideint sNaN98 -1 -> NaN98 Invalid_operation |
|
439 dddvi673 divideint sNaN97 NaN -> NaN97 Invalid_operation |
|
440 dddvi674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation |
|
441 dddvi675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation |
|
442 dddvi676 divideint -Inf sNaN92 -> NaN92 Invalid_operation |
|
443 dddvi677 divideint 0 sNaN91 -> NaN91 Invalid_operation |
|
444 dddvi678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation |
|
445 dddvi679 divideint NaN sNaN89 -> NaN89 Invalid_operation |
|
446 |
|
447 -- Null tests |
|
448 dddvi900 divideint 10 # -> NaN Invalid_operation |
|
449 dddvi901 divideint # 10 -> NaN Invalid_operation |