Le 09/01/2022 à 11:52, FX via Fortran a écrit :
ping
Le 2 janv. 2022 à 11:50, FX <fxcoud...@gmail.com> a écrit :
Hi,
This is the first part of a three-patch series to fix PR 82207
(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82207), making gfortran handle
signaling NaNs. This part fixes the library code implementing IEEE_CLASS, by
using the issignaling macro (from TS 18661-1:2014) to check whether a NaN is
signalling.
The patch comes with a testcase, conditional on issignaling support (which will
therefore run on glibc targets), which uses C built-ins to generate signaling
NaNs and checks in Fortran code that they are classified and behave as expected.
Once this is in, the next two parts are:
- Add support for generating signaling NaNs in IEEE_VALUE, which is a longer
patch because it requires moving the IEEE_VALUE library code from Fortran to C
(but will be much more efficient and correct than the current implementation).
- Provide a fallback implementation of issignaling on targets that don’t have
it.
Bootstrapped and regtested on x86_64-pc-gnu-linux. OK to commit?
FX
Hello,
this is touching areas that I don’t know very much, but it looks
reasonable, so without any other comment, please proceed.
Thanks.
