------------------------------------------------------------------------
-- ddFMA.decTest -- decDouble Fused Multiply Add                      --
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.59

precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- These tests comprese three parts:
--   1. Sanity checks and other three-operand tests (especially those
--      where the fused operation makes a difference)
--   2. Multiply tests (third operand is neutral zero [0E+emax])
--   3. Addition tests (first operand is 1)
-- The multiply and addition tests are extensive because FMA may have
-- its own dedicated multiplication or addition routine(s), and they
-- also inherently check the left-to-right properties.

-- Sanity checks
ddfma0001 fma  1   1   1 ->   2
ddfma0002 fma  1   1   2 ->   3
ddfma0003 fma  2   2   3 ->   7
ddfma0004 fma  9   9   9 ->  90
ddfma0005 fma -1   1   1 ->   0
ddfma0006 fma -1   1   2 ->   1
ddfma0007 fma -2   2   3 ->  -1
ddfma0008 fma -9   9   9 -> -72
ddfma0011 fma  1  -1   1 ->   0
ddfma0012 fma  1  -1   2 ->   1
ddfma0013 fma  2  -2   3 ->  -1
ddfma0014 fma  9  -9   9 -> -72
ddfma0015 fma  1   1  -1 ->   0
ddfma0016 fma  1   1  -2 ->  -1
ddfma0017 fma  2   2  -3 ->   1
ddfma0018 fma  9   9  -9 ->  72

-- non-integer exacts
ddfma0100  fma    25.2   63.6   -438  ->  1164.72
ddfma0101  fma   0.301  0.380    334  ->  334.114380
ddfma0102  fma    49.2   -4.8   23.3  ->  -212.86
ddfma0103  fma    4.22  0.079  -94.6  ->  -94.26662
ddfma0104  fma     903  0.797  0.887  ->  720.578
ddfma0105  fma    6.13   -161   65.9  ->  -921.03
ddfma0106  fma    28.2    727   5.45  ->  20506.85
ddfma0107  fma       4    605    688  ->  3108
ddfma0108  fma    93.3   0.19  0.226  ->  17.953
ddfma0109  fma   0.169   -341   5.61  ->  -52.019
ddfma0110  fma   -72.2     30  -51.2  ->  -2217.2
ddfma0111  fma  -0.409     13   20.4  ->  15.083
ddfma0112  fma     317   77.0   19.0  ->  24428.0
ddfma0113  fma      47   6.58   1.62  ->  310.88
ddfma0114  fma    1.36  0.984  0.493  ->  1.83124
ddfma0115  fma    72.7    274   1.56  ->  19921.36
ddfma0116  fma     335    847     83  ->  283828
ddfma0117  fma     666  0.247   25.4  ->  189.902
ddfma0118  fma   -3.87   3.06   78.0  ->  66.1578
ddfma0119  fma   0.742    192   35.6  ->  178.064
ddfma0120  fma   -91.6   5.29  0.153  ->  -484.411

-- cases where result is different from separate multiply + add; each
-- is preceded by the result of unfused multiply and add
-- [this is about 20% of all similar  cases in general]
--                                                                      ->  7.123356429257969E+16
ddfma0201  fma       27583489.6645      2582471078.04      2593183.42371  ->  7.123356429257970E+16  Inexact Rounded
--                                                                      ->  22813275328.80506
ddfma0208  fma        24280.355566      939577.397653        2032.013252  ->  22813275328.80507      Inexact Rounded
--                                                                      ->  -2.030397734278062E+16
ddfma0209  fma          7848976432      -2586831.2281      137903.517909  ->  -2.030397734278061E+16 Inexact Rounded
--                                                                      ->  2040774094814.077
ddfma0217  fma        56890.388731      35872030.4255      339337.123410  ->  2040774094814.078      Inexact Rounded
--                                                                      ->  2.714469575205049E+18
ddfma0220  fma       7533543.57445       360317763928      5073392.31638  ->  2.714469575205050E+18  Inexact Rounded
--                                                                      ->  1.011676297716716E+19
ddfma0223  fma       739945255.563      13672312784.1      -994381.53572  ->  1.011676297716715E+19  Inexact Rounded
--                                                                      ->  -2.914135721455315E+23
ddfma0224  fma       -413510957218       704729988550       9234162614.0  ->  -2.914135721455314E+23 Inexact Rounded
--                                                                      ->  2.620119863365786E+17
ddfma0226  fma        437484.00601       598906432790      894450638.442  ->  2.620119863365787E+17  Inexact Rounded
--                                                                      ->  1.272647995808178E+19
ddfma0253  fma         73287556929      173651305.784     -358312568.389  ->  1.272647995808177E+19  Inexact Rounded
--                                                                      ->  -1.753769320861851E+18
ddfma0257  fma        203258304486      -8628278.8066      153127.446727  ->  -1.753769320861850E+18 Inexact Rounded
--                                                                      ->  -1.550737835263346E+17
ddfma0260  fma       42560533.1774     -3643605282.86       178277.96377  ->  -1.550737835263347E+17 Inexact Rounded
--                                                                      ->  2.897624620576005E+22
ddfma0269  fma        142656587375       203118879670       604576103991  ->  2.897624620576004E+22  Inexact Rounded

-- Cases where multiply would overflow or underflow if separate
fma0300  fma   9e+384    10   0         -> Infinity  Overflow Inexact Rounded
fma0301  fma   1e+384    10   0         -> Infinity  Overflow Inexact Rounded
fma0302  fma   1e+384    10   -1e+384   -> 9.000000000000000E+384  Clamped
fma0303  fma   1e+384    10   -9e+384   -> 1.000000000000000E+384  Clamped
-- subnormal etc.
fma0305  fma   1e-398    0.1  0         -> 0E-398 Underflow Subnormal Inexact Rounded Clamped
fma0306  fma   1e-398    0.1  1         -> 1.000000000000000 Inexact Rounded
fma0307  fma   1e-398    0.1  1e-398    -> 1E-398 Underflow Subnormal Inexact Rounded

-- Infinite combinations
ddfma0800 fma  Inf   Inf   Inf    ->  Infinity
ddfma0801 fma  Inf   Inf  -Inf    ->  NaN Invalid_operation
ddfma0802 fma  Inf  -Inf   Inf    ->  NaN Invalid_operation
ddfma0803 fma  Inf  -Inf  -Inf    -> -Infinity
ddfma0804 fma -Inf   Inf   Inf    ->  NaN Invalid_operation
ddfma0805 fma -Inf   Inf  -Inf    -> -Infinity
ddfma0806 fma -Inf  -Inf   Inf    ->  Infinity
ddfma0807 fma -Inf  -Inf  -Inf    ->  NaN Invalid_operation

-- Triple NaN propagation
ddfma0900 fma  NaN2  NaN3  NaN5   ->  NaN2
ddfma0901 fma  0     NaN3  NaN5   ->  NaN3
ddfma0902 fma  0     0     NaN5   ->  NaN5
-- first sNaN wins (consider qNaN from earlier sNaN being
-- overridden by an sNaN in third operand)
ddfma0903 fma  sNaN1 sNaN2 sNaN3  ->  NaN1 Invalid_operation
ddfma0904 fma  0     sNaN2 sNaN3  ->  NaN2 Invalid_operation
ddfma0905 fma  0     0     sNaN3  ->  NaN3 Invalid_operation
ddfma0906 fma  sNaN1 sNaN2 sNaN3  ->  NaN1 Invalid_operation
ddfma0907 fma  NaN7  sNaN2 sNaN3  ->  NaN2 Invalid_operation
ddfma0908 fma  NaN7  NaN5  sNaN3  ->  NaN3 Invalid_operation

-- MULTIPLICATION TESTS ------------------------------------------------

-- sanity checks
ddfma2000 fma  2      2   0e+384  ->  4
ddfma2001 fma  2      3   0e+384  ->  6
ddfma2002 fma  5      1   0e+384  ->  5
ddfma2003 fma  5      2   0e+384  ->  10
ddfma2004 fma  1.20   2   0e+384  ->  2.40
ddfma2005 fma  1.20   0   0e+384  ->  0.00
ddfma2006 fma  1.20  -2   0e+384  ->  -2.40
ddfma2007 fma  -1.20  2   0e+384  ->  -2.40
ddfma2008 fma  -1.20  0   0e+384  ->  0.00
ddfma2009 fma  -1.20 -2   0e+384  ->  2.40
ddfma2010 fma  5.09 7.1   0e+384  ->  36.139
ddfma2011 fma  2.5    4   0e+384  ->  10.0
ddfma2012 fma  2.50   4   0e+384  ->  10.00
ddfma2013 fma  1.23456789 1.00000000   0e+384  ->  1.234567890000000 Rounded
ddfma2015 fma  2.50   4   0e+384  ->  10.00
ddfma2016 fma   9.999999999  9.999999999   0e+384  ->   99.99999998000000 Inexact Rounded
ddfma2017 fma   9.999999999 -9.999999999   0e+384  ->  -99.99999998000000 Inexact Rounded
ddfma2018 fma  -9.999999999  9.999999999   0e+384  ->  -99.99999998000000 Inexact Rounded
ddfma2019 fma  -9.999999999 -9.999999999   0e+384  ->   99.99999998000000 Inexact Rounded

-- zeros, etc.
ddfma2021 fma   0      0       0e+384  ->   0
ddfma2022 fma   0     -0       0e+384  ->   0
ddfma2023 fma  -0      0       0e+384  ->   0
ddfma2024 fma  -0     -0       0e+384  ->   0
ddfma2025 fma  -0.0   -0.0     0e+384  ->   0.00
ddfma2026 fma  -0.0   -0.0     0e+384  ->   0.00
ddfma2027 fma  -0.0   -0.0     0e+384  ->   0.00
ddfma2028 fma  -0.0   -0.0     0e+384  ->   0.00
ddfma2030 fma   5.00   1E-3    0e+384  ->   0.00500
ddfma2031 fma   00.00  0.000   0e+384  ->   0.00000
ddfma2032 fma   00.00  0E-3    0e+384  ->   0.00000     -- rhs is 0
ddfma2033 fma   0E-3   00.00   0e+384  ->   0.00000     -- lhs is 0
ddfma2034 fma  -5.00   1E-3    0e+384  ->  -0.00500
ddfma2035 fma  -00.00  0.000   0e+384  ->   0.00000
ddfma2036 fma  -00.00  0E-3    0e+384  ->   0.00000     -- rhs is 0
ddfma2037 fma  -0E-3   00.00   0e+384  ->   0.00000     -- lhs is 0
ddfma2038 fma   5.00  -1E-3    0e+384  ->  -0.00500
ddfma2039 fma   00.00 -0.000   0e+384  ->   0.00000
ddfma2040 fma   00.00 -0E-3    0e+384  ->   0.00000     -- rhs is 0
ddfma2041 fma   0E-3  -00.00   0e+384  ->   0.00000     -- lhs is 0
ddfma2042 fma  -5.00  -1E-3    0e+384  ->   0.00500
ddfma2043 fma  -00.00 -0.000   0e+384  ->   0.00000
ddfma2044 fma  -00.00 -0E-3    0e+384  ->   0.00000     -- rhs is 0
ddfma2045 fma  -0E-3  -00.00  -0e+384  ->   0.00000     -- lhs is 0
ddfma2046 fma  -0E-3   00.00  -0e+384  ->  -0.00000
ddfma2047 fma   0E-3  -00.00  -0e+384  ->  -0.00000
ddfma2048 fma   0E-3   00.00  -0e+384  ->   0.00000

-- examples from decarith
ddfma2050 fma  1.20 3          0e+384  ->  3.60
ddfma2051 fma  7    3          0e+384  ->  21
ddfma2052 fma  0.9  0.8        0e+384  ->  0.72
ddfma2053 fma  0.9  -0         0e+384  ->  0.0
ddfma2054 fma  654321 654321   0e+384  ->  428135971041

ddfma2060 fma  123.45 1e7    0e+384  ->   1.2345E+9
ddfma2061 fma  123.45 1e8    0e+384  ->   1.2345E+10
ddfma2062 fma  123.45 1e+9   0e+384  ->   1.2345E+11
ddfma2063 fma  123.45 1e10   0e+384  ->   1.2345E+12
ddfma2064 fma  123.45 1e11   0e+384  ->   1.2345E+13
ddfma2065 fma  123.45 1e12   0e+384  ->   1.2345E+14
ddfma2066 fma  123.45 1e13   0e+384  ->   1.2345E+15


-- test some intermediate lengths
--                    1234567890123456
ddfma2080 fma  0.1 1230123456456789       0e+384  ->  123012345645678.9
ddfma2084 fma  0.1 1230123456456789       0e+384  ->  123012345645678.9
ddfma2090 fma  1230123456456789     0.1   0e+384  ->  123012345645678.9
ddfma2094 fma  1230123456456789     0.1   0e+384  ->  123012345645678.9

-- test some more edge cases and carries
ddfma2101 fma  9 9     0e+384  ->  81
ddfma2102 fma  9 90     0e+384  ->  810
ddfma2103 fma  9 900     0e+384  ->  8100
ddfma2104 fma  9 9000     0e+384  ->  81000
ddfma2105 fma  9 90000     0e+384  ->  810000
ddfma2106 fma  9 900000     0e+384  ->  8100000
ddfma2107 fma  9 9000000     0e+384  ->  81000000
ddfma2108 fma  9 90000000     0e+384  ->  810000000
ddfma2109 fma  9 900000000     0e+384  ->  8100000000
ddfma2110 fma  9 9000000000     0e+384  ->  81000000000
ddfma2111 fma  9 90000000000     0e+384  ->  810000000000
ddfma2112 fma  9 900000000000     0e+384  ->  8100000000000
ddfma2113 fma  9 9000000000000     0e+384  ->  81000000000000
ddfma2114 fma  9 90000000000000     0e+384  ->  810000000000000
ddfma2115 fma  9 900000000000000     0e+384  ->  8100000000000000
--ddfma2116 fma  9 9000000000000000     0e+384  ->  81000000000000000
--ddfma2117 fma  9 90000000000000000     0e+384  ->  810000000000000000
--ddfma2118 fma  9 900000000000000000     0e+384  ->  8100000000000000000
--ddfma2119 fma  9 9000000000000000000     0e+384  ->  81000000000000000000
--ddfma2120 fma  9 90000000000000000000     0e+384  ->  810000000000000000000
--ddfma2121 fma  9 900000000000000000000     0e+384  ->  8100000000000000000000
--ddfma2122 fma  9 9000000000000000000000     0e+384  ->  81000000000000000000000
--ddfma2123 fma  9 90000000000000000000000     0e+384  ->  810000000000000000000000
-- test some more edge cases without carries
ddfma2131 fma  3 3     0e+384  ->  9
ddfma2132 fma  3 30     0e+384  ->  90
ddfma2133 fma  3 300     0e+384  ->  900
ddfma2134 fma  3 3000     0e+384  ->  9000
ddfma2135 fma  3 30000     0e+384  ->  90000
ddfma2136 fma  3 300000     0e+384  ->  900000
ddfma2137 fma  3 3000000     0e+384  ->  9000000
ddfma2138 fma  3 30000000     0e+384  ->  90000000
ddfma2139 fma  3 300000000     0e+384  ->  900000000
ddfma2140 fma  3 3000000000     0e+384  ->  9000000000
ddfma2141 fma  3 30000000000     0e+384  ->  90000000000
ddfma2142 fma  3 300000000000     0e+384  ->  900000000000
ddfma2143 fma  3 3000000000000     0e+384  ->  9000000000000
ddfma2144 fma  3 30000000000000     0e+384  ->  90000000000000
ddfma2145 fma  3 300000000000000     0e+384  ->  900000000000000

