[DWARFv5] Support FORM_strp in the line table header

[probinson]

Summary

This mainly required teaching DWARFFormValue to use relocations for a
section other than .debug_info (i.e., .debug_line). Also the version
and 32/64-bit format might be different for the .debug_line section.

[probinson]

It turns out that the dumper doesn't visibly distinguish between in-line strings and referenced strings when it dumps the V5 line-table header. I think I can get that, but it should be a separate follow-up.

I am also thinking that in another follow-up, in DWARFDebugLine.cpp the static helpers to parse the different headers should become private methods. Then they can lose about half their parameters because they are class data members.

Let me know if you think these are bad ideas.

[aprantl]

lib/DebugInfo/DWARF/DWARFFormValue.cpp

68 ↗

(On Diff #98853)

I found the FV a bit hard to parse... DWARFUnitProxy, maybe?

122 ↗

(On Diff #98853)

Are these methods used anywhere? (Or will that come later?)

[probinson]

lib/DebugInfo/DWARF/DWARFFormValue.cpp

68 ↗

(On Diff #98853)

It's specific to DWARFFormValue, which is why I stuck with the FV.
But maybe that's not important, and DWARFUnitProxy would be okay.

122 ↗

(On Diff #98853)

They are used now (e.g. in getAsCString). The old helper class didn't need them because the old helper class was used only in getFixedByteSize() and skipFormValue(). But the new helper is used in places where it used to call the Unit methods directly, so it needs all these.

[probinson]

Rename DWARFFVUnit -> DWARFUnitProxy.
DRY when figuring out the format to use.

[dblaikie]

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

57 ↗

(On Diff #98864)

My best guess is that sizeof(DWARFFormValue) isn't so important this needs to be indirected. It looks like most/all DWARFFormValues are transient, when some code is visiting the current attribute or form - I don't see code manifesting in a container "all forms/attributes for a DIE" for example (nor all attributes/forms in an entire file, etc).

So maybe having this as a value member, rather than a shared_ptr would reduce complexity?

Also - while I understand it's convenient to wrap DWARFUnit in the proxy so existing code doesn't need to be touched, I'm not sure it's that much of an improvement in readability - but I could be wrong - compared to having a few members and using those directly? (indeed most code still wouldn't change because it could use the DWARFUnit *U that was there before/would remain - and a few places would use the few extra new state/variables)

77–85 ↗

(On Diff #98864)

Feel free to commit changes like this separately, without pre-commit review. Keeps patches small/targeted/easier to review/revert, etc.

82 ↗

(On Diff #98864)

Does the LLVM style guide say to document all parameters? (I guess the clang doxy warnings flag things like this if they're not document?)

It'd be nice if there were a tidier way to just say "there's nothing to add here" - because I don't think "The DataExtractor to use" really adds anything compared to what the generated documentation or function signature already has.

lib/DebugInfo/DWARF/DWARFContext.cpp

193–196 ↗

(On Diff #98864)

Guessing this probably isn't right for DWP files? Or potentially for a DWO containing multiple CUs that might have different CU properties that are relevant to the line table?

Though that's perhaps an interesting question - since a DWO line table is just for type units, the CU won't have a reference to any line.dwo section, and multiple DWO TUs might refer to the same line table, I think? (I think LLVM produces only one, but I forget - it's been awhile since I implemented taht) so you'd want to pick one of the DWO TUs that references this line table to use here?

lib/DebugInfo/DWARF/DWARFDebugLine.cpp

143–144 ↗

(On Diff #98864)

I know DWARF64 support is starting to be considered in a few places - but is this tested?

lib/DebugInfo/DWARF/DWARFFormValue.cpp

135 ↗

(On Diff #98864)

avoid branch-to-unreachable, instead "assert(U)" at the start of the function (similarly for other cases above/in this patch)

[probinson]

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

57 ↗

(On Diff #98864)

You have touched on a couple of different things here.

Using a value member instead of shared_ptr seems fine, it would make the diff a whole lot longer but most of the extra changes would be replacing U->foo with U.foo.

Yes we could build a helper class that has value members with all the right info. But then we are paying some nonzero cost to extract/compute those values (e.g., size of a ref-addr) when constructing the class, but most of the time we won't actually need all that. And remember that with all the new indirection in v5, we are talking about handles on quite a few different sections that we'd need to copy over into the new helper, on the off chance that we'd need them. Or make the constructor a lot more complicated, smart enough to work out which pieces it needs based on the Form...

If we really wanted to get radical, DWARFFormValue should be handed the DWARFContext rather than the DWARFUnit, along with the few bits of unit-specific info (32/64 format, version, address size). Then we query the context as needed, instead of the unit. That minimizes copying while retaining the unit/line-table flexibility.

I'm open to suggestions.

82 ↗

(On Diff #98864)

Seems to me I did get warnings or something when not all parameters were documents.
If you want to propose a "nothing to see here" case in the coding standard, knock yourself out.

lib/DebugInfo/DWARF/DWARFDebugLine.cpp

143–144 ↗

(On Diff #98864)

Huh. No, I missed that, I will add a test.
IMHO it would not be the end of the world for the dumpers to be able to handle DWARF64. The day will likely come when somebody really can't work around the lack.

lib/DebugInfo/DWARF/DWARFFormValue.cpp

135 ↗

(On Diff #98864)

Hmm so a release build would get a seg fault instead of a more intelligent error? I can do what you said but an actual diagnostic instead of a seg fault seems pretty cheap.

[probinson]

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

77–85 ↗

(On Diff #98864)

r303214.

[probinson]

lib/DebugInfo/DWARF/DWARFContext.cpp

193–196 ↗

(On Diff #98864)

There are no CU properties relevant to a DWO v5 line table. The only reason we need a CU is because it is a convenient way to relay handles on the other sections that a v5 line table header might need (.debug_str etc). So it doesn't matter whether the CU is related to the line table.

It's quite easy to argue that, therefore, we shouldn't pass a CU down at all, but something else that provides the same information. I thought about that for a while, and decided that if we do go that route then probably it should be done as a separate commit, because all the existing APIs are expecting a CU.
What do you think?

[dblaikie]

lib/DebugInfo/DWARF/DWARFContext.cpp

193–196 ↗

(On Diff #98864)

Ah, right - well, given the point was to make debug_line standalone, easier to preserve while stripping other things (if I recall/understand correctly) that seems like a good goal. It should be possible to dump a file that doesn't contain a debug_info section/any CUs and only line tables/debug_str/etc.

As for ordering - I'm not too fussed either way. I'd probably/ideally have staged the work to separate the needed properties out of the CU abstractions first, but since we're here I can't see any reason to make that a necessity for this work.

[probinson]

Make the helper class be copyable values rather than a shared_ptr.
Add a test for DWARF-64 line-table header.
Use assert() instead of unreachable in some cases.

[probinson]

I'd probably/ideally have staged the work to separate the needed properties out of the CU abstractions first,

Yeah, well, I didn't come to terms with that direction until I was really pretty invested in this piece. But hey, if I knew what the endpoint was up front, it wouldn't be iterative development.
Sadly, what has struck me just this minute (after posting the diff of course) is that what's currently the nested FormValueInfo class is probably going to have to be factored out on its own so callers can DTRT and then hand over a constructed helper to DWARFFormValue. Oh well.

[dblaikie]

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

42 ↗

(On Diff #99368)

= default

58–66 ↗

(On Diff #99368)

I'd consider keeping the ctors, dropping these Init functions, and where you have:

x.Init(...);

use:

x = FormValueInfo(...);

perhaps? since it's simple to copy/move, etc. Seems like less API surface, surprises (no/less chance that Init leaves some stale state, etc), etc :)

86 ↗

(On Diff #99368)

The other point I was making here was that maybe the members of FormValueInfo could be members of DWARFFormValue directly.

I see there are a few cases where FormValueInfo objects are constructed separately from a DWARFFormValue - but they're all /inside/ a DWARFFormValue member function if I'm not mistaken. Why are those cases not using the FormValueInfo in the DWARFFormValue they're a member of?

[probinson]

FYI I'm away at a conference next week and I might not get back to this until the week after.

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

86 ↗

(On Diff #99368)

Those cases are static member functions.

it sounds like you would prefer each method to have several overloads for the different use-cases. I was thinking that FormValueInfo could be factored out into an independent class, constructed by the caller and then passed in, reducing the DWARFFormValue API surface (as there could be simply one copy of skipValue and getFixedByteSize instead of several of each).

[dblaikie]

In D33155#759961, @probinson wrote:

FYI I'm away at a conference next week and I might not get back to this until the week after.

include/llvm/DebugInfo/DWARF/DWARFFormValue.h

58–66 ↗

(On Diff #99368)

Still curious about this.

Also this class doesn't seem to provide any encapsulation, so it's weird that it has init/ctor like behavior - since there's no invariants that can be held, etc. Should it have a narrower surface area? Or maybe wider - perhaps a couple of functions that return this struct? With names that make clear their use case (the two different ways of using this function that represent different situations, etc)? Will those use cases be unified in some way?

Sorry, I'm still a bit fuzzy on the details/goals/end state.

86 ↗

(On Diff #99368)

I'm not sure what I'd prefer - mostly trying to understand the current motivations/use cases/etc. Thanks for pointing out/explaining the details.

With regard to one function that takes a struct and behaves differently depending on the struct, versus two functions that behave differently/have different parameters:

I'd tend to prefer not to make a decision dynamic when it's static (ie: if all the callers know, statically, which behavior they want - no need to make the caller do dynamic work (yeah, the inliner can fix this, but from a legibility standpoint too, it seems simpler)). But this doesn't always apply - if the callee does mostly common work and somewhere deep inside does one of two different things based on those callers, then yeah, it may make sense to have a single function with some kind of dynamic parameter.

[probinson]

Sorry, I'm still a bit fuzzy on the details/goals/end state.

Yes, well. DWARFFormValue is a bit slippery, partly because forms are a bit slippery, and partly because it seems DWARFFormValue was a convenient place to stuff miscellaneous and not entirely related queries about forms.

Users of DWARFFormValue tend to want one of three things: (a) the data value described by the form, as extracted from a DataExtractor, and possibly from another section; (b) the *size* of the data value described by the form, because they want to skip over it; or (c) whether the size of a data value that *could* be described by the form is fixed-size, and if so, what size is that. The latter case comes up when parsing an abbrev table on its own, some consumers like to know ahead of time which abbrevs describe DIEs that are fixed-size and how big those are.

This gets trickier because sometimes the data value depends on external information (e.g. relocations) and sometimes the data value has a fixed size but that size depends on external information (e.g. the DWARF version or 32/64 format). Up through DWARF v4, all of that external information was available through the relevant DWARFUnit, because forms always described data from a Unit, and so passing a DWARFUnit pointer in to various methods was enough to hide all the details about bits and pieces from the callers.

Now in DWARF v5, forms become even more exciting, because sometimes the data value depends on even more external information (e.g. yet another object-file section such as the string-offset section or the address table). And when we are looking at forms describing information in the .debug_line section, the DWARF version and 32/64 format come from the line-table header not the Unit, and the relevant relocations are .debug_line relocations not .debug_info relocations. When we're dumping a .debug_line section in dwarfdump, really we shouldn't be relying on a Unit at all.

So, I am trying to package up the information that DWARFFormValue needs in order to answer the various queries that it gets, without DWARFFormValue itself needing to understand whether it is looking at .debug_info or .debug_line (it should be given the relevant info by its callers), and without making DWARFFormValue's API look too ridiculous.

[probinson]

Provide DWARFDebugLine parsers with the DWARFContext, not just a relocation map.
Add a second overload of DWARFFormValue::extractValue() for use by the line-table parser; both overloads call a common private implementation.
This allows the v5 line-table header to use DW_FORM_strp.

[probinson]

Ping.

[dblaikie]

In D33155#775734, @probinson wrote:

Sorry, I'm still a bit fuzzy on the details/goals/end state.

Yes, well. DWARFFormValue is a bit slippery, partly because forms are a bit slippery, and partly because it seems DWARFFormValue was a convenient place to stuff miscellaneous and not entirely related queries about forms.

Users of DWARFFormValue tend to want one of three things: (a) the data value described by the form, as extracted from a DataExtractor, and possibly from another section; (b) the *size* of the data value described by the form, because they want to skip over it; or (c) whether the size of a data value that *could* be described by the form is fixed-size, and if so, what size is that. The latter case comes up when parsing an abbrev table on its own, some consumers like to know ahead of time which abbrevs describe DIEs that are fixed-size and how big those are.

This gets trickier because sometimes the data value depends on external information (e.g. relocations) and sometimes the data value has a fixed size but that size depends on external information (e.g. the DWARF version or 32/64 format). Up through DWARF v4, all of that external information was available through the relevant DWARFUnit, because forms always described data from a Unit, and so passing a DWARFUnit pointer in to various methods was enough to hide all the details about bits and pieces from the callers.

Now in DWARF v5, forms become even more exciting, because sometimes the data value depends on even more external information (e.g. yet another object-file section such as the string-offset section or the address table). And when we are looking at forms describing information in the .debug_line section, the DWARF version and 32/64 format come from the line-table header not the Unit, and the relevant relocations are .debug_line relocations not .debug_info relocations. When we're dumping a .debug_line section in dwarfdump, really we shouldn't be relying on a Unit at all.

So, I am trying to package up the information that DWARFFormValue needs in order to answer the various queries that it gets, without DWARFFormValue itself needing to understand whether it is looking at .debug_info or .debug_line (it should be given the relevant info by its callers), and without making DWARFFormValue's API look too ridiculous.

Ah, right, thanks for explaining/refreshing all that.

seems like anywhere that still has a DWARFCompileUnit in the DWARFFormValue is a possible bug waiting to happen for non-Unit uses of forms? I think it'd be good to port it all over so it's not in this hybrid/partially supported state. Perhaps the best thing would be if FormSizeHelper (hmm, wonder if there's a better name for that) had an implicit ctor from DWARFCompileUnit so DWARFFormValue could have one API in terms of FormSizeHelper only & callers can either construct the pieces they need, or have it constructed from a DWARFCompileUnit.

llvm/lib/DebugInfo/DWARF/DWARFFormValue.cpp

333

Maybe reverse this to reduce indentation/early exit:

if (!CU)
  return extractValueImpl(Data, OffsetPtr, nullptr);
U = CU;
...

334

The existence of this 'U' member makes it look like the dumping and other code may not work? Since the FormSizeHelper infrastructure won't be used in those cases. That seems problematic/inconsistent.

655–658

This sort of fallback seems error prone or confusing. Are there cases where the first part is necessary? If so, it seems like there would be places where the second/new part is incorrect?

[probinson]

I'm not super excited about the hybrid form, but always unpacking a Unit inside the DWARFFormValue methods felt kind of expensive.

I have, over the weeks, contemplated inventing a fake kind of Unit for the line table, which would have all the Right Stuff in it to let DWARFFormValue do its thing. This of course is getting away from the hybrid in the opposite way--make callers provide a Unit-like object, instead of making most callers unpack a Unit into some other kind of info/helper class. Building a fake Unit feels a little icky, and I think might not be especially cheap, but as it's only once per line-table it might be okay... I've been resisting it because a line table is-not-a Unit, what is your opinion? (Am I making sense?)

llvm/lib/DebugInfo/DWARF/DWARFFormValue.cpp

655–658

I had discovered that the first part is necessary for .dwo cases (~10 tests), because of things like .debug_types.dwo wanting to get its strings from .debug_str.dwo not .debug_str, and so forth. The dumper constructs a Unit that has either the .dwo or non-.dwo section handles in it, so that getStringExtractor will point to the correct section. I can't get that directly out of the Context unless DWARFFormValue knows a whole lot more about its environment than I would really like.

[probinson]

See D34570, which packages the version/address-size/format and puts the query methods in one place. DWARFUnit and DWARFDebugLine use the new class as a data member, as suggested by @dblaikie. I'll update this patch again after that one's resolved.

[probinson]

By passing a DWARFUnit into the line-table parser (if we have one), we allow it to handle indirect string forms, which require finding other sections. Previously the line-table parser couldn't do that (and didn't need to, prior to v5).
By passing DWARFFormParams to DWARFFormValue::extractValue() separately from the DWARFUnit, we allow interpreting forms according to the line-table's version/format, which could be different from the Unit's version/format.

This doesn't do the .dwo part yet, I'd like to leave that for a follow-up.

[ruiu]

lld/ELF/InputFiles.cpp

80–83 ↗

(On Diff #120642)

I don't fully understand this change, but it seems like if it was working before, Dwarf.getNumCompileUnits() >0 is guaranteed, no?

[aprantl]

llvm/test/DebugInfo/Inputs/dwarfdump-header-64.s

8

Why do we need/want to check in the binary? Could it just be generated on the fly?

It looks like this assembler file may be general enough to also assemble for am x86_64-apple-darwin triple so we could test Mach-O support, too?

[probinson]

lld/ELF/InputFiles.cpp

80–83 ↗

(On Diff #120642)

No. If you have no debug info, getNumCompileUnits() == 0, but we still go through this path. When we discover there's no debug info, lld falls back to using FILE symbols instead.
That said, I don't have an lld test for retrieving filespecs from a DWARF v5 line table, so we could hardcode it to nullptr for now and leave a FIXME.

llvm/test/DebugInfo/Inputs/dwarfdump-header-64.s

8

I thought checked-in binaries were usual; for example the DWARF32 version of the test is a checked-in binary. Generating the binary on the fly has a small test-time performance cost.
I don't actually know if Mach-O would be okay with this, because section names? I'm happy to do it that way if there's a coverage benefit. I'll play with it and see what happens.

[aprantl]

llvm/test/DebugInfo/Inputs/dwarfdump-header-64.s

8

We don't have a clear policy for binary files. My opinion is that we should avoid binaries where a sufficiently reliable alternative exists, to make it easier to modify and maintain testcases in the future. So unless we need to become independent from variability introduced by llvm-mc, I think just checking in the assembler sources is the way to go. A counterexample for when binaries are necessary are the LLVM bitcode compatibility tests.

For completeness: another alternative is yam2obj, but it is even more low-level than assembler and in my experience too verbose for DWARF tests.

because section names?

Good point, I forgot about those. Half-serious: we could run the C preprocessor over the assembler file to support alternate section names guarded by #ifdefs.

[probinson]

llvm/test/DebugInfo/Inputs/dwarfdump-header-64.s

8

I am pretty sure that with a checked-in binary, you don't need to build the right target architecture to be able to dump it. For sure assembling the file at test time will depend on having llvm-mc built with the correct target. But overall I think being able to show the cross-section stuff works for both Mach-O and ELF is probably more important than being able to run an ELF-only test on bots that don't build X86. So I will proceed with trying to find a reasonable way to make the assembly source work for both ELF and Mach-O.

[aprantl]

Thanks, that sounds great! As far as I know there are only very few bots that don't build the X86 backend at the moment so I wouldn't be too concerned about that.

[probinson]

Make the new test work for both ELF and Mach-O.
Simplify LLD change to never pass a Unit, as there's no test for it yet.

[probinson]

Ping.

I left the existing test (dwarfdump-header.s) as a checked-in binary, because it tests both normal and split headers, and I don't know what MachO section names to use for the .dwo sections. My intuition is that MachO will never bother supporting split DWARF so maybe it's fine to leave it as is. If somebody does want me to convert the test, I'll need a list of section names to use, and I would do it as a follow-up. Just thought I'd put that out there.

[aprantl]

Thanks for converting the other testcase.

I left the existing test (dwarfdump-header.s) as a checked-in binary, because it tests both normal and split headers, and I don't know what MachO section names to use for the .dwo sections.

There is no need to test split DWARF + MachO since that combination is neither tested nor specified anywhere.

Why can't the other test be ELF-only assembler though? Otherwise this LGTM now.

llvm/test/DebugInfo/X86/dwarfdump-header-64.s

18 ↗

(On Diff #121087)

Nice, thank you!

[probinson]

In D33155#918127, @aprantl wrote:

Why can't the other test be ELF-only assembler though?

It can, I will convert it as a follow-up. Thanks!

llvm/include/llvm/DebugInfo/DWARF/DWARFContext.h

public:
   typedef MapVector<object::SectionRef, DWARFSection,
                     std::map<object::SectionRef, unsigned>> TypeSectionMap;
   virtual const TypeSectionMap &getTypesSections() = 0;
   virtual StringRef getAbbrevSection() = 0;
   virtual const DWARFSection &getLocSection() = 0;
   virtual StringRef getARangeSection() = 0;
   virtual StringRef getDebugFrameSection() = 0;
   virtual StringRef getEHFrameSection() = 0;
-  virtual const DWARFSection &getLineSection() = 0;
+  virtual const DWARFSection &getLineSection() const = 0;
   virtual StringRef getStringSection() = 0;
   virtual const DWARFSection& getRangeSection() = 0;
   virtual StringRef getMacinfoSection() = 0;
   virtual StringRef getPubNamesSection() = 0;
   virtual StringRef getPubTypesSection() = 0;
   virtual StringRef getGnuPubNamesSection() = 0;
   virtual StringRef getGnuPubTypesSection() = 0;
 
   /// DWARF v5
   /// @{
   virtual const DWARFSection &getStringOffsetSection() = 0;
+  virtual DataExtractor getStringExtractor() const = 0;
   /// @}
 
   // Sections for DWARF5 split dwarf proposal.
   virtual const DWARFSection &getInfoDWOSection() = 0;
   virtual const TypeSectionMap &getTypesDWOSections() = 0;
   virtual StringRef getAbbrevDWOSection() = 0;
   virtual const DWARFSection &getLineDWOSection() = 0;
   virtual const DWARFSection &getLocDWOSection() = 0;
public:
   uint8_t getAddressSize() const override { return AddressSize; }
   const DWARFSection &getInfoSection() override { return InfoSection; }
   const TypeSectionMap &getTypesSections() override { return TypesSections; }
   StringRef getAbbrevSection() override { return AbbrevSection; }
   const DWARFSection &getLocSection() override { return LocSection; }
   StringRef getARangeSection() override { return ARangeSection; }
   StringRef getDebugFrameSection() override { return DebugFrameSection; }
   StringRef getEHFrameSection() override { return EHFrameSection; }
-  const DWARFSection &getLineSection() override { return LineSection; }
+  const DWARFSection &getLineSection() const override { return LineSection; }
   StringRef getStringSection() override { return StringSection; }
   const DWARFSection &getRangeSection() override { return RangeSection; }
   StringRef getMacinfoSection() override { return MacinfoSection; }
   StringRef getPubNamesSection() override { return PubNamesSection; }
   StringRef getPubTypesSection() override { return PubTypesSection; }
   StringRef getGnuPubNamesSection() override { return GnuPubNamesSection; }
   StringRef getGnuPubTypesSection() override { return GnuPubTypesSection; }
   const DWARFSection& getAppleNamesSection() override { return AppleNamesSection; }
   const DWARFSection& getAppleTypesSection() override { return AppleTypesSection; }
   const DWARFSection& getAppleNamespacesSection() override { return AppleNamespacesSection; }
   const DWARFSection& getAppleObjCSection() override { return AppleObjCSection; }
 
   // DWARF v5
   const DWARFSection &getStringOffsetSection() override {
     return StringOffsetSection;
   }
+  DataExtractor getStringExtractor() const override {
+    return DataExtractor(StringSection, false, 0);
+  }
+
 
   // Sections for DWARF5 split dwarf proposal.
   const DWARFSection &getInfoDWOSection() override { return InfoDWOSection; }
 
   const TypeSectionMap &getTypesDWOSections() override {
     return TypesDWOSections;
   }
 

llvm/include/llvm/DebugInfo/DWARF/DWARFDebugLine.h

 #include <cstdint>
 #include <map>
 #include <string>
 #include <vector>
 
 namespace llvm {
 
 class raw_ostream;
+class DWARFContext;
 
 class DWARFDebugLine {
 public:
-  DWARFDebugLine(const RelocAddrMap *LineInfoRelocMap)
-      : RelocMap(LineInfoRelocMap) {}
+  DWARFDebugLine(const DWARFContext *Ctx) : Context(Ctx) {}
 
   struct FileNameEntry {
     FileNameEntry() = default;
 
     StringRef Name;
     uint64_t DirIdx = 0;
     uint64_t ModTime = 0;
     uint64_t Length = 0;
struct Prologue {
     }
 
     int32_t getMaxLineIncrementForSpecialOpcode() const {
       return LineBase + (int8_t)LineRange - 1;
     }
 
     void clear();
     void dump(raw_ostream &OS) const;
-    bool parse(DataExtractor DebugLineData, uint32_t *OffsetPtr);
+    bool parse(DataExtractor DebugLineData, uint32_t *OffsetPtr,
+               const DWARFContext *Ctx);
   };
 
   /// Standard .debug_line state machine structure.
   struct Row {
     explicit Row(bool DefaultIsStmt = false);
 
     /// Called after a row is appended to the matrix.
     void postAppend();
struct LineTable {
     bool getFileLineInfoForAddress(uint64_t Address, const char *CompDir,
                                    DILineInfoSpecifier::FileLineInfoKind Kind,
                                    DILineInfo &Result) const;
 
     void dump(raw_ostream &OS) const;
     void clear();
 
     /// Parse prologue and all rows.
-    bool parse(DataExtractor DebugLineData, const RelocAddrMap *RMap,
+    bool parse(DataExtractor DebugLineData, const DWARFContext *Ctx,
                uint32_t *OffsetPtr);
 
     struct Prologue Prologue;
     typedef std::vector<Row> RowVector;
     typedef RowVector::const_iterator RowIter;
     typedef std::vector<Sequence> SequenceVector;
     typedef SequenceVector::const_iterator SequenceIter;
     RowVector Rows;
struct ParsingState {
     struct Row Row;
     struct Sequence Sequence;
   };
 
   typedef std::map<uint32_t, LineTable> LineTableMapTy;
   typedef LineTableMapTy::iterator LineTableIter;
   typedef LineTableMapTy::const_iterator LineTableConstIter;
 
-  const RelocAddrMap *RelocMap;
+  const DWARFContext *Context;
   LineTableMapTy LineTableMap;
 };
 
 } // end namespace llvm
 
 #endif // LLVM_DEBUGINFO_DWARFDEBUGLINE_H

llvm/include/llvm/DebugInfo/DWARF/DWARFFormValue.h

 //===- DWARFFormValue.h -----------------------------------------*- C++ -*-===//
 //
 //                     The LLVM Compiler Infrastructure
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 
 #ifndef LLVM_DEBUGINFO_DWARFFORMVALUE_H
 #define LLVM_DEBUGINFO_DWARFFORMVALUE_H
 
 #include "llvm/ADT/ArrayRef.h"
 #include "llvm/ADT/None.h"
 #include "llvm/ADT/Optional.h"
 #include "llvm/BinaryFormat/Dwarf.h"
+#include "llvm/DebugInfo/DWARF/DWARFRelocMap.h"
 #include "llvm/Support/DataExtractor.h"
 #include <cstdint>
 
 namespace llvm {
 
+class DWARFContext;
 class DWARFUnit;
 class raw_ostream;
+class FormSizeHelper;
 
 class DWARFFormValue {
 public:
   enum FormClass {
     FC_Unknown,
     FC_Address,
     FC_Block,
     FC_Constant,
struct ValueType {
     };
     const uint8_t *data = nullptr;
     uint64_t SectionIndex;      /// Section index for reference forms.
   };
 
   dwarf::Form Form;             /// Form for this value.
   ValueType Value;              /// Contains all data for the form.
   const DWARFUnit *U = nullptr; /// Remember the DWARFUnit at extract time.
+  const RelocAddrMap *RMap = nullptr;
+  const DWARFContext *C = nullptr;
 
 public:
   DWARFFormValue(dwarf::Form F = dwarf::Form(0)) : Form(F) {}
 
   dwarf::Form getForm() const { return Form; }
   uint64_t getRawUValue() const { return Value.uval; }
   uint64_t getSectionIndex() const { return Value.SectionIndex; }
   void setForm(dwarf::Form F) { Form = F; }
public:
   /// kind of forms that depend on Unit information are disallowed.
   /// \param Data The DataExtractor to use.
   /// \param OffsetPtr The offset within DataExtractor where the data starts.
   /// \param U The optional DWARFUnit supplying information for some forms.
   /// \returns whether the extraction succeeded.
   bool extractValue(const DataExtractor &Data, uint32_t *OffsetPtr,
                     const DWARFUnit *U);
 
+  // FIXME: doxygen
+  bool extractValue(const DataExtractor &Data, uint32_t *OffsetPtr,
+                    const DWARFContext &Ctx, const RelocAddrMap &RelocMap,
+                    uint16_t Version, uint8_t AddrSize,
+                    dwarf::DwarfFormat Format);
+
   bool isInlinedCStr() const {
     return Value.data != nullptr && Value.data == (const uint8_t *)Value.cstr;
   }
 
   /// getAsFoo functions below return the extracted value as Foo if only
   /// DWARFFormValue has form class is suitable for representing Foo.
   Optional<uint64_t> getAsReference() const;
   Optional<uint64_t> getAsUnsignedConstant() const;
public:
   /// \param Format enum value from llvm::dwarf::DwarfFormat.
   /// \returns true on success, false if the form was not skipped.
   static bool skipValue(dwarf::Form Form, DataExtractor DebugInfoData,
                         uint32_t *OffsetPtr, uint16_t Version, uint8_t AddrSize,
                         llvm::dwarf::DwarfFormat Format);
 
 private:
   void dumpString(raw_ostream &OS) const;
+  bool extractValueImpl(const DataExtractor &Data, uint32_t *OffsetPtr,
+                        const FormSizeHelper *U);
 };
 
 namespace dwarf {
 
 /// Take an optional DWARFFormValue and try to extract a string value from it.
 ///
 /// \param V and optional DWARFFormValue to attempt to extract the value from.
 /// \returns an optional value that contains a value if the form value

llvm/lib/DebugInfo/DWARF/DWARFContext.cpp

for (const auto &CU : compile_units()) {
       auto CUDIE = CU->getUnitDIE();
       if (!CUDIE)
         continue;
       if (auto StmtOffset = toSectionOffset(CUDIE.find(DW_AT_stmt_list))) {
         DataExtractor lineData(getLineSection().Data, isLittleEndian(),
                                savedAddressByteSize);
         DWARFDebugLine::LineTable LineTable;
         uint32_t Offset = *StmtOffset;
-        LineTable.parse(lineData, &getLineSection().Relocs, &Offset);
+        LineTable.parse(lineData, this, &Offset);
         LineTable.dump(OS);
       }
     }
   }
 
   if (DumpType == DIDT_All || DumpType == DIDT_CUIndex) {
     OS << "\n.debug_cu_index contents:\n";
     getCUIndex().dump(OS);
   }
 
   if (DumpType == DIDT_All || DumpType == DIDT_TUIndex) {
     OS << "\n.debug_tu_index contents:\n";
     getTUIndex().dump(OS);
   }
 
   if (DumpType == DIDT_All || DumpType == DIDT_LineDwo) {
     OS << "\n.debug_line.dwo contents:\n";
     unsigned stmtOffset = 0;
     DataExtractor lineData(getLineDWOSection().Data, isLittleEndian(),
                            savedAddressByteSize);
     DWARFDebugLine::LineTable LineTable;
-    while (LineTable.Prologue.parse(lineData, &stmtOffset)) {
+    while (LineTable.Prologue.parse(lineData, &stmtOffset, this)) {
       LineTable.dump(OS);
       LineTable.clear();
     }
   }
 
   if (DumpType == DIDT_All || DumpType == DIDT_Str) {
     OS << "\n.debug_str contents:\n";
     DataExtractor strData(getStringSection(), isLittleEndian(), 0);
const DWARFDebugMacro *DWARFContext::getDebugMacro() {
   Macro.reset(new DWARFDebugMacro());
   Macro->parse(MacinfoData);
   return Macro.get();
 }
 
 const DWARFLineTable *
 DWARFContext::getLineTableForUnit(DWARFUnit *U) {
   if (!Line)
-    Line.reset(new DWARFDebugLine(&getLineSection().Relocs));
+    Line.reset(new DWARFDebugLine(this));
 
   auto UnitDIE = U->getUnitDIE();
   if (!UnitDIE)
     return nullptr;
 
   auto Offset = toSectionOffset(UnitDIE.find(DW_AT_stmt_list));
   if (!Offset)
     return nullptr; // No line table for this compile unit.

llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp

if (Descriptor.Type == dwarf::DW_LNCT_path)
       HasPath = true;
     Descriptors.push_back(Descriptor);
   }
   return HasPath ? Descriptors : ContentDescriptors();
 }
 
 static bool
 parseV5DirFileTables(DataExtractor DebugLineData, uint32_t *OffsetPtr,
-                     uint64_t EndPrologueOffset,
+                     uint64_t EndPrologueOffset, const DWARFContext *Ctx,
+                     uint16_t Version, uint8_t AddrSize, bool IsDWARF64,
                      std::vector<StringRef> &IncludeDirectories,
                      std::vector<DWARFDebugLine::FileNameEntry> &FileNames) {
   // Get the directory entry description.
   ContentDescriptors DirDescriptors =
     parseV5EntryFormat(DebugLineData, OffsetPtr, EndPrologueOffset);
   if (DirDescriptors.empty())
     return false;
 
   // Get the directory entries, according to the format described above.
+  dwarf::DwarfFormat Format = IsDWARF64 ? dwarf::DwarfFormat::DWARF64
+                                        : dwarf::DwarfFormat::DWARF32;
   int DirEntryCount = DebugLineData.getU8(OffsetPtr);
   for (int I = 0; I != DirEntryCount; ++I) {
     if (*OffsetPtr >= EndPrologueOffset)
       return false;
     for (auto Descriptor : DirDescriptors) {
       DWARFFormValue Value(Descriptor.Form);
       switch (Descriptor.Type) {
       case DW_LNCT_path:
-        if (!Value.extractValue(DebugLineData, OffsetPtr, nullptr))
+        if (!Value.extractValue(DebugLineData, OffsetPtr, *Ctx,
+                                Ctx->getLineSection().Relocs, Version, AddrSize,
+                                Format))
           return false;
         IncludeDirectories.push_back(Value.getAsCString().getValue());
         break;
       default:
-        if (!Value.skipValue(DebugLineData, OffsetPtr, nullptr))
+        if (!DWARFFormValue::skipValue(Descriptor.Form, DebugLineData,
+                                       OffsetPtr, Version, AddrSize, Format))
           return false;
       }
     }
   }
 
   // Get the file entry description.
   ContentDescriptors FileDescriptors =
     parseV5EntryFormat(DebugLineData, OffsetPtr, EndPrologueOffset);
   if (FileDescriptors.empty())
     return false;
 
   // Get the file entries, according to the format described above.
   int FileEntryCount = DebugLineData.getU8(OffsetPtr);
   for (int I = 0; I != FileEntryCount; ++I) {
     if (*OffsetPtr >= EndPrologueOffset)
       return false;
     DWARFDebugLine::FileNameEntry FileEntry;
     for (auto Descriptor : FileDescriptors) {
       DWARFFormValue Value(Descriptor.Form);
-      if (!Value.extractValue(DebugLineData, OffsetPtr, nullptr))
+      if (!Value.extractValue(DebugLineData, OffsetPtr, *Ctx,
+                              Ctx->getLineSection().Relocs, Version, AddrSize,
+                              Format))
         return false;
       switch (Descriptor.Type) {
       case DW_LNCT_path:
         FileEntry.Name = Value.getAsCString().getValue();
         break;
       case DW_LNCT_directory_index:
         FileEntry.DirIdx = Value.getAsUnsignedConstant().getValue();
         break;
for (auto Descriptor : FileDescriptors) {
       }
     }
     FileNames.push_back(FileEntry);
   }
   return true;
 }
 
 bool DWARFDebugLine::Prologue::parse(DataExtractor DebugLineData,
-                                     uint32_t *OffsetPtr) {
+                                     uint32_t *OffsetPtr,
+                                     const DWARFContext *Ctx) {
   const uint64_t PrologueOffset = *OffsetPtr;
 
   clear();
   TotalLength = DebugLineData.getU32(OffsetPtr);
   if (TotalLength == UINT32_MAX) {
     IsDWARF64 = true;
     TotalLength = DebugLineData.getU64(OffsetPtr);
   } else if (TotalLength > 0xffffff00) {
bool DWARFDebugLine::Prologue::parse(DataExtractor DebugLineData,
   StandardOpcodeLengths.reserve(OpcodeBase - 1);
   for (uint32_t I = 1; I < OpcodeBase; ++I) {
     uint8_t OpLen = DebugLineData.getU8(OffsetPtr);
     StandardOpcodeLengths.push_back(OpLen);
   }
 
   if (Version >= 5) {
     if (!parseV5DirFileTables(DebugLineData, OffsetPtr, EndPrologueOffset,
+                              Ctx, Version, AddressSize, IsDWARF64,
                               IncludeDirectories, FileNames)) {
       fprintf(stderr,
               "warning: parsing line table prologue at 0x%8.8" PRIx64
               " found an invalid directory or file table description at"
               " 0x%8.8" PRIx64 "\n", PrologueOffset, (uint64_t)*OffsetPtr);
       return false;
     }
   } else

 
 const DWARFDebugLine::LineTable *
 DWARFDebugLine::getOrParseLineTable(DataExtractor DebugLineData,
                                     uint32_t Offset) {
   std::pair<LineTableIter, bool> Pos =
       LineTableMap.insert(LineTableMapTy::value_type(Offset, LineTable()));
   LineTable *LT = &Pos.first->second;
   if (Pos.second) {
-    if (!LT->parse(DebugLineData, RelocMap, &Offset))
+    if (!LT->parse(DebugLineData, Context, &Offset))
       return nullptr;
   }
   return LT;
 }
 
 bool DWARFDebugLine::LineTable::parse(DataExtractor DebugLineData,
-                                      const RelocAddrMap *RMap,
+                                      const DWARFContext *Ctx,
                                       uint32_t *OffsetPtr) {
   const uint32_t DebugLineOffset = *OffsetPtr;
 
   clear();
 
-  if (!Prologue.parse(DebugLineData, OffsetPtr)) {
+  if (!Prologue.parse(DebugLineData, OffsetPtr, Ctx)) {
     // Restore our offset and return false to indicate failure!
     *OffsetPtr = DebugLineOffset;
     return false;
   }
 
   const uint32_t EndOffset =
       DebugLineOffset + Prologue.TotalLength + Prologue.sizeofTotalLength();
 
if (Opcode == 0) {
       case DW_LNE_set_address:
         // Takes a single relocatable address as an operand. The size of the
         // operand is the size appropriate to hold an address on the target
         // machine. Set the address register to the value given by the
         // relocatable address. All of the other statement program opcodes
         // that affect the address register add a delta to it. This instruction
         // stores a relocatable value into it instead.
         State.Row.Address = getRelocatedValue(
-            DebugLineData, DebugLineData.getAddressSize(), OffsetPtr, RMap);
+            DebugLineData, DebugLineData.getAddressSize(), OffsetPtr,
+            &Ctx->getLineSection().Relocs);
         break;
 
       case DW_LNE_define_file:
         // Takes 4 arguments. The first is a null terminated string containing
         // a source file name. The second is an unsigned LEB128 number
         // representing the directory index of the directory in which the file
         // was found. The third is an unsigned LEB128 number representing the
         // time of last modification of the file. The fourth is an unsigned

llvm/lib/DebugInfo/DWARF/DWARFFormValue.cpp

static const DWARFFormValue::FormClass DWARF4FormClasses[] = {
     DWARFFormValue::FC_Reference,     // 0x14 DW_FORM_ref8
     DWARFFormValue::FC_Reference,     // 0x15 DW_FORM_ref_udata
     DWARFFormValue::FC_Indirect,      // 0x16 DW_FORM_indirect
     DWARFFormValue::FC_SectionOffset, // 0x17 DW_FORM_sec_offset
     DWARFFormValue::FC_Exprloc,       // 0x18 DW_FORM_exprloc
     DWARFFormValue::FC_Flag,          // 0x19 DW_FORM_flag_present
 };
 
-namespace {
+namespace llvm {
 
 /// A helper class that can be used in DWARFFormValue.cpp functions that need
 /// to know the byte size of DW_FORM values that vary in size depending on the
 /// DWARF version, address byte size, or DWARF32 or DWARF64.
 class FormSizeHelper {
   uint16_t Version;
   uint8_t AddrSize;
   llvm::dwarf::DwarfFormat Format;
case dwarf::DwarfFormat::DWARF32:
       return 4;
     case dwarf::DwarfFormat::DWARF64:
       return 8;
     }
     llvm_unreachable("Invalid Format value");
   }
 };
 
-} // end anonymous namespace
+} // end namespace llvm
 
 template <class T>
 static Optional<uint8_t> getFixedByteSize(dwarf::Form Form, const T *U) {
   switch (Form) {
   case DW_FORM_addr:
     if (U)
       return U->getAddressByteSize();
     return None;
bool DWARFFormValue::isFormClass(DWARFFormValue::FormClass FC) const {
   // by mistake. Also accept DW_FORM_strp since this is .debug_str section
   // offset.
   return (Form == DW_FORM_data4 || Form == DW_FORM_data8 ||
           Form == DW_FORM_strp) &&
          FC == FC_SectionOffset;
 }
 
 bool DWARFFormValue::extractValue(const DataExtractor &Data,
+                                  uint32_t *OffsetPtr, const DWARFContext &Ctx,
+                                  const RelocAddrMap &RelocMap,
+                                  uint16_t Version, uint8_t AddrSize,
+                                  dwarf::DwarfFormat Format) {
+  C = &Ctx;
+  RMap = &RelocMap;
+  FormSizeHelper FSH(Version, AddrSize, Format);
+  return extractValueImpl(Data, OffsetPtr, &FSH);
+}
+
+bool DWARFFormValue::extractValue(const DataExtractor &Data,
                                   uint32_t *OffsetPtr, const DWARFUnit *CU) {
+  if (CU) {
     U = CU;
+    C = &CU->getContext();
+    RMap = CU->getRelocMap();
+    FormSizeHelper FSH(CU->getVersion(), CU->getAddressByteSize(),
+                       CU->getFormat());
+    return extractValueImpl(Data, OffsetPtr, &FSH);
+  }
+  return extractValueImpl(Data, OffsetPtr, nullptr);
+}
+
+bool DWARFFormValue::extractValueImpl(const DataExtractor &Data,
+                                      uint32_t *OffsetPtr,
+                                      const FormSizeHelper *FSH) {
   bool Indirect = false;
   bool IsBlock = false;
   Value.data = nullptr;
   // Read the value for the form into value and follow and DW_FORM_indirect
   // instances we run into
   do {
     Indirect = false;
     switch (Form) {
     case DW_FORM_addr:
     case DW_FORM_ref_addr: {
-      if (!U)
+      if (!FSH)
         return false;
-      uint16_t AddrSize = (Form == DW_FORM_addr) ? U->getAddressByteSize()
-                                                 : U->getRefAddrByteSize();
-      Value.uval = getRelocatedValue(Data, AddrSize, OffsetPtr,
-                                     U->getRelocMap(), &Value.SectionIndex);
+      uint16_t AddrSize = (Form == DW_FORM_addr) ? FSH->getAddressByteSize()
+                                                 : FSH->getRefAddrByteSize();
+      Value.uval = getRelocatedValue(Data, AddrSize, OffsetPtr, RMap,
+                                     &Value.SectionIndex);
       break;
     }
     case DW_FORM_exprloc:
     case DW_FORM_block:
       Value.uval = Data.getULEB128(OffsetPtr);
       IsBlock = true;
       break;
     case DW_FORM_block1:
do {
     case DW_FORM_strx2:
     case DW_FORM_addrx2:
       Value.uval = Data.getU16(OffsetPtr);
       break;
     case DW_FORM_data4:
     case DW_FORM_ref4:
     case DW_FORM_ref_sup4:
     case DW_FORM_strx4:
-    case DW_FORM_addrx4: {
-      const RelocAddrMap *RelocMap = U ? U->getRelocMap() : nullptr;
-      Value.uval = getRelocatedValue(Data, 4, OffsetPtr, RelocMap);
+    case DW_FORM_addrx4:
+      Value.uval = getRelocatedValue(Data, 4, OffsetPtr, RMap);
       break;
-    }
     case DW_FORM_data8:
     case DW_FORM_ref8:
     case DW_FORM_ref_sup8:
       Value.uval = Data.getU64(OffsetPtr);
       break;
     case DW_FORM_sdata:
       Value.sval = Data.getSLEB128(OffsetPtr);
       break;
case DW_FORM_indirect:
       Indirect = true;
       break;
     case DW_FORM_strp:
     case DW_FORM_sec_offset:
     case DW_FORM_GNU_ref_alt:
     case DW_FORM_GNU_strp_alt:
     case DW_FORM_line_strp:
     case DW_FORM_strp_sup: {
-      if (!U)
+      if (!FSH)
         return false;
-      Value.uval = getRelocatedValue(Data, U->getDwarfOffsetByteSize(),
-                                     OffsetPtr, U->getRelocMap());
+      Value.uval = getRelocatedValue(Data, FSH->getDwarfOffsetByteSize(),
+                                     OffsetPtr, RMap);
       break;
     }
     case DW_FORM_flag_present:
       Value.uval = 1;
       break;
     case DW_FORM_ref_sig8:
       Value.uval = Data.getU64(OffsetPtr);
       break;

 }
 
 Optional<const char *> DWARFFormValue::getAsCString() const {
   if (!isFormClass(FC_String))
     return None;
   if (Form == DW_FORM_string)
     return Value.cstr;
   // FIXME: Add support for DW_FORM_GNU_strp_alt
-  if (Form == DW_FORM_GNU_strp_alt || U == nullptr)
+  if (Form == DW_FORM_GNU_strp_alt || C == nullptr)
     return None;
   uint32_t Offset = Value.uval;
   if (Form == DW_FORM_GNU_str_index || Form == DW_FORM_strx) {
     uint64_t StrOffset;
-    if (!U->getStringOffsetSectionItem(Offset, StrOffset))
+    if (!U || !U->getStringOffsetSectionItem(Offset, StrOffset))
       return None;
     StrOffset += U->getStringOffsetSectionRelocation(Offset);
     Offset = StrOffset;
   }
-  if (const char *Str = U->getStringExtractor().getCStr(&Offset)) {
+  if (U) {
+    if (const char *Str = U->getStringExtractor().getCStr(&Offset))
+      return Str;
+  } else if (const char *Str = C->getStringExtractor().getCStr(&Offset))
     return Str;
-  }
   return None;
 }
 
 Optional<uint64_t> DWARFFormValue::getAsAddress() const {
   if (!isFormClass(FC_Address))
     return None;
   if (Form == DW_FORM_GNU_addr_index) {
     uint32_t Index = Value.uval;

llvm/test/DebugInfo/Inputs/dwarfdump-header-64.s

+# Test object to verify dwarfdump handles a DWARF-64 v5 line header.
+# FIXME: Make the other headers DWARF-64 also.
+# FIXME: Add variants for earlier DWARF versions.
+
+# To generate the test object:
+# llvm-mc -triple x86_64-unknown-linux dwarfdump-header-64.s -filetype=obj \
+#         -o dwarfdump-header-64.elf-x86-64
+
+        .section .debug_str,"MS",@progbits,1
+str_producer:
+        .asciz  "Handmade DWARF producer"
+str_CU_5:
+        .asciz  "V5_compile_unit"
+str_LT_5a:
+        .asciz  "Directory5a"
+str_LT_5b:
+        .asciz  "Directory5b"
+
+        .section .debug_abbrev,"",@progbits
+        .byte   0x01    # Abbrev code
+        .byte   0x11    # DW_TAG_compile_unit
+        .byte   0x00    # DW_CHILDREN_no
+        .byte   0x25    # DW_AT_producer
+        .byte   0x0e    # DW_FORM_strp
+        .byte   0x03    # DW_AT_name
+        .byte   0x0e    # DW_FORM_strp
+        .byte   0x10    # DW_AT_stmt_list
+        .byte   0x17    # DW_FORM_sec_offset
+        .byte   0x00    # EOM(1)
+        .byte   0x00    # EOM(2)
+
+        .section .debug_info,"",@progbits
+
+# DWARF-32 v5 normal CU header.
+        .long   CU_5_end-CU_5_version   # Length of Unit
+CU_5_version:
+        .short  5               # DWARF version number
+        .byte   1               # DWARF Unit Type
+        .byte   8               # Address Size (in bytes)
+        .long   .debug_abbrev   # Offset Into Abbrev. Section
+# The compile-unit DIE, with DW_AT_producer, DW_AT_name, DW_AT_stmt_list.
+        .byte   1
+        .long   str_producer
+        .long   str_CU_5
+        .long   LH_5_start
+        .byte   0 # NULL
+CU_5_end:
+
+        .section .debug_line,"",@progbits
+# DWARF-64 v5 line-table header.
+LH_5_start:
+        .long   -1
+        .quad   LH_5_end-LH_5_version   # Length of Unit
+LH_5_version:
+        .short  5               # DWARF version number
+        .byte   8               # Address Size
+        .byte   0               # Segment Selector Size
+        .quad   LH_5_header_end-LH_5_params     # Length of Prologue
+LH_5_params:
+        .byte   1               # Minimum Instruction Length
+        .byte   1               # Maximum Operations per Instruction
+        .byte   1               # Default is_stmt
+        .byte   -5              # Line Base
+        .byte   14              # Line Range
+        .byte   13              # Opcode Base
+        .byte   0               # Standard Opcode Lengths
+        .byte   1
+        .byte   1
+        .byte   1
+        .byte   1
+        .byte   0
+        .byte   0
+        .byte   0
+        .byte   1
+        .byte   0
+        .byte   0
+        .byte   1
+        # Directory table format
+        .byte   1               # One element per directory entry
+        .byte   1               # DW_LNCT_path
+        .byte   0x0e            # DW_FORM_strp
+        # Directory table entries
+        .byte   2               # Two directories
+        .quad   str_LT_5a
+        .quad   str_LT_5b
+        # File table format
+        .byte   4               # Four elements per file entry
+        .byte   1               # DW_LNCT_path
+        .byte   0x08            # DW_FORM_string
+        .byte   2               # DW_LNCT_directory_index
+        .byte   0x0b            # DW_FORM_data1
+        .byte   3               # DW_LNCT_timestamp
+        .byte   0x0f            # DW_FORM_udata
+        .byte   4               # DW_LNCT_size
+        .byte   0x0f            # DW_FORM_udata
+        # File table entries
+        .byte   2               # Two files
+        .asciz "File5a"
+        .byte   1
+        .byte   0x51
+        .byte   0x52
+        .asciz "File5b"
+        .byte   2
+        .byte   0x53
+        .byte   0x54
+LH_5_header_end:
+        # Line number program, which is empty.
+LH_5_end:

llvm/test/DebugInfo/Inputs/dwarfdump-header.s

 str_producer:
         .asciz "Handmade DWARF producer"
 str_CU_4:
         .asciz "V4_compile_unit"
 str_CU_5:
         .asciz "V5_compile_unit"
 str_TU_4:
         .asciz "V4_type_unit"
+str_LT_5a:
+        .asciz "Directory5a"
+str_LT_5b:
+        .asciz "Directory5b"
 
         .section .debug_str.dwo,"MS",@progbits,1
 dwo_TU_5:
         .asciz "V5_split_type_unit"
 
 # All CUs/TUs use the same abbrev section for simplicity.
         .section .debug_abbrev,"",@progbits
         .byte 0x01  # Abbrev code
LH_5_params:
         .byte   0
         .byte   1
         .byte   0
         .byte   0
         .byte   1
         # Directory table format
         .byte   1               # One element per directory entry
         .byte   1               # DW_LNCT_path
-        .byte   0x08            # DW_FORM_string
+        .byte   0x0e            # DW_FORM_strp
         # Directory table entries
         .byte   2               # Two directories
-        .asciz "Directory5a"
-        .asciz "Directory5b"
+        .long   str_LT_5a
+        .long   str_LT_5b
         # File table format
         .byte   4               # Four elements per file entry
         .byte   1               # DW_LNCT_path
         .byte   0x08            # DW_FORM_string
         .byte   2               # DW_LNCT_directory_index
         .byte   0x0b            # DW_FORM_data1
         .byte   3               # DW_LNCT_timestamp
         .byte   0x0f            # DW_FORM_udata

llvm/test/DebugInfo/dwarfdump-header-64.test

+RUN: llvm-dwarfdump %p/Inputs/dwarfdump-header-64.elf-x86-64 | FileCheck %s
+
+The input file is hand-coded assembler to generate DWARF-64 information,
+so we're willing to make exact checks for offsets and such.
+
+CHECK-LABEL: .debug_info contents:
+
+The v5 CU header.
+
+CHECK: 0x00000000: Compile Unit: length = 0x00000016 version = 0x0005 unit_type = DW_UT_compile abbr_offset = 0x0000 addr_size = 0x08 (next unit at 0x0000001a)
+CHECK: 0x0000000c: DW_TAG_compile_unit
+
+CHECK-LABEL: .debug_line contents:
+
+The DWARF-64 v5 line table header.
+
+CHECK: Line table prologue:
+CHECK: total_length: 0x00000050
+CHECK: version: 5
+CHECK: address_size: 8
+CHECK: seg_select_size: 0
+CHECK: prologue_length: 0x00000044
+CHECK: max_ops_per_inst: 1
+CHECK: include_directories[  1] = 'Directory5a'
+CHECK: include_directories[  2] = 'Directory5b'
+CHECK-NOT: include_directories
+CHECK: file_names[  1]    1 0x00000051 0x00000052 File5a{{$}}
+CHECK: file_names[  2]    2 0x00000053 0x00000054 File5b{{$}}
+CHECK-NOT: file_names

llvm/tools/dsymutil/DwarfLinker.cpp

if (auto *OutputDIE = Unit.getOutputUnitDIE())
     patchStmtList(*OutputDIE, DIEInteger(Streamer->getLineSectionSize()));
 
   // Parse the original line info for the unit.
   DWARFDebugLine::LineTable LineTable;
   uint32_t StmtOffset = *StmtList;
   StringRef LineData = OrigDwarf.getLineSection().Data;
   DataExtractor LineExtractor(LineData, OrigDwarf.isLittleEndian(),
                               Unit.getOrigUnit().getAddressByteSize());
-  LineTable.parse(LineExtractor, &OrigDwarf.getLineSection().Relocs,
-                  &StmtOffset);
+  LineTable.parse(LineExtractor, &OrigDwarf, &StmtOffset);
 
   // This vector is the output line table.
   std::vector<DWARFDebugLine::Row> NewRows;
   NewRows.reserve(LineTable.Rows.size());
 
   // Current sequence of rows being extracted, before being inserted
   // in NewRows.
   std::vector<DWARFDebugLine::Row> Seq;