add "getLocation" method to AliasAnalysis for getting the source and

destination location of a memcpy/memmove.  I'm not clear about whether
TBAA works on these, so I'm leaving it out for now.  Dan, please revisit
this when convenient.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119928 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2010-11-21 07:51:27 +00:00
parent f6f1f062cc
commit e90c5cb747
2 changed files with 26 additions and 0 deletions

View File

@ -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

View File

@ -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.