-- test some edge cases with exact rounding
ddfma2301 fma  9 9     0e+384  ->  81
ddfma2302 fma  9 90     0e+384  ->  810
ddfma2303 fma  9 900     0e+384  ->  8100
ddfma2304 fma  9 9000     0e+384  ->  81000
ddfma2305 fma  9 90000     0e+384  ->  810000
ddfma2306 fma  9 900000     0e+384  ->  8100000
ddfma2307 fma  9 9000000     0e+384  ->  81000000
ddfma2308 fma  9 90000000     0e+384  ->  810000000
ddfma2309 fma  9 900000000     0e+384  ->  8100000000
ddfma2310 fma  9 9000000000     0e+384  ->  81000000000
ddfma2311 fma  9 90000000000     0e+384  ->  810000000000
ddfma2312 fma  9 900000000000     0e+384  ->  8100000000000
ddfma2313 fma  9 9000000000000     0e+384  ->  81000000000000
ddfma2314 fma  9 90000000000000     0e+384  ->  810000000000000
ddfma2315 fma  9 900000000000000     0e+384  ->  8100000000000000
ddfma2316 fma  9 9000000000000000     0e+384  ->  8.100000000000000E+16  Rounded
ddfma2317 fma  90 9000000000000000     0e+384  ->  8.100000000000000E+17  Rounded
ddfma2318 fma  900 9000000000000000     0e+384  ->  8.100000000000000E+18  Rounded
ddfma2319 fma  9000 9000000000000000     0e+384  ->  8.100000000000000E+19  Rounded
ddfma2320 fma  90000 9000000000000000     0e+384  ->  8.100000000000000E+20  Rounded
ddfma2321 fma  900000 9000000000000000     0e+384  ->  8.100000000000000E+21  Rounded
ddfma2322 fma  9000000 9000000000000000     0e+384  ->  8.100000000000000E+22  Rounded
ddfma2323 fma  90000000 9000000000000000     0e+384  ->  8.100000000000000E+23  Rounded

-- tryzeros cases
ddfma2504  fma   0E-260 1000E-260    0e+384  ->  0E-398 Clamped
ddfma2505  fma   100E+260 0E+260     0e+384  ->  0E+369 Clamped

-- mixed with zeros
ddfma2541 fma   0    -1       0e+384  ->   0
ddfma2542 fma  -0    -1       0e+384  ->   0
ddfma2543 fma   0     1       0e+384  ->   0
ddfma2544 fma  -0     1       0e+384  ->   0
ddfma2545 fma  -1     0       0e+384  ->   0
ddfma2546 fma  -1    -0       0e+384  ->   0
ddfma2547 fma   1     0       0e+384  ->   0
ddfma2548 fma   1    -0       0e+384  ->   0

ddfma2551 fma   0.0  -1       0e+384  ->   0.0
ddfma2552 fma  -0.0  -1       0e+384  ->   0.0
ddfma2553 fma   0.0   1       0e+384  ->   0.0
ddfma2554 fma  -0.0   1       0e+384  ->   0.0
ddfma2555 fma  -1.0   0       0e+384  ->   0.0
ddfma2556 fma  -1.0  -0       0e+384  ->   0.0
ddfma2557 fma   1.0   0       0e+384  ->   0.0
ddfma2558 fma   1.0  -0       0e+384  ->   0.0

ddfma2561 fma   0    -1.0     0e+384  ->   0.0
ddfma2562 fma  -0    -1.0     0e+384  ->   0.0
ddfma2563 fma   0     1.0     0e+384  ->   0.0
ddfma2564 fma  -0     1.0     0e+384  ->   0.0
ddfma2565 fma  -1     0.0     0e+384  ->   0.0
ddfma2566 fma  -1    -0.0     0e+384  ->   0.0
ddfma2567 fma   1     0.0     0e+384  ->   0.0
ddfma2568 fma   1    -0.0     0e+384  ->   0.0

ddfma2571 fma   0.0  -1.0     0e+384  ->   0.00
ddfma2572 fma  -0.0  -1.0     0e+384  ->   0.00
ddfma2573 fma   0.0   1.0     0e+384  ->   0.00
ddfma2574 fma  -0.0   1.0     0e+384  ->   0.00
ddfma2575 fma  -1.0   0.0     0e+384  ->   0.00
ddfma2576 fma  -1.0  -0.0     0e+384  ->   0.00
ddfma2577 fma   1.0   0.0     0e+384  ->   0.00
ddfma2578 fma   1.0  -0.0     0e+384  ->   0.00

-- Specials
ddfma2580 fma   Inf  -Inf     0e+384  ->  -Infinity
ddfma2581 fma   Inf  -1000    0e+384  ->  -Infinity
ddfma2582 fma   Inf  -1       0e+384  ->  -Infinity
ddfma2583 fma   Inf  -0       0e+384  ->   NaN  Invalid_operation
ddfma2584 fma   Inf   0       0e+384  ->   NaN  Invalid_operation
ddfma2585 fma   Inf   1       0e+384  ->   Infinity
ddfma2586 fma   Inf   1000    0e+384  ->   Infinity
ddfma2587 fma   Inf   Inf     0e+384  ->   Infinity
ddfma2588 fma  -1000  Inf     0e+384  ->  -Infinity
ddfma2589 fma  -Inf   Inf     0e+384  ->  -Infinity
ddfma2590 fma  -1     Inf     0e+384  ->  -Infinity
ddfma2591 fma  -0     Inf     0e+384  ->   NaN  Invalid_operation
ddfma2592 fma   0     Inf     0e+384  ->   NaN  Invalid_operation
ddfma2593 fma   1     Inf     0e+384  ->   Infinity
ddfma2594 fma   1000  Inf     0e+384  ->   Infinity
ddfma2595 fma   Inf   Inf     0e+384  ->   Infinity

ddfma2600 fma  -Inf  -Inf     0e+384  ->   Infinity
ddfma2601 fma  -Inf  -1000    0e+384  ->   Infinity
ddfma2602 fma  -Inf  -1       0e+384  ->   Infinity
ddfma2603 fma  -Inf  -0       0e+384  ->   NaN  Invalid_operation
ddfma2604 fma  -Inf   0       0e+384  ->   NaN  Invalid_operation
ddfma2605 fma  -Inf   1       0e+384  ->  -Infinity
ddfma2606 fma  -Inf   1000    0e+384  ->  -Infinity
ddfma2607 fma  -Inf   Inf     0e+384  ->  -Infinity
ddfma2608 fma  -1000  Inf     0e+384  ->  -Infinity
ddfma2609 fma  -Inf  -Inf     0e+384  ->   Infinity
ddfma2610 fma  -1    -Inf     0e+384  ->   Infinity
ddfma2611 fma  -0    -Inf     0e+384  ->   NaN  Invalid_operation
ddfma2612 fma   0    -Inf     0e+384  ->   NaN  Invalid_operation
ddfma2613 fma   1    -Inf     0e+384  ->  -Infinity
ddfma2614 fma   1000 -Inf     0e+384  ->  -Infinity
ddfma2615 fma   Inf  -Inf     0e+384  ->  -Infinity

ddfma2621 fma   NaN -Inf      0e+384  ->   NaN
ddfma2622 fma   NaN -1000     0e+384  ->   NaN
ddfma2623 fma   NaN -1        0e+384  ->   NaN
ddfma2624 fma   NaN -0        0e+384  ->   NaN
ddfma2625 fma   NaN  0        0e+384  ->   NaN
ddfma2626 fma   NaN  1        0e+384  ->   NaN
ddfma2627 fma   NaN  1000     0e+384  ->   NaN
ddfma2628 fma   NaN  Inf      0e+384  ->   NaN
ddfma2629 fma   NaN  NaN      0e+384  ->   NaN
ddfma2630 fma  -Inf  NaN      0e+384  ->   NaN
ddfma2631 fma  -1000 NaN      0e+384  ->   NaN
ddfma2632 fma  -1    NaN      0e+384  ->   NaN
ddfma2633 fma  -0    NaN      0e+384  ->   NaN
ddfma2634 fma   0    NaN      0e+384  ->   NaN
ddfma2635 fma   1    NaN      0e+384  ->   NaN
ddfma2636 fma   1000 NaN      0e+384  ->   NaN
ddfma2637 fma   Inf  NaN      0e+384  ->   NaN

ddfma2641 fma   sNaN -Inf     0e+384  ->   NaN  Invalid_operation
ddfma2642 fma   sNaN -1000    0e+384  ->   NaN  Invalid_operation
ddfma2643 fma   sNaN -1       0e+384  ->   NaN  Invalid_operation
ddfma2644 fma   sNaN -0       0e+384  ->   NaN  Invalid_operation
ddfma2645 fma   sNaN  0       0e+384  ->   NaN  Invalid_operation
ddfma2646 fma   sNaN  1       0e+384  ->   NaN  Invalid_operation
ddfma2647 fma   sNaN  1000    0e+384  ->   NaN  Invalid_operation
ddfma2648 fma   sNaN  NaN     0e+384  ->   NaN  Invalid_operation
ddfma2649 fma   sNaN sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2650 fma   NaN  sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2651 fma  -Inf  sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2652 fma  -1000 sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2653 fma  -1    sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2654 fma  -0    sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2655 fma   0    sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2656 fma   1    sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2657 fma   1000 sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2658 fma   Inf  sNaN     0e+384  ->   NaN  Invalid_operation
ddfma2659 fma   NaN  sNaN     0e+384  ->   NaN  Invalid_operation

-- propagating NaNs
ddfma2661 fma   NaN9 -Inf     0e+384  ->   NaN9
ddfma2662 fma   NaN8  999     0e+384  ->   NaN8
ddfma2663 fma   NaN71 Inf     0e+384  ->   NaN71
ddfma2664 fma   NaN6  NaN5    0e+384  ->   NaN6
ddfma2665 fma  -Inf   NaN4    0e+384  ->   NaN4
ddfma2666 fma  -999   NaN33   0e+384  ->   NaN33
ddfma2667 fma   Inf   NaN2    0e+384  ->   NaN2

ddfma2671 fma   sNaN99 -Inf      0e+384  ->   NaN99 Invalid_operation
ddfma2672 fma   sNaN98 -11       0e+384  ->   NaN98 Invalid_operation
ddfma2673 fma   sNaN97  NaN      0e+384  ->   NaN97 Invalid_operation
ddfma2674 fma   sNaN16 sNaN94    0e+384  ->   NaN16 Invalid_operation
ddfma2675 fma   NaN95  sNaN93    0e+384  ->   NaN93 Invalid_operation
ddfma2676 fma  -Inf    sNaN92    0e+384  ->   NaN92 Invalid_operation
ddfma2677 fma   088    sNaN91    0e+384  ->   NaN91 Invalid_operation
ddfma2678 fma   Inf    sNaN90    0e+384  ->   NaN90 Invalid_operation
ddfma2679 fma   NaN    sNaN89    0e+384  ->   NaN89 Invalid_operation

ddfma2681 fma  -NaN9 -Inf     0e+384  ->  -NaN9
ddfma2682 fma  -NaN8  999     0e+384  ->  -NaN8
ddfma2683 fma  -NaN71 Inf     0e+384  ->  -NaN71
ddfma2684 fma  -NaN6 -NaN5    0e+384  ->  -NaN6
ddfma2685 fma  -Inf  -NaN4    0e+384  ->  -NaN4
ddfma2686 fma  -999  -NaN33   0e+384  ->  -NaN33
ddfma2687 fma   Inf  -NaN2    0e+384  ->  -NaN2

ddfma2691 fma  -sNaN99 -Inf      0e+384  ->  -NaN99 Invalid_operation
ddfma2692 fma  -sNaN98 -11       0e+384  ->  -NaN98 Invalid_operation
ddfma2693 fma  -sNaN97  NaN      0e+384  ->  -NaN97 Invalid_operation
ddfma2694 fma  -sNaN16 -sNaN94   0e+384  ->  -NaN16 Invalid_operation
ddfma2695 fma  -NaN95  -sNaN93   0e+384  ->  -NaN93 Invalid_operation
ddfma2696 fma  -Inf    -sNaN92   0e+384  ->  -NaN92 Invalid_operation
ddfma2697 fma   088    -sNaN91   0e+384  ->  -NaN91 Invalid_operation
ddfma2698 fma   Inf    -sNaN90   0e+384  ->  -NaN90 Invalid_operation
ddfma2699 fma  -NaN    -sNaN89   0e+384  ->  -NaN89 Invalid_operation

ddfma2701 fma  -NaN  -Inf     0e+384  ->  -NaN
ddfma2702 fma  -NaN   999     0e+384  ->  -NaN
ddfma2703 fma  -NaN   Inf     0e+384  ->  -NaN
ddfma2704 fma  -NaN  -NaN     0e+384  ->  -NaN
ddfma2705 fma  -Inf  -NaN0    0e+384  ->  -NaN
ddfma2706 fma  -999  -NaN     0e+384  ->  -NaN
ddfma2707 fma   Inf  -NaN     0e+384  ->  -NaN

ddfma2711 fma  -sNaN   -Inf      0e+384  ->  -NaN Invalid_operation
ddfma2712 fma  -sNaN   -11       0e+384  ->  -NaN Invalid_operation
ddfma2713 fma  -sNaN00  NaN      0e+384  ->  -NaN Invalid_operation
ddfma2714 fma  -sNaN   -sNaN     0e+384  ->  -NaN Invalid_operation
ddfma2715 fma  -NaN    -sNaN     0e+384  ->  -NaN Invalid_operation
ddfma2716 fma  -Inf    -sNaN     0e+384  ->  -NaN Invalid_operation
ddfma2717 fma   088    -sNaN     0e+384  ->  -NaN Invalid_operation
ddfma2718 fma   Inf    -sNaN     0e+384  ->  -NaN Invalid_operation
ddfma2719 fma  -NaN    -sNaN     0e+384  ->  -NaN Invalid_operation

