[llvm] r252171 - Update comment to LoopAccessInfo after r251800. NFC

[Silviu Baranga via llvm-commits]

Author: sbaranga
Date: Thu Nov  5 09:55:41 2015
New Revision: 252171

URL: http://llvm.org/viewvc/llvm-project?rev=252171&view=rev
Log:
Update comment to LoopAccessInfo after r251800. NFC

Modified:
    llvm/trunk/include/llvm/Analysis/LoopAccessAnalysis.h

Modified: llvm/trunk/include/llvm/Analysis/LoopAccessAnalysis.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/LoopAccessAnalysis.h?rev=252171&r1=252170&r2=252171&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/LoopAccessAnalysis.h (original)
+++ llvm/trunk/include/llvm/Analysis/LoopAccessAnalysis.h Thu Nov  5 09:55:41 2015
@@ -503,6 +503,13 @@ private:
 /// generates run-time checks to prove independence.  This is done by
 /// AccessAnalysis::canCheckPtrAtRT and the checks are maintained by the
 /// RuntimePointerCheck class.
+///
+/// If pointers can wrap or can't be expressed as affine AddRec expressions by
+/// ScalarEvolution, we will generate run-time checks by emitting a
+/// SCEVUnionPredicate.
+///
+/// Checks for both memory dependences and SCEV predicates must be emitted in
+/// order for the results of this analysis to be valid.
 class LoopAccessInfo {
 public:
   LoopAccessInfo(Loop *L, ScalarEvolution *SE, const DataLayout &DL,