| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- ddDivideInt.decTest -- decDouble integer division --
|
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 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 | ------------------------------------------------------------------------
|
| Mark Dickinson | 8a54653 | 2009-10-08 16:30:38 +0000 | [diff] [blame] | 20 | version: 2.59
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 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
|