diff options
| author | Adam Nemet <anemet@apple.com> | 2015-08-19 17:24:36 +0000 |
|---|---|---|
| committer | Adam Nemet <anemet@apple.com> | 2015-08-19 17:24:36 +0000 |
| commit | cdb791cd336af50191660da5d9071474425b4863 (patch) | |
| tree | bf7e1c4dea165859775eec82f24f223129963943 /llvm/lib/Analysis/LoopAccessAnalysis.cpp | |
| parent | febef1b0170227120607b83ee8f90b0241965d37 (diff) | |
| download | bcm5719-llvm-cdb791cd336af50191660da5d9071474425b4863.tar.gz bcm5719-llvm-cdb791cd336af50191660da5d9071474425b4863.zip | |
[LAA] Comment how memchecks are codegened
llvm-svn: 245465
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(); |
