Re: RFR: 8253409: Double-rounding possibility in float fma [v2]

2021-02-23 Thread Joe Darcy
On Tue, 23 Feb 2021 19:11:06 GMT, Brian Burkhalter wrote: > > > Looks fine. Presumably the updated test fails without the source change. Right; the added test case is the failing one from the bug report. It will fail if the old non-intrinsic implementation, that is the Java implementation is

Re: RFR: 8253409: Double-rounding possibility in float fma [v2]

2021-02-23 Thread Brian Burkhalter
On Tue, 23 Feb 2021 07:00:07 GMT, Joe Darcy wrote: >> In floating-point, usually doing an operation to double precision and then >> rounding to float gives the right result in float precision. One exception >> to this is fused multiply add (fma) where "a * b + c" is computed with a >> single r

Re: RFR: 8253409: Double-rounding possibility in float fma [v2]

2021-02-22 Thread Joe Darcy
> In floating-point, usually doing an operation to double precision and then > rounding to float gives the right result in float precision. One exception to > this is fused multiply add (fma) where "a * b + c" is computed with a single > rounding. This requires the equivalent of extra intermedia