DebugInfo: Avoid redundantly adding child DIEs to parents.

DIE::addChild had a shortcircuit that silently no-op'd when a child was
readded to the same parent. This hid some quirky/redundant code in
DwarfDebug/CompileUnit. By removing that functionality and replacing it
with an assert I was able to find and cleanup those cases, mostly
centering around adding members to types in various circumstances.

1) The original oddity I noticed while working on type units (which
actually was helping me in the short term, by accident) was the
addToContextOwner call in constructTypeDIE. This call was completely
bogus (why was it only done for non-virtual types? what relevance does
that have at all) and redundant with the more uniform addToContextOwner
made in getOrCreateTypeDIE.

2) If a member function definition was visited (createSubprogramDIE), it
would attempt to build the member function declaration. The declaration
DIE would then be added to its context, but in building the context (the
type for which this function is a member) the members of the type would
be added to the type automatically, so by the time the context was
constructed, the member function was already associated with it.

3) The same as (2) but without the member function being constructed
first. Whenever a type was constructed, the members would be created and
member functions would be created by getOrCreateSubprogramDIE - this
would lead to the subprogram being added to the (incomplete) type
already, then the general member-construction code would add it again.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191928 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
David Blaikie 2013-10-03 20:07:20 +00:00
parent cee51c4803
commit e5830c4e26
3 changed files with 12 additions and 15 deletions

View File

@ -169,10 +169,7 @@ namespace llvm {
/// addChild - Add a child to the DIE. /// addChild - Add a child to the DIE.
/// ///
void addChild(DIE *Child) { void addChild(DIE *Child) {
if (Child->getParent()) { assert(!Child->getParent());
assert (Child->getParent() == this && "Unexpected DIE Parent!");
return;
}
Abbrev.setChildrenFlag(dwarf::DW_CHILDREN_yes); Abbrev.setChildrenFlag(dwarf::DW_CHILDREN_yes);
Children.push_back(Child); Children.push_back(Child);
Child->Parent = this; Child->Parent = this;

View File

@ -808,9 +808,16 @@ DIE *CompileUnit::getOrCreateContextDIE(DIDescriptor Context) {
/// addToContextOwner - Add Die into the list of its context owner's children. /// addToContextOwner - Add Die into the list of its context owner's children.
void CompileUnit::addToContextOwner(DIE *Die, DIDescriptor Context) { void CompileUnit::addToContextOwner(DIE *Die, DIDescriptor Context) {
if (DIE *ContextDIE = getOrCreateContextDIE(Context)) assert(!Die->getParent());
if (DIE *ContextDIE = getOrCreateContextDIE(Context)) {
if (Die->getParent()) {
// While creating the context, if this is a type member, we will have
// added the child to the context already.
assert(Die->getParent() == ContextDIE);
return;
}
ContextDIE->addChild(Die); ContextDIE->addChild(Die);
else } else
addDie(Die); addDie(Die);
} }
@ -1124,6 +1131,7 @@ void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
ElemDie = createStaticMemberDIE(DDTy); ElemDie = createStaticMemberDIE(DDTy);
else else
ElemDie = createMemberDIE(DDTy); ElemDie = createMemberDIE(DDTy);
Buffer.addChild(ElemDie);
} else if (Element.isObjCProperty()) { } else if (Element.isObjCProperty()) {
DIObjCProperty Property(Element); DIObjCProperty Property(Element);
ElemDie = new DIE(Property.getTag()); ElemDie = new DIE(Property.getTag());
@ -1159,9 +1167,9 @@ void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
Entry = createDIEEntry(ElemDie); Entry = createDIEEntry(ElemDie);
insertDIEEntry(Element, Entry); insertDIEEntry(Element, Entry);
} }
Buffer.addChild(ElemDie);
} else } else
continue; continue;
Buffer.addChild(ElemDie);
} }
if (CTy.isAppleBlockExtension()) if (CTy.isAppleBlockExtension())
@ -1171,8 +1179,6 @@ void CompileUnit::constructTypeDIE(DIE &Buffer, DICompositeType CTy) {
if (DIDescriptor(ContainingType).isCompositeType()) if (DIDescriptor(ContainingType).isCompositeType())
addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4, addDIEEntry(&Buffer, dwarf::DW_AT_containing_type, dwarf::DW_FORM_ref4,
getOrCreateTypeDIE(DIType(ContainingType))); getOrCreateTypeDIE(DIType(ContainingType)));
else
addToContextOwner(&Buffer, DD->resolve(CTy.getContext()));
if (CTy.isObjcClassComplete()) if (CTy.isObjcClassComplete())
addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type); addFlag(&Buffer, dwarf::DW_AT_APPLE_objc_complete_type);

View File

@ -838,12 +838,6 @@ void DwarfDebug::constructSubprogramDIE(CompileUnit *TheCU,
DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP); DIE *SubprogramDie = TheCU->getOrCreateSubprogramDIE(SP);
// Add to map.
TheCU->insertDIE(N, SubprogramDie);
// Add to context owner.
TheCU->addToContextOwner(SubprogramDie, SP.getContext());
// Expose as a global name. // Expose as a global name.
TheCU->addGlobalName(SP.getName(), SubprogramDie); TheCU->addGlobalName(SP.getName(), SubprogramDie);
} }