diff options
| -rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 3 | ||||
| -rw-r--r-- | lib/Analysis/AliasAnalysis.cpp | 23 |
2 files changed, 26 insertions, 0 deletions
diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index 5fe9d91..007724d 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -48,6 +48,7 @@ class VAArgInst; class TargetData; class Pass; class AnalysisUsage; +class MemTransferInst; class AliasAnalysis { protected: @@ -135,6 +136,8 @@ public: Location getLocation(const LoadInst *LI); Location getLocation(const StoreInst *SI); Location getLocation(const VAArgInst *VI); + Location getLocationForSource(const MemTransferInst *MTI); + Location getLocationForDest(const MemTransferInst *MTI); /// Alias analysis result - Either we know for sure that it does not alias, we /// know for sure it must alias, or we don't know anything: The two pointers diff --git a/lib/Analysis/AliasAnalysis.cpp b/lib/Analysis/AliasAnalysis.cpp index 94a6d41..f452c9e 100644 --- a/lib/Analysis/AliasAnalysis.cpp +++ b/lib/Analysis/AliasAnalysis.cpp @@ -212,6 +212,29 @@ AliasAnalysis::Location AliasAnalysis::getLocation(const VAArgInst *VI) { VI->getMetadata(LLVMContext::MD_tbaa)); } + +AliasAnalysis::Location +AliasAnalysis::getLocationForSource(const MemTransferInst *MTI) { + uint64_t Size = UnknownSize; + if (ConstantInt *C = dyn_cast<ConstantInt>(MTI->getLength())) + Size = C->getValue().getZExtValue(); + + // FIXME: Can memcpy/memmove have TBAA tags? + return Location(MTI->getRawSource(), Size, 0); +} + +AliasAnalysis::Location +AliasAnalysis::getLocationForDest(const MemTransferInst *MTI) { + uint64_t Size = UnknownSize; + if (ConstantInt *C = dyn_cast<ConstantInt>(MTI->getLength())) + Size = C->getValue().getZExtValue(); + + // FIXME: Can memcpy/memmove have TBAA tags? + return Location(MTI->getRawDest(), Size, 0); +} + + + AliasAnalysis::ModRefResult AliasAnalysis::getModRefInfo(const LoadInst *L, const Location &Loc) { // Be conservative in the face of volatile. |