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

hfinkel at anl.gov hfinkel at anl.gov
Sat Mar 7 22:46:00 PST 2015

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).



More information about the llvm-commits mailing list