[llvm] 08649d4 - [DWARFYAML] Implement the .debug_loclists section.
Xing GUO via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 3 08:20:45 PDT 2020
Author: Xing GUO
Date: 2020-08-03T23:20:15+08:00
New Revision: 08649d4321bb73c888e03ac316f8ccab600a9533
URL: https://github.com/llvm/llvm-project/commit/08649d4321bb73c888e03ac316f8ccab600a9533
DIFF: https://github.com/llvm/llvm-project/commit/08649d4321bb73c888e03ac316f8ccab600a9533.diff
LOG: [DWARFYAML] Implement the .debug_loclists section.
This patch implements the .debug_loclists section. There are only two
DWARF expressions are implemented in this patch (DW_OP_consts,
DW_OP_stack_value). We will implement more in the future.
The YAML description of the .debug_loclists section is:
```
debug_loclists:
- Format: DWARF32 ## Optional
Length: 0x1234 ## Optional
Version: 5 ## Optional (5 by default)
AddressSize: 8 ## Optional
SegmentSelectorSize: 0 ## Optional (0 by default)
OffsetEntryCount: 1 ## Optional
Offsets: [ 1 ] ## Optional
Lists:
- Entries:
- Operator: DW_LLE_startx_endx
Values: [ 0x1234, 0x4321 ]
DescriptorsLength: 0x1234 ## Optional
Descriptors:
- Operator: DW_OP_consts
Values: [ 0x1234 ]
```
Reviewed By: jhenderson
Differential Revision: https://reviews.llvm.org/D84234
Added:
llvm/test/tools/yaml2obj/ELF/DWARF/debug-loclists.yaml
Modified:
llvm/include/llvm/ObjectYAML/DWARFEmitter.h
llvm/include/llvm/ObjectYAML/DWARFYAML.h
llvm/lib/ObjectYAML/DWARFEmitter.cpp
llvm/lib/ObjectYAML/DWARFYAML.cpp
Removed:
################################################################################
diff --git a/llvm/include/llvm/ObjectYAML/DWARFEmitter.h b/llvm/include/llvm/ObjectYAML/DWARFEmitter.h
index 89d01cecb9b7..c7c307065150 100644
--- a/llvm/include/llvm/ObjectYAML/DWARFEmitter.h
+++ b/llvm/include/llvm/ObjectYAML/DWARFEmitter.h
@@ -42,6 +42,7 @@ Error emitDebugLine(raw_ostream &OS, const Data &DI);
Error emitDebugAddr(raw_ostream &OS, const Data &DI);
Error emitDebugStrOffsets(raw_ostream &OS, const Data &DI);
Error emitDebugRnglists(raw_ostream &OS, const Data &DI);
+Error emitDebugLoclists(raw_ostream &OS, const Data &DI);
std::function<Error(raw_ostream &, const Data &)>
getDWARFEmitterByName(StringRef SecName);
diff --git a/llvm/include/llvm/ObjectYAML/DWARFYAML.h b/llvm/include/llvm/ObjectYAML/DWARFYAML.h
index 127a52913978..ae3eff1fe856 100644
--- a/llvm/include/llvm/ObjectYAML/DWARFYAML.h
+++ b/llvm/include/llvm/ObjectYAML/DWARFYAML.h
@@ -184,11 +184,23 @@ struct StringOffsetsTable {
std::vector<yaml::Hex64> Offsets;
};
+struct DWARFOperation {
+ dwarf::LocationAtom Operator;
+ std::vector<yaml::Hex64> Values;
+};
+
struct RnglistEntry {
dwarf::RnglistEntries Operator;
std::vector<yaml::Hex64> Values;
};
+struct LoclistEntry {
+ dwarf::LoclistEntries Operator;
+ std::vector<yaml::Hex64> Values;
+ Optional<yaml::Hex64> DescriptionsLength;
+ std::vector<DWARFOperation> Descriptions;
+};
+
template <typename EntryType> struct ListEntries {
Optional<std::vector<EntryType>> Entries;
Optional<yaml::BinaryRef> Content;
@@ -224,6 +236,7 @@ struct Data {
std::vector<LineTable> DebugLines;
Optional<std::vector<ListTable<RnglistEntry>>> DebugRnglists;
+ Optional<std::vector<ListTable<LoclistEntry>>> DebugLoclists;
bool isEmpty() const;
@@ -254,6 +267,12 @@ LLVM_YAML_IS_SEQUENCE_VECTOR(
LLVM_YAML_IS_SEQUENCE_VECTOR(
llvm::DWARFYAML::ListEntries<DWARFYAML::RnglistEntry>)
LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::DWARFYAML::RnglistEntry)
+LLVM_YAML_IS_SEQUENCE_VECTOR(
+ llvm::DWARFYAML::ListTable<DWARFYAML::LoclistEntry>)
+LLVM_YAML_IS_SEQUENCE_VECTOR(
+ llvm::DWARFYAML::ListEntries<DWARFYAML::LoclistEntry>)
+LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::DWARFYAML::LoclistEntry)
+LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::DWARFYAML::DWARFOperation)
namespace llvm {
namespace yaml {
@@ -322,6 +341,10 @@ template <> struct MappingTraits<DWARFYAML::SegAddrPair> {
static void mapping(IO &IO, DWARFYAML::SegAddrPair &SegAddrPair);
};
+template <> struct MappingTraits<DWARFYAML::DWARFOperation> {
+ static void mapping(IO &IO, DWARFYAML::DWARFOperation &DWARFOperation);
+};
+
template <typename EntryType>
struct MappingTraits<DWARFYAML::ListTable<EntryType>> {
static void mapping(IO &IO, DWARFYAML::ListTable<EntryType> &ListTable);
@@ -338,6 +361,10 @@ template <> struct MappingTraits<DWARFYAML::RnglistEntry> {
static void mapping(IO &IO, DWARFYAML::RnglistEntry &RnglistEntry);
};
+template <> struct MappingTraits<DWARFYAML::LoclistEntry> {
+ static void mapping(IO &IO, DWARFYAML::LoclistEntry &LoclistEntry);
+};
+
template <> struct MappingTraits<DWARFYAML::AddrTableEntry> {
static void mapping(IO &IO, DWARFYAML::AddrTableEntry &AddrTable);
};
@@ -434,6 +461,25 @@ template <> struct ScalarEnumerationTraits<dwarf::RnglistEntries> {
}
};
+#define HANDLE_DW_LLE(unused, name) \
+ io.enumCase(value, "DW_LLE_" #name, dwarf::DW_LLE_##name);
+
+template <> struct ScalarEnumerationTraits<dwarf::LoclistEntries> {
+ static void enumeration(IO &io, dwarf::LoclistEntries &value) {
+#include "llvm/BinaryFormat/Dwarf.def"
+ }
+};
+
+#define HANDLE_DW_OP(id, name, version, vendor) \
+ io.enumCase(value, "DW_OP_" #name, dwarf::DW_OP_##name);
+
+template <> struct ScalarEnumerationTraits<dwarf::LocationAtom> {
+ static void enumeration(IO &io, dwarf::LocationAtom &value) {
+#include "llvm/BinaryFormat/Dwarf.def"
+ io.enumFallback<yaml::Hex8>(value);
+ }
+};
+
} // end namespace yaml
} // end namespace llvm
diff --git a/llvm/lib/ObjectYAML/DWARFEmitter.cpp b/llvm/lib/ObjectYAML/DWARFEmitter.cpp
index 030b0e01b6f1..deff6a68363b 100644
--- a/llvm/lib/ObjectYAML/DWARFEmitter.cpp
+++ b/llvm/lib/ObjectYAML/DWARFEmitter.cpp
@@ -611,6 +611,39 @@ static Error writeListEntryAddress(StringRef EncodingName, raw_ostream &OS,
return Error::success();
}
+static Expected<uint64_t>
+writeDWARFExpression(raw_ostream &OS,
+ const DWARFYAML::DWARFOperation &Operation,
+ uint8_t AddrSize, bool IsLittleEndian) {
+ auto CheckOperands = [&](uint64_t ExpectedOperands) -> Error {
+ return checkOperandCount(dwarf::OperationEncodingString(Operation.Operator),
+ Operation.Values, ExpectedOperands);
+ };
+
+ uint64_t ExpressionBegin = OS.tell();
+ writeInteger((uint8_t)Operation.Operator, OS, IsLittleEndian);
+ switch (Operation.Operator) {
+ case dwarf::DW_OP_consts:
+ if (Error Err = CheckOperands(1))
+ return std::move(Err);
+ encodeSLEB128(Operation.Values[0], OS);
+ break;
+ case dwarf::DW_OP_stack_value:
+ if (Error Err = CheckOperands(0))
+ return std::move(Err);
+ break;
+ default:
+ StringRef EncodingStr = dwarf::OperationEncodingString(Operation.Operator);
+ return createStringError(errc::not_supported,
+ "DWARF expression: " +
+ (EncodingStr.empty()
+ ? "0x" + utohexstr(Operation.Operator)
+ : EncodingStr) +
+ " is not supported");
+ }
+ return OS.tell() - ExpressionBegin;
+}
+
static Expected<uint64_t> writeListEntry(raw_ostream &OS,
const DWARFYAML::RnglistEntry &Entry,
uint8_t AddrSize,
@@ -672,6 +705,103 @@ static Expected<uint64_t> writeListEntry(raw_ostream &OS,
return OS.tell() - BeginOffset;
}
+static Expected<uint64_t> writeListEntry(raw_ostream &OS,
+ const DWARFYAML::LoclistEntry &Entry,
+ uint8_t AddrSize,
+ bool IsLittleEndian) {
+ uint64_t BeginOffset = OS.tell();
+ writeInteger((uint8_t)Entry.Operator, OS, IsLittleEndian);
+
+ StringRef EncodingName = dwarf::LocListEncodingString(Entry.Operator);
+
+ auto CheckOperands = [&](uint64_t ExpectedOperands) -> Error {
+ return checkOperandCount(EncodingName, Entry.Values, ExpectedOperands);
+ };
+
+ auto WriteAddress = [&](uint64_t Addr) -> Error {
+ return writeListEntryAddress(EncodingName, OS, Addr, AddrSize,
+ IsLittleEndian);
+ };
+
+ auto WriteDWARFOperations = [&]() -> Error {
+ std::string OpBuffer;
+ raw_string_ostream OpBufferOS(OpBuffer);
+ uint64_t DescriptionsLength = 0;
+
+ for (const DWARFYAML::DWARFOperation &Op : Entry.Descriptions) {
+ if (Expected<uint64_t> OpSize =
+ writeDWARFExpression(OpBufferOS, Op, AddrSize, IsLittleEndian))
+ DescriptionsLength += *OpSize;
+ else
+ return OpSize.takeError();
+ }
+
+ if (Entry.DescriptionsLength)
+ DescriptionsLength = *Entry.DescriptionsLength;
+ else
+ DescriptionsLength = OpBuffer.size();
+
+ encodeULEB128(DescriptionsLength, OS);
+ OS.write(OpBuffer.data(), OpBuffer.size());
+
+ return Error::success();
+ };
+
+ switch (Entry.Operator) {
+ case dwarf::DW_LLE_end_of_list:
+ if (Error Err = CheckOperands(0))
+ return std::move(Err);
+ break;
+ case dwarf::DW_LLE_base_addressx:
+ if (Error Err = CheckOperands(1))
+ return std::move(Err);
+ encodeULEB128(Entry.Values[0], OS);
+ break;
+ case dwarf::DW_LLE_startx_endx:
+ case dwarf::DW_LLE_startx_length:
+ case dwarf::DW_LLE_offset_pair:
+ if (Error Err = CheckOperands(2))
+ return std::move(Err);
+ encodeULEB128(Entry.Values[0], OS);
+ encodeULEB128(Entry.Values[1], OS);
+ if (Error Err = WriteDWARFOperations())
+ return std::move(Err);
+ break;
+ case dwarf::DW_LLE_default_location:
+ if (Error Err = CheckOperands(0))
+ return std::move(Err);
+ if (Error Err = WriteDWARFOperations())
+ return std::move(Err);
+ break;
+ case dwarf::DW_LLE_base_address:
+ if (Error Err = CheckOperands(1))
+ return std::move(Err);
+ if (Error Err = WriteAddress(Entry.Values[0]))
+ return std::move(Err);
+ break;
+ case dwarf::DW_LLE_start_end:
+ if (Error Err = CheckOperands(2))
+ return std::move(Err);
+ if (Error Err = WriteAddress(Entry.Values[0]))
+ return std::move(Err);
+ cantFail(WriteAddress(Entry.Values[1]));
+ if (Error Err = WriteDWARFOperations())
+ return std::move(Err);
+ break;
+ case dwarf::DW_LLE_start_length:
+ if (Error Err = CheckOperands(2))
+ return std::move(Err);
+ if (Error Err = WriteAddress(Entry.Values[0]))
+ return std::move(Err);
+ encodeULEB128(Entry.Values[1], OS);
+ if (Error Err = WriteDWARFOperations())
+ return std::move(Err);
+ break;
+ }
+
+ return OS.tell() - BeginOffset;
+}
+
template <typename EntryType>
Error writeDWARFLists(raw_ostream &OS,
ArrayRef<DWARFYAML::ListTable<EntryType>> Tables,
@@ -764,6 +894,12 @@ Error DWARFYAML::emitDebugRnglists(raw_ostream &OS, const Data &DI) {
OS, *DI.DebugRnglists, DI.IsLittleEndian, DI.Is64BitAddrSize);
}
+Error DWARFYAML::emitDebugLoclists(raw_ostream &OS, const Data &DI) {
+ assert(DI.DebugLoclists && "unexpected emitDebugRnglists() call");
+ return writeDWARFLists<DWARFYAML::LoclistEntry>(
+ OS, *DI.DebugLoclists, DI.IsLittleEndian, DI.Is64BitAddrSize);
+}
+
std::function<Error(raw_ostream &, const DWARFYAML::Data &)>
DWARFYAML::getDWARFEmitterByName(StringRef SecName) {
auto EmitFunc =
@@ -776,6 +912,7 @@ DWARFYAML::getDWARFEmitterByName(StringRef SecName) {
.Case("debug_gnu_pubtypes", DWARFYAML::emitDebugGNUPubtypes)
.Case("debug_info", DWARFYAML::emitDebugInfo)
.Case("debug_line", DWARFYAML::emitDebugLine)
+ .Case("debug_loclists", DWARFYAML::emitDebugLoclists)
.Case("debug_pubnames", DWARFYAML::emitDebugPubnames)
.Case("debug_pubtypes", DWARFYAML::emitDebugPubtypes)
.Case("debug_ranges", DWARFYAML::emitDebugRanges)
diff --git a/llvm/lib/ObjectYAML/DWARFYAML.cpp b/llvm/lib/ObjectYAML/DWARFYAML.cpp
index 37d45996786d..a0caad10a36c 100644
--- a/llvm/lib/ObjectYAML/DWARFYAML.cpp
+++ b/llvm/lib/ObjectYAML/DWARFYAML.cpp
@@ -50,6 +50,8 @@ SetVector<StringRef> DWARFYAML::Data::getNonEmptySectionNames() const {
SecNames.insert("debug_str_offsets");
if (DebugRnglists)
SecNames.insert("debug_rnglists");
+ if (DebugLoclists)
+ SecNames.insert("debug_loclists");
return SecNames;
}
@@ -74,6 +76,7 @@ void MappingTraits<DWARFYAML::Data>::mapping(IO &IO, DWARFYAML::Data &DWARF) {
IO.mapOptional("debug_addr", DWARF.DebugAddr);
IO.mapOptional("debug_str_offsets", DWARF.DebugStrOffsets);
IO.mapOptional("debug_rnglists", DWARF.DebugRnglists);
+ IO.mapOptional("debug_loclists", DWARF.DebugLoclists);
IO.setContext(OldContext);
}
@@ -235,12 +238,26 @@ void MappingTraits<DWARFYAML::StringOffsetsTable>::mapping(
IO.mapOptional("Offsets", StrOffsetsTable.Offsets);
}
+void MappingTraits<DWARFYAML::DWARFOperation>::mapping(
+ IO &IO, DWARFYAML::DWARFOperation &DWARFOperation) {
+ IO.mapRequired("Operator", DWARFOperation.Operator);
+ IO.mapOptional("Values", DWARFOperation.Values);
+}
+
void MappingTraits<DWARFYAML::RnglistEntry>::mapping(
IO &IO, DWARFYAML::RnglistEntry &RnglistEntry) {
IO.mapRequired("Operator", RnglistEntry.Operator);
IO.mapOptional("Values", RnglistEntry.Values);
}
+void MappingTraits<DWARFYAML::LoclistEntry>::mapping(
+ IO &IO, DWARFYAML::LoclistEntry &LoclistEntry) {
+ IO.mapRequired("Operator", LoclistEntry.Operator);
+ IO.mapOptional("Values", LoclistEntry.Values);
+ IO.mapOptional("DescriptionsLength", LoclistEntry.DescriptionsLength);
+ IO.mapOptional("Descriptions", LoclistEntry.Descriptions);
+}
+
template <typename EntryType>
void MappingTraits<DWARFYAML::ListEntries<EntryType>>::mapping(
IO &IO, DWARFYAML::ListEntries<EntryType> &ListEntries) {
diff --git a/llvm/test/tools/yaml2obj/ELF/DWARF/debug-loclists.yaml b/llvm/test/tools/yaml2obj/ELF/DWARF/debug-loclists.yaml
new file mode 100644
index 000000000000..4da5595827d1
--- /dev/null
+++ b/llvm/test/tools/yaml2obj/ELF/DWARF/debug-loclists.yaml
@@ -0,0 +1,914 @@
+## Test that yaml2obj emits a .debug_loclists section when requested.
+
+## a) Generate and verify a little endian DWARF32 .debug_loclists section in a 64-bit object file.
+
+# RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2LSB %s -o %t1.dwarf32.le.o
+# RUN: llvm-readobj --sections --section-data %t1.dwarf32.le.o | \
+# RUN: FileCheck -DSIZE=133 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF32-LE
+
+# SHDR: Index: 1
+# SHDR-NEXT: Name: .debug_loclists (1)
+# SHDR-NEXT: Type: SHT_PROGBITS (0x1)
+# SHDR-NEXT: Flags [ (0x0)
+# SHDR-NEXT: ]
+# SHDR-NEXT: Address: 0x0
+# SHDR-NEXT: Offset: 0x40
+# SHDR-NEXT: Size: [[SIZE]]
+# SHDR-NEXT: Link: 0
+# SHDR-NEXT: Info: 0
+# SHDR-NEXT: AddressAlignment: [[ADDRALIGN]]
+# SHDR-NEXT: EntrySize: 0
+# DWARF32-LE-NEXT: SectionData (
+# DWARF32-LE-NEXT: 0000: 3D000000 05000800 03000000 0C000000 |=...............|
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+## ^------- offsets[0] (4-byte)
+# DWARF32-LE-NEXT: 0010: 1B000000 2F000000 01B42402 B424A186 |..../.....$..$..|
+## ^------- offsets[1] (4-byte)
+## ^------- offsets[2] (4-byte)
+## ^- DW_LLE_base_addressx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^--- operands[1] (ULEB128) 0x4321
+# DWARF32-LE-NEXT: 0020: 010411B4 249F0003 B424A186 0102117D |....$....$.....}|
+## --
+## ^- location descriptions length (ULEB128) 0x04
+## ^- DW_OP_consts
+## ^---- operands[0] (SLEB128) +0x1234
+## ^- DW_OP_stack_value
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_startx_length
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x02
+## ^- DW_OP_consts
+## ^- operands[0] (SLEB128) -0x03
+# DWARF32-LE-NEXT: 0030: 04B424A1 86010311 B4240005 0311B424 |..$......$.....$|
+## ^- DW_LLE_offset_pair
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_default_location
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+# DWARF32-LE-NEXT: 0040: 00400000 00050008 00020000 00080000 |. at ..............|
+## ^- DW_LLE_end_of_list
+## ^-------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^-------- offset_entry_count (4-byte)
+## ^----- offsets[0] (4-byte)
+# DWARF32-LE-NEXT: 0050: 00270000 00063412 00000000 00000734 |.'....4........4|
+## --
+## ^-------- offsets[1] (4-byte)
+## ^- DW_LLE_base_address
+## ^----------------- operands[0] (8-byte)
+## ^- DW_LLE_start_end
+## ^- operands[0] (8-byte)
+# DWARF32-LE-NEXT: 0060: 12000000 00000021 43000000 00000003 |.......!C.......|
+## ---------------
+## ^----------------- operands[1] (8-byte)
+## ^- location descriptions length (ULEB128) 0x03
+# DWARF32-LE-NEXT: 0070: 11B42400 08341200 00000000 00A18601 |..$..4..........|
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_start_length
+## ^----------------- operands[0] (8-byte)
+## ^----- operands[1] (LEB128) 0x4321
+# DWARF32-LE-NEXT: 0080: 0311B424 00 |...$.|
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+# DWARF32-LE-NEXT: )
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: [[ENDIAN]]
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_base_addressx
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Operator: DW_OP_stack_value
+ - Operator: DW_LLE_end_of_list
+ - Entries:
+ - Operator: DW_LLE_startx_length
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ ## Test a negative number (-3).
+ Values: [ 0xfffffffffffffffd ]
+ - Operator: DW_LLE_offset_pair
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_end_of_list
+ - Entries:
+ - Operator: DW_LLE_default_location
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_end_of_list
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_base_address
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_start_end
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_end_of_list
+ - Entries:
+ - Operator: DW_LLE_start_length
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_end_of_list
+
+## b) Generate and verify a big endian DWARF32 .debug_loclists section in a 64-bit object file.
+
+# RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2MSB %s -o %t.dwarf32.be.o
+# RUN: llvm-readobj --sections --section-data %t.dwarf32.be.o | \
+# RUN: FileCheck -DSIZE=133 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF32-BE
+
+# DWARF32-BE-NEXT: SectionData (
+# DWARF32-BE-NEXT: 0000: 0000003D 00050800 00000003 0000000C |...=............|
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+## ^------- offsets[0] (4-byte)
+# DWARF32-BE-NEXT: 0010: 0000001B 0000002F 01B42402 B424A186 |......./..$..$..|
+## ^------- offsets[1] (4-byte)
+## ^------- offsets[2] (4-byte)
+## ^- DW_LLE_base_addressx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^--- operands[1] (ULEB128) 0x4321
+# DWARF32-BE-NEXT: 0020: 010411B4 249F0003 B424A186 0102117D |....$....$.....}|
+## --
+## ^- location descriptions length (ULEB128) 0x04
+## ^- DW_OP_consts
+## ^---- operands[0] (SLEB128) +0x1234
+## ^- DW_OP_stack_value
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_startx_length
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x02
+## ^- DW_OP_consts
+## ^- operands[0] (SLEB128) -0x03
+# DWARF32-BE-NEXT: 0030: 04B424A1 86010311 B4240005 0311B424 |..$......$.....$|
+## ^- DW_LLE_offset_pair
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_default_location
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+# DWARF32-BE-NEXT: 0040: 00000000 40000508 00000000 02000000 |.... at ...........|
+## ^- DW_LLE_end_of_list
+## ^-------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^-------- offset_entry_count (4-byte)
+## ^----- offsets[0] (4-byte)
+# DWARF32-BE-NEXT: 0050: 08000000 27060000 00000000 12340700 |....'........4..|
+## --
+## ^-------- offsets[1] (4-byte)
+## ^- DW_LLE_base_address
+## ^----------------- operands[0] (8-byte)
+## ^- DW_LLE_start_end
+## ^- operands[0] (8-byte)
+# DWARF32-BE-NEXT: 0060: 00000000 00123400 00000000 00432103 |......4......C!.|
+## ---------------
+## ^----------------- operands[1] (8-byte)
+## ^- location descriptions length (ULEB128) 0x03
+# DWARF32-BE-NEXT: 0070: 11B42400 08000000 00000012 34A18601 |..$.........4...|
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+## ^- DW_LLE_start_length
+## ^----------------- operands[0] (8-byte)
+## ^----- operands[1] (LEB128) 0x4321
+# DWARF32-BE-NEXT: 0080: 0311B424 00 |...$.|
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+# DWARF32-BE-NEXT: )
+
+## c) Generate and verify a little endian DWARF64 .debug_loclists section in a 64-bit object file.
+
+# RUN: yaml2obj --docnum=2 -DENDIAN=ELFDATA2LSB %s -o %t2.dwarf64.le.o
+# RUN: llvm-readobj --sections --section-data %t2.dwarf64.le.o | \
+# RUN: FileCheck -DSIZE=47 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF64-LE
+
+# DWARF64-LE-NEXT: SectionData (
+# DWARF64-LE-NEXT: 0000: FFFFFFFF 23000000 00000000 05000800 |....#...........|
+## ^------------------------- unit_length (12-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+# DWARF64-LE-NEXT: 0010: 02000000 10000000 00000000 1A000000 |................|
+## ^------- offset_entry_count (4-byte)
+## ^---------------- offsets[0] (8-byte)
+## ^------- offsets[1] (8-byte)
+# DWARF64-LE-NEXT: 0020: 00000000 02B424A1 86010311 B42400 |......$......$.|
+## --------
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+# DWARF64-LE-NEXT: )
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: [[ENDIAN]]
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Format: DWARF64
+ Lists:
+ - Entries:
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x1234, 0x4321 ]
+ Descriptions:
+ - Operator: DW_OP_consts
+ Values: [ 0x1234 ]
+ - Entries:
+ - Operator: DW_LLE_end_of_list
+
+## d) Generate and verify a big endian DWARF64 .debug_loclists section in a 64-bit object file.
+
+# RUN: yaml2obj --docnum=2 -DENDIAN=ELFDATA2MSB %s -o %t2.dwarf64.be.o
+# RUN: llvm-readobj --sections --section-data %t2.dwarf64.be.o | \
+# RUN: FileCheck -DSIZE=47 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF64-BE
+
+# DWARF64-BE-NEXT: SectionData (
+# DWARF64-BE-NEXT: 0000: FFFFFFFF 00000000 00000023 00050800 |...........#....|
+## ^------------------------- unit_length (12-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+# DWARF64-BE-NEXT: 0010: 00000002 00000000 00000010 00000000 |................|
+## ^------- offset_entry_count (4-byte)
+## ^---------------- offsets[0] (8-byte)
+## ^------- offsets[1] (8-byte)
+# DWARF64-BE-NEXT: 0020: 0000001A 02B424A1 86010311 B42400 |......$......$.|
+## --------
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x03
+## ^- DW_OP_consts
+## ^--- operands[0] (SLEB128) +0x1234
+## ^- DW_LLE_end_of_list
+# DWARF64-BE-NEXT: )
+
+## e) Test that the length, version, segment_selector_size, address_size, offset_entry_count,
+## offsets and location descriptions length fields can be specified manually.
+
+# RUN: yaml2obj --docnum=3 %s -o %t3.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t3.o | \
+# RUN: FileCheck %s --check-prefix=OVERWRITE
+
+# OVERWRITE: Hex dump of section '.debug_loclists':
+# OVERWRITE-NEXT: 0x00000000 34120000 06000303 04000000 01000000 4...............
+## ^------- unit_length (4-byte) 0x1234
+## ^--- version (2-byte) 0x06
+## ^- address_size (1-byte) 0x03
+## ^- segment_selector_size (1-byte) 0x03
+## ^------- offset_entry_count (4-byte) 0x04
+## ^------- offsets[0] (4-byte) 0x01
+# OVERWRITE-NEXT: 0x00000010 02b424a1 8601a186 019f00 ..$........
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^------ location descriptions length (ULEB128) 0x4321
+## ^- DW_OP_stack_value
+## ^- DW_LLE_end_of_list
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Length: 0x1234
+ Version: 6
+ AddressSize: 3
+ SegmentSelectorSize: 3
+ OffsetEntryCount: 4
+ Offsets: [ 0x01 ]
+ Lists:
+ - Entries:
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x1234, 0x4321 ]
+ DescriptionsLength: 0x4321
+ Descriptions:
+ - Operator: DW_OP_stack_value
+ - Entries:
+ - Operator: DW_LLE_end_of_list
+
+## f) Test that location descriptions can be omitted from the YAML description.
+
+# RUN: yaml2obj --docnum=4 %s -o %t4.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t4.o | \
+# RUN: FileCheck %s --check-prefix=OMIT-DESCRIPTIONS
+
+# OMIT-DESCRIPTIONS: Hex dump of section '.debug_loclists':
+# OMIT-DESCRIPTIONS-NEXT: 0x00000000 42000000 05000800 01000000 04000000 B...............
+# OMIT-DESCRIPTIONS-NEXT: 0x00000010 02b424a1 86010003 b424a186 010004b4 ..$......$......
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x00
+## ^- DW_LLE_startx_length
+## ^--- operands[0] (ULEB128) 0x1234
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x00
+## ^- DW_LLE_offset_pair
+## ^- operands[0] (ULEB128) 0x1234
+# OMIT-DESCRIPTIONS-NEXT: 0x00000020 24a18601 00050007 34120000 00000000 $.......4.......
+## --
+## ^----- operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x00
+## ^- DW_LLE_default_location
+## ^- location descriptions length (ULEB128) 0x00
+## ^- DW_LLE_start_end
+## ^---------------- operands[0] (8-byte)
+# OMIT-DESCRIPTIONS-NEXT: 0x00000030 21430000 00000000 00083412 00000000 !C........4.....
+## ^---------------- operands[1] (8-byte)
+## ^- location descriptions length (ULEB128) 0x00
+## ^- DW_LLE_start_length
+## ^------------ operands[0] (8-byte)
+# OMIT-DESCRIPTIONS-NEXT: 0x00000040 0000a186 0100 ......
+## ----
+## ^------ operands[1] (ULEB128) 0x4321
+## ^- location descriptions length (ULEB128) 0x00
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_startx_length
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_offset_pair
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_default_location
+ - Operator: DW_LLE_start_end
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_start_length
+ Values: [ 0x1234, 0x4321 ]
+
+## g) Test that the default value of the address_size field in a 32-bit object file is 4.
+
+# RUN: yaml2obj --docnum=5 %s -o %t5.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t5.o | \
+# RUN: FileCheck %s --check-prefix=ADDRSIZE32
+
+# ADDRSIZE32: Hex dump of section '.debug_loclists':
+# ADDRSIZE32-NEXT: 0x00000000 24000000 05000400 01000000 04000000 $...............
+## ^- address_size (1-byte) 0x04
+# ADDRSIZE32-NEXT: 0x00000010 06341200 00073412 00002143 00000008 .4....4...!C....
+## ^- DW_LLE_base_address
+## ^-------- operands[0] (4-byte)
+## ^- DW_LLE_start_end
+## ^-------- operands[0] (4-byte)
+## ^-------- operands[1] (4-byte)
+## ^- counted location description
+## ^- DW_LLE_start_length
+# ADDRSIZE32-NEXT: 0x00000020 34120000 a1860100 4.......
+## ^------- operands[0] (4-byte)
+## ^----- operands[1] (ULEB128) 0x4321
+## ^- counted location description
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS32
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_base_address
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_start_end
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_start_length
+ Values: [ 0x1234, 0x4321 ]
+
+## h) Test that the address_size field can be specified manually and the size of
+## corresponding operands will be changed accordingly.
+
+# RUN: yaml2obj --docnum=6 %s -o %t6.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t6.o | \
+# RUN: FileCheck %s --check-prefix=ADDRSIZE32
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - AddressSize: 4
+ Lists:
+ - Entries:
+ - Operator: DW_LLE_base_address
+ Values: [ 0x1234 ]
+ - Operator: DW_LLE_start_end
+ Values: [ 0x1234, 0x4321 ]
+ - Operator: DW_LLE_start_length
+ Values: [ 0x1234, 0x4321 ]
+
+## i) Test that yaml2obj emits an error message if we try to assign an invalid value to
+## 'AddressSize' when there is an entry whose operands contain address.
+
+# RUN: not yaml2obj -DOPERATOR=base_address -DVALUES=[0x01] --docnum=7 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=base_address %s --check-prefix=INVALID-ADDRSIZE
+
+# RUN: not yaml2obj -DOPERATOR=start_end -DVALUES=[0x01,0x02] --docnum=7 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=start_end %s --check-prefix=INVALID-ADDRSIZE
+
+# RUN: not yaml2obj -DOPERATOR=start_length -DVALUES=[0x01,0x02] --docnum=7 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=start_length %s --check-prefix=INVALID-ADDRSIZE
+
+# INVALID-ADDRSIZE: yaml2obj: error: unable to write address for the operator DW_LLE_[[OPERATOR]]: invalid integer write size: 3
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - AddressSize: 3
+ Lists:
+ - Entries:
+ - Operator: DW_LLE_[[OPERATOR]]
+ Values: [[VALUES]]
+
+## j) Test that yaml2obj emits an error message if we specify invalid numbers of operands
+## for a location list encoding.
+
+# RUN: not yaml2obj -DOPERATOR=end_of_list -DVALUES=[0x01] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=end_of_list -DACTUAL=1 -DEXPECTED=0 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=base_addressx -DVALUES=[] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=base_addressx -DACTUAL=0 -DEXPECTED=1 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=startx_endx -DVALUES=[0x01] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=startx_endx -DACTUAL=1 -DEXPECTED=2 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=startx_length -DVALUES=[0x01] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=startx_length -DACTUAL=1 -DEXPECTED=2 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=offset_pair -DVALUES=[] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=offset_pair -DACTUAL=0 -DEXPECTED=2 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=default_location -DVALUES=[0x01] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=default_location -DACTUAL=1 -DEXPECTED=0 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=base_address -DVALUES=[0x01,0x02] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=base_address -DACTUAL=2 -DEXPECTED=1 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=start_end -DVALUES=[0x01,0x02,0x03] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=start_end -DACTUAL=3 -DEXPECTED=2 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# RUN: not yaml2obj -DOPERATOR=start_length -DVALUES=[0x01] --docnum=8 %s 2>&1 | \
+# RUN: FileCheck -DOPERATOR=start_length -DACTUAL=1 -DEXPECTED=2 %s --check-prefix=INVALID-LLE-OPERANDS
+
+# INVALID-LLE-OPERANDS: yaml2obj: error: invalid number ([[ACTUAL]]) of operands for the operator: DW_LLE_[[OPERATOR]], [[EXPECTED]] expected
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_[[OPERATOR]]
+ Values: [[VALUES]]
+
+## k) Test that yaml2obj emits an error message if we specify invalid numbers of operands
+## for a DWARF expression operator.
+
+# RUN: not yaml2obj --docnum=9 -DOPERATOR=consts -DVALUES=[0x01,0x02] %s 2>&1 | \
+# RUN: FileCheck -DACTUAL=2 -DEXPECTED=1 -DOPERATOR=consts %s --check-prefix=INVALID-OP-OPERANDS
+
+# RUN: not yaml2obj --docnum=9 -DOPERATOR=stack_value -DVALUES=[0x01] %s 2>&1 | \
+# RUN: FileCheck -DACTUAL=1 -DEXPECTED=0 -DOPERATOR=stack_value %s --check-prefix=INVALID-OP-OPERANDS
+
+# INVALID-OP-OPERANDS: yaml2obj: error: invalid number ([[ACTUAL]]) of operands for the operator: DW_OP_[[OPERATOR]], [[EXPECTED]] expected
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x01, 0x02 ]
+ Descriptions:
+ - Operator: DW_OP_[[OPERATOR]]
+ Values: [[VALUES]]
+
+## l) Test that an empty list is allowed for a location list table.
+
+# RUN: yaml2obj --docnum=10 %s -o %t10.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t10.o | \
+# RUN: FileCheck %s --check-prefix=EMPTY-LIST
+
+# EMPTY-LIST: Hex dump of section '.debug_loclists':
+# EMPTY-LIST-NEXT: 0x00000000 08000000 05000800 00000000 ............
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists: []
+
+## m) Generate the .debug_loclists section from raw section content.
+
+# RUN: yaml2obj --docnum=11 %s -o %t11.o
+# RUN: llvm-readobj --sections --section-data %t11.o | \
+# RUN: FileCheck %s -DSIZE=3 -DADDRALIGN=0 --check-prefixes=SHDR,ARBITRARY-CONTENT
+
+# ARBITRARY-CONTENT: SectionData (
+# ARBITRARY-CONTENT-NEXT: 0000: 112233
+# ARBITRARY-CONTENT-NEXT: )
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_PROGBITS
+ Content: "112233"
+
+## n) Generate the .debug_loclists section when the "Size" is specified.
+
+# RUN: yaml2obj --docnum=12 %s -o %t12.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t12.o | \
+# RUN: FileCheck %s --check-prefix=SIZE
+
+# SIZE: Hex dump of section '.debug_loclists':
+# SIZE-NEXT: 0x00000000 00000000 00000000 00000000 00000000 ................
+# SIZE-EMPTY:
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_PROGBITS
+ Size: 0x10
+
+## o) Test that yaml2obj emits an error message when both the "Size" and the
+## "debug_loclists" entry are specified at the same time.
+
+# RUN: not yaml2obj --docnum=13 %s 2>&1 | FileCheck %s --check-prefix=ERROR
+
+# ERROR: yaml2obj: error: cannot specify section '.debug_loclists' contents in the 'DWARF' entry and the 'Content' or 'Size' in the 'Sections' entry at the same time
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_PROGBITS
+ Size: 0x10
+DWARF:
+ debug_loclists:
+ - Lists: []
+
+## p) Test that yaml2obj emits an error message when both the "Content" and the
+## "debug_loclists" entry are specified at the same time.
+
+# RUN: not yaml2obj --docnum=14 %s 2>&1 | FileCheck %s --check-prefix=ERROR
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_PROGBITS
+ Content: "00"
+DWARF:
+ debug_loclists:
+ - Lists: []
+
+## q) Test that all the properties can be overridden by the section header when
+## the "debug_loclists" entry doesn't exist.
+
+# RUN: yaml2obj --docnum=15 %s -o %t15.o
+# RUN: llvm-readelf --sections %t15.o | FileCheck %s --check-prefix=OVERRIDDEN
+
+# OVERRIDDEN: [Nr] Name Type Address Off Size ES Flg Lk Inf Al
+# OVERRIDDEN: [ 1] .debug_loclists STRTAB 0000000000002020 000050 00000c 01 A 2 1 2
+# OVERRIDDEN-NEXT: [ 2] .sec STRTAB 0000000000000000 00005c 000000 00 0 0 0
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_STRTAB ## SHT_PROGBITS by default.
+ Flags: [SHF_ALLOC] ## 0 by default.
+ Link: .sec ## 0 by default.
+ EntSize: 1 ## 0 by default.
+ Info: 1 ## 0 by default.
+ AddressAlign: 2 ## 0 by default.
+ Address: 0x2020 ## 0x00 by default.
+ Offset: 0x50 ## 0x40 for the first section.
+ Size: 0x0c ## Set the "Size" so that we can reuse the check tag "OVERRIDDEN".
+ - Name: .sec ## Linked by .debug_loclists.
+ Type: SHT_STRTAB
+
+## r) Test that all the properties can be overridden by the section header when
+## the "debug_loclists" entry exists.
+
+# RUN: yaml2obj --docnum=16 %s -o %t16.o
+# RUN: llvm-readelf --sections %t16.o | FileCheck %s --check-prefix=OVERRIDDEN
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+Sections:
+ - Name: .debug_loclists
+ Type: SHT_STRTAB ## SHT_PROGBITS by default.
+ Flags: [SHF_ALLOC] ## 0 by default.
+ Link: .sec ## 0 by default.
+ EntSize: 1 ## 0 by default.
+ Info: 1 ## 0 by default.
+ AddressAlign: 2 ## 1 by default.
+ Address: 0x2020 ## 0x00 by default.
+ Offset: 0x50 ## 0x40 for the first section.
+ - Name: .sec ## Linked by .debug_loclists.
+ Type: SHT_STRTAB
+DWARF:
+ debug_loclists:
+ - Lists: []
+
+## s) Test that the .debug_loclists section header is emitted if the "debug_loclists"
+## entry is empty.
+
+# RUN: yaml2obj --docnum=17 %s -o %t17.o
+# RUN: llvm-readobj --sections --section-data %t17.o | \
+# RUN: FileCheck -DSIZE=0 -DADDRALIGN=1 %s --check-prefixes=SHDR,EMPTY-CONTENT
+
+# EMPTY-CONTENT-NEXT: SectionData (
+# EMPTY-CONTENT-NEXT: )
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists: []
+
+## t) Test that yaml2obj emits an error message if we use an unimplemented DWARF expression
+## operator.
+
+# RUN: not yaml2obj --docnum=18 -DOP=0x01 %s 2>&1 | \
+# RUN: FileCheck -DOP=0x1 %s --check-prefix=UNSUPPORTED-OP
+
+# UNSUPPORTED-OP: yaml2obj: error: DWARF expression: [[OP]] is not supported
+
+# RUN: not yaml2obj --docnum=18 -DOP=DW_OP_entry_value %s 2>&1 | \
+# RUN: FileCheck -DOP=DW_OP_entry_value %s --check-prefix=UNSUPPORTED-OP
+
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_default_location
+ Descriptions:
+ - Operator: [[OP]]
+
+## u) Test that we are able to generate a location list via raw binary data.
+
+# RUN: yaml2obj --docnum=19 %s -o %t19.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t19.o | \
+# RUN: FileCheck %s --check-prefix=CUSTOM-LIST
+
+# CUSTOM-LIST: Hex dump of section '.debug_loclists':
+# CUSTOM-LIST-NEXT: 0x00000000 2a000000 05000800 03000000 0c000000 *...............
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+## ^------- offsets[0] (4-byte)
+# CUSTOM-LIST-NEXT: 0x00000010 12000000 1a000000 02b424b4 24001234 ..........$.$..4
+## ^------- offsets[1] (4-byte)
+## ^------- offsets[2] (4-byte)
+## ^- DW_LLE_startx_endx
+## ^--- operands[0] (ULEB128) 0x1234
+## ^---- operands[1] (ULEB128) 0x1234
+## ^- location descriptions length (ULEB128) 0x00
+## ^--- custom list content
+# CUSTOM-LIST-NEXT: 0x00000020 567890ab cdefabcd ef123456 7890 Vx........4Vx.
+## -------------
+## ^----------------- custom list content
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries:
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x1234, 0x1234 ]
+ - Content: '1234567890abcdef'
+ - Content: 'abcdef1234567890'
+
+## v) Test that yaml2obj emits an error message when 'Content' and 'Entries' are specified
+## at the same time.
+
+# RUN: not yaml2obj --docnum=20 %s 2>&1 | FileCheck %s --check-prefix=ERR
+
+# ERR: YAML:{{.*}}: error: Entries and Content can't be used together
+# ERR-NEXT: - Entries: []
+# ERR-NEXT: ^
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - Lists:
+ - Entries: []
+ Content: ''
+
+## w) Test that when the "OffsetEntryCount" is specified to be 0 and "Offsets" is not specified,
+## the offsets array is not emitted.
+
+# RUN: yaml2obj --docnum=21 -DOFFSETENTRIES=0 %s -o %t21.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t21.o | \
+# RUN: FileCheck %s --check-prefix=NO-OFFSETS
+
+# NO-OFFSETS: Hex dump of section '.debug_loclists':
+# NO-OFFSETS-NEXT: 0x00000000 0e000000 05000800 00000000 01010201 ................
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+## ^- DW_LLE_base_addressx
+## ^- operands[0] (ULEB128) 0x01
+## ^- DW_LLE_startx_endx
+## ^- operands[0] (ULEB128) 0x01
+# NO-OFFSETS-NEXT: 0x00000010 0200 ..
+## ^- operands[1] (ULEB128) 0x02
+## ^- location descriptions length (ULEB128) 0x00
+
+--- !ELF
+FileHeader:
+ Class: ELFCLASS64
+ Data: ELFDATA2LSB
+ Type: ET_EXEC
+ Machine: EM_X86_64
+DWARF:
+ debug_loclists:
+ - OffsetEntryCount: [[OFFSETENTRIES=<none>]]
+ Offsets: [[OFFSETS=<none>]]
+ Lists:
+ - Entries:
+ - Operator: DW_LLE_base_addressx
+ Values: [ 0x01 ]
+ - Operator: DW_LLE_startx_endx
+ Values: [ 0x01, 0x02 ]
+
+## x) Test that when the "Offsets" entry is specified to be empty and the "OffsetEntryCount" is not specified,
+## the offsets array will be omitted.
+
+# RUN: yaml2obj --docnum=21 -DOFFSETS=[] %s -o %t22.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t22.o | \
+# RUN: FileCheck %s --check-prefix=NO-OFFSETS
+
+## y) Test that if "Offsets" is specified, the offsets array will be emitted accordingly, even when
+## the "OffsetEntryCount" is specified to be 0.
+
+# RUN: yaml2obj --docnum=21 -DOFFSETENTRIES=0 -DOFFSETS=[0x01,0x02,0x03] %s -o %t23.o
+# RUN: llvm-readelf --hex-dump=.debug_loclists %t23.o | \
+# RUN: FileCheck %s --check-prefix=OFFSETS
+
+# OFFSETS: Hex dump of section '.debug_loclists':
+# OFFSETS-NEXT: 0x00000000 0e000000 05000800 00000000 01000000 ................
+## ^------- unit_length (4-byte)
+## ^--- version (2-byte)
+## ^- address_size (1-byte)
+## ^- segment_selector_size (1-byte)
+## ^------- offset_entry_count (4-byte)
+## ^------- offsets[0] (4-byte)
+# OFFSETS-NEXT: 0x00000010 02000000 03000000 01010201 0200 ..............
+## ^------- offsets[1] (4-byte)
+## ^------- offsets[2] (4-byte)
+## ^- DW_LLE_base_addressx
+## ^- operands[0] (ULEB128) 0x01
+## ^- DW_LLE_startx_endx
+## ^- operands[0] (ULEB128) 0x01
+## ^- operands[1] (ULEB128) 0x02
+## ^- location descriptions length (ULEB128) 0x00
More information about the llvm-commits
mailing list