[llvm] [LV] Vectorize bounded (i % 2^N) loads in read only loops w/o RT checks. (PR #207279)

[Ramkumar Ramachandra via llvm-commits]

================

----------------
artagnon wrote:

> Without the code in the legacy decision logic, we would create and add the no-wrap predicate and with that there's no benefit.

Larger question of why the no-wrap predicate is created in the first place? Is it possible to guard the code that creates the no-wrap predicates to verify that the loop doesn't have just bounded reads? Seems like adding a new InstWidening is unnecessary?

https://github.com/llvm/llvm-project/pull/207279