[PATCH] D14240: Allow LLE/LD and the loop versioning infrastructure to use SCEV predicates

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

sbaranga added a comment.

In http://reviews.llvm.org/D14240#300560, @anemet wrote:

> Sorry about the delay.  No, I don't think this should hold up further work.
>
> If we want to tag predicates with either the affected dependences or use some other mechanism is an additional improvement to try to reduce the number of predicates.  As long as we keep the threshold for the number predicates low for distribution we should be good.


Thanks, that makes sense to me. FWIW this means that after http://reviews.llvm.org/D14296 and a small update to LLE we should be ready to add the no overflow predicates, so we're not that far away.

-Silviu


http://reviews.llvm.org/D14240