X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FIR%2FDebugInfo.cpp;h=2e161c2ba6c12a332bbbf87edf05dae793e868a0;hb=872808e946f3f8be1b30a6672697c2ba8e12f9e1;hp=d7f5f6396aa8e7a708b405b8951037e7eb15a38c;hpb=8ca57e685e7452487232c6e12c2e9a76ee3f4638;p=oota-llvm.git diff --git a/lib/IR/DebugInfo.cpp b/lib/IR/DebugInfo.cpp index d7f5f6396aa..2e161c2ba6c 100644 --- a/lib/IR/DebugInfo.cpp +++ b/lib/IR/DebugInfo.cpp @@ -33,65 +33,13 @@ using namespace llvm; using namespace llvm::dwarf; -//===----------------------------------------------------------------------===// -// Simple Descriptor Constructors and other Methods -//===----------------------------------------------------------------------===// - -DIScopeRef DIScope::getRef() const { return MDScopeRef::get(get()); } - -bool DIVariable::isInlinedFnArgument(const Function *CurFn) { - assert(CurFn && "Invalid function"); - DISubprogram SP = dyn_cast(getContext()); - if (!SP) - return false; - // This variable is not inlined function argument if its scope - // does not describe current function. - return !SP.describes(CurFn); -} - -GlobalVariable *DIGlobalVariable::getGlobal() const { - return dyn_cast_or_null(getConstant()); -} - -void DICompileUnit::replaceSubprograms(DIArray Subprograms) { - get()->replaceSubprograms(MDSubprogramArray(Subprograms)); -} - -void DICompileUnit::replaceGlobalVariables(DIArray GlobalVariables) { - get()->replaceGlobalVariables(MDGlobalVariableArray(GlobalVariables)); -} - -DILocation DILocation::copyWithNewScope(LLVMContext &Ctx, - DILexicalBlockFile NewScope) { - assert(NewScope && "Expected valid scope"); - - const auto *Old = cast(DbgNode); - return DILocation(MDLocation::get(Ctx, Old->getLine(), Old->getColumn(), - NewScope, Old->getInlinedAt())); -} - -unsigned DILocation::computeNewDiscriminator(LLVMContext &Ctx) { - std::pair Key(getFilename().data(), getLineNumber()); - return ++Ctx.pImpl->DiscriminatorTable[Key]; -} - -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) { @@ -101,24 +49,23 @@ 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(); + auto *Subprogram = getDISubprogram(Scope); + return Subprogram->describes(F) ? Subprogram : nullptr; } - return DISubprogram(); + return nullptr; } -DICompositeType llvm::getDICompositeType(DIType T) { - if (auto *C = dyn_cast_or_null(T)) +DICompositeTypeBase *llvm::getDICompositeType(DIType *T) { + if (auto *C = dyn_cast_or_null(T)) return C; - if (auto *D = dyn_cast_or_null(T)) { + 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)); + return getDICompositeType(D->getBaseType().resolve(EmptyMap)); } return nullptr; @@ -128,20 +75,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; } } @@ -176,12 +123,12 @@ 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.getContext()); - processType(DIG.getType().resolve(TypeIdentifierMap)); + processScope(DIG->getScope()); + processType(DIG->getType().resolve(TypeIdentifierMap)); } } for (auto *SP : CU->getSubprograms()) @@ -190,134 +137,132 @@ void DebugInfoFinder::processModule(const Module &M) { processType(ET); for (auto *RT : CU->getRetainedTypes()) processType(RT); - for (DIImportedEntity Import : CU->getImportedEntities()) { - DIDescriptor Entity = Import.getEntity().resolve(TypeIdentifierMap); - if (auto *T = dyn_cast(Entity)) + for (auto *Import : CU->getImportedEntities()) { + auto *Entity = Import->getEntity().resolve(TypeIdentifierMap); + 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()); } } } } -void DebugInfoFinder::processLocation(const Module &M, DILocation Loc) { +void DebugInfoFinder::processLocation(const Module &M, const DILocation *Loc) { if (!Loc) return; InitializeTypeMap(M); - processScope(Loc.getScope()); - processLocation(M, Loc.getOrigLocation()); + processScope(Loc->getScope()); + 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()) + processScope(DT->getScope().resolve(TypeIdentifierMap)); + if (auto *DCT = dyn_cast(DT)) { + processType(DCT->getBaseType().resolve(TypeIdentifierMap)); + if (auto *ST = dyn_cast(DCT)) { + for (DITypeRef Ref : ST->getTypeArray()) processType(Ref.resolve(TypeIdentifierMap)); return; } - for (Metadata *D : DCT->getElements()->operands()) { - if (DIType T = dyn_cast(D)) + 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)); + } else 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 (DILexicalBlock LB = dyn_cast(Scope)) { - processScope(LB.getContext()); - } else if (DINameSpace NS = dyn_cast(Scope)) { - processScope(NS.getContext()); + if (auto *LB = dyn_cast(Scope)) { + processScope(LB->getScope()); + } else if (auto *NS = dyn_cast(Scope)) { + processScope(NS->getScope()); } } -void DebugInfoFinder::processSubprogram(DISubprogram SP) { +void DebugInfoFinder::processSubprogram(DISubprogram *SP) { if (!addSubprogram(SP)) return; - processScope(SP.getContext().resolve(TypeIdentifierMap)); - processType(SP.getType()); - for (auto *Element : SP.getTemplateParams()) { - if (DITemplateTypeParameter TType = - dyn_cast(Element)) { - processType(TType.getType().resolve(TypeIdentifierMap)); - } else if (DITemplateValueParameter TVal = - dyn_cast(Element)) { - processType(TVal.getType().resolve(TypeIdentifierMap)); + processScope(SP->getScope().resolve(TypeIdentifierMap)); + processType(SP->getType()); + for (auto *Element : SP->getTemplateParams()) { + if (auto *TType = dyn_cast(Element)) { + processType(TType->getType().resolve(TypeIdentifierMap)); + } else if (auto *TVal = dyn_cast(Element)) { + processType(TVal->getType().resolve(TypeIdentifierMap)); } } } 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; if (!NodesSeen.insert(DV).second) return; - processScope(DV.getContext()); - processType(DV.getType().resolve(TypeIdentifierMap)); + processScope(DV->getScope()); + processType(DV->getType().resolve(TypeIdentifierMap)); } 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; if (!NodesSeen.insert(DV).second) return; - processScope(DV.getContext()); - processType(DV.getType().resolve(TypeIdentifierMap)); + processScope(DV->getScope()); + 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) @@ -327,7 +272,7 @@ bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) { return true; } -bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) { +bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable *DIG) { if (!DIG) return false; @@ -338,7 +283,7 @@ bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) { return true; } -bool DebugInfoFinder::addSubprogram(DISubprogram SP) { +bool DebugInfoFinder::addSubprogram(DISubprogram *SP) { if (!SP) return false; @@ -349,7 +294,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 @@ -362,70 +307,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); -} - -static void printDebugLoc(DebugLoc DL, raw_ostream &CommentOS, - const LLVMContext &Ctx) { - if (!DL) - return; - - DIScope Scope = cast(DL.getScope()); - // Omit the directory, because it's likely to be long and uninteresting. - CommentOS << Scope.getFilename(); - CommentOS << ':' << DL.getLine(); - if (DL.getCol() != 0) - CommentOS << ':' << DL.getCol(); - - DebugLoc InlinedAtDL = DL.getInlinedAt(); - if (!InlinedAtDL) - return; - - CommentOS << " @[ "; - printDebugLoc(InlinedAtDL, CommentOS, Ctx); - CommentOS << " ]"; -} - -void DIVariable::printExtendedName(raw_ostream &OS) const { - const LLVMContext &Ctx = DbgNode->getContext(); - StringRef Res = getName(); - if (!Res.empty()) - OS << Res << "," << getLineNumber(); - if (auto *InlinedAt = get()->getInlinedAt()) { - if (DebugLoc InlinedAtDL = InlinedAt) { - OS << " @["; - printDebugLoc(InlinedAtDL, OS, Ctx); - 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) { @@ -488,18 +369,18 @@ 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()) { - if (Function *F = SP.getFunction()) + auto *CUNode = cast(N); + for (auto *SP : CUNode->getSubprograms()) { + if (Function *F = SP->getFunction()) R.insert(std::make_pair(F, SP)); } }