https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67043
--- Comment #5 from Thomas Preud'homme <thopre01 at gcc dot gnu.org> --- Mmmh, that seems to be because luid are not up-to-date. Running df_recompute_luids before can_move_invariant_reg makes the issue go away.