https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91796 --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Wasn't the whole point of Segher's combiner changes not to propagate hard registers into instructions to leave the RA more in control? Propagating something in some other pass would undo that change.