X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FIR%2FDebugInfo.cpp;h=b22ba53645d2c3944275f8e341f8cc3ca88ee4e8;hb=3f45c27d19f4315437d493ed3c9429b57e2cc59c;hp=3ffd13064d4d4b2f487bf50e0714507184a31bca;hpb=125e3d3959eebc6f4c56fe3863ece3f953c14d4e;p=oota-llvm.git diff --git a/lib/IR/DebugInfo.cpp b/lib/IR/DebugInfo.cpp index 3ffd13064d4..b22ba53645d 100644 --- a/lib/IR/DebugInfo.cpp +++ b/lib/IR/DebugInfo.cpp @@ -33,37 +33,13 @@ using namespace llvm; using namespace llvm::dwarf; -//===----------------------------------------------------------------------===// -// Simple Descriptor Constructors and other Methods -//===----------------------------------------------------------------------===// - -DIScopeRef DIScope::getRef() const { return MDScopeRef::get(get()); } - -void DICompileUnit::replaceSubprograms(DIArray Subprograms) { - get()->replaceSubprograms(MDSubprogramArray(Subprograms)); -} - -void DICompileUnit::replaceGlobalVariables(DIArray GlobalVariables) { - get()->replaceGlobalVariables(MDGlobalVariableArray(GlobalVariables)); -} - -DIVariable llvm::createInlinedVariable(MDNode *DV, MDNode *InlinedScope, - LLVMContext &VMContext) { - return cast(DV) - ->withInline(cast_or_null(InlinedScope)); -} - -DIVariable llvm::cleanseInlinedVariable(MDNode *DV, LLVMContext &VMContext) { - return cast(DV)->withoutInline(); -} - -DISubprogram llvm::getDISubprogram(const MDNode *Scope) { - if (auto *LocalScope = dyn_cast_or_null(Scope)) +DISubprogram *llvm::getDISubprogram(const MDNode *Scope) { + if (auto *LocalScope = dyn_cast_or_null(Scope)) return LocalScope->getSubprogram(); return nullptr; } -DISubprogram llvm::getDISubprogram(const Function *F) { +DISubprogram *llvm::getDISubprogram(const Function *F) { // We look for the first instr that has a debug annotation leading back to F. for (auto &BB : *F) { auto Inst = std::find_if(BB.begin(), BB.end(), [](const Instruction &Inst) { @@ -73,24 +49,8 @@ DISubprogram llvm::getDISubprogram(const Function *F) { continue; DebugLoc DLoc = Inst->getDebugLoc(); const MDNode *Scope = DLoc.getInlinedAtScope(); - DISubprogram Subprogram = getDISubprogram(Scope); - return Subprogram->describes(F) ? Subprogram : DISubprogram(); - } - - return DISubprogram(); -} - -DICompositeType llvm::getDICompositeType(DIType T) { - if (auto *C = dyn_cast_or_null(T)) - return C; - - if (auto *D = dyn_cast_or_null(T)) { - // This function is currently used by dragonegg and dragonegg does - // not generate identifier for types, so using an empty map to resolve - // DerivedFrom should be fine. - DITypeIdentifierMap EmptyMap; - return getDICompositeType( - DIDerivedType(D).getTypeDerivedFrom().resolve(EmptyMap)); + auto *Subprogram = getDISubprogram(Scope); + return Subprogram->describes(F) ? Subprogram : nullptr; } return nullptr; @@ -100,20 +60,20 @@ DITypeIdentifierMap llvm::generateDITypeIdentifierMap(const NamedMDNode *CU_Nodes) { DITypeIdentifierMap Map; for (unsigned CUi = 0, CUe = CU_Nodes->getNumOperands(); CUi != CUe; ++CUi) { - DICompileUnit CU = cast(CU_Nodes->getOperand(CUi)); - DIArray Retain = CU.getRetainedTypes(); + auto *CU = cast(CU_Nodes->getOperand(CUi)); + DINodeArray Retain = CU->getRetainedTypes(); for (unsigned Ti = 0, Te = Retain.size(); Ti != Te; ++Ti) { - if (!isa(Retain[Ti])) + if (!isa(Retain[Ti])) continue; - DICompositeType Ty = cast(Retain[Ti]); - if (MDString *TypeId = Ty.getIdentifier()) { + auto *Ty = cast(Retain[Ti]); + if (MDString *TypeId = Ty->getRawIdentifier()) { // Definition has priority over declaration. // Try to insert (TypeId, Ty) to Map. std::pair P = Map.insert(std::make_pair(TypeId, Ty)); // If TypeId already exists in Map and this is a definition, replace // whatever we had (declaration or definition) with the definition. - if (!P.second && !Ty.isForwardDecl()) + if (!P.second && !Ty->isForwardDecl()) P.first->second = Ty; } } @@ -148,9 +108,9 @@ void DebugInfoFinder::processModule(const Module &M) { InitializeTypeMap(M); if (NamedMDNode *CU_Nodes = M.getNamedMetadata("llvm.dbg.cu")) { for (unsigned i = 0, e = CU_Nodes->getNumOperands(); i != e; ++i) { - DICompileUnit CU = cast(CU_Nodes->getOperand(i)); + auto *CU = cast(CU_Nodes->getOperand(i)); addCompileUnit(CU); - for (DIGlobalVariable DIG : CU->getGlobalVariables()) { + for (auto *DIG : CU->getGlobalVariables()) { if (addGlobalVariable(DIG)) { processScope(DIG->getScope()); processType(DIG->getType().resolve(TypeIdentifierMap)); @@ -162,20 +122,22 @@ void DebugInfoFinder::processModule(const Module &M) { processType(ET); for (auto *RT : CU->getRetainedTypes()) processType(RT); - for (DIImportedEntity Import : CU->getImportedEntities()) { + for (auto *Import : CU->getImportedEntities()) { auto *Entity = Import->getEntity().resolve(TypeIdentifierMap); - if (auto *T = dyn_cast(Entity)) + if (auto *T = dyn_cast(Entity)) processType(T); - else if (auto *SP = dyn_cast(Entity)) + else if (auto *SP = dyn_cast(Entity)) processSubprogram(SP); - else if (auto *NS = dyn_cast(Entity)) + else if (auto *NS = dyn_cast(Entity)) processScope(NS->getScope()); + else if (auto *M = dyn_cast(Entity)) + processScope(M->getScope()); } } } } -void DebugInfoFinder::processLocation(const Module &M, DILocation Loc) { +void DebugInfoFinder::processLocation(const Module &M, const DILocation *Loc) { if (!Loc) return; InitializeTypeMap(M); @@ -183,61 +145,65 @@ void DebugInfoFinder::processLocation(const Module &M, DILocation Loc) { processLocation(M, Loc->getInlinedAt()); } -void DebugInfoFinder::processType(DIType DT) { +void DebugInfoFinder::processType(DIType *DT) { if (!addType(DT)) return; - processScope(DT.getContext().resolve(TypeIdentifierMap)); - if (DICompositeType DCT = dyn_cast(DT)) { - processType(DCT.getTypeDerivedFrom().resolve(TypeIdentifierMap)); - if (DISubroutineType ST = dyn_cast(DCT)) { - for (MDTypeRef Ref : ST->getTypeArray()) - processType(Ref.resolve(TypeIdentifierMap)); - return; - } - for (Metadata *D : DCT->getElements()->operands()) { - if (DIType T = dyn_cast(D)) + processScope(DT->getScope().resolve(TypeIdentifierMap)); + if (auto *ST = dyn_cast(DT)) { + for (DITypeRef Ref : ST->getTypeArray()) + processType(Ref.resolve(TypeIdentifierMap)); + return; + } + if (auto *DCT = dyn_cast(DT)) { + processType(DCT->getBaseType().resolve(TypeIdentifierMap)); + for (Metadata *D : DCT->getElements()) { + if (auto *T = dyn_cast(D)) processType(T); - else if (DISubprogram SP = dyn_cast(D)) + else if (auto *SP = dyn_cast(D)) processSubprogram(SP); } - } else if (DIDerivedType DDT = dyn_cast(DT)) { - processType(DDT.getTypeDerivedFrom().resolve(TypeIdentifierMap)); + return; + } + if (auto *DDT = dyn_cast(DT)) { + processType(DDT->getBaseType().resolve(TypeIdentifierMap)); } } -void DebugInfoFinder::processScope(DIScope Scope) { +void DebugInfoFinder::processScope(DIScope *Scope) { if (!Scope) return; - if (DIType Ty = dyn_cast(Scope)) { + if (auto *Ty = dyn_cast(Scope)) { processType(Ty); return; } - if (DICompileUnit CU = dyn_cast(Scope)) { + if (auto *CU = dyn_cast(Scope)) { addCompileUnit(CU); return; } - if (DISubprogram SP = dyn_cast(Scope)) { + if (auto *SP = dyn_cast(Scope)) { processSubprogram(SP); return; } if (!addScope(Scope)) return; - if (auto *LB = dyn_cast(Scope)) { + if (auto *LB = dyn_cast(Scope)) { processScope(LB->getScope()); - } else if (auto *NS = dyn_cast(Scope)) { + } else if (auto *NS = dyn_cast(Scope)) { processScope(NS->getScope()); + } else if (auto *M = dyn_cast(Scope)) { + processScope(M->getScope()); } } -void DebugInfoFinder::processSubprogram(DISubprogram SP) { +void DebugInfoFinder::processSubprogram(DISubprogram *SP) { if (!addSubprogram(SP)) return; processScope(SP->getScope().resolve(TypeIdentifierMap)); processType(SP->getType()); for (auto *Element : SP->getTemplateParams()) { - if (auto *TType = dyn_cast(Element)) { + if (auto *TType = dyn_cast(Element)) { processType(TType->getType().resolve(TypeIdentifierMap)); - } else if (auto *TVal = dyn_cast(Element)) { + } else if (auto *TVal = dyn_cast(Element)) { processType(TVal->getType().resolve(TypeIdentifierMap)); } } @@ -245,12 +211,12 @@ void DebugInfoFinder::processSubprogram(DISubprogram SP) { void DebugInfoFinder::processDeclare(const Module &M, const DbgDeclareInst *DDI) { - MDNode *N = dyn_cast(DDI->getVariable()); + auto *N = dyn_cast(DDI->getVariable()); if (!N) return; InitializeTypeMap(M); - DIVariable DV = dyn_cast(N); + auto *DV = dyn_cast(N); if (!DV) return; @@ -261,12 +227,12 @@ void DebugInfoFinder::processDeclare(const Module &M, } void DebugInfoFinder::processValue(const Module &M, const DbgValueInst *DVI) { - MDNode *N = dyn_cast(DVI->getVariable()); + auto *N = dyn_cast(DVI->getVariable()); if (!N) return; InitializeTypeMap(M); - DIVariable DV = dyn_cast(N); + auto *DV = dyn_cast(N); if (!DV) return; @@ -276,18 +242,18 @@ void DebugInfoFinder::processValue(const Module &M, const DbgValueInst *DVI) { processType(DV->getType().resolve(TypeIdentifierMap)); } -bool DebugInfoFinder::addType(DIType DT) { +bool DebugInfoFinder::addType(DIType *DT) { if (!DT) return false; if (!NodesSeen.insert(DT).second) return false; - TYs.push_back(DT); + TYs.push_back(const_cast(DT)); return true; } -bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) { +bool DebugInfoFinder::addCompileUnit(DICompileUnit *CU) { if (!CU) return false; if (!NodesSeen.insert(CU).second) @@ -297,7 +263,7 @@ bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) { return true; } -bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) { +bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable *DIG) { if (!DIG) return false; @@ -308,7 +274,7 @@ bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) { return true; } -bool DebugInfoFinder::addSubprogram(DISubprogram SP) { +bool DebugInfoFinder::addSubprogram(DISubprogram *SP) { if (!SP) return false; @@ -319,7 +285,7 @@ bool DebugInfoFinder::addSubprogram(DISubprogram SP) { return true; } -bool DebugInfoFinder::addScope(DIScope Scope) { +bool DebugInfoFinder::addScope(DIScope *Scope) { if (!Scope) return false; // FIXME: Ocaml binding generates a scope with no content, we treat it @@ -332,35 +298,6 @@ bool DebugInfoFinder::addScope(DIScope Scope) { return true; } -//===----------------------------------------------------------------------===// -// DIDescriptor: dump routines for all descriptors. -//===----------------------------------------------------------------------===// - -void DIDescriptor::dump() const { - print(dbgs()); - dbgs() << '\n'; -} - -void DIDescriptor::print(raw_ostream &OS) const { - if (!get()) - return; - get()->print(OS); -} - -template <> -DIDescriptor -DIRef::resolve(const DITypeIdentifierMap &Map) const { - return DIDescriptor(DebugNodeRef(Val).resolve(Map)); -} -template <> -DIScope DIRef::resolve(const DITypeIdentifierMap &Map) const { - return MDScopeRef(Val).resolve(Map); -} -template <> -DIType DIRef::resolve(const DITypeIdentifierMap &Map) const { - return MDTypeRef(Val).resolve(Map); -} - bool llvm::stripDebugInfo(Function &F) { bool Changed = false; for (BasicBlock &BB : F) { @@ -399,7 +336,7 @@ bool llvm::StripDebugInfo(Module &M) { for (Module::named_metadata_iterator NMI = M.named_metadata_begin(), NME = M.named_metadata_end(); NMI != NME;) { - NamedMDNode *NMD = NMI; + NamedMDNode *NMD = &*NMI; ++NMI; if (NMD->getName().startswith("llvm.dbg.")) { NMD->eraseFromParent(); @@ -423,17 +360,17 @@ unsigned llvm::getDebugMetadataVersionFromModule(const Module &M) { return 0; } -llvm::DenseMap +DenseMap llvm::makeSubprogramMap(const Module &M) { - DenseMap R; + DenseMap R; NamedMDNode *CU_Nodes = M.getNamedMetadata("llvm.dbg.cu"); if (!CU_Nodes) return R; for (MDNode *N : CU_Nodes->operands()) { - DICompileUnit CUNode = cast(N); - for (DISubprogram SP : CUNode->getSubprograms()) { + auto *CUNode = cast(N); + for (auto *SP : CUNode->getSubprograms()) { if (Function *F = SP->getFunction()) R.insert(std::make_pair(F, SP)); }