首頁 探索 說明
登入
8516
/
Test
1
0
複刻 0
檔案 問題管理 0 合併請求 0 Wiki
分支: master
分支列表 標籤列表
Test
/
linux-devkit
/
sysroots
/
x86_64-arago-linux
/
usr
/
lib
/
python2.7
/
test
/
decimaltestdata
/
multiply.decTest

multiply.decTest 37 KB
永久連結 文件歷史 原始文件

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731 
  1. ------------------------------------------------------------------------
    2. 

  2. -- multiply.decTest -- decimal multiplication                         --
    3. 

  3. -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
    4. 

  4. ------------------------------------------------------------------------
    5. 

  5. -- Please see the document "General Decimal Arithmetic Testcases"     --
    6. 

  6. -- at http://www2.hursley.ibm.com/decimal for the description of      --
    7. 

  7. -- these testcases.                                                   --
    8. 

  8. --                                                                    --
    9. 

  9. -- These testcases are experimental ('beta' versions), and they       --
    10. 

  10. -- may contain errors.  They are offered on an as-is basis.  In       --
    11. 

  11. -- particular, achieving the same results as the tests here is not    --
    12. 

  12. -- a guarantee that an implementation complies with any Standard      --
    13. 

  13. -- or specification.  The tests are not exhaustive.                   --
    14. 

  14. --                                                                    --
    15. 

  15. -- Please send comments, suggestions, and corrections to the author:  --
    16. 

  16. --   Mike Cowlishaw, IBM Fellow                                       --
    17. 

  17. --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
    18. 

  18. --   mfc@uk.ibm.com                                                   --
    19. 

  19. ------------------------------------------------------------------------
    20. 

  20. version: 2.59
    21. 

  21. 

  22. extended:    1
    23. 

  23. precision:   9
    24. 

  24. rounding:    half_up
    25. 

  25. maxExponent: 384
    26. 

  26. minexponent: -383
    27. 

  27. 

  28. -- sanity checks (as base, above)
    29. 

  29. mulx000 multiply 2      2 -> 4
    30. 

  30. mulx001 multiply 2      3 -> 6
    31. 

  31. mulx002 multiply 5      1 -> 5
    32. 

  32. mulx003 multiply 5      2 -> 10
    33. 

  33. mulx004 multiply 1.20   2 -> 2.40
    34. 

  34. mulx005 multiply 1.20   0 -> 0.00
    35. 

  35. mulx006 multiply 1.20  -2 -> -2.40
    36. 

  36. mulx007 multiply -1.20  2 -> -2.40
    37. 

  37. mulx008 multiply -1.20  0 -> -0.00
    38. 

  38. mulx009 multiply -1.20 -2 -> 2.40
    39. 

  39. mulx010 multiply 5.09 7.1 -> 36.139
    40. 

  40. mulx011 multiply 2.5    4 -> 10.0
    41. 

  41. mulx012 multiply 2.50   4 -> 10.00
    42. 

  42. mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded
    43. 

  43. mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded
    44. 

  44. mulx015 multiply 2.50   4 -> 10.00
    45. 

  45. precision: 6
    46. 

  46. mulx016 multiply 2.50   4 -> 10.00
    47. 

  47. mulx017 multiply  9.999999999  9.999999999 ->  100.000 Inexact Rounded
    48. 

  48. mulx018 multiply  9.999999999 -9.999999999 -> -100.000 Inexact Rounded
    49. 

  49. mulx019 multiply -9.999999999  9.999999999 -> -100.000 Inexact Rounded
    50. 

  50. mulx020 multiply -9.999999999 -9.999999999 ->  100.000 Inexact Rounded
    51. 

  51. 

  52. -- 1999.12.21: next one is a edge case if intermediate longs are used
    53. 

  53. precision: 15
    54. 

  54. mulx059 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded
    55. 

  55. precision: 30
    56. 

  56. mulx160 multiply 999999999999 9765625 -> 9765624999990234375
    57. 

  57. precision: 9
    58. 

  58. -----
    59. 

  59. 

  60. -- zeros, etc.
    61. 

  61. mulx021 multiply  0      0     ->  0
    62. 

  62. mulx022 multiply  0     -0     -> -0
    63. 

  63. mulx023 multiply -0      0     -> -0
    64. 

  64. mulx024 multiply -0     -0     ->  0
    65. 

  65. mulx025 multiply -0.0   -0.0   ->  0.00
    66. 

  66. mulx026 multiply -0.0   -0.0   ->  0.00
    67. 

  67. mulx027 multiply -0.0   -0.0   ->  0.00
    68. 

  68. mulx028 multiply -0.0   -0.0   ->  0.00
    69. 

  69. mulx030 multiply  5.00   1E-3  ->  0.00500
    70. 

  70. mulx031 multiply  00.00  0.000 ->  0.00000
    71. 

  71. mulx032 multiply  00.00  0E-3  ->  0.00000     -- rhs is 0
    72. 

  72. mulx033 multiply  0E-3   00.00 ->  0.00000     -- lhs is 0
    73. 

  73. mulx034 multiply -5.00   1E-3  -> -0.00500
    74. 

  74. mulx035 multiply -00.00  0.000 -> -0.00000
    75. 

  75. mulx036 multiply -00.00  0E-3  -> -0.00000     -- rhs is 0
    76. 

  76. mulx037 multiply -0E-3   00.00 -> -0.00000     -- lhs is 0
    77. 

  77. mulx038 multiply  5.00  -1E-3  -> -0.00500
    78. 

  78. mulx039 multiply  00.00 -0.000 -> -0.00000
    79. 

  79. mulx040 multiply  00.00 -0E-3  -> -0.00000     -- rhs is 0
    80. 

  80. mulx041 multiply  0E-3  -00.00 -> -0.00000     -- lhs is 0
    81. 

  81. mulx042 multiply -5.00  -1E-3  ->  0.00500
    82. 

  82. mulx043 multiply -00.00 -0.000 ->  0.00000
    83. 

  83. mulx044 multiply -00.00 -0E-3  ->  0.00000     -- rhs is 0
    84. 

  84. mulx045 multiply -0E-3  -00.00 ->  0.00000     -- lhs is 0
    85. 

  85. 

  86. -- examples from decarith
    87. 

  87. mulx050 multiply 1.20 3        -> 3.60
    88. 

  88. mulx051 multiply 7    3        -> 21
    89. 

  89. mulx052 multiply 0.9  0.8      -> 0.72
    90. 

  90. mulx053 multiply 0.9  -0       -> -0.0
    91. 

  91. mulx054 multiply 654321 654321 -> 4.28135971E+11  Inexact Rounded
    92. 

  92. 

  93. mulx060 multiply 123.45 1e7  ->  1.2345E+9
    94. 

  94. mulx061 multiply 123.45 1e8  ->  1.2345E+10
    95. 

  95. mulx062 multiply 123.45 1e+9 ->  1.2345E+11
    96. 

  96. mulx063 multiply 123.45 1e10 ->  1.2345E+12
    97. 

  97. mulx064 multiply 123.45 1e11 ->  1.2345E+13
    98. 

  98. mulx065 multiply 123.45 1e12 ->  1.2345E+14
    99. 

  99. mulx066 multiply 123.45 1e13 ->  1.2345E+15
    100. 

  100. 

  101. 

  102. -- test some intermediate lengths
    103. 

  103. precision: 9
    104. 

  104. mulx080 multiply 0.1 123456789          -> 12345678.9
    105. 

  105. mulx081 multiply 0.1 1234567891         -> 123456789 Inexact Rounded
    106. 

  106. mulx082 multiply 0.1 12345678912        -> 1.23456789E+9 Inexact Rounded
    107. 

  107. mulx083 multiply 0.1 12345678912345     -> 1.23456789E+12 Inexact Rounded
    108. 

  108. mulx084 multiply 0.1 123456789          -> 12345678.9
    109. 

  109. precision: 8
    110. 

  110. mulx085 multiply 0.1 12345678912        -> 1.2345679E+9 Inexact Rounded
    111. 

  111. mulx086 multiply 0.1 12345678912345     -> 1.2345679E+12 Inexact Rounded
    112. 

  112. precision: 7
    113. 

  113. mulx087 multiply 0.1 12345678912        -> 1.234568E+9 Inexact Rounded
    114. 

  114. mulx088 multiply 0.1 12345678912345     -> 1.234568E+12 Inexact Rounded
    115. 

  115. 

  116. precision: 9
    117. 

  117. mulx090 multiply 123456789          0.1 -> 12345678.9
    118. 

  118. mulx091 multiply 1234567891         0.1 -> 123456789 Inexact Rounded
    119. 

  119. mulx092 multiply 12345678912        0.1 -> 1.23456789E+9 Inexact Rounded
    120. 

  120. mulx093 multiply 12345678912345     0.1 -> 1.23456789E+12 Inexact Rounded
    121. 

  121. mulx094 multiply 123456789          0.1 -> 12345678.9
    122. 

  122. precision: 8
    123. 

  123. mulx095 multiply 12345678912        0.1 -> 1.2345679E+9 Inexact Rounded
    124. 

  124. mulx096 multiply 12345678912345     0.1 -> 1.2345679E+12 Inexact Rounded
    125. 

  125. precision: 7
    126. 

  126. mulx097 multiply 12345678912        0.1 -> 1.234568E+9 Inexact Rounded
    127. 

  127. mulx098 multiply 12345678912345     0.1 -> 1.234568E+12 Inexact Rounded
    128. 

  128. 

  129. -- test some more edge cases and carries
    130. 

  130. maxexponent: 9999
    131. 

  131. minexponent: -9999
    132. 

  132. precision: 33
    133. 

  133. mulx101 multiply 9 9   -> 81
    134. 

  134. mulx102 multiply 9 90   -> 810
    135. 

  135. mulx103 multiply 9 900   -> 8100
    136. 

  136. mulx104 multiply 9 9000   -> 81000
    137. 

  137. mulx105 multiply 9 90000   -> 810000
    138. 

  138. mulx106 multiply 9 900000   -> 8100000
    139. 

  139. mulx107 multiply 9 9000000   -> 81000000
    140. 

  140. mulx108 multiply 9 90000000   -> 810000000
    141. 

  141. mulx109 multiply 9 900000000   -> 8100000000
    142. 

  142. mulx110 multiply 9 9000000000   -> 81000000000
    143. 

  143. mulx111 multiply 9 90000000000   -> 810000000000
    144. 

  144. mulx112 multiply 9 900000000000   -> 8100000000000
    145. 

  145. mulx113 multiply 9 9000000000000   -> 81000000000000
    146. 

  146. mulx114 multiply 9 90000000000000   -> 810000000000000
    147. 

  147. mulx115 multiply 9 900000000000000   -> 8100000000000000
    148. 

  148. mulx116 multiply 9 9000000000000000   -> 81000000000000000
    149. 

  149. mulx117 multiply 9 90000000000000000   -> 810000000000000000
    150. 

  150. mulx118 multiply 9 900000000000000000   -> 8100000000000000000
    151. 

  151. mulx119 multiply 9 9000000000000000000   -> 81000000000000000000
    152. 

  152. mulx120 multiply 9 90000000000000000000   -> 810000000000000000000
    153. 

  153. mulx121 multiply 9 900000000000000000000   -> 8100000000000000000000
    154. 

  154. mulx122 multiply 9 9000000000000000000000   -> 81000000000000000000000
    155. 

  155. mulx123 multiply 9 90000000000000000000000   -> 810000000000000000000000
    156. 

  156. -- test some more edge cases without carries
    157. 

  157. mulx131 multiply 3 3   -> 9
    158. 

  158. mulx132 multiply 3 30   -> 90
    159. 

  159. mulx133 multiply 3 300   -> 900
    160. 

  160. mulx134 multiply 3 3000   -> 9000
    161. 

  161. mulx135 multiply 3 30000   -> 90000
    162. 

  162. mulx136 multiply 3 300000   -> 900000
    163. 

  163. mulx137 multiply 3 3000000   -> 9000000
    164. 

  164. mulx138 multiply 3 30000000   -> 90000000
    165. 

  165. mulx139 multiply 3 300000000   -> 900000000
    166. 

  166. mulx140 multiply 3 3000000000   -> 9000000000
    167. 

  167. mulx141 multiply 3 30000000000   -> 90000000000
    168. 

  168. mulx142 multiply 3 300000000000   -> 900000000000
    169. 

  169. mulx143 multiply 3 3000000000000   -> 9000000000000
    170. 

  170. mulx144 multiply 3 30000000000000   -> 90000000000000
    171. 

  171. mulx145 multiply 3 300000000000000   -> 900000000000000
    172. 

  172. mulx146 multiply 3 3000000000000000   -> 9000000000000000
    173. 

  173. mulx147 multiply 3 30000000000000000   -> 90000000000000000
    174. 

  174. mulx148 multiply 3 300000000000000000   -> 900000000000000000
    175. 

  175. mulx149 multiply 3 3000000000000000000   -> 9000000000000000000
    176. 

  176. mulx150 multiply 3 30000000000000000000   -> 90000000000000000000
    177. 

  177. mulx151 multiply 3 300000000000000000000   -> 900000000000000000000
    178. 

  178. mulx152 multiply 3 3000000000000000000000   -> 9000000000000000000000
    179. 

  179. mulx153 multiply 3 30000000000000000000000   -> 90000000000000000000000
    180. 

  180. 

  181. maxexponent: 999999999
    182. 

  182. minexponent: -999999999
    183. 

  183. precision: 9
    184. 

  184. -- test some cases that are close to exponent overflow/underflow
    185. 

  185. mulx170 multiply 1 9e999999999    -> 9E+999999999
    186. 

  186. mulx171 multiply 1 9.9e999999999  -> 9.9E+999999999
    187. 

  187. mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999
    188. 

  188. mulx173 multiply 9e999999999    1 -> 9E+999999999
    189. 

  189. mulx174 multiply 9.9e999999999  1 -> 9.9E+999999999
    190. 

  190. mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999
    191. 

  191. mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999
    192. 

  192. mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999
    193. 

  193. 

  194. mulx180 multiply 0.1 9e-999999998   -> 9E-999999999
    195. 

  195. mulx181 multiply 0.1 99e-999999998  -> 9.9E-999999998
    196. 

  196. mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997
    197. 

  197. 

  198. mulx183 multiply 0.1 9e-999999998     -> 9E-999999999
    199. 

  199. mulx184 multiply 0.1 99e-999999998    -> 9.9E-999999998
    200. 

  200. mulx185 multiply 0.1 999e-999999998   -> 9.99E-999999997
    201. 

  201. mulx186 multiply 0.1 999e-999999997   -> 9.99E-999999996
    202. 

  202. mulx187 multiply 0.1 9999e-999999997  -> 9.999E-999999995
    203. 

  203. mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994
    204. 

  204. 

  205. mulx190 multiply 1 9e-999999998   -> 9E-999999998
    206. 

  206. mulx191 multiply 1 99e-999999998  -> 9.9E-999999997
    207. 

  207. mulx192 multiply 1 999e-999999998 -> 9.99E-999999996
    208. 

  208. mulx193 multiply 9e-999999998   1 -> 9E-999999998
    209. 

  209. mulx194 multiply 99e-999999998  1 -> 9.9E-999999997
    210. 

  210. mulx195 multiply 999e-999999998 1 -> 9.99E-999999996
    211. 

  211. 

  212. mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999
    213. 

  213. mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999
    214. 

  214. mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999
    215. 

  215. mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999
    216. 

  216. 

  217. mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999
    218. 

  218. mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999
    219. 

  219. mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999
    220. 

  220. mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999
    221. 

  221. 

  222. -- long operand triangle
    223. 

  223. precision: 33
    224. 

  224. mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded
    225. 

  225. precision: 32
    226. 

  226. mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283  Inexact Rounded
    227. 

  227. precision: 31
    228. 

  228. mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928   Inexact Rounded
    229. 

  229. precision: 30
    230. 

  230. mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993    Inexact Rounded
    231. 

  231. precision: 29
    232. 

  232. mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199     Inexact Rounded
    233. 

  233. precision: 28
    234. 

  234. mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120      Inexact Rounded
    235. 

  235. precision: 27
    236. 

  236. mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512       Inexact Rounded
    237. 

  237. precision: 26
    238. 

  238. mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651        Inexact Rounded
    239. 

  239. precision: 25
    240. 

  240. mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165         Inexact Rounded
    241. 

  241. precision: 24
    242. 

  242. mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917          Inexact Rounded
    243. 

  243. precision: 23
    244. 

  244. mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192           Inexact Rounded
    245. 

  245. precision: 22
    246. 

  246. mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719            Inexact Rounded
    247. 

  247. precision: 21
    248. 

  248. mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672             Inexact Rounded
    249. 

  249. precision: 20
    250. 

  250. mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967              Inexact Rounded
    251. 

  251. precision: 19
    252. 

  252. mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697               Inexact Rounded
    253. 

  253. precision: 18
    254. 

  254. mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370                Inexact Rounded
    255. 

  255. precision: 17
    256. 

  256. mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337                 Inexact Rounded
    257. 

  257. precision: 16
    258. 

  258. mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934                  Inexact Rounded
    259. 

  259. precision: 15
    260. 

  260. mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193                   Inexact Rounded
    261. 

  261. precision: 14
    262. 

  262. mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119                    Inexact Rounded
    263. 

  263. precision: 13
    264. 

  264. mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012                     Inexact Rounded
    265. 

  265. precision: 12
    266. 

  266. mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801                      Inexact Rounded
    267. 

  267. precision: 11
    268. 

  268. mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080                       Inexact Rounded
    269. 

  269. precision: 10
    270. 

  270. mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908                        Inexact Rounded
    271. 

  271. precision:  9
    272. 

  272. mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291                         Inexact Rounded
    273. 

  273. precision:  8
    274. 

  274. mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29                          Inexact Rounded
    275. 

  275. precision:  7
    276. 

  276. mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3                           Inexact Rounded
    277. 

  277. precision:  6
    278. 

  278. mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433                            Inexact Rounded
    279. 

  279. precision:  5
    280. 

  280. mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5                         Inexact Rounded
    281. 

  281. precision:  4
    282. 

  282. mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5                         Inexact Rounded
    283. 

  283. precision:  3
    284. 

  284. mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5                         Inexact Rounded
    285. 

  285. precision:  2
    286. 

  286. mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5                         Inexact Rounded
    287. 

  287. precision:  1
    288. 

  288. mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5                          Inexact Rounded
    289. 

  289. 

  290. -- test some edge cases with exact rounding
    291. 

  291. maxexponent: 9999
    292. 

  292. minexponent: -9999
    293. 

  293. precision: 9
    294. 

  294. mulx301 multiply 9 9   -> 81
    295. 

  295. mulx302 multiply 9 90   -> 810
    296. 

  296. mulx303 multiply 9 900   -> 8100
    297. 

  297. mulx304 multiply 9 9000   -> 81000
    298. 

  298. mulx305 multiply 9 90000   -> 810000
    299. 

  299. mulx306 multiply 9 900000   -> 8100000
    300. 

  300. mulx307 multiply 9 9000000   -> 81000000
    301. 

  301. mulx308 multiply 9 90000000   -> 810000000
    302. 

  302. mulx309 multiply 9 900000000   -> 8.10000000E+9   Rounded
    303. 

  303. mulx310 multiply 9 9000000000   -> 8.10000000E+10  Rounded
    304. 

  304. mulx311 multiply 9 90000000000   -> 8.10000000E+11  Rounded
    305. 

  305. mulx312 multiply 9 900000000000   -> 8.10000000E+12  Rounded
    306. 

  306. mulx313 multiply 9 9000000000000   -> 8.10000000E+13  Rounded
    307. 

  307. mulx314 multiply 9 90000000000000   -> 8.10000000E+14  Rounded
    308. 

  308. mulx315 multiply 9 900000000000000   -> 8.10000000E+15  Rounded
    309. 

  309. mulx316 multiply 9 9000000000000000   -> 8.10000000E+16  Rounded
    310. 

  310. mulx317 multiply 9 90000000000000000   -> 8.10000000E+17  Rounded
    311. 

  311. mulx318 multiply 9 900000000000000000   -> 8.10000000E+18  Rounded
    312. 

  312. mulx319 multiply 9 9000000000000000000   -> 8.10000000E+19  Rounded
    313. 

  313. mulx320 multiply 9 90000000000000000000   -> 8.10000000E+20  Rounded
    314. 

  314. mulx321 multiply 9 900000000000000000000   -> 8.10000000E+21  Rounded
    315. 

  315. mulx322 multiply 9 9000000000000000000000   -> 8.10000000E+22  Rounded
    316. 

  316. mulx323 multiply 9 90000000000000000000000   -> 8.10000000E+23  Rounded
    317. 

  317. 

  318. -- fastpath breakers
    319. 

  319. precision:   29
    320. 

  320. mulx330 multiply 1.491824697641270317824852952837224 1.105170918075647624811707826490246514675628614562883537345747603 -> 1.6487212707001281468486507878 Inexact Rounded
    321. 

  321. precision:   55
    322. 

  322. mulx331 multiply 0.8958341352965282506768545828765117803873717284891040428 0.8958341352965282506768545828765117803873717284891040428 -> 0.8025187979624784829842553829934069955890983696752228299 Inexact Rounded
    323. 

  323. 

  324. 

  325. -- tryzeros cases
    326. 

  326. precision:   7
    327. 

  327. rounding:    half_up
    328. 

  328. maxExponent: 92
    329. 

  329. minexponent: -92
    330. 

  330. mulx504  multiply  0E-60 1000E-60  -> 0E-98 Clamped
    331. 

  331. mulx505  multiply  100E+60 0E+60   -> 0E+92 Clamped
    332. 

  332. 

  333. -- mixed with zeros
    334. 

  334. maxexponent: 999999999
    335. 

  335. minexponent: -999999999
    336. 

  336. precision: 9
    337. 

  337. mulx541 multiply  0    -1     -> -0
    338. 

  338. mulx542 multiply -0    -1     ->  0
    339. 

  339. mulx543 multiply  0     1     ->  0
    340. 

  340. mulx544 multiply -0     1     -> -0
    341. 

  341. mulx545 multiply -1     0     -> -0
    342. 

  342. mulx546 multiply -1    -0     ->  0
    343. 

  343. mulx547 multiply  1     0     ->  0
    344. 

  344. mulx548 multiply  1    -0     -> -0
    345. 

  345. 

  346. mulx551 multiply  0.0  -1     -> -0.0
    347. 

  347. mulx552 multiply -0.0  -1     ->  0.0
    348. 

  348. mulx553 multiply  0.0   1     ->  0.0
    349. 

  349. mulx554 multiply -0.0   1     -> -0.0
    350. 

  350. mulx555 multiply -1.0   0     -> -0.0
    351. 

  351. mulx556 multiply -1.0  -0     ->  0.0
    352. 

  352. mulx557 multiply  1.0   0     ->  0.0
    353. 

  353. mulx558 multiply  1.0  -0     -> -0.0
    354. 

  354. 

  355. mulx561 multiply  0    -1.0   -> -0.0
    356. 

  356. mulx562 multiply -0    -1.0   ->  0.0
    357. 

  357. mulx563 multiply  0     1.0   ->  0.0
    358. 

  358. mulx564 multiply -0     1.0   -> -0.0
    359. 

  359. mulx565 multiply -1     0.0   -> -0.0
    360. 

  360. mulx566 multiply -1    -0.0   ->  0.0
    361. 

  361. mulx567 multiply  1     0.0   ->  0.0
    362. 

  362. mulx568 multiply  1    -0.0   -> -0.0
    363. 

  363. 

  364. mulx571 multiply  0.0  -1.0   -> -0.00
    365. 

  365. mulx572 multiply -0.0  -1.0   ->  0.00
    366. 

  366. mulx573 multiply  0.0   1.0   ->  0.00
    367. 

  367. mulx574 multiply -0.0   1.0   -> -0.00
    368. 

  368. mulx575 multiply -1.0   0.0   -> -0.00
    369. 

  369. mulx576 multiply -1.0  -0.0   ->  0.00
    370. 

  370. mulx577 multiply  1.0   0.0   ->  0.00
    371. 

  371. mulx578 multiply  1.0  -0.0   -> -0.00
    372. 

  372. 

  373. 

  374. -- Specials
    375. 

  375. mulx580 multiply  Inf  -Inf   -> -Infinity
    376. 

  376. mulx581 multiply  Inf  -1000  -> -Infinity
    377. 

  377. mulx582 multiply  Inf  -1     -> -Infinity
    378. 

  378. mulx583 multiply  Inf  -0     ->  NaN  Invalid_operation
    379. 

  379. mulx584 multiply  Inf   0     ->  NaN  Invalid_operation
    380. 

  380. mulx585 multiply  Inf   1     ->  Infinity
    381. 

  381. mulx586 multiply  Inf   1000  ->  Infinity
    382. 

  382. mulx587 multiply  Inf   Inf   ->  Infinity
    383. 

  383. mulx588 multiply -1000  Inf   -> -Infinity
    384. 

  384. mulx589 multiply -Inf   Inf   -> -Infinity
    385. 

  385. mulx590 multiply -1     Inf   -> -Infinity
    386. 

  386. mulx591 multiply -0     Inf   ->  NaN  Invalid_operation
    387. 

  387. mulx592 multiply  0     Inf   ->  NaN  Invalid_operation
    388. 

  388. mulx593 multiply  1     Inf   ->  Infinity
    389. 

  389. mulx594 multiply  1000  Inf   ->  Infinity
    390. 

  390. mulx595 multiply  Inf   Inf   ->  Infinity
    391. 

  391. 

  392. mulx600 multiply -Inf  -Inf   ->  Infinity
    393. 

  393. mulx601 multiply -Inf  -1000  ->  Infinity
    394. 

  394. mulx602 multiply -Inf  -1     ->  Infinity
    395. 

  395. mulx603 multiply -Inf  -0     ->  NaN  Invalid_operation
    396. 

  396. mulx604 multiply -Inf   0     ->  NaN  Invalid_operation
    397. 

  397. mulx605 multiply -Inf   1     -> -Infinity
    398. 

  398. mulx606 multiply -Inf   1000  -> -Infinity
    399. 

  399. mulx607 multiply -Inf   Inf   -> -Infinity
    400. 

  400. mulx608 multiply -1000  Inf   -> -Infinity
    401. 

  401. mulx609 multiply -Inf  -Inf   ->  Infinity
    402. 

  402. mulx610 multiply -1    -Inf   ->  Infinity
    403. 

  403. mulx611 multiply -0    -Inf   ->  NaN  Invalid_operation
    404. 

  404. mulx612 multiply  0    -Inf   ->  NaN  Invalid_operation
    405. 

  405. mulx613 multiply  1    -Inf   -> -Infinity
    406. 

  406. mulx614 multiply  1000 -Inf   -> -Infinity
    407. 

  407. mulx615 multiply  Inf  -Inf   -> -Infinity
    408. 

  408. 

  409. mulx621 multiply  NaN -Inf    ->  NaN
    410. 

  410. mulx622 multiply  NaN -1000   ->  NaN
    411. 

  411. mulx623 multiply  NaN -1      ->  NaN
    412. 

  412. mulx624 multiply  NaN -0      ->  NaN
    413. 

  413. mulx625 multiply  NaN  0      ->  NaN
    414. 

  414. mulx626 multiply  NaN  1      ->  NaN
    415. 

  415. mulx627 multiply  NaN  1000   ->  NaN
    416. 

  416. mulx628 multiply  NaN  Inf    ->  NaN
    417. 

  417. mulx629 multiply  NaN  NaN    ->  NaN
    418. 

  418. mulx630 multiply -Inf  NaN    ->  NaN
    419. 

  419. mulx631 multiply -1000 NaN    ->  NaN
    420. 

  420. mulx632 multiply -1    NaN    ->  NaN
    421. 

  421. mulx633 multiply -0    NaN    ->  NaN
    422. 

  422. mulx634 multiply  0    NaN    ->  NaN
    423. 

  423. mulx635 multiply  1    NaN    ->  NaN
    424. 

  424. mulx636 multiply  1000 NaN    ->  NaN
    425. 

  425. mulx637 multiply  Inf  NaN    ->  NaN
    426. 

  426. 

  427. mulx641 multiply  sNaN -Inf   ->  NaN  Invalid_operation
    428. 

  428. mulx642 multiply  sNaN -1000  ->  NaN  Invalid_operation
    429. 

  429. mulx643 multiply  sNaN -1     ->  NaN  Invalid_operation
    430. 

  430. mulx644 multiply  sNaN -0     ->  NaN  Invalid_operation
    431. 

  431. mulx645 multiply  sNaN  0     ->  NaN  Invalid_operation
    432. 

  432. mulx646 multiply  sNaN  1     ->  NaN  Invalid_operation
    433. 

  433. mulx647 multiply  sNaN  1000  ->  NaN  Invalid_operation
    434. 

  434. mulx648 multiply  sNaN  NaN   ->  NaN  Invalid_operation
    435. 

  435. mulx649 multiply  sNaN sNaN   ->  NaN  Invalid_operation
    436. 

  436. mulx650 multiply  NaN  sNaN   ->  NaN  Invalid_operation
    437. 

  437. mulx651 multiply -Inf  sNaN   ->  NaN  Invalid_operation
    438. 

  438. mulx652 multiply -1000 sNaN   ->  NaN  Invalid_operation
    439. 

  439. mulx653 multiply -1    sNaN   ->  NaN  Invalid_operation
    440. 

  440. mulx654 multiply -0    sNaN   ->  NaN  Invalid_operation
    441. 

  441. mulx655 multiply  0    sNaN   ->  NaN  Invalid_operation
    442. 

  442. mulx656 multiply  1    sNaN   ->  NaN  Invalid_operation
    443. 

  443. mulx657 multiply  1000 sNaN   ->  NaN  Invalid_operation
    444. 

  444. mulx658 multiply  Inf  sNaN   ->  NaN  Invalid_operation
    445. 

  445. mulx659 multiply  NaN  sNaN   ->  NaN  Invalid_operation
    446. 

  446. 

  447. -- propagating NaNs
    448. 

  448. mulx661 multiply  NaN9 -Inf   ->  NaN9
    449. 

  449. mulx662 multiply  NaN8  999   ->  NaN8
    450. 

  450. mulx663 multiply  NaN71 Inf   ->  NaN71
    451. 

  451. mulx664 multiply  NaN6  NaN5  ->  NaN6
    452. 

  452. mulx665 multiply -Inf   NaN4  ->  NaN4
    453. 

  453. mulx666 multiply -999   NaN33 ->  NaN33
    454. 

  454. mulx667 multiply  Inf   NaN2  ->  NaN2
    455. 

  455. 

  456. mulx671 multiply  sNaN99 -Inf    ->  NaN99 Invalid_operation
    457. 

  457. mulx672 multiply  sNaN98 -11     ->  NaN98 Invalid_operation
    458. 

  458. mulx673 multiply  sNaN97  NaN    ->  NaN97 Invalid_operation
    459. 

  459. mulx674 multiply  sNaN16 sNaN94  ->  NaN16 Invalid_operation
    460. 

  460. mulx675 multiply  NaN95  sNaN93  ->  NaN93 Invalid_operation
    461. 

  461. mulx676 multiply -Inf    sNaN92  ->  NaN92 Invalid_operation
    462. 

  462. mulx677 multiply  088    sNaN91  ->  NaN91 Invalid_operation
    463. 

  463. mulx678 multiply  Inf    sNaN90  ->  NaN90 Invalid_operation
    464. 

  464. mulx679 multiply  NaN    sNaN89  ->  NaN89 Invalid_operation
    465. 

  465. 

  466. mulx681 multiply -NaN9 -Inf   -> -NaN9
    467. 

  467. mulx682 multiply -NaN8  999   -> -NaN8
    468. 

  468. mulx683 multiply -NaN71 Inf   -> -NaN71
    469. 

  469. mulx684 multiply -NaN6 -NaN5  -> -NaN6
    470. 

  470. mulx685 multiply -Inf  -NaN4  -> -NaN4
    471. 

  471. mulx686 multiply -999  -NaN33 -> -NaN33
    472. 

  472. mulx687 multiply  Inf  -NaN2  -> -NaN2
    473. 

  473. 

  474. mulx691 multiply -sNaN99 -Inf    -> -NaN99 Invalid_operation
    475. 

  475. mulx692 multiply -sNaN98 -11     -> -NaN98 Invalid_operation
    476. 

  476. mulx693 multiply -sNaN97  NaN    -> -NaN97 Invalid_operation
    477. 

  477. mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
    478. 

  478. mulx695 multiply -NaN95  -sNaN93 -> -NaN93 Invalid_operation
    479. 

  479. mulx696 multiply -Inf    -sNaN92 -> -NaN92 Invalid_operation
    480. 

  480. mulx697 multiply  088    -sNaN91 -> -NaN91 Invalid_operation
    481. 

  481. mulx698 multiply  Inf    -sNaN90 -> -NaN90 Invalid_operation
    482. 

  482. mulx699 multiply -NaN    -sNaN89 -> -NaN89 Invalid_operation
    483. 

  483. 

  484. mulx701 multiply -NaN  -Inf   -> -NaN
    485. 

  485. mulx702 multiply -NaN   999   -> -NaN
    486. 

  486. mulx703 multiply -NaN   Inf   -> -NaN
    487. 

  487. mulx704 multiply -NaN  -NaN   -> -NaN
    488. 

  488. mulx705 multiply -Inf  -NaN0  -> -NaN
    489. 

  489. mulx706 multiply -999  -NaN   -> -NaN
    490. 

  490. mulx707 multiply  Inf  -NaN   -> -NaN
    491. 

  491. 

  492. mulx711 multiply -sNaN   -Inf    -> -NaN Invalid_operation
    493. 

  493. mulx712 multiply -sNaN   -11     -> -NaN Invalid_operation
    494. 

  494. mulx713 multiply -sNaN00  NaN    -> -NaN Invalid_operation
    495. 

  495. mulx714 multiply -sNaN   -sNaN   -> -NaN Invalid_operation
    496. 

  496. mulx715 multiply -NaN    -sNaN   -> -NaN Invalid_operation
    497. 

  497. mulx716 multiply -Inf    -sNaN   -> -NaN Invalid_operation
    498. 

  498. mulx717 multiply  088    -sNaN   -> -NaN Invalid_operation
    499. 

  499. mulx718 multiply  Inf    -sNaN   -> -NaN Invalid_operation
    500. 

  500. mulx719 multiply -NaN    -sNaN   -> -NaN Invalid_operation
    501. 

  501. 

  502. -- overflow and underflow tests .. note subnormal results
    503. 

  503. maxexponent: 999999999
    504. 

  504. minexponent: -999999999
    505. 

  505. mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded
    506. 

  506. mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded
    507. 

  507. mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal
    508. 

  508. mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal
    509. 

  509. mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded
    510. 

  510. mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded
    511. 

  511. mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal
    512. 

  512. mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal
    513. 

  513. 

  514. mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal
    515. 

  515. mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999
    516. 

  516. mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal
    517. 

  517. mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal
    518. 

  518. mulx743 multiply 9e-999999998 0.1  -> 9E-999999999
    519. 

  519. mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal
    520. 

  520. mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded
    521. 

  521. mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999
    522. 

  522. mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded
    523. 

  523. mulx748 multiply 9e999999998 100  -> Infinity Overflow Inexact Rounded
    524. 

  524. mulx749 multiply 9e999999998 10   -> 9.0E+999999999
    525. 

  525. mulx750 multiply 100  9e999999998 -> Infinity Overflow Inexact Rounded
    526. 

  526. -- signs
    527. 

  527. mulx751 multiply  1e+777777777  1e+411111111 ->  Infinity Overflow Inexact Rounded
    528. 

  528. mulx752 multiply  1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded
    529. 

  529. mulx753 multiply -1e+777777777  1e+411111111 -> -Infinity Overflow Inexact Rounded
    530. 

  530. mulx754 multiply -1e+777777777 -1e+411111111 ->  Infinity Overflow Inexact Rounded
    531. 

  531. mulx755 multiply  1e-777777777  1e-411111111 ->  0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    532. 

  532. mulx756 multiply  1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    533. 

  533. mulx757 multiply -1e-777777777  1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    534. 

  534. mulx758 multiply -1e-777777777 -1e-411111111 ->  0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    535. 

  535. 

  536. -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
    537. 

  537. precision: 9
    538. 

  538. mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal
    539. 

  539. mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal
    540. 

  540. mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal
    541. 

  541. mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal
    542. 

  542. mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal
    543. 

  543. mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal
    544. 

  544. mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
    545. 

  545. mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    546. 

  546. mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    547. 

  547. mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
    548. 

  548. -- [no equivalent of 'subnormal' for overflow]
    549. 

  549. mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded
    550. 

  550. mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded
    551. 

  551. mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded
    552. 

  552. mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded
    553. 

  553. mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded
    554. 

  554. mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded
    555. 

  555. mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded
    556. 

  556. mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded
    557. 

  557. mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded
    558. 

  558. mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded
    559. 

  559. 

  560. -- 'subnormal' test edge condition at higher precisions
    561. 

  561. precision: 99
    562. 

  562. mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
    563. 

  563. mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
    564. 

  564. mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal
    565. 

  565. mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded Clamped
    566. 

  566. precision: 999
    567. 

  567. mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal
    568. 

  568. mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded Clamped
    569. 

  569. 

  570. -- following testcases [through mulx800] not yet run against code
    571. 

  571. precision: 9999
    572. 

  572. mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal
    573. 

  573. mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded Clamped
    574. 

  574. precision: 99999
    575. 

  575. mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal
    576. 

  576. mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded Clamped
    577. 

  577. precision: 999999
    578. 

  578. mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal
    579. 

  579. mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded Clamped
    580. 

  580. precision: 9999999
    581. 

  581. mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal
    582. 

  582. mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded Clamped
    583. 

  583. precision: 99999999
    584. 

  584. mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal
    585. 

  585. mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded Clamped
    586. 

  586. precision: 999999999
    587. 

  587. mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal
    588. 

  588. mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal
    589. 

  589. mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded Clamped
    590. 

  590. mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
    591. 

  591. mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
    592. 

  592. 

  593. -- test subnormals rounding
    594. 

  594. precision:   5
    595. 

  595. maxExponent: 999
    596. 

  596. minexponent: -999
    597. 

  597. rounding:    half_even
    598. 

  598. 

  599. mulx801 multiply  1.0000E-999  1     -> 1.0000E-999
    600. 

  600. mulx802 multiply  1.000E-999   1e-1  -> 1.000E-1000 Subnormal
    601. 

  601. mulx803 multiply  1.00E-999    1e-2  -> 1.00E-1001  Subnormal
    602. 

  602. mulx804 multiply  1.0E-999     1e-3  -> 1.0E-1002   Subnormal
    603. 

  603. mulx805 multiply  1.0E-999     1e-4  -> 1E-1003     Subnormal Rounded
    604. 

  604. mulx806 multiply  1.3E-999     1e-4  -> 1E-1003     Underflow Subnormal Inexact Rounded
    605. 

  605. mulx807 multiply  1.5E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    606. 

  606. mulx808 multiply  1.7E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    607. 

  607. mulx809 multiply  2.3E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    608. 

  608. mulx810 multiply  2.5E-999     1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    609. 

  609. mulx811 multiply  2.7E-999     1e-4  -> 3E-1003     Underflow Subnormal Inexact Rounded
    610. 

  610. mulx812 multiply  1.49E-999    1e-4  -> 1E-1003     Underflow Subnormal Inexact Rounded
    611. 

  611. mulx813 multiply  1.50E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    612. 

  612. mulx814 multiply  1.51E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    613. 

  613. mulx815 multiply  2.49E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    614. 

  614. mulx816 multiply  2.50E-999    1e-4  -> 2E-1003     Underflow Subnormal Inexact Rounded
    615. 

  615. mulx817 multiply  2.51E-999    1e-4  -> 3E-1003     Underflow Subnormal Inexact Rounded
    616. 

  616. 

  617. mulx818 multiply  1E-999       1e-4  -> 1E-1003     Subnormal
    618. 

  618. mulx819 multiply  3E-999       1e-5  -> 0E-1003     Underflow Subnormal Inexact Rounded Clamped
    619. 

  619. mulx820 multiply  5E-999       1e-5  -> 0E-1003     Underflow Subnormal Inexact Rounded Clamped
    620. 

  620. mulx821 multiply  7E-999       1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
    621. 

  621. mulx822 multiply  9E-999       1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
    622. 

  622. mulx823 multiply  9.9E-999     1e-5  -> 1E-1003     Underflow Subnormal Inexact Rounded
    623. 

  623. 

  624. mulx824 multiply  1E-999      -1e-4  -> -1E-1003    Subnormal
    625. 

  625. mulx825 multiply  3E-999      -1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded Clamped
    626. 

  626. mulx826 multiply -5E-999       1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded Clamped
    627. 

  627. mulx827 multiply  7E-999      -1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
    628. 

  628. mulx828 multiply -9E-999       1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
    629. 

  629. mulx829 multiply  9.9E-999    -1e-5  -> -1E-1003    Underflow Subnormal Inexact Rounded
    630. 

  630. mulx830 multiply  3.0E-999    -1e-5  -> -0E-1003    Underflow Subnormal Inexact Rounded Clamped
    631. 

  631. 

  632. mulx831 multiply  1.0E-501     1e-501 -> 1.0E-1002   Subnormal
    633. 

  633. mulx832 multiply  2.0E-501     2e-501 -> 4.0E-1002   Subnormal
    634. 

  634. mulx833 multiply  4.0E-501     4e-501 -> 1.60E-1001  Subnormal
    635. 

  635. mulx834 multiply 10.0E-501    10e-501 -> 1.000E-1000 Subnormal
    636. 

  636. mulx835 multiply 30.0E-501    30e-501 -> 9.000E-1000 Subnormal
    637. 

  637. mulx836 multiply 40.0E-501    40e-501 -> 1.6000E-999
    638. 

  638. 

  639. -- squares
    640. 

  640. mulx840 multiply  1E-502       1e-502 -> 0E-1003     Underflow Subnormal Inexact Rounded Clamped
    641. 

  641. mulx841 multiply  1E-501       1e-501 -> 1E-1002     Subnormal
    642. 

  642. mulx842 multiply  2E-501       2e-501 -> 4E-1002     Subnormal
    643. 

  643. mulx843 multiply  4E-501       4e-501 -> 1.6E-1001   Subnormal
    644. 

  644. mulx844 multiply 10E-501      10e-501 -> 1.00E-1000  Subnormal
    645. 

  645. mulx845 multiply 30E-501      30e-501 -> 9.00E-1000  Subnormal
    646. 

  646. mulx846 multiply 40E-501      40e-501 -> 1.600E-999
    647. 

  647. 

  648. -- cubes
    649. 

  649. mulx850 multiply  1E-670     1e-335 -> 0E-1003    Underflow Subnormal Inexact Rounded Clamped
    650. 

  650. mulx851 multiply  1E-668     1e-334 -> 1E-1002    Subnormal
    651. 

  651. mulx852 multiply  4E-668     2e-334 -> 8E-1002    Subnormal
    652. 

  652. mulx853 multiply  9E-668     3e-334 -> 2.7E-1001  Subnormal
    653. 

  653. mulx854 multiply 16E-668     4e-334 -> 6.4E-1001  Subnormal
    654. 

  654. mulx855 multiply 25E-668     5e-334 -> 1.25E-1000 Subnormal
    655. 

  655. mulx856 multiply 10E-668   100e-334 -> 1.000E-999
    656. 

  656. 

  657. -- test derived from result of 0.099 ** 999 at 15 digits with unlimited exponent
    658. 

  658. precision: 19
    659. 

  659. mulx860 multiply  6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded
    660. 

  660. 

  661. -- Long operand overflow may be a different path
    662. 

  662. precision: 3
    663. 

  663. maxExponent: 999999999
    664. 

  664. minexponent: -999999999
    665. 

  665. mulx870 multiply 1  9.999E+999999999   ->  Infinity Inexact Overflow Rounded
    666. 

  666. mulx871 multiply 1 -9.999E+999999999   -> -Infinity Inexact Overflow Rounded
    667. 

  667. mulx872 multiply    9.999E+999999999 1 ->  Infinity Inexact Overflow Rounded
    668. 

  668. mulx873 multiply   -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded
    669. 

  669. 

  670. -- check for double-rounded subnormals
    671. 

  671. precision:   5
    672. 

  672. maxexponent: 79
    673. 

  673. minexponent: -79
    674. 

  674. mulx881 multiply  1.2347E-40  1.2347E-40  ->  1.524E-80  Inexact Rounded Subnormal Underflow
    675. 

  675. mulx882 multiply  1.234E-40  1.234E-40    ->  1.523E-80  Inexact Rounded Subnormal Underflow
    676. 

  676. mulx883 multiply  1.23E-40   1.23E-40     ->  1.513E-80  Inexact Rounded Subnormal Underflow
    677. 

  677. mulx884 multiply  1.2E-40    1.2E-40      ->  1.44E-80   Subnormal
    678. 

  678. mulx885 multiply  1.2E-40    1.2E-41      ->  1.44E-81   Subnormal
    679. 

  679. mulx886 multiply  1.2E-40    1.2E-42      ->  1.4E-82    Subnormal Inexact Rounded Underflow
    680. 

  680. mulx887 multiply  1.2E-40    1.3E-42      ->  1.6E-82    Subnormal Inexact Rounded Underflow
    681. 

  681. mulx888 multiply  1.3E-40    1.3E-42      ->  1.7E-82    Subnormal Inexact Rounded Underflow
    682. 

  682. mulx889 multiply  1.3E-40    1.3E-43      ->    2E-83    Subnormal Inexact Rounded Underflow
    683. 

  683. mulx890 multiply  1.3E-41    1.3E-43      ->    0E-83    Clamped Subnormal Inexact Rounded Underflow
    684. 

  684. 

  685. mulx891 multiply  1.2345E-39   1.234E-40  ->  1.5234E-79 Inexact Rounded
    686. 

  686. mulx892 multiply  1.23456E-39  1.234E-40  ->  1.5234E-79 Inexact Rounded
    687. 

  687. mulx893 multiply  1.2345E-40   1.234E-40  ->  1.523E-80  Inexact Rounded Subnormal Underflow
    688. 

  688. mulx894 multiply  1.23456E-40  1.234E-40  ->  1.523E-80  Inexact Rounded Subnormal Underflow
    689. 

  689. mulx895 multiply  1.2345E-41   1.234E-40  ->  1.52E-81   Inexact Rounded Subnormal Underflow
    690. 

  690. mulx896 multiply  1.23456E-41  1.234E-40  ->  1.52E-81   Inexact Rounded Subnormal Underflow
    691. 

  691. 

  692. -- Now explore the case where we get a normal result with Underflow
    693. 

  693. precision:   16
    694. 

  694. rounding:    half_up
    695. 

  695. maxExponent: 384
    696. 

  696. minExponent: -383
    697. 

  697. 

  698. mulx900 multiply  0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded
    699. 

  699. mulx901 multiply  0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded
    700. 

  700. mulx902 multiply  9.999999999999999E-383  0.0999999999999         -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded
    701. 

  701. mulx903 multiply  9.999999999999999E-383  0.09999999999999        -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded
    702. 

  702. mulx904 multiply  9.999999999999999E-383  0.099999999999999       -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded
    703. 

  703. mulx905 multiply  9.999999999999999E-383  0.0999999999999999      -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded
    704. 

  704. -- prove operands are exact
    705. 

  705. mulx906 multiply  9.999999999999999E-383  1                       -> 9.999999999999999E-383
    706. 

  706. mulx907 multiply                       1  0.09999999999999999     -> 0.09999999999999999
    707. 

  707. -- the next rounds to Nmin
    708. 

  708. mulx908 multiply  9.999999999999999E-383  0.09999999999999999     -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
    709. 

  709. mulx909 multiply  9.999999999999999E-383  0.099999999999999999    -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
    710. 

  710. mulx910 multiply  9.999999999999999E-383  0.0999999999999999999   -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
    711. 

  711. mulx911 multiply  9.999999999999999E-383  0.09999999999999999999  -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
    712. 

  712. 

  713. 

  714. -- Examples from SQL proposal (Krishna Kulkarni)
    715. 

  715. precision:   34
    716. 

  716. rounding:    half_up
    717. 

  717. maxExponent: 6144
    718. 

  718. minExponent: -6143
    719. 

  719. mulx1001  multiply 130E-2  120E-2 -> 1.5600
    720. 

  720. mulx1002  multiply 130E-2  12E-1  -> 1.560
    721. 

  721. mulx1003  multiply 130E-2  1E0    -> 1.30
    722. 

  722. mulx1004  multiply 1E2     1E4    -> 1E+6
    723. 

  723. 

  724. -- payload decapitate
    725. 

  725. precision: 5
    726. 

  726. mulx1010  multiply 11 -sNaN1234567890 -> -NaN67890  Invalid_operation
    727. 

  727. 

  728. -- Null tests
    729. 

  729. mulx990 multiply 10  # -> NaN Invalid_operation
    730. 

  730. mulx991 multiply  # 10 -> NaN Invalid_operation
    731. 

  731.