| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- ddMultiply.decTest -- decDouble multiplication --
|
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 4 | ------------------------------------------------------------------------
|
| 5 | -- Please see the document "General Decimal Arithmetic Testcases" --
|
| 6 | -- at http://www2.hursley.ibm.com/decimal for the description of --
|
| 7 | -- these testcases. --
|
| 8 | -- --
|
| 9 | -- These testcases are experimental ('beta' versions), and they --
|
| 10 | -- may contain errors. They are offered on an as-is basis. In --
|
| 11 | -- particular, achieving the same results as the tests here is not --
|
| 12 | -- a guarantee that an implementation complies with any Standard --
|
| 13 | -- or specification. The tests are not exhaustive. --
|
| 14 | -- --
|
| 15 | -- Please send comments, suggestions, and corrections to the author: --
|
| 16 | -- Mike Cowlishaw, IBM Fellow --
|
| 17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
|
| 18 | -- mfc@uk.ibm.com --
|
| 19 | ------------------------------------------------------------------------
|
| Mark Dickinson | 8a54653 | 2009-10-08 16:30:38 +0000 | [diff] [blame] | 20 | version: 2.59
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 21 |
|
| 22 | -- This set of tests are for decDoubles only; all arguments are
|
| 23 | -- representable in a decDouble
|
| 24 | precision: 16
|
| 25 | maxExponent: 384
|
| 26 | minExponent: -383
|
| 27 | extended: 1
|
| 28 | clamp: 1
|
| 29 | rounding: half_even
|
| 30 |
|
| 31 | -- sanity checks
|
| 32 | ddmul000 multiply 2 2 -> 4
|
| 33 | ddmul001 multiply 2 3 -> 6
|
| 34 | ddmul002 multiply 5 1 -> 5
|
| 35 | ddmul003 multiply 5 2 -> 10
|
| 36 | ddmul004 multiply 1.20 2 -> 2.40
|
| 37 | ddmul005 multiply 1.20 0 -> 0.00
|
| 38 | ddmul006 multiply 1.20 -2 -> -2.40
|
| 39 | ddmul007 multiply -1.20 2 -> -2.40
|
| 40 | ddmul008 multiply -1.20 0 -> -0.00
|
| 41 | ddmul009 multiply -1.20 -2 -> 2.40
|
| 42 | ddmul010 multiply 5.09 7.1 -> 36.139
|
| 43 | ddmul011 multiply 2.5 4 -> 10.0
|
| 44 | ddmul012 multiply 2.50 4 -> 10.00
|
| 45 | ddmul013 multiply 1.23456789 1.00000000 -> 1.234567890000000 Rounded
|
| 46 | ddmul015 multiply 2.50 4 -> 10.00
|
| 47 | ddmul016 multiply 9.999999999 9.999999999 -> 99.99999998000000 Inexact Rounded
|
| 48 | ddmul017 multiply 9.999999999 -9.999999999 -> -99.99999998000000 Inexact Rounded
|
| 49 | ddmul018 multiply -9.999999999 9.999999999 -> -99.99999998000000 Inexact Rounded
|
| 50 | ddmul019 multiply -9.999999999 -9.999999999 -> 99.99999998000000 Inexact Rounded
|
| 51 |
|
| 52 | -- zeros, etc.
|
| 53 | ddmul021 multiply 0 0 -> 0
|
| 54 | ddmul022 multiply 0 -0 -> -0
|
| 55 | ddmul023 multiply -0 0 -> -0
|
| 56 | ddmul024 multiply -0 -0 -> 0
|
| 57 | ddmul025 multiply -0.0 -0.0 -> 0.00
|
| 58 | ddmul026 multiply -0.0 -0.0 -> 0.00
|
| 59 | ddmul027 multiply -0.0 -0.0 -> 0.00
|
| 60 | ddmul028 multiply -0.0 -0.0 -> 0.00
|
| 61 | ddmul030 multiply 5.00 1E-3 -> 0.00500
|
| 62 | ddmul031 multiply 00.00 0.000 -> 0.00000
|
| 63 | ddmul032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0
|
| 64 | ddmul033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0
|
| 65 | ddmul034 multiply -5.00 1E-3 -> -0.00500
|
| 66 | ddmul035 multiply -00.00 0.000 -> -0.00000
|
| 67 | ddmul036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0
|
| 68 | ddmul037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0
|
| 69 | ddmul038 multiply 5.00 -1E-3 -> -0.00500
|
| 70 | ddmul039 multiply 00.00 -0.000 -> -0.00000
|
| 71 | ddmul040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0
|
| 72 | ddmul041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0
|
| 73 | ddmul042 multiply -5.00 -1E-3 -> 0.00500
|
| 74 | ddmul043 multiply -00.00 -0.000 -> 0.00000
|
| 75 | ddmul044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0
|
| 76 | ddmul045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0
|
| 77 |
|
| 78 | -- examples from decarith
|
| 79 | ddmul050 multiply 1.20 3 -> 3.60
|
| 80 | ddmul051 multiply 7 3 -> 21
|
| 81 | ddmul052 multiply 0.9 0.8 -> 0.72
|
| 82 | ddmul053 multiply 0.9 -0 -> -0.0
|
| 83 | ddmul054 multiply 654321 654321 -> 428135971041
|
| 84 |
|
| 85 | ddmul060 multiply 123.45 1e7 -> 1.2345E+9
|
| 86 | ddmul061 multiply 123.45 1e8 -> 1.2345E+10
|
| 87 | ddmul062 multiply 123.45 1e+9 -> 1.2345E+11
|
| 88 | ddmul063 multiply 123.45 1e10 -> 1.2345E+12
|
| 89 | ddmul064 multiply 123.45 1e11 -> 1.2345E+13
|
| 90 | ddmul065 multiply 123.45 1e12 -> 1.2345E+14
|
| 91 | ddmul066 multiply 123.45 1e13 -> 1.2345E+15
|
| 92 |
|
| 93 |
|
| 94 | -- test some intermediate lengths
|
| 95 | -- 1234567890123456
|
| 96 | ddmul080 multiply 0.1 1230123456456789 -> 123012345645678.9
|
| 97 | ddmul084 multiply 0.1 1230123456456789 -> 123012345645678.9
|
| 98 | ddmul090 multiply 1230123456456789 0.1 -> 123012345645678.9
|
| 99 | ddmul094 multiply 1230123456456789 0.1 -> 123012345645678.9
|
| 100 |
|
| 101 | -- test some more edge cases and carries
|
| 102 | ddmul101 multiply 9 9 -> 81
|
| 103 | ddmul102 multiply 9 90 -> 810
|
| 104 | ddmul103 multiply 9 900 -> 8100
|
| 105 | ddmul104 multiply 9 9000 -> 81000
|
| 106 | ddmul105 multiply 9 90000 -> 810000
|
| 107 | ddmul106 multiply 9 900000 -> 8100000
|
| 108 | ddmul107 multiply 9 9000000 -> 81000000
|
| 109 | ddmul108 multiply 9 90000000 -> 810000000
|
| 110 | ddmul109 multiply 9 900000000 -> 8100000000
|
| 111 | ddmul110 multiply 9 9000000000 -> 81000000000
|
| 112 | ddmul111 multiply 9 90000000000 -> 810000000000
|
| 113 | ddmul112 multiply 9 900000000000 -> 8100000000000
|
| 114 | ddmul113 multiply 9 9000000000000 -> 81000000000000
|
| 115 | ddmul114 multiply 9 90000000000000 -> 810000000000000
|
| 116 | ddmul115 multiply 9 900000000000000 -> 8100000000000000
|
| 117 | --ddmul116 multiply 9 9000000000000000 -> 81000000000000000
|
| 118 | --ddmul117 multiply 9 90000000000000000 -> 810000000000000000
|
| 119 | --ddmul118 multiply 9 900000000000000000 -> 8100000000000000000
|
| 120 | --ddmul119 multiply 9 9000000000000000000 -> 81000000000000000000
|
| 121 | --ddmul120 multiply 9 90000000000000000000 -> 810000000000000000000
|
| 122 | --ddmul121 multiply 9 900000000000000000000 -> 8100000000000000000000
|
| 123 | --ddmul122 multiply 9 9000000000000000000000 -> 81000000000000000000000
|
| 124 | --ddmul123 multiply 9 90000000000000000000000 -> 810000000000000000000000
|
| 125 | -- test some more edge cases without carries
|
| 126 | ddmul131 multiply 3 3 -> 9
|
| 127 | ddmul132 multiply 3 30 -> 90
|
| 128 | ddmul133 multiply 3 300 -> 900
|
| 129 | ddmul134 multiply 3 3000 -> 9000
|
| 130 | ddmul135 multiply 3 30000 -> 90000
|
| 131 | ddmul136 multiply 3 300000 -> 900000
|
| 132 | ddmul137 multiply 3 3000000 -> 9000000
|
| 133 | ddmul138 multiply 3 30000000 -> 90000000
|
| 134 | ddmul139 multiply 3 300000000 -> 900000000
|
| 135 | ddmul140 multiply 3 3000000000 -> 9000000000
|
| 136 | ddmul141 multiply 3 30000000000 -> 90000000000
|
| 137 | ddmul142 multiply 3 300000000000 -> 900000000000
|
| 138 | ddmul143 multiply 3 3000000000000 -> 9000000000000
|
| 139 | ddmul144 multiply 3 30000000000000 -> 90000000000000
|
| 140 | ddmul145 multiply 3 300000000000000 -> 900000000000000
|
| 141 |
|
| 142 | -- test some edge cases with exact rounding
|
| 143 | ddmul301 multiply 9 9 -> 81
|
| 144 | ddmul302 multiply 9 90 -> 810
|
| 145 | ddmul303 multiply 9 900 -> 8100
|
| 146 | ddmul304 multiply 9 9000 -> 81000
|
| 147 | ddmul305 multiply 9 90000 -> 810000
|
| 148 | ddmul306 multiply 9 900000 -> 8100000
|
| 149 | ddmul307 multiply 9 9000000 -> 81000000
|
| 150 | ddmul308 multiply 9 90000000 -> 810000000
|
| 151 | ddmul309 multiply 9 900000000 -> 8100000000
|
| 152 | ddmul310 multiply 9 9000000000 -> 81000000000
|
| 153 | ddmul311 multiply 9 90000000000 -> 810000000000
|
| 154 | ddmul312 multiply 9 900000000000 -> 8100000000000
|
| 155 | ddmul313 multiply 9 9000000000000 -> 81000000000000
|
| 156 | ddmul314 multiply 9 90000000000000 -> 810000000000000
|
| 157 | ddmul315 multiply 9 900000000000000 -> 8100000000000000
|
| 158 | ddmul316 multiply 9 9000000000000000 -> 8.100000000000000E+16 Rounded
|
| 159 | ddmul317 multiply 90 9000000000000000 -> 8.100000000000000E+17 Rounded
|
| 160 | ddmul318 multiply 900 9000000000000000 -> 8.100000000000000E+18 Rounded
|
| 161 | ddmul319 multiply 9000 9000000000000000 -> 8.100000000000000E+19 Rounded
|
| 162 | ddmul320 multiply 90000 9000000000000000 -> 8.100000000000000E+20 Rounded
|
| 163 | ddmul321 multiply 900000 9000000000000000 -> 8.100000000000000E+21 Rounded
|
| 164 | ddmul322 multiply 9000000 9000000000000000 -> 8.100000000000000E+22 Rounded
|
| 165 | ddmul323 multiply 90000000 9000000000000000 -> 8.100000000000000E+23 Rounded
|
| 166 |
|
| 167 | -- tryzeros cases
|
| 168 | ddmul504 multiply 0E-260 1000E-260 -> 0E-398 Clamped
|
| 169 | ddmul505 multiply 100E+260 0E+260 -> 0E+369 Clamped
|
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 170 | -- 65K-1 case
|
| 171 | ddmul506 multiply 77.1 850 -> 65535.0
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 172 |
|
| 173 | -- mixed with zeros
|
| 174 | ddmul541 multiply 0 -1 -> -0
|
| 175 | ddmul542 multiply -0 -1 -> 0
|
| 176 | ddmul543 multiply 0 1 -> 0
|
| 177 | ddmul544 multiply -0 1 -> -0
|
| 178 | ddmul545 multiply -1 0 -> -0
|
| 179 | ddmul546 multiply -1 -0 -> 0
|
| 180 | ddmul547 multiply 1 0 -> 0
|
| 181 | ddmul548 multiply 1 -0 -> -0
|
| 182 |
|
| 183 | ddmul551 multiply 0.0 -1 -> -0.0
|
| 184 | ddmul552 multiply -0.0 -1 -> 0.0
|
| 185 | ddmul553 multiply 0.0 1 -> 0.0
|
| 186 | ddmul554 multiply -0.0 1 -> -0.0
|
| 187 | ddmul555 multiply -1.0 0 -> -0.0
|
| 188 | ddmul556 multiply -1.0 -0 -> 0.0
|
| 189 | ddmul557 multiply 1.0 0 -> 0.0
|
| 190 | ddmul558 multiply 1.0 -0 -> -0.0
|
| 191 |
|
| 192 | ddmul561 multiply 0 -1.0 -> -0.0
|
| 193 | ddmul562 multiply -0 -1.0 -> 0.0
|
| 194 | ddmul563 multiply 0 1.0 -> 0.0
|
| 195 | ddmul564 multiply -0 1.0 -> -0.0
|
| 196 | ddmul565 multiply -1 0.0 -> -0.0
|
| 197 | ddmul566 multiply -1 -0.0 -> 0.0
|
| 198 | ddmul567 multiply 1 0.0 -> 0.0
|
| 199 | ddmul568 multiply 1 -0.0 -> -0.0
|
| 200 |
|
| 201 | ddmul571 multiply 0.0 -1.0 -> -0.00
|
| 202 | ddmul572 multiply -0.0 -1.0 -> 0.00
|
| 203 | ddmul573 multiply 0.0 1.0 -> 0.00
|
| 204 | ddmul574 multiply -0.0 1.0 -> -0.00
|
| 205 | ddmul575 multiply -1.0 0.0 -> -0.00
|
| 206 | ddmul576 multiply -1.0 -0.0 -> 0.00
|
| 207 | ddmul577 multiply 1.0 0.0 -> 0.00
|
| 208 | ddmul578 multiply 1.0 -0.0 -> -0.00
|
| 209 |
|
| 210 |
|
| 211 | -- Specials
|
| 212 | ddmul580 multiply Inf -Inf -> -Infinity
|
| 213 | ddmul581 multiply Inf -1000 -> -Infinity
|
| 214 | ddmul582 multiply Inf -1 -> -Infinity
|
| 215 | ddmul583 multiply Inf -0 -> NaN Invalid_operation
|
| 216 | ddmul584 multiply Inf 0 -> NaN Invalid_operation
|
| 217 | ddmul585 multiply Inf 1 -> Infinity
|
| 218 | ddmul586 multiply Inf 1000 -> Infinity
|
| 219 | ddmul587 multiply Inf Inf -> Infinity
|
| 220 | ddmul588 multiply -1000 Inf -> -Infinity
|
| 221 | ddmul589 multiply -Inf Inf -> -Infinity
|
| 222 | ddmul590 multiply -1 Inf -> -Infinity
|
| 223 | ddmul591 multiply -0 Inf -> NaN Invalid_operation
|
| 224 | ddmul592 multiply 0 Inf -> NaN Invalid_operation
|
| 225 | ddmul593 multiply 1 Inf -> Infinity
|
| 226 | ddmul594 multiply 1000 Inf -> Infinity
|
| 227 | ddmul595 multiply Inf Inf -> Infinity
|
| 228 |
|
| 229 | ddmul600 multiply -Inf -Inf -> Infinity
|
| 230 | ddmul601 multiply -Inf -1000 -> Infinity
|
| 231 | ddmul602 multiply -Inf -1 -> Infinity
|
| 232 | ddmul603 multiply -Inf -0 -> NaN Invalid_operation
|
| 233 | ddmul604 multiply -Inf 0 -> NaN Invalid_operation
|
| 234 | ddmul605 multiply -Inf 1 -> -Infinity
|
| 235 | ddmul606 multiply -Inf 1000 -> -Infinity
|
| 236 | ddmul607 multiply -Inf Inf -> -Infinity
|
| 237 | ddmul608 multiply -1000 Inf -> -Infinity
|
| 238 | ddmul609 multiply -Inf -Inf -> Infinity
|
| 239 | ddmul610 multiply -1 -Inf -> Infinity
|
| 240 | ddmul611 multiply -0 -Inf -> NaN Invalid_operation
|
| 241 | ddmul612 multiply 0 -Inf -> NaN Invalid_operation
|
| 242 | ddmul613 multiply 1 -Inf -> -Infinity
|
| 243 | ddmul614 multiply 1000 -Inf -> -Infinity
|
| 244 | ddmul615 multiply Inf -Inf -> -Infinity
|
| 245 |
|
| 246 | ddmul621 multiply NaN -Inf -> NaN
|
| 247 | ddmul622 multiply NaN -1000 -> NaN
|
| 248 | ddmul623 multiply NaN -1 -> NaN
|
| 249 | ddmul624 multiply NaN -0 -> NaN
|
| 250 | ddmul625 multiply NaN 0 -> NaN
|
| 251 | ddmul626 multiply NaN 1 -> NaN
|
| 252 | ddmul627 multiply NaN 1000 -> NaN
|
| 253 | ddmul628 multiply NaN Inf -> NaN
|
| 254 | ddmul629 multiply NaN NaN -> NaN
|
| 255 | ddmul630 multiply -Inf NaN -> NaN
|
| 256 | ddmul631 multiply -1000 NaN -> NaN
|
| 257 | ddmul632 multiply -1 NaN -> NaN
|
| 258 | ddmul633 multiply -0 NaN -> NaN
|
| 259 | ddmul634 multiply 0 NaN -> NaN
|
| 260 | ddmul635 multiply 1 NaN -> NaN
|
| 261 | ddmul636 multiply 1000 NaN -> NaN
|
| 262 | ddmul637 multiply Inf NaN -> NaN
|
| 263 |
|
| 264 | ddmul641 multiply sNaN -Inf -> NaN Invalid_operation
|
| 265 | ddmul642 multiply sNaN -1000 -> NaN Invalid_operation
|
| 266 | ddmul643 multiply sNaN -1 -> NaN Invalid_operation
|
| 267 | ddmul644 multiply sNaN -0 -> NaN Invalid_operation
|
| 268 | ddmul645 multiply sNaN 0 -> NaN Invalid_operation
|
| 269 | ddmul646 multiply sNaN 1 -> NaN Invalid_operation
|
| 270 | ddmul647 multiply sNaN 1000 -> NaN Invalid_operation
|
| 271 | ddmul648 multiply sNaN NaN -> NaN Invalid_operation
|
| 272 | ddmul649 multiply sNaN sNaN -> NaN Invalid_operation
|
| 273 | ddmul650 multiply NaN sNaN -> NaN Invalid_operation
|
| 274 | ddmul651 multiply -Inf sNaN -> NaN Invalid_operation
|
| 275 | ddmul652 multiply -1000 sNaN -> NaN Invalid_operation
|
| 276 | ddmul653 multiply -1 sNaN -> NaN Invalid_operation
|
| 277 | ddmul654 multiply -0 sNaN -> NaN Invalid_operation
|
| 278 | ddmul655 multiply 0 sNaN -> NaN Invalid_operation
|
| 279 | ddmul656 multiply 1 sNaN -> NaN Invalid_operation
|
| 280 | ddmul657 multiply 1000 sNaN -> NaN Invalid_operation
|
| 281 | ddmul658 multiply Inf sNaN -> NaN Invalid_operation
|
| 282 | ddmul659 multiply NaN sNaN -> NaN Invalid_operation
|
| 283 |
|
| 284 | -- propagating NaNs
|
| 285 | ddmul661 multiply NaN9 -Inf -> NaN9
|
| 286 | ddmul662 multiply NaN8 999 -> NaN8
|
| 287 | ddmul663 multiply NaN71 Inf -> NaN71
|
| 288 | ddmul664 multiply NaN6 NaN5 -> NaN6
|
| 289 | ddmul665 multiply -Inf NaN4 -> NaN4
|
| 290 | ddmul666 multiply -999 NaN33 -> NaN33
|
| 291 | ddmul667 multiply Inf NaN2 -> NaN2
|
| 292 |
|
| 293 | ddmul671 multiply sNaN99 -Inf -> NaN99 Invalid_operation
|
| 294 | ddmul672 multiply sNaN98 -11 -> NaN98 Invalid_operation
|
| 295 | ddmul673 multiply sNaN97 NaN -> NaN97 Invalid_operation
|
| 296 | ddmul674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation
|
| 297 | ddmul675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation
|
| 298 | ddmul676 multiply -Inf sNaN92 -> NaN92 Invalid_operation
|
| 299 | ddmul677 multiply 088 sNaN91 -> NaN91 Invalid_operation
|
| 300 | ddmul678 multiply Inf sNaN90 -> NaN90 Invalid_operation
|
| 301 | ddmul679 multiply NaN sNaN89 -> NaN89 Invalid_operation
|
| 302 |
|
| 303 | ddmul681 multiply -NaN9 -Inf -> -NaN9
|
| 304 | ddmul682 multiply -NaN8 999 -> -NaN8
|
| 305 | ddmul683 multiply -NaN71 Inf -> -NaN71
|
| 306 | ddmul684 multiply -NaN6 -NaN5 -> -NaN6
|
| 307 | ddmul685 multiply -Inf -NaN4 -> -NaN4
|
| 308 | ddmul686 multiply -999 -NaN33 -> -NaN33
|
| 309 | ddmul687 multiply Inf -NaN2 -> -NaN2
|
| 310 |
|
| 311 | ddmul691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation
|
| 312 | ddmul692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation
|
| 313 | ddmul693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation
|
| 314 | ddmul694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
|
| 315 | ddmul695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation
|
| 316 | ddmul696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation
|
| 317 | ddmul697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation
|
| 318 | ddmul698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation
|
| 319 | ddmul699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation
|
| 320 |
|
| 321 | ddmul701 multiply -NaN -Inf -> -NaN
|
| 322 | ddmul702 multiply -NaN 999 -> -NaN
|
| 323 | ddmul703 multiply -NaN Inf -> -NaN
|
| 324 | ddmul704 multiply -NaN -NaN -> -NaN
|
| 325 | ddmul705 multiply -Inf -NaN0 -> -NaN
|
| 326 | ddmul706 multiply -999 -NaN -> -NaN
|
| 327 | ddmul707 multiply Inf -NaN -> -NaN
|
| 328 |
|
| 329 | ddmul711 multiply -sNaN -Inf -> -NaN Invalid_operation
|
| 330 | ddmul712 multiply -sNaN -11 -> -NaN Invalid_operation
|
| 331 | ddmul713 multiply -sNaN00 NaN -> -NaN Invalid_operation
|
| 332 | ddmul714 multiply -sNaN -sNaN -> -NaN Invalid_operation
|
| 333 | ddmul715 multiply -NaN -sNaN -> -NaN Invalid_operation
|
| 334 | ddmul716 multiply -Inf -sNaN -> -NaN Invalid_operation
|
| 335 | ddmul717 multiply 088 -sNaN -> -NaN Invalid_operation
|
| 336 | ddmul718 multiply Inf -sNaN -> -NaN Invalid_operation
|
| 337 | ddmul719 multiply -NaN -sNaN -> -NaN Invalid_operation
|
| 338 |
|
| 339 | -- overflow and underflow tests .. note subnormal results
|
| 340 | -- signs
|
| 341 | ddmul751 multiply 1e+277 1e+311 -> Infinity Overflow Inexact Rounded
|
| 342 | ddmul752 multiply 1e+277 -1e+311 -> -Infinity Overflow Inexact Rounded
|
| 343 | ddmul753 multiply -1e+277 1e+311 -> -Infinity Overflow Inexact Rounded
|
| 344 | ddmul754 multiply -1e+277 -1e+311 -> Infinity Overflow Inexact Rounded
|
| 345 | ddmul755 multiply 1e-277 1e-311 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 346 | ddmul756 multiply 1e-277 -1e-311 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 347 | ddmul757 multiply -1e-277 1e-311 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 348 | ddmul758 multiply -1e-277 -1e-311 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 349 |
|
| 350 | -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
|
| 351 | ddmul760 multiply 1e-291 1e-101 -> 1E-392 Subnormal
|
| 352 | ddmul761 multiply 1e-291 1e-102 -> 1E-393 Subnormal
|
| 353 | ddmul762 multiply 1e-291 1e-103 -> 1E-394 Subnormal
|
| 354 | ddmul763 multiply 1e-291 1e-104 -> 1E-395 Subnormal
|
| 355 | ddmul764 multiply 1e-291 1e-105 -> 1E-396 Subnormal
|
| 356 | ddmul765 multiply 1e-291 1e-106 -> 1E-397 Subnormal
|
| 357 | ddmul766 multiply 1e-291 1e-107 -> 1E-398 Subnormal
|
| 358 | ddmul767 multiply 1e-291 1e-108 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 359 | ddmul768 multiply 1e-291 1e-109 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 360 | ddmul769 multiply 1e-291 1e-110 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 361 | -- [no equivalent of 'subnormal' for overflow]
|
| 362 | ddmul770 multiply 1e+60 1e+321 -> 1.000000000000E+381 Clamped
|
| 363 | ddmul771 multiply 1e+60 1e+322 -> 1.0000000000000E+382 Clamped
|
| 364 | ddmul772 multiply 1e+60 1e+323 -> 1.00000000000000E+383 Clamped
|
| 365 | ddmul773 multiply 1e+60 1e+324 -> 1.000000000000000E+384 Clamped
|
| 366 | ddmul774 multiply 1e+60 1e+325 -> Infinity Overflow Inexact Rounded
|
| 367 | ddmul775 multiply 1e+60 1e+326 -> Infinity Overflow Inexact Rounded
|
| 368 | ddmul776 multiply 1e+60 1e+327 -> Infinity Overflow Inexact Rounded
|
| 369 | ddmul777 multiply 1e+60 1e+328 -> Infinity Overflow Inexact Rounded
|
| 370 | ddmul778 multiply 1e+60 1e+329 -> Infinity Overflow Inexact Rounded
|
| 371 | ddmul779 multiply 1e+60 1e+330 -> Infinity Overflow Inexact Rounded
|
| 372 |
|
| 373 | ddmul801 multiply 1.0000E-394 1 -> 1.0000E-394 Subnormal
|
| 374 | ddmul802 multiply 1.000E-394 1e-1 -> 1.000E-395 Subnormal
|
| 375 | ddmul803 multiply 1.00E-394 1e-2 -> 1.00E-396 Subnormal
|
| 376 | ddmul804 multiply 1.0E-394 1e-3 -> 1.0E-397 Subnormal
|
| 377 | ddmul805 multiply 1.0E-394 1e-4 -> 1E-398 Subnormal Rounded
|
| 378 | ddmul806 multiply 1.3E-394 1e-4 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 379 | ddmul807 multiply 1.5E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 380 | ddmul808 multiply 1.7E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 381 | ddmul809 multiply 2.3E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 382 | ddmul810 multiply 2.5E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 383 | ddmul811 multiply 2.7E-394 1e-4 -> 3E-398 Underflow Subnormal Inexact Rounded
|
| 384 | ddmul812 multiply 1.49E-394 1e-4 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 385 | ddmul813 multiply 1.50E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 386 | ddmul814 multiply 1.51E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 387 | ddmul815 multiply 2.49E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 388 | ddmul816 multiply 2.50E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 389 | ddmul817 multiply 2.51E-394 1e-4 -> 3E-398 Underflow Subnormal Inexact Rounded
|
| 390 |
|
| 391 | ddmul818 multiply 1E-394 1e-4 -> 1E-398 Subnormal
|
| 392 | ddmul819 multiply 3E-394 1e-5 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 393 | ddmul820 multiply 5E-394 1e-5 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 394 | ddmul821 multiply 7E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 395 | ddmul822 multiply 9E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 396 | ddmul823 multiply 9.9E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 397 |
|
| 398 | ddmul824 multiply 1E-394 -1e-4 -> -1E-398 Subnormal
|
| 399 | ddmul825 multiply 3E-394 -1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 400 | ddmul826 multiply -5E-394 1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 401 | ddmul827 multiply 7E-394 -1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 402 | ddmul828 multiply -9E-394 1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 403 | ddmul829 multiply 9.9E-394 -1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 404 | ddmul830 multiply 3.0E-394 -1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 405 |
|
| 406 | ddmul831 multiply 1.0E-199 1e-200 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 407 | ddmul832 multiply 1.0E-199 1e-199 -> 1E-398 Subnormal Rounded
|
| 408 | ddmul833 multiply 1.0E-199 1e-198 -> 1.0E-397 Subnormal
|
| 409 | ddmul834 multiply 2.0E-199 2e-198 -> 4.0E-397 Subnormal
|
| 410 | ddmul835 multiply 4.0E-199 4e-198 -> 1.60E-396 Subnormal
|
| 411 | ddmul836 multiply 10.0E-199 10e-198 -> 1.000E-395 Subnormal
|
| 412 | ddmul837 multiply 30.0E-199 30e-198 -> 9.000E-395 Subnormal
|
| 413 | ddmul838 multiply 40.0E-199 40e-188 -> 1.6000E-384 Subnormal
|
| 414 | ddmul839 multiply 40.0E-199 40e-187 -> 1.6000E-383
|
| 415 | ddmul840 multiply 40.0E-199 40e-186 -> 1.6000E-382
|
| 416 |
|
| 417 | -- Long operand overflow may be a different path
|
| 418 | ddmul870 multiply 100 9.999E+383 -> Infinity Inexact Overflow Rounded
|
| 419 | ddmul871 multiply 100 -9.999E+383 -> -Infinity Inexact Overflow Rounded
|
| 420 | ddmul872 multiply 9.999E+383 100 -> Infinity Inexact Overflow Rounded
|
| 421 | ddmul873 multiply -9.999E+383 100 -> -Infinity Inexact Overflow Rounded
|
| 422 |
|
| 423 | -- check for double-rounded subnormals
|
| 424 | ddmul881 multiply 1.2347E-355 1.2347E-40 -> 1.524E-395 Inexact Rounded Subnormal Underflow
|
| 425 | ddmul882 multiply 1.234E-355 1.234E-40 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 426 | ddmul883 multiply 1.23E-355 1.23E-40 -> 1.513E-395 Inexact Rounded Subnormal Underflow
|
| 427 | ddmul884 multiply 1.2E-355 1.2E-40 -> 1.44E-395 Subnormal
|
| 428 | ddmul885 multiply 1.2E-355 1.2E-41 -> 1.44E-396 Subnormal
|
| 429 | ddmul886 multiply 1.2E-355 1.2E-42 -> 1.4E-397 Subnormal Inexact Rounded Underflow
|
| 430 | ddmul887 multiply 1.2E-355 1.3E-42 -> 1.6E-397 Subnormal Inexact Rounded Underflow
|
| 431 | ddmul888 multiply 1.3E-355 1.3E-42 -> 1.7E-397 Subnormal Inexact Rounded Underflow
|
| 432 | ddmul889 multiply 1.3E-355 1.3E-43 -> 2E-398 Subnormal Inexact Rounded Underflow
|
| 433 | ddmul890 multiply 1.3E-356 1.3E-43 -> 0E-398 Clamped Subnormal Inexact Rounded Underflow
|
| 434 |
|
| 435 | ddmul891 multiply 1.2345E-39 1.234E-355 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
| 436 | ddmul892 multiply 1.23456E-39 1.234E-355 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
| 437 | ddmul893 multiply 1.2345E-40 1.234E-355 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 438 | ddmul894 multiply 1.23456E-40 1.234E-355 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 439 | ddmul895 multiply 1.2345E-41 1.234E-355 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
| 440 | ddmul896 multiply 1.23456E-41 1.234E-355 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
| 441 |
|
| 442 | -- Now explore the case where we get a normal result with Underflow
|
| 443 | -- 1 234567890123456
|
| 444 | ddmul900 multiply 0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded
|
| 445 | ddmul901 multiply 0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded
|
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 446 | ddmul902 multiply 9.999999999999999E-383 0.0999999999999 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded
|
| 447 | ddmul903 multiply 9.999999999999999E-383 0.09999999999999 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded
|
| 448 | ddmul904 multiply 9.999999999999999E-383 0.099999999999999 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded
|
| 449 | ddmul905 multiply 9.999999999999999E-383 0.0999999999999999 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded
|
| 450 | -- The next rounds to Nmin (b**emin); this is the distinguishing case
|
| 451 | -- for detecting tininess (before or after rounding) -- if after
|
| 452 | -- rounding then the result would be the same, but the Underflow flag
|
| 453 | -- would not be set
|
| 454 | ddmul906 multiply 9.999999999999999E-383 0.09999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
|
| 455 | -- prove those operands were exact
|
| 456 | ddmul907 multiply 9.999999999999999E-383 1 -> 9.999999999999999E-383
|
| 457 | ddmul908 multiply 1 0.09999999999999999 -> 0.09999999999999999
|
| 458 |
|
| 459 | -- reducing tiniest
|
| 460 | ddmul910 multiply 1e-398 0.99 -> 1E-398 Subnormal Inexact Rounded Underflow
|
| 461 | ddmul911 multiply 1e-398 0.75 -> 1E-398 Subnormal Inexact Rounded Underflow
|
| 462 | ddmul912 multiply 1e-398 0.5 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
| 463 | ddmul913 multiply 1e-398 0.25 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
| 464 | ddmul914 multiply 1e-398 0.01 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 465 |
|
| 466 | -- hugest
|
| Benjamin Peterson | f17ff4e | 2008-07-31 16:32:12 +0000 | [diff] [blame] | 467 | ddmul920 multiply 9999999999999999 9999999999999999 -> 9.999999999999998E+31 Inexact Rounded
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 468 |
|
| Guido van Rossum | 0d3fb8a | 2007-11-26 23:23:18 +0000 | [diff] [blame] | 469 | -- power-of-ten edge cases
|
| 470 | ddmul1001 multiply 1 10 -> 10
|
| 471 | ddmul1002 multiply 1 100 -> 100
|
| 472 | ddmul1003 multiply 1 1000 -> 1000
|
| 473 | ddmul1004 multiply 1 10000 -> 10000
|
| 474 | ddmul1005 multiply 1 100000 -> 100000
|
| 475 | ddmul1006 multiply 1 1000000 -> 1000000
|
| 476 | ddmul1007 multiply 1 10000000 -> 10000000
|
| 477 | ddmul1008 multiply 1 100000000 -> 100000000
|
| 478 | ddmul1009 multiply 1 1000000000 -> 1000000000
|
| 479 | ddmul1010 multiply 1 10000000000 -> 10000000000
|
| 480 | ddmul1011 multiply 1 100000000000 -> 100000000000
|
| 481 | ddmul1012 multiply 1 1000000000000 -> 1000000000000
|
| 482 | ddmul1013 multiply 1 10000000000000 -> 10000000000000
|
| 483 | ddmul1014 multiply 1 100000000000000 -> 100000000000000
|
| 484 | ddmul1015 multiply 1 1000000000000000 -> 1000000000000000
|
| 485 | ddmul1021 multiply 10 1 -> 10
|
| 486 | ddmul1022 multiply 10 10 -> 100
|
| 487 | ddmul1023 multiply 10 100 -> 1000
|
| 488 | ddmul1024 multiply 10 1000 -> 10000
|
| 489 | ddmul1025 multiply 10 10000 -> 100000
|
| 490 | ddmul1026 multiply 10 100000 -> 1000000
|
| 491 | ddmul1027 multiply 10 1000000 -> 10000000
|
| 492 | ddmul1028 multiply 10 10000000 -> 100000000
|
| 493 | ddmul1029 multiply 10 100000000 -> 1000000000
|
| 494 | ddmul1030 multiply 10 1000000000 -> 10000000000
|
| 495 | ddmul1031 multiply 10 10000000000 -> 100000000000
|
| 496 | ddmul1032 multiply 10 100000000000 -> 1000000000000
|
| 497 | ddmul1033 multiply 10 1000000000000 -> 10000000000000
|
| 498 | ddmul1034 multiply 10 10000000000000 -> 100000000000000
|
| 499 | ddmul1035 multiply 10 100000000000000 -> 1000000000000000
|
| 500 | ddmul1041 multiply 100 0.1 -> 10.0
|
| 501 | ddmul1042 multiply 100 1 -> 100
|
| 502 | ddmul1043 multiply 100 10 -> 1000
|
| 503 | ddmul1044 multiply 100 100 -> 10000
|
| 504 | ddmul1045 multiply 100 1000 -> 100000
|
| 505 | ddmul1046 multiply 100 10000 -> 1000000
|
| 506 | ddmul1047 multiply 100 100000 -> 10000000
|
| 507 | ddmul1048 multiply 100 1000000 -> 100000000
|
| 508 | ddmul1049 multiply 100 10000000 -> 1000000000
|
| 509 | ddmul1050 multiply 100 100000000 -> 10000000000
|
| 510 | ddmul1051 multiply 100 1000000000 -> 100000000000
|
| 511 | ddmul1052 multiply 100 10000000000 -> 1000000000000
|
| 512 | ddmul1053 multiply 100 100000000000 -> 10000000000000
|
| 513 | ddmul1054 multiply 100 1000000000000 -> 100000000000000
|
| 514 | ddmul1055 multiply 100 10000000000000 -> 1000000000000000
|
| 515 | ddmul1061 multiply 1000 0.01 -> 10.00
|
| 516 | ddmul1062 multiply 1000 0.1 -> 100.0
|
| 517 | ddmul1063 multiply 1000 1 -> 1000
|
| 518 | ddmul1064 multiply 1000 10 -> 10000
|
| 519 | ddmul1065 multiply 1000 100 -> 100000
|
| 520 | ddmul1066 multiply 1000 1000 -> 1000000
|
| 521 | ddmul1067 multiply 1000 10000 -> 10000000
|
| 522 | ddmul1068 multiply 1000 100000 -> 100000000
|
| 523 | ddmul1069 multiply 1000 1000000 -> 1000000000
|
| 524 | ddmul1070 multiply 1000 10000000 -> 10000000000
|
| 525 | ddmul1071 multiply 1000 100000000 -> 100000000000
|
| 526 | ddmul1072 multiply 1000 1000000000 -> 1000000000000
|
| 527 | ddmul1073 multiply 1000 10000000000 -> 10000000000000
|
| 528 | ddmul1074 multiply 1000 100000000000 -> 100000000000000
|
| 529 | ddmul1075 multiply 1000 1000000000000 -> 1000000000000000
|
| 530 | ddmul1081 multiply 10000 0.001 -> 10.000
|
| 531 | ddmul1082 multiply 10000 0.01 -> 100.00
|
| 532 | ddmul1083 multiply 10000 0.1 -> 1000.0
|
| 533 | ddmul1084 multiply 10000 1 -> 10000
|
| 534 | ddmul1085 multiply 10000 10 -> 100000
|
| 535 | ddmul1086 multiply 10000 100 -> 1000000
|
| 536 | ddmul1087 multiply 10000 1000 -> 10000000
|
| 537 | ddmul1088 multiply 10000 10000 -> 100000000
|
| 538 | ddmul1089 multiply 10000 100000 -> 1000000000
|
| 539 | ddmul1090 multiply 10000 1000000 -> 10000000000
|
| 540 | ddmul1091 multiply 10000 10000000 -> 100000000000
|
| 541 | ddmul1092 multiply 10000 100000000 -> 1000000000000
|
| 542 | ddmul1093 multiply 10000 1000000000 -> 10000000000000
|
| 543 | ddmul1094 multiply 10000 10000000000 -> 100000000000000
|
| 544 | ddmul1095 multiply 10000 100000000000 -> 1000000000000000
|
| 545 |
|
| 546 | ddmul1097 multiply 10000 99999999999 -> 999999999990000
|
| 547 | ddmul1098 multiply 10000 99999999999 -> 999999999990000
|
| 548 |
|
| 549 |
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 550 | -- Null tests
|
| Guido van Rossum | 0d3fb8a | 2007-11-26 23:23:18 +0000 | [diff] [blame] | 551 | ddmul9990 multiply 10 # -> NaN Invalid_operation
|
| 552 | ddmul9991 multiply # 10 -> NaN Invalid_operation
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 553 |
|