RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-01-24 19:44:49 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Handle cases where multiple dbg.declare and dbg.value intrinsics are tied to one alloca.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134549 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2011-07-06 22:06:11 +00:00
parent 78a9f138ae
commit 4fd3c5957e
1 changed files with 58 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
lib/Transforms/Scalar/ScalarReplAggregates.cpp
View File

@ -30,6 +30,7 @@
#include "llvm/LLVMContext.h" #include "llvm/LLVMContext.h"
#include "llvm/Module.h" #include "llvm/Module.h"
#include "llvm/Pass.h" #include "llvm/Pass.h"
#include "llvm/Analysis/DebugInfo.h"
#include "llvm/Analysis/DIBuilder.h" #include "llvm/Analysis/DIBuilder.h"
#include "llvm/Analysis/Dominators.h" #include "llvm/Analysis/Dominators.h"
#include "llvm/Analysis/Loads.h" #include "llvm/Analysis/Loads.h"
@ -1094,21 +1095,37 @@ bool SROA::runOnFunction(Function &F) {
namespace { namespace {
class AllocaPromoter : public LoadAndStorePromoter { class AllocaPromoter : public LoadAndStorePromoter {
AllocaInst *AI; AllocaInst *AI;
DbgDeclareInst *DDI;
DIBuilder *DIB; DIBuilder *DIB;
SmallVector<DbgDeclareInst *, 4> DDIs;
SmallVector<DbgValueInst *, 4> DVIs;
public: public:
AllocaPromoter(const SmallVectorImpl<Instruction*> &Insts, SSAUpdater &S, AllocaPromoter(const SmallVectorImpl<Instruction*> &Insts, SSAUpdater &S,
DIBuilder *DB) DIBuilder *DB)
: LoadAndStorePromoter(Insts, S), AI(0), DDI(0), DIB(DB) {} : LoadAndStorePromoter(Insts, S), AI(0), DIB(DB) {}
void run(AllocaInst *AI, const SmallVectorImpl<Instruction*> &Insts) { void run(AllocaInst *AI, const SmallVectorImpl<Instruction*> &Insts) {
// Remember which alloca we're promoting (for isInstInList). // Remember which alloca we're promoting (for isInstInList).
this->AI = AI; this->AI = AI;
DDI = FindAllocaDbgDeclare(AI); if (MDNode *DebugNode = MDNode::getIfExists(AI->getContext(), AI))
for (Value::use_iterator UI = DebugNode->use_begin(),
E = DebugNode->use_end(); UI != E; ++UI)
if (DbgDeclareInst *DDI = dyn_cast<DbgDeclareInst>(*UI))
DDIs.push_back(DDI);
else if (DbgValueInst *DVI = dyn_cast<DbgValueInst>(*UI))
DVIs.push_back(DVI);
LoadAndStorePromoter::run(Insts); LoadAndStorePromoter::run(Insts);
AI->eraseFromParent(); AI->eraseFromParent();
if (DDI) for (SmallVector<DbgDeclareInst *, 4>::iterator I = DDIs.begin(),
E = DDIs.end(); I != E; ++I) {
DbgDeclareInst *DDI = *I;
DDI->eraseFromParent(); DDI->eraseFromParent();
}
for (SmallVector<DbgValueInst *, 4>::iterator I = DVIs.begin(),
E = DVIs.end(); I != E; ++I) {
DbgValueInst *DVI = *I;
DVI->eraseFromParent();
}
} }
virtual bool isInstInList(Instruction *I, virtual bool isInstInList(Instruction *I,
@ -1118,13 +1135,43 @@ public:
return cast<StoreInst>(I)->getPointerOperand() == AI; return cast<StoreInst>(I)->getPointerOperand() == AI;
} }
virtual void updateDebugInfo(Instruction *I) const { virtual void updateDebugInfo(Instruction *Inst) const {
if (!DDI) for (SmallVector<DbgDeclareInst *, 4>::const_iterator I = DDIs.begin(),
return; E = DDIs.end(); I != E; ++I) {
if (StoreInst *SI = dyn_cast<StoreInst>(I)) DbgDeclareInst *DDI = *I;
ConvertDebugDeclareToDebugValue(DDI, SI, *DIB); if (StoreInst *SI = dyn_cast<StoreInst>(Inst))
else if (LoadInst *LI = dyn_cast<LoadInst>(I)) ConvertDebugDeclareToDebugValue(DDI, SI, *DIB);
ConvertDebugDeclareToDebugValue(DDI, LI, *DIB); else if (LoadInst *LI = dyn_cast<LoadInst>(Inst))
ConvertDebugDeclareToDebugValue(DDI, LI, *DIB);
}
for (SmallVector<DbgValueInst *, 4>::const_iterator I = DVIs.begin(),
E = DVIs.end(); I != E; ++I) {
DbgValueInst *DVI = *I;
if (StoreInst *SI = dyn_cast<StoreInst>(Inst)) {
Instruction *DbgVal = NULL;
// If an argument is zero extended then use argument directly. The ZExt
// may be zapped by an optimization pass in future.
Argument *ExtendedArg = NULL;
if (ZExtInst *ZExt = dyn_cast<ZExtInst>(SI->getOperand(0)))
ExtendedArg = dyn_cast<Argument>(ZExt->getOperand(0));
if (SExtInst *SExt = dyn_cast<SExtInst>(SI->getOperand(0)))
ExtendedArg = dyn_cast<Argument>(SExt->getOperand(0));
if (ExtendedArg)
DbgVal = DIB->insertDbgValueIntrinsic(ExtendedArg, 0,
DIVariable(DVI->getVariable()),
SI);
else
DbgVal = DIB->insertDbgValueIntrinsic(SI->getOperand(0), 0,
DIVariable(DVI->getVariable()),
SI);
DbgVal->setDebugLoc(SI->getDebugLoc());
} else if (LoadInst *LI = dyn_cast<LoadInst>(Inst)) {
Instruction *DbgVal =
DIB->insertDbgValueIntrinsic(LI->getOperand(0), 0,
DIVariable(DVI->getVariable()), LI);
DbgVal->setDebugLoc(LI->getDebugLoc());
}
}
} }
}; };
} // end anon namespace } // end anon namespace