https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61837
--- Comment #4 from Segher Boessenkool <segher at gcc dot gnu.org> --- If the ble 7,.L7 is taken once, it will be taken all of the time, since cr7 isn't assigned to any more -- and then the whole loop does nothing.