https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34678
--- Comment #35 from Richard Biener <rguenth at gcc dot gnu.org> --- The IFN_ way may be a possibility indeed. I believe a volunteer should first tackle -ftrapv in this way then to see how painful an exercise this is. Note that the issue with FENV access is not so much the operations themselves but the dependence on the fenv accesses which is what is missing at the moment. Without IL adjustments for "special" (non-value, non-memory) dependences the IFNs would need to appear to read and write global memory which may be somewhat detrimental to optimization. This issue doesn't exist for -ftrapv.