https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84646
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- I have a patch to make forwprop do the loop PHI elimination but then there's no CD-DCE pass after that to remove the loop itself :/ It might be tempting to swap cddce3 and dce7 or turn dce7 into a cd-dce ...
