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