ddDivideInt.decTest 19 KB

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