https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80430
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-04-20 Blocks| |53947 Target Milestone|8.0 |--- Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. One trivial improvement would be to use scalar_stmt (there's no vector code emitted). Another issue is that we combine the runtime cost model check with the alias checks rather than emitting a separate gimple-cond for this. Plus for a loop nest we should eventually version the whole nest (even if only vectorizing the innermost loop) in case the versioning conditions are invariant in the outer loop. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947 [Bug 53947] [meta-bug] vectorizer missed-optimizations