-- overflow and underflow tests .. note subnormal results
-- signs
ddfma2751 fma   1e+277  1e+311   0e+384  ->   Infinity Overflow Inexact Rounded
ddfma2752 fma   1e+277 -1e+311   0e+384  ->  -Infinity Overflow Inexact Rounded
ddfma2753 fma  -1e+277  1e+311   0e+384  ->  -Infinity Overflow Inexact Rounded
ddfma2754 fma  -1e+277 -1e+311   0e+384  ->   Infinity Overflow Inexact Rounded
ddfma2755 fma   1e-277  1e-311   0e+384  ->   0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2756 fma   1e-277 -1e-311   0e+384  ->  -0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2757 fma  -1e-277  1e-311   0e+384  ->  -0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2758 fma  -1e-277 -1e-311   0e+384  ->   0E-398 Underflow Subnormal Inexact Rounded Clamped

-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
ddfma2760 fma  1e-291 1e-101   0e+384  ->  1E-392 Subnormal
ddfma2761 fma  1e-291 1e-102   0e+384  ->  1E-393 Subnormal
ddfma2762 fma  1e-291 1e-103   0e+384  ->  1E-394 Subnormal
ddfma2763 fma  1e-291 1e-104   0e+384  ->  1E-395 Subnormal
ddfma2764 fma  1e-291 1e-105   0e+384  ->  1E-396 Subnormal
ddfma2765 fma  1e-291 1e-106   0e+384  ->  1E-397 Subnormal
ddfma2766 fma  1e-291 1e-107   0e+384  ->  1E-398 Subnormal
ddfma2767 fma  1e-291 1e-108   0e+384  ->  0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2768 fma  1e-291 1e-109   0e+384  ->  0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2769 fma  1e-291 1e-110   0e+384  ->  0E-398 Underflow Subnormal Inexact Rounded Clamped
-- [no equivalent of 'subnormal' for overflow]
ddfma2770 fma  1e+60 1e+321   0e+384  ->  1.000000000000E+381  Clamped
ddfma2771 fma  1e+60 1e+322   0e+384  ->  1.0000000000000E+382  Clamped
ddfma2772 fma  1e+60 1e+323   0e+384  ->  1.00000000000000E+383  Clamped
ddfma2773 fma  1e+60 1e+324   0e+384  ->  1.000000000000000E+384  Clamped
ddfma2774 fma  1e+60 1e+325   0e+384  ->  Infinity Overflow Inexact Rounded
ddfma2775 fma  1e+60 1e+326   0e+384  ->  Infinity Overflow Inexact Rounded
ddfma2776 fma  1e+60 1e+327   0e+384  ->  Infinity Overflow Inexact Rounded
ddfma2777 fma  1e+60 1e+328   0e+384  ->  Infinity Overflow Inexact Rounded
ddfma2778 fma  1e+60 1e+329   0e+384  ->  Infinity Overflow Inexact Rounded
ddfma2779 fma  1e+60 1e+330   0e+384  ->  Infinity Overflow Inexact Rounded

ddfma2801 fma   1.0000E-394  1       0e+384  ->  1.0000E-394 Subnormal
ddfma2802 fma   1.000E-394   1e-1    0e+384  ->  1.000E-395  Subnormal
ddfma2803 fma   1.00E-394    1e-2    0e+384  ->  1.00E-396   Subnormal
ddfma2804 fma   1.0E-394     1e-3    0e+384  ->  1.0E-397    Subnormal
ddfma2805 fma   1.0E-394     1e-4    0e+384  ->  1E-398     Subnormal Rounded
ddfma2806 fma   1.3E-394     1e-4    0e+384  ->  1E-398     Underflow Subnormal Inexact Rounded
ddfma2807 fma   1.5E-394     1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2808 fma   1.7E-394     1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2809 fma   2.3E-394     1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2810 fma   2.5E-394     1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2811 fma   2.7E-394     1e-4    0e+384  ->  3E-398     Underflow Subnormal Inexact Rounded
ddfma2812 fma   1.49E-394    1e-4    0e+384  ->  1E-398     Underflow Subnormal Inexact Rounded
ddfma2813 fma   1.50E-394    1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2814 fma   1.51E-394    1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2815 fma   2.49E-394    1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2816 fma   2.50E-394    1e-4    0e+384  ->  2E-398     Underflow Subnormal Inexact Rounded
ddfma2817 fma   2.51E-394    1e-4    0e+384  ->  3E-398     Underflow Subnormal Inexact Rounded

ddfma2818 fma   1E-394       1e-4    0e+384  ->  1E-398     Subnormal
ddfma2819 fma   3E-394       1e-5    0e+384  ->  0E-398     Underflow Subnormal Inexact Rounded Clamped
ddfma2820 fma   5E-394       1e-5    0e+384  ->  0E-398     Underflow Subnormal Inexact Rounded Clamped
ddfma2821 fma   7E-394       1e-5    0e+384  ->  1E-398     Underflow Subnormal Inexact Rounded
ddfma2822 fma   9E-394       1e-5    0e+384  ->  1E-398     Underflow Subnormal Inexact Rounded
ddfma2823 fma   9.9E-394     1e-5    0e+384  ->  1E-398     Underflow Subnormal Inexact Rounded

ddfma2824 fma   1E-394      -1e-4    0e+384  ->  -1E-398    Subnormal
ddfma2825 fma   3E-394      -1e-5    0e+384  ->  -0E-398    Underflow Subnormal Inexact Rounded Clamped
ddfma2826 fma  -5E-394       1e-5    0e+384  ->  -0E-398    Underflow Subnormal Inexact Rounded Clamped
ddfma2827 fma   7E-394      -1e-5    0e+384  ->  -1E-398    Underflow Subnormal Inexact Rounded
ddfma2828 fma  -9E-394       1e-5    0e+384  ->  -1E-398    Underflow Subnormal Inexact Rounded
ddfma2829 fma   9.9E-394    -1e-5    0e+384  ->  -1E-398    Underflow Subnormal Inexact Rounded
ddfma2830 fma   3.0E-394    -1e-5    0e+384  ->  -0E-398    Underflow Subnormal Inexact Rounded Clamped

ddfma2831 fma   1.0E-199     1e-200   0e+384  ->  0E-398 Underflow Subnormal Inexact Rounded Clamped
ddfma2832 fma   1.0E-199     1e-199   0e+384  ->  1E-398    Subnormal Rounded
ddfma2833 fma   1.0E-199     1e-198   0e+384  ->  1.0E-397    Subnormal
ddfma2834 fma   2.0E-199     2e-198   0e+384  ->  4.0E-397    Subnormal
ddfma2835 fma   4.0E-199     4e-198   0e+384  ->  1.60E-396   Subnormal
ddfma2836 fma  10.0E-199    10e-198   0e+384  ->  1.000E-395  Subnormal
ddfma2837 fma  30.0E-199    30e-198   0e+384  ->  9.000E-395  Subnormal
ddfma2838 fma  40.0E-199    40e-188   0e+384  ->  1.6000E-384 Subnormal
ddfma2839 fma  40.0E-199    40e-187   0e+384  ->  1.6000E-383
ddfma2840 fma  40.0E-199    40e-186   0e+384  ->  1.6000E-382

-- Long operand overflow may be a different path
ddfma2870 fma  100  9.999E+383           0e+384  ->   Infinity Inexact Overflow Rounded
ddfma2871 fma  100 -9.999E+383       0e+384  ->  -Infinity Inexact Overflow Rounded
ddfma2872 fma       9.999E+383 100   0e+384  ->   Infinity Inexact Overflow Rounded
ddfma2873 fma      -9.999E+383 100   0e+384  ->  -Infinity Inexact Overflow Rounded

-- check for double-rounded subnormals
ddfma2881 fma   1.2347E-355 1.2347E-40    0e+384  ->   1.524E-395 Inexact Rounded Subnormal Underflow
ddfma2882 fma   1.234E-355 1.234E-40      0e+384  ->   1.523E-395 Inexact Rounded Subnormal Underflow
ddfma2883 fma   1.23E-355  1.23E-40       0e+384  ->   1.513E-395 Inexact Rounded Subnormal Underflow
ddfma2884 fma   1.2E-355   1.2E-40        0e+384  ->   1.44E-395  Subnormal
ddfma2885 fma   1.2E-355   1.2E-41        0e+384  ->   1.44E-396  Subnormal
ddfma2886 fma   1.2E-355   1.2E-42        0e+384  ->   1.4E-397   Subnormal Inexact Rounded Underflow
ddfma2887 fma   1.2E-355   1.3E-42        0e+384  ->   1.6E-397   Subnormal Inexact Rounded Underflow
ddfma2888 fma   1.3E-355   1.3E-42        0e+384  ->   1.7E-397   Subnormal Inexact Rounded Underflow
ddfma2889 fma   1.3E-355   1.3E-43        0e+384  ->     2E-398   Subnormal Inexact Rounded Underflow
ddfma2890 fma   1.3E-356   1.3E-43        0e+384  ->     0E-398   Clamped Subnormal Inexact Rounded Underflow

ddfma2891 fma   1.2345E-39   1.234E-355   0e+384  ->   1.5234E-394 Inexact Rounded Subnormal Underflow
ddfma2892 fma   1.23456E-39  1.234E-355   0e+384  ->   1.5234E-394 Inexact Rounded Subnormal Underflow
ddfma2893 fma   1.2345E-40   1.234E-355   0e+384  ->   1.523E-395  Inexact Rounded Subnormal Underflow
ddfma2894 fma   1.23456E-40  1.234E-355   0e+384  ->   1.523E-395  Inexact Rounded Subnormal Underflow
ddfma2895 fma   1.2345E-41   1.234E-355   0e+384  ->   1.52E-396   Inexact Rounded Subnormal Underflow
ddfma2896 fma   1.23456E-41  1.234E-355   0e+384  ->   1.52E-396   Inexact Rounded Subnormal Underflow

-- Now explore the case where we get a normal result with Underflow
ddfma2900 fma   0.3000000000E-191 0.3000000000E-191   0e+384  ->  9.00000000000000E-384 Subnormal Rounded
ddfma2901 fma   0.3000000001E-191 0.3000000001E-191   0e+384  ->  9.00000000600000E-384 Underflow Inexact Subnormal Rounded
ddfma2902 fma   9.999999999999999E-383  0.0999999999999           0e+384  ->  9.99999999999000E-384 Underflow Inexact Subnormal Rounded
ddfma2903 fma   9.999999999999999E-383  0.09999999999999          0e+384  ->  9.99999999999900E-384 Underflow Inexact Subnormal Rounded
ddfma2904 fma   9.999999999999999E-383  0.099999999999999         0e+384  ->  9.99999999999990E-384 Underflow Inexact Subnormal Rounded
ddfma2905 fma   9.999999999999999E-383  0.0999999999999999        0e+384  ->  9.99999999999999E-384 Underflow Inexact Subnormal Rounded
-- prove operands are exact
ddfma2906 fma   9.999999999999999E-383  1                         0e+384  ->  9.999999999999999E-383
ddfma2907 fma                        1  0.09999999999999999       0e+384  ->  0.09999999999999999
-- the next rounds to Nmin
ddfma2908 fma   9.999999999999999E-383  0.09999999999999999       0e+384  ->  1.000000000000000E-383 Underflow Inexact Subnormal Rounded

-- hugest
ddfma2909 fma   9999999999999999 9999999999999999   0e+384  ->  9.999999999999998E+31 Inexact Rounded

-- Null tests
ddfma2990 fma  10  #   0e+384  ->  NaN Invalid_operation
ddfma2991 fma   # 10   0e+384  ->  NaN Invalid_operation


-- ADDITION TESTS ------------------------------------------------------

-- [first group are 'quick confidence check']
ddfma3001 fma  1  1       1       ->  2
ddfma3002 fma  1  2       3       ->  5
ddfma3003 fma  1  '5.75'  '3.3'   ->  9.05
ddfma3004 fma  1  '5'     '-3'    ->  2
ddfma3005 fma  1  '-5'    '-3'    ->  -8
ddfma3006 fma  1  '-7'    '2.5'   ->  -4.5
ddfma3007 fma  1  '0.7'   '0.3'   ->  1.0
ddfma3008 fma  1  '1.25'  '1.25'  ->  2.50
ddfma3009 fma  1  '1.23456789'  '1.00000000' -> '2.23456789'
ddfma3010 fma  1  '1.23456789'  '1.00000011' -> '2.23456800'

--             1234567890123456      1234567890123456
ddfma3011 fma  1  '0.4444444444444446'  '0.5555555555555555' -> '1.000000000000000' Inexact Rounded
ddfma3012 fma  1  '0.4444444444444445'  '0.5555555555555555' -> '1.000000000000000' Rounded
ddfma3013 fma  1  '0.4444444444444444'  '0.5555555555555555' -> '0.9999999999999999'
ddfma3014 fma  1    '4444444444444444' '0.49'   -> '4444444444444444' Inexact Rounded
ddfma3015 fma  1    '4444444444444444' '0.499'  -> '4444444444444444' Inexact Rounded
ddfma3016 fma  1    '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded
ddfma3017 fma  1    '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded
ddfma3018 fma  1    '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded
ddfma3019 fma  1    '4444444444444444' '0.501'  -> '4444444444444445' Inexact Rounded
ddfma3020 fma  1    '4444444444444444' '0.51'   -> '4444444444444445' Inexact Rounded

ddfma3021 fma  1  0 1 -> 1
ddfma3022 fma  1  1 1 -> 2
ddfma3023 fma  1  2 1 -> 3
ddfma3024 fma  1  3 1 -> 4
ddfma3025 fma  1  4 1 -> 5
ddfma3026 fma  1  5 1 -> 6
ddfma3027 fma  1  6 1 -> 7
ddfma3028 fma  1  7 1 -> 8
ddfma3029 fma  1  8 1 -> 9
ddfma3030 fma  1  9 1 -> 10

-- some carrying effects
ddfma3031 fma  1  '0.9998'  '0.0000' -> '0.9998'
ddfma3032 fma  1  '0.9998'  '0.0001' -> '0.9999'
ddfma3033 fma  1  '0.9998'  '0.0002' -> '1.0000'
ddfma3034 fma  1  '0.9998'  '0.0003' -> '1.0001'

ddfma3035 fma  1  '70'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddfma3036 fma  1  '700'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddfma3037 fma  1  '7000'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddfma3038 fma  1  '70000'  '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
ddfma3039 fma  1  '700000'  '10000e+16' -> '1.000000000000007E+20' Rounded

-- symmetry:
ddfma3040 fma  1  '10000e+16'  '70' -> '1.000000000000000E+20' Inexact Rounded
ddfma3041 fma  1  '10000e+16'  '700' -> '1.000000000000000E+20' Inexact Rounded
ddfma3042 fma  1  '10000e+16'  '7000' -> '1.000000000000000E+20' Inexact Rounded
ddfma3044 fma  1  '10000e+16'  '70000' -> '1.000000000000001E+20' Inexact Rounded
ddfma3045 fma  1  '10000e+16'  '700000' -> '1.000000000000007E+20' Rounded

-- same, without rounding
ddfma3046 fma  1  '10000e+9'  '7' -> '10000000000007'
ddfma3047 fma  1  '10000e+9'  '70' -> '10000000000070'
ddfma3048 fma  1  '10000e+9'  '700' -> '10000000000700'
ddfma3049 fma  1  '10000e+9'  '7000' -> '10000000007000'
ddfma3050 fma  1  '10000e+9'  '70000' -> '10000000070000'
ddfma3051 fma  1  '10000e+9'  '700000' -> '10000000700000'
ddfma3052 fma  1  '10000e+9'  '7000000' -> '10000007000000'

