2011-03-05 10:06:13 -04:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
-- ddMultiply.decTest -- decDouble multiplication --
|
|
|
|
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
|
|
|
------------------------------------------------------------------------
|
|
|
|
-- Please see the document "General Decimal Arithmetic Testcases" --
|
|
|
|
-- at http://www2.hursley.ibm.com/decimal for the description of --
|
|
|
|
-- these testcases. --
|
|
|
|
-- --
|
|
|
|
-- These testcases are experimental ('beta' versions), and they --
|
|
|
|
-- may contain errors. They are offered on an as-is basis. In --
|
|
|
|
-- particular, achieving the same results as the tests here is not --
|
|
|
|
-- a guarantee that an implementation complies with any Standard --
|
|
|
|
-- or specification. The tests are not exhaustive. --
|
|
|
|
-- --
|
|
|
|
-- Please send comments, suggestions, and corrections to the author: --
|
|
|
|
-- Mike Cowlishaw, IBM Fellow --
|
|
|
|
-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
|
|
|
|
-- mfc@uk.ibm.com --
|
|
|
|
------------------------------------------------------------------------
|
|
|
|
version: 2.59
|
|
|
|
|
|
|
|
-- This set of tests are for decDoubles only; all arguments are
|
|
|
|
-- representable in a decDouble
|
|
|
|
precision: 16
|
|
|
|
maxExponent: 384
|
|
|
|
minExponent: -383
|
|
|
|
extended: 1
|
|
|
|
clamp: 1
|
|
|
|
rounding: half_even
|
|
|
|
|
|
|
|
-- sanity checks
|
|
|
|
ddmul000 multiply 2 2 -> 4
|
|
|
|
ddmul001 multiply 2 3 -> 6
|
|
|
|
ddmul002 multiply 5 1 -> 5
|
|
|
|
ddmul003 multiply 5 2 -> 10
|
|
|
|
ddmul004 multiply 1.20 2 -> 2.40
|
|
|
|
ddmul005 multiply 1.20 0 -> 0.00
|
|
|
|
ddmul006 multiply 1.20 -2 -> -2.40
|
|
|
|
ddmul007 multiply -1.20 2 -> -2.40
|
|
|
|
ddmul008 multiply -1.20 0 -> -0.00
|
|
|
|
ddmul009 multiply -1.20 -2 -> 2.40
|
|
|
|
ddmul010 multiply 5.09 7.1 -> 36.139
|
|
|
|
ddmul011 multiply 2.5 4 -> 10.0
|
|
|
|
ddmul012 multiply 2.50 4 -> 10.00
|
|
|
|
ddmul013 multiply 1.23456789 1.00000000 -> 1.234567890000000 Rounded
|
|
|
|
ddmul015 multiply 2.50 4 -> 10.00
|
|
|
|
ddmul016 multiply 9.999999999 9.999999999 -> 99.99999998000000 Inexact Rounded
|
|
|
|
ddmul017 multiply 9.999999999 -9.999999999 -> -99.99999998000000 Inexact Rounded
|
|
|
|
ddmul018 multiply -9.999999999 9.999999999 -> -99.99999998000000 Inexact Rounded
|
|
|
|
ddmul019 multiply -9.999999999 -9.999999999 -> 99.99999998000000 Inexact Rounded
|
|
|
|
|
|
|
|
-- zeros, etc.
|
|
|
|
ddmul021 multiply 0 0 -> 0
|
|
|
|
ddmul022 multiply 0 -0 -> -0
|
|
|
|
ddmul023 multiply -0 0 -> -0
|
|
|
|
ddmul024 multiply -0 -0 -> 0
|
|
|
|
ddmul025 multiply -0.0 -0.0 -> 0.00
|
|
|
|
ddmul026 multiply -0.0 -0.0 -> 0.00
|
|
|
|
ddmul027 multiply -0.0 -0.0 -> 0.00
|
|
|
|
ddmul028 multiply -0.0 -0.0 -> 0.00
|
|
|
|
ddmul030 multiply 5.00 1E-3 -> 0.00500
|
|
|
|
ddmul031 multiply 00.00 0.000 -> 0.00000
|
|
|
|
ddmul032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0
|
|
|
|
ddmul033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0
|
|
|
|
ddmul034 multiply -5.00 1E-3 -> -0.00500
|
|
|
|
ddmul035 multiply -00.00 0.000 -> -0.00000
|
|
|
|
ddmul036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0
|
|
|
|
ddmul037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0
|
|
|
|
ddmul038 multiply 5.00 -1E-3 -> -0.00500
|
|
|
|
ddmul039 multiply 00.00 -0.000 -> -0.00000
|
|
|
|
ddmul040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0
|
|
|
|
ddmul041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0
|
|
|
|
ddmul042 multiply -5.00 -1E-3 -> 0.00500
|
|
|
|
ddmul043 multiply -00.00 -0.000 -> 0.00000
|
|
|
|
ddmul044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0
|
|
|
|
ddmul045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0
|
|
|
|
|
|
|
|
-- examples from decarith
|
|
|
|
ddmul050 multiply 1.20 3 -> 3.60
|
|
|
|
ddmul051 multiply 7 3 -> 21
|
|
|
|
ddmul052 multiply 0.9 0.8 -> 0.72
|
|
|
|
ddmul053 multiply 0.9 -0 -> -0.0
|
|
|
|
ddmul054 multiply 654321 654321 -> 428135971041
|
|
|
|
|
|
|
|
ddmul060 multiply 123.45 1e7 -> 1.2345E+9
|
|
|
|
ddmul061 multiply 123.45 1e8 -> 1.2345E+10
|
|
|
|
ddmul062 multiply 123.45 1e+9 -> 1.2345E+11
|
|
|
|
ddmul063 multiply 123.45 1e10 -> 1.2345E+12
|
|
|
|
ddmul064 multiply 123.45 1e11 -> 1.2345E+13
|
|
|
|
ddmul065 multiply 123.45 1e12 -> 1.2345E+14
|
|
|
|
ddmul066 multiply 123.45 1e13 -> 1.2345E+15
|
|
|
|
|
|
|
|
|
|
|
|
-- test some intermediate lengths
|
|
|
|
-- 1234567890123456
|
|
|
|
ddmul080 multiply 0.1 1230123456456789 -> 123012345645678.9
|
|
|
|
ddmul084 multiply 0.1 1230123456456789 -> 123012345645678.9
|
|
|
|
ddmul090 multiply 1230123456456789 0.1 -> 123012345645678.9
|
|
|
|
ddmul094 multiply 1230123456456789 0.1 -> 123012345645678.9
|
|
|
|
|
|
|
|
-- test some more edge cases and carries
|
|
|
|
ddmul101 multiply 9 9 -> 81
|
|
|
|
ddmul102 multiply 9 90 -> 810
|
|
|
|
ddmul103 multiply 9 900 -> 8100
|
|
|
|
ddmul104 multiply 9 9000 -> 81000
|
|
|
|
ddmul105 multiply 9 90000 -> 810000
|
|
|
|
ddmul106 multiply 9 900000 -> 8100000
|
|
|
|
ddmul107 multiply 9 9000000 -> 81000000
|
|
|
|
ddmul108 multiply 9 90000000 -> 810000000
|
|
|
|
ddmul109 multiply 9 900000000 -> 8100000000
|
|
|
|
ddmul110 multiply 9 9000000000 -> 81000000000
|
|
|
|
ddmul111 multiply 9 90000000000 -> 810000000000
|
|
|
|
ddmul112 multiply 9 900000000000 -> 8100000000000
|
|
|
|
ddmul113 multiply 9 9000000000000 -> 81000000000000
|
|
|
|
ddmul114 multiply 9 90000000000000 -> 810000000000000
|
|
|
|
ddmul115 multiply 9 900000000000000 -> 8100000000000000
|
|
|
|
--ddmul116 multiply 9 9000000000000000 -> 81000000000000000
|
|
|
|
--ddmul117 multiply 9 90000000000000000 -> 810000000000000000
|
|
|
|
--ddmul118 multiply 9 900000000000000000 -> 8100000000000000000
|
|
|
|
--ddmul119 multiply 9 9000000000000000000 -> 81000000000000000000
|
|
|
|
--ddmul120 multiply 9 90000000000000000000 -> 810000000000000000000
|
|
|
|
--ddmul121 multiply 9 900000000000000000000 -> 8100000000000000000000
|
|
|
|
--ddmul122 multiply 9 9000000000000000000000 -> 81000000000000000000000
|
|
|
|
--ddmul123 multiply 9 90000000000000000000000 -> 810000000000000000000000
|
|
|
|
-- test some more edge cases without carries
|
|
|
|
ddmul131 multiply 3 3 -> 9
|
|
|
|
ddmul132 multiply 3 30 -> 90
|
|
|
|
ddmul133 multiply 3 300 -> 900
|
|
|
|
ddmul134 multiply 3 3000 -> 9000
|
|
|
|
ddmul135 multiply 3 30000 -> 90000
|
|
|
|
ddmul136 multiply 3 300000 -> 900000
|
|
|
|
ddmul137 multiply 3 3000000 -> 9000000
|
|
|
|
ddmul138 multiply 3 30000000 -> 90000000
|
|
|
|
ddmul139 multiply 3 300000000 -> 900000000
|
|
|
|
ddmul140 multiply 3 3000000000 -> 9000000000
|
|
|
|
ddmul141 multiply 3 30000000000 -> 90000000000
|
|
|
|
ddmul142 multiply 3 300000000000 -> 900000000000
|
|
|
|
ddmul143 multiply 3 3000000000000 -> 9000000000000
|
|
|
|
ddmul144 multiply 3 30000000000000 -> 90000000000000
|
|
|
|
ddmul145 multiply 3 300000000000000 -> 900000000000000
|
|
|
|
|
|
|
|
-- test some edge cases with exact rounding
|
|
|
|
ddmul301 multiply 9 9 -> 81
|
|
|
|
ddmul302 multiply 9 90 -> 810
|
|
|
|
ddmul303 multiply 9 900 -> 8100
|
|
|
|
ddmul304 multiply 9 9000 -> 81000
|
|
|
|
ddmul305 multiply 9 90000 -> 810000
|
|
|
|
ddmul306 multiply 9 900000 -> 8100000
|
|
|
|
ddmul307 multiply 9 9000000 -> 81000000
|
|
|
|
ddmul308 multiply 9 90000000 -> 810000000
|
|
|
|
ddmul309 multiply 9 900000000 -> 8100000000
|
|
|
|
ddmul310 multiply 9 9000000000 -> 81000000000
|
|
|
|
ddmul311 multiply 9 90000000000 -> 810000000000
|
|
|
|
ddmul312 multiply 9 900000000000 -> 8100000000000
|
|
|
|
ddmul313 multiply 9 9000000000000 -> 81000000000000
|
|
|
|
ddmul314 multiply 9 90000000000000 -> 810000000000000
|
|
|
|
ddmul315 multiply 9 900000000000000 -> 8100000000000000
|
|
|
|
ddmul316 multiply 9 9000000000000000 -> 8.100000000000000E+16 Rounded
|
|
|
|
ddmul317 multiply 90 9000000000000000 -> 8.100000000000000E+17 Rounded
|
|
|
|
ddmul318 multiply 900 9000000000000000 -> 8.100000000000000E+18 Rounded
|
|
|
|
ddmul319 multiply 9000 9000000000000000 -> 8.100000000000000E+19 Rounded
|
|
|
|
ddmul320 multiply 90000 9000000000000000 -> 8.100000000000000E+20 Rounded
|
|
|
|
ddmul321 multiply 900000 9000000000000000 -> 8.100000000000000E+21 Rounded
|
|
|
|
ddmul322 multiply 9000000 9000000000000000 -> 8.100000000000000E+22 Rounded
|
|
|
|
ddmul323 multiply 90000000 9000000000000000 -> 8.100000000000000E+23 Rounded
|
|
|
|
|
|
|
|
-- tryzeros cases
|
|
|
|
ddmul504 multiply 0E-260 1000E-260 -> 0E-398 Clamped
|
|
|
|
ddmul505 multiply 100E+260 0E+260 -> 0E+369 Clamped
|
|
|
|
-- 65K-1 case
|
|
|
|
ddmul506 multiply 77.1 850 -> 65535.0
|
|
|
|
|
|
|
|
-- mixed with zeros
|
|
|
|
ddmul541 multiply 0 -1 -> -0
|
|
|
|
ddmul542 multiply -0 -1 -> 0
|
|
|
|
ddmul543 multiply 0 1 -> 0
|
|
|
|
ddmul544 multiply -0 1 -> -0
|
|
|
|
ddmul545 multiply -1 0 -> -0
|
|
|
|
ddmul546 multiply -1 -0 -> 0
|
|
|
|
ddmul547 multiply 1 0 -> 0
|
|
|
|
ddmul548 multiply 1 -0 -> -0
|
|
|
|
|
|
|
|
ddmul551 multiply 0.0 -1 -> -0.0
|
|
|
|
ddmul552 multiply -0.0 -1 -> 0.0
|
|
|
|
ddmul553 multiply 0.0 1 -> 0.0
|
|
|
|
ddmul554 multiply -0.0 1 -> -0.0
|
|
|
|
ddmul555 multiply -1.0 0 -> -0.0
|
|
|
|
ddmul556 multiply -1.0 -0 -> 0.0
|
|
|
|
ddmul557 multiply 1.0 0 -> 0.0
|
|
|
|
ddmul558 multiply 1.0 -0 -> -0.0
|
|
|
|
|
|
|
|
ddmul561 multiply 0 -1.0 -> -0.0
|
|
|
|
ddmul562 multiply -0 -1.0 -> 0.0
|
|
|
|
ddmul563 multiply 0 1.0 -> 0.0
|
|
|
|
ddmul564 multiply -0 1.0 -> -0.0
|
|
|
|
ddmul565 multiply -1 0.0 -> -0.0
|
|
|
|
ddmul566 multiply -1 -0.0 -> 0.0
|
|
|
|
ddmul567 multiply 1 0.0 -> 0.0
|
|
|
|
ddmul568 multiply 1 -0.0 -> -0.0
|
|
|
|
|
|
|
|
ddmul571 multiply 0.0 -1.0 -> -0.00
|
|
|
|
ddmul572 multiply -0.0 -1.0 -> 0.00
|
|
|
|
ddmul573 multiply 0.0 1.0 -> 0.00
|
|
|
|
ddmul574 multiply -0.0 1.0 -> -0.00
|
|
|
|
ddmul575 multiply -1.0 0.0 -> -0.00
|
|
|
|
ddmul576 multiply -1.0 -0.0 -> 0.00
|
|
|
|
ddmul577 multiply 1.0 0.0 -> 0.00
|
|
|
|
ddmul578 multiply 1.0 -0.0 -> -0.00
|
|
|
|
|
|
|
|
|
|
|
|
-- Specials
|
|
|
|
ddmul580 multiply Inf -Inf -> -Infinity
|
|
|
|
ddmul581 multiply Inf -1000 -> -Infinity
|
|
|
|
ddmul582 multiply Inf -1 -> -Infinity
|
|
|
|
ddmul583 multiply Inf -0 -> NaN Invalid_operation
|
|
|
|
ddmul584 multiply Inf 0 -> NaN Invalid_operation
|
|
|
|
ddmul585 multiply Inf 1 -> Infinity
|
|
|
|
ddmul586 multiply Inf 1000 -> Infinity
|
|
|
|
ddmul587 multiply Inf Inf -> Infinity
|
|
|
|
ddmul588 multiply -1000 Inf -> -Infinity
|
|
|
|
ddmul589 multiply -Inf Inf -> -Infinity
|
|
|
|
ddmul590 multiply -1 Inf -> -Infinity
|
|
|
|
ddmul591 multiply -0 Inf -> NaN Invalid_operation
|
|
|
|
ddmul592 multiply 0 Inf -> NaN Invalid_operation
|
|
|
|
ddmul593 multiply 1 Inf -> Infinity
|
|
|
|
ddmul594 multiply 1000 Inf -> Infinity
|
|
|
|
ddmul595 multiply Inf Inf -> Infinity
|
|
|
|
|
|
|
|
ddmul600 multiply -Inf -Inf -> Infinity
|
|
|
|
ddmul601 multiply -Inf -1000 -> Infinity
|
|
|
|
ddmul602 multiply -Inf -1 -> Infinity
|
|
|
|
ddmul603 multiply -Inf -0 -> NaN Invalid_operation
|
|
|
|
ddmul604 multiply -Inf 0 -> NaN Invalid_operation
|
|
|
|
ddmul605 multiply -Inf 1 -> -Infinity
|
|
|
|
ddmul606 multiply -Inf 1000 -> -Infinity
|
|
|
|
ddmul607 multiply -Inf Inf -> -Infinity
|
|
|
|
ddmul608 multiply -1000 Inf -> -Infinity
|
|
|
|
ddmul609 multiply -Inf -Inf -> Infinity
|
|
|
|
ddmul610 multiply -1 -Inf -> Infinity
|
|
|
|
ddmul611 multiply -0 -Inf -> NaN Invalid_operation
|
|
|
|
ddmul612 multiply 0 -Inf -> NaN Invalid_operation
|
|
|
|
ddmul613 multiply 1 -Inf -> -Infinity
|
|
|
|
ddmul614 multiply 1000 -Inf -> -Infinity
|
|
|
|
ddmul615 multiply Inf -Inf -> -Infinity
|
|
|
|
|
|
|
|
ddmul621 multiply NaN -Inf -> NaN
|
|
|
|
ddmul622 multiply NaN -1000 -> NaN
|
|
|
|
ddmul623 multiply NaN -1 -> NaN
|
|
|
|
ddmul624 multiply NaN -0 -> NaN
|
|
|
|
ddmul625 multiply NaN 0 -> NaN
|
|
|
|
ddmul626 multiply NaN 1 -> NaN
|
|
|
|
ddmul627 multiply NaN 1000 -> NaN
|
|
|
|
ddmul628 multiply NaN Inf -> NaN
|
|
|
|
ddmul629 multiply NaN NaN -> NaN
|
|
|
|
ddmul630 multiply -Inf NaN -> NaN
|
|
|
|
ddmul631 multiply -1000 NaN -> NaN
|
|
|
|
ddmul632 multiply -1 NaN -> NaN
|
|
|
|
ddmul633 multiply -0 NaN -> NaN
|
|
|
|
ddmul634 multiply 0 NaN -> NaN
|
|
|
|
ddmul635 multiply 1 NaN -> NaN
|
|
|
|
ddmul636 multiply 1000 NaN -> NaN
|
|
|
|
ddmul637 multiply Inf NaN -> NaN
|
|
|
|
|
|
|
|
ddmul641 multiply sNaN -Inf -> NaN Invalid_operation
|
|
|
|
ddmul642 multiply sNaN -1000 -> NaN Invalid_operation
|
|
|
|
ddmul643 multiply sNaN -1 -> NaN Invalid_operation
|
|
|
|
ddmul644 multiply sNaN -0 -> NaN Invalid_operation
|
|
|
|
ddmul645 multiply sNaN 0 -> NaN Invalid_operation
|
|
|
|
ddmul646 multiply sNaN 1 -> NaN Invalid_operation
|
|
|
|
ddmul647 multiply sNaN 1000 -> NaN Invalid_operation
|
|
|
|
ddmul648 multiply sNaN NaN -> NaN Invalid_operation
|
|
|
|
ddmul649 multiply sNaN sNaN -> NaN Invalid_operation
|
|
|
|
ddmul650 multiply NaN sNaN -> NaN Invalid_operation
|
|
|
|
ddmul651 multiply -Inf sNaN -> NaN Invalid_operation
|
|
|
|
ddmul652 multiply -1000 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul653 multiply -1 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul654 multiply -0 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul655 multiply 0 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul656 multiply 1 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul657 multiply 1000 sNaN -> NaN Invalid_operation
|
|
|
|
ddmul658 multiply Inf sNaN -> NaN Invalid_operation
|
|
|
|
ddmul659 multiply NaN sNaN -> NaN Invalid_operation
|
|
|
|
|
|
|
|
-- propagating NaNs
|
|
|
|
ddmul661 multiply NaN9 -Inf -> NaN9
|
|
|
|
ddmul662 multiply NaN8 999 -> NaN8
|
|
|
|
ddmul663 multiply NaN71 Inf -> NaN71
|
|
|
|
ddmul664 multiply NaN6 NaN5 -> NaN6
|
|
|
|
ddmul665 multiply -Inf NaN4 -> NaN4
|
|
|
|
ddmul666 multiply -999 NaN33 -> NaN33
|
|
|
|
ddmul667 multiply Inf NaN2 -> NaN2
|
|
|
|
|
|
|
|
ddmul671 multiply sNaN99 -Inf -> NaN99 Invalid_operation
|
|
|
|
ddmul672 multiply sNaN98 -11 -> NaN98 Invalid_operation
|
|
|
|
ddmul673 multiply sNaN97 NaN -> NaN97 Invalid_operation
|
|
|
|
ddmul674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation
|
|
|
|
ddmul675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation
|
|
|
|
ddmul676 multiply -Inf sNaN92 -> NaN92 Invalid_operation
|
|
|
|
ddmul677 multiply 088 sNaN91 -> NaN91 Invalid_operation
|
|
|
|
ddmul678 multiply Inf sNaN90 -> NaN90 Invalid_operation
|
|
|
|
ddmul679 multiply NaN sNaN89 -> NaN89 Invalid_operation
|
|
|
|
|
|
|
|
ddmul681 multiply -NaN9 -Inf -> -NaN9
|
|
|
|
ddmul682 multiply -NaN8 999 -> -NaN8
|
|
|
|
ddmul683 multiply -NaN71 Inf -> -NaN71
|
|
|
|
ddmul684 multiply -NaN6 -NaN5 -> -NaN6
|
|
|
|
ddmul685 multiply -Inf -NaN4 -> -NaN4
|
|
|
|
ddmul686 multiply -999 -NaN33 -> -NaN33
|
|
|
|
ddmul687 multiply Inf -NaN2 -> -NaN2
|
|
|
|
|
|
|
|
ddmul691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation
|
|
|
|
ddmul692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation
|
|
|
|
ddmul693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation
|
|
|
|
ddmul694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
|
|
|
|
ddmul695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation
|
|
|
|
ddmul696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation
|
|
|
|
ddmul697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation
|
|
|
|
ddmul698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation
|
|
|
|
ddmul699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation
|
|
|
|
|
|
|
|
ddmul701 multiply -NaN -Inf -> -NaN
|
|
|
|
ddmul702 multiply -NaN 999 -> -NaN
|
|
|
|
ddmul703 multiply -NaN Inf -> -NaN
|
|
|
|
ddmul704 multiply -NaN -NaN -> -NaN
|
|
|
|
ddmul705 multiply -Inf -NaN0 -> -NaN
|
|
|
|
ddmul706 multiply -999 -NaN -> -NaN
|
|
|
|
ddmul707 multiply Inf -NaN -> -NaN
|
|
|
|
|
|
|
|
ddmul711 multiply -sNaN -Inf -> -NaN Invalid_operation
|
|
|
|
ddmul712 multiply -sNaN -11 -> -NaN Invalid_operation
|
|
|
|
ddmul713 multiply -sNaN00 NaN -> -NaN Invalid_operation
|
|
|
|
ddmul714 multiply -sNaN -sNaN -> -NaN Invalid_operation
|
|
|
|
ddmul715 multiply -NaN -sNaN -> -NaN Invalid_operation
|
|
|
|
ddmul716 multiply -Inf -sNaN -> -NaN Invalid_operation
|
|
|
|
ddmul717 multiply 088 -sNaN -> -NaN Invalid_operation
|
|
|
|
ddmul718 multiply Inf -sNaN -> -NaN Invalid_operation
|
|
|
|
ddmul719 multiply -NaN -sNaN -> -NaN Invalid_operation
|
|
|
|
|
|
|
|
-- overflow and underflow tests .. note subnormal results
|
|
|
|
-- signs
|
|
|
|
ddmul751 multiply 1e+277 1e+311 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul752 multiply 1e+277 -1e+311 -> -Infinity Overflow Inexact Rounded
|
|
|
|
ddmul753 multiply -1e+277 1e+311 -> -Infinity Overflow Inexact Rounded
|
|
|
|
ddmul754 multiply -1e+277 -1e+311 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul755 multiply 1e-277 1e-311 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul756 multiply 1e-277 -1e-311 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul757 multiply -1e-277 1e-311 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul758 multiply -1e-277 -1e-311 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
|
|
|
|
-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
|
|
|
|
ddmul760 multiply 1e-291 1e-101 -> 1E-392 Subnormal
|
|
|
|
ddmul761 multiply 1e-291 1e-102 -> 1E-393 Subnormal
|
|
|
|
ddmul762 multiply 1e-291 1e-103 -> 1E-394 Subnormal
|
|
|
|
ddmul763 multiply 1e-291 1e-104 -> 1E-395 Subnormal
|
|
|
|
ddmul764 multiply 1e-291 1e-105 -> 1E-396 Subnormal
|
|
|
|
ddmul765 multiply 1e-291 1e-106 -> 1E-397 Subnormal
|
|
|
|
ddmul766 multiply 1e-291 1e-107 -> 1E-398 Subnormal
|
|
|
|
ddmul767 multiply 1e-291 1e-108 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul768 multiply 1e-291 1e-109 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul769 multiply 1e-291 1e-110 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
-- [no equivalent of 'subnormal' for overflow]
|
|
|
|
ddmul770 multiply 1e+60 1e+321 -> 1.000000000000E+381 Clamped
|
|
|
|
ddmul771 multiply 1e+60 1e+322 -> 1.0000000000000E+382 Clamped
|
|
|
|
ddmul772 multiply 1e+60 1e+323 -> 1.00000000000000E+383 Clamped
|
|
|
|
ddmul773 multiply 1e+60 1e+324 -> 1.000000000000000E+384 Clamped
|
|
|
|
ddmul774 multiply 1e+60 1e+325 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul775 multiply 1e+60 1e+326 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul776 multiply 1e+60 1e+327 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul777 multiply 1e+60 1e+328 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul778 multiply 1e+60 1e+329 -> Infinity Overflow Inexact Rounded
|
|
|
|
ddmul779 multiply 1e+60 1e+330 -> Infinity Overflow Inexact Rounded
|
|
|
|
|
|
|
|
ddmul801 multiply 1.0000E-394 1 -> 1.0000E-394 Subnormal
|
|
|
|
ddmul802 multiply 1.000E-394 1e-1 -> 1.000E-395 Subnormal
|
|
|
|
ddmul803 multiply 1.00E-394 1e-2 -> 1.00E-396 Subnormal
|
|
|
|
ddmul804 multiply 1.0E-394 1e-3 -> 1.0E-397 Subnormal
|
|
|
|
ddmul805 multiply 1.0E-394 1e-4 -> 1E-398 Subnormal Rounded
|
|
|
|
ddmul806 multiply 1.3E-394 1e-4 -> 1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul807 multiply 1.5E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul808 multiply 1.7E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul809 multiply 2.3E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul810 multiply 2.5E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul811 multiply 2.7E-394 1e-4 -> 3E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul812 multiply 1.49E-394 1e-4 -> 1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul813 multiply 1.50E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul814 multiply 1.51E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul815 multiply 2.49E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul816 multiply 2.50E-394 1e-4 -> 2E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul817 multiply 2.51E-394 1e-4 -> 3E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
|
|
|
|
ddmul818 multiply 1E-394 1e-4 -> 1E-398 Subnormal
|
|
|
|
ddmul819 multiply 3E-394 1e-5 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul820 multiply 5E-394 1e-5 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul821 multiply 7E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul822 multiply 9E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul823 multiply 9.9E-394 1e-5 -> 1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
|
|
|
|
ddmul824 multiply 1E-394 -1e-4 -> -1E-398 Subnormal
|
|
|
|
ddmul825 multiply 3E-394 -1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul826 multiply -5E-394 1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul827 multiply 7E-394 -1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul828 multiply -9E-394 1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul829 multiply 9.9E-394 -1e-5 -> -1E-398 Underflow Subnormal Inexact Rounded
|
|
|
|
ddmul830 multiply 3.0E-394 -1e-5 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
|
|
|
|
ddmul831 multiply 1.0E-199 1e-200 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
|
|
|
ddmul832 multiply 1.0E-199 1e-199 -> 1E-398 Subnormal Rounded
|
|
|
|
ddmul833 multiply 1.0E-199 1e-198 -> 1.0E-397 Subnormal
|
|
|
|
ddmul834 multiply 2.0E-199 2e-198 -> 4.0E-397 Subnormal
|
|
|
|
ddmul835 multiply 4.0E-199 4e-198 -> 1.60E-396 Subnormal
|
|
|
|
ddmul836 multiply 10.0E-199 10e-198 -> 1.000E-395 Subnormal
|
|
|
|
ddmul837 multiply 30.0E-199 30e-198 -> 9.000E-395 Subnormal
|
|
|
|
ddmul838 multiply 40.0E-199 40e-188 -> 1.6000E-384 Subnormal
|
|
|
|
ddmul839 multiply 40.0E-199 40e-187 -> 1.6000E-383
|
|
|
|
ddmul840 multiply 40.0E-199 40e-186 -> 1.6000E-382
|
|
|
|
|
|
|
|
-- Long operand overflow may be a different path
|
|
|
|
ddmul870 multiply 100 9.999E+383 -> Infinity Inexact Overflow Rounded
|
|
|
|
ddmul871 multiply 100 -9.999E+383 -> -Infinity Inexact Overflow Rounded
|
|
|
|
ddmul872 multiply 9.999E+383 100 -> Infinity Inexact Overflow Rounded
|
|
|
|
ddmul873 multiply -9.999E+383 100 -> -Infinity Inexact Overflow Rounded
|
|
|
|
|
|
|
|
-- check for double-rounded subnormals
|
|
|
|
ddmul881 multiply 1.2347E-355 1.2347E-40 -> 1.524E-395 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul882 multiply 1.234E-355 1.234E-40 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul883 multiply 1.23E-355 1.23E-40 -> 1.513E-395 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul884 multiply 1.2E-355 1.2E-40 -> 1.44E-395 Subnormal
|
|
|
|
ddmul885 multiply 1.2E-355 1.2E-41 -> 1.44E-396 Subnormal
|
|
|
|
ddmul886 multiply 1.2E-355 1.2E-42 -> 1.4E-397 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul887 multiply 1.2E-355 1.3E-42 -> 1.6E-397 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul888 multiply 1.3E-355 1.3E-42 -> 1.7E-397 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul889 multiply 1.3E-355 1.3E-43 -> 2E-398 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul890 multiply 1.3E-356 1.3E-43 -> 0E-398 Clamped Subnormal Inexact Rounded Underflow
|
|
|
|
|
|
|
|
ddmul891 multiply 1.2345E-39 1.234E-355 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul892 multiply 1.23456E-39 1.234E-355 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul893 multiply 1.2345E-40 1.234E-355 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul894 multiply 1.23456E-40 1.234E-355 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul895 multiply 1.2345E-41 1.234E-355 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
|
|
|
ddmul896 multiply 1.23456E-41 1.234E-355 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
|
|
|
|
|
|
|
-- Now explore the case where we get a normal result with Underflow
|
|
|
|
-- 1 234567890123456
|
|
|
|
ddmul900 multiply 0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded
|
|
|
|
ddmul901 multiply 0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded
|
|
|
|
ddmul902 multiply 9.999999999999999E-383 0.0999999999999 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded
|
|
|
|
ddmul903 multiply 9.999999999999999E-383 0.09999999999999 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded
|
|
|
|
ddmul904 multiply 9.999999999999999E-383 0.099999999999999 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded
|
|
|
|
ddmul905 multiply 9.999999999999999E-383 0.0999999999999999 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded
|
|
|
|
-- The next rounds to Nmin (b**emin); this is the distinguishing case
|
|
|
|
-- for detecting tininess (before or after rounding) -- if after
|
|
|
|
-- rounding then the result would be the same, but the Underflow flag
|
|
|
|
-- would not be set
|
|
|
|
ddmul906 multiply 9.999999999999999E-383 0.09999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
|
|
|
|
-- prove those operands were exact
|
|
|
|
ddmul907 multiply 9.999999999999999E-383 1 -> 9.999999999999999E-383
|
|
|
|
ddmul908 multiply 1 0.09999999999999999 -> 0.09999999999999999
|
|
|
|
|
|
|
|
-- reducing tiniest
|
|
|
|
ddmul910 multiply 1e-398 0.99 -> 1E-398 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul911 multiply 1e-398 0.75 -> 1E-398 Subnormal Inexact Rounded Underflow
|
|
|
|
ddmul912 multiply 1e-398 0.5 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
|
|
|
ddmul913 multiply 1e-398 0.25 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
|
|
|
ddmul914 multiply 1e-398 0.01 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
|
|
|
|
|
|
|
|
-- hugest
|
|
|
|
ddmul920 multiply 9999999999999999 9999999999999999 -> 9.999999999999998E+31 Inexact Rounded
|
|
|
|
|
|
|
|
-- power-of-ten edge cases
|
|
|
|
ddmul1001 multiply 1 10 -> 10
|
|
|
|
ddmul1002 multiply 1 100 -> 100
|
|
|
|
ddmul1003 multiply 1 1000 -> 1000
|
|
|
|
ddmul1004 multiply 1 10000 -> 10000
|
|
|
|
ddmul1005 multiply 1 100000 -> 100000
|
|
|
|
ddmul1006 multiply 1 1000000 -> 1000000
|
|
|
|
ddmul1007 multiply 1 10000000 -> 10000000
|
|
|
|
ddmul1008 multiply 1 100000000 -> 100000000
|
|
|
|
ddmul1009 multiply 1 1000000000 -> 1000000000
|
|
|
|
ddmul1010 multiply 1 10000000000 -> 10000000000
|
|
|
|
ddmul1011 multiply 1 100000000000 -> 100000000000
|
|
|
|
ddmul1012 multiply 1 1000000000000 -> 1000000000000
|
|
|
|
ddmul1013 multiply 1 10000000000000 -> 10000000000000
|
|
|
|
ddmul1014 multiply 1 100000000000000 -> 100000000000000
|
|
|
|
ddmul1015 multiply 1 1000000000000000 -> 1000000000000000
|
|
|
|
ddmul1021 multiply 10 1 -> 10
|
|
|
|
ddmul1022 multiply 10 10 -> 100
|
|
|
|
ddmul1023 multiply 10 100 -> 1000
|
|
|
|
ddmul1024 multiply 10 1000 -> 10000
|
|
|
|
ddmul1025 multiply 10 10000 -> 100000
|
|
|
|
ddmul1026 multiply 10 100000 -> 1000000
|
|
|
|
ddmul1027 multiply 10 1000000 -> 10000000
|
|
|
|
ddmul1028 multiply 10 10000000 -> 100000000
|
|
|
|
ddmul1029 multiply 10 100000000 -> 1000000000
|
|
|
|
ddmul1030 multiply 10 1000000000 -> 10000000000
|
|
|
|
ddmul1031 multiply 10 10000000000 -> 100000000000
|
|
|
|
ddmul1032 multiply 10 100000000000 -> 1000000000000
|
|
|
|
ddmul1033 multiply 10 1000000000000 -> 10000000000000
|
|
|
|
ddmul1034 multiply 10 10000000000000 -> 100000000000000
|
|
|
|
ddmul1035 multiply 10 100000000000000 -> 1000000000000000
|
|
|
|
ddmul1041 multiply 100 0.1 -> 10.0
|
|
|
|
ddmul1042 multiply 100 1 -> 100
|
|
|
|
ddmul1043 multiply 100 10 -> 1000
|
|
|
|
ddmul1044 multiply 100 100 -> 10000
|
|
|
|
ddmul1045 multiply 100 1000 -> 100000
|
|
|
|
ddmul1046 multiply 100 10000 -> 1000000
|
|
|
|
ddmul1047 multiply 100 100000 -> 10000000
|
|
|
|
ddmul1048 multiply 100 1000000 -> 100000000
|
|
|
|
ddmul1049 multiply 100 10000000 -> 1000000000
|
|
|
|
ddmul1050 multiply 100 100000000 -> 10000000000
|
|
|
|
ddmul1051 multiply 100 1000000000 -> 100000000000
|
|
|
|
ddmul1052 multiply 100 10000000000 -> 1000000000000
|
|
|
|
ddmul1053 multiply 100 100000000000 -> 10000000000000
|
|
|
|
ddmul1054 multiply 100 1000000000000 -> 100000000000000
|
|
|
|
ddmul1055 multiply 100 10000000000000 -> 1000000000000000
|
|
|
|
ddmul1061 multiply 1000 0.01 -> 10.00
|
|
|
|
ddmul1062 multiply 1000 0.1 -> 100.0
|
|
|
|
ddmul1063 multiply 1000 1 -> 1000
|
|
|
|
ddmul1064 multiply 1000 10 -> 10000
|
|
|
|
ddmul1065 multiply 1000 100 -> 100000
|
|
|
|
ddmul1066 multiply 1000 1000 -> 1000000
|
|
|
|
ddmul1067 multiply 1000 10000 -> 10000000
|
|
|
|
ddmul1068 multiply 1000 100000 -> 100000000
|
|
|
|
ddmul1069 multiply 1000 1000000 -> 1000000000
|
|
|
|
ddmul1070 multiply 1000 10000000 -> 10000000000
|
|
|
|
ddmul1071 multiply 1000 100000000 -> 100000000000
|
|
|
|
ddmul1072 multiply 1000 1000000000 -> 1000000000000
|
|
|
|
ddmul1073 multiply 1000 10000000000 -> 10000000000000
|
|
|
|
ddmul1074 multiply 1000 100000000000 -> 100000000000000
|
|
|
|
ddmul1075 multiply 1000 1000000000000 -> 1000000000000000
|
|
|
|
ddmul1081 multiply 10000 0.001 -> 10.000
|
|
|
|
ddmul1082 multiply 10000 0.01 -> 100.00
|
|
|
|
ddmul1083 multiply 10000 0.1 -> 1000.0
|
|
|
|
ddmul1084 multiply 10000 1 -> 10000
|
|
|
|
ddmul1085 multiply 10000 10 -> 100000
|
|
|
|
ddmul1086 multiply 10000 100 -> 1000000
|
|
|
|
ddmul1087 multiply 10000 1000 -> 10000000
|
|
|
|
ddmul1088 multiply 10000 10000 -> 100000000
|
|
|
|
ddmul1089 multiply 10000 100000 -> 1000000000
|
|
|
|
ddmul1090 multiply 10000 1000000 -> 10000000000
|
|
|
|
ddmul1091 multiply 10000 10000000 -> 100000000000
|
|
|
|
ddmul1092 multiply 10000 100000000 -> 1000000000000
|
|
|
|
ddmul1093 multiply 10000 1000000000 -> 10000000000000
|
|
|
|
ddmul1094 multiply 10000 10000000000 -> 100000000000000
|
|
|
|
ddmul1095 multiply 10000 100000000000 -> 1000000000000000
|
|
|
|
|
|
|
|
ddmul1097 multiply 10000 99999999999 -> 999999999990000
|
|
|
|
ddmul1098 multiply 10000 99999999999 -> 999999999990000
|
|
|
|
|
|
|
|
|
|
|
|
-- Null tests
|
|
|
|
ddmul9990 multiply 10 # -> NaN Invalid_operation
|
|
|
|
ddmul9991 multiply # 10 -> NaN Invalid_operation
|
|
|
|
|