https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113295
--- Comment #6 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- For me the miscompilation is in jkdmem_, where we end up allocating the same registers to both arms of an fcsel. It sounds like it occurs elsewhere too. I have a candidate fix, but need to think a bit more about it.