-- examples from decarith
ddfma3053 fma  1  '12' '7.00' -> '19.00'
ddfma3054 fma  1  '1.3' '-1.07' -> '0.23'
ddfma3055 fma  1  '1.3' '-1.30' -> '0.00'
ddfma3056 fma  1  '1.3' '-2.07' -> '-0.77'
ddfma3057 fma  1  '1E+2' '1E+4' -> '1.01E+4'

-- leading zero preservation
ddfma3061 fma  1  1 '0.0001' -> '1.0001'
ddfma3062 fma  1  1 '0.00001' -> '1.00001'
ddfma3063 fma  1  1 '0.000001' -> '1.000001'
ddfma3064 fma  1  1 '0.0000001' -> '1.0000001'
ddfma3065 fma  1  1 '0.00000001' -> '1.00000001'

-- some funny zeros [in case of bad signum]
ddfma3070 fma  1  1  0    -> 1
ddfma3071 fma  1  1 0.    -> 1
ddfma3072 fma  1  1  .0   -> 1.0
ddfma3073 fma  1  1 0.0   -> 1.0
ddfma3074 fma  1  1 0.00  -> 1.00
ddfma3075 fma  1   0  1   -> 1
ddfma3076 fma  1  0.  1   -> 1
ddfma3077 fma  1   .0 1   -> 1.0
ddfma3078 fma  1  0.0 1   -> 1.0
ddfma3079 fma  1  0.00 1  -> 1.00

-- some carries
ddfma3080 fma  1  999999998 1  -> 999999999
ddfma3081 fma  1  999999999 1  -> 1000000000
ddfma3082 fma  1   99999999 1  -> 100000000
ddfma3083 fma  1    9999999 1  -> 10000000
ddfma3084 fma  1     999999 1  -> 1000000
ddfma3085 fma  1      99999 1  -> 100000
ddfma3086 fma  1       9999 1  -> 10000
ddfma3087 fma  1        999 1  -> 1000
ddfma3088 fma  1         99 1  -> 100
ddfma3089 fma  1          9 1  -> 10


-- more LHS swaps
ddfma3090 fma  1  '-56267E-10'   0 ->  '-0.0000056267'
ddfma3091 fma  1  '-56267E-6'    0 ->  '-0.056267'
ddfma3092 fma  1  '-56267E-5'    0 ->  '-0.56267'
ddfma3093 fma  1  '-56267E-4'    0 ->  '-5.6267'
ddfma3094 fma  1  '-56267E-3'    0 ->  '-56.267'
ddfma3095 fma  1  '-56267E-2'    0 ->  '-562.67'
ddfma3096 fma  1  '-56267E-1'    0 ->  '-5626.7'
ddfma3097 fma  1  '-56267E-0'    0 ->  '-56267'
ddfma3098 fma  1  '-5E-10'       0 ->  '-5E-10'
ddfma3099 fma  1  '-5E-7'        0 ->  '-5E-7'
ddfma3100 fma  1  '-5E-6'        0 ->  '-0.000005'
ddfma3101 fma  1  '-5E-5'        0 ->  '-0.00005'
ddfma3102 fma  1  '-5E-4'        0 ->  '-0.0005'
ddfma3103 fma  1  '-5E-1'        0 ->  '-0.5'
ddfma3104 fma  1  '-5E0'         0 ->  '-5'
ddfma3105 fma  1  '-5E1'         0 ->  '-50'
ddfma3106 fma  1  '-5E5'         0 ->  '-500000'
ddfma3107 fma  1  '-5E15'        0 ->  '-5000000000000000'
ddfma3108 fma  1  '-5E16'        0 ->  '-5.000000000000000E+16'  Rounded
ddfma3109 fma  1  '-5E17'        0 ->  '-5.000000000000000E+17'  Rounded
ddfma3110 fma  1  '-5E18'        0 ->  '-5.000000000000000E+18'  Rounded
ddfma3111 fma  1  '-5E100'       0 ->  '-5.000000000000000E+100' Rounded

-- more RHS swaps
ddfma3113 fma  1  0  '-56267E-10' ->  '-0.0000056267'
ddfma3114 fma  1  0  '-56267E-6'  ->  '-0.056267'
ddfma3116 fma  1  0  '-56267E-5'  ->  '-0.56267'
ddfma3117 fma  1  0  '-56267E-4'  ->  '-5.6267'
ddfma3119 fma  1  0  '-56267E-3'  ->  '-56.267'
ddfma3120 fma  1  0  '-56267E-2'  ->  '-562.67'
ddfma3121 fma  1  0  '-56267E-1'  ->  '-5626.7'
ddfma3122 fma  1  0  '-56267E-0'  ->  '-56267'
ddfma3123 fma  1  0  '-5E-10'     ->  '-5E-10'
ddfma3124 fma  1  0  '-5E-7'      ->  '-5E-7'
ddfma3125 fma  1  0  '-5E-6'      ->  '-0.000005'
ddfma3126 fma  1  0  '-5E-5'      ->  '-0.00005'
ddfma3127 fma  1  0  '-5E-4'      ->  '-0.0005'
ddfma3128 fma  1  0  '-5E-1'      ->  '-0.5'
ddfma3129 fma  1  0  '-5E0'       ->  '-5'
ddfma3130 fma  1  0  '-5E1'       ->  '-50'
ddfma3131 fma  1  0  '-5E5'       ->  '-500000'
ddfma3132 fma  1  0  '-5E15'      ->  '-5000000000000000'
ddfma3133 fma  1  0  '-5E16'      ->  '-5.000000000000000E+16'   Rounded
ddfma3134 fma  1  0  '-5E17'      ->  '-5.000000000000000E+17'   Rounded
ddfma3135 fma  1  0  '-5E18'      ->  '-5.000000000000000E+18'   Rounded
ddfma3136 fma  1  0  '-5E100'     ->  '-5.000000000000000E+100'  Rounded

-- related
ddfma3137 fma  1   1  '0E-19'      ->  '1.000000000000000'  Rounded
ddfma3138 fma  1  -1  '0E-19'      ->  '-1.000000000000000' Rounded
ddfma3139 fma  1  '0E-19' 1        ->  '1.000000000000000'  Rounded
ddfma3140 fma  1  '0E-19' -1       ->  '-1.000000000000000' Rounded
ddfma3141 fma  1  1E+11   0.0000   ->  '100000000000.0000'
ddfma3142 fma  1  1E+11   0.00000  ->  '100000000000.0000'  Rounded
ddfma3143 fma  1  0.000   1E+12    ->  '1000000000000.000'
ddfma3144 fma  1  0.0000  1E+12    ->  '1000000000000.000'  Rounded

-- [some of the next group are really constructor tests]
ddfma3146 fma  1  '00.0'  0       ->  '0.0'
ddfma3147 fma  1  '0.00'  0       ->  '0.00'
ddfma3148 fma  1   0      '0.00'  ->  '0.00'
ddfma3149 fma  1   0      '00.0'  ->  '0.0'
ddfma3150 fma  1  '00.0'  '0.00'  ->  '0.00'
ddfma3151 fma  1  '0.00'  '00.0'  ->  '0.00'
ddfma3152 fma  1  '3'     '.3'    ->  '3.3'
ddfma3153 fma  1  '3.'    '.3'    ->  '3.3'
ddfma3154 fma  1  '3.0'   '.3'    ->  '3.3'
ddfma3155 fma  1  '3.00'  '.3'    ->  '3.30'
ddfma3156 fma  1  '3'     '3'     ->  '6'
ddfma3157 fma  1  '3'     '+3'    ->  '6'
ddfma3158 fma  1  '3'     '-3'    ->  '0'
ddfma3159 fma  1  '0.3'   '-0.3'  ->  '0.0'
ddfma3160 fma  1  '0.03'  '-0.03' ->  '0.00'

-- try borderline precision, with carries, etc.
ddfma3161 fma  1  '1E+12' '-1'    -> '999999999999'
ddfma3162 fma  1  '1E+12'  '1.11' -> '1000000000001.11'
ddfma3163 fma  1  '1.11'  '1E+12' -> '1000000000001.11'
ddfma3164 fma  1  '-1'    '1E+12' -> '999999999999'
ddfma3165 fma  1  '7E+12' '-1'    -> '6999999999999'
ddfma3166 fma  1  '7E+12'  '1.11' -> '7000000000001.11'
ddfma3167 fma  1  '1.11'  '7E+12' -> '7000000000001.11'
ddfma3168 fma  1  '-1'    '7E+12' -> '6999999999999'

rounding: half_up
--           1.234567890123456      1234567890123456      1 234567890123456
ddfma3170 fma  1  '4.444444444444444'  '0.5555555555555567' -> '5.000000000000001' Inexact Rounded
ddfma3171 fma  1  '4.444444444444444'  '0.5555555555555566' -> '5.000000000000001' Inexact Rounded
ddfma3172 fma  1  '4.444444444444444'  '0.5555555555555565' -> '5.000000000000001' Inexact Rounded
ddfma3173 fma  1  '4.444444444444444'  '0.5555555555555564' -> '5.000000000000000' Inexact Rounded
ddfma3174 fma  1  '4.444444444444444'  '0.5555555555555553' -> '4.999999999999999' Inexact Rounded
ddfma3175 fma  1  '4.444444444444444'  '0.5555555555555552' -> '4.999999999999999' Inexact Rounded
ddfma3176 fma  1  '4.444444444444444'  '0.5555555555555551' -> '4.999999999999999' Inexact Rounded
ddfma3177 fma  1  '4.444444444444444'  '0.5555555555555550' -> '4.999999999999999' Rounded
ddfma3178 fma  1  '4.444444444444444'  '0.5555555555555545' -> '4.999999999999999' Inexact Rounded
ddfma3179 fma  1  '4.444444444444444'  '0.5555555555555544' -> '4.999999999999998' Inexact Rounded
ddfma3180 fma  1  '4.444444444444444'  '0.5555555555555543' -> '4.999999999999998' Inexact Rounded
ddfma3181 fma  1  '4.444444444444444'  '0.5555555555555542' -> '4.999999999999998' Inexact Rounded
ddfma3182 fma  1  '4.444444444444444'  '0.5555555555555541' -> '4.999999999999998' Inexact Rounded
ddfma3183 fma  1  '4.444444444444444'  '0.5555555555555540' -> '4.999999999999998' Rounded

-- and some more, including residue effects and different roundings
rounding: half_up
ddfma3200 fma  1  '1234560123456789' 0             -> '1234560123456789'
ddfma3201 fma  1  '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddfma3202 fma  1  '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddfma3203 fma  1  '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddfma3204 fma  1  '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddfma3205 fma  1  '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddfma3206 fma  1  '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddfma3207 fma  1  '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddfma3208 fma  1  '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
ddfma3209 fma  1  '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
ddfma3210 fma  1  '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
ddfma3211 fma  1  '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
ddfma3212 fma  1  '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
ddfma3213 fma  1  '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
ddfma3214 fma  1  '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
ddfma3215 fma  1  '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
ddfma3216 fma  1  '1234560123456789' 1             -> '1234560123456790'
ddfma3217 fma  1  '1234560123456789' 1.000000001   -> '1234560123456790' Inexact Rounded
ddfma3218 fma  1  '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddfma3219 fma  1  '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded

rounding: half_even
ddfma3220 fma  1  '1234560123456789' 0             -> '1234560123456789'
ddfma3221 fma  1  '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddfma3222 fma  1  '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddfma3223 fma  1  '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddfma3224 fma  1  '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddfma3225 fma  1  '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddfma3226 fma  1  '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddfma3227 fma  1  '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddfma3228 fma  1  '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
ddfma3229 fma  1  '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
ddfma3230 fma  1  '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
ddfma3231 fma  1  '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
ddfma3232 fma  1  '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
ddfma3233 fma  1  '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
ddfma3234 fma  1  '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
ddfma3235 fma  1  '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
ddfma3236 fma  1  '1234560123456789' 1             -> '1234560123456790'
ddfma3237 fma  1  '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
ddfma3238 fma  1  '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddfma3239 fma  1  '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded
-- critical few with even bottom digit...
ddfma3240 fma  1  '1234560123456788' 0.499999999   -> '1234560123456788' Inexact Rounded
ddfma3241 fma  1  '1234560123456788' 0.5           -> '1234560123456788' Inexact Rounded
ddfma3242 fma  1  '1234560123456788' 0.500000001   -> '1234560123456789' Inexact Rounded

rounding: down
ddfma3250 fma  1  '1234560123456789' 0             -> '1234560123456789'
ddfma3251 fma  1  '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddfma3252 fma  1  '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddfma3253 fma  1  '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddfma3254 fma  1  '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddfma3255 fma  1  '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddfma3256 fma  1  '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddfma3257 fma  1  '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddfma3258 fma  1  '1234560123456789' 0.5           -> '1234560123456789' Inexact Rounded
ddfma3259 fma  1  '1234560123456789' 0.500000001   -> '1234560123456789' Inexact Rounded
ddfma3260 fma  1  '1234560123456789' 0.500001      -> '1234560123456789' Inexact Rounded
ddfma3261 fma  1  '1234560123456789' 0.51          -> '1234560123456789' Inexact Rounded
ddfma3262 fma  1  '1234560123456789' 0.6           -> '1234560123456789' Inexact Rounded
ddfma3263 fma  1  '1234560123456789' 0.9           -> '1234560123456789' Inexact Rounded
ddfma3264 fma  1  '1234560123456789' 0.99999       -> '1234560123456789' Inexact Rounded
ddfma3265 fma  1  '1234560123456789' 0.999999999   -> '1234560123456789' Inexact Rounded
ddfma3266 fma  1  '1234560123456789' 1             -> '1234560123456790'
ddfma3267 fma  1  '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
ddfma3268 fma  1  '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddfma3269 fma  1  '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded

-- 1 in last place tests
rounding: half_up
ddfma3301 fma  1   -1   1      ->   0
ddfma3302 fma  1    0   1      ->   1
ddfma3303 fma  1    1   1      ->   2
ddfma3304 fma  1   12   1      ->  13
ddfma3305 fma  1   98   1      ->  99
ddfma3306 fma  1   99   1      -> 100
ddfma3307 fma  1  100   1      -> 101
ddfma3308 fma  1  101   1      -> 102
ddfma3309 fma  1   -1  -1      ->  -2
ddfma3310 fma  1    0  -1      ->  -1
ddfma3311 fma  1    1  -1      ->   0
ddfma3312 fma  1   12  -1      ->  11
ddfma3313 fma  1   98  -1      ->  97
ddfma3314 fma  1   99  -1      ->  98
ddfma3315 fma  1  100  -1      ->  99
ddfma3316 fma  1  101  -1      -> 100

