[PATCH] D14240: Allow Loop Distribute and the loop versioning infrastructure to use SCEV predicates

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

sbaranga created this revision.
sbaranga added a reviewer: anemet.
sbaranga added a subscriber: llvm-commits.
Herald added a subscriber: sanjoy.

LAA currently generates a set of SCEV predicates that must be checked by users.
In the case of Loop Distribute, no such predicates could have been emitted, since
we don't allow stride versioning. However, in the future there could be SCEV
predicates that will need to be checked.

This change adds support for SCEV predicate versioning in the Loop Distribute and
the loop versioning infrastructure.

http://reviews.llvm.org/D14240

Files:
  include/llvm/Transforms/Utils/LoopVersioning.h
  lib/Transforms/Scalar/LoopDistribute.cpp
  lib/Transforms/Utils/LoopVersioning.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14240.38929.patch
Type: text/x-patch
Size: 7112 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151102/70d177ca/attachment.bin>