[llvm] r261633 - Supporting all entities declared in lexical scope in LLVM debug info.

David Blaikie via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 23 10:33:43 PST 2016


On Tue, Feb 23, 2016 at 10:14 AM, Alexey Samsonov <vonosmas at gmail.com>
wrote:

> Could this be responsible for crashes in the bootstrap bot?
>
>
> http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-bootstrap/builds/11031/steps/build%20clang%2Fubsan/logs/stdio
>

Seems likely (& Hans has filed a bug here:
https://llvm.org/bugs/show_bug.cgi?id=26715 )

Could you provide a repro (usual crash report) & feel free to revert both
this and the corresponding clang commit?

(I'm having trouble getting Hans's reproduction to work for me)


>
> On Tue, Feb 23, 2016 at 8:41 AM, David Blaikie via llvm-commits <
> llvm-commits at lists.llvm.org> wrote:
>
>>
>>
>> On Tue, Feb 23, 2016 at 5:36 AM, Amjad Aboud via llvm-commits <
>> llvm-commits at lists.llvm.org> wrote:
>>
>>> Author: aaboud
>>> Date: Tue Feb 23 07:36:51 2016
>>> New Revision: 261633
>>>
>>> URL: http://llvm.org/viewvc/llvm-project?rev=261633&view=rev
>>> Log:
>>> Supporting all entities declared in lexical scope in LLVM debug info.
>>>
>>
>> Great to have this in - thanks so much for sticking with me through all
>> the review/design discussions!
>>
>>
>>>
>>> Differential Revision: http://reviews.llvm.org/D15976
>>>
>>> Added:
>>>     llvm/trunk/test/DebugInfo/X86/PR24008.ll
>>>     llvm/trunk/test/DebugInfo/X86/lexical-block-inline.ll
>>>     llvm/trunk/test/DebugInfo/X86/lexical-block.ll
>>>     llvm/trunk/test/DebugInfo/X86/subprogram-inline.ll
>>> Modified:
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.h
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.h
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
>>>     llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.h
>>>     llvm/trunk/test/DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll
>>>     llvm/trunk/test/DebugInfo/Generic/2010-06-29-InlinedFnLocalVar.ll
>>>     llvm/trunk/test/DebugInfo/Generic/cross-cu-linkonce-distinct.ll
>>>     llvm/trunk/test/DebugInfo/Generic/namespace.ll
>>>     llvm/trunk/test/DebugInfo/Generic/nodebug.ll
>>>     llvm/trunk/test/DebugInfo/Mips/InlinedFnLocalVar.ll
>>>     llvm/trunk/test/DebugInfo/X86/InlinedFnLocalVar.ll
>>>     llvm/trunk/test/DebugInfo/X86/dbg-file-name.ll
>>>     llvm/trunk/test/DebugInfo/X86/debug-dead-local-var.ll
>>>     llvm/trunk/test/DebugInfo/X86/gnu-public-names.ll
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp Tue Feb 23
>>> 07:36:51 2016
>>> @@ -114,10 +114,16 @@ DIE *DwarfCompileUnit::getOrCreateGlobal
>>>
>>>    // Construct the context before querying for the existence of the DIE
>>> in
>>>    // case such construction creates the DIE.
>>> -  DIE *ContextDIE = getOrCreateContextDIE(GVContext);
>>> +  // For Local Scope, do not construct context DIE.
>>> +  bool IsLocalScope = GVContext && isa<DILocalScope>(GVContext);
>>> +  DIE *ContextDIE = IsLocalScope ? nullptr :
>>> getOrCreateContextDIE(GVContext);
>>> +  assert(ContextDIE || IsLocalScope);
>>> +
>>> +  // Create new global variable and add to map.
>>> +  DIE *VariableDIE = IsLocalScope
>>> +                         ? createDIE(GV->getTag(), GV)
>>> +                         : &createAndAddDIE(GV->getTag(), *ContextDIE,
>>> GV);
>>>
>>> -  // Add to map.
>>> -  DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV);
>>>    DIScope *DeclContext;
>>>    if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) {
>>>      DeclContext = resolve(SDMDecl->getScope());
>>> @@ -335,23 +341,15 @@ void DwarfCompileUnit::constructScopeDIE
>>>      if (DD->isLexicalScopeDIENull(Scope))
>>>        return;
>>>
>>> -    unsigned ChildScopeCount;
>>> +    bool HasNonScopeChildren;
>>>
>>>      // We create children here when we know the scope DIE is not going
>>> to be
>>>      // null and the children will be added to the scope DIE.
>>> -    createScopeChildrenDIE(Scope, Children, &ChildScopeCount);
>>> -
>>> -    // Skip imported directives in gmlt-like data.
>>> -    if (!includeMinimalInlineScopes()) {
>>> -      // There is no need to emit empty lexical block DIE.
>>> -      for (const auto *IE : ImportedEntities[DS])
>>> -        Children.push_back(
>>> -            constructImportedEntityDIE(cast<DIImportedEntity>(IE)));
>>> -    }
>>> +    createScopeChildrenDIE(Scope, Children, &HasNonScopeChildren);
>>>
>>>      // If there are only other scopes as children, put them directly in
>>> the
>>>      // parent instead, as this scope would serve no purpose.
>>> -    if (Children.size() == ChildScopeCount) {
>>> +    if (!HasNonScopeChildren) {
>>>        FinalChildren.insert(FinalChildren.end(),
>>>                             std::make_move_iterator(Children.begin()),
>>>                             std::make_move_iterator(Children.end()));
>>> @@ -366,6 +364,7 @@ void DwarfCompileUnit::constructScopeDIE
>>>      ScopeDIE->addChild(std::move(I));
>>>
>>>    FinalChildren.push_back(std::move(ScopeDIE));
>>> +  addLocalScopeDieToLexicalScope(Scope, ScopeDIE);
>>>  }
>>>
>>>  DIE::value_iterator
>>> @@ -558,20 +557,37 @@ DIE *DwarfCompileUnit::constructVariable
>>>
>>>  DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope,
>>>                                                SmallVectorImpl<DIE *>
>>> &Children,
>>> -                                              unsigned
>>> *ChildScopeCount) {
>>> +                                              bool
>>> *HasNonScopeChildren) {
>>>    DIE *ObjectPointer = nullptr;
>>> +  bool HasLocalDclDie = false;
>>> +  auto *DS = Scope->getScopeNode();
>>>
>>>    for (DbgVariable *DV : DU->getScopeVariables().lookup(Scope))
>>>      Children.push_back(constructVariableDIE(*DV, *Scope,
>>> ObjectPointer));
>>>
>>> -  unsigned ChildCountWithoutScopes = Children.size();
>>> +  // Skip local declarations in gmlt-like data.
>>> +  if (!includeMinimalInlineScopes()) {
>>> +    for (const auto *DI : LocalDeclNodes[DS]) {
>>> +      DIE *D = nullptr;
>>> +      if (auto *IE = dyn_cast<DIImportedEntity>(DI))
>>> +        D = getOrCreateImportedEntityDIE(IE);
>>> +      else if (auto *GV = dyn_cast<DIGlobalVariable>(DI))
>>> +        D = getOrCreateGlobalVariableDIE(GV);
>>> +      else if (auto *RT = dyn_cast<DIType>(DI))
>>> +        D = getOrCreateTypeDIE(RT);
>>> +      else
>>> +        llvm_unreachable("Unexpected DI node!");
>>> +      addLocalDclDieToLexicalScope(Scope, D);
>>> +      HasLocalDclDie = true;
>>> +    }
>>> +  }
>>> +
>>> +  if (HasNonScopeChildren)
>>> +    *HasNonScopeChildren = !Children.empty() || HasLocalDclDie;
>>>
>>>    for (LexicalScope *LS : Scope->getChildren())
>>>      constructScopeDIE(LS, Children);
>>>
>>> -  if (ChildScopeCount)
>>> -    *ChildScopeCount = Children.size() - ChildCountWithoutScopes;
>>> -
>>>    return ObjectPointer;
>>>  }
>>>
>>> @@ -613,6 +629,8 @@ DIE *DwarfCompileUnit::createAndAddScope
>>>    for (auto &I : Children)
>>>      ScopeDIE.addChild(std::move(I));
>>>
>>> +  addLocalScopeDieToLexicalScope(Scope, &ScopeDIE);
>>> +
>>>    return ObjectPointer;
>>>  }
>>>
>>> @@ -649,10 +667,20 @@ void DwarfCompileUnit::constructAbstract
>>>      addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer);
>>>  }
>>>
>>> +DIE *DwarfCompileUnit::getOrCreateImportedEntityDIE(
>>> +    const DIImportedEntity *Module) {
>>> +  if (DIE *Die = getDIE(Module))
>>> +    return Die;
>>> +
>>> +  return constructImportedEntityDIE(Module);
>>> +}
>>> +
>>>  DIE *DwarfCompileUnit::constructImportedEntityDIE(
>>>      const DIImportedEntity *Module) {
>>> -  DIE *IMDie = DIE::get(DIEValueAllocator,
>>> (dwarf::Tag)Module->getTag());
>>> -  insertDIE(Module, IMDie);
>>> +
>>> +  assert(!getDIE(Module));
>>> +
>>> +  DIE *IMDie = createDIE(Module->getTag(), Module);
>>>    DIE *EntityDie;
>>>    auto *Entity = resolve(Module->getEntity());
>>>    if (auto *NS = dyn_cast<DINamespace>(Entity))
>>> @@ -679,22 +707,46 @@ DIE *DwarfCompileUnit::constructImported
>>>  }
>>>
>>>  void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram
>>> *SP) {
>>> -  DIE *D = getDIE(SP);
>>> -  if (DIE *AbsSPDIE = DU->getAbstractSPDies().lookup(SP)) {
>>> -    if (D)
>>> +  if (DIE *D = getDIE(SP)) {
>>> +    if (DIE *AbsSPDIE = DU->getAbstractSPDies().lookup(SP))
>>>        // If this subprogram has an abstract definition, reference that
>>>        addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE);
>>> -  } else {
>>> -    if (!D && !includeMinimalInlineScopes())
>>> -      // Lazily construct the subprogram if we didn't see either
>>> concrete or
>>> -      // inlined versions during codegen. (except in -gmlt ^ where we
>>> want
>>> -      // to omit these entirely)
>>> -      D = getOrCreateSubprogramDIE(SP);
>>> -    if (D)
>>> +    else
>>>        // And attach the attributes
>>>        applySubprogramAttributesToDefinition(SP, *D);
>>>    }
>>>  }
>>> +
>>> +void DwarfCompileUnit::finishLocalScopeDefinitions() {
>>> +  for (const auto &I : getLSDieInfoMap()) {
>>> +    auto LSInfo = I.second;
>>> +    // Attach all local dcl DIEs to abstract local scope if available,
>>> +    // otherwise attach it to concrete local scope.
>>> +    DIE *LBDie =
>>> +        LSInfo.AbstractLSDie ? LSInfo.AbstractLSDie :
>>> LSInfo.ConcreteLSDie;
>>> +    assert(LBDie || LSInfo.LocalDclDies.empty());
>>> +    for (auto &D : LSInfo.LocalDclDies)
>>> +      LBDie->addChild(std::move(D));
>>> +
>>> +    if (isa<DISubprogram>(I.first))
>>> +      // For function scope there is nothing else to do.
>>> +      // "abstract_origin" dwarf attribute was added somewhere else.
>>> +      continue;
>>> +
>>> +    if (LSInfo.AbstractLSDie) {
>>> +      // Add "abstract_origin" dwarf attribute to concrete local scope
>>> pointing
>>> +      // to the corresponding abstract local scope.
>>> +      if (LSInfo.ConcreteLSDie)
>>> +        addDIEEntry(*LSInfo.ConcreteLSDie, dwarf::DW_AT_abstract_origin,
>>> +                    *LSInfo.AbstractLSDie);
>>> +      // Add "abstract_origin" dwarf attribute to inline local scope
>>> pointing
>>> +      // to the corresponding abstract local scope.
>>> +      for (auto &L : LSInfo.InlineLSDies)
>>> +        addDIEEntry(*L, dwarf::DW_AT_abstract_origin,
>>> *LSInfo.AbstractLSDie);
>>> +    }
>>> +  }
>>> +}
>>> +
>>>  void DwarfCompileUnit::collectDeadVariables(const DISubprogram *SP) {
>>>    assert(SP && "CU's subprogram list contains a non-subprogram");
>>>    assert(SP->isDefinition() &&
>>> @@ -705,7 +757,7 @@ void DwarfCompileUnit::collectDeadVariab
>>>
>>>    DIE *SPDIE = DU->getAbstractSPDies().lookup(SP);
>>>    if (!SPDIE)
>>> -    SPDIE = getDIE(SP);
>>> +    return;
>>>    assert(SPDIE);
>>>    for (const DILocalVariable *DV : Variables) {
>>>      DbgVariable NewVar(DV, /* IA */ nullptr, DD);
>>> @@ -830,6 +882,30 @@ void DwarfCompileUnit::applySubprogramAt
>>>    addGlobalName(SP->getName(), SPDie, Context);
>>>  }
>>>
>>> +void DwarfCompileUnit::addLocalScopeDieToLexicalScope(LexicalScope *LS,
>>> +                                                      DIE *D) {
>>> +  auto &LSInfo = getLSDieInfoMap()[LS->getScopeNode()];
>>> +  if (LS->isAbstractScope()) {
>>> +    assert(!LSInfo.AbstractLSDie && "Adding abstract LS DIE twice.");
>>> +    LSInfo.AbstractLSDie = D;
>>> +    return;
>>> +  }
>>> +  if (LS->getInlinedAt()) {
>>> +    assert(!LSInfo.InlineLSDies.count(D) && "Adding inline LS DIE
>>> twice.");
>>> +    LSInfo.InlineLSDies.insert(D);
>>> +    return;
>>> +  }
>>> +  assert(!LSInfo.ConcreteLSDie && "Adding cocncrete LS DIE twice.");
>>> +  LSInfo.ConcreteLSDie = D;
>>> +  return;
>>> +}
>>> +
>>> +void DwarfCompileUnit::addLocalDclDieToLexicalScope(LexicalScope *LS,
>>> DIE *D) {
>>> +  auto &LSInfo = getLSDieInfoMap()[LS->getScopeNode()];
>>> +  LSInfo.LocalDclDies.insert(D);
>>> +  return;
>>> +}
>>> +
>>>  bool DwarfCompileUnit::isDwoUnit() const {
>>>    return DD->useSplitDwarf() && Skeleton;
>>>  }
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.h?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.h (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.h Tue Feb 23
>>> 07:36:51 2016
>>> @@ -15,6 +15,7 @@
>>>  #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFCOMPILEUNIT_H
>>>
>>>  #include "DwarfUnit.h"
>>> +#include "llvm/ADT/SetVector.h"
>>>  #include "llvm/ADT/StringRef.h"
>>>  #include "llvm/IR/DebugInfo.h"
>>>  #include "llvm/Support/Dwarf.h"
>>> @@ -48,11 +49,10 @@ class DwarfCompileUnit : public DwarfUni
>>>    /// The start of the unit macro info within macro section.
>>>    MCSymbol *MacroLabelBegin;
>>>
>>> -  typedef llvm::SmallVector<const MDNode *, 8> ImportedEntityList;
>>> -  typedef llvm::DenseMap<const MDNode *, ImportedEntityList>
>>> -  ImportedEntityMap;
>>> +  typedef llvm::SmallVector<const MDNode *, 8> LocalDeclNodeList;
>>> +  typedef llvm::DenseMap<const MDNode *, LocalDeclNodeList>
>>> LocalScopesMap;
>>>
>>> -  ImportedEntityMap ImportedEntities;
>>> +  LocalScopesMap LocalDeclNodes;
>>>
>>>    /// GlobalNames - A map of globally visible named entities for this
>>> unit.
>>>    StringMap<const DIE *> GlobalNames;
>>> @@ -71,6 +71,15 @@ class DwarfCompileUnit : public DwarfUni
>>>    // ranges/locs.
>>>    const MCSymbol *BaseAddress;
>>>
>>> +  struct LocalScopeDieInfo {
>>> +    DIE *ConcreteLSDie = nullptr;
>>> +    DIE *AbstractLSDie = nullptr;
>>> +    SetVector<DIE *> InlineLSDies;
>>> +    SetVector<DIE *> LocalDclDies;
>>> +  };
>>> +  // Collection of local scope DIE info.
>>> +  DenseMap<const MDNode *, LocalScopeDieInfo> LocalScopeDieInfoMap;
>>> +
>>>    /// \brief Construct a DIE for the given DbgVariable without
>>> initializing the
>>>    /// DbgVariable's DIE reference.
>>>    DIE *constructVariableDIEImpl(const DbgVariable &DV, bool Abstract);
>>> @@ -117,8 +126,8 @@ public:
>>>
>>>    unsigned getOrCreateSourceID(StringRef FileName, StringRef DirName)
>>> override;
>>>
>>> -  void addImportedEntity(const DIImportedEntity* IE) {
>>> -    ImportedEntities[IE->getScope()].push_back(IE);
>>> +  void addLocalDeclNode(const DINode *DI, DILocalScope *Scope) {
>>> +    LocalDeclNodes[Scope].push_back(DI);
>>>    }
>>>
>>>    /// addRange - Add an address range to the list of ranges for this
>>> unit.
>>> @@ -166,7 +175,7 @@ public:
>>>    /// A helper function to create children of a Scope DIE.
>>>    DIE *createScopeChildrenDIE(LexicalScope *Scope,
>>>                                SmallVectorImpl<DIE *> &Children,
>>> -                              unsigned *ChildScopeCount = nullptr);
>>> +                              bool *HasNonScopeChildren = nullptr);
>>>
>>>    /// \brief Construct a DIE for this subprogram scope.
>>>    void constructSubprogramScopeDIE(LexicalScope *Scope);
>>> @@ -175,11 +184,15 @@ public:
>>>
>>>    void constructAbstractSubprogramScopeDIE(LexicalScope *Scope);
>>>
>>> +  /// \brief Get or create import_module DIE.
>>> +  DIE *getOrCreateImportedEntityDIE(const DIImportedEntity *Module);
>>>    /// \brief Construct import_module DIE.
>>>    DIE *constructImportedEntityDIE(const DIImportedEntity *Module);
>>>
>>>    void finishSubprogramDefinition(const DISubprogram *SP);
>>>
>>> +  void finishLocalScopeDefinitions();
>>> +
>>>    void collectDeadVariables(const DISubprogram *SP);
>>>
>>>    /// Set the skeleton unit associated with this unit.
>>> @@ -253,6 +266,15 @@ public:
>>>
>>>    void setBaseAddress(const MCSymbol *Base) { BaseAddress = Base; }
>>>    const MCSymbol *getBaseAddress() const { return BaseAddress; }
>>> +
>>> +  DenseMap<const MDNode *, LocalScopeDieInfo> &getLSDieInfoMap() {
>>> +    return LocalScopeDieInfoMap;
>>> +  }
>>> +
>>> +  /// Add local scope DIE entry to lexical scope info.
>>> +  void addLocalScopeDieToLexicalScope(LexicalScope *LS, DIE *D);
>>> +  /// Add local declaration DIE entry to lexical scope info.
>>> +  void addLocalDclDieToLexicalScope(LexicalScope *LS, DIE *D);
>>>  };
>>>
>>>  } // end llvm namespace
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp Tue Feb 23 07:36:51
>>> 2016
>>> @@ -455,6 +455,16 @@ void DwarfDebug::constructAndAddImported
>>>      D->addChild(TheCU.constructImportedEntityDIE(N));
>>>  }
>>>
>>> +bool DwarfDebug::collectLocalScopedNode(DIScope *S, const DINode *N,
>>> +                                        DwarfCompileUnit &CU) {
>>> +  if (auto LS = dyn_cast_or_null<DILocalScope>(S)) {
>>> +    getLocalScopes(LS->getSubprogram()).insert(LS);
>>> +    CU.addLocalDeclNode(N, LS);
>>> +    return true;
>>> +  }
>>> +  return false;
>>> +}
>>> +
>>>  // Emit all Dwarf sections that should come prior to the content. Create
>>>  // global DIEs and emit initial debug info sections. This is invoked by
>>>  // the target AsmPrinter.
>>> @@ -474,10 +484,9 @@ void DwarfDebug::beginModule() {
>>>    for (MDNode *N : CU_Nodes->operands()) {
>>>      auto *CUNode = cast<DICompileUnit>(N);
>>>      DwarfCompileUnit &CU = constructDwarfCompileUnit(CUNode);
>>> -    for (auto *IE : CUNode->getImportedEntities())
>>> -      CU.addImportedEntity(IE);
>>>      for (auto *GV : CUNode->getGlobalVariables())
>>> -      CU.getOrCreateGlobalVariableDIE(GV);
>>> +      if (!collectLocalScopedNode(GV->getScope(), GV, CU))
>>> +        CU.getOrCreateGlobalVariableDIE(GV);
>>>      for (auto *SP : CUNode->getSubprograms())
>>>        SPMap.insert(std::make_pair(SP, &CU));
>>>      for (auto *Ty : CUNode->getEnumTypes()) {
>>> @@ -489,14 +498,17 @@ void DwarfDebug::beginModule() {
>>>        // The retained types array by design contains pointers to
>>>        // MDNodes rather than DIRefs. Unique them here.
>>>        DIType *RT = cast<DIType>(resolve(Ty->getRef()));
>>> -      if (!RT->isExternalTypeRef())
>>> +      if (RT->isExternalTypeRef())
>>>          // There is no point in force-emitting a forward declaration.
>>> +        continue;
>>> +      if (!collectLocalScopedNode(resolve(Ty->getScope()), RT, CU))
>>>          CU.getOrCreateTypeDIE(RT);
>>>      }
>>>      // Emit imported_modules last so that the relevant context is
>>> already
>>>      // available.
>>>      for (auto *IE : CUNode->getImportedEntities())
>>> -      constructAndAddImportedEntityDIE(CU, IE);
>>> +      if (!collectLocalScopedNode(IE->getScope(), IE, CU))
>>> +        constructAndAddImportedEntityDIE(CU, IE);
>>>    }
>>>
>>>    // Tell MMI that we have debug info.
>>> @@ -529,6 +541,11 @@ void DwarfDebug::finishSubprogramDefinit
>>>      });
>>>  }
>>>
>>> +void DwarfDebug::finishLocalScopeDefinitions() {
>>> +  for (const auto &I : CUMap)
>>> +    I.second->finishLocalScopeDefinitions();
>>> +}
>>> +
>>>  // Collect info for variables that were optimized out.
>>>  void DwarfDebug::collectDeadVariables() {
>>>    const Module *M = MMI->getModule();
>>> @@ -554,6 +571,8 @@ void DwarfDebug::finalizeModuleInfo() {
>>>
>>>    finishSubprogramDefinitions();
>>>
>>> +  finishLocalScopeDefinitions();
>>> +
>>>    finishVariableDefinitions();
>>>
>>>    // Collect info for variables that were optimized out.
>>> @@ -1149,6 +1168,9 @@ void DwarfDebug::endFunction(const Machi
>>>        assert(LScopes.getAbstractScopesList().size() == NumAbstractScopes
>>>               && "ensureAbstractVariableIsCreated inserted abstract
>>> scopes");
>>>      }
>>> +    // Assure abstract local scope created for each one contains local
>>> DIEs.
>>> +    for (const DILocalScope *LS : getLocalScopes(SP))
>>> +      LScopes.getOrCreateAbstractScope(LS);
>>>      constructAbstractSubprogramScopeDIE(AScope);
>>>    }
>>>
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.h?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.h (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.h Tue Feb 23 07:36:51
>>> 2016
>>> @@ -211,6 +211,10 @@ class DwarfDebug : public DebugHandlerBa
>>>    /// Size of each symbol emitted (for those symbols that have a
>>> specific size).
>>>    DenseMap<const MCSymbol *, uint64_t> SymSize;
>>>
>>> +  /// Holder for scopes containing local declaration DI nodes per DI
>>> function.
>>> +  DenseMap<const DISubprogram *, SmallPtrSet<const DILocalScope *, 16>>
>>> +      LocalScopesMap;
>>> +
>>>    /// Collection of abstract variables.
>>>    DenseMap<const MDNode *, std::unique_ptr<DbgVariable>>
>>> AbstractVariables;
>>>    SmallVector<std::unique_ptr<DbgVariable>, 64> ConcreteVariables;
>>> @@ -327,6 +331,8 @@ class DwarfDebug : public DebugHandlerBa
>>>
>>>    void finishSubprogramDefinitions();
>>>
>>> +  void finishLocalScopeDefinitions();
>>> +
>>>    /// Finish off debug information after all functions have been
>>>    /// processed.
>>>    void finalizeModuleInfo();
>>> @@ -425,6 +431,11 @@ class DwarfDebug : public DebugHandlerBa
>>>    void constructAndAddImportedEntityDIE(DwarfCompileUnit &TheCU,
>>>                                          const DIImportedEntity *N);
>>>
>>> +  /// Collect MD Node located within local scope node.
>>> +  /// Return true if node was collected, false otherwise.
>>> +  bool collectLocalScopedNode(DIScope *S, const DINode *N,
>>> +                              DwarfCompileUnit &CU);
>>> +
>>>    /// Register a source line with debug info. Returns the unique
>>>    /// label that was emitted and which provides correspondence to the
>>>    /// source line list.
>>> @@ -567,6 +578,12 @@ public:
>>>    SmallPtrSet<const MDNode *, 16> &getProcessedSPNodes() {
>>>      return ProcessedSPNodes;
>>>    }
>>> +
>>> +  /// Return collection of function scopes that contains local
>>> declararion DIEs.
>>> +  SmallPtrSet<const DILocalScope *, 16> &
>>> +  getLocalScopes(const DISubprogram *SP) {
>>> +    return LocalScopesMap[SP];
>>> +  }
>>>  };
>>>  } // End of namespace llvm
>>>
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.cpp?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.cpp (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.cpp Tue Feb 23 07:36:51
>>> 2016
>>> @@ -298,10 +298,15 @@ void DwarfUnit::addDIEEntry(DIE &Die, dw
>>>                 Entry);
>>>  }
>>>
>>> -DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode
>>> *N) {
>>> -  DIE &Die = Parent.addChild(DIE::get(DIEValueAllocator,
>>> (dwarf::Tag)Tag));
>>> +DIE *DwarfUnit::createDIE(unsigned Tag, const DINode *N) {
>>> +  DIE *Die = DIE::get(DIEValueAllocator, (dwarf::Tag)Tag);
>>>    if (N)
>>> -    insertDIE(N, &Die);
>>> +    insertDIE(N, Die);
>>> +  return Die;
>>> +}
>>> +
>>> +DIE &DwarfUnit::createAndAddDIE(unsigned Tag, DIE &Parent, const DINode
>>> *N) {
>>> +  DIE &Die = Parent.addChild(createDIE(Tag, N));
>>>    return Die;
>>>  }
>>>
>>> @@ -727,15 +732,18 @@ DIE *DwarfUnit::getOrCreateTypeDIE(const
>>>
>>>    // Construct the context before querying for the existence of the DIE
>>> in case
>>>    // such construction creates the DIE.
>>> +  // For Local Scope, do not construct context DIE.
>>>    auto *Context = resolve(Ty->getScope());
>>> -  DIE *ContextDIE = getOrCreateContextDIE(Context);
>>> -  assert(ContextDIE);
>>> +  bool IsLocalScope = Context && isa<DILocalScope>(Context);
>>> +  DIE *ContextDIE = IsLocalScope ? nullptr :
>>> getOrCreateContextDIE(Context);
>>> +  assert(ContextDIE || IsLocalScope);
>>>
>>>    if (DIE *TyDIE = getDIE(Ty))
>>>      return TyDIE;
>>>
>>> -  // Create new type.
>>> -  DIE &TyDIE = createAndAddDIE(Ty->getTag(), *ContextDIE, Ty);
>>> +  // Create new type and add to map.
>>> +  DIE &TyDIE = IsLocalScope ? *createDIE(Ty->getTag(), Ty)
>>> +                            : createAndAddDIE(Ty->getTag(),
>>> *ContextDIE, Ty);
>>>
>>>    updateAcceleratorTables(Context, Ty, TyDIE);
>>>
>>>
>>> Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.h
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.h?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.h (original)
>>> +++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfUnit.h Tue Feb 23 07:36:51
>>> 2016
>>> @@ -298,6 +298,9 @@ public:
>>>    /// Construct function argument DIEs.
>>>    void constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args);
>>>
>>> +  /// Create a DIE with the given Tag, and call insertDIE if MD is not
>>> null.
>>> +  DIE *createDIE(unsigned Tag, const DINode *N = nullptr);
>>> +
>>>    /// Create a DIE with the given Tag, add the DIE to its parent, and
>>>    /// call insertDIE if MD is not null.
>>>    DIE &createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N =
>>> nullptr);
>>>
>>> Modified: llvm/trunk/test/DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll
>>> (original)
>>> +++ llvm/trunk/test/DebugInfo/Generic/2010-04-06-NestedFnDbgInfo.ll Tue
>>> Feb 23 07:36:51 2016
>>> @@ -74,7 +74,7 @@ entry:
>>>  !1 = distinct !DILexicalBlock(line: 15, column: 12, file: !38, scope:
>>> !2)
>>>  !2 = distinct !DISubprogram(name: "main", linkageName: "main", line:
>>> 15, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized:
>>> false, scopeLine: 15, file: !38, scope: !3, type: !5)
>>>  !3 = !DIFile(filename: "one.cc", directory: "/tmp")
>>> -!4 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer:
>>> "clang 1.5", isOptimized: false, emissionKind: 0, file: !38, enums: !39,
>>> retainedTypes: !39, subprograms: !37, imports:  null)
>>> +!4 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer:
>>> "clang 1.5", isOptimized: false, emissionKind: 0, file: !38, enums: !39,
>>> retainedTypes: !41, subprograms: !37, imports:  null)
>>>  !5 = !DISubroutineType(types: !6)
>>>  !6 = !{!7}
>>>  !7 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align:
>>> 32, encoding: DW_ATE_signed)
>>> @@ -112,3 +112,4 @@ entry:
>>>  !38 = !DIFile(filename: "one.cc", directory: "/tmp")
>>>  !39 = !{}
>>>  !40 = !{i32 1, !"Debug Info Version", i32 3}
>>> +!41 = !{!21}
>>> \ No newline at end of file
>>>
>>> Modified:
>>> llvm/trunk/test/DebugInfo/Generic/2010-06-29-InlinedFnLocalVar.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/2010-06-29-InlinedFnLocalVar.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Generic/2010-06-29-InlinedFnLocalVar.ll
>>> (original)
>>> +++ llvm/trunk/test/DebugInfo/Generic/2010-06-29-InlinedFnLocalVar.ll
>>> Tue Feb 23 07:36:51 2016
>>> @@ -27,7 +27,7 @@ entry:
>>>
>>>  !0 = distinct !DISubprogram(name: "foo", line: 9, isLocal: true,
>>> isDefinition: true, virtualIndex: 6, isOptimized: true, scopeLine: 9, file:
>>> !27, scope: !1, type: !3, variables: !24)
>>>  !1 = !DIFile(filename: "bar.c", directory: "/tmp/")
>>> -!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !20, subprograms:
>>> !25, globals: !26, imports:  !20)
>>> +!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !61, subprograms:
>>> !25, globals: !26, imports:  !20)
>>>  !3 = !DISubroutineType(types: !4)
>>>  !4 = !{!5, !5}
>>>  !5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align:
>>> 32, encoding: DW_ATE_signed)
>>> @@ -39,6 +39,7 @@ entry:
>>>
>>>  !59 = !DILocalVariable(name: "j", line: 9, arg: 1, scope: !0, file: !1,
>>> type: !5)
>>>  !60 = !DILocalVariable(name: "xyz", line: 10, scope: !11, file: !1,
>>> type: !12)
>>> +!61 = !{!12}
>>>
>>>  !11 = distinct !DILexicalBlock(line: 9, column: 0, file: !1, scope: !0)
>>>  !12 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", line: 10,
>>> size: 64, align: 32, file: !27, scope: !0, elements: !13)
>>>
>>> Modified: llvm/trunk/test/DebugInfo/Generic/cross-cu-linkonce-distinct.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/cross-cu-linkonce-distinct.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Generic/cross-cu-linkonce-distinct.ll
>>> (original)
>>> +++ llvm/trunk/test/DebugInfo/Generic/cross-cu-linkonce-distinct.ll Tue
>>> Feb 23 07:36:51 2016
>>> @@ -32,7 +32,7 @@
>>>  ; CHECK:     DW_AT_name {{.*}} "func"
>>>  ; CHECK: DW_TAG_compile_unit
>>>
>>> -; FIXME: Maybe we should drop the subprogram here - since the function
>>> was
>>> +; Check that the subprogram is dropped in this CU - since the function
>>> was
>>>  ; emitted in one CU, due to linkonce_odr uniquing. We certainly don't
>>> emit the
>>>  ; subprogram here if the source location for this definition is the
>>> same (see
>>>  ; test/DebugInfo/cross-cu-linkonce.ll), though it's very easy to tickle
>>> that
>>> @@ -43,7 +43,7 @@
>>>  ; directory of the source file even though the file name is absolute,
>>> not
>>>  ; relative)
>>>
>>> -; CHECK: DW_TAG_subprogram
>>> +; CHECK-NOT: DW_TAG_subprogram
>>>
>>>  @x = global i32 (i32)* @_Z4funci, align 8
>>>  @y = global i32 (i32)* @_Z4funci, align 8
>>> @@ -64,7 +64,7 @@ declare void @llvm.dbg.declare(metadata,
>>>  attributes #0 = { inlinehint nounwind uwtable
>>> "less-precise-fpmad"="false" "no-frame-pointer-elim"="true"
>>> "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false"
>>> "no-nans-fp-math"="false" "stack-protector-buffer-size"="8"
>>> "unsafe-fp-math"="false" "use-soft-float"="false" }
>>>  attributes #1 = { nounwind readnone }
>>>
>>> -!llvm.dbg.cu = !{!12, !0}
>>> +!llvm.dbg.cu = !{!0, !12}
>>>  !llvm.module.flags = !{!19, !20}
>>>  !llvm.ident = !{!21, !21}
>>>
>>>
>>> Modified: llvm/trunk/test/DebugInfo/Generic/namespace.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/namespace.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Generic/namespace.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/Generic/namespace.ll Tue Feb 23 07:36:51
>>> 2016
>>> @@ -23,6 +23,11 @@
>>>  ; CHECK-NOT: NULL
>>>  ; CHECK: [[BAR:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
>>>  ; CHECK-NEXT: DW_AT_name{{.*}}= "bar"
>>> +; CHECK: DW_TAG_subprogram
>>> +; CHECK-NOT: DW_TAG
>>> +; CHECK: DW_AT_MIPS_linkage_name
>>> +; CHECK-NOT: DW_TAG
>>> +; CHECK: DW_AT_name{{.*}}= "f1"
>>>  ; CHECK: [[FUNC1:.*]]: DW_TAG_subprogram
>>>  ; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_MIPS_linkage_name
>>> @@ -45,11 +50,6 @@
>>>  ; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_name{{.*}}= "func_fwd"
>>>  ; CHECK-NOT: DW_AT_declaration
>>> -; CHECK: DW_TAG_subprogram
>>> -; CHECK-NOT: DW_TAG
>>> -; CHECK: DW_AT_MIPS_linkage_name
>>> -; CHECK-NOT: DW_TAG
>>> -; CHECK: DW_AT_name{{.*}}= "f1"
>>>  ; CHECK: NULL
>>>
>>>  ; CHECK-NOT: NULL
>>> @@ -71,10 +71,23 @@
>>>
>>>  ; CHECK: DW_TAG_subprogram
>>>  ; CHECK-NOT: DW_TAG
>>> +; CHECK: DW_AT_name{{.*}}= "__cxx_global_var_init"
>>> +; CHECK-NOT: DW_TAG
>>> +
>>> +; CHECK: DW_TAG_subprogram
>>> +; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_MIPS_linkage_name
>>>  ; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_name{{.*}}= "func"
>>>  ; CHECK-NOT: NULL
>>> +; CHECK: DW_TAG_lexical_block
>>> +; CHECK-NOT: NULL
>>> +; CHECK: DW_TAG_imported_module
>>> +; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
>>> +; CHECK-NEXT: DW_AT_decl_line{{.*}}(23)
>>> +; CHECK-NEXT: DW_AT_import{{.*}}=>
>>> +; CHECK: NULL
>>> +; CHECK-NOT: NULL
>>>  ; CHECK: DW_TAG_imported_module
>>>  ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
>>>  ; CHECK-NEXT: DW_AT_decl_line{{.*}}(26)
>>> @@ -134,13 +147,6 @@
>>>  ; CHECK-NEXT: DW_AT_decl_line{{.*}}(37)
>>>  ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FUNC_FWD]]})
>>>
>>> -; CHECK: DW_TAG_lexical_block
>>> -; CHECK-NOT: NULL
>>> -; CHECK: DW_TAG_imported_module
>>> -; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
>>> -; CHECK-NEXT: DW_AT_decl_line{{.*}}(23)
>>> -; CHECK-NEXT: DW_AT_import{{.*}}=>
>>> -; CHECK: NULL
>>>  ; CHECK: NULL
>>>  ; CHECK: NULL
>>>
>>>
>>> Modified: llvm/trunk/test/DebugInfo/Generic/nodebug.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/nodebug.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Generic/nodebug.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/Generic/nodebug.ll Tue Feb 23 07:36:51 2016
>>> @@ -16,10 +16,8 @@
>>>  ;   f1();
>>>  ; }
>>>
>>> -; Check that there's only one DW_TAG_subprogram, nothing for the 'f2'
>>> function.
>>> -; CHECK: DW_TAG_subprogram
>>> -; CHECK-NOT: DW_TAG
>>> -; CHECK:   DW_AT_name {{.*}} "f1"
>>> +; Check that there is no DW_TAG_subprogram, nothing for the 'f2'
>>> function.
>>> +; Note: No debug info was emitted for 'f1' function because it has no
>>> code.
>>>  ; CHECK-NOT: DW_TAG_subprogram
>>>
>>>  @i = external global i32
>>>
>>> Modified: llvm/trunk/test/DebugInfo/Mips/InlinedFnLocalVar.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Mips/InlinedFnLocalVar.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/Mips/InlinedFnLocalVar.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/Mips/InlinedFnLocalVar.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -27,7 +27,7 @@ entry:
>>>
>>>  !0 = distinct !DISubprogram(name: "foo", line: 9, isLocal: true,
>>> isDefinition: true, virtualIndex: 6, isOptimized: true, scopeLine: 9, file:
>>> !27, scope: !1, type: !3, variables: !24)
>>>  !1 = !DIFile(filename: "bar.c", directory: "/tmp/")
>>> -!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !20, subprograms:
>>> !25, globals: !26, imports:  !20)
>>> +!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !61, subprograms:
>>> !25, globals: !26, imports:  !20)
>>>  !3 = !DISubroutineType(types: !4)
>>>  !4 = !{!5, !5}
>>>  !5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align:
>>> 32, encoding: DW_ATE_signed)
>>> @@ -39,6 +39,7 @@ entry:
>>>
>>>  !59 = !DILocalVariable(name: "j", line: 9, arg: 1, scope: !0, file: !1,
>>> type: !5)
>>>  !60 = !DILocalVariable(name: "xyz", line: 10, scope: !11, file: !1,
>>> type: !12)
>>> +!61 = !{!12}
>>>
>>>  !11 = distinct !DILexicalBlock(line: 9, column: 0, file: !1, scope: !0)
>>>  !12 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", line: 10,
>>> size: 64, align: 32, file: !27, scope: !0, elements: !13)
>>>
>>> Modified: llvm/trunk/test/DebugInfo/X86/InlinedFnLocalVar.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/InlinedFnLocalVar.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/InlinedFnLocalVar.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/X86/InlinedFnLocalVar.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -27,7 +27,7 @@ entry:
>>>
>>>  !0 = distinct !DISubprogram(name: "foo", line: 9, isLocal: true,
>>> isDefinition: true, virtualIndex: 6, isOptimized: true, scopeLine: 9, file:
>>> !27, scope: !1, type: !3, variables: !24)
>>>  !1 = !DIFile(filename: "bar.c", directory: "/tmp/")
>>> -!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !20, subprograms:
>>> !25, globals: !26, imports:  !20)
>>> +!2 = distinct !DICompileUnit(language: DW_LANG_C89, producer: "4.2.1
>>> (Based on Apple Inc. build 5658) (LLVM build)", isOptimized: true,
>>> emissionKind: 0, file: !27, enums: !20, retainedTypes: !111, subprograms:
>>> !25, globals: !26, imports:  !20)
>>>  !3 = !DISubroutineType(types: !4)
>>>  !4 = !{!5, !5}
>>>  !5 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align:
>>> 32, encoding: DW_ATE_signed)
>>> @@ -39,6 +39,7 @@ entry:
>>>
>>>  !109 = !DILocalVariable(name: "j", line: 9, arg: 1, scope: !0, file:
>>> !1, type: !5)
>>>  !110 = !DILocalVariable(name: "xyz", line: 10, scope: !11, file: !1,
>>> type: !12)
>>> +!111 = !{!12}
>>>
>>>  !11 = distinct !DILexicalBlock(line: 9, column: 0, file: !1, scope: !0)
>>>  !12 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", line: 10,
>>> size: 64, align: 32, file: !27, scope: !0, elements: !13)
>>>
>>> Added: llvm/trunk/test/DebugInfo/X86/PR24008.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/PR24008.ll?rev=261633&view=auto
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/PR24008.ll (added)
>>> +++ llvm/trunk/test/DebugInfo/X86/PR24008.ll Tue Feb 23 07:36:51 2016
>>> @@ -0,0 +1,67 @@
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -filetype=obj -O0 < %s  |
>>> llvm-dwarfdump -debug-dump=info - | FileCheck %s
>>> +
>>> +;; This test checks the following:
>>> +;; 1. Compilation does not crash
>>> +;; 2. "f1" function is defined.
>>> +;; 3. "nested::f2" function is not defined.
>>> +;;
>>> +;; This test was generated by running following command:
>>> +;; clang -cc1 -O0 -g -emit-llvm foo.cpp -o - | opt -S -inline -sroa
>>> +;; Where test.cpp
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +;;void f1() {
>>> +;;  while (true) {
>>> +;;    struct nested {
>>> +;;      static void f2() {}
>>> +;;    };
>>> +;;    nested::f2();
>>> +;;  }
>>> +;;}
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +
>>> +; CHECK:      DW_TAG_compile_unit
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "f1"
>>> +; CHECK:        NULL
>>> +
>>> +; CHECK-NOT: DW_TAG_subprogram
>>> +
>>> +
>>> +; Function Attrs: nounwind
>>> +define void @_Z2f1v() #0 !dbg !6 {
>>> +entry:
>>> +  br label %while.body, !dbg !16
>>> +
>>> +while.body:                                       ; preds =
>>> %while.body, %entry
>>> +  br label %while.body, !dbg !16
>>> +
>>> +return:                                           ; No predecessors!
>>> +  ret void, !dbg !17
>>> +}
>>> +
>>> +attributes #0 = { nounwind "disable-tail-calls"="false"
>>> "less-precise-fpmad"="false" "no-frame-pointer-elim"="false"
>>> "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack"
>>> "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2"
>>> "unsafe-fp-math"="false" "use-soft-float"="false" }
>>> +
>>> +!llvm.dbg.cu = !{!0}
>>> +!llvm.module.flags = !{!13, !14}
>>> +!llvm.ident = !{!15}
>>> +
>>> +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)",
>>> isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2,
>>> retainedTypes: !3, subprograms: !11)
>>> +!1 = !DIFile(filename: "foo.cpp", directory: "/")
>>> +!2 = !{}
>>> +!3 = !{!4}
>>> +!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "nested",
>>> scope: !5, file: !1, line: 3, size: 8, align: 8, elements: !9)
>>> +!5 = distinct !DILexicalBlock(scope: !6, file: !1, line: 2)
>>> +!6 = distinct !DISubprogram(name: "f1", linkageName: "_Z2f1v", scope:
>>> !1, file: !1, line: 1, type: !7, isLocal: false, isDefinition: true,
>>> scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, variables: !2)
>>> +!7 = !DISubroutineType(types: !8)
>>> +!8 = !{null}
>>> +!9 = !{!10}
>>> +!10 = distinct !DISubprogram(name: "f2", scope: !4, file: !1, line: 4,
>>> type: !7, isLocal: false, isDefinition: false, scopeLine: 4, flags:
>>> DIFlagPrototyped, isOptimized: false)
>>> +!11 = !{!6, !12}
>>> +!12 = distinct !DISubprogram(name: "f2", linkageName:
>>> "_ZZ2f1vEN6nested2f2Ev", scope: !4, file: !1, line: 4, type: !7, isLocal:
>>> true, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped,
>>> isOptimized: false, declaration: !10, variables: !2)
>>> +!13 = !{i32 2, !"Dwarf Version", i32 4}
>>> +!14 = !{i32 2, !"Debug Info Version", i32 3}
>>> +!15 = !{!"clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)"}
>>> +!16 = !DILocation(line: 2, scope: !6)
>>> +!17 = !DILocation(line: 8, scope: !6)
>>>
>>> Modified: llvm/trunk/test/DebugInfo/X86/dbg-file-name.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/dbg-file-name.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/dbg-file-name.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/X86/dbg-file-name.ll Tue Feb 23 07:36:51
>>> 2016
>>> @@ -6,7 +6,7 @@
>>>  declare i32 @printf(i8*, ...) nounwind
>>>
>>>  define i32 @main() nounwind !dbg !6 {
>>> -  ret i32 0
>>> +  ret i32 0, !dbg !13
>>>  }
>>>
>>>  !llvm.dbg.cu = !{!2}
>>> @@ -22,3 +22,4 @@ define i32 @main() nounwind !dbg !6 {
>>>  !10 = !DIFile(filename: "simple.c", directory: "/Users/manav/one/two")
>>>  !11 = !{}
>>>  !12 = !{i32 1, !"Debug Info Version", i32 3}
>>> +!13 = !DILocation(line: 10, scope: !6)
>>>
>>> Modified: llvm/trunk/test/DebugInfo/X86/debug-dead-local-var.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/debug-dead-local-var.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/debug-dead-local-var.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/X86/debug-dead-local-var.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -11,9 +11,9 @@
>>>  ;   return 1;
>>>  ; }
>>>
>>> -; Check that we still have the structure type for X even though we're
>>> not
>>> -; going to emit a low/high_pc for foo.
>>> -; CHECK: DW_TAG_structure_type
>>> +; Check that we will not have the structure type for X as we are going
>>> to omit
>>> +; the function foo.
>>> +; CHECK-NOT: DW_TAG_structure_type
>>>
>>>  ; Function Attrs: nounwind readnone uwtable
>>>  define i32 @bar() #0 !dbg !4 {
>>> @@ -27,7 +27,7 @@ attributes #0 = { nounwind readnone uwta
>>>  !llvm.module.flags = !{!18, !19}
>>>  !llvm.ident = !{!20}
>>>
>>> -!0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang
>>> version 3.5.0 (trunk 209255) (llvm/trunk 209253)", isOptimized: true,
>>> emissionKind: 1, file: !1, enums: !2, retainedTypes: !2, subprograms: !3,
>>> globals: !2, imports: !2)
>>> +!0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang
>>> version 3.5.0 (trunk 209255) (llvm/trunk 209253)", isOptimized: true,
>>> emissionKind: 1, file: !1, enums: !2, retainedTypes: !22, subprograms: !3,
>>> globals: !2, imports: !2)
>>>  !1 = !DIFile(filename: "debug-dead-local-var.c", directory:
>>> "/usr/local/google/home/echristo")
>>>  !2 = !{}
>>>  !3 = !{!4, !9}
>>> @@ -49,3 +49,4 @@ attributes #0 = { nounwind readnone uwta
>>>  !19 = !{i32 2, !"Debug Info Version", i32 3}
>>>  !20 = !{!"clang version 3.5.0 (trunk 209255) (llvm/trunk 209253)"}
>>>  !21 = !DILocation(line: 13, scope: !4)
>>> +!22 = !{!14}
>>>
>>> Modified: llvm/trunk/test/DebugInfo/X86/gnu-public-names.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/gnu-public-names.ll?rev=261633&r1=261632&r2=261633&view=diff
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/gnu-public-names.ll (original)
>>> +++ llvm/trunk/test/DebugInfo/X86/gnu-public-names.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -123,17 +123,6 @@
>>>  ; CHECK: DW_AT_linkage_name
>>>  ; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_name {{.*}} "global_namespace_function"
>>> -
>>> -; CHECK: DW_TAG_subprogram
>>> -; CHECK-NOT: DW_TAG
>>> -; CHECK:   DW_AT_name {{.*}} "f3"
>>> -; CHECK-NOT: {{DW_TAG|NULL}}
>>> -; CHECK: [[F3_Z:.*]]:   DW_TAG_variable
>>> -; CHECK-NOT: DW_TAG
>>> -; CHECK:     DW_AT_name {{.*}} "z"
>>> -; CHECK-NOT: {{DW_TAG|NULL}}
>>> -; CHECK:     DW_AT_location
>>> -; CHECK-NOT: {{DW_TAG|NULL}}
>>>  ; CHECK:   NULL
>>>  ; CHECK-NOT: {{DW_TAG|NULL}}
>>>
>>> @@ -194,6 +183,18 @@
>>>  ; CHECK-NOT: DW_TAG
>>>  ; CHECK: DW_AT_name {{.*}} "global_function"
>>>
>>> +; CHECK: DW_TAG_subprogram
>>> +; CHECK-NOT: DW_TAG
>>> +; CHECK:   DW_AT_name {{.*}} "f3"
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK: [[F3_Z:.*]]:   DW_TAG_variable
>>> +; CHECK-NOT: DW_TAG
>>> +; CHECK:     DW_AT_name {{.*}} "z"
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:     DW_AT_location
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:   NULL
>>> +
>>>  ; CHECK-LABEL: .debug_gnu_pubnames contents:
>>>  ; CHECK-NEXT: length = {{.*}} version = 0x0002 unit_offset = 0x00000000
>>> unit_size = {{.*}}
>>>  ; CHECK-NEXT: Offset     Linkage  Kind     Name
>>> @@ -201,12 +202,12 @@
>>>  ; CHECK-NEXT:  [[NS]] EXTERNAL TYPE     "ns"
>>>  ; CHECK-NEXT:  [[OUTER_ANON_C]] STATIC VARIABLE "outer::(anonymous
>>> namespace)::c"
>>>  ; CHECK-NEXT:  [[ANON_I]] STATIC VARIABLE "(anonymous namespace)::i"
>>> +; CHECK-NEXT:  [[ANON]] EXTERNAL TYPE "(anonymous namespace)"
>>>  ; GCC Doesn't put local statics in pubnames, but it seems not
>>> unreasonable and
>>>  ; comes out naturally from LLVM's implementation, so I'm OK with it for
>>> now. If
>>>  ; it's demonstrated that this is a major size concern or degrades debug
>>> info
>>>  ; consumer behavior, feel free to change it.
>>>  ; CHECK-NEXT:  [[F3_Z]] STATIC VARIABLE "f3::z"
>>> -; CHECK-NEXT:  [[ANON]] EXTERNAL TYPE "(anonymous namespace)"
>>>  ; CHECK-NEXT:  [[OUTER_ANON]] EXTERNAL TYPE "outer::(anonymous
>>> namespace)"
>>>  ; CHECK-NEXT:  [[ANON_INNER_B]] STATIC VARIABLE "(anonymous
>>> namespace)::inner::b"
>>>  ; CHECK-NEXT:  [[OUTER]] EXTERNAL TYPE "outer"
>>>
>>> Added: llvm/trunk/test/DebugInfo/X86/lexical-block-inline.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/lexical-block-inline.ll?rev=261633&view=auto
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/lexical-block-inline.ll (added)
>>> +++ llvm/trunk/test/DebugInfo/X86/lexical-block-inline.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -0,0 +1,198 @@
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -filetype=obj -O0 < %s  |
>>> llvm-dwarfdump -debug-dump=info - | FileCheck %s
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -split-dwarf=Enable
>>> -filetype=obj -O0 < %s  | llvm-dwarfdump -debug-dump=info.dwo - | FileCheck
>>> %s
>>> +
>>> +;; This test checks the following:
>>> +;; 1. Useless lexical block entry is not emitted.
>>> +;; 2. Function static variable, typedef, records (structure, class and
>>> union)
>>> +;;    that are defined in lexical basic block are emitted as children to
>>> +;;    these lexical blocks.
>>> +;;    * For typedef and record check that both are emitted in lexical
>>> block
>>> +;;      where they are declared and not in the one where they are used.
>>> +;; 3. "bar" function, which was inlined into "foo" function, is created
>>> as
>>> +;;    abstract (with DW_AT_inline attribute).
>>> +;;    All variables and types are defined in this abstract entry.
>>> +;; 4. "bar" function is created in "foo" function as inlined function
>>> +;;    (with DW_TAG_inlined_subroutine attribute), and all its local
>>> variables
>>> +;;    are created as concrete variables pointing to the abstract
>>> suitable entry
>>> +;;    defined under abstract "bar" function.
>>> +;; 5. Lexical block entries created in the inline "bar" function entry
>>> have
>>> +;;    "DW_AT_abstract_origin" attribute pointing to the equivalent
>>> abstract
>>> +;;    lexical block entry.
>>> +;;
>>> +;; This test was generated by running following command:
>>> +;; clang -cc1 -O0 -g -emit-llvm foo.cpp -o - | opt -S -inline -sroa
>>> +;; Where foo.cpp
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +;;__inline int bar(int s) {
>>> +;;  {
>>> +;;    {
>>> +;;      struct X {
>>> +;;          int x;
>>> +;;      };
>>> +;;      typedef int Y;
>>> +;;      {
>>> +;;        X a = { s };
>>> +;;        Y b(s);
>>> +;;        static int c = 0;
>>> +;;        return a.x + b + c++;
>>> +;;      }
>>> +;;    }
>>> +;;  }
>>> +;;}
>>> +;;
>>> +;;
>>> +;;int foo(int i) {
>>> +;;  return
>>> +;;    bar(i);
>>> +;;}
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +
>>> +; CHECK:    [[Offset_bar:0x[0-9abcdef]+]]: DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      DW_AT_name {{.*}} "bar"
>>> +; CHECK:      DW_AT_inline
>>> +; CHECK-NOT: NULL
>>> +; CHECK:      DW_TAG_lexical_block
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_LB2:0x[0-9abcdef]+]]: DW_TAG_lexical_block
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_a:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "a"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_b:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "b"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_c:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "c"
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_location
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:        NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      [[Offset_X:0x[0-9abcdef]+]]: DW_TAG_structure_type
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_AT_name {{.*}} "X"
>>> +; CHECK:        NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      [[Offset_Y:0x[0-9abcdef]+]]: DW_TAG_typedef
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_AT_name {{.*}} "Y"
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:      NULL
>>> +
>>> +
>>> +; CHECK:    DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      DW_AT_name {{.*}} "foo"
>>> +; CHECK-NOT: {{NULL}}
>>> +; CHECK:      DW_TAG_inlined_subroutine
>>> +; CHECK-NEXT:   DW_AT_abstract_origin {{.*}} {[[Offset_bar]]}
>>> +
>>> +; CHECK-NOT: {{NULL}}
>>> +; CHECK:        DW_TAG_lexical_block
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_TAG_lexical_block
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:       DW_AT_abstract_origin {{.*}} {[[Offset_LB2]]}
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NEXT:       DW_AT_location
>>> +; CHECK-NEXT:       DW_AT_abstract_origin {{.*}} {[[Offset_a]]}
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NEXT:       DW_AT_location
>>> +; CHECK-NEXT:       DW_AT_abstract_origin {{.*}} {[[Offset_b]]}
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:      NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:      NULL
>>> +
>>> +%struct.X = type { i32 }
>>> +
>>> +$_ZZ3bariE1c = comdat any
>>> +
>>> + at _ZZ3bariE1c = linkonce_odr global i32 0, comdat, align 4
>>> +
>>> +; Function Attrs: nounwind
>>> +define i32 @_Z3fooi(i32 %i) #0 !dbg !15 {
>>> +entry:
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !22,
>>> metadata !23), !dbg !24
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !25,
>>> metadata !23), !dbg !26
>>> +  call void @llvm.dbg.declare(metadata %struct.X* undef, metadata !28,
>>> metadata !23), !dbg !29
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !28,
>>> metadata !23), !dbg !29
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !30,
>>> metadata !23), !dbg !31
>>> +  %add.i = add nsw i32 %i, %i, !dbg !32
>>> +  %0 = load i32, i32* @_ZZ3bariE1c, align 4, !dbg !32
>>> +  %inc.i = add nsw i32 %0, 1, !dbg !32
>>> +  store i32 %inc.i, i32* @_ZZ3bariE1c, align 4, !dbg !32
>>> +  %add2.i = add nsw i32 %add.i, %0, !dbg !32
>>> +  ret i32 %add2.i, !dbg !33
>>> +}
>>> +
>>> +; Function Attrs: nounwind readnone
>>> +declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
>>> +
>>> +; Function Attrs: nounwind readnone
>>> +declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1
>>> +
>>> +attributes #0 = { nounwind "disable-tail-calls"="false"
>>> "less-precise-fpmad"="false" "no-frame-pointer-elim"="false"
>>> "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack"
>>> "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2"
>>> "unsafe-fp-math"="false" "use-soft-float"="false" }
>>> +attributes #1 = { nounwind readnone }
>>> +
>>> +!llvm.dbg.cu = !{!0, !34}
>>> +!llvm.module.flags = !{!19, !20}
>>> +!llvm.ident = !{!21}
>>> +
>>> +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)",
>>> isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2,
>>> retainedTypes: !3, subprograms: !14, globals: !16)
>>> +!1 = !DIFile(filename: "foo.cpp", directory: "/")
>>> +!2 = !{}
>>> +!3 = !{!4, !13}
>>> +!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", scope: !5,
>>> file: !1, line: 4, size: 32, align: 32, elements: !11, identifier:
>>> "_ZTSZ3bariE1X")
>>> +!5 = distinct !DILexicalBlock(scope: !6, file: !1, line: 3)
>>> +!6 = distinct !DILexicalBlock(scope: !7, file: !1, line: 2)
>>> +!7 = distinct !DISubprogram(name: "bar", linkageName: "_Z3bari", scope:
>>> !1, file: !1, line: 1, type: !8, isLocal: false, isDefinition: true,
>>> scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, variables: !2)
>>> +!8 = !DISubroutineType(types: !9)
>>> +!9 = !{!10, !10}
>>> +!10 = !DIBasicType(name: "int", size: 32, align: 32, encoding:
>>> DW_ATE_signed)
>>> +!11 = !{!12}
>>> +!12 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope:
>>> !"_ZTSZ3bariE1X", file: !1, line: 5, baseType: !10, size: 32, align: 32)
>>> +!13 = !DIDerivedType(tag: DW_TAG_typedef, name: "Y", scope: !5, file:
>>> !1, line: 7, baseType: !10)
>>> +!14 = !{!15, !7}
>>> +!15 = distinct !DISubprogram(name: "foo", linkageName: "_Z3fooi",
>>> scope: !1, file: !1, line: 19, type: !8, isLocal: false, isDefinition:
>>> true, scopeLine: 19, flags: DIFlagPrototyped, isOptimized: false,
>>> variables: !2)
>>> +!16 = !{!17}
>>> +!17 = !DIGlobalVariable(name: "c", scope: !18, file: !1, line: 11,
>>> type: !10, isLocal: false, isDefinition: true, variable: i32* @_ZZ3bariE1c)
>>> +!18 = distinct !DILexicalBlock(scope: !5, file: !1, line: 8)
>>> +!19 = !{i32 2, !"Dwarf Version", i32 4}
>>> +!20 = !{i32 2, !"Debug Info Version", i32 3}
>>> +!21 = !{!"clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)"}
>>> +!22 = !DILocalVariable(name: "i", arg: 1, scope: !15, file: !1, line:
>>> 19, type: !10)
>>> +!23 = !DIExpression()
>>> +!24 = !DILocation(line: 19, scope: !15)
>>> +!25 = !DILocalVariable(name: "s", arg: 1, scope: !7, file: !1, line: 1,
>>> type: !10)
>>> +!26 = !DILocation(line: 1, scope: !7, inlinedAt: !27)
>>> +!27 = distinct !DILocation(line: 21, scope: !15)
>>> +!28 = !DILocalVariable(name: "a", scope: !18, file: !1, line: 9, type:
>>> !"_ZTSZ3bariE1X")
>>> +!29 = !DILocation(line: 9, scope: !18, inlinedAt: !27)
>>> +!30 = !DILocalVariable(name: "b", scope: !18, file: !1, line: 10, type:
>>> !13)
>>> +!31 = !DILocation(line: 10, scope: !18, inlinedAt: !27)
>>> +!32 = !DILocation(line: 12, scope: !18, inlinedAt: !27)
>>> +!33 = !DILocation(line: 20, scope: !15)
>>> +
>>> +; This line is manually added to check that the test does not crash
>>> when having
>>> +; more than one compile unit!
>>> +!34 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)",
>>> isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2,
>>> retainedTypes: !2, subprograms: !2, globals: !2)
>>>
>>> Added: llvm/trunk/test/DebugInfo/X86/lexical-block.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/lexical-block.ll?rev=261633&view=auto
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/lexical-block.ll (added)
>>> +++ llvm/trunk/test/DebugInfo/X86/lexical-block.ll Tue Feb 23 07:36:51
>>> 2016
>>> @@ -0,0 +1,131 @@
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -filetype=obj -O0 < %s  |
>>> llvm-dwarfdump -debug-dump=info - | FileCheck %s
>>> +
>>> +;; This test checks the following:
>>> +;; 1. Useless lexical block entry is not emitted.
>>> +;; 2. Function static variable, typedef, records (structure, class and
>>> union)
>>> +;;    that are defined in lexical basic block are emitted as children to
>>> +;;    these lexical blocks.
>>> +;;    * For typedef and record check that both are emitted in lexical
>>> block
>>> +;;      where they are declared and not in the one where they are used.
>>> +;;
>>> +;; This test was generated by running following command:
>>> +;; clang -cc1 -O0 -g -emit-llvm foo.cpp
>>> +;; Where foo.cpp
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +;;int foo(void) {
>>> +;;  {
>>> +;;    {
>>> +;;      struct X {
>>> +;;        int x;
>>> +;;      };
>>> +;;      typedef int Y;
>>> +;;      {
>>> +;;        X a;
>>> +;;        Y b;
>>> +;;        static int c;
>>> +;;        return a.x + b + c;
>>> +;;      }
>>> +;;    }
>>> +;;  }
>>> +;;}
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +
>>> +
>>> +; CHECK:    DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      DW_AT_name {{.*}} "foo"
>>> +; CHECK-NOT: NULL
>>> +; CHECK:      DW_TAG_lexical_block
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_TAG_lexical_block
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:            DW_AT_name {{.*}} "a"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:            DW_AT_name {{.*}} "b"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:            DW_AT_name {{.*}} "c"
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:          NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_TAG_structure_type
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "X"
>>> +; CHECK:          NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_TAG_typedef
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "Y"
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:          NULL
>>> +
>>> +%struct.X = type { i32 }
>>> +
>>> + at _ZZ3foovE1c = internal global i32 0, align 4
>>> +
>>> +; Function Attrs: nounwind
>>> +define i32 @_Z3foov() #0 !dbg !7 {
>>> +entry:
>>> +  %a = alloca %struct.X, align 4
>>> +  %b = alloca i32, align 4
>>> +  call void @llvm.dbg.declare(metadata %struct.X* %a, metadata !21,
>>> metadata !22), !dbg !23
>>> +  call void @llvm.dbg.declare(metadata i32* %b, metadata !24, metadata
>>> !22), !dbg !25
>>> +  %x = getelementptr inbounds %struct.X, %struct.X* %a, i32 0, i32 0,
>>> !dbg !26
>>> +  %0 = load i32, i32* %x, align 4, !dbg !26
>>> +  %1 = load i32, i32* %b, align 4, !dbg !26
>>> +  %add = add nsw i32 %0, %1, !dbg !26
>>> +  %2 = load i32, i32* @_ZZ3foovE1c, align 4, !dbg !26
>>> +  %add1 = add nsw i32 %add, %2, !dbg !26
>>> +  ret i32 %add1, !dbg !26
>>> +}
>>> +
>>> +; Function Attrs: nounwind readnone
>>> +declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
>>> +
>>> +attributes #0 = { nounwind "less-precise-fpmad"="false"
>>> "no-frame-pointer-elim"="false" "no-infs-fp-math"="false"
>>> "no-nans-fp-math"="false" "no-realign-stack"
>>> "stack-protector-buffer-size"="8" "target-features"="+sse,+sse2"
>>> "unsafe-fp-math"="false" "use-soft-float"="false" }
>>> +attributes #1 = { nounwind readnone }
>>> +
>>> +!llvm.dbg.cu = !{!0}
>>> +!llvm.module.flags = !{!18, !19}
>>> +!llvm.ident = !{!20}
>>> +
>>> +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.7.0 (trunk 237245)", isOptimized: false,
>>> runtimeVersion: 0, emissionKind: 1, enums: !2, retainedTypes: !3,
>>> subprograms: !14, globals: !15, imports: !2)
>>> +!1 = !DIFile(filename: "foo.cpp", directory: "/")
>>> +!2 = !{}
>>> +!3 = !{!4, !13}
>>> +!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", scope: !5,
>>> file: !1, line: 4, size: 32, align: 32, elements: !11)
>>> +!5 = distinct !DILexicalBlock(scope: !6, file: !1, line: 3)
>>> +!6 = distinct !DILexicalBlock(scope: !7, file: !1, line: 2)
>>> +!7 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", scope:
>>> !1, file: !1, line: 1, type: !8, isLocal: false, isDefinition: true,
>>> scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, variables: !2)
>>> +!8 = !DISubroutineType(types: !9)
>>> +!9 = !{!10}
>>> +!10 = !DIBasicType(name: "int", size: 32, align: 32, encoding:
>>> DW_ATE_signed)
>>> +!11 = !{!12}
>>> +!12 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !4, file:
>>> !1, line: 5, baseType: !10, size: 32, align: 32)
>>> +!13 = !DIDerivedType(tag: DW_TAG_typedef, name: "Y", scope: !5, file:
>>> !1, line: 7, baseType: !10)
>>> +!14 = !{!7}
>>> +!15 = !{!16}
>>> +!16 = !DIGlobalVariable(name: "c", scope: !17, file: !1, line: 11,
>>> type: !10, isLocal: true, isDefinition: true, variable: i32* @_ZZ3foovE1c)
>>> +!17 = distinct !DILexicalBlock(scope: !5, file: !1, line: 8)
>>> +!18 = !{i32 2, !"Dwarf Version", i32 4}
>>> +!19 = !{i32 2, !"Debug Info Version", i32 3}
>>> +!20 = !{!"clang version 3.7.0 (trunk 237245)"}
>>> +!21 = !DILocalVariable(name: "a", scope: !17, file: !1, line: 9, type:
>>> !4)
>>> +!22 = !DIExpression()
>>> +!23 = !DILocation(line: 9, scope: !17)
>>> +!24 = !DILocalVariable(name: "b", scope: !17, file: !1, line: 10, type:
>>> !13)
>>> +!25 = !DILocation(line: 10, scope: !17)
>>> +!26 = !DILocation(line: 12, scope: !17)
>>>
>>> Added: llvm/trunk/test/DebugInfo/X86/subprogram-inline.ll
>>> URL:
>>> http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/X86/subprogram-inline.ll?rev=261633&view=auto
>>>
>>> ==============================================================================
>>> --- llvm/trunk/test/DebugInfo/X86/subprogram-inline.ll (added)
>>> +++ llvm/trunk/test/DebugInfo/X86/subprogram-inline.ll Tue Feb 23
>>> 07:36:51 2016
>>> @@ -0,0 +1,169 @@
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -filetype=obj -O0 < %s  |
>>> llvm-dwarfdump -debug-dump=info - | FileCheck %s
>>> +; RUN: llc -mtriple=x86_64-unknown-linux-gnu -split-dwarf=Enable
>>> -filetype=obj -O0 < %s  | llvm-dwarfdump -debug-dump=info.dwo - | FileCheck
>>> %s
>>> +
>>> +;; This test checks the following:
>>> +;; 2. Function static variable, typedef, records (structure, class and
>>> union)
>>> +;;    that are defined in lexical function scope are emitted as
>>> children to
>>> +;;    the function scope, directly.
>>> +;; 3. "bar" function, which was inlined into "foo" function, is created
>>> as
>>> +;;    abstract (with DW_AT_inline attribute).
>>> +;;    All variables and types are defined in this abstract entry.
>>> +;; 4. "bar" function is created in "foo" function as inlined function
>>> +;;    (with DW_TAG_inlined_subroutine attribute), and all its local
>>> variables
>>> +;;    are created as concrete variables pointing to the abstract
>>> suitable entry
>>> +;;    defined under abstract "bar" function.
>>> +;;
>>> +;; This test was generated by running following command:
>>> +;; clang -cc1 -O0 -g -emit-llvm foo.cpp -o - | opt -S -inline -sroa
>>> +;; Where foo.cpp
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +;;__inline int bar(int s) {
>>> +;;
>>> +;;
>>> +;;      struct X {
>>> +;;          int x;
>>> +;;      };
>>> +;;      typedef int Y;
>>> +;;
>>> +;;        X a = { s };
>>> +;;        Y b(s);
>>> +;;        static int c = 0;
>>> +;;        return a.x + b + c++;
>>> +;;
>>> +;;
>>> +;;
>>> +;;}
>>> +;;
>>> +;;
>>> +;;int foo(int i) {
>>> +;;  return
>>> +;;    bar(i);
>>> +;;}
>>> +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
>>> +
>>> +; CHECK:    [[Offset_bar:0x[0-9abcdef]+]]: DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      DW_AT_name {{.*}} "bar"
>>> +; CHECK:      DW_AT_inline
>>> +; CHECK-NOT: NULL
>>> +
>>> +; CHECK:        [[Offset_a:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "a"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_b:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "b"
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        [[Offset_c:0x[0-9abcdef]+]]: DW_TAG_variable
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_name {{.*}} "c"
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_AT_location
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      [[Offset_X:0x[0-9abcdef]+]]: DW_TAG_structure_type
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_AT_name {{.*}} "X"
>>> +; CHECK:        NULL
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      [[Offset_Y:0x[0-9abcdef]+]]: DW_TAG_typedef
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:        DW_AT_name {{.*}} "Y"
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:      NULL
>>> +
>>> +
>>> +; CHECK:    DW_TAG_subprogram
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:      DW_AT_name {{.*}} "foo"
>>> +; CHECK-NOT: {{NULL}}
>>> +; CHECK:      DW_TAG_inlined_subroutine
>>> +; CHECK-NEXT:   DW_AT_abstract_origin {{.*}} {[[Offset_bar]]}
>>> +
>>> +; CHECK-NOT: {{NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NEXT:       DW_AT_location
>>> +; CHECK-NEXT:       DW_AT_abstract_origin {{.*}} {[[Offset_a]]}
>>> +
>>> +; CHECK-NOT: {{DW_TAG|NULL}}
>>> +; CHECK:          DW_TAG_variable
>>> +; CHECK-NEXT:       DW_AT_location
>>> +; CHECK-NEXT:       DW_AT_abstract_origin {{.*}} {[[Offset_b]]}
>>> +
>>> +; CHECK-NOT: {{DW_TAG}}
>>> +; CHECK:      NULL
>>> +
>>> +%struct.X = type { i32 }
>>> +
>>> +$_ZZ3bariE1c = comdat any
>>> +
>>> + at _ZZ3bariE1c = linkonce_odr global i32 0, comdat, align 4
>>> +
>>> +; Function Attrs: nounwind
>>> +define i32 @_Z3fooi(i32 %i) #0 !dbg !13 {
>>> +entry:
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !18,
>>> metadata !19), !dbg !20
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !21,
>>> metadata !19), !dbg !22
>>> +  call void @llvm.dbg.declare(metadata %struct.X* undef, metadata !24,
>>> metadata !19), !dbg !25
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !24,
>>> metadata !19), !dbg !25
>>> +  call void @llvm.dbg.value(metadata i32 %i, i64 0, metadata !26,
>>> metadata !19), !dbg !27
>>> +  %add.i = add nsw i32 %i, %i, !dbg !28
>>> +  %0 = load i32, i32* @_ZZ3bariE1c, align 4, !dbg !28
>>> +  %inc.i = add nsw i32 %0, 1, !dbg !28
>>> +  store i32 %inc.i, i32* @_ZZ3bariE1c, align 4, !dbg !28
>>> +  %add2.i = add nsw i32 %add.i, %0, !dbg !28
>>> +  ret i32 %add2.i, !dbg !29
>>> +}
>>> +
>>> +; Function Attrs: nounwind readnone
>>> +declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
>>> +
>>> +; Function Attrs: nounwind readnone
>>> +declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1
>>> +
>>> +attributes #0 = { nounwind "disable-tail-calls"="false"
>>> "less-precise-fpmad"="false" "no-frame-pointer-elim"="false"
>>> "no-infs-fp-math"="false" "no-nans-fp-math"="false"
>>> "stack-protector-buffer-size"="8" "target-features"="+mmx,+sse,+sse2"
>>> "unsafe-fp-math"="false" "use-soft-float"="false" }
>>> +attributes #1 = { nounwind readnone }
>>> +
>>> +!llvm.dbg.cu = !{!0, !30}
>>> +!llvm.module.flags = !{!16}
>>> +!llvm.ident = !{!17}
>>> +
>>> +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.8.0 (trunk 256818)", isOptimized: false,
>>> runtimeVersion: 0, emissionKind: 1, enums: !2, retainedTypes: !3,
>>> subprograms: !12, globals: !14)
>>> +!1 = !DIFile(filename: "foo.cpp", directory: "/")
>>> +!2 = !{}
>>> +!3 = !{!4, !11}
>>> +!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", scope: !5,
>>> file: !1, line: 4, size: 32, align: 32, elements: !9, identifier:
>>> "_ZTSZ3bariE1X")
>>> +!5 = distinct !DISubprogram(name: "bar", linkageName: "_Z3bari", scope:
>>> !1, file: !1, line: 1, type: !6, isLocal: false, isDefinition: true,
>>> scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, variables: !2)
>>> +!6 = !DISubroutineType(types: !7)
>>> +!7 = !{!8, !8}
>>> +!8 = !DIBasicType(name: "int", size: 32, align: 32, encoding:
>>> DW_ATE_signed)
>>> +!9 = !{!10}
>>> +!10 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope:
>>> !"_ZTSZ3bariE1X", file: !1, line: 5, baseType: !8, size: 32, align: 32)
>>> +!11 = !DIDerivedType(tag: DW_TAG_typedef, name: "Y", scope: !5, file:
>>> !1, line: 7, baseType: !8)
>>> +!12 = !{!13, !5}
>>> +!13 = distinct !DISubprogram(name: "foo", linkageName: "_Z3fooi",
>>> scope: !1, file: !1, line: 19, type: !6, isLocal: false, isDefinition:
>>> true, scopeLine: 19, flags: DIFlagPrototyped, isOptimized: false,
>>> variables: !2)
>>> +!14 = !{!15}
>>> +!15 = !DIGlobalVariable(name: "c", scope: !5, file: !1, line: 11, type:
>>> !8, isLocal: false, isDefinition: true, variable: i32* @_ZZ3bariE1c)
>>> +!16 = !{i32 2, !"Debug Info Version", i32 3}
>>> +!17 = !{!"clang version 3.8.0 (trunk 256818)"}
>>> +!18 = !DILocalVariable(name: "i", arg: 1, scope: !13, file: !1, line:
>>> 19, type: !8)
>>> +!19 = !DIExpression()
>>> +!20 = !DILocation(line: 19, scope: !13)
>>> +!21 = !DILocalVariable(name: "s", arg: 1, scope: !5, file: !1, line: 1,
>>> type: !8)
>>> +!22 = !DILocation(line: 1, scope: !5, inlinedAt: !23)
>>> +!23 = distinct !DILocation(line: 21, scope: !13)
>>> +!24 = !DILocalVariable(name: "a", scope: !5, file: !1, line: 9, type:
>>> !"_ZTSZ3bariE1X")
>>> +!25 = !DILocation(line: 9, scope: !5, inlinedAt: !23)
>>> +!26 = !DILocalVariable(name: "b", scope: !5, file: !1, line: 10, type:
>>> !11)
>>> +!27 = !DILocation(line: 10, scope: !5, inlinedAt: !23)
>>> +!28 = !DILocation(line: 12, scope: !5, inlinedAt: !23)
>>> +!29 = !DILocation(line: 20, scope: !13)
>>> +
>>> +; This line is manually added to check that the test does not crash
>>> when having
>>> +; more than one compile unit!
>>> +!30 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1,
>>> producer: "clang version 3.8.0 (trunk 242994) (llvm/trunk 242995)",
>>> isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: !2,
>>> retainedTypes: !2, subprograms: !2, globals: !2)
>>>
>>>
>>> _______________________________________________
>>> llvm-commits mailing list
>>> llvm-commits at lists.llvm.org
>>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
>>>
>>
>>
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at lists.llvm.org
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
>>
>>
>
>
> --
> Alexey Samsonov
> vonosmas at gmail.com
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160223/9babd8af/attachment-0001.html>


More information about the llvm-commits mailing list