+++ /dev/null
-------------------------------------------------------------------------\r
--- multiply.decTest -- decimal multiplication --\r
--- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r
-------------------------------------------------------------------------\r
--- Please see the document "General Decimal Arithmetic Testcases" --\r
--- at http://www2.hursley.ibm.com/decimal for the description of --\r
--- these testcases. --\r
--- --\r
--- These testcases are experimental ('beta' versions), and they --\r
--- may contain errors. They are offered on an as-is basis. In --\r
--- particular, achieving the same results as the tests here is not --\r
--- a guarantee that an implementation complies with any Standard --\r
--- or specification. The tests are not exhaustive. --\r
--- --\r
--- Please send comments, suggestions, and corrections to the author: --\r
--- Mike Cowlishaw, IBM Fellow --\r
--- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r
--- mfc@uk.ibm.com --\r
-------------------------------------------------------------------------\r
-version: 2.59\r
-\r
-extended: 1\r
-precision: 9\r
-rounding: half_up\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
--- sanity checks (as base, above)\r
-mulx000 multiply 2 2 -> 4\r
-mulx001 multiply 2 3 -> 6\r
-mulx002 multiply 5 1 -> 5\r
-mulx003 multiply 5 2 -> 10\r
-mulx004 multiply 1.20 2 -> 2.40\r
-mulx005 multiply 1.20 0 -> 0.00\r
-mulx006 multiply 1.20 -2 -> -2.40\r
-mulx007 multiply -1.20 2 -> -2.40\r
-mulx008 multiply -1.20 0 -> -0.00\r
-mulx009 multiply -1.20 -2 -> 2.40\r
-mulx010 multiply 5.09 7.1 -> 36.139\r
-mulx011 multiply 2.5 4 -> 10.0\r
-mulx012 multiply 2.50 4 -> 10.00\r
-mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded\r
-mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded\r
-mulx015 multiply 2.50 4 -> 10.00\r
-precision: 6\r
-mulx016 multiply 2.50 4 -> 10.00\r
-mulx017 multiply 9.999999999 9.999999999 -> 100.000 Inexact Rounded\r
-mulx018 multiply 9.999999999 -9.999999999 -> -100.000 Inexact Rounded\r
-mulx019 multiply -9.999999999 9.999999999 -> -100.000 Inexact Rounded\r
-mulx020 multiply -9.999999999 -9.999999999 -> 100.000 Inexact Rounded\r
-\r
--- 1999.12.21: next one is a edge case if intermediate longs are used\r
-precision: 15\r
-mulx059 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded\r
-precision: 30\r
-mulx160 multiply 999999999999 9765625 -> 9765624999990234375\r
-precision: 9\r
------\r
-\r
--- zeros, etc.\r
-mulx021 multiply 0 0 -> 0\r
-mulx022 multiply 0 -0 -> -0\r
-mulx023 multiply -0 0 -> -0\r
-mulx024 multiply -0 -0 -> 0\r
-mulx025 multiply -0.0 -0.0 -> 0.00\r
-mulx026 multiply -0.0 -0.0 -> 0.00\r
-mulx027 multiply -0.0 -0.0 -> 0.00\r
-mulx028 multiply -0.0 -0.0 -> 0.00\r
-mulx030 multiply 5.00 1E-3 -> 0.00500\r
-mulx031 multiply 00.00 0.000 -> 0.00000\r
-mulx032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0\r
-mulx033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0\r
-mulx034 multiply -5.00 1E-3 -> -0.00500\r
-mulx035 multiply -00.00 0.000 -> -0.00000\r
-mulx036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0\r
-mulx037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0\r
-mulx038 multiply 5.00 -1E-3 -> -0.00500\r
-mulx039 multiply 00.00 -0.000 -> -0.00000\r
-mulx040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0\r
-mulx041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0\r
-mulx042 multiply -5.00 -1E-3 -> 0.00500\r
-mulx043 multiply -00.00 -0.000 -> 0.00000\r
-mulx044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0\r
-mulx045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0\r
-\r
--- examples from decarith\r
-mulx050 multiply 1.20 3 -> 3.60\r
-mulx051 multiply 7 3 -> 21\r
-mulx052 multiply 0.9 0.8 -> 0.72\r
-mulx053 multiply 0.9 -0 -> -0.0\r
-mulx054 multiply 654321 654321 -> 4.28135971E+11 Inexact Rounded\r
-\r
-mulx060 multiply 123.45 1e7 -> 1.2345E+9\r
-mulx061 multiply 123.45 1e8 -> 1.2345E+10\r
-mulx062 multiply 123.45 1e+9 -> 1.2345E+11\r
-mulx063 multiply 123.45 1e10 -> 1.2345E+12\r
-mulx064 multiply 123.45 1e11 -> 1.2345E+13\r
-mulx065 multiply 123.45 1e12 -> 1.2345E+14\r
-mulx066 multiply 123.45 1e13 -> 1.2345E+15\r
-\r
-\r
--- test some intermediate lengths\r
-precision: 9\r
-mulx080 multiply 0.1 123456789 -> 12345678.9\r
-mulx081 multiply 0.1 1234567891 -> 123456789 Inexact Rounded\r
-mulx082 multiply 0.1 12345678912 -> 1.23456789E+9 Inexact Rounded\r
-mulx083 multiply 0.1 12345678912345 -> 1.23456789E+12 Inexact Rounded\r
-mulx084 multiply 0.1 123456789 -> 12345678.9\r
-precision: 8\r
-mulx085 multiply 0.1 12345678912 -> 1.2345679E+9 Inexact Rounded\r
-mulx086 multiply 0.1 12345678912345 -> 1.2345679E+12 Inexact Rounded\r
-precision: 7\r
-mulx087 multiply 0.1 12345678912 -> 1.234568E+9 Inexact Rounded\r
-mulx088 multiply 0.1 12345678912345 -> 1.234568E+12 Inexact Rounded\r
-\r
-precision: 9\r
-mulx090 multiply 123456789 0.1 -> 12345678.9\r
-mulx091 multiply 1234567891 0.1 -> 123456789 Inexact Rounded\r
-mulx092 multiply 12345678912 0.1 -> 1.23456789E+9 Inexact Rounded\r
-mulx093 multiply 12345678912345 0.1 -> 1.23456789E+12 Inexact Rounded\r
-mulx094 multiply 123456789 0.1 -> 12345678.9\r
-precision: 8\r
-mulx095 multiply 12345678912 0.1 -> 1.2345679E+9 Inexact Rounded\r
-mulx096 multiply 12345678912345 0.1 -> 1.2345679E+12 Inexact Rounded\r
-precision: 7\r
-mulx097 multiply 12345678912 0.1 -> 1.234568E+9 Inexact Rounded\r
-mulx098 multiply 12345678912345 0.1 -> 1.234568E+12 Inexact Rounded\r
-\r
--- test some more edge cases and carries\r
-maxexponent: 9999\r
-minexponent: -9999\r
-precision: 33\r
-mulx101 multiply 9 9 -> 81\r
-mulx102 multiply 9 90 -> 810\r
-mulx103 multiply 9 900 -> 8100\r
-mulx104 multiply 9 9000 -> 81000\r
-mulx105 multiply 9 90000 -> 810000\r
-mulx106 multiply 9 900000 -> 8100000\r
-mulx107 multiply 9 9000000 -> 81000000\r
-mulx108 multiply 9 90000000 -> 810000000\r
-mulx109 multiply 9 900000000 -> 8100000000\r
-mulx110 multiply 9 9000000000 -> 81000000000\r
-mulx111 multiply 9 90000000000 -> 810000000000\r
-mulx112 multiply 9 900000000000 -> 8100000000000\r
-mulx113 multiply 9 9000000000000 -> 81000000000000\r
-mulx114 multiply 9 90000000000000 -> 810000000000000\r
-mulx115 multiply 9 900000000000000 -> 8100000000000000\r
-mulx116 multiply 9 9000000000000000 -> 81000000000000000\r
-mulx117 multiply 9 90000000000000000 -> 810000000000000000\r
-mulx118 multiply 9 900000000000000000 -> 8100000000000000000\r
-mulx119 multiply 9 9000000000000000000 -> 81000000000000000000\r
-mulx120 multiply 9 90000000000000000000 -> 810000000000000000000\r
-mulx121 multiply 9 900000000000000000000 -> 8100000000000000000000\r
-mulx122 multiply 9 9000000000000000000000 -> 81000000000000000000000\r
-mulx123 multiply 9 90000000000000000000000 -> 810000000000000000000000\r
--- test some more edge cases without carries\r
-mulx131 multiply 3 3 -> 9\r
-mulx132 multiply 3 30 -> 90\r
-mulx133 multiply 3 300 -> 900\r
-mulx134 multiply 3 3000 -> 9000\r
-mulx135 multiply 3 30000 -> 90000\r
-mulx136 multiply 3 300000 -> 900000\r
-mulx137 multiply 3 3000000 -> 9000000\r
-mulx138 multiply 3 30000000 -> 90000000\r
-mulx139 multiply 3 300000000 -> 900000000\r
-mulx140 multiply 3 3000000000 -> 9000000000\r
-mulx141 multiply 3 30000000000 -> 90000000000\r
-mulx142 multiply 3 300000000000 -> 900000000000\r
-mulx143 multiply 3 3000000000000 -> 9000000000000\r
-mulx144 multiply 3 30000000000000 -> 90000000000000\r
-mulx145 multiply 3 300000000000000 -> 900000000000000\r
-mulx146 multiply 3 3000000000000000 -> 9000000000000000\r
-mulx147 multiply 3 30000000000000000 -> 90000000000000000\r
-mulx148 multiply 3 300000000000000000 -> 900000000000000000\r
-mulx149 multiply 3 3000000000000000000 -> 9000000000000000000\r
-mulx150 multiply 3 30000000000000000000 -> 90000000000000000000\r
-mulx151 multiply 3 300000000000000000000 -> 900000000000000000000\r
-mulx152 multiply 3 3000000000000000000000 -> 9000000000000000000000\r
-mulx153 multiply 3 30000000000000000000000 -> 90000000000000000000000\r
-\r
-maxexponent: 999999999\r
-minexponent: -999999999\r
-precision: 9\r
--- test some cases that are close to exponent overflow/underflow\r
-mulx170 multiply 1 9e999999999 -> 9E+999999999\r
-mulx171 multiply 1 9.9e999999999 -> 9.9E+999999999\r
-mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999\r
-mulx173 multiply 9e999999999 1 -> 9E+999999999\r
-mulx174 multiply 9.9e999999999 1 -> 9.9E+999999999\r
-mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999\r
-mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999\r
-mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999\r
-\r
-mulx180 multiply 0.1 9e-999999998 -> 9E-999999999\r
-mulx181 multiply 0.1 99e-999999998 -> 9.9E-999999998\r
-mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997\r
-\r
-mulx183 multiply 0.1 9e-999999998 -> 9E-999999999\r
-mulx184 multiply 0.1 99e-999999998 -> 9.9E-999999998\r
-mulx185 multiply 0.1 999e-999999998 -> 9.99E-999999997\r
-mulx186 multiply 0.1 999e-999999997 -> 9.99E-999999996\r
-mulx187 multiply 0.1 9999e-999999997 -> 9.999E-999999995\r
-mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994\r
-\r
-mulx190 multiply 1 9e-999999998 -> 9E-999999998\r
-mulx191 multiply 1 99e-999999998 -> 9.9E-999999997\r
-mulx192 multiply 1 999e-999999998 -> 9.99E-999999996\r
-mulx193 multiply 9e-999999998 1 -> 9E-999999998\r
-mulx194 multiply 99e-999999998 1 -> 9.9E-999999997\r
-mulx195 multiply 999e-999999998 1 -> 9.99E-999999996\r
-\r
-mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999\r
-mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999\r
-mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999\r
-mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999\r
-\r
-mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999\r
-mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999\r
-mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999\r
-mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999\r
-\r
--- long operand triangle\r
-precision: 33\r
-mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded\r
-precision: 32\r
-mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283 Inexact Rounded\r
-precision: 31\r
-mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928 Inexact Rounded\r
-precision: 30\r
-mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993 Inexact Rounded\r
-precision: 29\r
-mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199 Inexact Rounded\r
-precision: 28\r
-mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120 Inexact Rounded\r
-precision: 27\r
-mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512 Inexact Rounded\r
-precision: 26\r
-mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651 Inexact Rounded\r
-precision: 25\r
-mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165 Inexact Rounded\r
-precision: 24\r
-mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917 Inexact Rounded\r
-precision: 23\r
-mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192 Inexact Rounded\r
-precision: 22\r
-mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719 Inexact Rounded\r
-precision: 21\r
-mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672 Inexact Rounded\r
-precision: 20\r
-mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967 Inexact Rounded\r
-precision: 19\r
-mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697 Inexact Rounded\r
-precision: 18\r
-mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370 Inexact Rounded\r
-precision: 17\r
-mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337 Inexact Rounded\r
-precision: 16\r
-mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934 Inexact Rounded\r
-precision: 15\r
-mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193 Inexact Rounded\r
-precision: 14\r
-mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119 Inexact Rounded\r
-precision: 13\r
-mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012 Inexact Rounded\r
-precision: 12\r
-mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801 Inexact Rounded\r
-precision: 11\r
-mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080 Inexact Rounded\r
-precision: 10\r
-mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908 Inexact Rounded\r
-precision: 9\r
-mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291 Inexact Rounded\r
-precision: 8\r
-mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29 Inexact Rounded\r
-precision: 7\r
-mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3 Inexact Rounded\r
-precision: 6\r
-mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433 Inexact Rounded\r
-precision: 5\r
-mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5 Inexact Rounded\r
-precision: 4\r
-mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5 Inexact Rounded\r
-precision: 3\r
-mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5 Inexact Rounded\r
-precision: 2\r
-mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5 Inexact Rounded\r
-precision: 1\r
-mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5 Inexact Rounded\r
-\r
--- test some edge cases with exact rounding\r
-maxexponent: 9999\r
-minexponent: -9999\r
-precision: 9\r
-mulx301 multiply 9 9 -> 81\r
-mulx302 multiply 9 90 -> 810\r
-mulx303 multiply 9 900 -> 8100\r
-mulx304 multiply 9 9000 -> 81000\r
-mulx305 multiply 9 90000 -> 810000\r
-mulx306 multiply 9 900000 -> 8100000\r
-mulx307 multiply 9 9000000 -> 81000000\r
-mulx308 multiply 9 90000000 -> 810000000\r
-mulx309 multiply 9 900000000 -> 8.10000000E+9 Rounded\r
-mulx310 multiply 9 9000000000 -> 8.10000000E+10 Rounded\r
-mulx311 multiply 9 90000000000 -> 8.10000000E+11 Rounded\r
-mulx312 multiply 9 900000000000 -> 8.10000000E+12 Rounded\r
-mulx313 multiply 9 9000000000000 -> 8.10000000E+13 Rounded\r
-mulx314 multiply 9 90000000000000 -> 8.10000000E+14 Rounded\r
-mulx315 multiply 9 900000000000000 -> 8.10000000E+15 Rounded\r
-mulx316 multiply 9 9000000000000000 -> 8.10000000E+16 Rounded\r
-mulx317 multiply 9 90000000000000000 -> 8.10000000E+17 Rounded\r
-mulx318 multiply 9 900000000000000000 -> 8.10000000E+18 Rounded\r
-mulx319 multiply 9 9000000000000000000 -> 8.10000000E+19 Rounded\r
-mulx320 multiply 9 90000000000000000000 -> 8.10000000E+20 Rounded\r
-mulx321 multiply 9 900000000000000000000 -> 8.10000000E+21 Rounded\r
-mulx322 multiply 9 9000000000000000000000 -> 8.10000000E+22 Rounded\r
-mulx323 multiply 9 90000000000000000000000 -> 8.10000000E+23 Rounded\r
-\r
--- fastpath breakers\r
-precision: 29\r
-mulx330 multiply 1.491824697641270317824852952837224 1.105170918075647624811707826490246514675628614562883537345747603 -> 1.6487212707001281468486507878 Inexact Rounded\r
-precision: 55\r
-mulx331 multiply 0.8958341352965282506768545828765117803873717284891040428 0.8958341352965282506768545828765117803873717284891040428 -> 0.8025187979624784829842553829934069955890983696752228299 Inexact Rounded\r
-\r
-\r
--- tryzeros cases\r
-precision: 7\r
-rounding: half_up\r
-maxExponent: 92\r
-minexponent: -92\r
-mulx504 multiply 0E-60 1000E-60 -> 0E-98 Clamped\r
-mulx505 multiply 100E+60 0E+60 -> 0E+92 Clamped\r
-\r
--- mixed with zeros\r
-maxexponent: 999999999\r
-minexponent: -999999999\r
-precision: 9\r
-mulx541 multiply 0 -1 -> -0\r
-mulx542 multiply -0 -1 -> 0\r
-mulx543 multiply 0 1 -> 0\r
-mulx544 multiply -0 1 -> -0\r
-mulx545 multiply -1 0 -> -0\r
-mulx546 multiply -1 -0 -> 0\r
-mulx547 multiply 1 0 -> 0\r
-mulx548 multiply 1 -0 -> -0\r
-\r
-mulx551 multiply 0.0 -1 -> -0.0\r
-mulx552 multiply -0.0 -1 -> 0.0\r
-mulx553 multiply 0.0 1 -> 0.0\r
-mulx554 multiply -0.0 1 -> -0.0\r
-mulx555 multiply -1.0 0 -> -0.0\r
-mulx556 multiply -1.0 -0 -> 0.0\r
-mulx557 multiply 1.0 0 -> 0.0\r
-mulx558 multiply 1.0 -0 -> -0.0\r
-\r
-mulx561 multiply 0 -1.0 -> -0.0\r
-mulx562 multiply -0 -1.0 -> 0.0\r
-mulx563 multiply 0 1.0 -> 0.0\r
-mulx564 multiply -0 1.0 -> -0.0\r
-mulx565 multiply -1 0.0 -> -0.0\r
-mulx566 multiply -1 -0.0 -> 0.0\r
-mulx567 multiply 1 0.0 -> 0.0\r
-mulx568 multiply 1 -0.0 -> -0.0\r
-\r
-mulx571 multiply 0.0 -1.0 -> -0.00\r
-mulx572 multiply -0.0 -1.0 -> 0.00\r
-mulx573 multiply 0.0 1.0 -> 0.00\r
-mulx574 multiply -0.0 1.0 -> -0.00\r
-mulx575 multiply -1.0 0.0 -> -0.00\r
-mulx576 multiply -1.0 -0.0 -> 0.00\r
-mulx577 multiply 1.0 0.0 -> 0.00\r
-mulx578 multiply 1.0 -0.0 -> -0.00\r
-\r
-\r
--- Specials\r
-mulx580 multiply Inf -Inf -> -Infinity\r
-mulx581 multiply Inf -1000 -> -Infinity\r
-mulx582 multiply Inf -1 -> -Infinity\r
-mulx583 multiply Inf -0 -> NaN Invalid_operation\r
-mulx584 multiply Inf 0 -> NaN Invalid_operation\r
-mulx585 multiply Inf 1 -> Infinity\r
-mulx586 multiply Inf 1000 -> Infinity\r
-mulx587 multiply Inf Inf -> Infinity\r
-mulx588 multiply -1000 Inf -> -Infinity\r
-mulx589 multiply -Inf Inf -> -Infinity\r
-mulx590 multiply -1 Inf -> -Infinity\r
-mulx591 multiply -0 Inf -> NaN Invalid_operation\r
-mulx592 multiply 0 Inf -> NaN Invalid_operation\r
-mulx593 multiply 1 Inf -> Infinity\r
-mulx594 multiply 1000 Inf -> Infinity\r
-mulx595 multiply Inf Inf -> Infinity\r
-\r
-mulx600 multiply -Inf -Inf -> Infinity\r
-mulx601 multiply -Inf -1000 -> Infinity\r
-mulx602 multiply -Inf -1 -> Infinity\r
-mulx603 multiply -Inf -0 -> NaN Invalid_operation\r
-mulx604 multiply -Inf 0 -> NaN Invalid_operation\r
-mulx605 multiply -Inf 1 -> -Infinity\r
-mulx606 multiply -Inf 1000 -> -Infinity\r
-mulx607 multiply -Inf Inf -> -Infinity\r
-mulx608 multiply -1000 Inf -> -Infinity\r
-mulx609 multiply -Inf -Inf -> Infinity\r
-mulx610 multiply -1 -Inf -> Infinity\r
-mulx611 multiply -0 -Inf -> NaN Invalid_operation\r
-mulx612 multiply 0 -Inf -> NaN Invalid_operation\r
-mulx613 multiply 1 -Inf -> -Infinity\r
-mulx614 multiply 1000 -Inf -> -Infinity\r
-mulx615 multiply Inf -Inf -> -Infinity\r
-\r
-mulx621 multiply NaN -Inf -> NaN\r
-mulx622 multiply NaN -1000 -> NaN\r
-mulx623 multiply NaN -1 -> NaN\r
-mulx624 multiply NaN -0 -> NaN\r
-mulx625 multiply NaN 0 -> NaN\r
-mulx626 multiply NaN 1 -> NaN\r
-mulx627 multiply NaN 1000 -> NaN\r
-mulx628 multiply NaN Inf -> NaN\r
-mulx629 multiply NaN NaN -> NaN\r
-mulx630 multiply -Inf NaN -> NaN\r
-mulx631 multiply -1000 NaN -> NaN\r
-mulx632 multiply -1 NaN -> NaN\r
-mulx633 multiply -0 NaN -> NaN\r
-mulx634 multiply 0 NaN -> NaN\r
-mulx635 multiply 1 NaN -> NaN\r
-mulx636 multiply 1000 NaN -> NaN\r
-mulx637 multiply Inf NaN -> NaN\r
-\r
-mulx641 multiply sNaN -Inf -> NaN Invalid_operation\r
-mulx642 multiply sNaN -1000 -> NaN Invalid_operation\r
-mulx643 multiply sNaN -1 -> NaN Invalid_operation\r
-mulx644 multiply sNaN -0 -> NaN Invalid_operation\r
-mulx645 multiply sNaN 0 -> NaN Invalid_operation\r
-mulx646 multiply sNaN 1 -> NaN Invalid_operation\r
-mulx647 multiply sNaN 1000 -> NaN Invalid_operation\r
-mulx648 multiply sNaN NaN -> NaN Invalid_operation\r
-mulx649 multiply sNaN sNaN -> NaN Invalid_operation\r
-mulx650 multiply NaN sNaN -> NaN Invalid_operation\r
-mulx651 multiply -Inf sNaN -> NaN Invalid_operation\r
-mulx652 multiply -1000 sNaN -> NaN Invalid_operation\r
-mulx653 multiply -1 sNaN -> NaN Invalid_operation\r
-mulx654 multiply -0 sNaN -> NaN Invalid_operation\r
-mulx655 multiply 0 sNaN -> NaN Invalid_operation\r
-mulx656 multiply 1 sNaN -> NaN Invalid_operation\r
-mulx657 multiply 1000 sNaN -> NaN Invalid_operation\r
-mulx658 multiply Inf sNaN -> NaN Invalid_operation\r
-mulx659 multiply NaN sNaN -> NaN Invalid_operation\r
-\r
--- propagating NaNs\r
-mulx661 multiply NaN9 -Inf -> NaN9\r
-mulx662 multiply NaN8 999 -> NaN8\r
-mulx663 multiply NaN71 Inf -> NaN71\r
-mulx664 multiply NaN6 NaN5 -> NaN6\r
-mulx665 multiply -Inf NaN4 -> NaN4\r
-mulx666 multiply -999 NaN33 -> NaN33\r
-mulx667 multiply Inf NaN2 -> NaN2\r
-\r
-mulx671 multiply sNaN99 -Inf -> NaN99 Invalid_operation\r
-mulx672 multiply sNaN98 -11 -> NaN98 Invalid_operation\r
-mulx673 multiply sNaN97 NaN -> NaN97 Invalid_operation\r
-mulx674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation\r
-mulx675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation\r
-mulx676 multiply -Inf sNaN92 -> NaN92 Invalid_operation\r
-mulx677 multiply 088 sNaN91 -> NaN91 Invalid_operation\r
-mulx678 multiply Inf sNaN90 -> NaN90 Invalid_operation\r
-mulx679 multiply NaN sNaN89 -> NaN89 Invalid_operation\r
-\r
-mulx681 multiply -NaN9 -Inf -> -NaN9\r
-mulx682 multiply -NaN8 999 -> -NaN8\r
-mulx683 multiply -NaN71 Inf -> -NaN71\r
-mulx684 multiply -NaN6 -NaN5 -> -NaN6\r
-mulx685 multiply -Inf -NaN4 -> -NaN4\r
-mulx686 multiply -999 -NaN33 -> -NaN33\r
-mulx687 multiply Inf -NaN2 -> -NaN2\r
-\r
-mulx691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation\r
-mulx692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation\r
-mulx693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation\r
-mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation\r
-mulx695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation\r
-mulx696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation\r
-mulx697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation\r
-mulx698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation\r
-mulx699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation\r
-\r
-mulx701 multiply -NaN -Inf -> -NaN\r
-mulx702 multiply -NaN 999 -> -NaN\r
-mulx703 multiply -NaN Inf -> -NaN\r
-mulx704 multiply -NaN -NaN -> -NaN\r
-mulx705 multiply -Inf -NaN0 -> -NaN\r
-mulx706 multiply -999 -NaN -> -NaN\r
-mulx707 multiply Inf -NaN -> -NaN\r
-\r
-mulx711 multiply -sNaN -Inf -> -NaN Invalid_operation\r
-mulx712 multiply -sNaN -11 -> -NaN Invalid_operation\r
-mulx713 multiply -sNaN00 NaN -> -NaN Invalid_operation\r
-mulx714 multiply -sNaN -sNaN -> -NaN Invalid_operation\r
-mulx715 multiply -NaN -sNaN -> -NaN Invalid_operation\r
-mulx716 multiply -Inf -sNaN -> -NaN Invalid_operation\r
-mulx717 multiply 088 -sNaN -> -NaN Invalid_operation\r
-mulx718 multiply Inf -sNaN -> -NaN Invalid_operation\r
-mulx719 multiply -NaN -sNaN -> -NaN Invalid_operation\r
-\r
--- overflow and underflow tests .. note subnormal results\r
-maxexponent: 999999999\r
-minexponent: -999999999\r
-mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded\r
-mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded\r
-mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal\r
-mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal\r
-mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded\r
-mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded\r
-mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal\r
-mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal\r
-\r
-mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal\r
-mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999\r
-mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal\r
-mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal\r
-mulx743 multiply 9e-999999998 0.1 -> 9E-999999999\r
-mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal\r
-mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded\r
-mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999\r
-mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded\r
-mulx748 multiply 9e999999998 100 -> Infinity Overflow Inexact Rounded\r
-mulx749 multiply 9e999999998 10 -> 9.0E+999999999\r
-mulx750 multiply 100 9e999999998 -> Infinity Overflow Inexact Rounded\r
--- signs\r
-mulx751 multiply 1e+777777777 1e+411111111 -> Infinity Overflow Inexact Rounded\r
-mulx752 multiply 1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded\r
-mulx753 multiply -1e+777777777 1e+411111111 -> -Infinity Overflow Inexact Rounded\r
-mulx754 multiply -1e+777777777 -1e+411111111 -> Infinity Overflow Inexact Rounded\r
-mulx755 multiply 1e-777777777 1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-mulx756 multiply 1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-mulx757 multiply -1e-777777777 1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-mulx758 multiply -1e-777777777 -1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-\r
--- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)\r
-precision: 9\r
-mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal\r
-mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal\r
-mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal\r
-mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal\r
-mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal\r
-mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal\r
-mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal\r
-mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
-mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped\r
--- [no equivalent of 'subnormal' for overflow]\r
-mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded\r
-mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded\r
-mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded\r
-mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded\r
-mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded\r
-mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded\r
-mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded\r
-mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded\r
-mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded\r
-mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded\r
-\r
--- 'subnormal' test edge condition at higher precisions\r
-precision: 99\r
-mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal\r
-mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal\r
-mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal\r
-mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 999\r
-mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal\r
-mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded Clamped\r
-\r
--- following testcases [through mulx800] not yet run against code\r
-precision: 9999\r
-mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal\r
-mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 99999\r
-mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal\r
-mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 999999\r
-mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal\r
-mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 9999999\r
-mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal\r
-mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 99999999\r
-mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal\r
-mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded Clamped\r
-precision: 999999999\r
-mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal\r
-mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal\r
-mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded Clamped\r
-mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal\r
-mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal\r
-\r
--- test subnormals rounding\r
-precision: 5\r
-maxExponent: 999\r
-minexponent: -999\r
-rounding: half_even\r
-\r
-mulx801 multiply 1.0000E-999 1 -> 1.0000E-999\r
-mulx802 multiply 1.000E-999 1e-1 -> 1.000E-1000 Subnormal\r
-mulx803 multiply 1.00E-999 1e-2 -> 1.00E-1001 Subnormal\r
-mulx804 multiply 1.0E-999 1e-3 -> 1.0E-1002 Subnormal\r
-mulx805 multiply 1.0E-999 1e-4 -> 1E-1003 Subnormal Rounded\r
-mulx806 multiply 1.3E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx807 multiply 1.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx808 multiply 1.7E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx809 multiply 2.3E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx810 multiply 2.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx811 multiply 2.7E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded\r
-mulx812 multiply 1.49E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx813 multiply 1.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx814 multiply 1.51E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx815 multiply 2.49E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx816 multiply 2.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded\r
-mulx817 multiply 2.51E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded\r
-\r
-mulx818 multiply 1E-999 1e-4 -> 1E-1003 Subnormal\r
-mulx819 multiply 3E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx820 multiply 5E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx821 multiply 7E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx822 multiply 9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx823 multiply 9.9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded\r
-\r
-mulx824 multiply 1E-999 -1e-4 -> -1E-1003 Subnormal\r
-mulx825 multiply 3E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx826 multiply -5E-999 1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx827 multiply 7E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx828 multiply -9E-999 1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx829 multiply 9.9E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded\r
-mulx830 multiply 3.0E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-\r
-mulx831 multiply 1.0E-501 1e-501 -> 1.0E-1002 Subnormal\r
-mulx832 multiply 2.0E-501 2e-501 -> 4.0E-1002 Subnormal\r
-mulx833 multiply 4.0E-501 4e-501 -> 1.60E-1001 Subnormal\r
-mulx834 multiply 10.0E-501 10e-501 -> 1.000E-1000 Subnormal\r
-mulx835 multiply 30.0E-501 30e-501 -> 9.000E-1000 Subnormal\r
-mulx836 multiply 40.0E-501 40e-501 -> 1.6000E-999\r
-\r
--- squares\r
-mulx840 multiply 1E-502 1e-502 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx841 multiply 1E-501 1e-501 -> 1E-1002 Subnormal\r
-mulx842 multiply 2E-501 2e-501 -> 4E-1002 Subnormal\r
-mulx843 multiply 4E-501 4e-501 -> 1.6E-1001 Subnormal\r
-mulx844 multiply 10E-501 10e-501 -> 1.00E-1000 Subnormal\r
-mulx845 multiply 30E-501 30e-501 -> 9.00E-1000 Subnormal\r
-mulx846 multiply 40E-501 40e-501 -> 1.600E-999\r
-\r
--- cubes\r
-mulx850 multiply 1E-670 1e-335 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped\r
-mulx851 multiply 1E-668 1e-334 -> 1E-1002 Subnormal\r
-mulx852 multiply 4E-668 2e-334 -> 8E-1002 Subnormal\r
-mulx853 multiply 9E-668 3e-334 -> 2.7E-1001 Subnormal\r
-mulx854 multiply 16E-668 4e-334 -> 6.4E-1001 Subnormal\r
-mulx855 multiply 25E-668 5e-334 -> 1.25E-1000 Subnormal\r
-mulx856 multiply 10E-668 100e-334 -> 1.000E-999\r
-\r
--- test derived from result of 0.099 ** 999 at 15 digits with unlimited exponent\r
-precision: 19\r
-mulx860 multiply 6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded\r
-\r
--- Long operand overflow may be a different path\r
-precision: 3\r
-maxExponent: 999999999\r
-minexponent: -999999999\r
-mulx870 multiply 1 9.999E+999999999 -> Infinity Inexact Overflow Rounded\r
-mulx871 multiply 1 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded\r
-mulx872 multiply 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded\r
-mulx873 multiply -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded\r
-\r
--- check for double-rounded subnormals\r
-precision: 5\r
-maxexponent: 79\r
-minexponent: -79\r
-mulx881 multiply 1.2347E-40 1.2347E-40 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-mulx882 multiply 1.234E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow\r
-mulx883 multiply 1.23E-40 1.23E-40 -> 1.513E-80 Inexact Rounded Subnormal Underflow\r
-mulx884 multiply 1.2E-40 1.2E-40 -> 1.44E-80 Subnormal\r
-mulx885 multiply 1.2E-40 1.2E-41 -> 1.44E-81 Subnormal\r
-mulx886 multiply 1.2E-40 1.2E-42 -> 1.4E-82 Subnormal Inexact Rounded Underflow\r
-mulx887 multiply 1.2E-40 1.3E-42 -> 1.6E-82 Subnormal Inexact Rounded Underflow\r
-mulx888 multiply 1.3E-40 1.3E-42 -> 1.7E-82 Subnormal Inexact Rounded Underflow\r
-mulx889 multiply 1.3E-40 1.3E-43 -> 2E-83 Subnormal Inexact Rounded Underflow\r
-mulx890 multiply 1.3E-41 1.3E-43 -> 0E-83 Clamped Subnormal Inexact Rounded Underflow\r
-\r
-mulx891 multiply 1.2345E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded\r
-mulx892 multiply 1.23456E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded\r
-mulx893 multiply 1.2345E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow\r
-mulx894 multiply 1.23456E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow\r
-mulx895 multiply 1.2345E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow\r
-mulx896 multiply 1.23456E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow\r
-\r
--- Now explore the case where we get a normal result with Underflow\r
-precision: 16\r
-rounding: half_up\r
-maxExponent: 384\r
-minExponent: -383\r
-\r
-mulx900 multiply 0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded\r
-mulx901 multiply 0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded\r
-mulx902 multiply 9.999999999999999E-383 0.0999999999999 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded\r
-mulx903 multiply 9.999999999999999E-383 0.09999999999999 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded\r
-mulx904 multiply 9.999999999999999E-383 0.099999999999999 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded\r
-mulx905 multiply 9.999999999999999E-383 0.0999999999999999 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded\r
--- prove operands are exact\r
-mulx906 multiply 9.999999999999999E-383 1 -> 9.999999999999999E-383\r
-mulx907 multiply 1 0.09999999999999999 -> 0.09999999999999999\r
--- the next rounds to Nmin\r
-mulx908 multiply 9.999999999999999E-383 0.09999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-mulx909 multiply 9.999999999999999E-383 0.099999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-mulx910 multiply 9.999999999999999E-383 0.0999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-mulx911 multiply 9.999999999999999E-383 0.09999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-\r
-\r
--- Examples from SQL proposal (Krishna Kulkarni)\r
-precision: 34\r
-rounding: half_up\r
-maxExponent: 6144\r
-minExponent: -6143\r
-mulx1001 multiply 130E-2 120E-2 -> 1.5600\r
-mulx1002 multiply 130E-2 12E-1 -> 1.560\r
-mulx1003 multiply 130E-2 1E0 -> 1.30\r
-mulx1004 multiply 1E2 1E4 -> 1E+6\r
-\r
--- payload decapitate\r
-precision: 5\r
-mulx1010 multiply 11 -sNaN1234567890 -> -NaN67890 Invalid_operation\r
-\r
--- Null tests\r
-mulx990 multiply 10 # -> NaN Invalid_operation\r
-mulx991 multiply # 10 -> NaN Invalid_operation\r
-\r