[PATCH] D10161: [SCEV][LoopVectorize] Allow ScalarEvolution to make assumptions about overflows

[silviu.baranga@arm.com via llvm-commits]

sbaranga updated this revision to Diff 32418.
sbaranga added a comment.
Herald added a subscriber: sanjoy.

Rebased the patch on trunk (which is the largest part of this update).

Moved the SCEV rewriter implementation from the ScalarEvolutionExpressions header
to the ScalarEvolution .cpp file. ScalarEvolution now has methods to perform
the SCEV rewrite.

Renamed the isAlways/isNever methods from SCEVPredicate to isAlwaysTrue/isAlwaysFalse.


http://reviews.llvm.org/D10161

Files:
  include/llvm/Analysis/LoopAccessAnalysis.h
  include/llvm/Analysis/ScalarEvolution.h
  include/llvm/Analysis/ScalarEvolutionExpressions.h
  include/llvm/Transforms/Utils/LoopVersioning.h
  lib/Analysis/LoopAccessAnalysis.cpp
  lib/Analysis/ScalarEvolution.cpp
  lib/Transforms/Scalar/LoopDistribute.cpp
  lib/Transforms/Utils/LoopVersioning.cpp
  lib/Transforms/Vectorize/LoopVectorize.cpp
  test/Transforms/LoopDistribute/distribute-with-overflows.ll
  test/Transforms/LoopVectorize/safegep.ll
  test/Transforms/LoopVectorize/scev-overflow-check.ll
  test/Transforms/LoopVectorize/version-mem-access.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10161.32418.patch
Type: text/x-patch
Size: 91448 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150818/dbafdfcf/attachment-0001.bin>