diff --git a/llvm/include/llvm/IR/DebugInfo.h b/llvm/include/llvm/IR/DebugInfo.h index 2a581eb5f09d9..5ed423bfd1c13 100644 --- a/llvm/include/llvm/IR/DebugInfo.h +++ b/llvm/include/llvm/IR/DebugInfo.h @@ -40,7 +40,7 @@ class Module; /// Finds dbg.declare intrinsics declaring local variables as living in the /// memory that 'V' points to. -TinyPtrVector FindDbgDeclareUses(Value *V); +void findDbgDeclares(SmallVectorImpl &DbgUsers, Value *V); /// Finds the llvm.dbg.value intrinsics describing a value. void findDbgValues(SmallVectorImpl &DbgValues, diff --git a/llvm/lib/IR/DebugInfo.cpp b/llvm/lib/IR/DebugInfo.cpp index d532aead90be7..b3cc9996ace45 100644 --- a/llvm/lib/IR/DebugInfo.cpp +++ b/llvm/lib/IR/DebugInfo.cpp @@ -44,25 +44,23 @@ using namespace llvm; using namespace llvm::at; using namespace llvm::dwarf; -TinyPtrVector llvm::FindDbgDeclareUses(Value *V) { +void llvm::findDbgDeclares(SmallVectorImpl &DbgUsers, + Value *V) { // This function is hot. Check whether the value has any metadata to avoid a // DenseMap lookup. if (!V->isUsedByMetadata()) - return {}; + return; auto *L = LocalAsMetadata::getIfExists(V); if (!L) - return {}; + return; auto *MDV = MetadataAsValue::getIfExists(V->getContext(), L); if (!MDV) - return {}; + return; - TinyPtrVector Declares; for (User *U : MDV->users()) { if (auto *DDI = dyn_cast(U)) - Declares.push_back(DDI); + DbgUsers.push_back(DDI); } - - return Declares; } template diff --git a/llvm/lib/Transforms/Coroutines/CoroFrame.cpp b/llvm/lib/Transforms/Coroutines/CoroFrame.cpp index 1134b20880f18..6b85de15947c2 100644 --- a/llvm/lib/Transforms/Coroutines/CoroFrame.cpp +++ b/llvm/lib/Transforms/Coroutines/CoroFrame.cpp @@ -963,7 +963,8 @@ static void cacheDIVar(FrameDataInfo &FrameData, if (DIVarCache.contains(V)) continue; - auto DDIs = FindDbgDeclareUses(V); + SmallVector DDIs; + findDbgDeclares(DDIs, V); auto *I = llvm::find_if(DDIs, [](DbgDeclareInst *DDI) { return DDI->getExpression()->getNumElements() == 0; }); @@ -1119,7 +1120,8 @@ static void buildFrameDebugInfo(Function &F, coro::Shape &Shape, assert(PromiseAlloca && "Coroutine with switch ABI should own Promise alloca"); - TinyPtrVector DIs = FindDbgDeclareUses(PromiseAlloca); + SmallVector DIs; + findDbgDeclares(DIs, PromiseAlloca); if (DIs.empty()) return; @@ -1840,7 +1842,8 @@ static void insertSpills(const FrameDataInfo &FrameData, coro::Shape &Shape) { FrameTy->getElementType(FrameData.getFieldIndex(E.first)), GEP, SpillAlignment, E.first->getName() + Twine(".reload")); - TinyPtrVector DIs = FindDbgDeclareUses(Def); + SmallVector DIs; + findDbgDeclares(DIs, Def); // Try best to find dbg.declare. If the spill is a temp, there may not // be a direct dbg.declare. Walk up the load chain to find one from an // alias. @@ -1854,7 +1857,8 @@ static void insertSpills(const FrameDataInfo &FrameData, coro::Shape &Shape) { CurDef = LdInst->getPointerOperand(); if (!isa(CurDef)) break; - DIs = FindDbgDeclareUses(CurDef); + DIs.clear(); + findDbgDeclares(DIs, CurDef); } } diff --git a/llvm/lib/Transforms/Scalar/SROA.cpp b/llvm/lib/Transforms/Scalar/SROA.cpp index f578762d2b497..9c72cb67e4d64 100644 --- a/llvm/lib/Transforms/Scalar/SROA.cpp +++ b/llvm/lib/Transforms/Scalar/SROA.cpp @@ -4940,10 +4940,13 @@ bool SROA::splitAlloca(AllocaInst &AI, AllocaSlices &AS) { // Migrate debug information from the old alloca to the new alloca(s) // and the individual partitions. TinyPtrVector DbgVariables; - for (auto *DbgDeclare : FindDbgDeclareUses(&AI)) + SmallVector DbgDeclares; + findDbgDeclares(DbgDeclares, &AI); + for (auto *DbgDeclare : DbgDeclares) DbgVariables.push_back(DbgDeclare); for (auto *DbgAssign : at::getAssignmentMarkers(&AI)) DbgVariables.push_back(DbgAssign); + for (DbgVariableIntrinsic *DbgVariable : DbgVariables) { auto *Expr = DbgVariable->getExpression(); DIBuilder DIB(*AI.getModule(), /*AllowUnresolved*/ false); @@ -4997,7 +5000,9 @@ bool SROA::splitAlloca(AllocaInst &AI, AllocaSlices &AS) { // Remove any existing intrinsics on the new alloca describing // the variable fragment. - for (DbgDeclareInst *OldDII : FindDbgDeclareUses(Fragment.Alloca)) { + SmallVector FragDbgDeclares; + findDbgDeclares(FragDbgDeclares, Fragment.Alloca); + for (DbgDeclareInst *OldDII : FragDbgDeclares) { auto SameVariableFragment = [](const DbgVariableIntrinsic *LHS, const DbgVariableIntrinsic *RHS) { return LHS->getVariable() == RHS->getVariable() && @@ -5147,7 +5152,9 @@ bool SROA::deleteDeadInstructions( // not be able to find it. if (AllocaInst *AI = dyn_cast(I)) { DeletedAllocas.insert(AI); - for (DbgDeclareInst *OldDII : FindDbgDeclareUses(AI)) + SmallVector DbgDeclares; + findDbgDeclares(DbgDeclares, AI); + for (DbgDeclareInst *OldDII : DbgDeclares) OldDII->eraseFromParent(); } diff --git a/llvm/lib/Transforms/Utils/Local.cpp b/llvm/lib/Transforms/Utils/Local.cpp index 51f39e0ba0cce..c19a8d103cfcb 100644 --- a/llvm/lib/Transforms/Utils/Local.cpp +++ b/llvm/lib/Transforms/Utils/Local.cpp @@ -2103,7 +2103,8 @@ void llvm::insertDebugValuesForPHIs(BasicBlock *BB, bool llvm::replaceDbgDeclare(Value *Address, Value *NewAddress, DIBuilder &Builder, uint8_t DIExprFlags, int Offset) { - auto DbgDeclares = FindDbgDeclareUses(Address); + SmallVector DbgDeclares; + findDbgDeclares(DbgDeclares, Address); for (DbgVariableIntrinsic *DII : DbgDeclares) { const DebugLoc &Loc = DII->getDebugLoc(); auto *DIVar = DII->getVariable(); diff --git a/llvm/lib/Transforms/Utils/MemoryOpRemark.cpp b/llvm/lib/Transforms/Utils/MemoryOpRemark.cpp index 531b0a624dafa..5c3776683d5d6 100644 --- a/llvm/lib/Transforms/Utils/MemoryOpRemark.cpp +++ b/llvm/lib/Transforms/Utils/MemoryOpRemark.cpp @@ -321,8 +321,9 @@ void MemoryOpRemark::visitVariable(const Value *V, bool FoundDI = false; // Try to get an llvm.dbg.declare, which has a DILocalVariable giving us the // real debug info name and size of the variable. - for (const DbgVariableIntrinsic *DVI : - FindDbgDeclareUses(const_cast(V))) { + SmallVector DbgDeclares; + findDbgDeclares(DbgDeclares, const_cast(V)); + for (const DbgVariableIntrinsic *DVI : DbgDeclares) { if (DILocalVariable *DILV = DVI->getVariable()) { std::optional DISize = getSizeInBytes(DILV->getSizeInBits()); VariableInfo Var{DILV->getName(), DISize};