Skip to content

Commit

Permalink
[PM/AA] Remove the last of the legacy update API from AliasAnalysis as
Browse files Browse the repository at this point in the history
part of simplifying its interface and usage in preparation for porting
to work with the new pass manager.

Note that this will likely expose that we have dead arguments, members,
and maybe even pass requirements for AA. I'll be cleaning those up in
seperate patches. This just zaps the actual update API.

Differential Revision: http://reviews.llvm.org/D11325

llvm-svn: 242881
  • Loading branch information
chandlerc committed Jul 22, 2015
1 parent d86a4f5 commit a1032a0
Show file tree
Hide file tree
Showing 10 changed files with 2 additions and 69 deletions.
20 changes: 0 additions & 20 deletions llvm/include/llvm/Analysis/AliasAnalysis.h
Expand Up @@ -507,26 +507,6 @@ class AliasAnalysis {
uint64_t Size, const ModRefResult Mode) {
return canInstructionRangeModRef(I1, I2, MemoryLocation(Ptr, Size), Mode);
}

//===--------------------------------------------------------------------===//
/// Methods that clients should call when they transform the program to allow
/// alias analyses to update their internal data structures. Note that these
/// methods may be called on any instruction, regardless of whether or not
/// they have pointer-analysis implications.
///

/// deleteValue - This method should be called whenever an LLVM Value is
/// deleted from the program, for example when an instruction is found to be
/// redundant and is eliminated.
///
virtual void deleteValue(Value *V);

/// replaceWithNewValue - This method is the obvious combination of the two
/// above, and it provided as a helper to simplify client code.
///
void replaceWithNewValue(Value *Old, Value *New) {
deleteValue(Old);
}
};

/// isNoAliasCall - Return true if this pointer is returned by a noalias
Expand Down
5 changes: 0 additions & 5 deletions llvm/lib/Analysis/AliasAnalysis.cpp
Expand Up @@ -66,11 +66,6 @@ AliasAnalysis::getArgModRefInfo(ImmutableCallSite CS, unsigned ArgIdx) {
return AA->getArgModRefInfo(CS, ArgIdx);
}

void AliasAnalysis::deleteValue(Value *V) {
assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");
AA->deleteValue(V);
}

AliasAnalysis::ModRefResult
AliasAnalysis::getModRefInfo(Instruction *I, ImmutableCallSite Call) {
// We may have two calls
Expand Down
6 changes: 0 additions & 6 deletions llvm/lib/Analysis/AliasDebugger.cpp
Expand Up @@ -119,12 +119,6 @@ namespace {
assert(Vals.find(Loc.Ptr) != Vals.end() && "Never seen value in AA before");
return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
}

void deleteValue(Value *V) override {
assert(Vals.find(V) != Vals.end() && "Never seen value in AA before");
AliasAnalysis::deleteValue(V);
}

};
}

Expand Down
3 changes: 0 additions & 3 deletions llvm/lib/Analysis/AliasSetTracker.cpp
Expand Up @@ -505,9 +505,6 @@ bool AliasSetTracker::remove(Instruction *I) {
// dangling pointers to deleted instructions.
//
void AliasSetTracker::deleteValue(Value *PtrVal) {
// Notify the alias analysis implementation that this value is gone.
AA.deleteValue(PtrVal);

// If this is a call instruction, remove the callsite from the appropriate
// AliasSet (if present).
if (Instruction *Inst = dyn_cast<Instruction>(PtrVal)) {
Expand Down
1 change: 0 additions & 1 deletion llvm/lib/Analysis/MemoryDependenceAnalysis.cpp
Expand Up @@ -1618,7 +1618,6 @@ void MemoryDependenceAnalysis::removeInstruction(Instruction *RemInst) {


assert(!NonLocalDeps.count(RemInst) && "RemInst got reinserted?");
AA->deleteValue(RemInst);
DEBUG(verifyRemoved(RemInst));
}
/// verifyRemoved - Verify that the specified instruction does not occur
Expand Down
2 changes: 0 additions & 2 deletions llvm/lib/Analysis/NoAliasAnalysis.cpp
Expand Up @@ -71,8 +71,6 @@ namespace {
return ModRef;
}

void deleteValue(Value *V) override {}

/// getAdjustedAnalysisPointer - This method is used when a pass implements
/// an analysis interface through multiple inheritance. If needed, it
/// should override this to adjust the this pointer as needed for the
Expand Down
22 changes: 1 addition & 21 deletions llvm/lib/Transforms/IPO/ArgumentPromotion.cpp
Expand Up @@ -501,7 +501,6 @@ bool ArgPromotion::isSafeToPromoteArgument(Argument *Arg,
if (GEP->use_empty()) {
// Dead GEP's cause trouble later. Just remove them if we run into
// them.
getAnalysis<AliasAnalysis>().deleteValue(GEP);
GEP->eraseFromParent();
// TODO: This runs the above loop over and over again for dead GEPs
// Couldn't we just do increment the UI iterator earlier and erase the
Expand Down Expand Up @@ -743,10 +742,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
F->getParent()->getFunctionList().insert(F, NF);
NF->takeName(F);

// Get the alias analysis information that we need to update to reflect our
// changes.
AliasAnalysis &AA = getAnalysis<AliasAnalysis>();

// Get the callgraph information that we need to update to reflect our
// changes.
CallGraph &CG = getAnalysis<CallGraphWrapperPass>().getCallGraph();
Expand Down Expand Up @@ -873,10 +868,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
Args.clear();
AttributesVec.clear();

// Update the alias analysis implementation to know that we are replacing
// the old call with a new one.
AA.replaceWithNewValue(Call, New);

// Update the callgraph to know that the callsite has been transformed.
CallGraphNode *CalleeNode = CG[Call->getParent()->getParent()];
CalleeNode->replaceCallEdge(CS, CallSite(New), NF_CGN);
Expand Down Expand Up @@ -906,7 +897,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
// new version.
I->replaceAllUsesWith(I2);
I2->takeName(I);
AA.replaceWithNewValue(I, I2);
++I2;
continue;
}
Expand Down Expand Up @@ -935,7 +925,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
// Anything that used the arg should now use the alloca.
I->replaceAllUsesWith(TheAlloca);
TheAlloca->takeName(I);
AA.replaceWithNewValue(I, TheAlloca);

// If the alloca is used in a call, we must clear the tail flag since
// the callee now uses an alloca from the caller.
Expand All @@ -948,10 +937,8 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
continue;
}

if (I->use_empty()) {
AA.deleteValue(I);
if (I->use_empty())
continue;
}

// Otherwise, if we promoted this argument, then all users are load
// instructions (or GEPs with only load users), and all loads should be
Expand All @@ -964,7 +951,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
"Load element should sort to front!");
I2->setName(I->getName()+".val");
LI->replaceAllUsesWith(I2);
AA.replaceWithNewValue(LI, I2);
LI->eraseFromParent();
DEBUG(dbgs() << "*** Promoted load of argument '" << I->getName()
<< "' in function '" << F->getName() << "'\n");
Expand Down Expand Up @@ -1001,10 +987,8 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
while (!GEP->use_empty()) {
LoadInst *L = cast<LoadInst>(GEP->user_back());
L->replaceAllUsesWith(TheArg);
AA.replaceWithNewValue(L, TheArg);
L->eraseFromParent();
}
AA.deleteValue(GEP);
GEP->eraseFromParent();
}
}
Expand All @@ -1013,10 +997,6 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
std::advance(I2, ArgIndices.size());
}

