https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95964
--- Comment #2 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > You could use fnspec attributes to improve things but of course open-coding > those as GIMPLE is preferable (last resort is to "fold" the calls to > GIMPLE sequences as powerpc does for select builtins). Yeah, open-coding is another option, if the operation and command-line options are right. Part of the problem though is that the intrinsics are supposed to behave like the associated instructions, including in terms of honouring the rounding mode, etc. They're also not supposed to inherit C's idea of what's undefined behaviour for the closest “equivalent” operators or libm functions. So yeah, I think adding attributes is the way to go in general.
