https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67683
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Right shifts are divisions so the result isn't an affine evolution. Yes, you could enhance the vectorizer to not rely on scalar evolutions (only) for reduction detection.