https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114701
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2024-04-12 Status|UNCONFIRMED |NEW Keywords| |missed-optimization Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- There were similar bugs reported already, if not exact dups (b + d being invariant). As with the others this depends on store motion. As with the others the SCCP pass could compute the overall increment to 'a'. SCEV would be required to detect that b + d is invariant and to hoist that.