ddfma3321 fma  1  -0.01  0.01    ->  0.00
ddfma3322 fma  1   0.00  0.01    ->  0.01
ddfma3323 fma  1   0.01  0.01    ->  0.02
ddfma3324 fma  1   0.12  0.01    ->  0.13
ddfma3325 fma  1   0.98  0.01    ->  0.99
ddfma3326 fma  1   0.99  0.01    ->  1.00
ddfma3327 fma  1   1.00  0.01    ->  1.01
ddfma3328 fma  1   1.01  0.01    ->  1.02
ddfma3329 fma  1  -0.01 -0.01    -> -0.02
ddfma3330 fma  1   0.00 -0.01    -> -0.01
ddfma3331 fma  1   0.01 -0.01    ->  0.00
ddfma3332 fma  1   0.12 -0.01    ->  0.11
ddfma3333 fma  1   0.98 -0.01    ->  0.97
ddfma3334 fma  1   0.99 -0.01    ->  0.98
ddfma3335 fma  1   1.00 -0.01    ->  0.99
ddfma3336 fma  1   1.01 -0.01    ->  1.00

-- some more cases where adding 0 affects the coefficient
ddfma3340 fma  1  1E+3    0    ->         1000
ddfma3341 fma  1  1E+15   0    ->    1000000000000000
ddfma3342 fma  1  1E+16   0    ->   1.000000000000000E+16  Rounded
ddfma3343 fma  1  1E+20   0    ->   1.000000000000000E+20  Rounded
-- which simply follow from these cases ...
ddfma3344 fma  1  1E+3    1    ->         1001
ddfma3345 fma  1  1E+15   1    ->    1000000000000001
ddfma3346 fma  1  1E+16   1    ->   1.000000000000000E+16  Inexact Rounded
ddfma3347 fma  1  1E+20   1    ->   1.000000000000000E+20  Inexact Rounded
ddfma3348 fma  1  1E+3    7    ->         1007
ddfma3349 fma  1  1E+15   7    ->    1000000000000007
ddfma3350 fma  1  1E+16   7    ->   1.000000000000001E+16  Inexact Rounded
ddfma3351 fma  1  1E+20   7    ->   1.000000000000000E+20  Inexact Rounded

-- tryzeros cases
rounding:    half_up
ddfma3360  fma  1  0E+50 10000E+1  -> 1.0000E+5
ddfma3361  fma  1  0E-50 10000E+1  -> 100000.0000000000 Rounded
ddfma3362  fma  1  10000E+1 0E-50  -> 100000.0000000000 Rounded
ddfma3363  fma  1  10000E+1 10000E-50  -> 100000.0000000000 Rounded Inexact
ddfma3364  fma  1  9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369

-- a curiosity from JSR 13 testing
rounding:    half_down
ddfma3370 fma  1   999999999999999 815 -> 1000000000000814
ddfma3371 fma  1  9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
rounding:    half_up
ddfma3372 fma  1   999999999999999 815 -> 1000000000000814
ddfma3373 fma  1  9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
rounding:    half_even
ddfma3374 fma  1   999999999999999 815 -> 1000000000000814
ddfma3375 fma  1  9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact

-- ulp replacement tests
ddfma3400 fma  1    1   77e-14      ->  1.00000000000077
ddfma3401 fma  1    1   77e-15      ->  1.000000000000077
ddfma3402 fma  1    1   77e-16      ->  1.000000000000008 Inexact Rounded
ddfma3403 fma  1    1   77e-17      ->  1.000000000000001 Inexact Rounded
ddfma3404 fma  1    1   77e-18      ->  1.000000000000000 Inexact Rounded
ddfma3405 fma  1    1   77e-19      ->  1.000000000000000 Inexact Rounded
ddfma3406 fma  1    1   77e-299     ->  1.000000000000000 Inexact Rounded

ddfma3410 fma  1   10   77e-14      ->  10.00000000000077
ddfma3411 fma  1   10   77e-15      ->  10.00000000000008 Inexact Rounded
ddfma3412 fma  1   10   77e-16      ->  10.00000000000001 Inexact Rounded
ddfma3413 fma  1   10   77e-17      ->  10.00000000000000 Inexact Rounded
ddfma3414 fma  1   10   77e-18      ->  10.00000000000000 Inexact Rounded
ddfma3415 fma  1   10   77e-19      ->  10.00000000000000 Inexact Rounded
ddfma3416 fma  1   10   77e-299     ->  10.00000000000000 Inexact Rounded

ddfma3420 fma  1   77e-14       1   ->  1.00000000000077
ddfma3421 fma  1   77e-15       1   ->  1.000000000000077
ddfma3422 fma  1   77e-16       1   ->  1.000000000000008 Inexact Rounded
ddfma3423 fma  1   77e-17       1   ->  1.000000000000001 Inexact Rounded
ddfma3424 fma  1   77e-18       1   ->  1.000000000000000 Inexact Rounded
ddfma3425 fma  1   77e-19       1   ->  1.000000000000000 Inexact Rounded
ddfma3426 fma  1   77e-299      1   ->  1.000000000000000 Inexact Rounded

ddfma3430 fma  1   77e-14      10   ->  10.00000000000077
ddfma3431 fma  1   77e-15      10   ->  10.00000000000008 Inexact Rounded
ddfma3432 fma  1   77e-16      10   ->  10.00000000000001 Inexact Rounded
ddfma3433 fma  1   77e-17      10   ->  10.00000000000000 Inexact Rounded
ddfma3434 fma  1   77e-18      10   ->  10.00000000000000 Inexact Rounded
ddfma3435 fma  1   77e-19      10   ->  10.00000000000000 Inexact Rounded
ddfma3436 fma  1   77e-299     10   ->  10.00000000000000 Inexact Rounded

-- negative ulps
ddfma36440 fma  1    1   -77e-14      ->  0.99999999999923
ddfma36441 fma  1    1   -77e-15      ->  0.999999999999923
ddfma36442 fma  1    1   -77e-16      ->  0.9999999999999923
ddfma36443 fma  1    1   -77e-17      ->  0.9999999999999992 Inexact Rounded
ddfma36444 fma  1    1   -77e-18      ->  0.9999999999999999 Inexact Rounded
ddfma36445 fma  1    1   -77e-19      ->  1.000000000000000 Inexact Rounded
ddfma36446 fma  1    1   -77e-99      ->  1.000000000000000 Inexact Rounded

ddfma36450 fma  1   10   -77e-14      ->   9.99999999999923
ddfma36451 fma  1   10   -77e-15      ->   9.999999999999923
ddfma36452 fma  1   10   -77e-16      ->   9.999999999999992 Inexact Rounded
ddfma36453 fma  1   10   -77e-17      ->   9.999999999999999 Inexact Rounded
ddfma36454 fma  1   10   -77e-18      ->  10.00000000000000 Inexact Rounded
ddfma36455 fma  1   10   -77e-19      ->  10.00000000000000 Inexact Rounded
ddfma36456 fma  1   10   -77e-99      ->  10.00000000000000 Inexact Rounded

ddfma36460 fma  1   -77e-14       1   ->  0.99999999999923
ddfma36461 fma  1   -77e-15       1   ->  0.999999999999923
ddfma36462 fma  1   -77e-16       1   ->  0.9999999999999923
ddfma36463 fma  1   -77e-17       1   ->  0.9999999999999992 Inexact Rounded
ddfma36464 fma  1   -77e-18       1   ->  0.9999999999999999 Inexact Rounded
ddfma36465 fma  1   -77e-19       1   ->  1.000000000000000 Inexact Rounded
ddfma36466 fma  1   -77e-99       1   ->  1.000000000000000 Inexact Rounded

ddfma36470 fma  1   -77e-14      10   ->   9.99999999999923
ddfma36471 fma  1   -77e-15      10   ->   9.999999999999923
ddfma36472 fma  1   -77e-16      10   ->   9.999999999999992 Inexact Rounded
ddfma36473 fma  1   -77e-17      10   ->   9.999999999999999 Inexact Rounded
ddfma36474 fma  1   -77e-18      10   ->  10.00000000000000 Inexact Rounded
ddfma36475 fma  1   -77e-19      10   ->  10.00000000000000 Inexact Rounded
ddfma36476 fma  1   -77e-99      10   ->  10.00000000000000 Inexact Rounded

-- negative ulps
ddfma36480 fma  1   -1    77e-14      ->  -0.99999999999923
ddfma36481 fma  1   -1    77e-15      ->  -0.999999999999923
ddfma36482 fma  1   -1    77e-16      ->  -0.9999999999999923
ddfma36483 fma  1   -1    77e-17      ->  -0.9999999999999992 Inexact Rounded
ddfma36484 fma  1   -1    77e-18      ->  -0.9999999999999999 Inexact Rounded
ddfma36485 fma  1   -1    77e-19      ->  -1.000000000000000 Inexact Rounded
ddfma36486 fma  1   -1    77e-99      ->  -1.000000000000000 Inexact Rounded

ddfma36490 fma  1  -10    77e-14      ->   -9.99999999999923
ddfma36491 fma  1  -10    77e-15      ->   -9.999999999999923
ddfma36492 fma  1  -10    77e-16      ->   -9.999999999999992 Inexact Rounded
ddfma36493 fma  1  -10    77e-17      ->   -9.999999999999999 Inexact Rounded
ddfma36494 fma  1  -10    77e-18      ->  -10.00000000000000 Inexact Rounded
ddfma36495 fma  1  -10    77e-19      ->  -10.00000000000000 Inexact Rounded
ddfma36496 fma  1  -10    77e-99      ->  -10.00000000000000 Inexact Rounded

ddfma36500 fma  1    77e-14      -1   ->  -0.99999999999923
ddfma36501 fma  1    77e-15      -1   ->  -0.999999999999923
ddfma36502 fma  1    77e-16      -1   ->  -0.9999999999999923
ddfma36503 fma  1    77e-17      -1   ->  -0.9999999999999992 Inexact Rounded
ddfma36504 fma  1    77e-18      -1   ->  -0.9999999999999999 Inexact Rounded
ddfma36505 fma  1    77e-19      -1   ->  -1.000000000000000 Inexact Rounded
ddfma36506 fma  1    77e-99      -1   ->  -1.000000000000000 Inexact Rounded

ddfma36510 fma  1    77e-14      -10  ->   -9.99999999999923
ddfma36511 fma  1    77e-15      -10  ->   -9.999999999999923
ddfma36512 fma  1    77e-16      -10  ->   -9.999999999999992 Inexact Rounded
ddfma36513 fma  1    77e-17      -10  ->   -9.999999999999999 Inexact Rounded
ddfma36514 fma  1    77e-18      -10  ->  -10.00000000000000 Inexact Rounded
ddfma36515 fma  1    77e-19      -10  ->  -10.00000000000000 Inexact Rounded
ddfma36516 fma  1    77e-99      -10  ->  -10.00000000000000 Inexact Rounded

-- and a couple more with longer RHS
ddfma36520 fma  1    1   -7777e-16      ->  0.9999999999992223
ddfma36521 fma  1    1   -7777e-17      ->  0.9999999999999222 Inexact Rounded
ddfma36522 fma  1    1   -7777e-18      ->  0.9999999999999922 Inexact Rounded
ddfma36523 fma  1    1   -7777e-19      ->  0.9999999999999992 Inexact Rounded
ddfma36524 fma  1    1   -7777e-20      ->  0.9999999999999999 Inexact Rounded
ddfma36525 fma  1    1   -7777e-21      ->  1.000000000000000 Inexact Rounded
ddfma36526 fma  1    1   -7777e-22      ->  1.000000000000000 Inexact Rounded


-- and some more residue effects and different roundings
rounding: half_up
ddfma36540 fma  1  '6543210123456789' 0             -> '6543210123456789'
ddfma36541 fma  1  '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddfma36542 fma  1  '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddfma36543 fma  1  '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddfma36544 fma  1  '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddfma36545 fma  1  '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddfma36546 fma  1  '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddfma36547 fma  1  '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddfma36548 fma  1  '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
ddfma36549 fma  1  '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
ddfma36550 fma  1  '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
ddfma36551 fma  1  '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
ddfma36552 fma  1  '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
ddfma36553 fma  1  '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
ddfma36554 fma  1  '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
ddfma36555 fma  1  '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
ddfma36556 fma  1  '6543210123456789' 1             -> '6543210123456790'
ddfma36557 fma  1  '6543210123456789' 1.000000001   -> '6543210123456790' Inexact Rounded
ddfma36558 fma  1  '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddfma36559 fma  1  '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded

rounding: half_even
ddfma36560 fma  1  '6543210123456789' 0             -> '6543210123456789'
ddfma36561 fma  1  '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddfma36562 fma  1  '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddfma36563 fma  1  '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddfma36564 fma  1  '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddfma36565 fma  1  '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddfma36566 fma  1  '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddfma36567 fma  1  '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddfma36568 fma  1  '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
ddfma36569 fma  1  '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
ddfma36570 fma  1  '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
ddfma36571 fma  1  '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
ddfma36572 fma  1  '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
ddfma36573 fma  1  '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
ddfma36574 fma  1  '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
ddfma36575 fma  1  '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
ddfma36576 fma  1  '6543210123456789' 1             -> '6543210123456790'
ddfma36577 fma  1  '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
ddfma36578 fma  1  '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddfma36579 fma  1  '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded

-- critical few with even bottom digit...
ddfma37540 fma  1  '6543210123456788' 0.499999999   -> '6543210123456788' Inexact Rounded
ddfma37541 fma  1  '6543210123456788' 0.5           -> '6543210123456788' Inexact Rounded
ddfma37542 fma  1  '6543210123456788' 0.500000001   -> '6543210123456789' Inexact Rounded

rounding: down
ddfma37550 fma  1  '6543210123456789' 0             -> '6543210123456789'
ddfma37551 fma  1  '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddfma37552 fma  1  '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddfma37553 fma  1  '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddfma37554 fma  1  '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddfma37555 fma  1  '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddfma37556 fma  1  '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddfma37557 fma  1  '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddfma37558 fma  1  '6543210123456789' 0.5           -> '6543210123456789' Inexact Rounded
ddfma37559 fma  1  '6543210123456789' 0.500000001   -> '6543210123456789' Inexact Rounded
ddfma37560 fma  1  '6543210123456789' 0.500001      -> '6543210123456789' Inexact Rounded
ddfma37561 fma  1  '6543210123456789' 0.51          -> '6543210123456789' Inexact Rounded
ddfma37562 fma  1  '6543210123456789' 0.6           -> '6543210123456789' Inexact Rounded
ddfma37563 fma  1  '6543210123456789' 0.9           -> '6543210123456789' Inexact Rounded
ddfma37564 fma  1  '6543210123456789' 0.99999       -> '6543210123456789' Inexact Rounded
ddfma37565 fma  1  '6543210123456789' 0.999999999   -> '6543210123456789' Inexact Rounded
ddfma37566 fma  1  '6543210123456789' 1             -> '6543210123456790'
ddfma37567 fma  1  '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
ddfma37568 fma  1  '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddfma37569 fma  1  '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded


