https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96275
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2020-07-22 Blocks| |53947 Ever confirmed|0 |1 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- niter analysis does not provide sth like nonzero bits so the vectorizer tries to derive this on its own but from the niter expression, not by looking at dominating conditions. IMHO it belongs in niter analysis (but there the difficulty is with latch vs. header executions we track). Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947 [Bug 53947] [meta-bug] vectorizer missed-optimizations