[Cfp-interest 1934] Re: Fix the inaccuracy of j0f/y0f/j1f/y1f

[Vincent Lefevre]

Paul,

On 2021-02-25 10:13:05 +0100, Paul Zimmermann wrote:
> indeed it is written:
> 
>    [http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2596.pdf]
> 
>    The accuracy of the floating-point operations (+,-,*,/) and of the library functions in <math.h> and <complex.h> that return floating-point results is implementation-defined,  [...]
> 
> I know that the complex operations are not correctly rounded with say gcc,
> but would it be possible that real addition is not correctly rounded? That
> would contradict IEEE 754, no?

This is a general statement (whether Annex F is supported or not).
Annex F (IEEE 754 support) adds correct-rounding requirements.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)