https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81611
--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- Hmm, what the complementary patch won't do is improve the odds of auto_inc or even saving a temp in spaghetti code, rather than in loops. Maybe that's important too? I wonder if we should add the post-increment to the gimple stmt seq after the use of the old value, like IIRC we used to.