Common some code from MemoryDependenceAnalysis that will be used in MemorySSA

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@234813 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Daniel Berlin 2015-04-13 23:20:13 +00:00
parent 7ca9328e16
commit e7122e58a1
2 changed files with 14 additions and 17 deletions

View File

@ -145,6 +145,19 @@ public:
Location getLocation(const AtomicRMWInst *RMWI);
static Location getLocationForSource(const MemTransferInst *MTI);
static Location getLocationForDest(const MemIntrinsic *MI);
Location getLocation(const Instruction *Inst) {
if (auto *I = dyn_cast<LoadInst>(Inst))
return getLocation(I);
else if (auto *I = dyn_cast<StoreInst>(Inst))
return getLocation(I);
else if (auto *I = dyn_cast<VAArgInst>(Inst))
return getLocation(I);
else if (auto *I = dyn_cast<AtomicCmpXchgInst>(Inst))
return getLocation(I);
else if (auto *I = dyn_cast<AtomicRMWInst>(Inst))
return getLocation(I);
llvm_unreachable("unsupported memory instruction");
}
/// 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

@ -874,23 +874,7 @@ MemoryDependenceAnalysis::getNonLocalCallDependency(CallSite QueryCS) {
void MemoryDependenceAnalysis::
getNonLocalPointerDependency(Instruction *QueryInst,
SmallVectorImpl<NonLocalDepResult> &Result) {
auto getLocation = [](AliasAnalysis *AA, Instruction *Inst) {
if (auto *I = dyn_cast<LoadInst>(Inst))
return AA->getLocation(I);
else if (auto *I = dyn_cast<StoreInst>(Inst))
return AA->getLocation(I);
else if (auto *I = dyn_cast<VAArgInst>(Inst))
return AA->getLocation(I);
else if (auto *I = dyn_cast<AtomicCmpXchgInst>(Inst))
return AA->getLocation(I);
else if (auto *I = dyn_cast<AtomicRMWInst>(Inst))
return AA->getLocation(I);
else
llvm_unreachable("unsupported memory instruction");
};
const AliasAnalysis::Location Loc = getLocation(AA, QueryInst);
const AliasAnalysis::Location Loc = AA->getLocation(QueryInst);
bool isLoad = isa<LoadInst>(QueryInst);
BasicBlock *FromBB = QueryInst->getParent();
assert(FromBB);