// Tell the alias analysis that the old function is about to disappear.
AA.replaceWithNewValue(F, NF);


NF_CGN->stealCalledFunctionsFrom(CG[F]);

// Now that the old function is dead, delete it. If there is a dangling
Expand Down
2 changes: 0 additions & 2 deletions llvm/lib/Transforms/Utils/BasicBlockUtils.cpp
Expand Up @@ -77,8 +77,6 @@ void llvm::FoldSingleEntryPHINodes(BasicBlock *BB, AliasAnalysis *AA,

if (MemDep)
MemDep->removeInstruction(PN); // Memdep updates AA itself.
else if (AA && isa<PointerType>(PN->getType()))
AA->deleteValue(PN);

PN->eraseFromParent();
}
Expand Down
3 changes: 0 additions & 3 deletions llvm/lib/Transforms/Utils/LoopSimplify.cpp
Expand Up @@ -216,7 +216,6 @@ static PHINode *findPHIToPartitionLoops(Loop *L, AliasAnalysis *AA,
if (Value *V = SimplifyInstruction(PN, DL, nullptr, DT, AC)) {
// This is a degenerate PHI already, don't modify it!
PN->replaceAllUsesWith(V);
if (AA) AA->deleteValue(PN);
PN->eraseFromParent();
continue;
}
Expand Down Expand Up @@ -443,7 +442,6 @@ static BasicBlock *insertUniqueBackedgeBlock(Loop *L, BasicBlock *Preheader,
// eliminate the PHI Node.
if (HasUniqueIncomingValue) {
NewPN->replaceAllUsesWith(UniqueValue);
if (AA) AA->deleteValue(NewPN);
BEBlock->getInstList().erase(NewPN);
}
}
Expand Down Expand Up @@ -618,7 +616,6 @@ static bool simplifyOneLoop(Loop *L, SmallVectorImpl<Loop *> &Worklist,
for (BasicBlock::iterator I = L->getHeader()->begin();
(PN = dyn_cast<PHINode>(I++)); )
if (Value *V = SimplifyInstruction(PN, DL, nullptr, DT, AC)) {
if (AA) AA->deleteValue(PN);
if (SE) SE->forgetValue(PN);
PN->replaceAllUsesWith(V);
PN->eraseFromParent();
Expand Down
7 changes: 1 addition & 6 deletions llvm/lib/Transforms/Vectorize/BBVectorize.cpp
Expand Up @@ -2806,11 +2806,8 @@ namespace {
Instruction *J, Instruction *K,
Instruction *&InsertionPt,
Instruction *&K1, Instruction *&K2) {
if (isa<StoreInst>(I)) {
AA->replaceWithNewValue(I, K);
AA->replaceWithNewValue(J, K);
if (isa<StoreInst>(I))
return;
}

Type *IType = I->getType();
Type *JType = J->getType();
Expand Down Expand Up @@ -3144,8 +3141,6 @@ namespace {
if (!isa<StoreInst>(I)) {
L->replaceAllUsesWith(K1);
H->replaceAllUsesWith(K2);
AA->replaceWithNewValue(L, K1);
AA->replaceWithNewValue(H, K2);
}

// Instructions that may read from memory may be in the load move set.
Expand Down

0 comments on commit a1032a0

Please sign in to comment.