| Georg Brandl | faa9ad2 | 2011-03-05 15:06:13 +0100 | [diff] [blame] | 1 | ------------------------------------------------------------------------ |
| 2 | -- dqDivideInt.decTest -- decQuad 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.59 |
| 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 |