https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121570

--- Comment #10 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
The first implementation of the IEEE modules intended to be erring on the side
of cautiousness, so I added systematic code to save and restore the FP status.

Indeed, it may be that some IEEE intrinsics can be translated directly into a
standard libc function call, and where the expectations of the Fortran standard
and IEEE language match the guarantees of the libc function, we could avoid
saving/restoring FP state. It may even be that it is the case for most of these
intrinsics.

I would only warn to be cautious, and my reasoning for this is: there are other
Fortran intrinsics to achieve the same goal with lot more relaxed requirements
about exceptions and flags and special values. And most people use those. But
when people use the IEEE intrinsics, it probably means they really expect
conforming behavior :)

Reply via email to