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

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

sbaranga added a comment.

Hi Adam.

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

> I have a high-level question.  How should LoopDist work with SCEVAssumptions?  If you look at alias checks we filter those in includeOnlyCrossPartitionChecks to get rid of unnecessary checks.


That's an interesting problem. Currently we're only making enough assumptions to return true for LAI.canVectorizeMemory() (and LD checks that anyway).
Since it does that, I think it should add all predicates - for the current behaviour.

However if we wouldn't be interested in the answer for canVectorizeMemory() it should be possible to change  MemoryDepChecker::areDepsSafe in LAA such that we have a per-dependence predicate. Then we can ignore the predicates dependences we don't care about. Do you think this approach makes sense?

Thanks,
Silviu


http://reviews.llvm.org/D14240