https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87871
--- Comment #30 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Is the *movsi_compare0 pattern actually ever a benefit before RA? At least in this case it clearly results in a worse generated code rather than better, and I bet in other cases too, it just ties the hands of the RA too much. I wonder if it better shouldn't be a pattern that is only matched when reload_completed and recognized say by a peephole2 or something similar.