| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1 | ------------------------------------------------------------------------
|
| 2 | -- ddFMA.decTest -- decDouble Fused Multiply Add --
|
| 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 | precision: 16
|
| 23 | maxExponent: 384
|
| 24 | minExponent: -383
|
| 25 | extended: 1
|
| 26 | clamp: 1
|
| 27 | rounding: half_even
|
| 28 |
|
| 29 | -- These tests comprese three parts:
|
| 30 | -- 1. Sanity checks and other three-operand tests (especially those
|
| 31 | -- where the fused operation makes a difference)
|
| 32 | -- 2. Multiply tests (third operand is neutral zero [0E+emax])
|
| 33 | -- 3. Addition tests (first operand is 1)
|
| 34 | -- The multiply and addition tests are extensive because FMA may have
|
| 35 | -- its own dedicated multiplication or addition routine(s), and they
|
| 36 | -- also inherently check the left-to-right properties.
|
| 37 |
|
| 38 | -- Sanity checks
|
| 39 | ddfma0001 fma 1 1 1 -> 2
|
| 40 | ddfma0002 fma 1 1 2 -> 3
|
| 41 | ddfma0003 fma 2 2 3 -> 7
|
| 42 | ddfma0004 fma 9 9 9 -> 90
|
| 43 | ddfma0005 fma -1 1 1 -> 0
|
| 44 | ddfma0006 fma -1 1 2 -> 1
|
| 45 | ddfma0007 fma -2 2 3 -> -1
|
| 46 | ddfma0008 fma -9 9 9 -> -72
|
| 47 | ddfma0011 fma 1 -1 1 -> 0
|
| 48 | ddfma0012 fma 1 -1 2 -> 1
|
| 49 | ddfma0013 fma 2 -2 3 -> -1
|
| 50 | ddfma0014 fma 9 -9 9 -> -72
|
| 51 | ddfma0015 fma 1 1 -1 -> 0
|
| 52 | ddfma0016 fma 1 1 -2 -> -1
|
| 53 | ddfma0017 fma 2 2 -3 -> 1
|
| 54 | ddfma0018 fma 9 9 -9 -> 72
|
| 55 |
|
| 56 | -- non-integer exacts
|
| 57 | ddfma0100 fma 25.2 63.6 -438 -> 1164.72
|
| 58 | ddfma0101 fma 0.301 0.380 334 -> 334.114380
|
| 59 | ddfma0102 fma 49.2 -4.8 23.3 -> -212.86
|
| 60 | ddfma0103 fma 4.22 0.079 -94.6 -> -94.26662
|
| 61 | ddfma0104 fma 903 0.797 0.887 -> 720.578
|
| 62 | ddfma0105 fma 6.13 -161 65.9 -> -921.03
|
| 63 | ddfma0106 fma 28.2 727 5.45 -> 20506.85
|
| 64 | ddfma0107 fma 4 605 688 -> 3108
|
| 65 | ddfma0108 fma 93.3 0.19 0.226 -> 17.953
|
| 66 | ddfma0109 fma 0.169 -341 5.61 -> -52.019
|
| 67 | ddfma0110 fma -72.2 30 -51.2 -> -2217.2
|
| 68 | ddfma0111 fma -0.409 13 20.4 -> 15.083
|
| 69 | ddfma0112 fma 317 77.0 19.0 -> 24428.0
|
| 70 | ddfma0113 fma 47 6.58 1.62 -> 310.88
|
| 71 | ddfma0114 fma 1.36 0.984 0.493 -> 1.83124
|
| 72 | ddfma0115 fma 72.7 274 1.56 -> 19921.36
|
| 73 | ddfma0116 fma 335 847 83 -> 283828
|
| 74 | ddfma0117 fma 666 0.247 25.4 -> 189.902
|
| 75 | ddfma0118 fma -3.87 3.06 78.0 -> 66.1578
|
| 76 | ddfma0119 fma 0.742 192 35.6 -> 178.064
|
| 77 | ddfma0120 fma -91.6 5.29 0.153 -> -484.411
|
| 78 |
|
| 79 | -- cases where result is different from separate multiply + add; each
|
| 80 | -- is preceded by the result of unfused multiply and add
|
| 81 | -- [this is about 20% of all similar cases in general]
|
| 82 | -- -> 7.123356429257969E+16
|
| 83 | ddfma0201 fma 27583489.6645 2582471078.04 2593183.42371 -> 7.123356429257970E+16 Inexact Rounded
|
| 84 | -- -> 22813275328.80506
|
| 85 | ddfma0208 fma 24280.355566 939577.397653 2032.013252 -> 22813275328.80507 Inexact Rounded
|
| 86 | -- -> -2.030397734278062E+16
|
| 87 | ddfma0209 fma 7848976432 -2586831.2281 137903.517909 -> -2.030397734278061E+16 Inexact Rounded
|
| 88 | -- -> 2040774094814.077
|
| 89 | ddfma0217 fma 56890.388731 35872030.4255 339337.123410 -> 2040774094814.078 Inexact Rounded
|
| 90 | -- -> 2.714469575205049E+18
|
| 91 | ddfma0220 fma 7533543.57445 360317763928 5073392.31638 -> 2.714469575205050E+18 Inexact Rounded
|
| 92 | -- -> 1.011676297716716E+19
|
| 93 | ddfma0223 fma 739945255.563 13672312784.1 -994381.53572 -> 1.011676297716715E+19 Inexact Rounded
|
| 94 | -- -> -2.914135721455315E+23
|
| 95 | ddfma0224 fma -413510957218 704729988550 9234162614.0 -> -2.914135721455314E+23 Inexact Rounded
|
| 96 | -- -> 2.620119863365786E+17
|
| 97 | ddfma0226 fma 437484.00601 598906432790 894450638.442 -> 2.620119863365787E+17 Inexact Rounded
|
| 98 | -- -> 1.272647995808178E+19
|
| 99 | ddfma0253 fma 73287556929 173651305.784 -358312568.389 -> 1.272647995808177E+19 Inexact Rounded
|
| 100 | -- -> -1.753769320861851E+18
|
| 101 | ddfma0257 fma 203258304486 -8628278.8066 153127.446727 -> -1.753769320861850E+18 Inexact Rounded
|
| 102 | -- -> -1.550737835263346E+17
|
| 103 | ddfma0260 fma 42560533.1774 -3643605282.86 178277.96377 -> -1.550737835263347E+17 Inexact Rounded
|
| 104 | -- -> 2.897624620576005E+22
|
| 105 | ddfma0269 fma 142656587375 203118879670 604576103991 -> 2.897624620576004E+22 Inexact Rounded
|
| 106 |
|
| 107 | -- Cases where multiply would overflow or underflow if separate
|
| 108 | fma0300 fma 9e+384 10 0 -> Infinity Overflow Inexact Rounded
|
| 109 | fma0301 fma 1e+384 10 0 -> Infinity Overflow Inexact Rounded
|
| 110 | fma0302 fma 1e+384 10 -1e+384 -> 9.000000000000000E+384 Clamped
|
| 111 | fma0303 fma 1e+384 10 -9e+384 -> 1.000000000000000E+384 Clamped
|
| 112 | -- subnormal etc.
|
| 113 | fma0305 fma 1e-398 0.1 0 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 114 | fma0306 fma 1e-398 0.1 1 -> 1.000000000000000 Inexact Rounded
|
| 115 | fma0307 fma 1e-398 0.1 1e-398 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 116 |
|
| 117 | -- Infinite combinations
|
| 118 | ddfma0800 fma Inf Inf Inf -> Infinity
|
| 119 | ddfma0801 fma Inf Inf -Inf -> NaN Invalid_operation
|
| 120 | ddfma0802 fma Inf -Inf Inf -> NaN Invalid_operation
|
| 121 | ddfma0803 fma Inf -Inf -Inf -> -Infinity
|
| 122 | ddfma0804 fma -Inf Inf Inf -> NaN Invalid_operation
|
| 123 | ddfma0805 fma -Inf Inf -Inf -> -Infinity
|
| 124 | ddfma0806 fma -Inf -Inf Inf -> Infinity
|
| 125 | ddfma0807 fma -Inf -Inf -Inf -> NaN Invalid_operation
|
| 126 |
|
| 127 | -- Triple NaN propagation
|
| 128 | ddfma0900 fma NaN2 NaN3 NaN5 -> NaN2
|
| 129 | ddfma0901 fma 0 NaN3 NaN5 -> NaN3
|
| 130 | ddfma0902 fma 0 0 NaN5 -> NaN5
|
| 131 | -- first sNaN wins (consider qNaN from earlier sNaN being
|
| 132 | -- overridden by an sNaN in third operand)
|
| 133 | ddfma0903 fma sNaN1 sNaN2 sNaN3 -> NaN1 Invalid_operation
|
| 134 | ddfma0904 fma 0 sNaN2 sNaN3 -> NaN2 Invalid_operation
|
| 135 | ddfma0905 fma 0 0 sNaN3 -> NaN3 Invalid_operation
|
| 136 | ddfma0906 fma sNaN1 sNaN2 sNaN3 -> NaN1 Invalid_operation
|
| 137 | ddfma0907 fma NaN7 sNaN2 sNaN3 -> NaN2 Invalid_operation
|
| 138 | ddfma0908 fma NaN7 NaN5 sNaN3 -> NaN3 Invalid_operation
|
| 139 |
|
| 140 | -- MULTIPLICATION TESTS ------------------------------------------------
|
| 141 |
|
| 142 | -- sanity checks
|
| 143 | ddfma2000 fma 2 2 0e+384 -> 4
|
| 144 | ddfma2001 fma 2 3 0e+384 -> 6
|
| 145 | ddfma2002 fma 5 1 0e+384 -> 5
|
| 146 | ddfma2003 fma 5 2 0e+384 -> 10
|
| 147 | ddfma2004 fma 1.20 2 0e+384 -> 2.40
|
| 148 | ddfma2005 fma 1.20 0 0e+384 -> 0.00
|
| 149 | ddfma2006 fma 1.20 -2 0e+384 -> -2.40
|
| 150 | ddfma2007 fma -1.20 2 0e+384 -> -2.40
|
| 151 | ddfma2008 fma -1.20 0 0e+384 -> 0.00
|
| 152 | ddfma2009 fma -1.20 -2 0e+384 -> 2.40
|
| 153 | ddfma2010 fma 5.09 7.1 0e+384 -> 36.139
|
| 154 | ddfma2011 fma 2.5 4 0e+384 -> 10.0
|
| 155 | ddfma2012 fma 2.50 4 0e+384 -> 10.00
|
| 156 | ddfma2013 fma 1.23456789 1.00000000 0e+384 -> 1.234567890000000 Rounded
|
| 157 | ddfma2015 fma 2.50 4 0e+384 -> 10.00
|
| 158 | ddfma2016 fma 9.999999999 9.999999999 0e+384 -> 99.99999998000000 Inexact Rounded
|
| 159 | ddfma2017 fma 9.999999999 -9.999999999 0e+384 -> -99.99999998000000 Inexact Rounded
|
| 160 | ddfma2018 fma -9.999999999 9.999999999 0e+384 -> -99.99999998000000 Inexact Rounded
|
| 161 | ddfma2019 fma -9.999999999 -9.999999999 0e+384 -> 99.99999998000000 Inexact Rounded
|
| 162 |
|
| 163 | -- zeros, etc.
|
| 164 | ddfma2021 fma 0 0 0e+384 -> 0
|
| 165 | ddfma2022 fma 0 -0 0e+384 -> 0
|
| 166 | ddfma2023 fma -0 0 0e+384 -> 0
|
| 167 | ddfma2024 fma -0 -0 0e+384 -> 0
|
| 168 | ddfma2025 fma -0.0 -0.0 0e+384 -> 0.00
|
| 169 | ddfma2026 fma -0.0 -0.0 0e+384 -> 0.00
|
| 170 | ddfma2027 fma -0.0 -0.0 0e+384 -> 0.00
|
| 171 | ddfma2028 fma -0.0 -0.0 0e+384 -> 0.00
|
| 172 | ddfma2030 fma 5.00 1E-3 0e+384 -> 0.00500
|
| 173 | ddfma2031 fma 00.00 0.000 0e+384 -> 0.00000
|
| 174 | ddfma2032 fma 00.00 0E-3 0e+384 -> 0.00000 -- rhs is 0
|
| 175 | ddfma2033 fma 0E-3 00.00 0e+384 -> 0.00000 -- lhs is 0
|
| 176 | ddfma2034 fma -5.00 1E-3 0e+384 -> -0.00500
|
| 177 | ddfma2035 fma -00.00 0.000 0e+384 -> 0.00000
|
| 178 | ddfma2036 fma -00.00 0E-3 0e+384 -> 0.00000 -- rhs is 0
|
| 179 | ddfma2037 fma -0E-3 00.00 0e+384 -> 0.00000 -- lhs is 0
|
| 180 | ddfma2038 fma 5.00 -1E-3 0e+384 -> -0.00500
|
| 181 | ddfma2039 fma 00.00 -0.000 0e+384 -> 0.00000
|
| 182 | ddfma2040 fma 00.00 -0E-3 0e+384 -> 0.00000 -- rhs is 0
|
| 183 | ddfma2041 fma 0E-3 -00.00 0e+384 -> 0.00000 -- lhs is 0
|
| 184 | ddfma2042 fma -5.00 -1E-3 0e+384 -> 0.00500
|
| 185 | ddfma2043 fma -00.00 -0.000 0e+384 -> 0.00000
|
| 186 | ddfma2044 fma -00.00 -0E-3 0e+384 -> 0.00000 -- rhs is 0
|
| 187 | ddfma2045 fma -0E-3 -00.00 -0e+384 -> 0.00000 -- lhs is 0
|
| 188 | ddfma2046 fma -0E-3 00.00 -0e+384 -> -0.00000
|
| 189 | ddfma2047 fma 0E-3 -00.00 -0e+384 -> -0.00000
|
| 190 | ddfma2048 fma 0E-3 00.00 -0e+384 -> 0.00000
|
| 191 |
|
| 192 | -- examples from decarith
|
| 193 | ddfma2050 fma 1.20 3 0e+384 -> 3.60
|
| 194 | ddfma2051 fma 7 3 0e+384 -> 21
|
| 195 | ddfma2052 fma 0.9 0.8 0e+384 -> 0.72
|
| 196 | ddfma2053 fma 0.9 -0 0e+384 -> 0.0
|
| 197 | ddfma2054 fma 654321 654321 0e+384 -> 428135971041
|
| 198 |
|
| 199 | ddfma2060 fma 123.45 1e7 0e+384 -> 1.2345E+9
|
| 200 | ddfma2061 fma 123.45 1e8 0e+384 -> 1.2345E+10
|
| 201 | ddfma2062 fma 123.45 1e+9 0e+384 -> 1.2345E+11
|
| 202 | ddfma2063 fma 123.45 1e10 0e+384 -> 1.2345E+12
|
| 203 | ddfma2064 fma 123.45 1e11 0e+384 -> 1.2345E+13
|
| 204 | ddfma2065 fma 123.45 1e12 0e+384 -> 1.2345E+14
|
| 205 | ddfma2066 fma 123.45 1e13 0e+384 -> 1.2345E+15
|
| 206 |
|
| 207 |
|
| 208 | -- test some intermediate lengths
|
| 209 | -- 1234567890123456
|
| 210 | ddfma2080 fma 0.1 1230123456456789 0e+384 -> 123012345645678.9
|
| 211 | ddfma2084 fma 0.1 1230123456456789 0e+384 -> 123012345645678.9
|
| 212 | ddfma2090 fma 1230123456456789 0.1 0e+384 -> 123012345645678.9
|
| 213 | ddfma2094 fma 1230123456456789 0.1 0e+384 -> 123012345645678.9
|
| 214 |
|
| 215 | -- test some more edge cases and carries
|
| 216 | ddfma2101 fma 9 9 0e+384 -> 81
|
| 217 | ddfma2102 fma 9 90 0e+384 -> 810
|
| 218 | ddfma2103 fma 9 900 0e+384 -> 8100
|
| 219 | ddfma2104 fma 9 9000 0e+384 -> 81000
|
| 220 | ddfma2105 fma 9 90000 0e+384 -> 810000
|
| 221 | ddfma2106 fma 9 900000 0e+384 -> 8100000
|
| 222 | ddfma2107 fma 9 9000000 0e+384 -> 81000000
|
| 223 | ddfma2108 fma 9 90000000 0e+384 -> 810000000
|
| 224 | ddfma2109 fma 9 900000000 0e+384 -> 8100000000
|
| 225 | ddfma2110 fma 9 9000000000 0e+384 -> 81000000000
|
| 226 | ddfma2111 fma 9 90000000000 0e+384 -> 810000000000
|
| 227 | ddfma2112 fma 9 900000000000 0e+384 -> 8100000000000
|
| 228 | ddfma2113 fma 9 9000000000000 0e+384 -> 81000000000000
|
| 229 | ddfma2114 fma 9 90000000000000 0e+384 -> 810000000000000
|
| 230 | ddfma2115 fma 9 900000000000000 0e+384 -> 8100000000000000
|
| 231 | --ddfma2116 fma 9 9000000000000000 0e+384 -> 81000000000000000
|
| 232 | --ddfma2117 fma 9 90000000000000000 0e+384 -> 810000000000000000
|
| 233 | --ddfma2118 fma 9 900000000000000000 0e+384 -> 8100000000000000000
|
| 234 | --ddfma2119 fma 9 9000000000000000000 0e+384 -> 81000000000000000000
|
| 235 | --ddfma2120 fma 9 90000000000000000000 0e+384 -> 810000000000000000000
|
| 236 | --ddfma2121 fma 9 900000000000000000000 0e+384 -> 8100000000000000000000
|
| 237 | --ddfma2122 fma 9 9000000000000000000000 0e+384 -> 81000000000000000000000
|
| 238 | --ddfma2123 fma 9 90000000000000000000000 0e+384 -> 810000000000000000000000
|
| 239 | -- test some more edge cases without carries
|
| 240 | ddfma2131 fma 3 3 0e+384 -> 9
|
| 241 | ddfma2132 fma 3 30 0e+384 -> 90
|
| 242 | ddfma2133 fma 3 300 0e+384 -> 900
|
| 243 | ddfma2134 fma 3 3000 0e+384 -> 9000
|
| 244 | ddfma2135 fma 3 30000 0e+384 -> 90000
|
| 245 | ddfma2136 fma 3 300000 0e+384 -> 900000
|
| 246 | ddfma2137 fma 3 3000000 0e+384 -> 9000000
|
| 247 | ddfma2138 fma 3 30000000 0e+384 -> 90000000
|
| 248 | ddfma2139 fma 3 300000000 0e+384 -> 900000000
|
| 249 | ddfma2140 fma 3 3000000000 0e+384 -> 9000000000
|
| 250 | ddfma2141 fma 3 30000000000 0e+384 -> 90000000000
|
| 251 | ddfma2142 fma 3 300000000000 0e+384 -> 900000000000
|
| 252 | ddfma2143 fma 3 3000000000000 0e+384 -> 9000000000000
|
| 253 | ddfma2144 fma 3 30000000000000 0e+384 -> 90000000000000
|
| 254 | ddfma2145 fma 3 300000000000000 0e+384 -> 900000000000000
|
| 255 |
|
| 256 | -- test some edge cases with exact rounding
|
| 257 | ddfma2301 fma 9 9 0e+384 -> 81
|
| 258 | ddfma2302 fma 9 90 0e+384 -> 810
|
| 259 | ddfma2303 fma 9 900 0e+384 -> 8100
|
| 260 | ddfma2304 fma 9 9000 0e+384 -> 81000
|
| 261 | ddfma2305 fma 9 90000 0e+384 -> 810000
|
| 262 | ddfma2306 fma 9 900000 0e+384 -> 8100000
|
| 263 | ddfma2307 fma 9 9000000 0e+384 -> 81000000
|
| 264 | ddfma2308 fma 9 90000000 0e+384 -> 810000000
|
| 265 | ddfma2309 fma 9 900000000 0e+384 -> 8100000000
|
| 266 | ddfma2310 fma 9 9000000000 0e+384 -> 81000000000
|
| 267 | ddfma2311 fma 9 90000000000 0e+384 -> 810000000000
|
| 268 | ddfma2312 fma 9 900000000000 0e+384 -> 8100000000000
|
| 269 | ddfma2313 fma 9 9000000000000 0e+384 -> 81000000000000
|
| 270 | ddfma2314 fma 9 90000000000000 0e+384 -> 810000000000000
|
| 271 | ddfma2315 fma 9 900000000000000 0e+384 -> 8100000000000000
|
| 272 | ddfma2316 fma 9 9000000000000000 0e+384 -> 8.100000000000000E+16 Rounded
|
| 273 | ddfma2317 fma 90 9000000000000000 0e+384 -> 8.100000000000000E+17 Rounded
|
| 274 | ddfma2318 fma 900 9000000000000000 0e+384 -> 8.100000000000000E+18 Rounded
|
| 275 | ddfma2319 fma 9000 9000000000000000 0e+384 -> 8.100000000000000E+19 Rounded
|
| 276 | ddfma2320 fma 90000 9000000000000000 0e+384 -> 8.100000000000000E+20 Rounded
|
| 277 | ddfma2321 fma 900000 9000000000000000 0e+384 -> 8.100000000000000E+21 Rounded
|
| 278 | ddfma2322 fma 9000000 9000000000000000 0e+384 -> 8.100000000000000E+22 Rounded
|
| 279 | ddfma2323 fma 90000000 9000000000000000 0e+384 -> 8.100000000000000E+23 Rounded
|
| 280 |
|
| 281 | -- tryzeros cases
|
| 282 | ddfma2504 fma 0E-260 1000E-260 0e+384 -> 0E-398 Clamped
|
| 283 | ddfma2505 fma 100E+260 0E+260 0e+384 -> 0E+369 Clamped
|
| 284 |
|
| 285 | -- mixed with zeros
|
| 286 | ddfma2541 fma 0 -1 0e+384 -> 0
|
| 287 | ddfma2542 fma -0 -1 0e+384 -> 0
|
| 288 | ddfma2543 fma 0 1 0e+384 -> 0
|
| 289 | ddfma2544 fma -0 1 0e+384 -> 0
|
| 290 | ddfma2545 fma -1 0 0e+384 -> 0
|
| 291 | ddfma2546 fma -1 -0 0e+384 -> 0
|
| 292 | ddfma2547 fma 1 0 0e+384 -> 0
|
| 293 | ddfma2548 fma 1 -0 0e+384 -> 0
|
| 294 |
|
| 295 | ddfma2551 fma 0.0 -1 0e+384 -> 0.0
|
| 296 | ddfma2552 fma -0.0 -1 0e+384 -> 0.0
|
| 297 | ddfma2553 fma 0.0 1 0e+384 -> 0.0
|
| 298 | ddfma2554 fma -0.0 1 0e+384 -> 0.0
|
| 299 | ddfma2555 fma -1.0 0 0e+384 -> 0.0
|
| 300 | ddfma2556 fma -1.0 -0 0e+384 -> 0.0
|
| 301 | ddfma2557 fma 1.0 0 0e+384 -> 0.0
|
| 302 | ddfma2558 fma 1.0 -0 0e+384 -> 0.0
|
| 303 |
|
| 304 | ddfma2561 fma 0 -1.0 0e+384 -> 0.0
|
| 305 | ddfma2562 fma -0 -1.0 0e+384 -> 0.0
|
| 306 | ddfma2563 fma 0 1.0 0e+384 -> 0.0
|
| 307 | ddfma2564 fma -0 1.0 0e+384 -> 0.0
|
| 308 | ddfma2565 fma -1 0.0 0e+384 -> 0.0
|
| 309 | ddfma2566 fma -1 -0.0 0e+384 -> 0.0
|
| 310 | ddfma2567 fma 1 0.0 0e+384 -> 0.0
|
| 311 | ddfma2568 fma 1 -0.0 0e+384 -> 0.0
|
| 312 |
|
| 313 | ddfma2571 fma 0.0 -1.0 0e+384 -> 0.00
|
| 314 | ddfma2572 fma -0.0 -1.0 0e+384 -> 0.00
|
| 315 | ddfma2573 fma 0.0 1.0 0e+384 -> 0.00
|
| 316 | ddfma2574 fma -0.0 1.0 0e+384 -> 0.00
|
| 317 | ddfma2575 fma -1.0 0.0 0e+384 -> 0.00
|
| 318 | ddfma2576 fma -1.0 -0.0 0e+384 -> 0.00
|
| 319 | ddfma2577 fma 1.0 0.0 0e+384 -> 0.00
|
| 320 | ddfma2578 fma 1.0 -0.0 0e+384 -> 0.00
|
| 321 |
|
| 322 | -- Specials
|
| 323 | ddfma2580 fma Inf -Inf 0e+384 -> -Infinity
|
| 324 | ddfma2581 fma Inf -1000 0e+384 -> -Infinity
|
| 325 | ddfma2582 fma Inf -1 0e+384 -> -Infinity
|
| 326 | ddfma2583 fma Inf -0 0e+384 -> NaN Invalid_operation
|
| 327 | ddfma2584 fma Inf 0 0e+384 -> NaN Invalid_operation
|
| 328 | ddfma2585 fma Inf 1 0e+384 -> Infinity
|
| 329 | ddfma2586 fma Inf 1000 0e+384 -> Infinity
|
| 330 | ddfma2587 fma Inf Inf 0e+384 -> Infinity
|
| 331 | ddfma2588 fma -1000 Inf 0e+384 -> -Infinity
|
| 332 | ddfma2589 fma -Inf Inf 0e+384 -> -Infinity
|
| 333 | ddfma2590 fma -1 Inf 0e+384 -> -Infinity
|
| 334 | ddfma2591 fma -0 Inf 0e+384 -> NaN Invalid_operation
|
| 335 | ddfma2592 fma 0 Inf 0e+384 -> NaN Invalid_operation
|
| 336 | ddfma2593 fma 1 Inf 0e+384 -> Infinity
|
| 337 | ddfma2594 fma 1000 Inf 0e+384 -> Infinity
|
| 338 | ddfma2595 fma Inf Inf 0e+384 -> Infinity
|
| 339 |
|
| 340 | ddfma2600 fma -Inf -Inf 0e+384 -> Infinity
|
| 341 | ddfma2601 fma -Inf -1000 0e+384 -> Infinity
|
| 342 | ddfma2602 fma -Inf -1 0e+384 -> Infinity
|
| 343 | ddfma2603 fma -Inf -0 0e+384 -> NaN Invalid_operation
|
| 344 | ddfma2604 fma -Inf 0 0e+384 -> NaN Invalid_operation
|
| 345 | ddfma2605 fma -Inf 1 0e+384 -> -Infinity
|
| 346 | ddfma2606 fma -Inf 1000 0e+384 -> -Infinity
|
| 347 | ddfma2607 fma -Inf Inf 0e+384 -> -Infinity
|
| 348 | ddfma2608 fma -1000 Inf 0e+384 -> -Infinity
|
| 349 | ddfma2609 fma -Inf -Inf 0e+384 -> Infinity
|
| 350 | ddfma2610 fma -1 -Inf 0e+384 -> Infinity
|
| 351 | ddfma2611 fma -0 -Inf 0e+384 -> NaN Invalid_operation
|
| 352 | ddfma2612 fma 0 -Inf 0e+384 -> NaN Invalid_operation
|
| 353 | ddfma2613 fma 1 -Inf 0e+384 -> -Infinity
|
| 354 | ddfma2614 fma 1000 -Inf 0e+384 -> -Infinity
|
| 355 | ddfma2615 fma Inf -Inf 0e+384 -> -Infinity
|
| 356 |
|
| 357 | ddfma2621 fma NaN -Inf 0e+384 -> NaN
|
| 358 | ddfma2622 fma NaN -1000 0e+384 -> NaN
|
| 359 | ddfma2623 fma NaN -1 0e+384 -> NaN
|
| 360 | ddfma2624 fma NaN -0 0e+384 -> NaN
|
| 361 | ddfma2625 fma NaN 0 0e+384 -> NaN
|
| 362 | ddfma2626 fma NaN 1 0e+384 -> NaN
|
| 363 | ddfma2627 fma NaN 1000 0e+384 -> NaN
|
| 364 | ddfma2628 fma NaN Inf 0e+384 -> NaN
|
| 365 | ddfma2629 fma NaN NaN 0e+384 -> NaN
|
| 366 | ddfma2630 fma -Inf NaN 0e+384 -> NaN
|
| 367 | ddfma2631 fma -1000 NaN 0e+384 -> NaN
|
| 368 | ddfma2632 fma -1 NaN 0e+384 -> NaN
|
| 369 | ddfma2633 fma -0 NaN 0e+384 -> NaN
|
| 370 | ddfma2634 fma 0 NaN 0e+384 -> NaN
|
| 371 | ddfma2635 fma 1 NaN 0e+384 -> NaN
|
| 372 | ddfma2636 fma 1000 NaN 0e+384 -> NaN
|
| 373 | ddfma2637 fma Inf NaN 0e+384 -> NaN
|
| 374 |
|
| 375 | ddfma2641 fma sNaN -Inf 0e+384 -> NaN Invalid_operation
|
| 376 | ddfma2642 fma sNaN -1000 0e+384 -> NaN Invalid_operation
|
| 377 | ddfma2643 fma sNaN -1 0e+384 -> NaN Invalid_operation
|
| 378 | ddfma2644 fma sNaN -0 0e+384 -> NaN Invalid_operation
|
| 379 | ddfma2645 fma sNaN 0 0e+384 -> NaN Invalid_operation
|
| 380 | ddfma2646 fma sNaN 1 0e+384 -> NaN Invalid_operation
|
| 381 | ddfma2647 fma sNaN 1000 0e+384 -> NaN Invalid_operation
|
| 382 | ddfma2648 fma sNaN NaN 0e+384 -> NaN Invalid_operation
|
| 383 | ddfma2649 fma sNaN sNaN 0e+384 -> NaN Invalid_operation
|
| 384 | ddfma2650 fma NaN sNaN 0e+384 -> NaN Invalid_operation
|
| 385 | ddfma2651 fma -Inf sNaN 0e+384 -> NaN Invalid_operation
|
| 386 | ddfma2652 fma -1000 sNaN 0e+384 -> NaN Invalid_operation
|
| 387 | ddfma2653 fma -1 sNaN 0e+384 -> NaN Invalid_operation
|
| 388 | ddfma2654 fma -0 sNaN 0e+384 -> NaN Invalid_operation
|
| 389 | ddfma2655 fma 0 sNaN 0e+384 -> NaN Invalid_operation
|
| 390 | ddfma2656 fma 1 sNaN 0e+384 -> NaN Invalid_operation
|
| 391 | ddfma2657 fma 1000 sNaN 0e+384 -> NaN Invalid_operation
|
| 392 | ddfma2658 fma Inf sNaN 0e+384 -> NaN Invalid_operation
|
| 393 | ddfma2659 fma NaN sNaN 0e+384 -> NaN Invalid_operation
|
| 394 |
|
| 395 | -- propagating NaNs
|
| 396 | ddfma2661 fma NaN9 -Inf 0e+384 -> NaN9
|
| 397 | ddfma2662 fma NaN8 999 0e+384 -> NaN8
|
| 398 | ddfma2663 fma NaN71 Inf 0e+384 -> NaN71
|
| 399 | ddfma2664 fma NaN6 NaN5 0e+384 -> NaN6
|
| 400 | ddfma2665 fma -Inf NaN4 0e+384 -> NaN4
|
| 401 | ddfma2666 fma -999 NaN33 0e+384 -> NaN33
|
| 402 | ddfma2667 fma Inf NaN2 0e+384 -> NaN2
|
| 403 |
|
| 404 | ddfma2671 fma sNaN99 -Inf 0e+384 -> NaN99 Invalid_operation
|
| 405 | ddfma2672 fma sNaN98 -11 0e+384 -> NaN98 Invalid_operation
|
| 406 | ddfma2673 fma sNaN97 NaN 0e+384 -> NaN97 Invalid_operation
|
| 407 | ddfma2674 fma sNaN16 sNaN94 0e+384 -> NaN16 Invalid_operation
|
| 408 | ddfma2675 fma NaN95 sNaN93 0e+384 -> NaN93 Invalid_operation
|
| 409 | ddfma2676 fma -Inf sNaN92 0e+384 -> NaN92 Invalid_operation
|
| 410 | ddfma2677 fma 088 sNaN91 0e+384 -> NaN91 Invalid_operation
|
| 411 | ddfma2678 fma Inf sNaN90 0e+384 -> NaN90 Invalid_operation
|
| 412 | ddfma2679 fma NaN sNaN89 0e+384 -> NaN89 Invalid_operation
|
| 413 |
|
| 414 | ddfma2681 fma -NaN9 -Inf 0e+384 -> -NaN9
|
| 415 | ddfma2682 fma -NaN8 999 0e+384 -> -NaN8
|
| 416 | ddfma2683 fma -NaN71 Inf 0e+384 -> -NaN71
|
| 417 | ddfma2684 fma -NaN6 -NaN5 0e+384 -> -NaN6
|
| 418 | ddfma2685 fma -Inf -NaN4 0e+384 -> -NaN4
|
| 419 | ddfma2686 fma -999 -NaN33 0e+384 -> -NaN33
|
| 420 | ddfma2687 fma Inf -NaN2 0e+384 -> -NaN2
|
| 421 |
|
| 422 | ddfma2691 fma -sNaN99 -Inf 0e+384 -> -NaN99 Invalid_operation
|
| 423 | ddfma2692 fma -sNaN98 -11 0e+384 -> -NaN98 Invalid_operation
|
| 424 | ddfma2693 fma -sNaN97 NaN 0e+384 -> -NaN97 Invalid_operation
|
| 425 | ddfma2694 fma -sNaN16 -sNaN94 0e+384 -> -NaN16 Invalid_operation
|
| 426 | ddfma2695 fma -NaN95 -sNaN93 0e+384 -> -NaN93 Invalid_operation
|
| 427 | ddfma2696 fma -Inf -sNaN92 0e+384 -> -NaN92 Invalid_operation
|
| 428 | ddfma2697 fma 088 -sNaN91 0e+384 -> -NaN91 Invalid_operation
|
| 429 | ddfma2698 fma Inf -sNaN90 0e+384 -> -NaN90 Invalid_operation
|
| 430 | ddfma2699 fma -NaN -sNaN89 0e+384 -> -NaN89 Invalid_operation
|
| 431 |
|
| 432 | ddfma2701 fma -NaN -Inf 0e+384 -> -NaN
|
| 433 | ddfma2702 fma -NaN 999 0e+384 -> -NaN
|
| 434 | ddfma2703 fma -NaN Inf 0e+384 -> -NaN
|
| 435 | ddfma2704 fma -NaN -NaN 0e+384 -> -NaN
|
| 436 | ddfma2705 fma -Inf -NaN0 0e+384 -> -NaN
|
| 437 | ddfma2706 fma -999 -NaN 0e+384 -> -NaN
|
| 438 | ddfma2707 fma Inf -NaN 0e+384 -> -NaN
|
| 439 |
|
| 440 | ddfma2711 fma -sNaN -Inf 0e+384 -> -NaN Invalid_operation
|
| 441 | ddfma2712 fma -sNaN -11 0e+384 -> -NaN Invalid_operation
|
| 442 | ddfma2713 fma -sNaN00 NaN 0e+384 -> -NaN Invalid_operation
|
| 443 | ddfma2714 fma -sNaN -sNaN 0e+384 -> -NaN Invalid_operation
|
| 444 | ddfma2715 fma -NaN -sNaN 0e+384 -> -NaN Invalid_operation
|
| 445 | ddfma2716 fma -Inf -sNaN 0e+384 -> -NaN Invalid_operation
|
| 446 | ddfma2717 fma 088 -sNaN 0e+384 -> -NaN Invalid_operation
|
| 447 | ddfma2718 fma Inf -sNaN 0e+384 -> -NaN Invalid_operation
|
| 448 | ddfma2719 fma -NaN -sNaN 0e+384 -> -NaN Invalid_operation
|
| 449 |
|
| 450 | -- overflow and underflow tests .. note subnormal results
|
| 451 | -- signs
|
| 452 | ddfma2751 fma 1e+277 1e+311 0e+384 -> Infinity Overflow Inexact Rounded
|
| 453 | ddfma2752 fma 1e+277 -1e+311 0e+384 -> -Infinity Overflow Inexact Rounded
|
| 454 | ddfma2753 fma -1e+277 1e+311 0e+384 -> -Infinity Overflow Inexact Rounded
|
| 455 | ddfma2754 fma -1e+277 -1e+311 0e+384 -> Infinity Overflow Inexact Rounded
|
| 456 | ddfma2755 fma 1e-277 1e-311 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 457 | ddfma2756 fma 1e-277 -1e-311 0e+384 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 458 | ddfma2757 fma -1e-277 1e-311 0e+384 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 459 | ddfma2758 fma -1e-277 -1e-311 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 460 |
|
| 461 | -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
|
| 462 | ddfma2760 fma 1e-291 1e-101 0e+384 -> 1E-392 Subnormal
|
| 463 | ddfma2761 fma 1e-291 1e-102 0e+384 -> 1E-393 Subnormal
|
| 464 | ddfma2762 fma 1e-291 1e-103 0e+384 -> 1E-394 Subnormal
|
| 465 | ddfma2763 fma 1e-291 1e-104 0e+384 -> 1E-395 Subnormal
|
| 466 | ddfma2764 fma 1e-291 1e-105 0e+384 -> 1E-396 Subnormal
|
| 467 | ddfma2765 fma 1e-291 1e-106 0e+384 -> 1E-397 Subnormal
|
| 468 | ddfma2766 fma 1e-291 1e-107 0e+384 -> 1E-398 Subnormal
|
| 469 | ddfma2767 fma 1e-291 1e-108 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 470 | ddfma2768 fma 1e-291 1e-109 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 471 | ddfma2769 fma 1e-291 1e-110 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 472 | -- [no equivalent of 'subnormal' for overflow]
|
| 473 | ddfma2770 fma 1e+60 1e+321 0e+384 -> 1.000000000000E+381 Clamped
|
| 474 | ddfma2771 fma 1e+60 1e+322 0e+384 -> 1.0000000000000E+382 Clamped
|
| 475 | ddfma2772 fma 1e+60 1e+323 0e+384 -> 1.00000000000000E+383 Clamped
|
| 476 | ddfma2773 fma 1e+60 1e+324 0e+384 -> 1.000000000000000E+384 Clamped
|
| 477 | ddfma2774 fma 1e+60 1e+325 0e+384 -> Infinity Overflow Inexact Rounded
|
| 478 | ddfma2775 fma 1e+60 1e+326 0e+384 -> Infinity Overflow Inexact Rounded
|
| 479 | ddfma2776 fma 1e+60 1e+327 0e+384 -> Infinity Overflow Inexact Rounded
|
| 480 | ddfma2777 fma 1e+60 1e+328 0e+384 -> Infinity Overflow Inexact Rounded
|
| 481 | ddfma2778 fma 1e+60 1e+329 0e+384 -> Infinity Overflow Inexact Rounded
|
| 482 | ddfma2779 fma 1e+60 1e+330 0e+384 -> Infinity Overflow Inexact Rounded
|
| 483 |
|
| 484 | ddfma2801 fma 1.0000E-394 1 0e+384 -> 1.0000E-394 Subnormal
|
| 485 | ddfma2802 fma 1.000E-394 1e-1 0e+384 -> 1.000E-395 Subnormal
|
| 486 | ddfma2803 fma 1.00E-394 1e-2 0e+384 -> 1.00E-396 Subnormal
|
| 487 | ddfma2804 fma 1.0E-394 1e-3 0e+384 -> 1.0E-397 Subnormal
|
| 488 | ddfma2805 fma 1.0E-394 1e-4 0e+384 -> 1E-398 Subnormal Rounded
|
| 489 | ddfma2806 fma 1.3E-394 1e-4 0e+384 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 490 | ddfma2807 fma 1.5E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 491 | ddfma2808 fma 1.7E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 492 | ddfma2809 fma 2.3E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 493 | ddfma2810 fma 2.5E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 494 | ddfma2811 fma 2.7E-394 1e-4 0e+384 -> 3E-398 Underflow Subnormal Inexact Rounded
|
| 495 | ddfma2812 fma 1.49E-394 1e-4 0e+384 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 496 | ddfma2813 fma 1.50E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 497 | ddfma2814 fma 1.51E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 498 | ddfma2815 fma 2.49E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 499 | ddfma2816 fma 2.50E-394 1e-4 0e+384 -> 2E-398 Underflow Subnormal Inexact Rounded
|
| 500 | ddfma2817 fma 2.51E-394 1e-4 0e+384 -> 3E-398 Underflow Subnormal Inexact Rounded
|
| 501 |
|
| 502 | ddfma2818 fma 1E-394 1e-4 0e+384 -> 1E-398 Subnormal
|
| 503 | ddfma2819 fma 3E-394 1e-5 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 504 | ddfma2820 fma 5E-394 1e-5 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 505 | ddfma2821 fma 7E-394 1e-5 0e+384 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 506 | ddfma2822 fma 9E-394 1e-5 0e+384 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 507 | ddfma2823 fma 9.9E-394 1e-5 0e+384 -> 1E-398 Underflow Subnormal Inexact Rounded
|
| 508 |
|
| 509 | ddfma2824 fma 1E-394 -1e-4 0e+384 -> -1E-398 Subnormal
|
| 510 | ddfma2825 fma 3E-394 -1e-5 0e+384 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 511 | ddfma2826 fma -5E-394 1e-5 0e+384 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 512 | ddfma2827 fma 7E-394 -1e-5 0e+384 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 513 | ddfma2828 fma -9E-394 1e-5 0e+384 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 514 | ddfma2829 fma 9.9E-394 -1e-5 0e+384 -> -1E-398 Underflow Subnormal Inexact Rounded
|
| 515 | ddfma2830 fma 3.0E-394 -1e-5 0e+384 -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 516 |
|
| 517 | ddfma2831 fma 1.0E-199 1e-200 0e+384 -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
|
| 518 | ddfma2832 fma 1.0E-199 1e-199 0e+384 -> 1E-398 Subnormal Rounded
|
| 519 | ddfma2833 fma 1.0E-199 1e-198 0e+384 -> 1.0E-397 Subnormal
|
| 520 | ddfma2834 fma 2.0E-199 2e-198 0e+384 -> 4.0E-397 Subnormal
|
| 521 | ddfma2835 fma 4.0E-199 4e-198 0e+384 -> 1.60E-396 Subnormal
|
| 522 | ddfma2836 fma 10.0E-199 10e-198 0e+384 -> 1.000E-395 Subnormal
|
| 523 | ddfma2837 fma 30.0E-199 30e-198 0e+384 -> 9.000E-395 Subnormal
|
| 524 | ddfma2838 fma 40.0E-199 40e-188 0e+384 -> 1.6000E-384 Subnormal
|
| 525 | ddfma2839 fma 40.0E-199 40e-187 0e+384 -> 1.6000E-383
|
| 526 | ddfma2840 fma 40.0E-199 40e-186 0e+384 -> 1.6000E-382
|
| 527 |
|
| 528 | -- Long operand overflow may be a different path
|
| 529 | ddfma2870 fma 100 9.999E+383 0e+384 -> Infinity Inexact Overflow Rounded
|
| 530 | ddfma2871 fma 100 -9.999E+383 0e+384 -> -Infinity Inexact Overflow Rounded
|
| 531 | ddfma2872 fma 9.999E+383 100 0e+384 -> Infinity Inexact Overflow Rounded
|
| 532 | ddfma2873 fma -9.999E+383 100 0e+384 -> -Infinity Inexact Overflow Rounded
|
| 533 |
|
| 534 | -- check for double-rounded subnormals
|
| 535 | ddfma2881 fma 1.2347E-355 1.2347E-40 0e+384 -> 1.524E-395 Inexact Rounded Subnormal Underflow
|
| 536 | ddfma2882 fma 1.234E-355 1.234E-40 0e+384 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 537 | ddfma2883 fma 1.23E-355 1.23E-40 0e+384 -> 1.513E-395 Inexact Rounded Subnormal Underflow
|
| 538 | ddfma2884 fma 1.2E-355 1.2E-40 0e+384 -> 1.44E-395 Subnormal
|
| 539 | ddfma2885 fma 1.2E-355 1.2E-41 0e+384 -> 1.44E-396 Subnormal
|
| 540 | ddfma2886 fma 1.2E-355 1.2E-42 0e+384 -> 1.4E-397 Subnormal Inexact Rounded Underflow
|
| 541 | ddfma2887 fma 1.2E-355 1.3E-42 0e+384 -> 1.6E-397 Subnormal Inexact Rounded Underflow
|
| 542 | ddfma2888 fma 1.3E-355 1.3E-42 0e+384 -> 1.7E-397 Subnormal Inexact Rounded Underflow
|
| 543 | ddfma2889 fma 1.3E-355 1.3E-43 0e+384 -> 2E-398 Subnormal Inexact Rounded Underflow
|
| 544 | ddfma2890 fma 1.3E-356 1.3E-43 0e+384 -> 0E-398 Clamped Subnormal Inexact Rounded Underflow
|
| 545 |
|
| 546 | ddfma2891 fma 1.2345E-39 1.234E-355 0e+384 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
| 547 | ddfma2892 fma 1.23456E-39 1.234E-355 0e+384 -> 1.5234E-394 Inexact Rounded Subnormal Underflow
|
| 548 | ddfma2893 fma 1.2345E-40 1.234E-355 0e+384 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 549 | ddfma2894 fma 1.23456E-40 1.234E-355 0e+384 -> 1.523E-395 Inexact Rounded Subnormal Underflow
|
| 550 | ddfma2895 fma 1.2345E-41 1.234E-355 0e+384 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
| 551 | ddfma2896 fma 1.23456E-41 1.234E-355 0e+384 -> 1.52E-396 Inexact Rounded Subnormal Underflow
|
| 552 |
|
| 553 | -- Now explore the case where we get a normal result with Underflow
|
| 554 | ddfma2900 fma 0.3000000000E-191 0.3000000000E-191 0e+384 -> 9.00000000000000E-384 Subnormal Rounded
|
| 555 | ddfma2901 fma 0.3000000001E-191 0.3000000001E-191 0e+384 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded
|
| 556 | ddfma2902 fma 9.999999999999999E-383 0.0999999999999 0e+384 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded
|
| 557 | ddfma2903 fma 9.999999999999999E-383 0.09999999999999 0e+384 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded
|
| 558 | ddfma2904 fma 9.999999999999999E-383 0.099999999999999 0e+384 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded
|
| 559 | ddfma2905 fma 9.999999999999999E-383 0.0999999999999999 0e+384 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded
|
| 560 | -- prove operands are exact
|
| 561 | ddfma2906 fma 9.999999999999999E-383 1 0e+384 -> 9.999999999999999E-383
|
| 562 | ddfma2907 fma 1 0.09999999999999999 0e+384 -> 0.09999999999999999
|
| 563 | -- the next rounds to Nmin
|
| 564 | ddfma2908 fma 9.999999999999999E-383 0.09999999999999999 0e+384 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
|
| 565 |
|
| 566 | -- hugest
|
| 567 | ddfma2909 fma 9999999999999999 9999999999999999 0e+384 -> 9.999999999999998E+31 Inexact Rounded
|
| 568 |
|
| 569 | -- Null tests
|
| 570 | ddfma2990 fma 10 # 0e+384 -> NaN Invalid_operation
|
| 571 | ddfma2991 fma # 10 0e+384 -> NaN Invalid_operation
|
| 572 |
|
| 573 |
|
| 574 | -- ADDITION TESTS ------------------------------------------------------
|
| 575 |
|
| 576 | -- [first group are 'quick confidence check']
|
| 577 | ddfma3001 fma 1 1 1 -> 2
|
| 578 | ddfma3002 fma 1 2 3 -> 5
|
| 579 | ddfma3003 fma 1 '5.75' '3.3' -> 9.05
|
| 580 | ddfma3004 fma 1 '5' '-3' -> 2
|
| 581 | ddfma3005 fma 1 '-5' '-3' -> -8
|
| 582 | ddfma3006 fma 1 '-7' '2.5' -> -4.5
|
| 583 | ddfma3007 fma 1 '0.7' '0.3' -> 1.0
|
| 584 | ddfma3008 fma 1 '1.25' '1.25' -> 2.50
|
| 585 | ddfma3009 fma 1 '1.23456789' '1.00000000' -> '2.23456789'
|
| 586 | ddfma3010 fma 1 '1.23456789' '1.00000011' -> '2.23456800'
|
| 587 |
|
| 588 | -- 1234567890123456 1234567890123456
|
| 589 | ddfma3011 fma 1 '0.4444444444444446' '0.5555555555555555' -> '1.000000000000000' Inexact Rounded
|
| 590 | ddfma3012 fma 1 '0.4444444444444445' '0.5555555555555555' -> '1.000000000000000' Rounded
|
| 591 | ddfma3013 fma 1 '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999'
|
| 592 | ddfma3014 fma 1 '4444444444444444' '0.49' -> '4444444444444444' Inexact Rounded
|
| 593 | ddfma3015 fma 1 '4444444444444444' '0.499' -> '4444444444444444' Inexact Rounded
|
| 594 | ddfma3016 fma 1 '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded
|
| 595 | ddfma3017 fma 1 '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded
|
| 596 | ddfma3018 fma 1 '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded
|
| 597 | ddfma3019 fma 1 '4444444444444444' '0.501' -> '4444444444444445' Inexact Rounded
|
| 598 | ddfma3020 fma 1 '4444444444444444' '0.51' -> '4444444444444445' Inexact Rounded
|
| 599 |
|
| 600 | ddfma3021 fma 1 0 1 -> 1
|
| 601 | ddfma3022 fma 1 1 1 -> 2
|
| 602 | ddfma3023 fma 1 2 1 -> 3
|
| 603 | ddfma3024 fma 1 3 1 -> 4
|
| 604 | ddfma3025 fma 1 4 1 -> 5
|
| 605 | ddfma3026 fma 1 5 1 -> 6
|
| 606 | ddfma3027 fma 1 6 1 -> 7
|
| 607 | ddfma3028 fma 1 7 1 -> 8
|
| 608 | ddfma3029 fma 1 8 1 -> 9
|
| 609 | ddfma3030 fma 1 9 1 -> 10
|
| 610 |
|
| 611 | -- some carrying effects
|
| 612 | ddfma3031 fma 1 '0.9998' '0.0000' -> '0.9998'
|
| 613 | ddfma3032 fma 1 '0.9998' '0.0001' -> '0.9999'
|
| 614 | ddfma3033 fma 1 '0.9998' '0.0002' -> '1.0000'
|
| 615 | ddfma3034 fma 1 '0.9998' '0.0003' -> '1.0001'
|
| 616 |
|
| 617 | ddfma3035 fma 1 '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
|
| 618 | ddfma3036 fma 1 '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
|
| 619 | ddfma3037 fma 1 '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
|
| 620 | ddfma3038 fma 1 '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
|
| 621 | ddfma3039 fma 1 '700000' '10000e+16' -> '1.000000000000007E+20' Rounded
|
| 622 |
|
| 623 | -- symmetry:
|
| 624 | ddfma3040 fma 1 '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded
|
| 625 | ddfma3041 fma 1 '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded
|
| 626 | ddfma3042 fma 1 '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded
|
| 627 | ddfma3044 fma 1 '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded
|
| 628 | ddfma3045 fma 1 '10000e+16' '700000' -> '1.000000000000007E+20' Rounded
|
| 629 |
|
| 630 | -- same, without rounding
|
| 631 | ddfma3046 fma 1 '10000e+9' '7' -> '10000000000007'
|
| 632 | ddfma3047 fma 1 '10000e+9' '70' -> '10000000000070'
|
| 633 | ddfma3048 fma 1 '10000e+9' '700' -> '10000000000700'
|
| 634 | ddfma3049 fma 1 '10000e+9' '7000' -> '10000000007000'
|
| 635 | ddfma3050 fma 1 '10000e+9' '70000' -> '10000000070000'
|
| 636 | ddfma3051 fma 1 '10000e+9' '700000' -> '10000000700000'
|
| 637 | ddfma3052 fma 1 '10000e+9' '7000000' -> '10000007000000'
|
| 638 |
|
| 639 | -- examples from decarith
|
| 640 | ddfma3053 fma 1 '12' '7.00' -> '19.00'
|
| 641 | ddfma3054 fma 1 '1.3' '-1.07' -> '0.23'
|
| 642 | ddfma3055 fma 1 '1.3' '-1.30' -> '0.00'
|
| 643 | ddfma3056 fma 1 '1.3' '-2.07' -> '-0.77'
|
| 644 | ddfma3057 fma 1 '1E+2' '1E+4' -> '1.01E+4'
|
| 645 |
|
| 646 | -- leading zero preservation
|
| 647 | ddfma3061 fma 1 1 '0.0001' -> '1.0001'
|
| 648 | ddfma3062 fma 1 1 '0.00001' -> '1.00001'
|
| 649 | ddfma3063 fma 1 1 '0.000001' -> '1.000001'
|
| 650 | ddfma3064 fma 1 1 '0.0000001' -> '1.0000001'
|
| 651 | ddfma3065 fma 1 1 '0.00000001' -> '1.00000001'
|
| 652 |
|
| 653 | -- some funny zeros [in case of bad signum]
|
| 654 | ddfma3070 fma 1 1 0 -> 1
|
| 655 | ddfma3071 fma 1 1 0. -> 1
|
| 656 | ddfma3072 fma 1 1 .0 -> 1.0
|
| 657 | ddfma3073 fma 1 1 0.0 -> 1.0
|
| 658 | ddfma3074 fma 1 1 0.00 -> 1.00
|
| 659 | ddfma3075 fma 1 0 1 -> 1
|
| 660 | ddfma3076 fma 1 0. 1 -> 1
|
| 661 | ddfma3077 fma 1 .0 1 -> 1.0
|
| 662 | ddfma3078 fma 1 0.0 1 -> 1.0
|
| 663 | ddfma3079 fma 1 0.00 1 -> 1.00
|
| 664 |
|
| 665 | -- some carries
|
| 666 | ddfma3080 fma 1 999999998 1 -> 999999999
|
| 667 | ddfma3081 fma 1 999999999 1 -> 1000000000
|
| 668 | ddfma3082 fma 1 99999999 1 -> 100000000
|
| 669 | ddfma3083 fma 1 9999999 1 -> 10000000
|
| 670 | ddfma3084 fma 1 999999 1 -> 1000000
|
| 671 | ddfma3085 fma 1 99999 1 -> 100000
|
| 672 | ddfma3086 fma 1 9999 1 -> 10000
|
| 673 | ddfma3087 fma 1 999 1 -> 1000
|
| 674 | ddfma3088 fma 1 99 1 -> 100
|
| 675 | ddfma3089 fma 1 9 1 -> 10
|
| 676 |
|
| 677 |
|
| 678 | -- more LHS swaps
|
| 679 | ddfma3090 fma 1 '-56267E-10' 0 -> '-0.0000056267'
|
| 680 | ddfma3091 fma 1 '-56267E-6' 0 -> '-0.056267'
|
| 681 | ddfma3092 fma 1 '-56267E-5' 0 -> '-0.56267'
|
| 682 | ddfma3093 fma 1 '-56267E-4' 0 -> '-5.6267'
|
| 683 | ddfma3094 fma 1 '-56267E-3' 0 -> '-56.267'
|
| 684 | ddfma3095 fma 1 '-56267E-2' 0 -> '-562.67'
|
| 685 | ddfma3096 fma 1 '-56267E-1' 0 -> '-5626.7'
|
| 686 | ddfma3097 fma 1 '-56267E-0' 0 -> '-56267'
|
| 687 | ddfma3098 fma 1 '-5E-10' 0 -> '-5E-10'
|
| 688 | ddfma3099 fma 1 '-5E-7' 0 -> '-5E-7'
|
| 689 | ddfma3100 fma 1 '-5E-6' 0 -> '-0.000005'
|
| 690 | ddfma3101 fma 1 '-5E-5' 0 -> '-0.00005'
|
| 691 | ddfma3102 fma 1 '-5E-4' 0 -> '-0.0005'
|
| 692 | ddfma3103 fma 1 '-5E-1' 0 -> '-0.5'
|
| 693 | ddfma3104 fma 1 '-5E0' 0 -> '-5'
|
| 694 | ddfma3105 fma 1 '-5E1' 0 -> '-50'
|
| 695 | ddfma3106 fma 1 '-5E5' 0 -> '-500000'
|
| 696 | ddfma3107 fma 1 '-5E15' 0 -> '-5000000000000000'
|
| 697 | ddfma3108 fma 1 '-5E16' 0 -> '-5.000000000000000E+16' Rounded
|
| 698 | ddfma3109 fma 1 '-5E17' 0 -> '-5.000000000000000E+17' Rounded
|
| 699 | ddfma3110 fma 1 '-5E18' 0 -> '-5.000000000000000E+18' Rounded
|
| 700 | ddfma3111 fma 1 '-5E100' 0 -> '-5.000000000000000E+100' Rounded
|
| 701 |
|
| 702 | -- more RHS swaps
|
| 703 | ddfma3113 fma 1 0 '-56267E-10' -> '-0.0000056267'
|
| 704 | ddfma3114 fma 1 0 '-56267E-6' -> '-0.056267'
|
| 705 | ddfma3116 fma 1 0 '-56267E-5' -> '-0.56267'
|
| 706 | ddfma3117 fma 1 0 '-56267E-4' -> '-5.6267'
|
| 707 | ddfma3119 fma 1 0 '-56267E-3' -> '-56.267'
|
| 708 | ddfma3120 fma 1 0 '-56267E-2' -> '-562.67'
|
| 709 | ddfma3121 fma 1 0 '-56267E-1' -> '-5626.7'
|
| 710 | ddfma3122 fma 1 0 '-56267E-0' -> '-56267'
|
| 711 | ddfma3123 fma 1 0 '-5E-10' -> '-5E-10'
|
| 712 | ddfma3124 fma 1 0 '-5E-7' -> '-5E-7'
|
| 713 | ddfma3125 fma 1 0 '-5E-6' -> '-0.000005'
|
| 714 | ddfma3126 fma 1 0 '-5E-5' -> '-0.00005'
|
| 715 | ddfma3127 fma 1 0 '-5E-4' -> '-0.0005'
|
| 716 | ddfma3128 fma 1 0 '-5E-1' -> '-0.5'
|
| 717 | ddfma3129 fma 1 0 '-5E0' -> '-5'
|
| 718 | ddfma3130 fma 1 0 '-5E1' -> '-50'
|
| 719 | ddfma3131 fma 1 0 '-5E5' -> '-500000'
|
| 720 | ddfma3132 fma 1 0 '-5E15' -> '-5000000000000000'
|
| 721 | ddfma3133 fma 1 0 '-5E16' -> '-5.000000000000000E+16' Rounded
|
| 722 | ddfma3134 fma 1 0 '-5E17' -> '-5.000000000000000E+17' Rounded
|
| 723 | ddfma3135 fma 1 0 '-5E18' -> '-5.000000000000000E+18' Rounded
|
| 724 | ddfma3136 fma 1 0 '-5E100' -> '-5.000000000000000E+100' Rounded
|
| 725 |
|
| 726 | -- related
|
| 727 | ddfma3137 fma 1 1 '0E-19' -> '1.000000000000000' Rounded
|
| 728 | ddfma3138 fma 1 -1 '0E-19' -> '-1.000000000000000' Rounded
|
| 729 | ddfma3139 fma 1 '0E-19' 1 -> '1.000000000000000' Rounded
|
| 730 | ddfma3140 fma 1 '0E-19' -1 -> '-1.000000000000000' Rounded
|
| 731 | ddfma3141 fma 1 1E+11 0.0000 -> '100000000000.0000'
|
| 732 | ddfma3142 fma 1 1E+11 0.00000 -> '100000000000.0000' Rounded
|
| 733 | ddfma3143 fma 1 0.000 1E+12 -> '1000000000000.000'
|
| 734 | ddfma3144 fma 1 0.0000 1E+12 -> '1000000000000.000' Rounded
|
| 735 |
|
| 736 | -- [some of the next group are really constructor tests]
|
| 737 | ddfma3146 fma 1 '00.0' 0 -> '0.0'
|
| 738 | ddfma3147 fma 1 '0.00' 0 -> '0.00'
|
| 739 | ddfma3148 fma 1 0 '0.00' -> '0.00'
|
| 740 | ddfma3149 fma 1 0 '00.0' -> '0.0'
|
| 741 | ddfma3150 fma 1 '00.0' '0.00' -> '0.00'
|
| 742 | ddfma3151 fma 1 '0.00' '00.0' -> '0.00'
|
| 743 | ddfma3152 fma 1 '3' '.3' -> '3.3'
|
| 744 | ddfma3153 fma 1 '3.' '.3' -> '3.3'
|
| 745 | ddfma3154 fma 1 '3.0' '.3' -> '3.3'
|
| 746 | ddfma3155 fma 1 '3.00' '.3' -> '3.30'
|
| 747 | ddfma3156 fma 1 '3' '3' -> '6'
|
| 748 | ddfma3157 fma 1 '3' '+3' -> '6'
|
| 749 | ddfma3158 fma 1 '3' '-3' -> '0'
|
| 750 | ddfma3159 fma 1 '0.3' '-0.3' -> '0.0'
|
| 751 | ddfma3160 fma 1 '0.03' '-0.03' -> '0.00'
|
| 752 |
|
| 753 | -- try borderline precision, with carries, etc.
|
| 754 | ddfma3161 fma 1 '1E+12' '-1' -> '999999999999'
|
| 755 | ddfma3162 fma 1 '1E+12' '1.11' -> '1000000000001.11'
|
| 756 | ddfma3163 fma 1 '1.11' '1E+12' -> '1000000000001.11'
|
| 757 | ddfma3164 fma 1 '-1' '1E+12' -> '999999999999'
|
| 758 | ddfma3165 fma 1 '7E+12' '-1' -> '6999999999999'
|
| 759 | ddfma3166 fma 1 '7E+12' '1.11' -> '7000000000001.11'
|
| 760 | ddfma3167 fma 1 '1.11' '7E+12' -> '7000000000001.11'
|
| 761 | ddfma3168 fma 1 '-1' '7E+12' -> '6999999999999'
|
| 762 |
|
| 763 | rounding: half_up
|
| 764 | -- 1.234567890123456 1234567890123456 1 234567890123456
|
| 765 | ddfma3170 fma 1 '4.444444444444444' '0.5555555555555567' -> '5.000000000000001' Inexact Rounded
|
| 766 | ddfma3171 fma 1 '4.444444444444444' '0.5555555555555566' -> '5.000000000000001' Inexact Rounded
|
| 767 | ddfma3172 fma 1 '4.444444444444444' '0.5555555555555565' -> '5.000000000000001' Inexact Rounded
|
| 768 | ddfma3173 fma 1 '4.444444444444444' '0.5555555555555564' -> '5.000000000000000' Inexact Rounded
|
| 769 | ddfma3174 fma 1 '4.444444444444444' '0.5555555555555553' -> '4.999999999999999' Inexact Rounded
|
| 770 | ddfma3175 fma 1 '4.444444444444444' '0.5555555555555552' -> '4.999999999999999' Inexact Rounded
|
| 771 | ddfma3176 fma 1 '4.444444444444444' '0.5555555555555551' -> '4.999999999999999' Inexact Rounded
|
| 772 | ddfma3177 fma 1 '4.444444444444444' '0.5555555555555550' -> '4.999999999999999' Rounded
|
| 773 | ddfma3178 fma 1 '4.444444444444444' '0.5555555555555545' -> '4.999999999999999' Inexact Rounded
|
| 774 | ddfma3179 fma 1 '4.444444444444444' '0.5555555555555544' -> '4.999999999999998' Inexact Rounded
|
| 775 | ddfma3180 fma 1 '4.444444444444444' '0.5555555555555543' -> '4.999999999999998' Inexact Rounded
|
| 776 | ddfma3181 fma 1 '4.444444444444444' '0.5555555555555542' -> '4.999999999999998' Inexact Rounded
|
| 777 | ddfma3182 fma 1 '4.444444444444444' '0.5555555555555541' -> '4.999999999999998' Inexact Rounded
|
| 778 | ddfma3183 fma 1 '4.444444444444444' '0.5555555555555540' -> '4.999999999999998' Rounded
|
| 779 |
|
| 780 | -- and some more, including residue effects and different roundings
|
| 781 | rounding: half_up
|
| 782 | ddfma3200 fma 1 '1234560123456789' 0 -> '1234560123456789'
|
| 783 | ddfma3201 fma 1 '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
|
| 784 | ddfma3202 fma 1 '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
|
| 785 | ddfma3203 fma 1 '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
|
| 786 | ddfma3204 fma 1 '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
|
| 787 | ddfma3205 fma 1 '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
|
| 788 | ddfma3206 fma 1 '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
|
| 789 | ddfma3207 fma 1 '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
|
| 790 | ddfma3208 fma 1 '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded
|
| 791 | ddfma3209 fma 1 '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded
|
| 792 | ddfma3210 fma 1 '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded
|
| 793 | ddfma3211 fma 1 '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded
|
| 794 | ddfma3212 fma 1 '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded
|
| 795 | ddfma3213 fma 1 '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded
|
| 796 | ddfma3214 fma 1 '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded
|
| 797 | ddfma3215 fma 1 '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded
|
| 798 | ddfma3216 fma 1 '1234560123456789' 1 -> '1234560123456790'
|
| 799 | ddfma3217 fma 1 '1234560123456789' 1.000000001 -> '1234560123456790' Inexact Rounded
|
| 800 | ddfma3218 fma 1 '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
|
| 801 | ddfma3219 fma 1 '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
|
| 802 |
|
| 803 | rounding: half_even
|
| 804 | ddfma3220 fma 1 '1234560123456789' 0 -> '1234560123456789'
|
| 805 | ddfma3221 fma 1 '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
|
| 806 | ddfma3222 fma 1 '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
|
| 807 | ddfma3223 fma 1 '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
|
| 808 | ddfma3224 fma 1 '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
|
| 809 | ddfma3225 fma 1 '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
|
| 810 | ddfma3226 fma 1 '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
|
| 811 | ddfma3227 fma 1 '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
|
| 812 | ddfma3228 fma 1 '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded
|
| 813 | ddfma3229 fma 1 '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded
|
| 814 | ddfma3230 fma 1 '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded
|
| 815 | ddfma3231 fma 1 '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded
|
| 816 | ddfma3232 fma 1 '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded
|
| 817 | ddfma3233 fma 1 '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded
|
| 818 | ddfma3234 fma 1 '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded
|
| 819 | ddfma3235 fma 1 '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded
|
| 820 | ddfma3236 fma 1 '1234560123456789' 1 -> '1234560123456790'
|
| 821 | ddfma3237 fma 1 '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded
|
| 822 | ddfma3238 fma 1 '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
|
| 823 | ddfma3239 fma 1 '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
|
| 824 | -- critical few with even bottom digit...
|
| 825 | ddfma3240 fma 1 '1234560123456788' 0.499999999 -> '1234560123456788' Inexact Rounded
|
| 826 | ddfma3241 fma 1 '1234560123456788' 0.5 -> '1234560123456788' Inexact Rounded
|
| 827 | ddfma3242 fma 1 '1234560123456788' 0.500000001 -> '1234560123456789' Inexact Rounded
|
| 828 |
|
| 829 | rounding: down
|
| 830 | ddfma3250 fma 1 '1234560123456789' 0 -> '1234560123456789'
|
| 831 | ddfma3251 fma 1 '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
|
| 832 | ddfma3252 fma 1 '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
|
| 833 | ddfma3253 fma 1 '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
|
| 834 | ddfma3254 fma 1 '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
|
| 835 | ddfma3255 fma 1 '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
|
| 836 | ddfma3256 fma 1 '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
|
| 837 | ddfma3257 fma 1 '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
|
| 838 | ddfma3258 fma 1 '1234560123456789' 0.5 -> '1234560123456789' Inexact Rounded
|
| 839 | ddfma3259 fma 1 '1234560123456789' 0.500000001 -> '1234560123456789' Inexact Rounded
|
| 840 | ddfma3260 fma 1 '1234560123456789' 0.500001 -> '1234560123456789' Inexact Rounded
|
| 841 | ddfma3261 fma 1 '1234560123456789' 0.51 -> '1234560123456789' Inexact Rounded
|
| 842 | ddfma3262 fma 1 '1234560123456789' 0.6 -> '1234560123456789' Inexact Rounded
|
| 843 | ddfma3263 fma 1 '1234560123456789' 0.9 -> '1234560123456789' Inexact Rounded
|
| 844 | ddfma3264 fma 1 '1234560123456789' 0.99999 -> '1234560123456789' Inexact Rounded
|
| 845 | ddfma3265 fma 1 '1234560123456789' 0.999999999 -> '1234560123456789' Inexact Rounded
|
| 846 | ddfma3266 fma 1 '1234560123456789' 1 -> '1234560123456790'
|
| 847 | ddfma3267 fma 1 '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded
|
| 848 | ddfma3268 fma 1 '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
|
| 849 | ddfma3269 fma 1 '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
|
| 850 |
|
| 851 | -- 1 in last place tests
|
| 852 | rounding: half_up
|
| 853 | ddfma3301 fma 1 -1 1 -> 0
|
| 854 | ddfma3302 fma 1 0 1 -> 1
|
| 855 | ddfma3303 fma 1 1 1 -> 2
|
| 856 | ddfma3304 fma 1 12 1 -> 13
|
| 857 | ddfma3305 fma 1 98 1 -> 99
|
| 858 | ddfma3306 fma 1 99 1 -> 100
|
| 859 | ddfma3307 fma 1 100 1 -> 101
|
| 860 | ddfma3308 fma 1 101 1 -> 102
|
| 861 | ddfma3309 fma 1 -1 -1 -> -2
|
| 862 | ddfma3310 fma 1 0 -1 -> -1
|
| 863 | ddfma3311 fma 1 1 -1 -> 0
|
| 864 | ddfma3312 fma 1 12 -1 -> 11
|
| 865 | ddfma3313 fma 1 98 -1 -> 97
|
| 866 | ddfma3314 fma 1 99 -1 -> 98
|
| 867 | ddfma3315 fma 1 100 -1 -> 99
|
| 868 | ddfma3316 fma 1 101 -1 -> 100
|
| 869 |
|
| 870 | ddfma3321 fma 1 -0.01 0.01 -> 0.00
|
| 871 | ddfma3322 fma 1 0.00 0.01 -> 0.01
|
| 872 | ddfma3323 fma 1 0.01 0.01 -> 0.02
|
| 873 | ddfma3324 fma 1 0.12 0.01 -> 0.13
|
| 874 | ddfma3325 fma 1 0.98 0.01 -> 0.99
|
| 875 | ddfma3326 fma 1 0.99 0.01 -> 1.00
|
| 876 | ddfma3327 fma 1 1.00 0.01 -> 1.01
|
| 877 | ddfma3328 fma 1 1.01 0.01 -> 1.02
|
| 878 | ddfma3329 fma 1 -0.01 -0.01 -> -0.02
|
| 879 | ddfma3330 fma 1 0.00 -0.01 -> -0.01
|
| 880 | ddfma3331 fma 1 0.01 -0.01 -> 0.00
|
| 881 | ddfma3332 fma 1 0.12 -0.01 -> 0.11
|
| 882 | ddfma3333 fma 1 0.98 -0.01 -> 0.97
|
| 883 | ddfma3334 fma 1 0.99 -0.01 -> 0.98
|
| 884 | ddfma3335 fma 1 1.00 -0.01 -> 0.99
|
| 885 | ddfma3336 fma 1 1.01 -0.01 -> 1.00
|
| 886 |
|
| 887 | -- some more cases where adding 0 affects the coefficient
|
| 888 | ddfma3340 fma 1 1E+3 0 -> 1000
|
| 889 | ddfma3341 fma 1 1E+15 0 -> 1000000000000000
|
| 890 | ddfma3342 fma 1 1E+16 0 -> 1.000000000000000E+16 Rounded
|
| 891 | ddfma3343 fma 1 1E+20 0 -> 1.000000000000000E+20 Rounded
|
| 892 | -- which simply follow from these cases ...
|
| 893 | ddfma3344 fma 1 1E+3 1 -> 1001
|
| 894 | ddfma3345 fma 1 1E+15 1 -> 1000000000000001
|
| 895 | ddfma3346 fma 1 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded
|
| 896 | ddfma3347 fma 1 1E+20 1 -> 1.000000000000000E+20 Inexact Rounded
|
| 897 | ddfma3348 fma 1 1E+3 7 -> 1007
|
| 898 | ddfma3349 fma 1 1E+15 7 -> 1000000000000007
|
| 899 | ddfma3350 fma 1 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded
|
| 900 | ddfma3351 fma 1 1E+20 7 -> 1.000000000000000E+20 Inexact Rounded
|
| 901 |
|
| 902 | -- tryzeros cases
|
| 903 | rounding: half_up
|
| 904 | ddfma3360 fma 1 0E+50 10000E+1 -> 1.0000E+5
|
| 905 | ddfma3361 fma 1 0E-50 10000E+1 -> 100000.0000000000 Rounded
|
| 906 | ddfma3362 fma 1 10000E+1 0E-50 -> 100000.0000000000 Rounded
|
| 907 | ddfma3363 fma 1 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact
|
| 908 | ddfma3364 fma 1 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369
|
| 909 |
|
| 910 | -- a curiosity from JSR 13 testing
|
| 911 | rounding: half_down
|
| 912 | ddfma3370 fma 1 999999999999999 815 -> 1000000000000814
|
| 913 | ddfma3371 fma 1 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
|
| 914 | rounding: half_up
|
| 915 | ddfma3372 fma 1 999999999999999 815 -> 1000000000000814
|
| 916 | ddfma3373 fma 1 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
|
| 917 | rounding: half_even
|
| 918 | ddfma3374 fma 1 999999999999999 815 -> 1000000000000814
|
| 919 | ddfma3375 fma 1 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
|
| 920 |
|
| 921 | -- ulp replacement tests
|
| 922 | ddfma3400 fma 1 1 77e-14 -> 1.00000000000077
|
| 923 | ddfma3401 fma 1 1 77e-15 -> 1.000000000000077
|
| 924 | ddfma3402 fma 1 1 77e-16 -> 1.000000000000008 Inexact Rounded
|
| 925 | ddfma3403 fma 1 1 77e-17 -> 1.000000000000001 Inexact Rounded
|
| 926 | ddfma3404 fma 1 1 77e-18 -> 1.000000000000000 Inexact Rounded
|
| 927 | ddfma3405 fma 1 1 77e-19 -> 1.000000000000000 Inexact Rounded
|
| 928 | ddfma3406 fma 1 1 77e-299 -> 1.000000000000000 Inexact Rounded
|
| 929 |
|
| 930 | ddfma3410 fma 1 10 77e-14 -> 10.00000000000077
|
| 931 | ddfma3411 fma 1 10 77e-15 -> 10.00000000000008 Inexact Rounded
|
| 932 | ddfma3412 fma 1 10 77e-16 -> 10.00000000000001 Inexact Rounded
|
| 933 | ddfma3413 fma 1 10 77e-17 -> 10.00000000000000 Inexact Rounded
|
| 934 | ddfma3414 fma 1 10 77e-18 -> 10.00000000000000 Inexact Rounded
|
| 935 | ddfma3415 fma 1 10 77e-19 -> 10.00000000000000 Inexact Rounded
|
| 936 | ddfma3416 fma 1 10 77e-299 -> 10.00000000000000 Inexact Rounded
|
| 937 |
|
| 938 | ddfma3420 fma 1 77e-14 1 -> 1.00000000000077
|
| 939 | ddfma3421 fma 1 77e-15 1 -> 1.000000000000077
|
| 940 | ddfma3422 fma 1 77e-16 1 -> 1.000000000000008 Inexact Rounded
|
| 941 | ddfma3423 fma 1 77e-17 1 -> 1.000000000000001 Inexact Rounded
|
| 942 | ddfma3424 fma 1 77e-18 1 -> 1.000000000000000 Inexact Rounded
|
| 943 | ddfma3425 fma 1 77e-19 1 -> 1.000000000000000 Inexact Rounded
|
| 944 | ddfma3426 fma 1 77e-299 1 -> 1.000000000000000 Inexact Rounded
|
| 945 |
|
| 946 | ddfma3430 fma 1 77e-14 10 -> 10.00000000000077
|
| 947 | ddfma3431 fma 1 77e-15 10 -> 10.00000000000008 Inexact Rounded
|
| 948 | ddfma3432 fma 1 77e-16 10 -> 10.00000000000001 Inexact Rounded
|
| 949 | ddfma3433 fma 1 77e-17 10 -> 10.00000000000000 Inexact Rounded
|
| 950 | ddfma3434 fma 1 77e-18 10 -> 10.00000000000000 Inexact Rounded
|
| 951 | ddfma3435 fma 1 77e-19 10 -> 10.00000000000000 Inexact Rounded
|
| 952 | ddfma3436 fma 1 77e-299 10 -> 10.00000000000000 Inexact Rounded
|
| 953 |
|
| 954 | -- negative ulps
|
| 955 | ddfma36440 fma 1 1 -77e-14 -> 0.99999999999923
|
| 956 | ddfma36441 fma 1 1 -77e-15 -> 0.999999999999923
|
| 957 | ddfma36442 fma 1 1 -77e-16 -> 0.9999999999999923
|
| 958 | ddfma36443 fma 1 1 -77e-17 -> 0.9999999999999992 Inexact Rounded
|
| 959 | ddfma36444 fma 1 1 -77e-18 -> 0.9999999999999999 Inexact Rounded
|
| 960 | ddfma36445 fma 1 1 -77e-19 -> 1.000000000000000 Inexact Rounded
|
| 961 | ddfma36446 fma 1 1 -77e-99 -> 1.000000000000000 Inexact Rounded
|
| 962 |
|
| 963 | ddfma36450 fma 1 10 -77e-14 -> 9.99999999999923
|
| 964 | ddfma36451 fma 1 10 -77e-15 -> 9.999999999999923
|
| 965 | ddfma36452 fma 1 10 -77e-16 -> 9.999999999999992 Inexact Rounded
|
| 966 | ddfma36453 fma 1 10 -77e-17 -> 9.999999999999999 Inexact Rounded
|
| 967 | ddfma36454 fma 1 10 -77e-18 -> 10.00000000000000 Inexact Rounded
|
| 968 | ddfma36455 fma 1 10 -77e-19 -> 10.00000000000000 Inexact Rounded
|
| 969 | ddfma36456 fma 1 10 -77e-99 -> 10.00000000000000 Inexact Rounded
|
| 970 |
|
| 971 | ddfma36460 fma 1 -77e-14 1 -> 0.99999999999923
|
| 972 | ddfma36461 fma 1 -77e-15 1 -> 0.999999999999923
|
| 973 | ddfma36462 fma 1 -77e-16 1 -> 0.9999999999999923
|
| 974 | ddfma36463 fma 1 -77e-17 1 -> 0.9999999999999992 Inexact Rounded
|
| 975 | ddfma36464 fma 1 -77e-18 1 -> 0.9999999999999999 Inexact Rounded
|
| 976 | ddfma36465 fma 1 -77e-19 1 -> 1.000000000000000 Inexact Rounded
|
| 977 | ddfma36466 fma 1 -77e-99 1 -> 1.000000000000000 Inexact Rounded
|
| 978 |
|
| 979 | ddfma36470 fma 1 -77e-14 10 -> 9.99999999999923
|
| 980 | ddfma36471 fma 1 -77e-15 10 -> 9.999999999999923
|
| 981 | ddfma36472 fma 1 -77e-16 10 -> 9.999999999999992 Inexact Rounded
|
| 982 | ddfma36473 fma 1 -77e-17 10 -> 9.999999999999999 Inexact Rounded
|
| 983 | ddfma36474 fma 1 -77e-18 10 -> 10.00000000000000 Inexact Rounded
|
| 984 | ddfma36475 fma 1 -77e-19 10 -> 10.00000000000000 Inexact Rounded
|
| 985 | ddfma36476 fma 1 -77e-99 10 -> 10.00000000000000 Inexact Rounded
|
| 986 |
|
| 987 | -- negative ulps
|
| 988 | ddfma36480 fma 1 -1 77e-14 -> -0.99999999999923
|
| 989 | ddfma36481 fma 1 -1 77e-15 -> -0.999999999999923
|
| 990 | ddfma36482 fma 1 -1 77e-16 -> -0.9999999999999923
|
| 991 | ddfma36483 fma 1 -1 77e-17 -> -0.9999999999999992 Inexact Rounded
|
| 992 | ddfma36484 fma 1 -1 77e-18 -> -0.9999999999999999 Inexact Rounded
|
| 993 | ddfma36485 fma 1 -1 77e-19 -> -1.000000000000000 Inexact Rounded
|
| 994 | ddfma36486 fma 1 -1 77e-99 -> -1.000000000000000 Inexact Rounded
|
| 995 |
|
| 996 | ddfma36490 fma 1 -10 77e-14 -> -9.99999999999923
|
| 997 | ddfma36491 fma 1 -10 77e-15 -> -9.999999999999923
|
| 998 | ddfma36492 fma 1 -10 77e-16 -> -9.999999999999992 Inexact Rounded
|
| 999 | ddfma36493 fma 1 -10 77e-17 -> -9.999999999999999 Inexact Rounded
|
| 1000 | ddfma36494 fma 1 -10 77e-18 -> -10.00000000000000 Inexact Rounded
|
| 1001 | ddfma36495 fma 1 -10 77e-19 -> -10.00000000000000 Inexact Rounded
|
| 1002 | ddfma36496 fma 1 -10 77e-99 -> -10.00000000000000 Inexact Rounded
|
| 1003 |
|
| 1004 | ddfma36500 fma 1 77e-14 -1 -> -0.99999999999923
|
| 1005 | ddfma36501 fma 1 77e-15 -1 -> -0.999999999999923
|
| 1006 | ddfma36502 fma 1 77e-16 -1 -> -0.9999999999999923
|
| 1007 | ddfma36503 fma 1 77e-17 -1 -> -0.9999999999999992 Inexact Rounded
|
| 1008 | ddfma36504 fma 1 77e-18 -1 -> -0.9999999999999999 Inexact Rounded
|
| 1009 | ddfma36505 fma 1 77e-19 -1 -> -1.000000000000000 Inexact Rounded
|
| 1010 | ddfma36506 fma 1 77e-99 -1 -> -1.000000000000000 Inexact Rounded
|
| 1011 |
|
| 1012 | ddfma36510 fma 1 77e-14 -10 -> -9.99999999999923
|
| 1013 | ddfma36511 fma 1 77e-15 -10 -> -9.999999999999923
|
| 1014 | ddfma36512 fma 1 77e-16 -10 -> -9.999999999999992 Inexact Rounded
|
| 1015 | ddfma36513 fma 1 77e-17 -10 -> -9.999999999999999 Inexact Rounded
|
| 1016 | ddfma36514 fma 1 77e-18 -10 -> -10.00000000000000 Inexact Rounded
|
| 1017 | ddfma36515 fma 1 77e-19 -10 -> -10.00000000000000 Inexact Rounded
|
| 1018 | ddfma36516 fma 1 77e-99 -10 -> -10.00000000000000 Inexact Rounded
|
| 1019 |
|
| 1020 | -- and a couple more with longer RHS
|
| 1021 | ddfma36520 fma 1 1 -7777e-16 -> 0.9999999999992223
|
| 1022 | ddfma36521 fma 1 1 -7777e-17 -> 0.9999999999999222 Inexact Rounded
|
| 1023 | ddfma36522 fma 1 1 -7777e-18 -> 0.9999999999999922 Inexact Rounded
|
| 1024 | ddfma36523 fma 1 1 -7777e-19 -> 0.9999999999999992 Inexact Rounded
|
| 1025 | ddfma36524 fma 1 1 -7777e-20 -> 0.9999999999999999 Inexact Rounded
|
| 1026 | ddfma36525 fma 1 1 -7777e-21 -> 1.000000000000000 Inexact Rounded
|
| 1027 | ddfma36526 fma 1 1 -7777e-22 -> 1.000000000000000 Inexact Rounded
|
| 1028 |
|
| 1029 |
|
| 1030 | -- and some more residue effects and different roundings
|
| 1031 | rounding: half_up
|
| 1032 | ddfma36540 fma 1 '6543210123456789' 0 -> '6543210123456789'
|
| 1033 | ddfma36541 fma 1 '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
|
| 1034 | ddfma36542 fma 1 '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
|
| 1035 | ddfma36543 fma 1 '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
|
| 1036 | ddfma36544 fma 1 '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
|
| 1037 | ddfma36545 fma 1 '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
|
| 1038 | ddfma36546 fma 1 '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
|
| 1039 | ddfma36547 fma 1 '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
|
| 1040 | ddfma36548 fma 1 '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
|
| 1041 | ddfma36549 fma 1 '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
|
| 1042 | ddfma36550 fma 1 '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
|
| 1043 | ddfma36551 fma 1 '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
|
| 1044 | ddfma36552 fma 1 '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
|
| 1045 | ddfma36553 fma 1 '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
|
| 1046 | ddfma36554 fma 1 '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
|
| 1047 | ddfma36555 fma 1 '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
|
| 1048 | ddfma36556 fma 1 '6543210123456789' 1 -> '6543210123456790'
|
| 1049 | ddfma36557 fma 1 '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded
|
| 1050 | ddfma36558 fma 1 '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
|
| 1051 | ddfma36559 fma 1 '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
|
| 1052 |
|
| 1053 | rounding: half_even
|
| 1054 | ddfma36560 fma 1 '6543210123456789' 0 -> '6543210123456789'
|
| 1055 | ddfma36561 fma 1 '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
|
| 1056 | ddfma36562 fma 1 '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
|
| 1057 | ddfma36563 fma 1 '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
|
| 1058 | ddfma36564 fma 1 '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
|
| 1059 | ddfma36565 fma 1 '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
|
| 1060 | ddfma36566 fma 1 '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
|
| 1061 | ddfma36567 fma 1 '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
|
| 1062 | ddfma36568 fma 1 '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
|
| 1063 | ddfma36569 fma 1 '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
|
| 1064 | ddfma36570 fma 1 '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
|
| 1065 | ddfma36571 fma 1 '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
|
| 1066 | ddfma36572 fma 1 '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
|
| 1067 | ddfma36573 fma 1 '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
|
| 1068 | ddfma36574 fma 1 '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
|
| 1069 | ddfma36575 fma 1 '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
|
| 1070 | ddfma36576 fma 1 '6543210123456789' 1 -> '6543210123456790'
|
| 1071 | ddfma36577 fma 1 '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
|
| 1072 | ddfma36578 fma 1 '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
|
| 1073 | ddfma36579 fma 1 '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
|
| 1074 |
|
| 1075 | -- critical few with even bottom digit...
|
| 1076 | ddfma37540 fma 1 '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded
|
| 1077 | ddfma37541 fma 1 '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded
|
| 1078 | ddfma37542 fma 1 '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded
|
| 1079 |
|
| 1080 | rounding: down
|
| 1081 | ddfma37550 fma 1 '6543210123456789' 0 -> '6543210123456789'
|
| 1082 | ddfma37551 fma 1 '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
|
| 1083 | ddfma37552 fma 1 '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
|
| 1084 | ddfma37553 fma 1 '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
|
| 1085 | ddfma37554 fma 1 '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
|
| 1086 | ddfma37555 fma 1 '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
|
| 1087 | ddfma37556 fma 1 '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
|
| 1088 | ddfma37557 fma 1 '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
|
| 1089 | ddfma37558 fma 1 '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded
|
| 1090 | ddfma37559 fma 1 '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded
|
| 1091 | ddfma37560 fma 1 '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded
|
| 1092 | ddfma37561 fma 1 '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded
|
| 1093 | ddfma37562 fma 1 '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded
|
| 1094 | ddfma37563 fma 1 '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded
|
| 1095 | ddfma37564 fma 1 '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded
|
| 1096 | ddfma37565 fma 1 '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded
|
| 1097 | ddfma37566 fma 1 '6543210123456789' 1 -> '6543210123456790'
|
| 1098 | ddfma37567 fma 1 '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
|
| 1099 | ddfma37568 fma 1 '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
|
| 1100 | ddfma37569 fma 1 '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
|
| 1101 |
|
| 1102 |
|
| 1103 | -- verify a query
|
| 1104 | rounding: down
|
| 1105 | ddfma37661 fma 1 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
|
| 1106 | ddfma37662 fma 1 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
|
| 1107 | ddfma37663 fma 1 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
|
| 1108 | ddfma37664 fma 1 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded
|
| 1109 |
|
| 1110 | -- more zeros, etc.
|
| 1111 | rounding: half_even
|
| 1112 |
|
| 1113 | ddfma37701 fma 1 5.00 1.00E-3 -> 5.00100
|
| 1114 | ddfma37702 fma 1 00.00 0.000 -> 0.000
|
| 1115 | ddfma37703 fma 1 00.00 0E-3 -> 0.000
|
| 1116 | ddfma37704 fma 1 0E-3 00.00 -> 0.000
|
| 1117 |
|
| 1118 | ddfma37710 fma 1 0E+3 00.00 -> 0.00
|
| 1119 | ddfma37711 fma 1 0E+3 00.0 -> 0.0
|
| 1120 | ddfma37712 fma 1 0E+3 00. -> 0
|
| 1121 | ddfma37713 fma 1 0E+3 00.E+1 -> 0E+1
|
| 1122 | ddfma37714 fma 1 0E+3 00.E+2 -> 0E+2
|
| 1123 | ddfma37715 fma 1 0E+3 00.E+3 -> 0E+3
|
| 1124 | ddfma37716 fma 1 0E+3 00.E+4 -> 0E+3
|
| 1125 | ddfma37717 fma 1 0E+3 00.E+5 -> 0E+3
|
| 1126 | ddfma37718 fma 1 0E+3 -00.0 -> 0.0
|
| 1127 | ddfma37719 fma 1 0E+3 -00. -> 0
|
| 1128 | ddfma37731 fma 1 0E+3 -00.E+1 -> 0E+1
|
| 1129 |
|
| 1130 | ddfma37720 fma 1 00.00 0E+3 -> 0.00
|
| 1131 | ddfma37721 fma 1 00.0 0E+3 -> 0.0
|
| 1132 | ddfma37722 fma 1 00. 0E+3 -> 0
|
| 1133 | ddfma37723 fma 1 00.E+1 0E+3 -> 0E+1
|
| 1134 | ddfma37724 fma 1 00.E+2 0E+3 -> 0E+2
|
| 1135 | ddfma37725 fma 1 00.E+3 0E+3 -> 0E+3
|
| 1136 | ddfma37726 fma 1 00.E+4 0E+3 -> 0E+3
|
| 1137 | ddfma37727 fma 1 00.E+5 0E+3 -> 0E+3
|
| 1138 | ddfma37728 fma 1 -00.00 0E+3 -> 0.00
|
| 1139 | ddfma37729 fma 1 -00.0 0E+3 -> 0.0
|
| 1140 | ddfma37730 fma 1 -00. 0E+3 -> 0
|
| 1141 |
|
| 1142 | ddfma37732 fma 1 0 0 -> 0
|
| 1143 | ddfma37733 fma 1 0 -0 -> 0
|
| 1144 | ddfma37734 fma 1 -0 0 -> 0
|
| 1145 | ddfma37735 fma 1 -0 -0 -> -0 -- IEEE 854 special case
|
| 1146 |
|
| 1147 | ddfma37736 fma 1 1 -1 -> 0
|
| 1148 | ddfma37737 fma 1 -1 -1 -> -2
|
| 1149 | ddfma37738 fma 1 1 1 -> 2
|
| 1150 | ddfma37739 fma 1 -1 1 -> 0
|
| 1151 |
|
| 1152 | ddfma37741 fma 1 0 -1 -> -1
|
| 1153 | ddfma37742 fma 1 -0 -1 -> -1
|
| 1154 | ddfma37743 fma 1 0 1 -> 1
|
| 1155 | ddfma37744 fma 1 -0 1 -> 1
|
| 1156 | ddfma37745 fma 1 -1 0 -> -1
|
| 1157 | ddfma37746 fma 1 -1 -0 -> -1
|
| 1158 | ddfma37747 fma 1 1 0 -> 1
|
| 1159 | ddfma37748 fma 1 1 -0 -> 1
|
| 1160 |
|
| 1161 | ddfma37751 fma 1 0.0 -1 -> -1.0
|
| 1162 | ddfma37752 fma 1 -0.0 -1 -> -1.0
|
| 1163 | ddfma37753 fma 1 0.0 1 -> 1.0
|
| 1164 | ddfma37754 fma 1 -0.0 1 -> 1.0
|
| 1165 | ddfma37755 fma 1 -1.0 0 -> -1.0
|
| 1166 | ddfma37756 fma 1 -1.0 -0 -> -1.0
|
| 1167 | ddfma37757 fma 1 1.0 0 -> 1.0
|
| 1168 | ddfma37758 fma 1 1.0 -0 -> 1.0
|
| 1169 |
|
| 1170 | ddfma37761 fma 1 0 -1.0 -> -1.0
|
| 1171 | ddfma37762 fma 1 -0 -1.0 -> -1.0
|
| 1172 | ddfma37763 fma 1 0 1.0 -> 1.0
|
| 1173 | ddfma37764 fma 1 -0 1.0 -> 1.0
|
| 1174 | ddfma37765 fma 1 -1 0.0 -> -1.0
|
| 1175 | ddfma37766 fma 1 -1 -0.0 -> -1.0
|
| 1176 | ddfma37767 fma 1 1 0.0 -> 1.0
|
| 1177 | ddfma37768 fma 1 1 -0.0 -> 1.0
|
| 1178 |
|
| 1179 | ddfma37771 fma 1 0.0 -1.0 -> -1.0
|
| 1180 | ddfma37772 fma 1 -0.0 -1.0 -> -1.0
|
| 1181 | ddfma37773 fma 1 0.0 1.0 -> 1.0
|
| 1182 | ddfma37774 fma 1 -0.0 1.0 -> 1.0
|
| 1183 | ddfma37775 fma 1 -1.0 0.0 -> -1.0
|
| 1184 | ddfma37776 fma 1 -1.0 -0.0 -> -1.0
|
| 1185 | ddfma37777 fma 1 1.0 0.0 -> 1.0
|
| 1186 | ddfma37778 fma 1 1.0 -0.0 -> 1.0
|
| 1187 |
|
| 1188 | -- Specials
|
| 1189 | ddfma37780 fma 1 -Inf -Inf -> -Infinity
|
| 1190 | ddfma37781 fma 1 -Inf -1000 -> -Infinity
|
| 1191 | ddfma37782 fma 1 -Inf -1 -> -Infinity
|
| 1192 | ddfma37783 fma 1 -Inf -0 -> -Infinity
|
| 1193 | ddfma37784 fma 1 -Inf 0 -> -Infinity
|
| 1194 | ddfma37785 fma 1 -Inf 1 -> -Infinity
|
| 1195 | ddfma37786 fma 1 -Inf 1000 -> -Infinity
|
| 1196 | ddfma37787 fma 1 -1000 -Inf -> -Infinity
|
| 1197 | ddfma37788 fma 1 -Inf -Inf -> -Infinity
|
| 1198 | ddfma37789 fma 1 -1 -Inf -> -Infinity
|
| 1199 | ddfma37790 fma 1 -0 -Inf -> -Infinity
|
| 1200 | ddfma37791 fma 1 0 -Inf -> -Infinity
|
| 1201 | ddfma37792 fma 1 1 -Inf -> -Infinity
|
| 1202 | ddfma37793 fma 1 1000 -Inf -> -Infinity
|
| 1203 | ddfma37794 fma 1 Inf -Inf -> NaN Invalid_operation
|
| 1204 |
|
| 1205 | ddfma37800 fma 1 Inf -Inf -> NaN Invalid_operation
|
| 1206 | ddfma37801 fma 1 Inf -1000 -> Infinity
|
| 1207 | ddfma37802 fma 1 Inf -1 -> Infinity
|
| 1208 | ddfma37803 fma 1 Inf -0 -> Infinity
|
| 1209 | ddfma37804 fma 1 Inf 0 -> Infinity
|
| 1210 | ddfma37805 fma 1 Inf 1 -> Infinity
|
| 1211 | ddfma37806 fma 1 Inf 1000 -> Infinity
|
| 1212 | ddfma37807 fma 1 Inf Inf -> Infinity
|
| 1213 | ddfma37808 fma 1 -1000 Inf -> Infinity
|
| 1214 | ddfma37809 fma 1 -Inf Inf -> NaN Invalid_operation
|
| 1215 | ddfma37810 fma 1 -1 Inf -> Infinity
|
| 1216 | ddfma37811 fma 1 -0 Inf -> Infinity
|
| 1217 | ddfma37812 fma 1 0 Inf -> Infinity
|
| 1218 | ddfma37813 fma 1 1 Inf -> Infinity
|
| 1219 | ddfma37814 fma 1 1000 Inf -> Infinity
|
| 1220 | ddfma37815 fma 1 Inf Inf -> Infinity
|
| 1221 |
|
| 1222 | ddfma37821 fma 1 NaN -Inf -> NaN
|
| 1223 | ddfma37822 fma 1 NaN -1000 -> NaN
|
| 1224 | ddfma37823 fma 1 NaN -1 -> NaN
|
| 1225 | ddfma37824 fma 1 NaN -0 -> NaN
|
| 1226 | ddfma37825 fma 1 NaN 0 -> NaN
|
| 1227 | ddfma37826 fma 1 NaN 1 -> NaN
|
| 1228 | ddfma37827 fma 1 NaN 1000 -> NaN
|
| 1229 | ddfma37828 fma 1 NaN Inf -> NaN
|
| 1230 | ddfma37829 fma 1 NaN NaN -> NaN
|
| 1231 | ddfma37830 fma 1 -Inf NaN -> NaN
|
| 1232 | ddfma37831 fma 1 -1000 NaN -> NaN
|
| 1233 | ddfma37832 fma 1 -1 NaN -> NaN
|
| 1234 | ddfma37833 fma 1 -0 NaN -> NaN
|
| 1235 | ddfma37834 fma 1 0 NaN -> NaN
|
| 1236 | ddfma37835 fma 1 1 NaN -> NaN
|
| 1237 | ddfma37836 fma 1 1000 NaN -> NaN
|
| 1238 | ddfma37837 fma 1 Inf NaN -> NaN
|
| 1239 |
|
| 1240 | ddfma37841 fma 1 sNaN -Inf -> NaN Invalid_operation
|
| 1241 | ddfma37842 fma 1 sNaN -1000 -> NaN Invalid_operation
|
| 1242 | ddfma37843 fma 1 sNaN -1 -> NaN Invalid_operation
|
| 1243 | ddfma37844 fma 1 sNaN -0 -> NaN Invalid_operation
|
| 1244 | ddfma37845 fma 1 sNaN 0 -> NaN Invalid_operation
|
| 1245 | ddfma37846 fma 1 sNaN 1 -> NaN Invalid_operation
|
| 1246 | ddfma37847 fma 1 sNaN 1000 -> NaN Invalid_operation
|
| 1247 | ddfma37848 fma 1 sNaN NaN -> NaN Invalid_operation
|
| 1248 | ddfma37849 fma 1 sNaN sNaN -> NaN Invalid_operation
|
| 1249 | ddfma37850 fma 1 NaN sNaN -> NaN Invalid_operation
|
| 1250 | ddfma37851 fma 1 -Inf sNaN -> NaN Invalid_operation
|
| 1251 | ddfma37852 fma 1 -1000 sNaN -> NaN Invalid_operation
|
| 1252 | ddfma37853 fma 1 -1 sNaN -> NaN Invalid_operation
|
| 1253 | ddfma37854 fma 1 -0 sNaN -> NaN Invalid_operation
|
| 1254 | ddfma37855 fma 1 0 sNaN -> NaN Invalid_operation
|
| 1255 | ddfma37856 fma 1 1 sNaN -> NaN Invalid_operation
|
| 1256 | ddfma37857 fma 1 1000 sNaN -> NaN Invalid_operation
|
| 1257 | ddfma37858 fma 1 Inf sNaN -> NaN Invalid_operation
|
| 1258 | ddfma37859 fma 1 NaN sNaN -> NaN Invalid_operation
|
| 1259 |
|
| 1260 | -- propagating NaNs
|
| 1261 | ddfma37861 fma 1 NaN1 -Inf -> NaN1
|
| 1262 | ddfma37862 fma 1 +NaN2 -1000 -> NaN2
|
| 1263 | ddfma37863 fma 1 NaN3 1000 -> NaN3
|
| 1264 | ddfma37864 fma 1 NaN4 Inf -> NaN4
|
| 1265 | ddfma37865 fma 1 NaN5 +NaN6 -> NaN5
|
| 1266 | ddfma37866 fma 1 -Inf NaN7 -> NaN7
|
| 1267 | ddfma37867 fma 1 -1000 NaN8 -> NaN8
|
| 1268 | ddfma37868 fma 1 1000 NaN9 -> NaN9
|
| 1269 | ddfma37869 fma 1 Inf +NaN10 -> NaN10
|
| 1270 | ddfma37871 fma 1 sNaN11 -Inf -> NaN11 Invalid_operation
|
| 1271 | ddfma37872 fma 1 sNaN12 -1000 -> NaN12 Invalid_operation
|
| 1272 | ddfma37873 fma 1 sNaN13 1000 -> NaN13 Invalid_operation
|
| 1273 | ddfma37874 fma 1 sNaN14 NaN17 -> NaN14 Invalid_operation
|
| 1274 | ddfma37875 fma 1 sNaN15 sNaN18 -> NaN15 Invalid_operation
|
| 1275 | ddfma37876 fma 1 NaN16 sNaN19 -> NaN19 Invalid_operation
|
| 1276 | ddfma37877 fma 1 -Inf +sNaN20 -> NaN20 Invalid_operation
|
| 1277 | ddfma37878 fma 1 -1000 sNaN21 -> NaN21 Invalid_operation
|
| 1278 | ddfma37879 fma 1 1000 sNaN22 -> NaN22 Invalid_operation
|
| 1279 | ddfma37880 fma 1 Inf sNaN23 -> NaN23 Invalid_operation
|
| 1280 | ddfma37881 fma 1 +NaN25 +sNaN24 -> NaN24 Invalid_operation
|
| 1281 | ddfma37882 fma 1 -NaN26 NaN28 -> -NaN26
|
| 1282 | ddfma37883 fma 1 -sNaN27 sNaN29 -> -NaN27 Invalid_operation
|
| 1283 | ddfma37884 fma 1 1000 -NaN30 -> -NaN30
|
| 1284 | ddfma37885 fma 1 1000 -sNaN31 -> -NaN31 Invalid_operation
|
| 1285 |
|
| 1286 | -- Here we explore near the boundary of rounding a subnormal to Nmin
|
| 1287 | ddfma37575 fma 1 1E-383 -1E-398 -> 9.99999999999999E-384 Subnormal
|
| 1288 | ddfma37576 fma 1 -1E-383 +1E-398 -> -9.99999999999999E-384 Subnormal
|
| 1289 |
|
| 1290 | -- check overflow edge case
|
| 1291 | -- 1234567890123456
|
| 1292 | ddfma37972 apply 9.999999999999999E+384 -> 9.999999999999999E+384
|
| 1293 | ddfma37973 fma 1 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded
|
| 1294 | ddfma37974 fma 1 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded
|
| 1295 | ddfma37975 fma 1 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded
|
| 1296 | ddfma37976 fma 1 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded
|
| 1297 | ddfma37977 fma 1 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded
|
| 1298 | ddfma37978 fma 1 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded
|
| 1299 | ddfma37979 fma 1 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded
|
| 1300 | ddfma37980 fma 1 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded
|
| 1301 | ddfma37981 fma 1 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded
|
| 1302 | ddfma37982 fma 1 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded
|
| 1303 | ddfma37983 fma 1 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded
|
| 1304 | ddfma37984 fma 1 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded
|
| 1305 |
|
| 1306 | ddfma37985 apply -9.999999999999999E+384 -> -9.999999999999999E+384
|
| 1307 | ddfma37986 fma 1 -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded
|
| 1308 | ddfma37987 fma 1 -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded
|
| 1309 | ddfma37988 fma 1 -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded
|
| 1310 | ddfma37989 fma 1 -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded
|
| 1311 | ddfma37990 fma 1 -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded
|
| 1312 | ddfma37991 fma 1 -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded
|
| 1313 | ddfma37992 fma 1 -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded
|
| 1314 | ddfma37993 fma 1 -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded
|
| 1315 | ddfma37994 fma 1 -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded
|
| 1316 | ddfma37995 fma 1 -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded
|
| 1317 | ddfma37996 fma 1 -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded
|
| 1318 | ddfma37997 fma 1 -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded
|
| 1319 |
|
| 1320 | -- And for round down full and subnormal results
|
| 1321 | rounding: down
|
| 1322 | ddfma371100 fma 1 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact
|
| 1323 | ddfma371101 fma 1 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact
|
| 1324 | ddfma371103 fma 1 +1 -1e-383 -> 0.9999999999999999 Rounded Inexact
|
| 1325 | ddfma371104 fma 1 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact
|
| 1326 | ddfma371105 fma 1 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact
|
| 1327 | ddfma371106 fma 1 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact
|
| 1328 | ddfma371107 fma 1 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact
|
| 1329 | ddfma371108 fma 1 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact
|
| 1330 | ddfma371109 fma 1 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact
|
| 1331 |
|
| 1332 | rounding: ceiling
|
| 1333 | ddfma371110 fma 1 -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact
|
| 1334 | ddfma371111 fma 1 -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact
|
| 1335 | ddfma371113 fma 1 -1 +1e-383 -> -0.9999999999999999 Rounded Inexact
|
| 1336 | ddfma371114 fma 1 -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact
|
| 1337 | ddfma371115 fma 1 -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact
|
| 1338 | ddfma371116 fma 1 -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact
|
| 1339 | ddfma371117 fma 1 -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact
|
| 1340 | ddfma371118 fma 1 -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact
|
| 1341 | ddfma371119 fma 1 -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact
|
| 1342 |
|
| 1343 | -- tests based on Gunnar Degnbol's edge case
|
| 1344 | rounding: half_even
|
| 1345 |
|
| 1346 | ddfma371300 fma 1 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded
|
| 1347 | ddfma371310 fma 1 1E16 -0.51 -> 9999999999999999 Inexact Rounded
|
| 1348 | ddfma371311 fma 1 1E16 -0.501 -> 9999999999999999 Inexact Rounded
|
| 1349 | ddfma371312 fma 1 1E16 -0.5001 -> 9999999999999999 Inexact Rounded
|
| 1350 | ddfma371313 fma 1 1E16 -0.50001 -> 9999999999999999 Inexact Rounded
|
| 1351 | ddfma371314 fma 1 1E16 -0.500001 -> 9999999999999999 Inexact Rounded
|
| 1352 | ddfma371315 fma 1 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded
|
| 1353 | ddfma371316 fma 1 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded
|
| 1354 | ddfma371317 fma 1 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded
|
| 1355 | ddfma371318 fma 1 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded
|
| 1356 | ddfma371319 fma 1 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded
|
| 1357 | ddfma371320 fma 1 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded
|
| 1358 | ddfma371321 fma 1 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded
|
| 1359 | ddfma371322 fma 1 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded
|
| 1360 | ddfma371323 fma 1 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded
|
| 1361 | ddfma371324 fma 1 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded
|
| 1362 | ddfma371325 fma 1 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1363 | ddfma371326 fma 1 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1364 | ddfma371327 fma 1 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1365 | ddfma371328 fma 1 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1366 | ddfma371329 fma 1 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1367 | ddfma371330 fma 1 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1368 | ddfma371331 fma 1 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1369 | ddfma371332 fma 1 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1370 | ddfma371333 fma 1 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1371 | ddfma371334 fma 1 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1372 | ddfma371335 fma 1 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1373 | ddfma371336 fma 1 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1374 | ddfma371337 fma 1 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1375 | ddfma371338 fma 1 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded
|
| 1376 | ddfma371339 fma 1 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded
|
| 1377 |
|
| 1378 | ddfma371340 fma 1 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded
|
| 1379 | ddfma371341 fma 1 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded
|
| 1380 |
|
| 1381 | ddfma371349 fma 1 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded
|
| 1382 | ddfma371350 fma 1 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded
|
| 1383 | ddfma371351 fma 1 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded
|
| 1384 | ddfma371352 fma 1 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded
|
| 1385 | ddfma371353 fma 1 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded
|
| 1386 | ddfma371354 fma 1 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded
|
| 1387 | ddfma371355 fma 1 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded
|
| 1388 | ddfma371356 fma 1 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded
|
| 1389 | ddfma371357 fma 1 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded
|
| 1390 | ddfma371358 fma 1 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded
|
| 1391 | ddfma371359 fma 1 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded
|
| 1392 | ddfma371360 fma 1 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded
|
| 1393 | ddfma371361 fma 1 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded
|
| 1394 | ddfma371362 fma 1 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded
|
| 1395 | ddfma371363 fma 1 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded
|
| 1396 | ddfma371364 fma 1 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded
|
| 1397 | ddfma371365 fma 1 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1398 | ddfma371367 fma 1 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1399 | ddfma371368 fma 1 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1400 | ddfma371369 fma 1 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1401 | ddfma371370 fma 1 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1402 | ddfma371371 fma 1 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1403 | ddfma371372 fma 1 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1404 | ddfma371373 fma 1 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1405 | ddfma371374 fma 1 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1406 | ddfma371375 fma 1 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1407 | ddfma371376 fma 1 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1408 | ddfma371377 fma 1 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1409 | ddfma371378 fma 1 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded
|
| 1410 | ddfma371379 fma 1 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded
|
| 1411 | ddfma371380 fma 1 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded
|
| 1412 | ddfma371381 fma 1 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded
|
| 1413 | ddfma371382 fma 1 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1414 | ddfma371383 fma 1 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1415 | ddfma371384 fma 1 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1416 | ddfma371385 fma 1 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1417 | ddfma371386 fma 1 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1418 | ddfma371387 fma 1 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1419 | ddfma371388 fma 1 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1420 | ddfma371389 fma 1 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1421 | ddfma371390 fma 1 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1422 | ddfma371391 fma 1 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1423 | ddfma371392 fma 1 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1424 | ddfma371393 fma 1 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1425 | ddfma371394 fma 1 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded
|
| 1426 | ddfma371395 fma 1 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded
|
| 1427 | ddfma371396 fma 1 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded
|
| 1428 |
|
| 1429 | -- More GD edge cases, where difference between the unadjusted
|
| 1430 | -- exponents is larger than the maximum precision and one side is 0
|
| 1431 | ddfma371420 fma 1 0 1.123456789012345 -> 1.123456789012345
|
| 1432 | ddfma371421 fma 1 0 1.123456789012345E-1 -> 0.1123456789012345
|
| 1433 | ddfma371422 fma 1 0 1.123456789012345E-2 -> 0.01123456789012345
|
| 1434 | ddfma371423 fma 1 0 1.123456789012345E-3 -> 0.001123456789012345
|
| 1435 | ddfma371424 fma 1 0 1.123456789012345E-4 -> 0.0001123456789012345
|
| 1436 | ddfma371425 fma 1 0 1.123456789012345E-5 -> 0.00001123456789012345
|
| 1437 | ddfma371426 fma 1 0 1.123456789012345E-6 -> 0.000001123456789012345
|
| 1438 | ddfma371427 fma 1 0 1.123456789012345E-7 -> 1.123456789012345E-7
|
| 1439 | ddfma371428 fma 1 0 1.123456789012345E-8 -> 1.123456789012345E-8
|
| 1440 | ddfma371429 fma 1 0 1.123456789012345E-9 -> 1.123456789012345E-9
|
| 1441 | ddfma371430 fma 1 0 1.123456789012345E-10 -> 1.123456789012345E-10
|
| 1442 | ddfma371431 fma 1 0 1.123456789012345E-11 -> 1.123456789012345E-11
|
| 1443 | ddfma371432 fma 1 0 1.123456789012345E-12 -> 1.123456789012345E-12
|
| 1444 | ddfma371433 fma 1 0 1.123456789012345E-13 -> 1.123456789012345E-13
|
| 1445 | ddfma371434 fma 1 0 1.123456789012345E-14 -> 1.123456789012345E-14
|
| 1446 | ddfma371435 fma 1 0 1.123456789012345E-15 -> 1.123456789012345E-15
|
| 1447 | ddfma371436 fma 1 0 1.123456789012345E-16 -> 1.123456789012345E-16
|
| 1448 | ddfma371437 fma 1 0 1.123456789012345E-17 -> 1.123456789012345E-17
|
| 1449 | ddfma371438 fma 1 0 1.123456789012345E-18 -> 1.123456789012345E-18
|
| 1450 | ddfma371439 fma 1 0 1.123456789012345E-19 -> 1.123456789012345E-19
|
| 1451 |
|
| 1452 | -- same, reversed 0
|
| 1453 | ddfma371440 fma 1 1.123456789012345 0 -> 1.123456789012345
|
| 1454 | ddfma371441 fma 1 1.123456789012345E-1 0 -> 0.1123456789012345
|
| 1455 | ddfma371442 fma 1 1.123456789012345E-2 0 -> 0.01123456789012345
|
| 1456 | ddfma371443 fma 1 1.123456789012345E-3 0 -> 0.001123456789012345
|
| 1457 | ddfma371444 fma 1 1.123456789012345E-4 0 -> 0.0001123456789012345
|
| 1458 | ddfma371445 fma 1 1.123456789012345E-5 0 -> 0.00001123456789012345
|
| 1459 | ddfma371446 fma 1 1.123456789012345E-6 0 -> 0.000001123456789012345
|
| 1460 | ddfma371447 fma 1 1.123456789012345E-7 0 -> 1.123456789012345E-7
|
| 1461 | ddfma371448 fma 1 1.123456789012345E-8 0 -> 1.123456789012345E-8
|
| 1462 | ddfma371449 fma 1 1.123456789012345E-9 0 -> 1.123456789012345E-9
|
| 1463 | ddfma371450 fma 1 1.123456789012345E-10 0 -> 1.123456789012345E-10
|
| 1464 | ddfma371451 fma 1 1.123456789012345E-11 0 -> 1.123456789012345E-11
|
| 1465 | ddfma371452 fma 1 1.123456789012345E-12 0 -> 1.123456789012345E-12
|
| 1466 | ddfma371453 fma 1 1.123456789012345E-13 0 -> 1.123456789012345E-13
|
| 1467 | ddfma371454 fma 1 1.123456789012345E-14 0 -> 1.123456789012345E-14
|
| 1468 | ddfma371455 fma 1 1.123456789012345E-15 0 -> 1.123456789012345E-15
|
| 1469 | ddfma371456 fma 1 1.123456789012345E-16 0 -> 1.123456789012345E-16
|
| 1470 | ddfma371457 fma 1 1.123456789012345E-17 0 -> 1.123456789012345E-17
|
| 1471 | ddfma371458 fma 1 1.123456789012345E-18 0 -> 1.123456789012345E-18
|
| 1472 | ddfma371459 fma 1 1.123456789012345E-19 0 -> 1.123456789012345E-19
|
| 1473 |
|
| 1474 | -- same, Es on the 0
|
| 1475 | ddfma371460 fma 1 1.123456789012345 0E-0 -> 1.123456789012345
|
| 1476 | ddfma371461 fma 1 1.123456789012345 0E-1 -> 1.123456789012345
|
| 1477 | ddfma371462 fma 1 1.123456789012345 0E-2 -> 1.123456789012345
|
| 1478 | ddfma371463 fma 1 1.123456789012345 0E-3 -> 1.123456789012345
|
| 1479 | ddfma371464 fma 1 1.123456789012345 0E-4 -> 1.123456789012345
|
| 1480 | ddfma371465 fma 1 1.123456789012345 0E-5 -> 1.123456789012345
|
| 1481 | ddfma371466 fma 1 1.123456789012345 0E-6 -> 1.123456789012345
|
| 1482 | ddfma371467 fma 1 1.123456789012345 0E-7 -> 1.123456789012345
|
| 1483 | ddfma371468 fma 1 1.123456789012345 0E-8 -> 1.123456789012345
|
| 1484 | ddfma371469 fma 1 1.123456789012345 0E-9 -> 1.123456789012345
|
| 1485 | ddfma371470 fma 1 1.123456789012345 0E-10 -> 1.123456789012345
|
| 1486 | ddfma371471 fma 1 1.123456789012345 0E-11 -> 1.123456789012345
|
| 1487 | ddfma371472 fma 1 1.123456789012345 0E-12 -> 1.123456789012345
|
| 1488 | ddfma371473 fma 1 1.123456789012345 0E-13 -> 1.123456789012345
|
| 1489 | ddfma371474 fma 1 1.123456789012345 0E-14 -> 1.123456789012345
|
| 1490 | ddfma371475 fma 1 1.123456789012345 0E-15 -> 1.123456789012345
|
| 1491 | -- next four flag Rounded because the 0 extends the result
|
| 1492 | ddfma371476 fma 1 1.123456789012345 0E-16 -> 1.123456789012345 Rounded
|
| 1493 | ddfma371477 fma 1 1.123456789012345 0E-17 -> 1.123456789012345 Rounded
|
| 1494 | ddfma371478 fma 1 1.123456789012345 0E-18 -> 1.123456789012345 Rounded
|
| 1495 | ddfma371479 fma 1 1.123456789012345 0E-19 -> 1.123456789012345 Rounded
|
| 1496 |
|
| 1497 | -- sum of two opposite-sign operands is exactly 0 and floor => -0
|
| 1498 | rounding: half_up
|
| 1499 | -- exact zeros from zeros
|
| 1500 | ddfma371500 fma 1 0 0E-19 -> 0E-19
|
| 1501 | ddfma371501 fma 1 -0 0E-19 -> 0E-19
|
| 1502 | ddfma371502 fma 1 0 -0E-19 -> 0E-19
|
| 1503 | ddfma371503 fma 1 -0 -0E-19 -> -0E-19
|
| 1504 | -- exact zeros from non-zeros
|
| 1505 | ddfma371511 fma 1 -11 11 -> 0
|
| 1506 | ddfma371512 fma 1 11 -11 -> 0
|
| 1507 |
|
| 1508 | rounding: half_down
|
| 1509 | -- exact zeros from zeros
|
| 1510 | ddfma371520 fma 1 0 0E-19 -> 0E-19
|
| 1511 | ddfma371521 fma 1 -0 0E-19 -> 0E-19
|
| 1512 | ddfma371522 fma 1 0 -0E-19 -> 0E-19
|
| 1513 | ddfma371523 fma 1 -0 -0E-19 -> -0E-19
|
| 1514 | -- exact zeros from non-zeros
|
| 1515 | ddfma371531 fma 1 -11 11 -> 0
|
| 1516 | ddfma371532 fma 1 11 -11 -> 0
|
| 1517 |
|
| 1518 | rounding: half_even
|
| 1519 | -- exact zeros from zeros
|
| 1520 | ddfma371540 fma 1 0 0E-19 -> 0E-19
|
| 1521 | ddfma371541 fma 1 -0 0E-19 -> 0E-19
|
| 1522 | ddfma371542 fma 1 0 -0E-19 -> 0E-19
|
| 1523 | ddfma371543 fma 1 -0 -0E-19 -> -0E-19
|
| 1524 | -- exact zeros from non-zeros
|
| 1525 | ddfma371551 fma 1 -11 11 -> 0
|
| 1526 | ddfma371552 fma 1 11 -11 -> 0
|
| 1527 |
|
| 1528 | rounding: up
|
| 1529 | -- exact zeros from zeros
|
| 1530 | ddfma371560 fma 1 0 0E-19 -> 0E-19
|
| 1531 | ddfma371561 fma 1 -0 0E-19 -> 0E-19
|
| 1532 | ddfma371562 fma 1 0 -0E-19 -> 0E-19
|
| 1533 | ddfma371563 fma 1 -0 -0E-19 -> -0E-19
|
| 1534 | -- exact zeros from non-zeros
|
| 1535 | ddfma371571 fma 1 -11 11 -> 0
|
| 1536 | ddfma371572 fma 1 11 -11 -> 0
|
| 1537 |
|
| 1538 | rounding: down
|
| 1539 | -- exact zeros from zeros
|
| 1540 | ddfma371580 fma 1 0 0E-19 -> 0E-19
|
| 1541 | ddfma371581 fma 1 -0 0E-19 -> 0E-19
|
| 1542 | ddfma371582 fma 1 0 -0E-19 -> 0E-19
|
| 1543 | ddfma371583 fma 1 -0 -0E-19 -> -0E-19
|
| 1544 | -- exact zeros from non-zeros
|
| 1545 | ddfma371591 fma 1 -11 11 -> 0
|
| 1546 | ddfma371592 fma 1 11 -11 -> 0
|
| 1547 |
|
| 1548 | rounding: ceiling
|
| 1549 | -- exact zeros from zeros
|
| 1550 | ddfma371600 fma 1 0 0E-19 -> 0E-19
|
| 1551 | ddfma371601 fma 1 -0 0E-19 -> 0E-19
|
| 1552 | ddfma371602 fma 1 0 -0E-19 -> 0E-19
|
| 1553 | ddfma371603 fma 1 -0 -0E-19 -> -0E-19
|
| 1554 | -- exact zeros from non-zeros
|
| 1555 | ddfma371611 fma 1 -11 11 -> 0
|
| 1556 | ddfma371612 fma 1 11 -11 -> 0
|
| 1557 |
|
| 1558 | -- and the extra-special ugly case; unusual minuses marked by -- *
|
| 1559 | rounding: floor
|
| 1560 | -- exact zeros from zeros
|
| 1561 | ddfma371620 fma 1 0 0E-19 -> 0E-19
|
| 1562 | ddfma371621 fma 1 -0 0E-19 -> -0E-19 -- *
|
| 1563 | ddfma371622 fma 1 0 -0E-19 -> -0E-19 -- *
|
| 1564 | ddfma371623 fma 1 -0 -0E-19 -> -0E-19
|
| 1565 | -- exact zeros from non-zeros
|
| 1566 | ddfma371631 fma 1 -11 11 -> -0 -- *
|
| 1567 | ddfma371632 fma 1 11 -11 -> -0 -- *
|
| 1568 |
|
| 1569 | -- Examples from SQL proposal (Krishna Kulkarni)
|
| 1570 | ddfma371701 fma 1 130E-2 120E-2 -> 2.50
|
| 1571 | ddfma371702 fma 1 130E-2 12E-1 -> 2.50
|
| 1572 | ddfma371703 fma 1 130E-2 1E0 -> 2.30
|
| 1573 | ddfma371704 fma 1 1E2 1E4 -> 1.01E+4
|
| 1574 | ddfma371705 fma 1 130E-2 -120E-2 -> 0.10
|
| 1575 | ddfma371706 fma 1 130E-2 -12E-1 -> 0.10
|
| 1576 | ddfma371707 fma 1 130E-2 -1E0 -> 0.30
|
| 1577 | ddfma371708 fma 1 1E2 -1E4 -> -9.9E+3
|
| 1578 |
|
| 1579 | -- Gappy coefficients; check residue handling even with full coefficient gap
|
| 1580 | rounding: half_even
|
| 1581 |
|
| 1582 | ddfma375001 fma 1 1234567890123456 1 -> 1234567890123457
|
| 1583 | ddfma375002 fma 1 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded
|
| 1584 | ddfma375003 fma 1 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded
|
| 1585 | ddfma375004 fma 1 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded
|
| 1586 | ddfma375005 fma 1 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded
|
| 1587 | ddfma375006 fma 1 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded
|
| 1588 | ddfma375007 fma 1 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded
|
| 1589 | ddfma375008 fma 1 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded
|
| 1590 | ddfma375009 fma 1 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded
|
| 1591 | ddfma375010 fma 1 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded
|
| 1592 | ddfma375011 fma 1 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded
|
| 1593 | ddfma375012 fma 1 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded
|
| 1594 | ddfma375013 fma 1 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded
|
| 1595 | ddfma375014 fma 1 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded
|
| 1596 | ddfma375015 fma 1 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded
|
| 1597 | ddfma375016 fma 1 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded
|
| 1598 | ddfma375017 fma 1 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded
|
| 1599 | ddfma375018 fma 1 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded
|
| 1600 | ddfma375019 fma 1 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded
|
| 1601 | ddfma375020 fma 1 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded
|
| 1602 | ddfma375021 fma 1 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded
|
| 1603 |
|
| 1604 | -- widening second argument at gap
|
| 1605 | ddfma375030 fma 1 12345678 1 -> 12345679
|
| 1606 | ddfma375031 fma 1 12345678 0.1 -> 12345678.1
|
| 1607 | ddfma375032 fma 1 12345678 0.12 -> 12345678.12
|
| 1608 | ddfma375033 fma 1 12345678 0.123 -> 12345678.123
|
| 1609 | ddfma375034 fma 1 12345678 0.1234 -> 12345678.1234
|
| 1610 | ddfma375035 fma 1 12345678 0.12345 -> 12345678.12345
|
| 1611 | ddfma375036 fma 1 12345678 0.123456 -> 12345678.123456
|
| 1612 | ddfma375037 fma 1 12345678 0.1234567 -> 12345678.1234567
|
| 1613 | ddfma375038 fma 1 12345678 0.12345678 -> 12345678.12345678
|
| 1614 | ddfma375039 fma 1 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded
|
| 1615 | ddfma375040 fma 1 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded
|
| 1616 | ddfma375041 fma 1 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded
|
| 1617 | ddfma375042 fma 1 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded
|
| 1618 | ddfma375043 fma 1 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded
|
| 1619 | ddfma375044 fma 1 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded
|
| 1620 | ddfma375045 fma 1 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded
|
| 1621 | ddfma375046 fma 1 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded
|
| 1622 | ddfma375047 fma 1 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded
|
| 1623 | ddfma375048 fma 1 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded
|
| 1624 | ddfma375049 fma 1 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded
|
| 1625 | -- 90123456
|
| 1626 | rounding: half_even
|
| 1627 | ddfma375050 fma 1 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded
|
| 1628 | ddfma375051 fma 1 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded
|
| 1629 | ddfma375052 fma 1 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded
|
| 1630 | ddfma375053 fma 1 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded
|
| 1631 | ddfma375054 fma 1 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded
|
| 1632 | ddfma375055 fma 1 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded
|
| 1633 | ddfma375056 fma 1 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded
|
| 1634 | ddfma375057 fma 1 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded
|
| 1635 | ddfma375060 fma 1 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded
|
| 1636 | ddfma375061 fma 1 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded
|
| 1637 | ddfma375062 fma 1 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded
|
| 1638 | ddfma375063 fma 1 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded
|
| 1639 | ddfma375064 fma 1 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded
|
| 1640 | ddfma375065 fma 1 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded
|
| 1641 | ddfma375066 fma 1 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded
|
| 1642 | ddfma375067 fma 1 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded
|
| 1643 | -- far-out residues (full coefficient gap is 16+15 digits)
|
| 1644 | rounding: up
|
| 1645 | ddfma375070 fma 1 12345678 1E-8 -> 12345678.00000001
|
| 1646 | ddfma375071 fma 1 12345678 1E-9 -> 12345678.00000001 Inexact Rounded
|
| 1647 | ddfma375072 fma 1 12345678 1E-10 -> 12345678.00000001 Inexact Rounded
|
| 1648 | ddfma375073 fma 1 12345678 1E-11 -> 12345678.00000001 Inexact Rounded
|
| 1649 | ddfma375074 fma 1 12345678 1E-12 -> 12345678.00000001 Inexact Rounded
|
| 1650 | ddfma375075 fma 1 12345678 1E-13 -> 12345678.00000001 Inexact Rounded
|
| 1651 | ddfma375076 fma 1 12345678 1E-14 -> 12345678.00000001 Inexact Rounded
|
| 1652 | ddfma375077 fma 1 12345678 1E-15 -> 12345678.00000001 Inexact Rounded
|
| 1653 | ddfma375078 fma 1 12345678 1E-16 -> 12345678.00000001 Inexact Rounded
|
| 1654 | ddfma375079 fma 1 12345678 1E-17 -> 12345678.00000001 Inexact Rounded
|
| 1655 | ddfma375080 fma 1 12345678 1E-18 -> 12345678.00000001 Inexact Rounded
|
| 1656 | ddfma375081 fma 1 12345678 1E-19 -> 12345678.00000001 Inexact Rounded
|
| 1657 | ddfma375082 fma 1 12345678 1E-20 -> 12345678.00000001 Inexact Rounded
|
| 1658 | ddfma375083 fma 1 12345678 1E-25 -> 12345678.00000001 Inexact Rounded
|
| 1659 | ddfma375084 fma 1 12345678 1E-30 -> 12345678.00000001 Inexact Rounded
|
| 1660 | ddfma375085 fma 1 12345678 1E-31 -> 12345678.00000001 Inexact Rounded
|
| 1661 | ddfma375086 fma 1 12345678 1E-32 -> 12345678.00000001 Inexact Rounded
|
| 1662 | ddfma375087 fma 1 12345678 1E-33 -> 12345678.00000001 Inexact Rounded
|
| 1663 | ddfma375088 fma 1 12345678 1E-34 -> 12345678.00000001 Inexact Rounded
|
| 1664 | ddfma375089 fma 1 12345678 1E-35 -> 12345678.00000001 Inexact Rounded
|
| 1665 |
|
| Guido van Rossum | 0d3fb8a | 2007-11-26 23:23:18 +0000 | [diff] [blame] | 1666 | -- desctructive subtraction (from remainder tests)
|
| 1667 |
|
| 1668 | -- +++ some of these will be off-by-one remainder vs remainderNear
|
| 1669 |
|
| 1670 | ddfma4000 fma -1234567890123454 1.000000000000001 1234567890123456 -> 0.765432109876546
|
| 1671 | ddfma4001 fma -1234567890123443 1.00000000000001 1234567890123456 -> 0.65432109876557
|
| 1672 | ddfma4002 fma -1234567890123332 1.0000000000001 1234567890123456 -> 0.5432109876668
|
| 1673 | ddfma4003 fma -308641972530863 4.000000000000001 1234567890123455 -> 2.691358027469137
|
| 1674 | ddfma4004 fma -308641972530863 4.000000000000001 1234567890123456 -> 3.691358027469137
|
| 1675 | ddfma4005 fma -246913578024696 4.9999999999999 1234567890123456 -> 0.6913578024696
|
| 1676 | ddfma4006 fma -246913578024691 4.99999999999999 1234567890123456 -> 3.46913578024691
|
| 1677 | ddfma4007 fma -246913578024691 4.999999999999999 1234567890123456 -> 1.246913578024691
|
| 1678 | ddfma4008 fma -246913578024691 5.000000000000001 1234567890123456 -> 0.753086421975309
|
| 1679 | ddfma4009 fma -246913578024690 5.00000000000001 1234567890123456 -> 3.53086421975310
|
| 1680 | ddfma4010 fma -246913578024686 5.0000000000001 1234567890123456 -> 1.3086421975314
|
| 1681 | ddfma4011 fma -1234567890123455 1.000000000000001 1234567890123456 -> -0.234567890123455
|
| 1682 | ddfma4012 fma -1234567890123444 1.00000000000001 1234567890123456 -> -0.34567890123444
|
| 1683 | ddfma4013 fma -1234567890123333 1.0000000000001 1234567890123456 -> -0.4567890123333
|
| 1684 | ddfma4014 fma -308641972530864 4.000000000000001 1234567890123455 -> -1.308641972530864
|
| 1685 | ddfma4015 fma -308641972530864 4.000000000000001 1234567890123456 -> -0.308641972530864
|
| 1686 | ddfma4016 fma -246913578024696 4.9999999999999 1234567890123456 -> 0.6913578024696
|
| 1687 | ddfma4017 fma -246913578024692 4.99999999999999 1234567890123456 -> -1.53086421975308
|
| 1688 | ddfma4018 fma -246913578024691 4.999999999999999 1234567890123456 -> 1.246913578024691
|
| 1689 | ddfma4019 fma -246913578024691 5.000000000000001 1234567890123456 -> 0.753086421975309
|
| 1690 | ddfma4020 fma -246913578024691 5.00000000000001 1234567890123456 -> -1.46913578024691
|
| 1691 | ddfma4021 fma -246913578024686 5.0000000000001 1234567890123456 -> 1.3086421975314
|
| 1692 |
|
| 1693 |
|
| Thomas Wouters | 1b7f891 | 2007-09-19 03:06:30 +0000 | [diff] [blame] | 1694 | -- Null tests
|
| 1695 | ddfma39990 fma 1 10 # -> NaN Invalid_operation
|
| 1696 | ddfma39991 fma 1 # 10 -> NaN Invalid_operation
|
| 1697 |
|
| 1698 |
|