https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77714
--- Comment #5 from Bernd Edlinger <edlinger at gcc dot gnu.org> --- (In reply to Thomas Preud'homme from comment #4) > Hi Bernd & Peter, > > Yes the code is still failing on today's trunk. I tested both patch you > propose Bernd and both seems to work. Thanks a lot for such a quick fix! OK, thanks for the confirmation. The problem with the first patch is, that the offset from HFP to SFP may change in a later iteration, but if I change the destination register in the first iteration that instruction wont be fixed up again. However, there are no test cases where that happens. The second patch is correct in itself. But because src != dst register, the chosen thumb1 instruction is less efficient as it was before r240065. In the moment I would think that is no big problem, as it only affects non-local jumps.