https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118952
--- Comment #3 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- (In reply to ktkachov from comment #2) > Thanks, yeah I don't see PR34678 getting generally resolved any time soon. > Is there something we could do with these particular builtins to make them a > stronger optimisation/reordering barrier in the meantime though? Not sure, but it seems unlikely. Scheduling/optimisation barriers are kind of anathema to SSA representations. Given the SSA expressions: a = b + c ... d = a - c it should be possible to fold d to b without having to look through "...". I think we'll just to have to recommend to users that any code written for a particular FPCR setting should be in its own noipa function. That would be: memcpy(&fsrc, &src, 4); double d = (double) fsrc; memcpy(&dst, &d, 8); in the example.