-- verify a query
rounding:     down
ddfma37661 fma  1  1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
ddfma37662 fma  1       0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
ddfma37663 fma  1  1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
ddfma37664 fma  1       0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded

-- more zeros, etc.
rounding: half_even

ddfma37701 fma  1  5.00 1.00E-3 -> 5.00100
ddfma37702 fma  1  00.00 0.000  -> 0.000
ddfma37703 fma  1  00.00 0E-3   -> 0.000
ddfma37704 fma  1  0E-3  00.00  -> 0.000

ddfma37710 fma  1  0E+3  00.00  -> 0.00
ddfma37711 fma  1  0E+3  00.0   -> 0.0
ddfma37712 fma  1  0E+3  00.    -> 0
ddfma37713 fma  1  0E+3  00.E+1 -> 0E+1
ddfma37714 fma  1  0E+3  00.E+2 -> 0E+2
ddfma37715 fma  1  0E+3  00.E+3 -> 0E+3
ddfma37716 fma  1  0E+3  00.E+4 -> 0E+3
ddfma37717 fma  1  0E+3  00.E+5 -> 0E+3
ddfma37718 fma  1  0E+3  -00.0   -> 0.0
ddfma37719 fma  1  0E+3  -00.    -> 0
ddfma37731 fma  1  0E+3  -00.E+1 -> 0E+1

ddfma37720 fma  1  00.00  0E+3  -> 0.00
ddfma37721 fma  1  00.0   0E+3  -> 0.0
ddfma37722 fma  1  00.    0E+3  -> 0
ddfma37723 fma  1  00.E+1 0E+3  -> 0E+1
ddfma37724 fma  1  00.E+2 0E+3  -> 0E+2
ddfma37725 fma  1  00.E+3 0E+3  -> 0E+3
ddfma37726 fma  1  00.E+4 0E+3  -> 0E+3
ddfma37727 fma  1  00.E+5 0E+3  -> 0E+3
ddfma37728 fma  1  -00.00 0E+3  -> 0.00
ddfma37729 fma  1  -00.0  0E+3  -> 0.0
ddfma37730 fma  1  -00.   0E+3  -> 0

ddfma37732 fma  1   0     0     ->  0
ddfma37733 fma  1   0    -0     ->  0
ddfma37734 fma  1  -0     0     ->  0
ddfma37735 fma  1  -0    -0     -> -0     -- IEEE 854 special case

ddfma37736 fma  1   1    -1     ->  0
ddfma37737 fma  1  -1    -1     -> -2
ddfma37738 fma  1   1     1     ->  2
ddfma37739 fma  1  -1     1     ->  0

ddfma37741 fma  1   0    -1     -> -1
ddfma37742 fma  1  -0    -1     -> -1
ddfma37743 fma  1   0     1     ->  1
ddfma37744 fma  1  -0     1     ->  1
ddfma37745 fma  1  -1     0     -> -1
ddfma37746 fma  1  -1    -0     -> -1
ddfma37747 fma  1   1     0     ->  1
ddfma37748 fma  1   1    -0     ->  1

ddfma37751 fma  1   0.0  -1     -> -1.0
ddfma37752 fma  1  -0.0  -1     -> -1.0
ddfma37753 fma  1   0.0   1     ->  1.0
ddfma37754 fma  1  -0.0   1     ->  1.0
ddfma37755 fma  1  -1.0   0     -> -1.0
ddfma37756 fma  1  -1.0  -0     -> -1.0
ddfma37757 fma  1   1.0   0     ->  1.0
ddfma37758 fma  1   1.0  -0     ->  1.0

ddfma37761 fma  1   0    -1.0   -> -1.0
ddfma37762 fma  1  -0    -1.0   -> -1.0
ddfma37763 fma  1   0     1.0   ->  1.0
ddfma37764 fma  1  -0     1.0   ->  1.0
ddfma37765 fma  1  -1     0.0   -> -1.0
ddfma37766 fma  1  -1    -0.0   -> -1.0
ddfma37767 fma  1   1     0.0   ->  1.0
ddfma37768 fma  1   1    -0.0   ->  1.0

ddfma37771 fma  1   0.0  -1.0   -> -1.0
ddfma37772 fma  1  -0.0  -1.0   -> -1.0
ddfma37773 fma  1   0.0   1.0   ->  1.0
ddfma37774 fma  1  -0.0   1.0   ->  1.0
ddfma37775 fma  1  -1.0   0.0   -> -1.0
ddfma37776 fma  1  -1.0  -0.0   -> -1.0
ddfma37777 fma  1   1.0   0.0   ->  1.0
ddfma37778 fma  1   1.0  -0.0   ->  1.0

-- Specials
ddfma37780 fma  1  -Inf  -Inf   -> -Infinity
ddfma37781 fma  1  -Inf  -1000  -> -Infinity
ddfma37782 fma  1  -Inf  -1     -> -Infinity
ddfma37783 fma  1  -Inf  -0     -> -Infinity
ddfma37784 fma  1  -Inf   0     -> -Infinity
ddfma37785 fma  1  -Inf   1     -> -Infinity
ddfma37786 fma  1  -Inf   1000  -> -Infinity
ddfma37787 fma  1  -1000 -Inf   -> -Infinity
ddfma37788 fma  1  -Inf  -Inf   -> -Infinity
ddfma37789 fma  1  -1    -Inf   -> -Infinity
ddfma37790 fma  1  -0    -Inf   -> -Infinity
ddfma37791 fma  1   0    -Inf   -> -Infinity
ddfma37792 fma  1   1    -Inf   -> -Infinity
ddfma37793 fma  1   1000 -Inf   -> -Infinity
ddfma37794 fma  1   Inf  -Inf   ->  NaN  Invalid_operation

ddfma37800 fma  1   Inf  -Inf   ->  NaN  Invalid_operation
ddfma37801 fma  1   Inf  -1000  ->  Infinity
ddfma37802 fma  1   Inf  -1     ->  Infinity
ddfma37803 fma  1   Inf  -0     ->  Infinity
ddfma37804 fma  1   Inf   0     ->  Infinity
ddfma37805 fma  1   Inf   1     ->  Infinity
ddfma37806 fma  1   Inf   1000  ->  Infinity
ddfma37807 fma  1   Inf   Inf   ->  Infinity
ddfma37808 fma  1  -1000  Inf   ->  Infinity
ddfma37809 fma  1  -Inf   Inf   ->  NaN  Invalid_operation
ddfma37810 fma  1  -1     Inf   ->  Infinity
ddfma37811 fma  1  -0     Inf   ->  Infinity
ddfma37812 fma  1   0     Inf   ->  Infinity
ddfma37813 fma  1   1     Inf   ->  Infinity
ddfma37814 fma  1   1000  Inf   ->  Infinity
ddfma37815 fma  1   Inf   Inf   ->  Infinity

ddfma37821 fma  1   NaN -Inf    ->  NaN
ddfma37822 fma  1   NaN -1000   ->  NaN
ddfma37823 fma  1   NaN -1      ->  NaN
ddfma37824 fma  1   NaN -0      ->  NaN
ddfma37825 fma  1   NaN  0      ->  NaN
ddfma37826 fma  1   NaN  1      ->  NaN
ddfma37827 fma  1   NaN  1000   ->  NaN
ddfma37828 fma  1   NaN  Inf    ->  NaN
ddfma37829 fma  1   NaN  NaN    ->  NaN
ddfma37830 fma  1  -Inf  NaN    ->  NaN
ddfma37831 fma  1  -1000 NaN    ->  NaN
ddfma37832 fma  1  -1    NaN    ->  NaN
ddfma37833 fma  1  -0    NaN    ->  NaN
ddfma37834 fma  1   0    NaN    ->  NaN
ddfma37835 fma  1   1    NaN    ->  NaN
ddfma37836 fma  1   1000 NaN    ->  NaN
ddfma37837 fma  1   Inf  NaN    ->  NaN

ddfma37841 fma  1   sNaN -Inf   ->  NaN  Invalid_operation
ddfma37842 fma  1   sNaN -1000  ->  NaN  Invalid_operation
ddfma37843 fma  1   sNaN -1     ->  NaN  Invalid_operation
ddfma37844 fma  1   sNaN -0     ->  NaN  Invalid_operation
ddfma37845 fma  1   sNaN  0     ->  NaN  Invalid_operation
ddfma37846 fma  1   sNaN  1     ->  NaN  Invalid_operation
ddfma37847 fma  1   sNaN  1000  ->  NaN  Invalid_operation
ddfma37848 fma  1   sNaN  NaN   ->  NaN  Invalid_operation
ddfma37849 fma  1   sNaN sNaN   ->  NaN  Invalid_operation
ddfma37850 fma  1   NaN  sNaN   ->  NaN  Invalid_operation
ddfma37851 fma  1  -Inf  sNaN   ->  NaN  Invalid_operation
ddfma37852 fma  1  -1000 sNaN   ->  NaN  Invalid_operation
ddfma37853 fma  1  -1    sNaN   ->  NaN  Invalid_operation
ddfma37854 fma  1  -0    sNaN   ->  NaN  Invalid_operation
ddfma37855 fma  1   0    sNaN   ->  NaN  Invalid_operation
ddfma37856 fma  1   1    sNaN   ->  NaN  Invalid_operation
ddfma37857 fma  1   1000 sNaN   ->  NaN  Invalid_operation
ddfma37858 fma  1   Inf  sNaN   ->  NaN  Invalid_operation
ddfma37859 fma  1   NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
ddfma37861 fma  1   NaN1   -Inf    ->  NaN1
ddfma37862 fma  1  +NaN2   -1000   ->  NaN2
ddfma37863 fma  1   NaN3    1000   ->  NaN3
ddfma37864 fma  1   NaN4    Inf    ->  NaN4
ddfma37865 fma  1   NaN5   +NaN6   ->  NaN5
ddfma37866 fma  1  -Inf     NaN7   ->  NaN7
ddfma37867 fma  1  -1000    NaN8   ->  NaN8
ddfma37868 fma  1   1000    NaN9   ->  NaN9
ddfma37869 fma  1   Inf    +NaN10  ->  NaN10
ddfma37871 fma  1   sNaN11  -Inf   ->  NaN11  Invalid_operation
ddfma37872 fma  1   sNaN12  -1000  ->  NaN12  Invalid_operation
ddfma37873 fma  1   sNaN13   1000  ->  NaN13  Invalid_operation
ddfma37874 fma  1   sNaN14   NaN17 ->  NaN14  Invalid_operation
ddfma37875 fma  1   sNaN15  sNaN18 ->  NaN15  Invalid_operation
ddfma37876 fma  1   NaN16   sNaN19 ->  NaN19  Invalid_operation
ddfma37877 fma  1  -Inf    +sNaN20 ->  NaN20  Invalid_operation
ddfma37878 fma  1  -1000    sNaN21 ->  NaN21  Invalid_operation
ddfma37879 fma  1   1000    sNaN22 ->  NaN22  Invalid_operation
ddfma37880 fma  1   Inf     sNaN23 ->  NaN23  Invalid_operation
ddfma37881 fma  1  +NaN25  +sNaN24 ->  NaN24  Invalid_operation
ddfma37882 fma  1  -NaN26    NaN28 -> -NaN26
ddfma37883 fma  1  -sNaN27  sNaN29 -> -NaN27  Invalid_operation
ddfma37884 fma  1   1000    -NaN30 -> -NaN30
ddfma37885 fma  1   1000   -sNaN31 -> -NaN31  Invalid_operation

-- Here we explore near the boundary of rounding a subnormal to Nmin
ddfma37575 fma  1   1E-383 -1E-398 ->  9.99999999999999E-384  Subnormal
ddfma37576 fma  1  -1E-383 +1E-398 -> -9.99999999999999E-384  Subnormal

-- check overflow edge case
--               1234567890123456
ddfma37972 apply   9.999999999999999E+384         -> 9.999999999999999E+384
ddfma37973 fma  1      9.999999999999999E+384  1      -> 9.999999999999999E+384 Inexact Rounded
ddfma37974 fma  1       9999999999999999E+369  1      -> 9.999999999999999E+384 Inexact Rounded
ddfma37975 fma  1       9999999999999999E+369  1E+369  -> Infinity Overflow Inexact Rounded
ddfma37976 fma  1       9999999999999999E+369  9E+368  -> Infinity Overflow Inexact Rounded
ddfma37977 fma  1       9999999999999999E+369  8E+368  -> Infinity Overflow Inexact Rounded
ddfma37978 fma  1       9999999999999999E+369  7E+368  -> Infinity Overflow Inexact Rounded
ddfma37979 fma  1       9999999999999999E+369  6E+368  -> Infinity Overflow Inexact Rounded
ddfma37980 fma  1       9999999999999999E+369  5E+368  -> Infinity Overflow Inexact Rounded
ddfma37981 fma  1       9999999999999999E+369  4E+368  -> 9.999999999999999E+384 Inexact Rounded
ddfma37982 fma  1       9999999999999999E+369  3E+368  -> 9.999999999999999E+384 Inexact Rounded
ddfma37983 fma  1       9999999999999999E+369  2E+368  -> 9.999999999999999E+384 Inexact Rounded
ddfma37984 fma  1       9999999999999999E+369  1E+368  -> 9.999999999999999E+384 Inexact Rounded

ddfma37985 apply  -9.999999999999999E+384         -> -9.999999999999999E+384
ddfma37986 fma  1     -9.999999999999999E+384 -1      -> -9.999999999999999E+384 Inexact Rounded
ddfma37987 fma  1      -9999999999999999E+369 -1      -> -9.999999999999999E+384 Inexact Rounded
ddfma37988 fma  1      -9999999999999999E+369 -1E+369  -> -Infinity Overflow Inexact Rounded
ddfma37989 fma  1      -9999999999999999E+369 -9E+368  -> -Infinity Overflow Inexact Rounded
ddfma37990 fma  1      -9999999999999999E+369 -8E+368  -> -Infinity Overflow Inexact Rounded
ddfma37991 fma  1      -9999999999999999E+369 -7E+368  -> -Infinity Overflow Inexact Rounded
ddfma37992 fma  1      -9999999999999999E+369 -6E+368  -> -Infinity Overflow Inexact Rounded
ddfma37993 fma  1      -9999999999999999E+369 -5E+368  -> -Infinity Overflow Inexact Rounded
ddfma37994 fma  1      -9999999999999999E+369 -4E+368  -> -9.999999999999999E+384 Inexact Rounded
ddfma37995 fma  1      -9999999999999999E+369 -3E+368  -> -9.999999999999999E+384 Inexact Rounded
ddfma37996 fma  1      -9999999999999999E+369 -2E+368  -> -9.999999999999999E+384 Inexact Rounded
ddfma37997 fma  1      -9999999999999999E+369 -1E+368  -> -9.999999999999999E+384 Inexact Rounded

