diff options
author | Johannes Doerfert <johannes@jdoerfert.de> | 2020-01-02 17:20:47 -0600 |
---|---|---|
committer | Johannes Doerfert <johannes@jdoerfert.de> | 2020-01-03 10:43:40 -0600 |
commit | d2d2fb19f7ea3b192247ca2d6995e66229366cec (patch) | |
tree | 1e758e8dcf9812ca0f5f2884c88935faf5a6bb13 /llvm/lib/Transforms/IPO | |
parent | 6b9ee2d6cd9fc3534bb9d7e1582c57f1857e411b (diff) | |
download | bcm5719-llvm-d2d2fb19f7ea3b192247ca2d6995e66229366cec.tar.gz bcm5719-llvm-d2d2fb19f7ea3b192247ca2d6995e66229366cec.zip |
[Attributor][FIX] Allow dead users of rewritten function
If we replace a function with a new one because we rewrite the
signature, dead users may still refer to the old version. With this
patch we reuse the code that deals with dead functions, which the old
versions are, to avoid problems.
Diffstat (limited to 'llvm/lib/Transforms/IPO')
-rw-r--r-- | llvm/lib/Transforms/IPO/Attributor.cpp | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/llvm/lib/Transforms/IPO/Attributor.cpp b/llvm/lib/Transforms/IPO/Attributor.cpp index a8d7eb35b98..ef52775c759 100644 --- a/llvm/lib/Transforms/IPO/Attributor.cpp +++ b/llvm/lib/Transforms/IPO/Attributor.cpp @@ -5727,11 +5727,12 @@ ChangeStatus Attributor::run(Module &M) { } } + STATS_DECL(AAIsDead, Function, "Number of dead functions deleted."); + BUILD_STAT_NAME(AAIsDead, Function) += ToBeDeletedFunctions.size(); + // Rewrite the functions as requested during manifest. ManifestChange = ManifestChange | rewriteFunctionSignatures(); - STATS_DECL(AAIsDead, Function, "Number of dead functions deleted."); - BUILD_STAT_NAME(AAIsDead, Function) += ToBeDeletedFunctions.size(); for (Function *Fn : ToBeDeletedFunctions) { Fn->deleteBody(); Fn->replaceAllUsesWith(UndefValue::get(Fn->getType())); @@ -5890,8 +5891,9 @@ ChangeStatus Attributor::rewriteFunctionSignatures() { NewFn->getBasicBlockList().splice(NewFn->begin(), OldFn->getBasicBlockList()); - // Set of all "call-like" instructions that invoke the old function. - SmallPtrSet<Instruction *, 8> OldCallSites; + // Set of all "call-like" instructions that invoke the old function mapped + // to their new replacements. + SmallVector<std::pair<CallBase *, CallBase *>, 8> CallSitePairs; // Callback to create a new "call-like" instruction for a given one. auto CallSiteReplacementCreator = [&](AbstractCallSite ACS) { @@ -5943,7 +5945,6 @@ ChangeStatus Attributor::rewriteFunctionSignatures() { } // Copy over various properties and the new attributes. - OldCB->replaceAllUsesWith(NewCB); uint64_t W; if (OldCB->extractProfTotalWeight(W)) NewCB->setProfWeight(W); @@ -5954,10 +5955,7 @@ ChangeStatus Attributor::rewriteFunctionSignatures() { Ctx, OldCallAttributeList.getFnAttributes(), OldCallAttributeList.getRetAttributes(), NewArgOperandAttributes)); - bool Inserted = OldCallSites.insert(OldCB).second; - assert(Inserted && "Call site was old twice!"); - (void)Inserted; - + CallSitePairs.push_back({OldCB, NewCB}); return true; }; @@ -5984,11 +5982,15 @@ ChangeStatus Attributor::rewriteFunctionSignatures() { } // Eliminate the instructions *after* we visited all of them. - for (Instruction *OldCallSite : OldCallSites) - OldCallSite->eraseFromParent(); + for (auto &CallSitePair : CallSitePairs) { + CallBase &OldCB = *CallSitePair.first; + CallBase &NewCB = *CallSitePair.second; + OldCB.replaceAllUsesWith(&NewCB); + OldCB.eraseFromParent(); + } + + ToBeDeletedFunctions.insert(OldFn); - assert(OldFn->getNumUses() == 0 && "Unexpected leftover uses!"); - OldFn->eraseFromParent(); Changed = ChangeStatus::CHANGED; } |