[llvm] r245465 - [LAA] Comment how memchecks are codegened

[Adam Nemet via llvm-commits]

Author: anemet
Date: Wed Aug 19 12:24:36 2015
New Revision: 245465

URL: http://llvm.org/viewvc/llvm-project?rev=245465&view=rev
Log:
[LAA] Comment how memchecks are codegened

Modified:
    llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp?rev=245465&r1=245464&r2=245465&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/LoopAccessAnalysis.cpp Wed Aug 19 12:24:36 2015
@@ -1668,6 +1668,8 @@ std::pair<Instruction *, Instruction *>
 
   for (const auto &Check : ExpandedChecks) {
     const PointerBounds &A = Check.first, &B = Check.second;
+    // Check if two pointers (A and B) conflict where conflict is computed as:
+    // start(A) <= end(B) && start(B) <= end(A)
     unsigned AS0 = A.Start->getType()->getPointerAddressSpace();
     unsigned AS1 = B.Start->getType()->getPointerAddressSpace();