-- And for round down full and subnormal results
rounding:     down
ddfma371100 fma  1  1e+2 -1e-383    -> 99.99999999999999 Rounded Inexact
ddfma371101 fma  1  1e+1 -1e-383    -> 9.999999999999999  Rounded Inexact
ddfma371103 fma  1    +1 -1e-383    -> 0.9999999999999999  Rounded Inexact
ddfma371104 fma  1  1e-1 -1e-383    -> 0.09999999999999999  Rounded Inexact
ddfma371105 fma  1  1e-2 -1e-383    -> 0.009999999999999999  Rounded Inexact
ddfma371106 fma  1  1e-3 -1e-383    -> 0.0009999999999999999  Rounded Inexact
ddfma371107 fma  1  1e-4 -1e-383    -> 0.00009999999999999999  Rounded Inexact
ddfma371108 fma  1  1e-5 -1e-383    -> 0.000009999999999999999  Rounded Inexact
ddfma371109 fma  1  1e-6 -1e-383    -> 9.999999999999999E-7  Rounded Inexact

rounding:     ceiling
ddfma371110 fma  1  -1e+2 +1e-383   -> -99.99999999999999 Rounded Inexact
ddfma371111 fma  1  -1e+1 +1e-383   -> -9.999999999999999  Rounded Inexact
ddfma371113 fma  1     -1 +1e-383   -> -0.9999999999999999  Rounded Inexact
ddfma371114 fma  1  -1e-1 +1e-383   -> -0.09999999999999999  Rounded Inexact
ddfma371115 fma  1  -1e-2 +1e-383   -> -0.009999999999999999  Rounded Inexact
ddfma371116 fma  1  -1e-3 +1e-383   -> -0.0009999999999999999  Rounded Inexact
ddfma371117 fma  1  -1e-4 +1e-383   -> -0.00009999999999999999  Rounded Inexact
ddfma371118 fma  1  -1e-5 +1e-383   -> -0.000009999999999999999  Rounded Inexact
ddfma371119 fma  1  -1e-6 +1e-383   -> -9.999999999999999E-7  Rounded Inexact

-- tests based on Gunnar Degnbol's edge case
rounding:     half_even

ddfma371300 fma  1  1E16  -0.5                 ->  1.000000000000000E+16 Inexact Rounded
ddfma371310 fma  1  1E16  -0.51                ->  9999999999999999      Inexact Rounded
ddfma371311 fma  1  1E16  -0.501               ->  9999999999999999      Inexact Rounded
ddfma371312 fma  1  1E16  -0.5001              ->  9999999999999999      Inexact Rounded
ddfma371313 fma  1  1E16  -0.50001             ->  9999999999999999      Inexact Rounded
ddfma371314 fma  1  1E16  -0.500001            ->  9999999999999999      Inexact Rounded
ddfma371315 fma  1  1E16  -0.5000001           ->  9999999999999999      Inexact Rounded
ddfma371316 fma  1  1E16  -0.50000001          ->  9999999999999999      Inexact Rounded
ddfma371317 fma  1  1E16  -0.500000001         ->  9999999999999999      Inexact Rounded
ddfma371318 fma  1  1E16  -0.5000000001        ->  9999999999999999      Inexact Rounded
ddfma371319 fma  1  1E16  -0.50000000001       ->  9999999999999999      Inexact Rounded
ddfma371320 fma  1  1E16  -0.500000000001      ->  9999999999999999      Inexact Rounded
ddfma371321 fma  1  1E16  -0.5000000000001     ->  9999999999999999      Inexact Rounded
ddfma371322 fma  1  1E16  -0.50000000000001    ->  9999999999999999      Inexact Rounded
ddfma371323 fma  1  1E16  -0.500000000000001   ->  9999999999999999      Inexact Rounded
ddfma371324 fma  1  1E16  -0.5000000000000001  ->  9999999999999999      Inexact Rounded
ddfma371325 fma  1  1E16  -0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
ddfma371326 fma  1  1E16  -0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
ddfma371327 fma  1  1E16  -0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
ddfma371328 fma  1  1E16  -0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
ddfma371329 fma  1  1E16  -0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
ddfma371330 fma  1  1E16  -0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
ddfma371331 fma  1  1E16  -0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
ddfma371332 fma  1  1E16  -0.500000000         ->  1.000000000000000E+16 Inexact Rounded
ddfma371333 fma  1  1E16  -0.50000000          ->  1.000000000000000E+16 Inexact Rounded
ddfma371334 fma  1  1E16  -0.5000000           ->  1.000000000000000E+16 Inexact Rounded
ddfma371335 fma  1  1E16  -0.500000            ->  1.000000000000000E+16 Inexact Rounded
ddfma371336 fma  1  1E16  -0.50000             ->  1.000000000000000E+16 Inexact Rounded
ddfma371337 fma  1  1E16  -0.5000              ->  1.000000000000000E+16 Inexact Rounded
ddfma371338 fma  1  1E16  -0.500               ->  1.000000000000000E+16 Inexact Rounded
ddfma371339 fma  1  1E16  -0.50                ->  1.000000000000000E+16 Inexact Rounded

ddfma371340 fma  1  1E16  -5000000.000010001   ->  9999999995000000      Inexact Rounded
ddfma371341 fma  1  1E16  -5000000.000000001   ->  9999999995000000      Inexact Rounded

ddfma371349 fma  1  9999999999999999 0.4                 ->  9999999999999999      Inexact Rounded
ddfma371350 fma  1  9999999999999999 0.49                ->  9999999999999999      Inexact Rounded
ddfma371351 fma  1  9999999999999999 0.499               ->  9999999999999999      Inexact Rounded
ddfma371352 fma  1  9999999999999999 0.4999              ->  9999999999999999      Inexact Rounded
ddfma371353 fma  1  9999999999999999 0.49999             ->  9999999999999999      Inexact Rounded
ddfma371354 fma  1  9999999999999999 0.499999            ->  9999999999999999      Inexact Rounded
ddfma371355 fma  1  9999999999999999 0.4999999           ->  9999999999999999      Inexact Rounded
ddfma371356 fma  1  9999999999999999 0.49999999          ->  9999999999999999      Inexact Rounded
ddfma371357 fma  1  9999999999999999 0.499999999         ->  9999999999999999      Inexact Rounded
ddfma371358 fma  1  9999999999999999 0.4999999999        ->  9999999999999999      Inexact Rounded
ddfma371359 fma  1  9999999999999999 0.49999999999       ->  9999999999999999      Inexact Rounded
ddfma371360 fma  1  9999999999999999 0.499999999999      ->  9999999999999999      Inexact Rounded
ddfma371361 fma  1  9999999999999999 0.4999999999999     ->  9999999999999999      Inexact Rounded
ddfma371362 fma  1  9999999999999999 0.49999999999999    ->  9999999999999999      Inexact Rounded
ddfma371363 fma  1  9999999999999999 0.499999999999999   ->  9999999999999999      Inexact Rounded
ddfma371364 fma  1  9999999999999999 0.4999999999999999  ->  9999999999999999      Inexact Rounded
ddfma371365 fma  1  9999999999999999 0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
ddfma371367 fma  1  9999999999999999 0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
ddfma371368 fma  1  9999999999999999 0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
ddfma371369 fma  1  9999999999999999 0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
ddfma371370 fma  1  9999999999999999 0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
ddfma371371 fma  1  9999999999999999 0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
ddfma371372 fma  1  9999999999999999 0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
ddfma371373 fma  1  9999999999999999 0.500000000         ->  1.000000000000000E+16 Inexact Rounded
ddfma371374 fma  1  9999999999999999 0.50000000          ->  1.000000000000000E+16 Inexact Rounded
ddfma371375 fma  1  9999999999999999 0.5000000           ->  1.000000000000000E+16 Inexact Rounded
ddfma371376 fma  1  9999999999999999 0.500000            ->  1.000000000000000E+16 Inexact Rounded
ddfma371377 fma  1  9999999999999999 0.50000             ->  1.000000000000000E+16 Inexact Rounded
ddfma371378 fma  1  9999999999999999 0.5000              ->  1.000000000000000E+16 Inexact Rounded
ddfma371379 fma  1  9999999999999999 0.500               ->  1.000000000000000E+16 Inexact Rounded
ddfma371380 fma  1  9999999999999999 0.50                ->  1.000000000000000E+16 Inexact Rounded
ddfma371381 fma  1  9999999999999999 0.5                 ->  1.000000000000000E+16 Inexact Rounded
ddfma371382 fma  1  9999999999999999 0.5000000000000001  ->  1.000000000000000E+16 Inexact Rounded
ddfma371383 fma  1  9999999999999999 0.500000000000001   ->  1.000000000000000E+16 Inexact Rounded
ddfma371384 fma  1  9999999999999999 0.50000000000001    ->  1.000000000000000E+16 Inexact Rounded
ddfma371385 fma  1  9999999999999999 0.5000000000001     ->  1.000000000000000E+16 Inexact Rounded
ddfma371386 fma  1  9999999999999999 0.500000000001      ->  1.000000000000000E+16 Inexact Rounded
ddfma371387 fma  1  9999999999999999 0.50000000001       ->  1.000000000000000E+16 Inexact Rounded
ddfma371388 fma  1  9999999999999999 0.5000000001        ->  1.000000000000000E+16 Inexact Rounded
ddfma371389 fma  1  9999999999999999 0.500000001         ->  1.000000000000000E+16 Inexact Rounded
ddfma371390 fma  1  9999999999999999 0.50000001          ->  1.000000000000000E+16 Inexact Rounded
ddfma371391 fma  1  9999999999999999 0.5000001           ->  1.000000000000000E+16 Inexact Rounded
ddfma371392 fma  1  9999999999999999 0.500001            ->  1.000000000000000E+16 Inexact Rounded
ddfma371393 fma  1  9999999999999999 0.50001             ->  1.000000000000000E+16 Inexact Rounded
ddfma371394 fma  1  9999999999999999 0.5001              ->  1.000000000000000E+16 Inexact Rounded
ddfma371395 fma  1  9999999999999999 0.501               ->  1.000000000000000E+16 Inexact Rounded
ddfma371396 fma  1  9999999999999999 0.51                ->  1.000000000000000E+16 Inexact Rounded

-- More GD edge cases, where difference between the unadjusted
-- exponents is larger than the maximum precision and one side is 0
ddfma371420 fma  1   0 1.123456789012345     -> 1.123456789012345
ddfma371421 fma  1   0 1.123456789012345E-1  -> 0.1123456789012345
ddfma371422 fma  1   0 1.123456789012345E-2  -> 0.01123456789012345
ddfma371423 fma  1   0 1.123456789012345E-3  -> 0.001123456789012345
ddfma371424 fma  1   0 1.123456789012345E-4  -> 0.0001123456789012345
ddfma371425 fma  1   0 1.123456789012345E-5  -> 0.00001123456789012345
ddfma371426 fma  1   0 1.123456789012345E-6  -> 0.000001123456789012345
ddfma371427 fma  1   0 1.123456789012345E-7  -> 1.123456789012345E-7
ddfma371428 fma  1   0 1.123456789012345E-8  -> 1.123456789012345E-8
ddfma371429 fma  1   0 1.123456789012345E-9  -> 1.123456789012345E-9
ddfma371430 fma  1   0 1.123456789012345E-10 -> 1.123456789012345E-10
ddfma371431 fma  1   0 1.123456789012345E-11 -> 1.123456789012345E-11
ddfma371432 fma  1   0 1.123456789012345E-12 -> 1.123456789012345E-12
ddfma371433 fma  1   0 1.123456789012345E-13 -> 1.123456789012345E-13
ddfma371434 fma  1   0 1.123456789012345E-14 -> 1.123456789012345E-14
ddfma371435 fma  1   0 1.123456789012345E-15 -> 1.123456789012345E-15
ddfma371436 fma  1   0 1.123456789012345E-16 -> 1.123456789012345E-16
ddfma371437 fma  1   0 1.123456789012345E-17 -> 1.123456789012345E-17
ddfma371438 fma  1   0 1.123456789012345E-18 -> 1.123456789012345E-18
ddfma371439 fma  1   0 1.123456789012345E-19 -> 1.123456789012345E-19

-- same, reversed 0
ddfma371440 fma  1  1.123456789012345     0 -> 1.123456789012345
ddfma371441 fma  1  1.123456789012345E-1  0 -> 0.1123456789012345
ddfma371442 fma  1  1.123456789012345E-2  0 -> 0.01123456789012345
ddfma371443 fma  1  1.123456789012345E-3  0 -> 0.001123456789012345
ddfma371444 fma  1  1.123456789012345E-4  0 -> 0.0001123456789012345
ddfma371445 fma  1  1.123456789012345E-5  0 -> 0.00001123456789012345
ddfma371446 fma  1  1.123456789012345E-6  0 -> 0.000001123456789012345
ddfma371447 fma  1  1.123456789012345E-7  0 -> 1.123456789012345E-7
ddfma371448 fma  1  1.123456789012345E-8  0 -> 1.123456789012345E-8
ddfma371449 fma  1  1.123456789012345E-9  0 -> 1.123456789012345E-9
ddfma371450 fma  1  1.123456789012345E-10 0 -> 1.123456789012345E-10
ddfma371451 fma  1  1.123456789012345E-11 0 -> 1.123456789012345E-11
ddfma371452 fma  1  1.123456789012345E-12 0 -> 1.123456789012345E-12
ddfma371453 fma  1  1.123456789012345E-13 0 -> 1.123456789012345E-13
ddfma371454 fma  1  1.123456789012345E-14 0 -> 1.123456789012345E-14
ddfma371455 fma  1  1.123456789012345E-15 0 -> 1.123456789012345E-15
ddfma371456 fma  1  1.123456789012345E-16 0 -> 1.123456789012345E-16
ddfma371457 fma  1  1.123456789012345E-17 0 -> 1.123456789012345E-17
ddfma371458 fma  1  1.123456789012345E-18 0 -> 1.123456789012345E-18
ddfma371459 fma  1  1.123456789012345E-19 0 -> 1.123456789012345E-19

-- same, Es on the 0
ddfma371460 fma  1  1.123456789012345  0E-0   -> 1.123456789012345
ddfma371461 fma  1  1.123456789012345  0E-1   -> 1.123456789012345
ddfma371462 fma  1  1.123456789012345  0E-2   -> 1.123456789012345
ddfma371463 fma  1  1.123456789012345  0E-3   -> 1.123456789012345
ddfma371464 fma  1  1.123456789012345  0E-4   -> 1.123456789012345
ddfma371465 fma  1  1.123456789012345  0E-5   -> 1.123456789012345
ddfma371466 fma  1  1.123456789012345  0E-6   -> 1.123456789012345
ddfma371467 fma  1  1.123456789012345  0E-7   -> 1.123456789012345
ddfma371468 fma  1  1.123456789012345  0E-8   -> 1.123456789012345
ddfma371469 fma  1  1.123456789012345  0E-9   -> 1.123456789012345
ddfma371470 fma  1  1.123456789012345  0E-10  -> 1.123456789012345
ddfma371471 fma  1  1.123456789012345  0E-11  -> 1.123456789012345
ddfma371472 fma  1  1.123456789012345  0E-12  -> 1.123456789012345
ddfma371473 fma  1  1.123456789012345  0E-13  -> 1.123456789012345
ddfma371474 fma  1  1.123456789012345  0E-14  -> 1.123456789012345
ddfma371475 fma  1  1.123456789012345  0E-15  -> 1.123456789012345
-- next four flag Rounded because the 0 extends the result
ddfma371476 fma  1  1.123456789012345  0E-16  -> 1.123456789012345 Rounded
ddfma371477 fma  1  1.123456789012345  0E-17  -> 1.123456789012345 Rounded
ddfma371478 fma  1  1.123456789012345  0E-18  -> 1.123456789012345 Rounded
ddfma371479 fma  1  1.123456789012345  0E-19  -> 1.123456789012345 Rounded

