This is an archive of the discontinued LLVM Phabricator instance.

Differential D5192

[dwarfdump] Implement extraction of file information referenced in .debug_info.
ClosedPublic

Authored by friss on Sep 4 2014, 6:55 AM.

Details

Reviewers
dblaikie
samsonov
echristo
aprantl
Commits
rG955724e3f5f3: [dwarfdump] Dump full filenames as DW_AT_(decl|call)_file attribute values
rL218246: [dwarfdump] Dump full filenames as DW_AT_(decl|call)_file attribute values
Summary

This is the merge of 2 patches:

Pass the DWARFUnit to DWARFDebugLine::getFileNameByIndex().

This way it can query the compilation dir when it is referenced (when a file references directory index 0, it refers to the compilation dir).

and:

[dwarfdump] Implement extraction of file information referenced in .debug_info.

This patch pretty prints the contents of the DW_AT_decl_file, DW_AT_call_file, DW_AT_decl_line and DW_AT_call line attributes.
Drop the const on the passed DWARFUnit to be able to call getLineTableForUnit (the line table construction is lazy, thus the getter might modify the Unit).

Diff Detail

Repository
rL LLVM

Event Timeline

friss updated this revision to Diff 13258.Sep 4 2014, 6:55 AM
friss retitled this revision from to [dwarfdump] Implement extraction of file information referenced in .debug_info..
friss updated this object.
friss edited the test plan for this revision. (Show Details)
friss added reviewers: dblaikie, echristo, aprantl.
friss added a subscriber: Unknown Object (MLST).
friss added inline comments.Sep 4 2014, 8:19 AM
lib/DebugInfo/DWARFDebugInfoEntry.cpp
125 ↗(On Diff #13258)

The more I look at it, the less I like it. I'll work on something a bit different.

friss updated this revision to Diff 13286.Sep 4 2014, 2:22 PM
  • [dwarfdump] Dump DW_AT_(decl|call)_line attribute values as decimal values.
  • Turn DWARFContext helpers getFileNameForUnit() and getFileLineInfoForCompileUnit() into full blowm DWARFDebugLine::LineTable methods.
  • [dwarfdump] Dump full filenames as DW_AT_(decl|call)_file attribute values
friss updated this revision to Diff 13287.Sep 4 2014, 2:29 PM

I really have troubles to get arcanist do what I want. I hope this update won't lose the fist 2 patches...

  • [dwarfdump] Dump full filenames as DW_AT_(decl|call)_file attribute values
friss added a comment.Sep 4 2014, 2:37 PM

Sorry for the spam. I'm still learning to use arcanist, and I must say at this point it's more a burden that a help... This latest revision is the result of a small series of 3 commits that should be easy enough to distinguish. They aren't really intermingled except for the test updates.
The first just prints the line numbers in decimal and updates the tests.
The second moves some static helpers of DWARFContext.cpp into equivalent methods of LineTable. There should be no functional change though.
The third one uses the newly exposed method to find and print full names for files referenced by DW_AT_(decl|call)_file.

dblaikie edited edge metadata.Sep 4 2014, 3:28 PM

Please go ahead & commit the decl/call_line portion of this (I'll take your
word for it that these seem like the only ones that should be printed as
decimal, the rest as hex - and if we see other cases we can figure it out
at that point) & then rebase this patch.

The realpath piece of this is particularly interesting - I don't know what
that API is, where it comes from (why it might not always be available),
etc. Also, not sure it makes sense to canonicalize the paths based on the
actual filesystem, rather than just rendering what's in the line table...
maybe some examples would help me understand better. (is that codepath
tested? How do we test it on machines that don't have realpath?)

friss updated this revision to Diff 13302.Sep 5 2014, 1:21 AM
friss edited edge metadata.

The line number portion is in. Rebase:

  • Turn DWARFContext helpers getFileNameForUnit() and getFileLineInfoForCompileUnit() into full blowm DWARFDebugLine::LineTable methods.
  • [dwarfdump] Dump full filenames as DW_AT_(decl|call)_file attribute values
dblaikie added inline comments.Sep 5 2014, 11:45 AM
lib/DebugInfo/DWARFContext.cpp
458 ↗(On Diff #13302)

you could roll this declaration into the if condition below (though I'm still trying to figure out if this is the changes below are the right API direction)

lib/DebugInfo/DWARFDebugInfoEntry.cpp
94 ↗(On Diff #13302)

Presumably this could be an "else" to the new if you're introducing at 97 - since they are mutually exclusive (a decl_file/decl_line will never be decoded by AttributeValueString - so you might as well not call it & avoid all the switching, etc)

98 ↗(On Diff #13302)

I probably wouldn't worry about the typedef for just one usage

99 ↗(On Diff #13302)

This variable could be rolled into an if condition down on line 103:

if (auto *LT = ... getLineTableForUnit(...))

if (LT->getFileNameByIndex(...))
  File = '"' + ...
104 ↗(On Diff #13302)

Do you have test coverage for the situation where the file name is not found in the line table? (testing the fallback to the old behavior)

106 ↗(On Diff #13302)

Just for fun you could use std::move on the RHS here:

File = '"' + std::move(File) + '"';

to possibly reuse the storage.

107 ↗(On Diff #13302)

this pointer will be dangling when used on line 111, outside the scope of the 'File' variable

lib/DebugInfo/DWARFDebugLine.cpp
674 ↗(On Diff #13302)

test coverage for this? Some absolute and relative paths? (hopefully you can do this with just some hardcoded dwarf (not sure is is_relative will properly return false for "/foo/bar" on a Windows machine, though)

lib/DebugInfo/DWARFDebugLine.h
186 ↗(On Diff #13302)

Moving these two functions may be better as a separate patch.

friss added inline comments.Sep 5 2014, 12:32 PM
lib/DebugInfo/DWARFContext.cpp
458 ↗(On Diff #13302)

What I had in the first patch was basically a duplication of the getFileNameByIndex() helper. I needed to make the helper globally available, and I decided to put it in LineTable as it is a LineTable search function. I could have put it in the Context or the Unit also, I'm open to suggestions.

lib/DebugInfo/DWARFDebugInfoEntry.cpp
94 ↗(On Diff #13302)

Yep, the comparison bellow is cheaper. I'll move that.

98 ↗(On Diff #13302)

I did that just for the 80 characters limit. I can of course remove it.

104 ↗(On Diff #13302)

The programming is defensive, but the false path should never trigger. If the attribute references a line table entry, it'd better be there. Testing that would mean generating a invalid dwarf file, by striping the .debug_line section for example. Is that what you have in mind?

107 ↗(On Diff #13302)

Oops...

lib/DebugInfo/DWARFDebugLine.cpp
674 ↗(On Diff #13302)

Note that the only added logic in this function is really the realpath stuff. The other added code comes from the wrapper I moved out of DWARFContext.cpp and as such is not really new. I can try to craft some tests anyway.

lib/DebugInfo/DWARFDebugLine.h
186 ↗(On Diff #13302)

It is a separate patch. Arcanist/Phabricator presents it a merged revision, but the DebugInfoEntry.cpp modification is in a separate patch in my tree, and I intend to commit is as such.

dblaikie added a comment.Sep 15 2014, 4:14 PM

Last iteration updated here still has the issues mentioned earlier (the "oops" in DWARFDebugInfoEntryMinimal::dumpAttribute) & some other bits & pieces.

Should be easier to see with a new version, with feedback addressed.

The general API change - I don't have a strong opinion/idea about (perhaps because my brain is a bit stuck trying to understand the smaller details of the patch) but it sounds reasonable.

lib/DebugInfo/DWARFContext.cpp
496 ↗(On Diff #13302)

Why did this become conditional+continue?

lib/DebugInfo/DWARFDebugInfoEntry.cpp
98 ↗(On Diff #13302)

I would assume clang-format would do something plausible with the long expression, but I could be wrong.

104 ↗(On Diff #13302)

That (crafting a debug_info section without a debug_line) is what came to mind, yet. This is a case where "as a bug investigation aid" seems to come to mind, and accounting for invalid/broken inputs and verifying good behavior there seems appropriate.

I mean I doubt we're robust enough to handle all forms of mangled input, but I think, eventually that may be a reasonable goal (especially if you guys intend to ship this as a user-facing tool, it might be worth fuzzing it, making it actually robust, etc)

lib/DebugInfo/DWARFDebugLine.cpp
674 ↗(On Diff #13302)

Fair enough - the simple code move might be easier to see as a separate patch & I wouldn't worry too much about existing untested code. That's up to you.

(oops, old comment I forgot to send)

lib/DebugInfo/DWARFDebugLine.h
186 ↗(On Diff #13302)

Somewhat hard to review like this, I think.

At least for some of this it's probably best to send "simple mechanical move" then "change in behavior" (it's difficult to scroll up & down trying to visually inspect the changes you made to the chunks of code you moved around). I'm trying to review things as quickly as possible so that many small patches doesn't slow you down - it should, in theory, speed up review because it's easy to eyeball for correctness.

friss added a comment.Sep 15 2014, 11:11 PM

I'm sorry that you spent time again reviewing this, but I hadn't actually uploaded a new version. I opened a new revision with just the API move from the context to the LineTable (D5354) and I was going to update this one with just the file printing once the other is approved.

emaste added a subscriber: emaste.Sep 16 2014, 10:24 AM
friss updated this revision to Diff 13879.Sep 19 2014, 9:43 AM

Rebased on trunk and addressed old review comments.

dblaikie accepted this revision.Sep 19 2014, 10:20 AM
dblaikie edited edge metadata.

Looks good to me - thanks!

This revision is now accepted and ready to land.Sep 19 2014, 10:20 AM
samsonov accepted this revision.Sep 19 2014, 3:59 PM
samsonov added a reviewer: samsonov.
samsonov added a subscriber: samsonov.

Looks good modulo a couple of nits below.

lib/DebugInfo/DWARFDebugInfoEntry.cpp
93 ↗(On Diff #13879)

You can rewrite it as:

if (const auto *LT = ...) {
  LT->getFileNameByIndex(...);
   ...
}
99 ↗(On Diff #13879)

std::move looks confusing here.

friss added inline comments.Sep 22 2014, 4:48 AM
lib/DebugInfo/DWARFDebugInfoEntry.cpp
99 ↗(On Diff #13879)

This was actually Dave's suggestion. I've backed it out from the patch I'm committing.

friss closed this revision.Sep 22 2014, 5:46 AM
friss updated this revision to Diff 13928.

Closed by commit rL218246 (authored by @friss).

Revision Contents

PathSize
llvm/
trunk/
lib/
DebugInfo/
4 lines
16 lines
test/
DebugInfo/
X86/
4 lines
27 lines
MC/
MachO/
6 lines

Diff 13928

llvm/trunk/lib/DebugInfo/DWARFDebugInfoEntry.h

Show All 32 Linesclass DWARFDebugInfoEntryMinimal {
/// How many to add to "this" to get the sibling. /// How many to add to "this" to get the sibling.
uint32_t SiblingIdx; uint32_t SiblingIdx;
const DWARFAbbreviationDeclaration *AbbrevDecl; const DWARFAbbreviationDeclaration *AbbrevDecl;
public: public:
DWARFDebugInfoEntryMinimal() DWARFDebugInfoEntryMinimal()
: Offset(0), SiblingIdx(0), AbbrevDecl(nullptr) {} : Offset(0), SiblingIdx(0), AbbrevDecl(nullptr) {}
void dump(raw_ostream &OS, const DWARFUnit *u, unsigned recurseDepth, void dump(raw_ostream &OS, DWARFUnit *u, unsigned recurseDepth,
unsigned indent = 0) const; unsigned indent = 0) const;
void dumpAttribute(raw_ostream &OS, const DWARFUnit *u, uint32_t *offset_ptr, void dumpAttribute(raw_ostream &OS, DWARFUnit *u, uint32_t *offset_ptr,
uint16_t attr, uint16_t form, unsigned indent = 0) const; uint16_t attr, uint16_t form, unsigned indent = 0) const;
/// Extracts a debug info entry, which is a child of a given unit, /// Extracts a debug info entry, which is a child of a given unit,
/// starting at a given offset. If DIE can't be extracted, returns false and /// starting at a given offset. If DIE can't be extracted, returns false and
/// doesn't change OffsetPtr. /// doesn't change OffsetPtr.
bool extractFast(const DWARFUnit *U, uint32_t *OffsetPtr); bool extractFast(const DWARFUnit *U, uint32_t *OffsetPtr);
uint32_t getTag() const { return AbbrevDecl ? AbbrevDecl->getTag() : 0; } uint32_t getTag() const { return AbbrevDecl ? AbbrevDecl->getTag() : 0; }
▲ Show 20 Lines • Show All 106 Lines • Show Last 20 Lines

llvm/trunk/lib/DebugInfo/DWARFDebugInfoEntry.cpp

Show All 25 Lines
// nullptr otherwise. // nullptr otherwise.
static const DWARFUnit *findUnitAndExtractFast(DWARFDebugInfoEntryMinimal &DIE, static const DWARFUnit *findUnitAndExtractFast(DWARFDebugInfoEntryMinimal &DIE,
const DWARFUnit *Unit, const DWARFUnit *Unit,
uint32_t *Offset) { uint32_t *Offset) {
Unit = Unit->getUnitSection().getUnitForOffset(*Offset); Unit = Unit->getUnitSection().getUnitForOffset(*Offset);
return (Unit && DIE.extractFast(Unit, Offset)) ? Unit : nullptr; return (Unit && DIE.extractFast(Unit, Offset)) ? Unit : nullptr;
} }
void DWARFDebugInfoEntryMinimal::dump(raw_ostream &OS, const DWARFUnit *u, void DWARFDebugInfoEntryMinimal::dump(raw_ostream &OS, DWARFUnit *u,
unsigned recurseDepth, unsigned recurseDepth,
unsigned indent) const { unsigned indent) const {
DataExtractor debug_info_data = u->getDebugInfoExtractor(); DataExtractor debug_info_data = u->getDebugInfoExtractor();
uint32_t offset = Offset; uint32_t offset = Offset;
if (debug_info_data.isValidOffset(offset)) { if (debug_info_data.isValidOffset(offset)) {
uint32_t abbrCode = debug_info_data.getULEB128(&offset); uint32_t abbrCode = debug_info_data.getULEB128(&offset);
Show All 26 Lines if (abbrCode) {
} }
} else { } else {
OS.indent(indent) << "NULL\n"; OS.indent(indent) << "NULL\n";
} }
} }
} }
void DWARFDebugInfoEntryMinimal::dumpAttribute(raw_ostream &OS, void DWARFDebugInfoEntryMinimal::dumpAttribute(raw_ostream &OS,
const DWARFUnit *u, DWARFUnit *u,
uint32_t *offset_ptr, uint32_t *offset_ptr,
uint16_t attr, uint16_t form, uint16_t attr, uint16_t form,
unsigned indent) const { unsigned indent) const {
OS << " "; OS << " ";
OS.indent(indent+2); OS.indent(indent+2);
const char *attrString = AttributeString(attr); const char *attrString = AttributeString(attr);
if (attrString) if (attrString)
OS << attrString; OS << attrString;
else else
OS << format("DW_AT_Unknown_%x", attr); OS << format("DW_AT_Unknown_%x", attr);
const char *formString = FormEncodingString(form); const char *formString = FormEncodingString(form);
if (formString) if (formString)
OS << " [" << formString << ']'; OS << " [" << formString << ']';
else else
OS << format(" [DW_FORM_Unknown_%x]", form); OS << format(" [DW_FORM_Unknown_%x]", form);
DWARFFormValue formValue(form); DWARFFormValue formValue(form);
if (!formValue.extractValue(u->getDebugInfoExtractor(), offset_ptr, u)) if (!formValue.extractValue(u->getDebugInfoExtractor(), offset_ptr, u))
return; return;
OS << "\t("; OS << "\t(";
const char *Name = nullptr; const char *Name = nullptr;
if (Optional<uint64_t> Val = formValue.getAsUnsignedConstant()) std::string File;
if (attr == DW_AT_decl_file || attr == DW_AT_call_file) {
if (const auto *LT = u->getContext().getLineTableForUnit(u))
if (LT->getFileNameByIndex(
formValue.getAsUnsignedConstant().getValue(),
u->getCompilationDir(),
DILineInfoSpecifier::FileLineInfoKind::AbsoluteFilePath, File)) {
File = '"' + File + '"';
Name = File.c_str();
}
} else if (Optional<uint64_t> Val = formValue.getAsUnsignedConstant())
Name = AttributeValueString(attr, *Val); Name = AttributeValueString(attr, *Val);
if (Name) { if (Name) {
OS << Name; OS << Name;
} else if (attr == DW_AT_decl_line || attr == DW_AT_call_line) { } else if (attr == DW_AT_decl_line || attr == DW_AT_call_line) {
OS << *formValue.getAsUnsignedConstant(); OS << *formValue.getAsUnsignedConstant();
} else { } else {
formValue.dump(OS, u); formValue.dump(OS, u);
▲ Show 20 Lines • Show All 274 Lines • Show Last 20 Lines

llvm/trunk/test/DebugInfo/X86/2011-09-26-GlobalVarContext.ll

Show All 34 Lines
!18 = metadata !{i32 4, i32 23, metadata !16, null} !18 = metadata !{i32 4, i32 23, metadata !16, null}
!19 = metadata !{i32 5, i32 5, metadata !16, null} !19 = metadata !{i32 5, i32 5, metadata !16, null}
!20 = metadata !{metadata !"test.c", metadata !"/work/llvm/vanilla/test/DebugInfo"} !20 = metadata !{metadata !"test.c", metadata !"/work/llvm/vanilla/test/DebugInfo"}
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_name [DW_FORM_strp] ( .debug_str[0x{{[0-9a-f]*}}] = "GLB") ; CHECK: DW_AT_name [DW_FORM_strp] ( .debug_str[0x{{[0-9a-f]*}}] = "GLB")
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_decl_file [DW_FORM_data1] (0x01) ; CHECK: DW_AT_decl_file [DW_FORM_data1] ("/work/llvm/vanilla/test/DebugInfo/test.c")
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_decl_line [DW_FORM_data1] (1) ; CHECK: DW_AT_decl_line [DW_FORM_data1] (1)
; CHECK: DW_TAG_variable ; CHECK: DW_TAG_variable
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_name [DW_FORM_strp] ( .debug_str[0x{{[0-9a-f]*}}] = "LOC") ; CHECK: DW_AT_name [DW_FORM_strp] ( .debug_str[0x{{[0-9a-f]*}}] = "LOC")
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_decl_file [DW_FORM_data1] (0x01) ; CHECK: DW_AT_decl_file [DW_FORM_data1] ("/work/llvm/vanilla/test/DebugInfo/test.c")
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_decl_line [DW_FORM_data1] (4) ; CHECK: DW_AT_decl_line [DW_FORM_data1] (4)
!21 = metadata !{i32 1, metadata !"Debug Info Version", i32 1} !21 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}

llvm/trunk/test/DebugInfo/namespace.ll

; REQUIRES: object-emission ; REQUIRES: object-emission
; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t ; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t
; RUN: llvm-dwarfdump %t | FileCheck %s ; RUN: llvm-dwarfdump %t | FileCheck %s
; CHECK: debug_info contents ; CHECK: debug_info contents
; CHECK: [[NS1:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace ; CHECK: [[NS1:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
; CHECK-NEXT: DW_AT_name{{.*}} = "A" ; CHECK-NEXT: DW_AT_name{{.*}} = "A"
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F1:[0-9]]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1:".*debug-info-namespace.cpp"]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(3) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(3)
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: [[NS2:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace ; CHECK: [[NS2:0x[0-9a-f]*]]:{{ *}}DW_TAG_namespace
; CHECK-NEXT: DW_AT_name{{.*}} = "B" ; CHECK-NEXT: DW_AT_name{{.*}} = "B"
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2:[0-9]]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2:".*foo.cpp"]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(1) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(1)
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: [[I:0x[0-9a-f]*]]:{{ *}}DW_TAG_variable ; CHECK: [[I:0x[0-9a-f]*]]:{{ *}}DW_TAG_variable
; CHECK-NEXT: DW_AT_name{{.*}}= "i" ; CHECK-NEXT: DW_AT_name{{.*}}= "i"
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: [[FOO:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type ; CHECK: [[FOO:0x[0-9a-f]*]]:{{ *}}DW_TAG_structure_type
; CHECK-NEXT: DW_AT_name{{.*}}= "foo" ; CHECK-NEXT: DW_AT_name{{.*}}= "foo"
; CHECK-NEXT: DW_AT_declaration ; CHECK-NEXT: DW_AT_declaration
Show All 12 Lines
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_name{{.*}}= "f1" ; CHECK: DW_AT_name{{.*}}= "f1"
; CHECK: NULL ; CHECK: NULL
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_module ; CHECK: DW_TAG_imported_module
; This is a bug, it should be in F2 but it inherits the file from its ; This is a bug, it should be in F2 but it inherits the file from its
; enclosing scope ; enclosing scope
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F1]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(8) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(8)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
; CHECK: NULL ; CHECK: NULL
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_module ; CHECK: DW_TAG_imported_module
; Same bug as above, this should be F2, not F1 ; Same bug as above, this should be F2, not F1
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F1]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F1]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(11) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(11)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_subprogram ; CHECK: DW_TAG_subprogram
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_MIPS_linkage_name ; CHECK: DW_AT_MIPS_linkage_name
; CHECK-NOT: DW_TAG ; CHECK-NOT: DW_TAG
; CHECK: DW_AT_name{{.*}}= "func" ; CHECK: DW_AT_name{{.*}}= "func"
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_module ; CHECK: DW_TAG_imported_module
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(18) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(18)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_declaration ; CHECK: DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(19) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(19)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FOO]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FOO]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_declaration ; CHECK: DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(20) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(20)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[BAR]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[BAR]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_declaration ; CHECK: DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(21) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(21)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FUNC1]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[FUNC1]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_declaration ; CHECK: DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(22) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(22)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[I]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[I]]})
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: [[X:0x[0-9a-f]*]]:{{ *}}DW_TAG_imported_declaration ; CHECK: [[X:0x[0-9a-f]*]]:{{ *}}DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(24) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(24)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS1]]})
; CHECK-NEXT: DW_AT_name{{.*}}"X" ; CHECK-NEXT: DW_AT_name{{.*}}"X"
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_declaration ; CHECK: DW_TAG_imported_declaration
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(25) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(25)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[X]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[X]]})
; CHECK-NEXT: DW_AT_name{{.*}}"Y" ; CHECK-NEXT: DW_AT_name{{.*}}"Y"
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_lexical_block ; CHECK: DW_TAG_lexical_block
; CHECK-NOT: NULL ; CHECK-NOT: NULL
; CHECK: DW_TAG_imported_module ; CHECK: DW_TAG_imported_module
; CHECK-NEXT: DW_AT_decl_file{{.*}}(0x0[[F2]]) ; CHECK-NEXT: DW_AT_decl_file{{.*}}([[F2]])
; CHECK-NEXT: DW_AT_decl_line{{.*}}(15) ; CHECK-NEXT: DW_AT_decl_line{{.*}}(15)
; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]}) ; CHECK-NEXT: DW_AT_import{{.*}}=> {[[NS2]]})
; CHECK: NULL ; CHECK: NULL
; CHECK: NULL ; CHECK: NULL
; CHECK: NULL ; CHECK: NULL
; CHECK: file_names[ [[F1]]]{{.*}}debug-info-namespace.cpp
; CHECK: file_names[ [[F2]]]{{.*}}foo.cpp
; IR generated from clang/test/CodeGenCXX/debug-info-namespace.cpp, file paths ; IR generated from clang/test/CodeGenCXX/debug-info-namespace.cpp, file paths
; changed to protect the guilty. The C++ source code is: ; changed to protect the guilty. The C++ source code is:
; namespace A { ; namespace A {
; #line 1 "foo.cpp" ; #line 1 "foo.cpp"
; namespace B { ; namespace B {
; int i; ; int i;
; void f1() { } ; void f1() { }
; void f1(int) { } ; void f1(int) { }
▲ Show 20 Lines • Show All 138 Lines • Show Last 20 Lines

llvm/trunk/test/MC/MachO/gen-dwarf.s

Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines
// We don't check the file name as it is a temp directory // We don't check the file name as it is a temp directory
// CHECK: DW_AT_name [DW_FORM_string] // CHECK: DW_AT_name [DW_FORM_string]
// We don't check the DW_AT_comp_dir which is the current working directory // We don't check the DW_AT_comp_dir which is the current working directory
// CHECK: DW_AT_producer [DW_FORM_string] ("llvm-mc (based on {{.*}})") // CHECK: DW_AT_producer [DW_FORM_string] ("llvm-mc (based on {{.*}})")
// CHECK: DW_AT_language [DW_FORM_data2] (DW_LANG_Mips_Assembler) // CHECK: DW_AT_language [DW_FORM_data2] (DW_LANG_Mips_Assembler)
// CHECK: DW_TAG_label [2] * // CHECK: DW_TAG_label [2] *
// CHECK: DW_AT_name [DW_FORM_string] ("bar") // CHECK: DW_AT_name [DW_FORM_string] ("bar")
// CHECK: DW_AT_decl_file [DW_FORM_data4] (0x00000001) // CHECK: DW_AT_decl_file [DW_FORM_data4] ([[FILE:".*gen-dwarf.s"]])
// CHECK: DW_AT_decl_line [DW_FORM_data4] (5) // CHECK: DW_AT_decl_line [DW_FORM_data4] (5)
// CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000000) // CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000000)
// CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00) // CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00)
// CHECK: DW_TAG_unspecified_parameters [3] // CHECK: DW_TAG_unspecified_parameters [3]
// CHECK: NULL // CHECK: NULL
// CHECK: DW_TAG_label [2] * // CHECK: DW_TAG_label [2] *
// CHECK: DW_AT_name [DW_FORM_string] ("foo") // CHECK: DW_AT_name [DW_FORM_string] ("foo")
// CHECK: DW_AT_decl_file [DW_FORM_data4] (0x00000001) // CHECK: DW_AT_decl_file [DW_FORM_data4] ([[FILE]])
// CHECK: DW_AT_decl_line [DW_FORM_data4] (9) // CHECK: DW_AT_decl_line [DW_FORM_data4] (9)
// CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000007) // CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000007)
// CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00) // CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00)
// CHECK: DW_TAG_unspecified_parameters [3] // CHECK: DW_TAG_unspecified_parameters [3]
// CHECK: NULL // CHECK: NULL
// CHECK: DW_TAG_label [2] * // CHECK: DW_TAG_label [2] *
// CHECK: DW_AT_name [DW_FORM_string] ("baz") // CHECK: DW_AT_name [DW_FORM_string] ("baz")
// CHECK: DW_AT_decl_file [DW_FORM_data4] (0x00000001) // CHECK: DW_AT_decl_file [DW_FORM_data4] ([[FILE]])
// CHECK: DW_AT_decl_line [DW_FORM_data4] (10) // CHECK: DW_AT_decl_line [DW_FORM_data4] (10)
// CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000007) // CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000007)
// CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00) // CHECK: DW_AT_prototyped [DW_FORM_flag] (0x00)
// CHECK: DW_TAG_unspecified_parameters [3] // CHECK: DW_TAG_unspecified_parameters [3]
// CHECK: NULL // CHECK: NULL
Show All 39 Lines