https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88952
--- Comment #14 from Segher Boessenkool <segher at gcc dot gnu.org> --- Ah no, that is all understood. What I am commenting on is that you have an odd-even register pair (9 and 10), while every GCC I know of and/or tested uses an even-odd pair (10 and 11 usually). Curious.