https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106253
--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- I guess we'll need different patterns in that case. These builtins are also used to expand ACLE intrinsics, and I think for those we have to honour the prevailing flush-to-zero mode, which makes the functions at best pure rather than const.