[PATCH] D48409: [SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428).

[Tim Shen via Phabricator via llvm-commits]

timshen created this revision.
timshen added a reviewer: sanjoy.
Herald added subscribers: bixia, javed.absar, hiraditya, jlebar.

Comment on Transforms/LoopVersioning/incorrect-phi.ll: With the change
SCEV is able to prove that the loop doesn't wrap-self (due to zext i16
to i64), disabling the entire loop versioning pass. Removed the zext and
just use i64.


https://reviews.llvm.org/D48409

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/Delinearization/a.ll
  llvm/test/Analysis/Delinearization/iv_times_constant_in_subscript.ll
  llvm/test/Analysis/IVUsers/quadradic-exit-value.ll
  llvm/test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
  llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
  llvm/test/Analysis/ScalarEvolution/different-loops-recs.ll
  llvm/test/Analysis/ScalarEvolution/nsw-offset-assume.ll
  llvm/test/Analysis/ScalarEvolution/nsw-offset.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/predicated-trip-count.ll
  llvm/test/Analysis/ScalarEvolution/sext-mul.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-pow2.ll
  llvm/test/Analysis/ScalarEvolution/zext-mul.ll
  llvm/test/Transforms/LoopVersioning/incorrect-phi.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48409.152209.patch
Type: text/x-patch
Size: 17131 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180621/490918c1/attachment.bin>