-- sum of two opposite-sign operands is exactly 0 and floor => -0
rounding:    half_up
-- exact zeros from zeros
ddfma371500 fma  1   0        0E-19  ->  0E-19
ddfma371501 fma  1  -0        0E-19  ->  0E-19
ddfma371502 fma  1   0       -0E-19  ->  0E-19
ddfma371503 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371511 fma  1  -11      11    ->  0
ddfma371512 fma  1   11     -11    ->  0

rounding:    half_down
-- exact zeros from zeros
ddfma371520 fma  1   0        0E-19  ->  0E-19
ddfma371521 fma  1  -0        0E-19  ->  0E-19
ddfma371522 fma  1   0       -0E-19  ->  0E-19
ddfma371523 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371531 fma  1  -11      11    ->  0
ddfma371532 fma  1   11     -11    ->  0

rounding:    half_even
-- exact zeros from zeros
ddfma371540 fma  1   0        0E-19  ->  0E-19
ddfma371541 fma  1  -0        0E-19  ->  0E-19
ddfma371542 fma  1   0       -0E-19  ->  0E-19
ddfma371543 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371551 fma  1  -11      11    ->  0
ddfma371552 fma  1   11     -11    ->  0

rounding:    up
-- exact zeros from zeros
ddfma371560 fma  1   0        0E-19  ->  0E-19
ddfma371561 fma  1  -0        0E-19  ->  0E-19
ddfma371562 fma  1   0       -0E-19  ->  0E-19
ddfma371563 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371571 fma  1  -11      11    ->  0
ddfma371572 fma  1   11     -11    ->  0

rounding:    down
-- exact zeros from zeros
ddfma371580 fma  1   0        0E-19  ->  0E-19
ddfma371581 fma  1  -0        0E-19  ->  0E-19
ddfma371582 fma  1   0       -0E-19  ->  0E-19
ddfma371583 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371591 fma  1  -11      11    ->  0
ddfma371592 fma  1   11     -11    ->  0

rounding:    ceiling
-- exact zeros from zeros
ddfma371600 fma  1   0        0E-19  ->  0E-19
ddfma371601 fma  1  -0        0E-19  ->  0E-19
ddfma371602 fma  1   0       -0E-19  ->  0E-19
ddfma371603 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371611 fma  1  -11      11    ->  0
ddfma371612 fma  1   11     -11    ->  0

-- and the extra-special ugly case; unusual minuses marked by -- *
rounding:    floor
-- exact zeros from zeros
ddfma371620 fma  1   0        0E-19  ->  0E-19
ddfma371621 fma  1  -0        0E-19  -> -0E-19           -- *
ddfma371622 fma  1   0       -0E-19  -> -0E-19           -- *
ddfma371623 fma  1  -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddfma371631 fma  1  -11      11    ->  -0                -- *
ddfma371632 fma  1   11     -11    ->  -0                -- *

-- Examples from SQL proposal (Krishna Kulkarni)
ddfma371701 fma  1  130E-2    120E-2    -> 2.50
ddfma371702 fma  1  130E-2    12E-1     -> 2.50
ddfma371703 fma  1  130E-2    1E0       -> 2.30
ddfma371704 fma  1  1E2       1E4       -> 1.01E+4
ddfma371705 fma  1  130E-2   -120E-2 -> 0.10
ddfma371706 fma  1  130E-2   -12E-1  -> 0.10
ddfma371707 fma  1  130E-2   -1E0    -> 0.30
ddfma371708 fma  1  1E2      -1E4    -> -9.9E+3

-- Gappy coefficients; check residue handling even with full coefficient gap
rounding: half_even

ddfma375001 fma  1  1234567890123456 1      -> 1234567890123457
ddfma375002 fma  1  1234567890123456 0.6    -> 1234567890123457  Inexact Rounded
ddfma375003 fma  1  1234567890123456 0.06   -> 1234567890123456  Inexact Rounded
ddfma375004 fma  1  1234567890123456 6E-3   -> 1234567890123456  Inexact Rounded
ddfma375005 fma  1  1234567890123456 6E-4   -> 1234567890123456  Inexact Rounded
ddfma375006 fma  1  1234567890123456 6E-5   -> 1234567890123456  Inexact Rounded
ddfma375007 fma  1  1234567890123456 6E-6   -> 1234567890123456  Inexact Rounded
ddfma375008 fma  1  1234567890123456 6E-7   -> 1234567890123456  Inexact Rounded
ddfma375009 fma  1  1234567890123456 6E-8   -> 1234567890123456  Inexact Rounded
ddfma375010 fma  1  1234567890123456 6E-9   -> 1234567890123456  Inexact Rounded
ddfma375011 fma  1  1234567890123456 6E-10  -> 1234567890123456  Inexact Rounded
ddfma375012 fma  1  1234567890123456 6E-11  -> 1234567890123456  Inexact Rounded
ddfma375013 fma  1  1234567890123456 6E-12  -> 1234567890123456  Inexact Rounded
ddfma375014 fma  1  1234567890123456 6E-13  -> 1234567890123456  Inexact Rounded
ddfma375015 fma  1  1234567890123456 6E-14  -> 1234567890123456  Inexact Rounded
ddfma375016 fma  1  1234567890123456 6E-15  -> 1234567890123456  Inexact Rounded
ddfma375017 fma  1  1234567890123456 6E-16  -> 1234567890123456  Inexact Rounded
ddfma375018 fma  1  1234567890123456 6E-17  -> 1234567890123456  Inexact Rounded
ddfma375019 fma  1  1234567890123456 6E-18  -> 1234567890123456  Inexact Rounded
ddfma375020 fma  1  1234567890123456 6E-19  -> 1234567890123456  Inexact Rounded
ddfma375021 fma  1  1234567890123456 6E-20  -> 1234567890123456  Inexact Rounded

-- widening second argument at gap
ddfma375030 fma  1  12345678 1                       -> 12345679
ddfma375031 fma  1  12345678 0.1                     -> 12345678.1
ddfma375032 fma  1  12345678 0.12                    -> 12345678.12
ddfma375033 fma  1  12345678 0.123                   -> 12345678.123
ddfma375034 fma  1  12345678 0.1234                  -> 12345678.1234
ddfma375035 fma  1  12345678 0.12345                 -> 12345678.12345
ddfma375036 fma  1  12345678 0.123456                -> 12345678.123456
ddfma375037 fma  1  12345678 0.1234567               -> 12345678.1234567
ddfma375038 fma  1  12345678 0.12345678              -> 12345678.12345678
ddfma375039 fma  1  12345678 0.123456789             -> 12345678.12345679 Inexact Rounded
ddfma375040 fma  1  12345678 0.123456785             -> 12345678.12345678 Inexact Rounded
ddfma375041 fma  1  12345678 0.1234567850            -> 12345678.12345678 Inexact Rounded
ddfma375042 fma  1  12345678 0.1234567851            -> 12345678.12345679 Inexact Rounded
ddfma375043 fma  1  12345678 0.12345678501           -> 12345678.12345679 Inexact Rounded
ddfma375044 fma  1  12345678 0.123456785001          -> 12345678.12345679 Inexact Rounded
ddfma375045 fma  1  12345678 0.1234567850001         -> 12345678.12345679 Inexact Rounded
ddfma375046 fma  1  12345678 0.12345678500001        -> 12345678.12345679 Inexact Rounded
ddfma375047 fma  1  12345678 0.123456785000001       -> 12345678.12345679 Inexact Rounded
ddfma375048 fma  1  12345678 0.1234567850000001      -> 12345678.12345679 Inexact Rounded
ddfma375049 fma  1  12345678 0.1234567850000000      -> 12345678.12345678 Inexact Rounded
--                               90123456
rounding: half_even
ddfma375050 fma  1  12345678 0.0234567750000000      -> 12345678.02345678 Inexact Rounded
ddfma375051 fma  1  12345678 0.0034567750000000      -> 12345678.00345678 Inexact Rounded
ddfma375052 fma  1  12345678 0.0004567750000000      -> 12345678.00045678 Inexact Rounded
ddfma375053 fma  1  12345678 0.0000567750000000      -> 12345678.00005678 Inexact Rounded
ddfma375054 fma  1  12345678 0.0000067750000000      -> 12345678.00000678 Inexact Rounded
ddfma375055 fma  1  12345678 0.0000007750000000      -> 12345678.00000078 Inexact Rounded
ddfma375056 fma  1  12345678 0.0000000750000000      -> 12345678.00000008 Inexact Rounded
ddfma375057 fma  1  12345678 0.0000000050000000      -> 12345678.00000000 Inexact Rounded
ddfma375060 fma  1  12345678 0.0234567750000001      -> 12345678.02345678 Inexact Rounded
ddfma375061 fma  1  12345678 0.0034567750000001      -> 12345678.00345678 Inexact Rounded
ddfma375062 fma  1  12345678 0.0004567750000001      -> 12345678.00045678 Inexact Rounded
ddfma375063 fma  1  12345678 0.0000567750000001      -> 12345678.00005678 Inexact Rounded
ddfma375064 fma  1  12345678 0.0000067750000001      -> 12345678.00000678 Inexact Rounded
ddfma375065 fma  1  12345678 0.0000007750000001      -> 12345678.00000078 Inexact Rounded
ddfma375066 fma  1  12345678 0.0000000750000001      -> 12345678.00000008 Inexact Rounded
ddfma375067 fma  1  12345678 0.0000000050000001      -> 12345678.00000001 Inexact Rounded
-- far-out residues (full coefficient gap is 16+15 digits)
rounding: up
ddfma375070 fma  1  12345678 1E-8                    -> 12345678.00000001
ddfma375071 fma  1  12345678 1E-9                    -> 12345678.00000001 Inexact Rounded
ddfma375072 fma  1  12345678 1E-10                   -> 12345678.00000001 Inexact Rounded
ddfma375073 fma  1  12345678 1E-11                   -> 12345678.00000001 Inexact Rounded
ddfma375074 fma  1  12345678 1E-12                   -> 12345678.00000001 Inexact Rounded
ddfma375075 fma  1  12345678 1E-13                   -> 12345678.00000001 Inexact Rounded
ddfma375076 fma  1  12345678 1E-14                   -> 12345678.00000001 Inexact Rounded
ddfma375077 fma  1  12345678 1E-15                   -> 12345678.00000001 Inexact Rounded
ddfma375078 fma  1  12345678 1E-16                   -> 12345678.00000001 Inexact Rounded
ddfma375079 fma  1  12345678 1E-17                   -> 12345678.00000001 Inexact Rounded
ddfma375080 fma  1  12345678 1E-18                   -> 12345678.00000001 Inexact Rounded
ddfma375081 fma  1  12345678 1E-19                   -> 12345678.00000001 Inexact Rounded
ddfma375082 fma  1  12345678 1E-20                   -> 12345678.00000001 Inexact Rounded
ddfma375083 fma  1  12345678 1E-25                   -> 12345678.00000001 Inexact Rounded
ddfma375084 fma  1  12345678 1E-30                   -> 12345678.00000001 Inexact Rounded
ddfma375085 fma  1  12345678 1E-31                   -> 12345678.00000001 Inexact Rounded
ddfma375086 fma  1  12345678 1E-32                   -> 12345678.00000001 Inexact Rounded
ddfma375087 fma  1  12345678 1E-33                   -> 12345678.00000001 Inexact Rounded
ddfma375088 fma  1  12345678 1E-34                   -> 12345678.00000001 Inexact Rounded
ddfma375089 fma  1  12345678 1E-35                   -> 12345678.00000001 Inexact Rounded

-- desctructive subtraction (from remainder tests)

-- +++ some of these will be off-by-one remainder vs remainderNear

ddfma4000  fma  -1234567890123454   1.000000000000001    1234567890123456  ->  0.765432109876546
ddfma4001  fma  -1234567890123443    1.00000000000001    1234567890123456  ->  0.65432109876557
ddfma4002  fma  -1234567890123332     1.0000000000001    1234567890123456  ->  0.5432109876668
ddfma4003  fma   -308641972530863   4.000000000000001    1234567890123455  ->  2.691358027469137
ddfma4004  fma   -308641972530863   4.000000000000001    1234567890123456  ->  3.691358027469137
ddfma4005  fma   -246913578024696     4.9999999999999    1234567890123456  ->  0.6913578024696
ddfma4006  fma   -246913578024691    4.99999999999999    1234567890123456  ->  3.46913578024691
ddfma4007  fma   -246913578024691   4.999999999999999    1234567890123456  ->  1.246913578024691
ddfma4008  fma   -246913578024691   5.000000000000001    1234567890123456  ->  0.753086421975309
ddfma4009  fma   -246913578024690    5.00000000000001    1234567890123456  ->  3.53086421975310
ddfma4010  fma   -246913578024686     5.0000000000001    1234567890123456  ->  1.3086421975314
ddfma4011  fma  -1234567890123455   1.000000000000001    1234567890123456  ->  -0.234567890123455
ddfma4012  fma  -1234567890123444    1.00000000000001    1234567890123456  ->  -0.34567890123444
ddfma4013  fma  -1234567890123333     1.0000000000001    1234567890123456  ->  -0.4567890123333
ddfma4014  fma   -308641972530864   4.000000000000001    1234567890123455  ->  -1.308641972530864
ddfma4015  fma   -308641972530864   4.000000000000001    1234567890123456  ->  -0.308641972530864
ddfma4016  fma   -246913578024696     4.9999999999999    1234567890123456  ->  0.6913578024696
ddfma4017  fma   -246913578024692    4.99999999999999    1234567890123456  ->  -1.53086421975308
ddfma4018  fma   -246913578024691   4.999999999999999    1234567890123456  ->  1.246913578024691
ddfma4019  fma   -246913578024691   5.000000000000001    1234567890123456  ->  0.753086421975309
ddfma4020  fma   -246913578024691    5.00000000000001    1234567890123456  ->  -1.46913578024691
ddfma4021  fma   -246913578024686     5.0000000000001    1234567890123456  ->  1.3086421975314


-- Null tests
ddfma39990 fma  1  10  # -> NaN Invalid_operation
ddfma39991 fma  1   # 10 -> NaN Invalid_operation