https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111601
--- Comment #20 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Manolis/Jeff, how does the pass prove that it found and adjusted all the uses of the register rather than just some (or the first one) as apparently happens on this testcase?