diff options
Diffstat (limited to 'llvm/lib/Analysis/LoopAccessAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LoopAccessAnalysis.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp index b931589ed04..41499df43cc 100644 --- a/llvm/lib/Analysis/LoopAccessAnalysis.cpp +++ b/llvm/lib/Analysis/LoopAccessAnalysis.cpp @@ -1668,6 +1668,8 @@ std::pair<Instruction *, Instruction *> LoopAccessInfo::addRuntimeChecks( 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(); |
