home *** CD-ROM | disk | FTP | other *** search
/ Freelog Special Freeware 31 / FreelogHS31.iso / Texte / scribus / scribus-1.3.3.9-win32-install.exe / lib / test / decimaltestdata / multiply.decTest < prev    next >
Text File  |  2004-08-23  |  34KB  |  652 lines
  1. ------------------------------------------------------------------------
  2. -- multiply.decTest -- decimal multiplication                         --
  3. -- Copyright (c) IBM Corporation, 1981, 2004.  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.39
  21.  
  22. extended:    1
  23. precision:   9
  24. rounding:    half_up
  25. maxExponent: 384
  26. minexponent: -383
  27.  
  28. -- sanity checks (as base, above)
  29. mulx000 multiply 2      2 -> 4
  30. mulx001 multiply 2      3 -> 6
  31. mulx002 multiply 5      1 -> 5
  32. mulx003 multiply 5      2 -> 10
  33. mulx004 multiply 1.20   2 -> 2.40
  34. mulx005 multiply 1.20   0 -> 0.00
  35. mulx006 multiply 1.20  -2 -> -2.40
  36. mulx007 multiply -1.20  2 -> -2.40
  37. mulx008 multiply -1.20  0 -> -0.00
  38. mulx009 multiply -1.20 -2 -> 2.40
  39. mulx010 multiply 5.09 7.1 -> 36.139
  40. mulx011 multiply 2.5    4 -> 10.0
  41. mulx012 multiply 2.50   4 -> 10.00
  42. mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded
  43. mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded
  44. mulx015 multiply 2.50   4 -> 10.00
  45. precision: 6
  46. mulx016 multiply 2.50   4 -> 10.00
  47. mulx017 multiply 9.999999999 9.999999999 -> 100.000 Inexact Rounded
  48.  
  49. -- 1999.12.21: next one is a edge case if intermediate longs are used
  50. precision: 15
  51. mulx019 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded
  52. precision: 30
  53. mulx160 multiply 999999999999 9765625 -> 9765624999990234375
  54. precision: 9
  55. -----
  56.  
  57. -- zeros, etc.
  58. mulx020 multiply  0      0     ->  0
  59. mulx021 multiply  0     -0     -> -0
  60. mulx022 multiply -0      0     -> -0
  61. mulx023 multiply -0     -0     ->  0
  62. mulx030 multiply  5.00   1E-3  ->  0.00500
  63. mulx031 multiply  00.00  0.000 ->  0.00000
  64. mulx032 multiply  00.00  0E-3  ->  0.00000     -- rhs is 0
  65. mulx033 multiply  0E-3   00.00 ->  0.00000     -- lhs is 0
  66. mulx034 multiply -5.00   1E-3  -> -0.00500
  67. mulx035 multiply -00.00  0.000 -> -0.00000
  68. mulx036 multiply -00.00  0E-3  -> -0.00000     -- rhs is 0
  69. mulx037 multiply -0E-3   00.00 -> -0.00000     -- lhs is 0
  70. mulx038 multiply  5.00  -1E-3  -> -0.00500
  71. mulx039 multiply  00.00 -0.000 -> -0.00000
  72. mulx040 multiply  00.00 -0E-3  -> -0.00000     -- rhs is 0
  73. mulx041 multiply  0E-3  -00.00 -> -0.00000     -- lhs is 0
  74. mulx042 multiply -5.00  -1E-3  ->  0.00500
  75. mulx043 multiply -00.00 -0.000 ->  0.00000
  76. mulx044 multiply -00.00 -0E-3  ->  0.00000     -- rhs is 0
  77. mulx045 multiply -0E-3  -00.00 ->  0.00000     -- lhs is 0
  78.  
  79. -- examples from decarith
  80. mulx050 multiply 1.20 3        -> 3.60
  81. mulx051 multiply 7    3        -> 21
  82. mulx052 multiply 0.9  0.8      -> 0.72
  83. mulx053 multiply 0.9  -0       -> -0.0
  84. mulx054 multiply 654321 654321 -> 4.28135971E+11  Inexact Rounded
  85.  
  86. mulx060 multiply 123.45 1e7  ->  1.2345E+9
  87. mulx061 multiply 123.45 1e8  ->  1.2345E+10
  88. mulx062 multiply 123.45 1e+9 ->  1.2345E+11
  89. mulx063 multiply 123.45 1e10 ->  1.2345E+12
  90. mulx064 multiply 123.45 1e11 ->  1.2345E+13
  91. mulx065 multiply 123.45 1e12 ->  1.2345E+14
  92. mulx066 multiply 123.45 1e13 ->  1.2345E+15
  93.  
  94.  
  95. -- test some intermediate lengths
  96. precision: 9
  97. mulx080 multiply 0.1 123456789           -> 12345678.9
  98. mulx081 multiply 0.1 1234567891          -> 123456789 Inexact Rounded
  99. mulx082 multiply 0.1 12345678912         -> 1.23456789E+9 Inexact Rounded
  100. mulx083 multiply 0.1 12345678912345      -> 1.23456789E+12 Inexact Rounded
  101. mulx084 multiply 0.1 123456789           -> 12345678.9
  102. precision: 8
  103. mulx085 multiply 0.1 12345678912         -> 1.2345679E+9 Inexact Rounded
  104. mulx086 multiply 0.1 12345678912345      -> 1.2345679E+12 Inexact Rounded
  105. precision: 7
  106. mulx087 multiply 0.1 12345678912         -> 1.234568E+9 Inexact Rounded
  107. mulx088 multiply 0.1 12345678912345      -> 1.234568E+12 Inexact Rounded
  108.  
  109. precision: 9
  110. mulx090 multiply 123456789          0.1 -> 12345678.9
  111. mulx091 multiply 1234567891         0.1 -> 123456789 Inexact Rounded
  112. mulx092 multiply 12345678912        0.1 -> 1.23456789E+9 Inexact Rounded
  113. mulx093 multiply 12345678912345     0.1 -> 1.23456789E+12 Inexact Rounded
  114. mulx094 multiply 123456789          0.1 -> 12345678.9
  115. precision: 8
  116. mulx095 multiply 12345678912        0.1 -> 1.2345679E+9 Inexact Rounded
  117. mulx096 multiply 12345678912345     0.1 -> 1.2345679E+12 Inexact Rounded
  118. precision: 7
  119. mulx097 multiply 12345678912        0.1 -> 1.234568E+9 Inexact Rounded
  120. mulx098 multiply 12345678912345     0.1 -> 1.234568E+12 Inexact Rounded
  121.  
  122. -- test some more edge cases and carries
  123. maxexponent: 9999
  124. minexponent: -9999
  125. precision: 33
  126. mulx101 multiply 9 9   -> 81
  127. mulx102 multiply 9 90   -> 810
  128. mulx103 multiply 9 900   -> 8100
  129. mulx104 multiply 9 9000   -> 81000
  130. mulx105 multiply 9 90000   -> 810000
  131. mulx106 multiply 9 900000   -> 8100000
  132. mulx107 multiply 9 9000000   -> 81000000
  133. mulx108 multiply 9 90000000   -> 810000000
  134. mulx109 multiply 9 900000000   -> 8100000000
  135. mulx110 multiply 9 9000000000   -> 81000000000
  136. mulx111 multiply 9 90000000000   -> 810000000000
  137. mulx112 multiply 9 900000000000   -> 8100000000000
  138. mulx113 multiply 9 9000000000000   -> 81000000000000
  139. mulx114 multiply 9 90000000000000   -> 810000000000000
  140. mulx115 multiply 9 900000000000000   -> 8100000000000000
  141. mulx116 multiply 9 9000000000000000   -> 81000000000000000
  142. mulx117 multiply 9 90000000000000000   -> 810000000000000000
  143. mulx118 multiply 9 900000000000000000   -> 8100000000000000000
  144. mulx119 multiply 9 9000000000000000000   -> 81000000000000000000
  145. mulx120 multiply 9 90000000000000000000   -> 810000000000000000000
  146. mulx121 multiply 9 900000000000000000000   -> 8100000000000000000000
  147. mulx122 multiply 9 9000000000000000000000   -> 81000000000000000000000
  148. mulx123 multiply 9 90000000000000000000000   -> 810000000000000000000000
  149. -- test some more edge cases without carries
  150. mulx131 multiply 3 3   -> 9
  151. mulx132 multiply 3 30   -> 90
  152. mulx133 multiply 3 300   -> 900
  153. mulx134 multiply 3 3000   -> 9000
  154. mulx135 multiply 3 30000   -> 90000
  155. mulx136 multiply 3 300000   -> 900000
  156. mulx137 multiply 3 3000000   -> 9000000
  157. mulx138 multiply 3 30000000   -> 90000000
  158. mulx139 multiply 3 300000000   -> 900000000
  159. mulx140 multiply 3 3000000000   -> 9000000000
  160. mulx141 multiply 3 30000000000   -> 90000000000
  161. mulx142 multiply 3 300000000000   -> 900000000000
  162. mulx143 multiply 3 3000000000000   -> 9000000000000
  163. mulx144 multiply 3 30000000000000   -> 90000000000000
  164. mulx145 multiply 3 300000000000000   -> 900000000000000
  165. mulx146 multiply 3 3000000000000000   -> 9000000000000000
  166. mulx147 multiply 3 30000000000000000   -> 90000000000000000
  167. mulx148 multiply 3 300000000000000000   -> 900000000000000000
  168. mulx149 multiply 3 3000000000000000000   -> 9000000000000000000
  169. mulx150 multiply 3 30000000000000000000   -> 90000000000000000000
  170. mulx151 multiply 3 300000000000000000000   -> 900000000000000000000
  171. mulx152 multiply 3 3000000000000000000000   -> 9000000000000000000000
  172. mulx153 multiply 3 30000000000000000000000   -> 90000000000000000000000
  173.  
  174. maxexponent: 999999999
  175. minexponent: -999999999
  176. precision: 9
  177. -- test some cases that are close to exponent overflow/underflow
  178. mulx170 multiply 1 9e999999999    -> 9E+999999999
  179. mulx171 multiply 1 9.9e999999999  -> 9.9E+999999999
  180. mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999
  181. mulx173 multiply 9e999999999    1 -> 9E+999999999
  182. mulx174 multiply 9.9e999999999  1 -> 9.9E+999999999
  183. mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999
  184. mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999
  185. mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999
  186.  
  187. mulx180 multiply 0.1 9e-999999998   -> 9E-999999999
  188. mulx181 multiply 0.1 99e-999999998  -> 9.9E-999999998
  189. mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997
  190.  
  191. mulx183 multiply 0.1 9e-999999998     -> 9E-999999999
  192. mulx184 multiply 0.1 99e-999999998    -> 9.9E-999999998
  193. mulx185 multiply 0.1 999e-999999998   -> 9.99E-999999997
  194. mulx186 multiply 0.1 999e-999999997   -> 9.99E-999999996
  195. mulx187 multiply 0.1 9999e-999999997  -> 9.999E-999999995
  196. mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994
  197.  
  198. mulx190 multiply 1 9e-999999998   -> 9E-999999998
  199. mulx191 multiply 1 99e-999999998  -> 9.9E-999999997
  200. mulx192 multiply 1 999e-999999998 -> 9.99E-999999996
  201. mulx193 multiply 9e-999999998   1 -> 9E-999999998
  202. mulx194 multiply 99e-999999998  1 -> 9.9E-999999997
  203. mulx195 multiply 999e-999999998 1 -> 9.99E-999999996
  204.  
  205. mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999
  206. mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999
  207. mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999
  208. mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999
  209.  
  210. mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999
  211. mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999
  212. mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999
  213. mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999
  214.  
  215. -- long operand triangle
  216. precision: 33
  217. mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded
  218. precision: 32
  219. mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283  Inexact Rounded
  220. precision: 31
  221. mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928   Inexact Rounded
  222. precision: 30
  223. mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993    Inexact Rounded
  224. precision: 29
  225. mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199     Inexact Rounded
  226. precision: 28
  227. mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120      Inexact Rounded
  228. precision: 27
  229. mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512       Inexact Rounded
  230. precision: 26
  231. mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651        Inexact Rounded
  232. precision: 25
  233. mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165         Inexact Rounded
  234. precision: 24
  235. mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917          Inexact Rounded
  236. precision: 23
  237. mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192           Inexact Rounded
  238. precision: 22
  239. mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719            Inexact Rounded
  240. precision: 21
  241. mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672             Inexact Rounded
  242. precision: 20
  243. mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967              Inexact Rounded
  244. precision: 19
  245. mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697               Inexact Rounded
  246. precision: 18
  247. mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370                Inexact Rounded
  248. precision: 17
  249. mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337                 Inexact Rounded
  250. precision: 16
  251. mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934                  Inexact Rounded
  252. precision: 15
  253. mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193                   Inexact Rounded
  254. precision: 14
  255. mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119                    Inexact Rounded
  256. precision: 13
  257. mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012                     Inexact Rounded
  258. precision: 12
  259. mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801                      Inexact Rounded
  260. precision: 11
  261. mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080                       Inexact Rounded
  262. precision: 10
  263. mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908                        Inexact Rounded
  264. precision:  9
  265. mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291                         Inexact Rounded
  266. precision:  8
  267. mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29                          Inexact Rounded
  268. precision:  7
  269. mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3                           Inexact Rounded
  270. precision:  6
  271. mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433                            Inexact Rounded
  272. precision:  5
  273. mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5                         Inexact Rounded
  274. precision:  4
  275. mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5                         Inexact Rounded
  276. precision:  3
  277. mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5                         Inexact Rounded
  278. precision:  2
  279. mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5                         Inexact Rounded
  280. precision:  1
  281. mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5                          Inexact Rounded
  282.  
  283. -- tryzeros cases
  284. precision:   7
  285. rounding:    half_up
  286. maxExponent: 92
  287. minexponent: -92
  288. mulx504  multiply  0E-60 1000E-60  -> 0E-98 Clamped
  289. mulx505  multiply  100E+60 0E+60   -> 0E+92 Clamped
  290.  
  291. -- mixed with zeros
  292. maxexponent: 999999999
  293. minexponent: -999999999
  294. precision: 9
  295. mulx541 multiply  0    -1     -> -0
  296. mulx542 multiply -0    -1     ->  0
  297. mulx543 multiply  0     1     ->  0
  298. mulx544 multiply -0     1     -> -0
  299. mulx545 multiply -1     0     -> -0
  300. mulx546 multiply -1    -0     ->  0
  301. mulx547 multiply  1     0     ->  0
  302. mulx548 multiply  1    -0     -> -0
  303.  
  304. mulx551 multiply  0.0  -1     -> -0.0
  305. mulx552 multiply -0.0  -1     ->  0.0
  306. mulx553 multiply  0.0   1     ->  0.0
  307. mulx554 multiply -0.0   1     -> -0.0
  308. mulx555 multiply -1.0   0     -> -0.0
  309. mulx556 multiply -1.0  -0     ->  0.0
  310. mulx557 multiply  1.0   0     ->  0.0
  311. mulx558 multiply  1.0  -0     -> -0.0
  312.  
  313. mulx561 multiply  0    -1.0   -> -0.0
  314. mulx562 multiply -0    -1.0   ->  0.0
  315. mulx563 multiply  0     1.0   ->  0.0
  316. mulx564 multiply -0     1.0   -> -0.0
  317. mulx565 multiply -1     0.0   -> -0.0
  318. mulx566 multiply -1    -0.0   ->  0.0
  319. mulx567 multiply  1     0.0   ->  0.0
  320. mulx568 multiply  1    -0.0   -> -0.0
  321.  
  322. mulx571 multiply  0.0  -1.0   -> -0.00
  323. mulx572 multiply -0.0  -1.0   ->  0.00
  324. mulx573 multiply  0.0   1.0   ->  0.00
  325. mulx574 multiply -0.0   1.0   -> -0.00
  326. mulx575 multiply -1.0   0.0   -> -0.00
  327. mulx576 multiply -1.0  -0.0   ->  0.00
  328. mulx577 multiply  1.0   0.0   ->  0.00
  329. mulx578 multiply  1.0  -0.0   -> -0.00
  330.  
  331.  
  332. -- Specials
  333. mulx580 multiply  Inf  -Inf   -> -Infinity
  334. mulx581 multiply  Inf  -1000  -> -Infinity
  335. mulx582 multiply  Inf  -1     -> -Infinity
  336. mulx583 multiply  Inf  -0     ->  NaN  Invalid_operation
  337. mulx584 multiply  Inf   0     ->  NaN  Invalid_operation
  338. mulx585 multiply  Inf   1     ->  Infinity
  339. mulx586 multiply  Inf   1000  ->  Infinity
  340. mulx587 multiply  Inf   Inf   ->  Infinity
  341. mulx588 multiply -1000  Inf   -> -Infinity
  342. mulx589 multiply -Inf   Inf   -> -Infinity
  343. mulx590 multiply -1     Inf   -> -Infinity
  344. mulx591 multiply -0     Inf   ->  NaN  Invalid_operation
  345. mulx592 multiply  0     Inf   ->  NaN  Invalid_operation
  346. mulx593 multiply  1     Inf   ->  Infinity
  347. mulx594 multiply  1000  Inf   ->  Infinity
  348. mulx595 multiply  Inf   Inf   ->  Infinity
  349.  
  350. mulx600 multiply -Inf  -Inf   ->  Infinity
  351. mulx601 multiply -Inf  -1000  ->  Infinity
  352. mulx602 multiply -Inf  -1     ->  Infinity
  353. mulx603 multiply -Inf  -0     ->  NaN  Invalid_operation
  354. mulx604 multiply -Inf   0     ->  NaN  Invalid_operation
  355. mulx605 multiply -Inf   1     -> -Infinity
  356. mulx606 multiply -Inf   1000  -> -Infinity
  357. mulx607 multiply -Inf   Inf   -> -Infinity
  358. mulx608 multiply -1000  Inf   -> -Infinity
  359. mulx609 multiply -Inf  -Inf   ->  Infinity
  360. mulx610 multiply -1    -Inf   ->  Infinity
  361. mulx611 multiply -0    -Inf   ->  NaN  Invalid_operation
  362. mulx612 multiply  0    -Inf   ->  NaN  Invalid_operation
  363. mulx613 multiply  1    -Inf   -> -Infinity
  364. mulx614 multiply  1000 -Inf   -> -Infinity
  365. mulx615 multiply  Inf  -Inf   -> -Infinity
  366.  
  367. mulx621 multiply  NaN -Inf    ->  NaN
  368. mulx622 multiply  NaN -1000   ->  NaN
  369. mulx623 multiply  NaN -1      ->  NaN
  370. mulx624 multiply  NaN -0      ->  NaN
  371. mulx625 multiply  NaN  0      ->  NaN
  372. mulx626 multiply  NaN  1      ->  NaN
  373. mulx627 multiply  NaN  1000   ->  NaN
  374. mulx628 multiply  NaN  Inf    ->  NaN
  375. mulx629 multiply  NaN  NaN    ->  NaN
  376. mulx630 multiply -Inf  NaN    ->  NaN
  377. mulx631 multiply -1000 NaN    ->  NaN
  378. mulx632 multiply -1    NaN    ->  NaN
  379. mulx633 multiply -0    NaN    ->  NaN
  380. mulx634 multiply  0    NaN    ->  NaN
  381. mulx635 multiply  1    NaN    ->  NaN
  382. mulx636 multiply  1000 NaN    ->  NaN
  383. mulx637 multiply  Inf  NaN    ->  NaN
  384.  
  385. mulx641 multiply  sNaN -Inf   ->  NaN  Invalid_operation
  386. mulx642 multiply  sNaN -1000  ->  NaN  Invalid_operation
  387. mulx643 multiply  sNaN -1     ->  NaN  Invalid_operation
  388. mulx644 multiply  sNaN -0     ->  NaN  Invalid_operation
  389. mulx645 multiply  sNaN  0     ->  NaN  Invalid_operation
  390. mulx646 multiply  sNaN  1     ->  NaN  Invalid_operation
  391. mulx647 multiply  sNaN  1000  ->  NaN  Invalid_operation
  392. mulx648 multiply  sNaN  NaN   ->  NaN  Invalid_operation
  393. mulx649 multiply  sNaN sNaN   ->  NaN  Invalid_operation
  394. mulx650 multiply  NaN  sNaN   ->  NaN  Invalid_operation
  395. mulx651 multiply -Inf  sNaN   ->  NaN  Invalid_operation
  396. mulx652 multiply -1000 sNaN   ->  NaN  Invalid_operation
  397. mulx653 multiply -1    sNaN   ->  NaN  Invalid_operation
  398. mulx654 multiply -0    sNaN   ->  NaN  Invalid_operation
  399. mulx655 multiply  0    sNaN   ->  NaN  Invalid_operation
  400. mulx656 multiply  1    sNaN   ->  NaN  Invalid_operation
  401. mulx657 multiply  1000 sNaN   ->  NaN  Invalid_operation
  402. mulx658 multiply  Inf  sNaN   ->  NaN  Invalid_operation
  403. mulx659 multiply  NaN  sNaN   ->  NaN  Invalid_operation
  404.  
  405. -- propagating NaNs
  406. mulx661 multiply  NaN9 -Inf   ->  NaN9
  407. mulx662 multiply  NaN8  999   ->  NaN8
  408. mulx663 multiply  NaN71 Inf   ->  NaN71
  409. mulx664 multiply  NaN6  NaN5  ->  NaN6
  410. mulx665 multiply -Inf   NaN4  ->  NaN4
  411. mulx666 multiply -999   NaN33 ->  NaN33
  412. mulx667 multiply  Inf   NaN2  ->  NaN2
  413.  
  414. mulx671 multiply  sNaN99 -Inf    ->  NaN99 Invalid_operation
  415. mulx672 multiply  sNaN98 -11     ->  NaN98 Invalid_operation
  416. mulx673 multiply  sNaN97  NaN    ->  NaN97 Invalid_operation
  417. mulx674 multiply  sNaN16 sNaN94  ->  NaN16 Invalid_operation
  418. mulx675 multiply  NaN95  sNaN93  ->  NaN93 Invalid_operation
  419. mulx676 multiply -Inf    sNaN92  ->  NaN92 Invalid_operation
  420. mulx677 multiply  088    sNaN91  ->  NaN91 Invalid_operation
  421. mulx678 multiply  Inf    sNaN90  ->  NaN90 Invalid_operation
  422. mulx679 multiply  NaN    sNaN89  ->  NaN89 Invalid_operation
  423.  
  424. mulx681 multiply -NaN9 -Inf   -> -NaN9
  425. mulx682 multiply -NaN8  999   -> -NaN8
  426. mulx683 multiply -NaN71 Inf   -> -NaN71
  427. mulx684 multiply -NaN6 -NaN5  -> -NaN6
  428. mulx685 multiply -Inf  -NaN4  -> -NaN4
  429. mulx686 multiply -999  -NaN33 -> -NaN33
  430. mulx687 multiply  Inf  -NaN2  -> -NaN2
  431.  
  432. mulx691 multiply -sNaN99 -Inf    -> -NaN99 Invalid_operation
  433. mulx692 multiply -sNaN98 -11     -> -NaN98 Invalid_operation
  434. mulx693 multiply -sNaN97  NaN    -> -NaN97 Invalid_operation
  435. mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
  436. mulx695 multiply -NaN95  -sNaN93 -> -NaN93 Invalid_operation
  437. mulx696 multiply -Inf    -sNaN92 -> -NaN92 Invalid_operation
  438. mulx697 multiply  088    -sNaN91 -> -NaN91 Invalid_operation
  439. mulx698 multiply  Inf    -sNaN90 -> -NaN90 Invalid_operation
  440. mulx699 multiply -NaN    -sNaN89 -> -NaN89 Invalid_operation
  441.  
  442. mulx701 multiply -NaN  -Inf   -> -NaN
  443. mulx702 multiply -NaN   999   -> -NaN
  444. mulx703 multiply -NaN   Inf   -> -NaN
  445. mulx704 multiply -NaN  -NaN   -> -NaN
  446. mulx705 multiply -Inf  -NaN0  -> -NaN
  447. mulx706 multiply -999  -NaN   -> -NaN
  448. mulx707 multiply  Inf  -NaN   -> -NaN
  449.  
  450. mulx711 multiply -sNaN   -Inf    -> -NaN Invalid_operation
  451. mulx712 multiply -sNaN   -11     -> -NaN Invalid_operation
  452. mulx713 multiply -sNaN00  NaN    -> -NaN Invalid_operation
  453. mulx714 multiply -sNaN   -sNaN   -> -NaN Invalid_operation
  454. mulx715 multiply -NaN    -sNaN   -> -NaN Invalid_operation
  455. mulx716 multiply -Inf    -sNaN   -> -NaN Invalid_operation
  456. mulx717 multiply  088    -sNaN   -> -NaN Invalid_operation
  457. mulx718 multiply  Inf    -sNaN   -> -NaN Invalid_operation
  458. mulx719 multiply -NaN    -sNaN   -> -NaN Invalid_operation
  459.  
  460. -- overflow and underflow tests .. note subnormal results
  461. maxexponent: 999999999
  462. minexponent: -999999999
  463. mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded
  464. mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded
  465. mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal
  466. mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal
  467. mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded
  468. mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded
  469. mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal
  470. mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal
  471.  
  472. mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal
  473. mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999
  474. mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal
  475. mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal
  476. mulx743 multiply 9e-999999998 0.1  -> 9E-999999999
  477. mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal
  478. mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded
  479. mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999
  480. mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded
  481. mulx748 multiply 9e999999998 100  -> Infinity Overflow Inexact Rounded
  482. mulx749 multiply 9e999999998 10   -> 9.0E+999999999
  483. mulx750 multiply 100  9e999999998 -> Infinity Overflow Inexact Rounded
  484. -- signs
  485. mulx751 multiply  1e+777777777  1e+411111111 ->  Infinity Overflow Inexact Rounded
  486. mulx752 multiply  1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded
  487. mulx753 multiply -1e+777777777  1e+411111111 -> -Infinity Overflow Inexact Rounded
  488. mulx754 multiply -1e+777777777 -1e+411111111 ->  Infinity Overflow Inexact Rounded
  489. mulx755 multiply  1e-777777777  1e-411111111 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
  490. mulx756 multiply  1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded
  491. mulx757 multiply -1e-777777777  1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded
  492. mulx758 multiply -1e-777777777 -1e-411111111 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
  493.  
  494. -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
  495. precision: 9
  496. mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal
  497. mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal
  498. mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal
  499. mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal
  500. mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal
  501. mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal
  502. mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
  503. mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
  504. mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
  505. mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
  506. -- [no equivalent of 'subnormal' for overflow]
  507. mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded
  508. mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded
  509. mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded
  510. mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded
  511. mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded
  512. mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded
  513. mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded
  514. mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded
  515. mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded
  516. mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded
  517.  
  518. -- 'subnormal' test edge condition at higher precisions
  519. precision: 99
  520. mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
  521. mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
  522. mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal
  523. mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded
  524. precision: 999
  525. mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal
  526. mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded
  527.  
  528. -- following testcases [through mulx800] not yet run against code
  529. precision: 9999
  530. mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal
  531. mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded
  532. precision: 99999
  533. mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal
  534. mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded
  535. precision: 999999
  536. mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal
  537. mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded
  538. precision: 9999999
  539. mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal
  540. mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded
  541. precision: 99999999
  542. mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal
  543. mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded
  544. precision: 999999999
  545. mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal
  546. mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal
  547. mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded
  548. mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
  549. mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
  550.  
  551. -- test subnormals rounding
  552. precision:   5
  553. maxExponent: 999
  554. minexponent: -999
  555. rounding:    half_even
  556.  
  557. mulx801 multiply  1.0000E-999  1     -> 1.0000E-999
  558. mulx802 multiply  1.000E-999   1e-1  -> 1.000E-1000 Subnormal
  559. mulx803 multiply  1.00E-999    1e-2  -> 1.00E-1001  Subnormal
  560. mulx804 multiply  1.0E-999     1e-3  -> 1.0E-1002   Subnormal
  561. mulx805 multiply  1.0E-999     1e-4  -> 1E-1003     Subnormal Rounded
  562. mulx806 multiply  1.3E-999     1e-4  -> 1E-1003     Underflow Subnormal Inexact Rounded
  563. mulx807 multiply  1.5E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  564. mulx808 multiply  1.7E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  565. mulx809 multiply  2.3E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  566. mulx810 multiply  2.5E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  567. mulx811 multiply  2.7E-999     1e-4  -> 3E-1003     Underflow Subnormal Inexact Rounded
  568. mulx812 multiply  1.49E-999    1e-4  -> 1E-1003     Underflow Subnormal Inexact Rounded
  569. mulx813 multiply  1.50E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  570. mulx814 multiply  1.51E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  571. mulx815 multiply  2.49E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  572. mulx816 multiply  2.50E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
  573. mulx817 multiply  2.51E-999    1e-4  -> 3E-1003     Underflow Subnormal Inexact Rounded
  574.  
  575. mulx818 multiply  1E-999       1e-4  -> 1E-1003     Subnormal
  576. mulx819 multiply  3E-999       1e-5  -> 0E-1003     Underflow Subnormal Inexact Rounded
  577. mulx820 multiply  5E-999       1e-5  -> 0E-1003     Underflow Subnormal Inexact Rounded
  578. mulx821 multiply  7E-999       1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
  579. mulx822 multiply  9E-999       1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
  580. mulx823 multiply  9.9E-999     1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
  581.  
  582. mulx824 multiply  1E-999      -1e-4  -> -1E-1003    Subnormal
  583. mulx825 multiply  3E-999      -1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded
  584. mulx826 multiply -5E-999       1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded
  585. mulx827 multiply  7E-999      -1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
  586. mulx828 multiply -9E-999       1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
  587. mulx829 multiply  9.9E-999    -1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
  588. mulx830 multiply  3.0E-999    -1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded
  589.  
  590. mulx831 multiply  1.0E-501     1e-501 -> 1.0E-1002   Subnormal
  591. mulx832 multiply  2.0E-501     2e-501 -> 4.0E-1002   Subnormal
  592. mulx833 multiply  4.0E-501     4e-501 -> 1.60E-1001  Subnormal
  593. mulx834 multiply 10.0E-501    10e-501 -> 1.000E-1000 Subnormal
  594. mulx835 multiply 30.0E-501    30e-501 -> 9.000E-1000 Subnormal
  595. mulx836 multiply 40.0E-501    40e-501 -> 1.6000E-999
  596.  
  597. -- squares
  598. mulx840 multiply  1E-502       1e-502 -> 0E-1003     Underflow Subnormal Inexact Rounded
  599. mulx841 multiply  1E-501       1e-501 -> 1E-1002     Subnormal
  600. mulx842 multiply  2E-501       2e-501 -> 4E-1002     Subnormal
  601. mulx843 multiply  4E-501       4e-501 -> 1.6E-1001   Subnormal
  602. mulx844 multiply 10E-501      10e-501 -> 1.00E-1000  Subnormal
  603. mulx845 multiply 30E-501      30e-501 -> 9.00E-1000  Subnormal
  604. mulx846 multiply 40E-501      40e-501 -> 1.600E-999
  605.  
  606. -- cubes
  607. mulx850 multiply  1E-670     1e-335 -> 0E-1003    Underflow Subnormal Inexact Rounded
  608. mulx851 multiply  1E-668     1e-334 -> 1E-1002    Subnormal
  609. mulx852 multiply  4E-668     2e-334 -> 8E-1002    Subnormal
  610. mulx853 multiply  9E-668     3e-334 -> 2.7E-1001  Subnormal
  611. mulx854 multiply 16E-668     4e-334 -> 6.4E-1001  Subnormal
  612. mulx855 multiply 25E-668     5e-334 -> 1.25E-1000 Subnormal
  613. mulx856 multiply 10E-668   100e-334 -> 1.000E-999
  614.  
  615. -- test from 0.099 ** 999 at 15 digits
  616. precision: 19
  617. mulx860 multiply  6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded
  618.  
  619. -- Long operand overflow may be a different path
  620. precision: 3
  621. maxExponent: 999999999
  622. minexponent: -999999999
  623. mulx870 multiply 1  9.999E+999999999   ->  Infinity Inexact Overflow Rounded
  624. mulx871 multiply 1 -9.999E+999999999   -> -Infinity Inexact Overflow Rounded
  625. mulx872 multiply    9.999E+999999999 1 ->  Infinity Inexact Overflow Rounded
  626. mulx873 multiply   -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded
  627.  
  628. -- check for double-rounded subnormals
  629. precision:   5
  630. maxexponent: 79
  631. minexponent: -79
  632. mulx881 multiply  1.2347E-40  1.2347E-40  ->  1.524E-80 Inexact Rounded Subnormal Underflow
  633. mulx882 multiply  1.234E-40  1.234E-40  ->  1.523E-80 Inexact Rounded Subnormal Underflow
  634. mulx883 multiply  1.23E-40   1.23E-40   ->  1.513E-80 Inexact Rounded Subnormal Underflow
  635. mulx884 multiply  1.2E-40    1.2E-40    ->  1.44E-80  Subnormal
  636. mulx885 multiply  1.2E-40    1.2E-41    ->  1.44E-81  Subnormal
  637. mulx886 multiply  1.2E-40    1.2E-42    ->  1.4E-82   Subnormal Inexact Rounded Underflow
  638. mulx887 multiply  1.2E-40    1.3E-42    ->  1.6E-82   Subnormal Inexact Rounded Underflow
  639. mulx888 multiply  1.3E-40    1.3E-42    ->  1.7E-82   Subnormal Inexact Rounded Underflow
  640.  
  641. mulx891 multiply  1.2345E-39   1.234E-40  ->  1.5234E-79 Inexact Rounded
  642. mulx892 multiply  1.23456E-39  1.234E-40  ->  1.5234E-79 Inexact Rounded
  643. mulx893 multiply  1.2345E-40   1.234E-40  ->  1.523E-80  Inexact Rounded Subnormal Underflow
  644. mulx894 multiply  1.23456E-40  1.234E-40  ->  1.523E-80  Inexact Rounded Subnormal Underflow
  645. mulx895 multiply  1.2345E-41   1.234E-40  ->  1.52E-81   Inexact Rounded Subnormal Underflow
  646. mulx896 multiply  1.23456E-41  1.234E-40  ->  1.52E-81   Inexact Rounded Subnormal Underflow
  647.  
  648. -- Null tests
  649. mulx900 multiply 10  # -> NaN Invalid_operation
  650. mulx901 multiply  # 10 -> NaN Invalid_operation
  651.  
  652.