[PATCH] D19886: Add ability to use DependenceAnalysis from LoopAccessAnalysis

[Hongbin Zheng via llvm-commits]

etherzhhb added a subscriber: etherzhhb.

================
Comment at: lib/Analysis/LoopAccessAnalysis.cpp:1212
@@ +1211,3 @@
+        // (Src - Sink).
+        Dist = PSE.getSE()->getNegativeSCEV(Dist);
+      }
----------------
In order to address @sbaranga's comment, perhaps we can rewrite Dist with SCEVPredicateRewriter using the existing Predicate from PSE to incorporate the existing runtime checks.  


http://reviews.llvm.org/D19886