Teach ScalarEvolution how to reason about no-wrap flags on loops
where the induction variable has a non-unit stride, such as {0,+,2}, and
there are expressions such as {1,+,2} inside the loop formed with
or or add nsw operators.

llvm-svn: 82151
3 files changed
tree: e9935b834d15c7fd68a57e8941b3099c7ee4ec6b
  1. clang/
  2. compiler-rt/
  3. llvm/