[PATCH] D103255: [LV] Mark increment of main vector loop induction variable as NUW.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:3085
+  //
+  // If the tail is not folded, we know that End - Start >= Step (either
+  // statically or through the minimum iteration checks). We also know that both
----------------
mkazantsev wrote:
> Just to clarify, what exactly is the semantics of `End` here? Is it last used value of IV or the last computed value (that may be not used)?
`End` is the trip-count of the original loop, clamped down to the closest value that is divisible by `Step`. It's compared against against the last computed value of the IV (`Next`) to determine whether to exit the loop or now (compare at line 3096)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103255/new/

https://reviews.llvm.org/D103255