https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107632
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- I'm kinda tempted to just disable the new optimization on these targets, the handling of compat facets for different float ABIs is impossible to get right.