[llvm] 8036cf7 - llvm-dwarfdump: Skip tombstoned address ranges
David Blaikie via llvm-commits
llvm-commits at lists.llvm.org
Sun Oct 4 13:48:58 PDT 2020
Author: David Blaikie
Date: 2020-10-04T13:43:29-07:00
New Revision: 8036cf7f5402ea7fc8564a9a2beae512c324bf3d
URL: https://github.com/llvm/llvm-project/commit/8036cf7f5402ea7fc8564a9a2beae512c324bf3d
DIFF: https://github.com/llvm/llvm-project/commit/8036cf7f5402ea7fc8564a9a2beae512c324bf3d.diff
LOG: llvm-dwarfdump: Skip tombstoned address ranges
Make the dumper & API a bit more informative by using the new tombstone
addresses to filter out or otherwise render more explicitly dead code
ranges.
Added:
llvm/test/tools/llvm-dwarfdump/X86/tombstone.s
Modified:
lldb/source/Plugins/SymbolFile/DWARF/DWARFUnit.cpp
llvm/include/llvm/BinaryFormat/Dwarf.h
llvm/include/llvm/DebugInfo/DWARF/DWARFDebugRnglists.h
llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp
llvm/lib/DebugInfo/DWARF/DWARFDebugRangeList.cpp
llvm/lib/DebugInfo/DWARF/DWARFDebugRnglists.cpp
llvm/lib/DebugInfo/DWARF/DWARFDie.cpp
Removed:
################################################################################
diff --git a/lldb/source/Plugins/SymbolFile/DWARF/DWARFUnit.cpp b/lldb/source/Plugins/SymbolFile/DWARF/DWARFUnit.cpp
index dfa40759a7ff..b70beb501946 100644
--- a/lldb/source/Plugins/SymbolFile/DWARF/DWARFUnit.cpp
+++ b/lldb/source/Plugins/SymbolFile/DWARF/DWARFUnit.cpp
@@ -946,7 +946,7 @@ DWARFUnit::FindRnglistFromOffset(dw_offset_t offset) {
llvm::Expected<llvm::DWARFAddressRangesVector> llvm_ranges =
range_list_or_error->getAbsoluteRanges(
llvm::object::SectionedAddress{GetBaseAddress()},
- [&](uint32_t index) {
+ GetAddressByteSize(), [&](uint32_t index) {
uint32_t index_size = GetAddressByteSize();
dw_offset_t addr_base = GetAddrBase();
lldb::offset_t offset = addr_base + index * index_size;
diff --git a/llvm/include/llvm/BinaryFormat/Dwarf.h b/llvm/include/llvm/BinaryFormat/Dwarf.h
index 6558a74b6411..75b8b2647b95 100644
--- a/llvm/include/llvm/BinaryFormat/Dwarf.h
+++ b/llvm/include/llvm/BinaryFormat/Dwarf.h
@@ -27,6 +27,8 @@
#include "llvm/Support/FormatVariadicDetails.h"
#include "llvm/ADT/Triple.h"
+#include <limits>
+
namespace llvm {
class StringRef;
@@ -745,6 +747,11 @@ template <> struct EnumTraits<LocationAtom> : public std::true_type {
static constexpr char Type[3] = "OP";
static constexpr StringRef (*StringFn)(unsigned) = &OperationEncodingString;
};
+
+inline uint64_t computeTombstoneAddress(uint8_t AddressByteSize) {
+ return std::numeric_limits<uint64_t>::max() >> (8 - AddressByteSize) * 8;
+}
+
} // End of namespace dwarf
/// Dwarf constants format_provider
diff --git a/llvm/include/llvm/DebugInfo/DWARF/DWARFDebugRnglists.h b/llvm/include/llvm/DebugInfo/DWARF/DWARFDebugRnglists.h
index 78a018ff482b..4d28bdcde2e4 100644
--- a/llvm/include/llvm/DebugInfo/DWARF/DWARFDebugRnglists.h
+++ b/llvm/include/llvm/DebugInfo/DWARF/DWARFDebugRnglists.h
@@ -48,6 +48,7 @@ class DWARFDebugRnglist : public DWARFListType<RangeListEntry> {
/// Build a DWARFAddressRangesVector from a rangelist.
DWARFAddressRangesVector
getAbsoluteRanges(Optional<object::SectionedAddress> BaseAddr,
+ uint8_t AddressByteSize,
function_ref<Optional<object::SectionedAddress>(uint32_t)>
LookupPooledAddress) const;
diff --git a/llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp b/llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp
index 427d25f5011a..ab3022955cdb 100644
--- a/llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp
+++ b/llvm/lib/DebugInfo/DWARF/DWARFDebugLine.cpp
@@ -783,6 +783,18 @@ Error DWARFDebugLine::LineTable::parse(
*OS << '\n';
Row::dumpTableHeader(*OS, /*Indent=*/Verbose ? 12 : 0);
}
+ bool TombstonedAddress = false;
+ auto EmitRow = [&] {
+ if (!TombstonedAddress) {
+ if (Verbose) {
+ *OS << "\n";
+ OS->indent(12);
+ }
+ if (OS)
+ State.Row.dump(*OS);
+ State.appendRowToMatrix();
+ }
+ };
while (*OffsetPtr < EndOffset) {
DataExtractor::Cursor Cursor(*OffsetPtr);
@@ -834,13 +846,7 @@ Error DWARFDebugLine::LineTable::parse(
// No need to test the Cursor is valid here, since it must be to get
// into this code path - if it were invalid, the default case would be
// followed.
- if (Verbose) {
- *OS << "\n";
- OS->indent(12);
- }
- if (OS)
- State.Row.dump(*OS);
- State.appendRowToMatrix();
+ EmitRow();
State.resetRowAndSequence();
break;
@@ -882,6 +888,10 @@ Error DWARFDebugLine::LineTable::parse(
State.Row.Address.Address = TableData.getRelocatedAddress(
Cursor, &State.Row.Address.SectionIndex);
+ uint64_t Tombstone =
+ dwarf::computeTombstoneAddress(OpcodeAddressSize);
+ TombstonedAddress = State.Row.Address.Address == Tombstone;
+
// Restore the address size if the extractor already had it.
if (ExtractorAddressSize != 0)
TableData.setAddressSize(ExtractorAddressSize);
@@ -981,13 +991,7 @@ Error DWARFDebugLine::LineTable::parse(
case DW_LNS_copy:
// Takes no arguments. Append a row to the matrix using the
// current values of the state-machine registers.
- if (Verbose) {
- *OS << "\n";
- OS->indent(12);
- }
- if (OS)
- State.Row.dump(*OS);
- State.appendRowToMatrix();
+ EmitRow();
break;
case DW_LNS_advance_pc:
@@ -1152,15 +1156,9 @@ Error DWARFDebugLine::LineTable::parse(
ParsingState::AddrAndLineDelta Delta =
State.handleSpecialOpcode(Opcode, OpcodeOffset);
- if (Verbose) {
- *OS << "address += " << Delta.Address << ", line += " << Delta.Line
- << "\n";
- OS->indent(12);
- }
- if (OS)
- State.Row.dump(*OS);
-
- State.appendRowToMatrix();
+ if (Verbose)
+ *OS << "address += " << Delta.Address << ", line += " << Delta.Line;
+ EmitRow();
*OffsetPtr = Cursor.tell();
}
diff --git a/llvm/lib/DebugInfo/DWARF/DWARFDebugRangeList.cpp b/llvm/lib/DebugInfo/DWARF/DWARFDebugRangeList.cpp
index 1a1857d8cd79..dc7da5d9348f 100644
--- a/llvm/lib/DebugInfo/DWARF/DWARFDebugRangeList.cpp
+++ b/llvm/lib/DebugInfo/DWARF/DWARFDebugRangeList.cpp
@@ -70,6 +70,9 @@ void DWARFDebugRangeList::dump(raw_ostream &OS) const {
DWARFAddressRangesVector DWARFDebugRangeList::getAbsoluteRanges(
llvm::Optional<object::SectionedAddress> BaseAddr) const {
DWARFAddressRangesVector Res;
+ // debug_addr can't use the max integer tombstone because that's used for the
+ // base address specifier entry - so use max-1.
+ uint64_t Tombstone = dwarf::computeTombstoneAddress(AddressSize) - 1;
for (const RangeListEntry &RLE : Entries) {
if (RLE.isBaseAddressSelectionEntry(AddressSize)) {
BaseAddr = {RLE.EndAddress, RLE.SectionIndex};
@@ -78,12 +81,16 @@ DWARFAddressRangesVector DWARFDebugRangeList::getAbsoluteRanges(
DWARFAddressRange E;
E.LowPC = RLE.StartAddress;
+ if (E.LowPC == Tombstone)
+ continue;
E.HighPC = RLE.EndAddress;
E.SectionIndex = RLE.SectionIndex;
// Base address of a range list entry is determined by the closest preceding
// base address selection entry in the same range list. It defaults to the
// base address of the compilation unit if there is no such entry.
if (BaseAddr) {
+ if (BaseAddr->Address == Tombstone)
+ continue;
E.LowPC += BaseAddr->Address;
E.HighPC += BaseAddr->Address;
if (E.SectionIndex == -1ULL)
diff --git a/llvm/lib/DebugInfo/DWARF/DWARFDebugRnglists.cpp b/llvm/lib/DebugInfo/DWARF/DWARFDebugRnglists.cpp
index d517e51e7e36..a8e7cdeeafbc 100644
--- a/llvm/lib/DebugInfo/DWARF/DWARFDebugRnglists.cpp
+++ b/llvm/lib/DebugInfo/DWARF/DWARFDebugRnglists.cpp
@@ -89,16 +89,17 @@ Error RangeListEntry::extract(DWARFDataExtractor Data, uint64_t *OffsetPtr) {
DWARFAddressRangesVector DWARFDebugRnglist::getAbsoluteRanges(
llvm::Optional<object::SectionedAddress> BaseAddr, DWARFUnit &U) const {
- return getAbsoluteRanges(BaseAddr, [&](uint32_t Index) {
- return U.getAddrOffsetSectionItem(Index);
- });
+ return getAbsoluteRanges(
+ BaseAddr, U.getAddressByteSize(),
+ [&](uint32_t Index) { return U.getAddrOffsetSectionItem(Index); });
}
DWARFAddressRangesVector DWARFDebugRnglist::getAbsoluteRanges(
- Optional<object::SectionedAddress> BaseAddr,
+ Optional<object::SectionedAddress> BaseAddr, uint8_t AddressByteSize,
function_ref<Optional<object::SectionedAddress>(uint32_t)>
LookupPooledAddress) const {
DWARFAddressRangesVector Res;
+ uint64_t Tombstone = dwarf::computeTombstoneAddress(AddressByteSize);
for (const RangeListEntry &RLE : Entries) {
if (RLE.EntryKind == dwarf::DW_RLE_end_of_list)
break;
@@ -121,8 +122,12 @@ DWARFAddressRangesVector DWARFDebugRnglist::getAbsoluteRanges(
switch (RLE.EntryKind) {
case dwarf::DW_RLE_offset_pair:
E.LowPC = RLE.Value0;
+ if (E.LowPC == Tombstone)
+ continue;
E.HighPC = RLE.Value1;
if (BaseAddr) {
+ if (BaseAddr->Address == Tombstone)
+ continue;
E.LowPC += BaseAddr->Address;
E.HighPC += BaseAddr->Address;
}
@@ -149,6 +154,8 @@ DWARFAddressRangesVector DWARFDebugRnglist::getAbsoluteRanges(
// so we should not run into any here.
llvm_unreachable("Unsupported range list encoding");
}
+ if (E.LowPC == Tombstone)
+ continue;
Res.push_back(E);
}
return Res;
@@ -181,6 +188,8 @@ void RangeListEntry::dump(
OS << ": ";
}
+ uint64_t Tombstone = dwarf::computeTombstoneAddress(AddrSize);
+
switch (EntryKind) {
case dwarf::DW_RLE_end_of_list:
OS << (DumpOpts.Verbose ? "" : "<End of list>");
@@ -208,8 +217,11 @@ void RangeListEntry::dump(
break;
case dwarf::DW_RLE_offset_pair:
PrintRawEntry(OS, *this, AddrSize, DumpOpts);
- DWARFAddressRange(Value0 + CurrentBase, Value1 + CurrentBase)
- .dump(OS, AddrSize, DumpOpts);
+ if (CurrentBase != Tombstone)
+ DWARFAddressRange(Value0 + CurrentBase, Value1 + CurrentBase)
+ .dump(OS, AddrSize, DumpOpts);
+ else
+ OS << "dead code";
break;
case dwarf::DW_RLE_start_end:
DWARFAddressRange(Value0, Value1).dump(OS, AddrSize, DumpOpts);
diff --git a/llvm/lib/DebugInfo/DWARF/DWARFDie.cpp b/llvm/lib/DebugInfo/DWARF/DWARFDie.cpp
index 31340077a126..04161e09d3e2 100644
--- a/llvm/lib/DebugInfo/DWARF/DWARFDie.cpp
+++ b/llvm/lib/DebugInfo/DWARF/DWARFDie.cpp
@@ -268,8 +268,18 @@ static void dumpAttribute(raw_ostream &OS, const DWARFDie &Die,
WithColor(OS, Color) << Name;
else if (Attr == DW_AT_decl_line || Attr == DW_AT_call_line)
OS << *FormValue.getAsUnsignedConstant();
- else if (Attr == DW_AT_high_pc && !DumpOpts.ShowForm && !DumpOpts.Verbose &&
- FormValue.getAsUnsignedConstant()) {
+ else if (Attr == DW_AT_low_pc &&
+ (FormValue.getAsAddress() ==
+ dwarf::computeTombstoneAddress(U->getAddressByteSize()))) {
+ if (DumpOpts.Verbose) {
+ FormValue.dump(OS, DumpOpts);
+ OS << " (";
+ }
+ OS << "dead code";
+ if (DumpOpts.Verbose)
+ OS << ')';
+ } else if (Attr == DW_AT_high_pc && !DumpOpts.ShowForm && !DumpOpts.Verbose &&
+ FormValue.getAsUnsignedConstant()) {
if (DumpOpts.ShowAddresses) {
// Print the actual address rather than the offset.
uint64_t LowPC, HighPC, Index;
@@ -415,6 +425,9 @@ Optional<uint64_t> DWARFDie::getLocBaseAttribute() const {
}
Optional<uint64_t> DWARFDie::getHighPC(uint64_t LowPC) const {
+ uint64_t Tombstone = dwarf::computeTombstoneAddress(U->getAddressByteSize());
+ if (LowPC == Tombstone)
+ return None;
if (auto FormValue = find(DW_AT_high_pc)) {
if (auto Address = FormValue->getAsAddress()) {
// High PC is an address.
diff --git a/llvm/test/tools/llvm-dwarfdump/X86/tombstone.s b/llvm/test/tools/llvm-dwarfdump/X86/tombstone.s
new file mode 100644
index 000000000000..85a88fc54d89
--- /dev/null
+++ b/llvm/test/tools/llvm-dwarfdump/X86/tombstone.s
@@ -0,0 +1,545 @@
+# RUN: llvm-mc %s -filetype obj -triple i386-pc-linux -o %t.o
+# RUN: not llvm-dwarfdump -v -debug-info -debug-line -debug-addr -debug-rnglists -debug-ranges %t.o | FileCheck --implicit-check-not=DW_TAG --implicit-check-not=DW_AT %s
+
+# FIXME: Remove the 'not' once the rnglist are lazily/correctly parsed (see comment below)
+
+# Test that llvm - dwarfdump strips addresses relating to dead code(using the
+# DWARFv6 - proposed tombstone constant & nearest equivalent for debug_ranges)
+# Testing the tombstone use in debug_info (addr/addrx), debug_ranges,
+# debug_rnglists, debug_ranges, and debug_line.
+
+# CHECK-DAG: .debug_info contents:
+# CHECK: DW_TAG_compile_unit
+# CHECK: DW_AT_ranges [DW_FORM_sec_offset] (0x00000000
+# CHECK-NEXT: [0x00000042, 0x00000048))
+# CHECK: DW_TAG_subprogram
+# FIXME: Print address using unit's address size.
+# CHECK: DW_AT_low_pc [DW_FORM_addr] (0x00000000ffffffff (dead code))
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000042)
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_compile_unit
+# CHECK: DW_AT_addr_base
+# CHECK: DW_AT_ranges [DW_FORM_sec_offset] (0x0000000c
+# CHECK-NEXT: [0x00000042, 0x00000048)
+# CHECK-NEXT: [0x00000042, 0x00000048)
+# CHECK-NEXT: [0x00000042, 0x00000048)
+# CHECK-NEXT: [0x00000042, 0x00000048)
+# CHECK-NEXT: [0x00000042, 0x00000048))
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addrx] (indexed (00000000) address = 0x00000000ffffffff (dead code))
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addrx] (indexed (00000001) address = 0x0000000000000042)
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_compile_unit
+# CHECK: DW_AT_ranges [DW_FORM_sec_offset] (0x00000018
+# CHECK-NEXT: [0x0000000000000042, 0x0000000000000048))
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addr] (0xffffffffffffffff (dead code))
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addr] (0x0000000000000042)
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_compile_unit
+# CHECK: DW_AT_addr_base
+
+# FIXME: Lazily parse rnglists rather than expecting to be able to parse an
+# entire rnglists contribution (since there's no way to know where such a
+# contribution starts) - rather than assuming one starts at 0.
+
+# CHECK: DW_AT_ranges [DW_FORM_sec_offset] (0x00000057)
+# [0x0000000000000042, 0x0000000000000048)
+# [0x0000000000000042, 0x0000000000000048)
+# [0x0000000000000042, 0x0000000000000048)
+# [0x0000000000000042, 0x0000000000000048)
+# [0x0000000000000042, 0x0000000000000048))
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addrx] (indexed (00000000) address = 0xffffffffffffffff (dead code))
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+# CHECK: DW_TAG_subprogram
+# CHECK: DW_AT_low_pc [DW_FORM_addrx] (indexed (00000001) address = 0x0000000000000042)
+# CHECK: DW_AT_high_pc [DW_FORM_data4] (0x00000006)
+
+# CHECK-DAG: .debug_line contents:
+# CHECK: Address Line
+# CHECK-NEXT: --------------
+# FIXME: Dump the address with a size-appropriate encoding
+# CHECK-NEXT: DW_LNE_set_address (0x00000000ffffffff)
+# CHECK-NEXT: DW_LNS_copy
+# CHECK-NEXT: DW_LNS_advance_pc (1)
+# CHECK-NEXT: DW_LNE_end_sequence
+# CHECK-NEXT: DW_LNE_set_address (0x0000000000000042)
+# CHECK-NEXT: DW_LNS_copy
+# CHECK-NEXT: 0x0000000000000042 1
+# CHECK-NEXT: DW_LNS_advance_pc (1)
+# CHECK-NEXT: DW_LNE_end_sequence
+# CHECK: Address Line
+# CHECK-NEXT: --------------
+# CHECK-NEXT: DW_LNE_set_address (0xffffffffffffffff)
+# CHECK-NEXT: DW_LNS_copy
+# CHECK-NEXT: DW_LNS_advance_pc (1)
+# CHECK-NEXT: DW_LNE_end_sequence
+# CHECK-NEXT: DW_LNE_set_address (0x0000000000000042)
+# CHECK-NEXT: DW_LNS_copy
+# CHECK-NEXT: 0x0000000000000042 1
+# CHECK-NEXT: DW_LNS_advance_pc (1)
+# CHECK-NEXT: DW_LNE_end_sequence
+
+# Dumping of the debug_addr, ranges, and rnglists sections don't do anything
+#
diff erent with tombstoned addresses, but dump them just for
+# documentation/comparison with the tombstone-filtered renderings in the
+# debug_info section above
+
+# CHECK-DAG: .debug_addr contents:
+# CHECK-NEXT: addr_size = 0x04
+# CHECK-NEXT: Addrs: [
+# CHECK-NEXT: 0xffffffff
+# CHECK-NEXT: 0x00000042
+# CHECK-NEXT: ]
+# CHECK-NEXT: addr_size = 0x08
+# CHECK-NEXT: Addrs: [
+# CHECK-NEXT: 0xffffffffffffffff
+# CHECK-NEXT: 0x0000000000000042
+# CHECK-NEXT: ]
+
+# CHECK-DAG: .debug_ranges contents:
+# CHECK-NEXT: fffffffe fffffffe
+# CHECK-NEXT: 00000042 00000048
+# CHECK-NEXT: <End of list>
+# FIXME: Would be nice if we didn't assume all the contributions were of the
+# same address size, instead dumping them based on the address size of
+# the unit that references them. Maybe optimistically guessing at any
+# unreferenced chunks. (this would be more like libdwarf/dwarfdump).
+# But for now, these 64bit address ranges are mangled/being rendered
+# here as though they were a 32 bit address range.
+# CHECK-NEXT: fffffffe ffffffff
+# CHECK-NEXT: fffffffe ffffffff
+# CHECK-NEXT: 00000042 00000000
+# CHECK-NEXT: 00000048 00000000
+# CHECK-NEXT: <End of list>
+
+# CHECK-DAG: .debug_rnglists contents:
+# CHECK-NEXT: addr_size = 0x04
+# CHECK-NEXT: ranges:
+# CHECK-NEXT: [DW_RLE_start_length ]: 0xffffffff, 0x00000006
+# CHECK-NEXT: [DW_RLE_start_length ]: 0x00000042, 0x00000006
+# CHECK-NEXT: [DW_RLE_startx_length]: 0x00000000, 0x00000006
+# CHECK-NEXT: [DW_RLE_startx_length]: 0x00000001, 0x00000006
+# CHECK-NEXT: [DW_RLE_start_end ]: [0xffffffff, 0xffffffff)
+# CHECK-NEXT: [DW_RLE_start_end ]: [0x00000042, 0x00000048)
+# CHECK-NEXT: [DW_RLE_base_address ]: 0x00000040
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x00000002, 0x00000008 => [0x00000042, 0x00000048)
+# CHECK-NEXT: [DW_RLE_base_address ]: 0xffffffff
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x00000002, 0x00000008 => dead code
+# CHECK-NEXT: [DW_RLE_base_addressx]: 0x00000000
+# FIXME: Don't print "computed" values that aren't really computed/instead
+# still refer to the index instead of the resulting address
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x00000000, 0x00000006 => [0x00000000, 0x00000006)
+# CHECK-NEXT: [DW_RLE_base_addressx]: 0x00000001
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x00000000, 0x00000006 => [0x00000001, 0x00000007)
+# CHECK-NEXT: [DW_RLE_end_of_list ]
+# CHECK-NEXT: addr_size = 0x08
+# CHECK-NEXT: ranges:
+# CHECK-NEXT: [DW_RLE_start_length ]: 0xffffffffffffffff, 0x0000000000000006
+# CHECK-NEXT: [DW_RLE_start_length ]: 0x0000000000000042, 0x0000000000000006
+# CHECK-NEXT: [DW_RLE_startx_length]: 0x0000000000000000, 0x0000000000000006
+# CHECK-NEXT: [DW_RLE_startx_length]: 0x0000000000000001, 0x0000000000000006
+# CHECK-NEXT: [DW_RLE_start_end ]: [0xffffffffffffffff, 0xffffffffffffffff)
+# CHECK-NEXT: [DW_RLE_start_end ]: [0x0000000000000042, 0x0000000000000048)
+# CHECK-NEXT: [DW_RLE_base_address ]: 0x0000000000000040
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x0000000000000002, 0x0000000000000008 => [0x0000000000000042, 0x0000000000000048)
+# CHECK-NEXT: [DW_RLE_base_address ]: 0xffffffffffffffff
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x0000000000000002, 0x0000000000000008 => dead code
+# CHECK-NEXT: [DW_RLE_base_addressx]: 0x0000000000000000
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x0000000000000000, 0x0000000000000006 => [0x0000000000000000, 0x0000000000000006)
+# CHECK-NEXT: [DW_RLE_base_addressx]: 0x0000000000000001
+# CHECK-NEXT: [DW_RLE_offset_pair ]: 0x0000000000000000, 0x0000000000000006 => [0x0000000000000001, 0x0000000000000007)
+# CHECK-NEXT: [DW_RLE_end_of_list ]
+
+ .section .debug_abbrev,"", at progbits
+.Ldebug_abbrev4:
+ .byte 1 # Abbreviation Code
+ .byte 17 # DW_TAG_compile_unit
+ .byte 1 # DW_CHILDREN_yes
+ .byte 85 # DW_AT_ranges
+ .byte 23 # DW_FORM_sec_offset
+ .byte 0 # EOM(1)
+ .byte 0 # EOM(2)
+ .byte 2 # Abbreviation Code
+ .byte 46 # DW_TAG_subprogram
+ .byte 0 # DW_CHILDREN_no
+ .byte 17 # DW_AT_low_pc
+ .byte 1 # DW_FORM_addr
+ .byte 18 # DW_AT_high_pc
+ .byte 6 # DW_FORM_data4
+ .byte 0 # EOM(1)
+ .byte 0 # EOM(2)
+ .byte 0 # EOM(3)
+.Ldebug_abbrev5:
+ .byte 1 # Abbreviation Code
+ .byte 17 # DW_TAG_compile_unit
+ .byte 1 # DW_CHILDREN_yes
+ .byte 115 # DW_AT_addr_base
+ .byte 23 # DW_FORM_sec_offset
+ .byte 85 # DW_AT_ranges
+ .byte 23 # DW_FORM_sec_offset
+ .byte 0 # EOM(1)
+ .byte 0 # EOM(2)
+ .byte 2 # Abbreviation Code
+ .byte 46 # DW_TAG_subprogram
+ .byte 0 # DW_CHILDREN_no
+ .byte 17 # DW_AT_low_pc
+ .byte 27 # DW_FORM_addrx
+ .byte 18 # DW_AT_high_pc
+ .byte 6 # DW_FORM_data4
+ .byte 0 # EOM(1)
+ .byte 0 # EOM(2)
+ .byte 0 # EOM(3)
+
+ .section .debug_info,"", at progbits
+ .long .Ldebug_info4_end-.Ldebug_info4_begin # Length of Unit
+.Ldebug_info4_begin:
+ .short 4 # DWARF version number
+ .long .Ldebug_abbrev4 # Offset Into Abbrev. Section
+ .byte 4 # Address Size (in bytes)
+ .byte 1 # Abbrev [1] 0xb:0x4a DW_TAG_compile_unit
+ .long .Ldebug_ranges # DW_AT_ranges
+ .byte 2 # Abbrev [2] 0x2a:0x15 DW_TAG_subprogram
+ .long 0xffffffff # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 2 # Abbrev [2] 0x3f:0x15 DW_TAG_subprogram
+ .long 0x42 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 0 # End Of Children Mark
+.Ldebug_info4_end:
+ .long .Ldebug_info5_end-.Ldebug_info5_begin # Length of Unit
+.Ldebug_info5_begin:
+ .short 5 # DWARF version number
+ .byte 1 # DWARF Unit Type
+ .byte 4 # Address Size (in bytes)
+ .long .Ldebug_abbrev5 # Offset Into Abbrev. Section
+ .byte 1 # Abbrev [1] 0xb:0x4a DW_TAG_compile_unit
+ .long .Ldebug_addr_base # DW_AT_addr_base
+ .long .Ldebug_rnglists # DW_AT_ranges
+ .byte 2 # Abbrev [2] 0x2a:0x15 DW_TAG_subprogram
+ .uleb128 0 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 2 # Abbrev [2] 0x3f:0x15 DW_TAG_subprogram
+ .uleb128 1 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 0 # End Of Children Mark
+.Ldebug_info5_end:
+ .long .Ldebug_info4_64_end-.Ldebug_info4_64_begin # Length of Unit
+.Ldebug_info4_64_begin:
+ .short 4 # DWARF version number
+ .long .Ldebug_abbrev4 # Offset Into Abbrev. Section
+ .byte 8 # Address Size (in bytes)
+ .byte 1 # Abbrev [1] 0xb:0x4a DW_TAG_compile_unit
+ .long .Ldebug_ranges_64 # DW_AT_ranges
+ .byte 2 # Abbrev [2] 0x2a:0x15 DW_TAG_subprogram
+ .quad 0xffffffffffffffff # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 2 # Abbrev [2] 0x3f:0x15 DW_TAG_subprogram
+ .quad 0x42 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 0 # End Of Children Mark
+.Ldebug_info4_64_end:
+ .long .Ldebug_info5_64_end-.Ldebug_info5_64_begin # Length of Unit
+.Ldebug_info5_64_begin:
+ .short 5 # DWARF version number
+ .byte 1 # DWARF Unit Type
+ .byte 8 # Address Size (in bytes)
+ .long .Ldebug_abbrev5 # Offset Into Abbrev. Section
+ .byte 1 # Abbrev [1] 0xb:0x4a DW_TAG_compile_unit
+ .long .Ldebug_addr_64_base # DW_AT_addr_base
+ .long .Ldebug_rnglists_64 # DW_AT_ranges
+ .byte 2 # Abbrev [2] 0x2a:0x15 DW_TAG_subprogram
+ .uleb128 0 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 2 # Abbrev [2] 0x3f:0x15 DW_TAG_subprogram
+ .uleb128 1 # DW_AT_low_pc
+ .long 0x6 # DW_AT_high_pc
+ .byte 0 # End Of Children Mark
+.Ldebug_info5_64_end:
+
+ .section .debug_ranges,"", at progbits
+.Ldebug_ranges:
+ .long 0xfffffffe
+ .long 0xfffffffe
+ .long 0x42
+ .long 0x48
+ .long 0
+ .long 0
+.Ldebug_ranges_64:
+ .quad 0xfffffffffffffffe
+ .quad 0xfffffffffffffffe
+ .quad 0x42
+ .quad 0x48
+ .quad 0
+ .quad 0
+
+ .section .debug_rnglists,"", at progbits
+ .long .Ldebug_rnglists_end-.Ldebug_rnglists_begin # Length
+.Ldebug_rnglists_begin:
+ .short 5 # Version
+ .byte 4 # Address size
+ .byte 0 # Segment selector size
+ .long 0 # Offset entry count
+.Ldebug_rnglists:
+ .byte 7 # DW_RLE_start_length
+ .long 0xffffffff # start address
+ .uleb128 0x6 # length
+ .byte 7 # DW_RLE_start_length
+ .long 0x42 # start address
+ .uleb128 0x6 # length
+ .byte 3 # DW_RLE_startx_length
+ .uleb128 0 # start index
+ .uleb128 0x6 # length
+ .byte 3 # DW_RLE_startx_length
+ .uleb128 1 # start index
+ .uleb128 0x6 # length
+ .byte 6 # DW_RLE_start_end
+ .long 0xffffffff # start address
+ .long 0xffffffff # end address
+ .byte 6 # DW_RLE_start_end
+ .long 0x42 # start address
+ .long 0x48 # length
+# FIXME: RLE_startx_endx unsupported by llvm-dwarfdump
+# .byte 2 # DW_RLE_startx_endx
+# .uleb128 0 # start address
+# .uleb128 0 # length
+# .byte 2 # DW_RLE_startx_endx
+# .uleb128 1 # start address
+# .uleb128 1 # length
+ .byte 5 # DW_RLE_base_address
+ .long 0x40 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 2 # start offset
+ .uleb128 8 # end offset
+ .byte 5 # DW_RLE_base_address
+ .long 0xffffffff # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 2 # start offset
+ .uleb128 8 # end offset
+ .byte 1 # DW_RLE_base_addressx
+ .uleb128 0 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 0 # start offset
+ .uleb128 6 # end offset
+ .byte 1 # DW_RLE_base_addressx
+ .uleb128 1 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 0 # start offset
+ .uleb128 6 # end offset
+ .byte 0 # DW_RLE_end_of_list
+.Ldebug_rnglists_end:
+ .long .Ldebug_rnglists_64_end-.Ldebug_rnglists_64_begin # Length
+.Ldebug_rnglists_64_begin:
+ .short 5 # Version
+ .byte 8 # Address size
+ .byte 0 # Segment selector size
+ .long 0 # Offset entry count
+.Ldebug_rnglists_64:
+ .byte 7 # DW_RLE_start_length
+ .quad 0xffffffffffffffff # start address
+ .uleb128 0x6 # length
+ .byte 7 # DW_RLE_start_length
+ .quad 0x42 # start address
+ .uleb128 0x6 # length
+ .byte 3 # DW_RLE_startx_length
+ .uleb128 0 # start index
+ .uleb128 0x6 # length
+ .byte 3 # DW_RLE_startx_length
+ .uleb128 1 # start index
+ .uleb128 0x6 # length
+ .byte 6 # DW_RLE_start_end
+ .quad 0xffffffffffffffff # start address
+ .quad 0xffffffffffffffff # end address
+ .byte 6 # DW_RLE_start_end
+ .quad 0x42 # start address
+ .quad 0x48 # length
+# FIXME: RLE_startx_endx unsupported by llvm-dwarfdump
+# .byte 2 # DW_RLE_startx_endx
+# .uleb128 0 # start address
+# .uleb128 0 # length
+# .byte 2 # DW_RLE_startx_endx
+# .uleb128 1 # start address
+# .uleb128 1 # length
+ .byte 5 # DW_RLE_base_address
+ .quad 0x40 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 2 # start offset
+ .uleb128 8 # end offset
+ .byte 5 # DW_RLE_base_address
+ .quad 0xffffffffffffffff # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 2 # start offset
+ .uleb128 8 # end offset
+ .byte 1 # DW_RLE_base_addressx
+ .uleb128 0 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 0 # start offset
+ .uleb128 6 # end offset
+ .byte 1 # DW_RLE_base_addressx
+ .uleb128 1 # address
+ .byte 4 # DW_RLE_offset_pair
+ .uleb128 0 # start offset
+ .uleb128 6 # end offset
+ .byte 0 # DW_RLE_end_of_list
+.Ldebug_rnglists_64_end:
+
+ .section .debug_addr,"", at progbits
+ .long .Ldebug_addr_end-.Ldebug_addr_begin # Length of contribution
+.Ldebug_addr_begin:
+ .short 5 # DWARF version number
+ .byte 4 # Address size
+ .byte 0 # Segment selector size
+.Ldebug_addr_base:
+ .long 0xffffffff
+ .long 0x42
+.Ldebug_addr_end:
+ .long .Ldebug_addr_64_end-.Ldebug_addr_64_begin # Length of contribution
+.Ldebug_addr_64_begin:
+ .short 5 # DWARF version number
+ .byte 8 # Address size
+ .byte 0 # Segment selector size
+.Ldebug_addr_64_base:
+ .quad 0xffffffffffffffff
+ .quad 0x42
+.Ldebug_addr_64_end:
+
+ .section .debug_line,"", at progbits
+.Ldebug_line5:
+ .long .Ldebug_line5_end-.Ldebug_line5_begin # Length of Unit (DWARF-32 format)
+.Ldebug_line5_begin:
+ .short 5 # DWARF version number
+ .byte 4 # Address Size
+ .byte 0 # Segment Selector Size
+ .long .Ldebug_line5_header_end-.Ldebug_line5_header_begin # Length of Prologue
+.Ldebug_line5_header_begin:
+ .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 0x08 # DW_FORM_string
+ # Directory table entries
+ .byte 1 # Two directory entries
+ .asciz "dir1"
+ # File table format
+ .byte 2 # Four elements per file entry
+ .byte 2 # DW_LNCT_directory_index
+ .byte 0x0b # DW_FORM_data1
+ .byte 1 # DW_LNCT_path
+ .byte 0x08 # DW_FORM_string
+ # File table entries
+ .byte 1 # Two file entries
+ .byte 1
+ .asciz "file1"
+.Ldebug_line5_header_end:
+ .byte 0 # Extended opcode
+ .byte 5 # Size 5
+ .byte 2 # Opcode: DW_LNE_set_address
+ .long 0xffffffff # address
+ .byte 1 # DW_LNS_copy
+ .byte 2 # DW_LNS_advance_pc
+ .uleb128 1 # instruction increment
+ .byte 0 # Extended opcode
+ .byte 1 # Size 1
+ .byte 1 # Opcode: DW_LNE_end_sequence
+ .byte 0 # Extended opcode
+ .byte 5 # Size 5
+ .byte 2 # Opcode: DW_LNE_set_address
+ .long 0x42 # address
+ .byte 1 # DW_LNS_copy
+ .byte 2 # DW_LNS_advance_pc
+ .uleb128 1 # instruction increment
+ .byte 0 # Extended opcode
+ .byte 1 # Size 1
+ .byte 1 # Opcode: DW_LNE_end_sequence
+.Ldebug_line5_end:
+
+.Ldebug_line5_64:
+ .long .Ldebug_line5_64_end-.Ldebug_line5_64_begin # Length of Unit (DWARF-32 format)
+.Ldebug_line5_64_begin:
+ .short 5 # DWARF version number
+ .byte 8 # Address Size
+ .byte 0 # Segment Selector Size
+ .long .Ldebug_line5_64_header_end-.Ldebug_line5_64_header_begin # Length of Prologue
+.Ldebug_line5_64_header_begin:
+ .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 0x08 # DW_FORM_string
+ # Directory table entries
+ .byte 1 # Two directory entries
+ .asciz "dir1"
+ # File table format
+ .byte 2 # Four elements per file entry
+ .byte 2 # DW_LNCT_directory_index
+ .byte 0x0b # DW_FORM_data1
+ .byte 1 # DW_LNCT_path
+ .byte 0x08 # DW_FORM_string
+ # File table entries
+ .byte 1 # Two file entries
+ .byte 1
+ .asciz "file1"
+.Ldebug_line5_64_header_end:
+ .byte 0 # Extended opcode
+ .byte 9 # Size 9
+ .byte 2 # Opcode: DW_LNE_set_address
+ .quad 0xffffffffffffffff # address
+ .byte 1 # DW_LNS_copy
+ .byte 2 # DW_LNS_advance_pc
+ .uleb128 1 # instruction increment
+ .byte 0 # Extended opcode
+ .byte 1 # Size 1
+ .byte 1 # Opcode: DW_LNE_end_sequence
+ .byte 0 # Extended opcode
+ .byte 9 # Size 9
+ .byte 2 # Opcode: DW_LNE_set_address
+ .quad 0x42 # address
+ .byte 1 # DW_LNS_copy
+ .byte 2 # DW_LNS_advance_pc
+ .uleb128 1 # instruction increment
+ .byte 0 # Extended opcode
+ .byte 1 # Size 1
+ .byte 1 # Opcode: DW_LNE_end_sequence
+.Ldebug_line5_64_end:
+
More information about the llvm-commits
mailing list