|
1 ------------------------------------------------------------------------ |
|
2 -- dqDivideInt.decTest -- decQuad integer division -- |
|
3 -- Copyright (c) IBM Corporation, 1981, 2007. 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.57 |
|
21 |
|
22 extended: 1 |
|
23 clamp: 1 |
|
24 precision: 34 |
|
25 maxExponent: 6144 |
|
26 minExponent: -6143 |
|
27 rounding: half_even |
|
28 |
|
29 |
|
30 dqdvi001 divideint 1 1 -> 1 |
|
31 dqdvi002 divideint 2 1 -> 2 |
|
32 dqdvi003 divideint 1 2 -> 0 |
|
33 dqdvi004 divideint 2 2 -> 1 |
|
34 dqdvi005 divideint 0 1 -> 0 |
|
35 dqdvi006 divideint 0 2 -> 0 |
|
36 dqdvi007 divideint 1 3 -> 0 |
|
37 dqdvi008 divideint 2 3 -> 0 |
|
38 dqdvi009 divideint 3 3 -> 1 |
|
39 |
|
40 dqdvi010 divideint 2.4 1 -> 2 |
|
41 dqdvi011 divideint 2.4 -1 -> -2 |
|
42 dqdvi012 divideint -2.4 1 -> -2 |
|
43 dqdvi013 divideint -2.4 -1 -> 2 |
|
44 dqdvi014 divideint 2.40 1 -> 2 |
|
45 dqdvi015 divideint 2.400 1 -> 2 |
|
46 dqdvi016 divideint 2.4 2 -> 1 |
|
47 dqdvi017 divideint 2.400 2 -> 1 |
|
48 dqdvi018 divideint 2. 2 -> 1 |
|
49 dqdvi019 divideint 20 20 -> 1 |
|
50 |
|
51 dqdvi020 divideint 187 187 -> 1 |
|
52 dqdvi021 divideint 5 2 -> 2 |
|
53 dqdvi022 divideint 5 2.0 -> 2 |
|
54 dqdvi023 divideint 5 2.000 -> 2 |
|
55 dqdvi024 divideint 5 0.200 -> 25 |
|
56 dqdvi025 divideint 5 0.200 -> 25 |
|
57 |
|
58 dqdvi030 divideint 1 2 -> 0 |
|
59 dqdvi031 divideint 1 4 -> 0 |
|
60 dqdvi032 divideint 1 8 -> 0 |
|
61 dqdvi033 divideint 1 16 -> 0 |
|
62 dqdvi034 divideint 1 32 -> 0 |
|
63 dqdvi035 divideint 1 64 -> 0 |
|
64 dqdvi040 divideint 1 -2 -> -0 |
|
65 dqdvi041 divideint 1 -4 -> -0 |
|
66 dqdvi042 divideint 1 -8 -> -0 |
|
67 dqdvi043 divideint 1 -16 -> -0 |
|
68 dqdvi044 divideint 1 -32 -> -0 |
|
69 dqdvi045 divideint 1 -64 -> -0 |
|
70 dqdvi050 divideint -1 2 -> -0 |
|
71 dqdvi051 divideint -1 4 -> -0 |
|
72 dqdvi052 divideint -1 8 -> -0 |
|
73 dqdvi053 divideint -1 16 -> -0 |
|
74 dqdvi054 divideint -1 32 -> -0 |
|
75 dqdvi055 divideint -1 64 -> -0 |
|
76 dqdvi060 divideint -1 -2 -> 0 |
|
77 dqdvi061 divideint -1 -4 -> 0 |
|
78 dqdvi062 divideint -1 -8 -> 0 |
|
79 dqdvi063 divideint -1 -16 -> 0 |
|
80 dqdvi064 divideint -1 -32 -> 0 |
|
81 dqdvi065 divideint -1 -64 -> 0 |
|
82 |
|
83 -- similar with powers of ten |
|
84 dqdvi160 divideint 1 1 -> 1 |
|
85 dqdvi161 divideint 1 10 -> 0 |
|
86 dqdvi162 divideint 1 100 -> 0 |
|
87 dqdvi163 divideint 1 1000 -> 0 |
|
88 dqdvi164 divideint 1 10000 -> 0 |
|
89 dqdvi165 divideint 1 100000 -> 0 |
|
90 dqdvi166 divideint 1 1000000 -> 0 |
|
91 dqdvi167 divideint 1 10000000 -> 0 |
|
92 dqdvi168 divideint 1 100000000 -> 0 |
|
93 dqdvi170 divideint 1 -1 -> -1 |
|
94 dqdvi171 divideint 1 -10 -> -0 |
|
95 dqdvi172 divideint 1 -100 -> -0 |
|
96 dqdvi173 divideint 1 -1000 -> -0 |
|
97 dqdvi174 divideint 1 -10000 -> -0 |
|
98 dqdvi175 divideint 1 -100000 -> -0 |
|
99 dqdvi176 divideint 1 -1000000 -> -0 |
|
100 dqdvi177 divideint 1 -10000000 -> -0 |
|
101 dqdvi178 divideint 1 -100000000 -> -0 |
|
102 dqdvi180 divideint -1 1 -> -1 |
|
103 dqdvi181 divideint -1 10 -> -0 |
|
104 dqdvi182 divideint -1 100 -> -0 |
|
105 dqdvi183 divideint -1 1000 -> -0 |
|
106 dqdvi184 divideint -1 10000 -> -0 |
|
107 dqdvi185 divideint -1 100000 -> -0 |
|
108 dqdvi186 divideint -1 1000000 -> -0 |
|
109 dqdvi187 divideint -1 10000000 -> -0 |
|
110 dqdvi188 divideint -1 100000000 -> -0 |
|
111 dqdvi190 divideint -1 -1 -> 1 |
|
112 dqdvi191 divideint -1 -10 -> 0 |
|
113 dqdvi192 divideint -1 -100 -> 0 |
|
114 dqdvi193 divideint -1 -1000 -> 0 |
|
115 dqdvi194 divideint -1 -10000 -> 0 |
|
116 dqdvi195 divideint -1 -100000 -> 0 |
|
117 dqdvi196 divideint -1 -1000000 -> 0 |
|
118 dqdvi197 divideint -1 -10000000 -> 0 |
|
119 dqdvi198 divideint -1 -100000000 -> 0 |
|
120 |
|
121 -- some long operand (at p=9) cases |
|
122 dqdvi070 divideint 999999999 1 -> 999999999 |
|
123 dqdvi071 divideint 999999999.4 1 -> 999999999 |
|
124 dqdvi072 divideint 999999999.5 1 -> 999999999 |
|
125 dqdvi073 divideint 999999999.9 1 -> 999999999 |
|
126 dqdvi074 divideint 999999999.999 1 -> 999999999 |
|
127 |
|
128 dqdvi090 divideint 0. 1 -> 0 |
|
129 dqdvi091 divideint .0 1 -> 0 |
|
130 dqdvi092 divideint 0.00 1 -> 0 |
|
131 dqdvi093 divideint 0.00E+9 1 -> 0 |
|
132 dqdvi094 divideint 0.0000E-50 1 -> 0 |
|
133 |
|
134 dqdvi100 divideint 1 1 -> 1 |
|
135 dqdvi101 divideint 1 2 -> 0 |
|
136 dqdvi102 divideint 1 3 -> 0 |
|
137 dqdvi103 divideint 1 4 -> 0 |
|
138 dqdvi104 divideint 1 5 -> 0 |
|
139 dqdvi105 divideint 1 6 -> 0 |
|
140 dqdvi106 divideint 1 7 -> 0 |
|
141 dqdvi107 divideint 1 8 -> 0 |
|
142 dqdvi108 divideint 1 9 -> 0 |
|
143 dqdvi109 divideint 1 10 -> 0 |
|
144 dqdvi110 divideint 1 1 -> 1 |
|
145 dqdvi111 divideint 2 1 -> 2 |
|
146 dqdvi112 divideint 3 1 -> 3 |
|
147 dqdvi113 divideint 4 1 -> 4 |
|
148 dqdvi114 divideint 5 1 -> 5 |
|
149 dqdvi115 divideint 6 1 -> 6 |
|
150 dqdvi116 divideint 7 1 -> 7 |
|
151 dqdvi117 divideint 8 1 -> 8 |
|
152 dqdvi118 divideint 9 1 -> 9 |
|
153 dqdvi119 divideint 10 1 -> 10 |
|
154 |
|
155 -- from DiagBigDecimal |
|
156 dqdvi131 divideint 101.3 1 -> 101 |
|
157 dqdvi132 divideint 101.0 1 -> 101 |
|
158 dqdvi133 divideint 101.3 3 -> 33 |
|
159 dqdvi134 divideint 101.0 3 -> 33 |
|
160 dqdvi135 divideint 2.4 1 -> 2 |
|
161 dqdvi136 divideint 2.400 1 -> 2 |
|
162 dqdvi137 divideint 18 18 -> 1 |
|
163 dqdvi138 divideint 1120 1000 -> 1 |
|
164 dqdvi139 divideint 2.4 2 -> 1 |
|
165 dqdvi140 divideint 2.400 2 -> 1 |
|
166 dqdvi141 divideint 0.5 2.000 -> 0 |
|
167 dqdvi142 divideint 8.005 7 -> 1 |
|
168 dqdvi143 divideint 5 2 -> 2 |
|
169 dqdvi144 divideint 0 2 -> 0 |
|
170 dqdvi145 divideint 0.00 2 -> 0 |
|
171 |
|
172 -- Others |
|
173 dqdvi150 divideint 12345 4.999 -> 2469 |
|
174 dqdvi151 divideint 12345 4.99 -> 2473 |
|
175 dqdvi152 divideint 12345 4.9 -> 2519 |
|
176 dqdvi153 divideint 12345 5 -> 2469 |
|
177 dqdvi154 divideint 12345 5.1 -> 2420 |
|
178 dqdvi155 divideint 12345 5.01 -> 2464 |
|
179 dqdvi156 divideint 12345 5.001 -> 2468 |
|
180 dqdvi157 divideint 101 7.6 -> 13 |
|
181 |
|
182 -- Various flavours of divideint by 0 |
|
183 dqdvi201 divideint 0 0 -> NaN Division_undefined |
|
184 dqdvi202 divideint 0.0E5 0 -> NaN Division_undefined |
|
185 dqdvi203 divideint 0.000 0 -> NaN Division_undefined |
|
186 dqdvi204 divideint 0.0001 0 -> Infinity Division_by_zero |
|
187 dqdvi205 divideint 0.01 0 -> Infinity Division_by_zero |
|
188 dqdvi206 divideint 0.1 0 -> Infinity Division_by_zero |
|
189 dqdvi207 divideint 1 0 -> Infinity Division_by_zero |
|
190 dqdvi208 divideint 1 0.0 -> Infinity Division_by_zero |
|
191 dqdvi209 divideint 10 0.0 -> Infinity Division_by_zero |
|
192 dqdvi210 divideint 1E+100 0.0 -> Infinity Division_by_zero |
|
193 dqdvi211 divideint 1E+380 0 -> Infinity Division_by_zero |
|
194 dqdvi214 divideint -0.0001 0 -> -Infinity Division_by_zero |
|
195 dqdvi215 divideint -0.01 0 -> -Infinity Division_by_zero |
|
196 dqdvi216 divideint -0.1 0 -> -Infinity Division_by_zero |
|
197 dqdvi217 divideint -1 0 -> -Infinity Division_by_zero |
|
198 dqdvi218 divideint -1 0.0 -> -Infinity Division_by_zero |
|
199 dqdvi219 divideint -10 0.0 -> -Infinity Division_by_zero |
|
200 dqdvi220 divideint -1E+100 0.0 -> -Infinity Division_by_zero |
|
201 dqdvi221 divideint -1E+380 0 -> -Infinity Division_by_zero |
|
202 |
|
203 -- test some cases that are close to exponent overflow |
|
204 dqdvi270 divideint 1 1e384 -> 0 |
|
205 dqdvi271 divideint 1 0.9e384 -> 0 |
|
206 dqdvi272 divideint 1 0.99e384 -> 0 |
|
207 dqdvi273 divideint 1 0.9999999999999999e384 -> 0 |
|
208 dqdvi274 divideint 9e384 1 -> NaN Division_impossible |
|
209 dqdvi275 divideint 9.9e384 1 -> NaN Division_impossible |
|
210 dqdvi276 divideint 9.99e384 1 -> NaN Division_impossible |
|
211 dqdvi277 divideint 9.999999999999999e384 1 -> NaN Division_impossible |
|
212 |
|
213 dqdvi280 divideint 0.1 9e-383 -> NaN Division_impossible |
|
214 dqdvi281 divideint 0.1 99e-383 -> NaN Division_impossible |
|
215 dqdvi282 divideint 0.1 999e-383 -> NaN Division_impossible |
|
216 dqdvi283 divideint 0.1 9e-382 -> NaN Division_impossible |
|
217 dqdvi284 divideint 0.1 99e-382 -> NaN Division_impossible |
|
218 |
|
219 -- GD edge cases: lhs smaller than rhs but more digits |
|
220 dqdvi301 divideint 0.9 2 -> 0 |
|
221 dqdvi302 divideint 0.9 2.0 -> 0 |
|
222 dqdvi303 divideint 0.9 2.1 -> 0 |
|
223 dqdvi304 divideint 0.9 2.00 -> 0 |
|
224 dqdvi305 divideint 0.9 2.01 -> 0 |
|
225 dqdvi306 divideint 0.12 1 -> 0 |
|
226 dqdvi307 divideint 0.12 1.0 -> 0 |
|
227 dqdvi308 divideint 0.12 1.00 -> 0 |
|
228 dqdvi309 divideint 0.12 1.0 -> 0 |
|
229 dqdvi310 divideint 0.12 1.00 -> 0 |
|
230 dqdvi311 divideint 0.12 2 -> 0 |
|
231 dqdvi312 divideint 0.12 2.0 -> 0 |
|
232 dqdvi313 divideint 0.12 2.1 -> 0 |
|
233 dqdvi314 divideint 0.12 2.00 -> 0 |
|
234 dqdvi315 divideint 0.12 2.01 -> 0 |
|
235 |
|
236 -- edge cases of impossible |
|
237 dqdvi330 divideint 1234567987654321987654321890123456 10 -> 123456798765432198765432189012345 |
|
238 dqdvi331 divideint 1234567987654321987654321890123456 1 -> 1234567987654321987654321890123456 |
|
239 dqdvi332 divideint 1234567987654321987654321890123456 0.1 -> NaN Division_impossible |
|
240 dqdvi333 divideint 1234567987654321987654321890123456 0.01 -> NaN Division_impossible |
|
241 |
|
242 -- overflow and underflow tests [from divide] |
|
243 dqdvi1051 divideint 1e+277 1e-311 -> NaN Division_impossible |
|
244 dqdvi1052 divideint 1e+277 -1e-311 -> NaN Division_impossible |
|
245 dqdvi1053 divideint -1e+277 1e-311 -> NaN Division_impossible |
|
246 dqdvi1054 divideint -1e+277 -1e-311 -> NaN Division_impossible |
|
247 dqdvi1055 divideint 1e-277 1e+311 -> 0 |
|
248 dqdvi1056 divideint 1e-277 -1e+311 -> -0 |
|
249 dqdvi1057 divideint -1e-277 1e+311 -> -0 |
|
250 dqdvi1058 divideint -1e-277 -1e+311 -> 0 |
|
251 |
|
252 -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic) |
|
253 dqdvi1060 divideint 1e-291 1e+101 -> 0 |
|
254 dqdvi1061 divideint 1e-291 1e+102 -> 0 |
|
255 dqdvi1062 divideint 1e-291 1e+103 -> 0 |
|
256 dqdvi1063 divideint 1e-291 1e+104 -> 0 |
|
257 dqdvi1064 divideint 1e-291 1e+105 -> 0 |
|
258 dqdvi1065 divideint 1e-291 1e+106 -> 0 |
|
259 dqdvi1066 divideint 1e-291 1e+107 -> 0 |
|
260 dqdvi1067 divideint 1e-291 1e+108 -> 0 |
|
261 dqdvi1068 divideint 1e-291 1e+109 -> 0 |
|
262 dqdvi1069 divideint 1e-291 1e+110 -> 0 |
|
263 |
|
264 dqdvi1101 divideint 1.0000E-394 1 -> 0 |
|
265 dqdvi1102 divideint 1.000E-394 1e+1 -> 0 |
|
266 dqdvi1103 divideint 1.00E-394 1e+2 -> 0 |
|
267 |
|
268 dqdvi1118 divideint 1E-394 1e+4 -> 0 |
|
269 dqdvi1119 divideint 3E-394 -1e+5 -> -0 |
|
270 dqdvi1120 divideint 5E-394 1e+5 -> 0 |
|
271 |
|
272 dqdvi1124 divideint 1E-394 -1e+4 -> -0 |
|
273 dqdvi1130 divideint 3.0E-394 -1e+5 -> -0 |
|
274 |
|
275 dqdvi1131 divideint 1.0E-199 1e+200 -> 0 |
|
276 dqdvi1132 divideint 1.0E-199 1e+199 -> 0 |
|
277 dqdvi1133 divideint 1.0E-199 1e+198 -> 0 |
|
278 dqdvi1134 divideint 2.0E-199 2e+198 -> 0 |
|
279 dqdvi1135 divideint 4.0E-199 4e+198 -> 0 |
|
280 |
|
281 -- long operand checks |
|
282 dqdvi401 divideint 12345678000 100 -> 123456780 |
|
283 dqdvi402 divideint 1 12345678000 -> 0 |
|
284 dqdvi403 divideint 1234567800 10 -> 123456780 |
|
285 dqdvi404 divideint 1 1234567800 -> 0 |
|
286 dqdvi405 divideint 1234567890 10 -> 123456789 |
|
287 dqdvi406 divideint 1 1234567890 -> 0 |
|
288 dqdvi407 divideint 1234567891 10 -> 123456789 |
|
289 dqdvi408 divideint 1 1234567891 -> 0 |
|
290 dqdvi409 divideint 12345678901 100 -> 123456789 |
|
291 dqdvi410 divideint 1 12345678901 -> 0 |
|
292 dqdvi411 divideint 1234567896 10 -> 123456789 |
|
293 dqdvi412 divideint 1 1234567896 -> 0 |
|
294 dqdvi413 divideint 12345678948 100 -> 123456789 |
|
295 dqdvi414 divideint 12345678949 100 -> 123456789 |
|
296 dqdvi415 divideint 12345678950 100 -> 123456789 |
|
297 dqdvi416 divideint 12345678951 100 -> 123456789 |
|
298 dqdvi417 divideint 12345678999 100 -> 123456789 |
|
299 dqdvi441 divideint 12345678000 1 -> 12345678000 |
|
300 dqdvi442 divideint 1 12345678000 -> 0 |
|
301 dqdvi443 divideint 1234567800 1 -> 1234567800 |
|
302 dqdvi444 divideint 1 1234567800 -> 0 |
|
303 dqdvi445 divideint 1234567890 1 -> 1234567890 |
|
304 dqdvi446 divideint 1 1234567890 -> 0 |
|
305 dqdvi447 divideint 1234567891 1 -> 1234567891 |
|
306 dqdvi448 divideint 1 1234567891 -> 0 |
|
307 dqdvi449 divideint 12345678901 1 -> 12345678901 |
|
308 dqdvi450 divideint 1 12345678901 -> 0 |
|
309 dqdvi451 divideint 1234567896 1 -> 1234567896 |
|
310 dqdvi452 divideint 1 1234567896 -> 0 |
|
311 |
|
312 -- more zeros, etc. |
|
313 dqdvi531 divideint 5.00 1E-3 -> 5000 |
|
314 dqdvi532 divideint 00.00 0.000 -> NaN Division_undefined |
|
315 dqdvi533 divideint 00.00 0E-3 -> NaN Division_undefined |
|
316 dqdvi534 divideint 0 -0 -> NaN Division_undefined |
|
317 dqdvi535 divideint -0 0 -> NaN Division_undefined |
|
318 dqdvi536 divideint -0 -0 -> NaN Division_undefined |
|
319 |
|
320 dqdvi541 divideint 0 -1 -> -0 |
|
321 dqdvi542 divideint -0 -1 -> 0 |
|
322 dqdvi543 divideint 0 1 -> 0 |
|
323 dqdvi544 divideint -0 1 -> -0 |
|
324 dqdvi545 divideint -1 0 -> -Infinity Division_by_zero |
|
325 dqdvi546 divideint -1 -0 -> Infinity Division_by_zero |
|
326 dqdvi547 divideint 1 0 -> Infinity Division_by_zero |
|
327 dqdvi548 divideint 1 -0 -> -Infinity Division_by_zero |
|
328 |
|
329 dqdvi551 divideint 0.0 -1 -> -0 |
|
330 dqdvi552 divideint -0.0 -1 -> 0 |
|
331 dqdvi553 divideint 0.0 1 -> 0 |
|
332 dqdvi554 divideint -0.0 1 -> -0 |
|
333 dqdvi555 divideint -1.0 0 -> -Infinity Division_by_zero |
|
334 dqdvi556 divideint -1.0 -0 -> Infinity Division_by_zero |
|
335 dqdvi557 divideint 1.0 0 -> Infinity Division_by_zero |
|
336 dqdvi558 divideint 1.0 -0 -> -Infinity Division_by_zero |
|
337 |
|
338 dqdvi561 divideint 0 -1.0 -> -0 |
|
339 dqdvi562 divideint -0 -1.0 -> 0 |
|
340 dqdvi563 divideint 0 1.0 -> 0 |
|
341 dqdvi564 divideint -0 1.0 -> -0 |
|
342 dqdvi565 divideint -1 0.0 -> -Infinity Division_by_zero |
|
343 dqdvi566 divideint -1 -0.0 -> Infinity Division_by_zero |
|
344 dqdvi567 divideint 1 0.0 -> Infinity Division_by_zero |
|
345 dqdvi568 divideint 1 -0.0 -> -Infinity Division_by_zero |
|
346 |
|
347 dqdvi571 divideint 0.0 -1.0 -> -0 |
|
348 dqdvi572 divideint -0.0 -1.0 -> 0 |
|
349 dqdvi573 divideint 0.0 1.0 -> 0 |
|
350 dqdvi574 divideint -0.0 1.0 -> -0 |
|
351 dqdvi575 divideint -1.0 0.0 -> -Infinity Division_by_zero |
|
352 dqdvi576 divideint -1.0 -0.0 -> Infinity Division_by_zero |
|
353 dqdvi577 divideint 1.0 0.0 -> Infinity Division_by_zero |
|
354 dqdvi578 divideint 1.0 -0.0 -> -Infinity Division_by_zero |
|
355 |
|
356 -- Specials |
|
357 dqdvi580 divideint Inf -Inf -> NaN Invalid_operation |
|
358 dqdvi581 divideint Inf -1000 -> -Infinity |
|
359 dqdvi582 divideint Inf -1 -> -Infinity |
|
360 dqdvi583 divideint Inf -0 -> -Infinity |
|
361 dqdvi584 divideint Inf 0 -> Infinity |
|
362 dqdvi585 divideint Inf 1 -> Infinity |
|
363 dqdvi586 divideint Inf 1000 -> Infinity |
|
364 dqdvi587 divideint Inf Inf -> NaN Invalid_operation |
|
365 dqdvi588 divideint -1000 Inf -> -0 |
|
366 dqdvi589 divideint -Inf Inf -> NaN Invalid_operation |
|
367 dqdvi590 divideint -1 Inf -> -0 |
|
368 dqdvi591 divideint -0 Inf -> -0 |
|
369 dqdvi592 divideint 0 Inf -> 0 |
|
370 dqdvi593 divideint 1 Inf -> 0 |
|
371 dqdvi594 divideint 1000 Inf -> 0 |
|
372 dqdvi595 divideint Inf Inf -> NaN Invalid_operation |
|
373 |
|
374 dqdvi600 divideint -Inf -Inf -> NaN Invalid_operation |
|
375 dqdvi601 divideint -Inf -1000 -> Infinity |
|
376 dqdvi602 divideint -Inf -1 -> Infinity |
|
377 dqdvi603 divideint -Inf -0 -> Infinity |
|
378 dqdvi604 divideint -Inf 0 -> -Infinity |
|
379 dqdvi605 divideint -Inf 1 -> -Infinity |
|
380 dqdvi606 divideint -Inf 1000 -> -Infinity |
|
381 dqdvi607 divideint -Inf Inf -> NaN Invalid_operation |
|
382 dqdvi608 divideint -1000 Inf -> -0 |
|
383 dqdvi609 divideint -Inf -Inf -> NaN Invalid_operation |
|
384 dqdvi610 divideint -1 -Inf -> 0 |
|
385 dqdvi611 divideint -0 -Inf -> 0 |
|
386 dqdvi612 divideint 0 -Inf -> -0 |
|
387 dqdvi613 divideint 1 -Inf -> -0 |
|
388 dqdvi614 divideint 1000 -Inf -> -0 |
|
389 dqdvi615 divideint Inf -Inf -> NaN Invalid_operation |
|
390 |
|
391 dqdvi621 divideint NaN -Inf -> NaN |
|
392 dqdvi622 divideint NaN -1000 -> NaN |
|
393 dqdvi623 divideint NaN -1 -> NaN |
|
394 dqdvi624 divideint NaN -0 -> NaN |
|
395 dqdvi625 divideint NaN 0 -> NaN |
|
396 dqdvi626 divideint NaN 1 -> NaN |
|
397 dqdvi627 divideint NaN 1000 -> NaN |
|
398 dqdvi628 divideint NaN Inf -> NaN |
|
399 dqdvi629 divideint NaN NaN -> NaN |
|
400 dqdvi630 divideint -Inf NaN -> NaN |
|
401 dqdvi631 divideint -1000 NaN -> NaN |
|
402 dqdvi632 divideint -1 NaN -> NaN |
|
403 dqdvi633 divideint -0 NaN -> NaN |
|
404 dqdvi634 divideint 0 NaN -> NaN |
|
405 dqdvi635 divideint 1 NaN -> NaN |
|
406 dqdvi636 divideint 1000 NaN -> NaN |
|
407 dqdvi637 divideint Inf NaN -> NaN |
|
408 |
|
409 dqdvi641 divideint sNaN -Inf -> NaN Invalid_operation |
|
410 dqdvi642 divideint sNaN -1000 -> NaN Invalid_operation |
|
411 dqdvi643 divideint sNaN -1 -> NaN Invalid_operation |
|
412 dqdvi644 divideint sNaN -0 -> NaN Invalid_operation |
|
413 dqdvi645 divideint sNaN 0 -> NaN Invalid_operation |
|
414 dqdvi646 divideint sNaN 1 -> NaN Invalid_operation |
|
415 dqdvi647 divideint sNaN 1000 -> NaN Invalid_operation |
|
416 dqdvi648 divideint sNaN NaN -> NaN Invalid_operation |
|
417 dqdvi649 divideint sNaN sNaN -> NaN Invalid_operation |
|
418 dqdvi650 divideint NaN sNaN -> NaN Invalid_operation |
|
419 dqdvi651 divideint -Inf sNaN -> NaN Invalid_operation |
|
420 dqdvi652 divideint -1000 sNaN -> NaN Invalid_operation |
|
421 dqdvi653 divideint -1 sNaN -> NaN Invalid_operation |
|
422 dqdvi654 divideint -0 sNaN -> NaN Invalid_operation |
|
423 dqdvi655 divideint 0 sNaN -> NaN Invalid_operation |
|
424 dqdvi656 divideint 1 sNaN -> NaN Invalid_operation |
|
425 dqdvi657 divideint 1000 sNaN -> NaN Invalid_operation |
|
426 dqdvi658 divideint Inf sNaN -> NaN Invalid_operation |
|
427 dqdvi659 divideint NaN sNaN -> NaN Invalid_operation |
|
428 |
|
429 -- propagating NaNs |
|
430 dqdvi661 divideint NaN9 -Inf -> NaN9 |
|
431 dqdvi662 divideint NaN8 1000 -> NaN8 |
|
432 dqdvi663 divideint NaN7 Inf -> NaN7 |
|
433 dqdvi664 divideint -NaN6 NaN5 -> -NaN6 |
|
434 dqdvi665 divideint -Inf NaN4 -> NaN4 |
|
435 dqdvi666 divideint -1000 NaN3 -> NaN3 |
|
436 dqdvi667 divideint Inf -NaN2 -> -NaN2 |
|
437 |
|
438 dqdvi671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation |
|
439 dqdvi672 divideint sNaN98 -1 -> NaN98 Invalid_operation |
|
440 dqdvi673 divideint sNaN97 NaN -> NaN97 Invalid_operation |
|
441 dqdvi674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation |
|
442 dqdvi675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation |
|
443 dqdvi676 divideint -Inf sNaN92 -> NaN92 Invalid_operation |
|
444 dqdvi677 divideint 0 sNaN91 -> NaN91 Invalid_operation |
|
445 dqdvi678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation |
|
446 dqdvi679 divideint NaN sNaN89 -> NaN89 Invalid_operation |
|
447 |
|
448 -- Gyuris example |
|
449 dqdvi700 divideint 8.336804418094040989630006819881709E-6143 8.336804418094040989630006819889000E-6143 -> 0 |
|
450 |
|
451 -- Null tests |
|
452 dqdvi900 divideint 10 # -> NaN Invalid_operation |
|
453 dqdvi901 divideint # 10 -> NaN Invalid_operation |