https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90007
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- It is not a matter of efficiency, but primarily that RA can't do anything in many cases after propagating hard registers into instructions. This PR is just one of the many cases.