[llvm] r332246 - [CodeGen/AccelTable]: Handle -dwarf-linkage-names=Abstract correctly
Pavel Labath via llvm-commits
llvm-commits at lists.llvm.org
Mon May 14 07:13:20 PDT 2018
Author: labath
Date: Mon May 14 07:13:20 2018
New Revision: 332246
URL: http://llvm.org/viewvc/llvm-project?rev=332246&view=rev
Log:
[CodeGen/AccelTable]: Handle -dwarf-linkage-names=Abstract correctly
Summary:
If we are not emitting a linkage name in the .debug_info sections, we
should not add it into the index either. This makes sure our index is
consistent with the actual debug info.
I am also explicitly setting the --dwarf-linkage-names=All in the
name-collsions test as that one would now fail on targets where this
defaults to "Abstract" (in fact, it would have failed already if there
wasn't a bug in the DWARF verifier, which I fix as well).
Reviewers: probinson, aprantl, JDevlieghere
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D46748
Added:
llvm/trunk/test/DebugInfo/Generic/debug-names-linkage-name.ll
Modified:
llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
llvm/trunk/lib/DebugInfo/DWARF/DWARFVerifier.cpp
llvm/trunk/test/DebugInfo/Generic/debug-names-name-collisions.ll
Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp?rev=332246&r1=332245&r2=332246&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp (original)
+++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp Mon May 14 07:13:20 2018
@@ -249,7 +249,8 @@ DIE *DwarfCompileUnit::getOrCreateGlobal
// If the linkage name is different than the name, go ahead and output
// that as well into the name table.
- if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName())
+ if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName() &&
+ DD->useAllLinkageNames())
DD->addAccelName(GV->getLinkageName(), *VariableDIE);
}
Modified: llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp?rev=332246&r1=332245&r2=332246&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp (original)
+++ llvm/trunk/lib/CodeGen/AsmPrinter/DwarfDebug.cpp Mon May 14 07:13:20 2018
@@ -393,9 +393,11 @@ void DwarfDebug::addSubprogramNames(cons
if (SP->getName() != "")
addAccelName(SP->getName(), Die);
- // If the linkage name is different than the name, go ahead and output
- // that as well into the name table.
- if (SP->getLinkageName() != "" && SP->getName() != SP->getLinkageName())
+ // If the linkage name is different than the name, go ahead and output that as
+ // well into the name table. Only do that if we are going to actually emit
+ // that name.
+ if (SP->getLinkageName() != "" && SP->getName() != SP->getLinkageName() &&
+ (useAllLinkageNames() || InfoHolder.getAbstractSPDies().lookup(SP)))
addAccelName(SP->getLinkageName(), Die);
// If this is an Objective-C selector name add it to the ObjC accelerator
Modified: llvm/trunk/lib/DebugInfo/DWARF/DWARFVerifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/DebugInfo/DWARF/DWARFVerifier.cpp?rev=332246&r1=332245&r2=332246&view=diff
==============================================================================
--- llvm/trunk/lib/DebugInfo/DWARF/DWARFVerifier.cpp (original)
+++ llvm/trunk/lib/DebugInfo/DWARF/DWARFVerifier.cpp Mon May 14 07:13:20 2018
@@ -1122,6 +1122,7 @@ DWARFVerifier::verifyNameIndexEntries(co
"of DIE @ {2:x}: index - {3}; debug_info - {4}.\n",
NI.getUnitOffset(), EntryID, DIEOffset, Str,
make_range(EntryNames.begin(), EntryNames.end()));
+ ++NumErrors;
}
}
handleAllErrors(EntryOr.takeError(),
Added: llvm/trunk/test/DebugInfo/Generic/debug-names-linkage-name.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/debug-names-linkage-name.ll?rev=332246&view=auto
==============================================================================
--- llvm/trunk/test/DebugInfo/Generic/debug-names-linkage-name.ll (added)
+++ llvm/trunk/test/DebugInfo/Generic/debug-names-linkage-name.ll Mon May 14 07:13:20 2018
@@ -0,0 +1,88 @@
+; REQUIRES: object-emission
+
+; Generate one file with all linkage names, and another with only abstract ones.
+; Then test both.
+; RUN: %llc_dwarf -accel-tables=Dwarf -dwarf-linkage-names=All -filetype=obj -o %t.All < %s
+; RUN: %llc_dwarf -accel-tables=Dwarf -dwarf-linkage-names=Abstract -filetype=obj -o %t.Abstract < %s
+; RUN: llvm-dwarfdump -debug-info -debug-names %t.All | FileCheck %s --check-prefix=ALL
+; RUN: llvm-dwarfdump -debug-info -debug-names %t.Abstract \
+; RUN: | FileCheck %s --check-prefix=ABSTRACT --implicit-check-not=_Z1gi --implicit-check-not=_ZN1n1vE
+; RUN: llvm-dwarfdump -debug-names -verify %t.All | FileCheck --check-prefix=VERIFY %s
+; RUN: llvm-dwarfdump -debug-names -verify %t.Abstract | FileCheck --check-prefix=VERIFY %s
+
+; We should have all three linkage names in the .debug_info and .debug_names
+; ALL: .debug_info contents:
+; ALL: DW_AT_linkage_name ("_ZN1n1vE")
+; ALL: DW_AT_linkage_name ("_Z1fi")
+; ALL: DW_AT_linkage_name ("_Z1gi")
+; ALL: .debug_names contents:
+; ALL: String: {{.*}} "_Z1fi"
+; ALL: String: {{.*}} "_Z1gi"
+; ALL: String: {{.*}} "_ZN1n1vE"
+
+; Only _Z1fi should be present in both sections
+; ABSTRACT: .debug_info contents:
+; ABSTRACT: DW_AT_linkage_name ("_Z1fi")
+; ABSTRACT: .debug_names contents:
+; ABSTRACT: String: {{.*}} "_Z1fi"
+
+; There should be no verification errors for both files.
+; VERIFY: No errors.
+
+; Input generated from the following C code using
+; clang -g -O2 -S -emit-llvm
+
+; int e(int);
+; inline int f(int a) { return e(a); }
+; int g(int a) { return f(a); }
+;
+; namespace n {
+; int v;
+; }
+
+ at _ZN1n1vE = dso_local local_unnamed_addr global i32 0, align 4, !dbg !0
+
+define dso_local i32 @_Z1gi(i32 %a) local_unnamed_addr !dbg !12 {
+entry:
+ call void @llvm.dbg.value(metadata i32 %a, metadata !16, metadata !DIExpression()), !dbg !17
+ call void @llvm.dbg.value(metadata i32 %a, metadata !18, metadata !DIExpression()), !dbg !21
+ %call.i = tail call i32 @_Z1ei(i32 %a), !dbg !23
+ ret i32 %call.i, !dbg !24
+}
+
+declare dso_local i32 @_Z1ei(i32) local_unnamed_addr
+
+; Function Attrs: nounwind readnone speculatable
+declare void @llvm.dbg.value(metadata, metadata, metadata) #0
+
+attributes #2 = { nounwind readnone speculatable }
+
+!llvm.dbg.cu = !{!5}
+!llvm.module.flags = !{!8, !9, !10}
+!llvm.ident = !{!11}
+
+!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
+!1 = distinct !DIGlobalVariable(name: "v", linkageName: "_ZN1n1vE", scope: !2, file: !3, line: 6, type: !4, isLocal: false, isDefinition: true)
+!2 = !DINamespace(name: "n", scope: null)
+!3 = !DIFile(filename: "/tmp/linkage-name.cc", directory: "/usr/local/google/home/labath/ll/build/dbg")
+!4 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+!5 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 7.0.0 (trunk 331861) (llvm/trunk 331884)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !6, globals: !7)
+!6 = !{}
+!7 = !{!0}
+!8 = !{i32 2, !"Dwarf Version", i32 4}
+!9 = !{i32 2, !"Debug Info Version", i32 3}
+!10 = !{i32 1, !"wchar_size", i32 4}
+!11 = !{!"clang version 7.0.0 (trunk 331861) (llvm/trunk 331884)"}
+!12 = distinct !DISubprogram(name: "g", linkageName: "_Z1gi", scope: !3, file: !3, line: 3, type: !13, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !5, retainedNodes: !15)
+!13 = !DISubroutineType(types: !14)
+!14 = !{!4, !4}
+!15 = !{!16}
+!16 = !DILocalVariable(name: "a", arg: 1, scope: !12, file: !3, line: 3, type: !4)
+!17 = !DILocation(line: 3, column: 11, scope: !12)
+!18 = !DILocalVariable(name: "a", arg: 1, scope: !19, file: !3, line: 2, type: !4)
+!19 = distinct !DISubprogram(name: "f", linkageName: "_Z1fi", scope: !3, file: !3, line: 2, type: !13, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true, unit: !5, retainedNodes: !20)
+!20 = !{!18}
+!21 = !DILocation(line: 2, column: 18, scope: !19, inlinedAt: !22)
+!22 = distinct !DILocation(line: 3, column: 23, scope: !12)
+!23 = !DILocation(line: 2, column: 30, scope: !19, inlinedAt: !22)
+!24 = !DILocation(line: 3, column: 16, scope: !12)
Modified: llvm/trunk/test/DebugInfo/Generic/debug-names-name-collisions.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/Generic/debug-names-name-collisions.ll?rev=332246&r1=332245&r2=332246&view=diff
==============================================================================
--- llvm/trunk/test/DebugInfo/Generic/debug-names-name-collisions.ll (original)
+++ llvm/trunk/test/DebugInfo/Generic/debug-names-name-collisions.ll Mon May 14 07:13:20 2018
@@ -1,5 +1,5 @@
; REQUIRES: object-emission
-; RUN: %llc_dwarf -accel-tables=Dwarf -filetype=obj -o %t < %s
+; RUN: %llc_dwarf -accel-tables=Dwarf -dwarf-linkage-names=All -filetype=obj -o %t < %s
; RUN: llvm-dwarfdump -debug-names %t | FileCheck %s
; RUN: llvm-dwarfdump -debug-names -verify %t | FileCheck --check-prefix=VERIFY %s
More information about the llvm-commits
mailing list