[PATCH] [LoopAccesses 1/3] Expose MemoryDepChecker to LAA users

[hfinkel at anl.gov]

================
Comment at: include/llvm/Analysis/LoopAccessAnalysis.h:94
@@ +93,3 @@
+/// This class works under the assumption that we already checked that memory
+/// locations with different underlying pointers are "must-not alias".
+/// We use the ScalarEvolution framework to symbolically evalutate access
----------------
Also, IIRC, this assumption about underlying pointers not aliasing is not quite true (especially after I introduced the alias-set-tracker-based access partitioning), but we should return an 'Unknown' dependence given pointers with different (potentially aliasing) underlying pointers. We should probably remove this statement (unless you feel it is still true).

http://reviews.llvm.org/D8113

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/