https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115344
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Last reconfirmed| |2024-06-05 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- IVOPTs can do this with and I also think without the help of IVCANON which could add a decrementing IV (it only does that for constant number of iterations for some reason). I'm not sure why, for this example, IVOPTs doesn't add a candidate IV that decrements to zero. I see Predict doloop failure due to target specific checks. so the doloop candidate isn't added?