166702629SJames Henderson //===- DWARFDebugLineTest.cpp ---------------------------------------------===//
266702629SJames Henderson //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
666702629SJames Henderson //
766702629SJames Henderson //===----------------------------------------------------------------------===//
866702629SJames Henderson 
966702629SJames Henderson #include "DwarfGenerator.h"
1066702629SJames Henderson #include "DwarfUtils.h"
1166702629SJames Henderson #include "llvm/DebugInfo/DWARF/DWARFContext.h"
1266702629SJames Henderson #include "llvm/DebugInfo/DWARF/DWARFDebugLine.h"
1366702629SJames Henderson #include "llvm/Object/ObjectFile.h"
1466702629SJames Henderson #include "llvm/Testing/Support/Error.h"
1566702629SJames Henderson #include "gtest/gtest.h"
1666702629SJames Henderson 
1766702629SJames Henderson using namespace llvm;
1866702629SJames Henderson using namespace dwarf;
19a3acf99eSJames Henderson using namespace dwarfgen;
2066702629SJames Henderson using namespace object;
2166702629SJames Henderson using namespace utils;
22a3acf99eSJames Henderson using namespace testing;
2366702629SJames Henderson 
2466702629SJames Henderson namespace {
25a3acf99eSJames Henderson struct CommonFixture {
26a3acf99eSJames Henderson   CommonFixture()
27004b729eSJames Henderson       : LineData("", true, 0), Recoverable(Error::success()),
28004b729eSJames Henderson         RecordRecoverable(std::bind(&CommonFixture::recordRecoverable, this,
29a3acf99eSJames Henderson                                     std::placeholders::_1)),
30004b729eSJames Henderson         Unrecoverable(Error::success()),
31004b729eSJames Henderson         RecordUnrecoverable(std::bind(&CommonFixture::recordUnrecoverable, this,
32a3acf99eSJames Henderson                                       std::placeholders::_1)){};
3366702629SJames Henderson 
34004b729eSJames Henderson   ~CommonFixture() {
35004b729eSJames Henderson     EXPECT_FALSE(Recoverable);
36004b729eSJames Henderson     EXPECT_FALSE(Unrecoverable);
37004b729eSJames Henderson   }
38a3acf99eSJames Henderson 
3907804f75SJames Henderson   bool setupGenerator(uint16_t Version = 4, uint8_t AddrSize = 8) {
4007804f75SJames Henderson     AddressSize = AddrSize;
4107804f75SJames Henderson     Triple T =
4207804f75SJames Henderson         getDefaultTargetTripleForAddrSize(AddressSize == 0 ? 8 : AddressSize);
4366702629SJames Henderson     if (!isConfigurationSupported(T))
4466702629SJames Henderson       return false;
45a3acf99eSJames Henderson     auto ExpectedGenerator = Generator::create(T, Version);
4666702629SJames Henderson     if (ExpectedGenerator)
47a3acf99eSJames Henderson       Gen.reset(ExpectedGenerator->release());
4866702629SJames Henderson     return true;
4966702629SJames Henderson   }
5066702629SJames Henderson 
51a3acf99eSJames Henderson   void generate() {
52a3acf99eSJames Henderson     Context = createContext();
53a3acf99eSJames Henderson     assert(Context != nullptr && "test state is not valid");
54a3acf99eSJames Henderson     const DWARFObject &Obj = Context->getDWARFObj();
5507804f75SJames Henderson     uint8_t TargetAddrSize = AddressSize == 0 ? 8 : AddressSize;
56552fda83SJason Liu     LineData = DWARFDataExtractor(
57552fda83SJason Liu         Obj, Obj.getLineSection(),
5807804f75SJames Henderson         getDefaultTargetTripleForAddrSize(TargetAddrSize).isLittleEndian(),
5907804f75SJames Henderson         AddressSize);
60a3acf99eSJames Henderson   }
61a3acf99eSJames Henderson 
6266702629SJames Henderson   std::unique_ptr<DWARFContext> createContext() {
63a3acf99eSJames Henderson     if (!Gen)
6466702629SJames Henderson       return nullptr;
65a3acf99eSJames Henderson     StringRef FileBytes = Gen->generate();
6666702629SJames Henderson     MemoryBufferRef FileBuffer(FileBytes, "dwarf");
6766702629SJames Henderson     auto Obj = object::ObjectFile::createObjectFile(FileBuffer);
6866702629SJames Henderson     if (Obj)
6966702629SJames Henderson       return DWARFContext::create(**Obj);
7066702629SJames Henderson     return nullptr;
7166702629SJames Henderson   }
7266702629SJames Henderson 
73a3acf99eSJames Henderson   DWARFDebugLine::SectionParser setupParser() {
74a3acf99eSJames Henderson     LineTable &LT = Gen->addLineTable(DWARF32);
75a3acf99eSJames Henderson     LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}});
76a3acf99eSJames Henderson     LT.addStandardOpcode(DW_LNS_copy, {});
77a3acf99eSJames Henderson     LT.addByte(0xaa);
78a3acf99eSJames Henderson     LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
79a3acf99eSJames Henderson 
80a3acf99eSJames Henderson     LineTable &LT2 = Gen->addLineTable(DWARF64);
81a3acf99eSJames Henderson     LT2.addExtendedOpcode(9, DW_LNE_set_address,
82a3acf99eSJames Henderson                           {{0x11223344, LineTable::Quad}});
83a3acf99eSJames Henderson     LT2.addStandardOpcode(DW_LNS_copy, {});
84a3acf99eSJames Henderson     LT2.addByte(0xbb);
85a3acf99eSJames Henderson     LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
86a3acf99eSJames Henderson 
87a3acf99eSJames Henderson     generate();
88a3acf99eSJames Henderson 
89a3acf99eSJames Henderson     return DWARFDebugLine::SectionParser(LineData, *Context, CUs, TUs);
90a3acf99eSJames Henderson   }
91a3acf99eSJames Henderson 
92004b729eSJames Henderson   void recordRecoverable(Error Err) {
93004b729eSJames Henderson     Recoverable = joinErrors(std::move(Recoverable), std::move(Err));
94004b729eSJames Henderson   }
95004b729eSJames Henderson   void recordUnrecoverable(Error Err) {
96004b729eSJames Henderson     Unrecoverable = joinErrors(std::move(Unrecoverable), std::move(Err));
97a3acf99eSJames Henderson   }
98a3acf99eSJames Henderson 
99*9b23024cSPavel Labath   Expected<const DWARFDebugLine::LineTable *>
100*9b23024cSPavel Labath   getOrParseLineTableFatalErrors(uint64_t Offset = 0) {
101a3acf99eSJames Henderson     auto ExpectedLineTable = Line.getOrParseLineTable(
102004b729eSJames Henderson         LineData, Offset, *Context, nullptr, RecordRecoverable);
103*9b23024cSPavel Labath     EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded());
104*9b23024cSPavel Labath     return ExpectedLineTable;
1050e7ba06eSJonas Devlieghere   }
1060e7ba06eSJonas Devlieghere 
10707804f75SJames Henderson   uint8_t AddressSize;
108a3acf99eSJames Henderson   std::unique_ptr<Generator> Gen;
109a3acf99eSJames Henderson   std::unique_ptr<DWARFContext> Context;
110a3acf99eSJames Henderson   DWARFDataExtractor LineData;
111a3acf99eSJames Henderson   DWARFDebugLine Line;
112004b729eSJames Henderson   Error Recoverable;
113004b729eSJames Henderson   std::function<void(Error)> RecordRecoverable;
114004b729eSJames Henderson   Error Unrecoverable;
115004b729eSJames Henderson   std::function<void(Error)> RecordUnrecoverable;
116a3acf99eSJames Henderson 
117143eaeabSPaul Robinson   SmallVector<std::unique_ptr<DWARFUnit>, 2> CUs;
1187f330944SPaul Robinson   SmallVector<std::unique_ptr<DWARFUnit>, 2> TUs;
11966702629SJames Henderson };
12066702629SJames Henderson 
121a3acf99eSJames Henderson // Fixtures must derive from "Test", but parameterised fixtures from
122a3acf99eSJames Henderson // "TestWithParam". It does not seem possible to inherit from both, so we share
123a3acf99eSJames Henderson // the common state in a separate class, inherited by the two fixture classes.
124a3acf99eSJames Henderson struct DebugLineBasicFixture : public Test, public CommonFixture {};
125a3acf99eSJames Henderson 
126a3acf99eSJames Henderson struct DebugLineParameterisedFixture
127a3acf99eSJames Henderson     : public TestWithParam<std::pair<uint16_t, DwarfFormat>>,
128a3acf99eSJames Henderson       public CommonFixture {
129a3acf99eSJames Henderson   void SetUp() { std::tie(Version, Format) = GetParam(); }
130a3acf99eSJames Henderson 
131a3acf99eSJames Henderson   uint16_t Version;
132a3acf99eSJames Henderson   DwarfFormat Format;
133a3acf99eSJames Henderson };
134a3acf99eSJames Henderson 
135a3acf99eSJames Henderson void checkDefaultPrologue(uint16_t Version, DwarfFormat Format,
136a3acf99eSJames Henderson                           DWARFDebugLine::Prologue Prologue,
137a3acf99eSJames Henderson                           uint64_t BodyLength) {
138a3acf99eSJames Henderson   // Check version specific fields and values.
139a3acf99eSJames Henderson   uint64_t UnitLength;
140a3acf99eSJames Henderson   uint64_t PrologueLength;
141a3acf99eSJames Henderson   switch (Version) {
142a3acf99eSJames Henderson   case 4:
143a3acf99eSJames Henderson     PrologueLength = 36;
144a3acf99eSJames Henderson     UnitLength = PrologueLength + 2;
14511a9de74SJames Henderson     EXPECT_EQ(Prologue.MaxOpsPerInst, 1u);
146a3acf99eSJames Henderson     break;
147a3acf99eSJames Henderson   case 2:
148a3acf99eSJames Henderson   case 3:
149a3acf99eSJames Henderson     PrologueLength = 35;
150a3acf99eSJames Henderson     UnitLength = PrologueLength + 2;
151a3acf99eSJames Henderson     break;
152a3acf99eSJames Henderson   case 5:
1530bd48c3dSSterling Augustine     PrologueLength = 42;
154a3acf99eSJames Henderson     UnitLength = PrologueLength + 4;
15511a9de74SJames Henderson     EXPECT_EQ(Prologue.getAddressSize(), 8u);
15611a9de74SJames Henderson     EXPECT_EQ(Prologue.SegSelectorSize, 0u);
157a3acf99eSJames Henderson     break;
158a3acf99eSJames Henderson   default:
159a3acf99eSJames Henderson     llvm_unreachable("unsupported DWARF version");
160a3acf99eSJames Henderson   }
161a3acf99eSJames Henderson   UnitLength += BodyLength + (Format == DWARF32 ? 4 : 8);
162a3acf99eSJames Henderson 
163a3acf99eSJames Henderson   EXPECT_EQ(Prologue.TotalLength, UnitLength);
164a3acf99eSJames Henderson   EXPECT_EQ(Prologue.PrologueLength, PrologueLength);
16511a9de74SJames Henderson   EXPECT_EQ(Prologue.MinInstLength, 1u);
16611a9de74SJames Henderson   EXPECT_EQ(Prologue.DefaultIsStmt, 1u);
167a3acf99eSJames Henderson   EXPECT_EQ(Prologue.LineBase, -5);
16811a9de74SJames Henderson   EXPECT_EQ(Prologue.LineRange, 14u);
16911a9de74SJames Henderson   EXPECT_EQ(Prologue.OpcodeBase, 13u);
170a3acf99eSJames Henderson   std::vector<uint8_t> ExpectedLengths = {0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1};
171a3acf99eSJames Henderson   EXPECT_EQ(Prologue.StandardOpcodeLengths, ExpectedLengths);
17211a9de74SJames Henderson   ASSERT_EQ(Prologue.IncludeDirectories.size(), 1u);
173a3acf99eSJames Henderson   ASSERT_EQ(Prologue.IncludeDirectories[0].getForm(), DW_FORM_string);
174a3acf99eSJames Henderson   EXPECT_STREQ(*Prologue.IncludeDirectories[0].getAsCString(), "a dir");
17511a9de74SJames Henderson   ASSERT_EQ(Prologue.FileNames.size(), 1u);
176a3acf99eSJames Henderson   ASSERT_EQ(Prologue.FileNames[0].Name.getForm(), DW_FORM_string);
1770bd48c3dSSterling Augustine   ASSERT_EQ(Prologue.FileNames[0].DirIdx, 0u);
178a3acf99eSJames Henderson   EXPECT_STREQ(*Prologue.FileNames[0].Name.getAsCString(), "a file");
179a3acf99eSJames Henderson }
180a3acf99eSJames Henderson 
181a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, GetOrParseLineTableAtInvalidOffset) {
182a3acf99eSJames Henderson   if (!setupGenerator())
183a3acf99eSJames Henderson     return;
184a3acf99eSJames Henderson   generate();
185a3acf99eSJames Henderson 
186*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
187*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(0),
188*9b23024cSPavel Labath       FailedWithMessage(
189*9b23024cSPavel Labath           "offset 0x00000000 is not a valid debug line section offset"));
190a3acf99eSJames Henderson   // Repeat to show that an error is reported each time.
191*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
192*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(0),
193*9b23024cSPavel Labath       FailedWithMessage(
194*9b23024cSPavel Labath           "offset 0x00000000 is not a valid debug line section offset"));
195*9b23024cSPavel Labath 
196a3acf99eSJames Henderson   // Show that an error is reported for later offsets too.
197*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
198*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(1),
199*9b23024cSPavel Labath       FailedWithMessage(
200*9b23024cSPavel Labath           "offset 0x00000001 is not a valid debug line section offset"));
201a3acf99eSJames Henderson }
202a3acf99eSJames Henderson 
203a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, GetOrParseLineTableAtInvalidOffsetAfterData) {
204a3acf99eSJames Henderson   if (!setupGenerator())
20566702629SJames Henderson     return;
20666702629SJames Henderson 
207a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
208a3acf99eSJames Henderson   LT.setCustomPrologue({{0, LineTable::Byte}});
20966702629SJames Henderson 
210a3acf99eSJames Henderson   generate();
211a3acf99eSJames Henderson 
212*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
213*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(1),
214*9b23024cSPavel Labath       FailedWithMessage(
215*9b23024cSPavel Labath           "offset 0x00000001 is not a valid debug line section offset"));
216a3acf99eSJames Henderson }
217a3acf99eSJames Henderson 
218021f5317SJames Henderson TEST_P(DebugLineParameterisedFixture, PrologueGetLength) {
219021f5317SJames Henderson   if (!setupGenerator(Version))
220021f5317SJames Henderson     return;
221021f5317SJames Henderson   LineTable &LT = Gen->addLineTable(Format);
222021f5317SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
223021f5317SJames Henderson   LT.setPrologue(Prologue);
224021f5317SJames Henderson   generate();
225021f5317SJames Henderson 
226021f5317SJames Henderson   // + 10 for sizes of DWARF-32 unit length, version, prologue length.
227021f5317SJames Henderson   uint64_t ExpectedLength = Prologue.PrologueLength + 10;
228021f5317SJames Henderson   if (Version == 5)
229021f5317SJames Henderson     // Add address and segment selector size fields.
230021f5317SJames Henderson     ExpectedLength += 2;
231021f5317SJames Henderson   if (Format == DWARF64)
232021f5317SJames Henderson     // Unit length grows by 8, prologue length by 4.
233021f5317SJames Henderson     ExpectedLength += 12;
234021f5317SJames Henderson 
235021f5317SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
236021f5317SJames Henderson                                                     nullptr, RecordRecoverable);
237021f5317SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
238021f5317SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Prologue.getLength(), ExpectedLength);
239021f5317SJames Henderson }
240021f5317SJames Henderson 
241a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, GetOrParseLineTableValidTable) {
242a3acf99eSJames Henderson   if (!setupGenerator(Version))
243a3acf99eSJames Henderson     return;
244a3acf99eSJames Henderson 
245a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
246a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
247a3acf99eSJames Henderson 
248a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
249a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}});
250a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
251a3acf99eSJames Henderson   LT.addByte(0xaa);
252a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
253a3acf99eSJames Henderson 
254a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(Format);
255a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x11223344, LineTable::Quad}});
256a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
257a3acf99eSJames Henderson   LT2.addByte(0xbb);
258a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
259a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x55667788, LineTable::Quad}});
260a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
261a3acf99eSJames Henderson   LT2.addByte(0xcc);
262a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
263a3acf99eSJames Henderson 
264a3acf99eSJames Henderson   generate();
265a3acf99eSJames Henderson 
266004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
267004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
268a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable.operator bool());
269004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
270a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected = *ExpectedLineTable;
271a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected->Prologue, 16);
272a68aee07SRoman Lebedev   EXPECT_EQ(Expected->Sequences.size(), 1u);
273a3acf99eSJames Henderson 
274a3acf99eSJames Henderson   uint64_t SecondOffset =
275a3acf99eSJames Henderson       Expected->Prologue.sizeofTotalLength() + Expected->Prologue.TotalLength;
276004b729eSJames Henderson   Recoverable = Error::success();
277a3acf99eSJames Henderson   auto ExpectedLineTable2 = Line.getOrParseLineTable(
278004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
279a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable2.operator bool());
280004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
281a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected2 = *ExpectedLineTable2;
282a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected2->Prologue, 32);
28311a9de74SJames Henderson   EXPECT_EQ(Expected2->Sequences.size(), 2u);
284a3acf99eSJames Henderson 
285a3acf99eSJames Henderson   EXPECT_NE(Expected, Expected2);
286a3acf99eSJames Henderson 
287a3acf99eSJames Henderson   // Check that if the same offset is requested, the exact same pointer is
288a3acf99eSJames Henderson   // returned.
289004b729eSJames Henderson   Recoverable = Error::success();
290004b729eSJames Henderson   auto ExpectedLineTable3 = Line.getOrParseLineTable(
291004b729eSJames Henderson       LineData, 0, *Context, nullptr, RecordRecoverable);
292a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable3.operator bool());
293004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
294a3acf99eSJames Henderson   EXPECT_EQ(Expected, *ExpectedLineTable3);
295a3acf99eSJames Henderson 
296004b729eSJames Henderson   Recoverable = Error::success();
297a3acf99eSJames Henderson   auto ExpectedLineTable4 = Line.getOrParseLineTable(
298004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
299a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable4.operator bool());
300004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
301a3acf99eSJames Henderson   EXPECT_EQ(Expected2, *ExpectedLineTable4);
302a3acf99eSJames Henderson 
303a3acf99eSJames Henderson   // TODO: Add tests that show that the body of the programs have been read
304a3acf99eSJames Henderson   // correctly.
305a3acf99eSJames Henderson }
306a3acf99eSJames Henderson 
307a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForReservedLength) {
308a3acf99eSJames Henderson   if (!setupGenerator())
309a3acf99eSJames Henderson     return;
310a3acf99eSJames Henderson 
311a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
312f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
313a3acf99eSJames Henderson 
314a3acf99eSJames Henderson   generate();
315a3acf99eSJames Henderson 
316*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
317*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(),
318*9b23024cSPavel Labath       FailedWithMessage(
319*9b23024cSPavel Labath           "parsing line table prologue at offset 0x00000000 unsupported "
320*9b23024cSPavel Labath           "reserved unit length found of value 0xfffffff0"));
321a3acf99eSJames Henderson }
322a3acf99eSJames Henderson 
3231da62b51SJames Henderson struct DebugLineUnsupportedVersionFixture : public TestWithParam<uint16_t>,
3241da62b51SJames Henderson                                             public CommonFixture {
3251da62b51SJames Henderson   void SetUp() { Version = GetParam(); }
3261da62b51SJames Henderson 
3271da62b51SJames Henderson   uint16_t Version;
3281da62b51SJames Henderson };
3291da62b51SJames Henderson 
3301da62b51SJames Henderson TEST_P(DebugLineUnsupportedVersionFixture, ErrorForUnsupportedVersion) {
331a3acf99eSJames Henderson   if (!setupGenerator())
332a3acf99eSJames Henderson     return;
333a3acf99eSJames Henderson 
334a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
335a3acf99eSJames Henderson   LT.setCustomPrologue(
3361da62b51SJames Henderson       {{LineTable::Half, LineTable::Long}, {Version, LineTable::Half}});
337b1c7bfe6SJames Henderson 
338b1c7bfe6SJames Henderson   generate();
339b1c7bfe6SJames Henderson 
340*9b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
341*9b23024cSPavel Labath       getOrParseLineTableFatalErrors(),
342*9b23024cSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000 "
343*9b23024cSPavel Labath                         "found unsupported version " +
344*9b23024cSPavel Labath                         std::to_string(Version)));
345b1c7bfe6SJames Henderson }
346b1c7bfe6SJames Henderson 
3471da62b51SJames Henderson INSTANTIATE_TEST_CASE_P(UnsupportedVersionTestParams,
3481da62b51SJames Henderson                         DebugLineUnsupportedVersionFixture,
3491da62b51SJames Henderson                         Values(/*1 below min */ 1, /* 1 above max */ 6,
3501da62b51SJames Henderson                                /* Maximum possible */ 0xffff), );
3511da62b51SJames Henderson 
352a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForInvalidV5IncludeDirTable) {
353a3acf99eSJames Henderson   if (!setupGenerator(5))
354a3acf99eSJames Henderson     return;
355a3acf99eSJames Henderson 
356a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
357a3acf99eSJames Henderson   LT.setCustomPrologue({
358a3acf99eSJames Henderson       {19, LineTable::Long}, // unit length
359a3acf99eSJames Henderson       {5, LineTable::Half},  // version
360a3acf99eSJames Henderson       {8, LineTable::Byte},  // addr size
361a3acf99eSJames Henderson       {0, LineTable::Byte},  // segment selector size
362a3acf99eSJames Henderson       {11, LineTable::Long}, // prologue length
363a3acf99eSJames Henderson       {1, LineTable::Byte},  // min instruction length
364a3acf99eSJames Henderson       {1, LineTable::Byte},  // max ops per instruction
365a3acf99eSJames Henderson       {1, LineTable::Byte},  // default is_stmt
366a3acf99eSJames Henderson       {0, LineTable::Byte},  // line base
367a3acf99eSJames Henderson       {14, LineTable::Byte}, // line range
368a3acf99eSJames Henderson       {2, LineTable::Byte},  // opcode base (small to reduce the amount of
369a3acf99eSJames Henderson                              // setup required).
370a3acf99eSJames Henderson       {0, LineTable::Byte},  // standard opcode lengths
371a3acf99eSJames Henderson       {0, LineTable::Byte},  // directory entry format count (should not be
372a3acf99eSJames Henderson                              // zero).
373a3acf99eSJames Henderson       {0, LineTable::ULEB},  // directories count
374a3acf99eSJames Henderson       {0, LineTable::Byte},  // file name entry format count
375a3acf99eSJames Henderson       {0, LineTable::ULEB}   // file name entry count
376a3acf99eSJames Henderson   });
377a3acf99eSJames Henderson 
378a3acf99eSJames Henderson   generate();
379a3acf99eSJames Henderson 
3807116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
3817116e431SJames Henderson                                                     nullptr, RecordRecoverable);
3827116e431SJames Henderson   EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
3837116e431SJames Henderson 
384*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
385*9b23024cSPavel Labath       std::move(Recoverable),
386*9b23024cSPavel Labath       FailedWithMessage(
387*9b23024cSPavel Labath           "parsing line table prologue at 0x00000000 found an invalid "
388*9b23024cSPavel Labath           "directory or file table description at 0x00000014",
389*9b23024cSPavel Labath           "failed to parse entry content descriptions because no path was "
390*9b23024cSPavel Labath           "found"));
391a3acf99eSJames Henderson }
392a3acf99eSJames Henderson 
393a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) {
394a3acf99eSJames Henderson   if (!setupGenerator(Version))
395a3acf99eSJames Henderson     return;
396a3acf99eSJames Henderson 
397a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
398a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
399a3acf99eSJames Henderson 
400a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
401a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
402a3acf99eSJames Henderson   ++Prologue.PrologueLength;
403a3acf99eSJames Henderson   LT.setPrologue(Prologue);
404a3acf99eSJames Henderson 
405a3acf99eSJames Henderson   generate();
406a3acf99eSJames Henderson 
4077116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4087116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4097116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4107116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4117116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4127116e431SJames Henderson   // "default" prologue.
4137116e431SJames Henderson   --Result.Prologue.PrologueLength;
4147116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4157116e431SJames Henderson 
416a3acf99eSJames Henderson   uint64_t ExpectedEnd =
417a3acf99eSJames Henderson       Prologue.TotalLength + 1 + Prologue.sizeofTotalLength();
418*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
419*9b23024cSPavel Labath       std::move(Recoverable),
420*9b23024cSPavel Labath       FailedWithMessage(("parsing line table prologue at 0x00000000 should "
421*9b23024cSPavel Labath                          "have ended at 0x000000" +
422*9b23024cSPavel Labath                          Twine::utohexstr(ExpectedEnd) +
423*9b23024cSPavel Labath                          " but it ended at 0x000000" +
424a3acf99eSJames Henderson                          Twine::utohexstr(ExpectedEnd - 1))
425*9b23024cSPavel Labath                             .str()));
426a3acf99eSJames Henderson }
427a3acf99eSJames Henderson 
428a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) {
429a3acf99eSJames Henderson   if (!setupGenerator(Version))
430a3acf99eSJames Henderson     return;
431a3acf99eSJames Henderson 
432a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
433a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
434a3acf99eSJames Henderson 
435a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
436a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
437a3acf99eSJames Henderson   Prologue.PrologueLength -= 2;
438a3acf99eSJames Henderson   LT.setPrologue(Prologue);
439a3acf99eSJames Henderson 
440a3acf99eSJames Henderson   generate();
441a3acf99eSJames Henderson 
4427116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4437116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4447116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4457116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4467116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4477116e431SJames Henderson   // "default" prologue.
4487116e431SJames Henderson   Result.Prologue.PrologueLength += 2;
4497116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4507116e431SJames Henderson 
451a3acf99eSJames Henderson   uint64_t ExpectedEnd =
452bf4d8f29SJames Henderson       Prologue.TotalLength - 2 + Prologue.sizeofTotalLength();
453bf4d8f29SJames Henderson   std::vector<std::string> Errs;
454bf4d8f29SJames Henderson   // Parsing of a DWARFv2-4 file table stops at the end of an entry once the
455bf4d8f29SJames Henderson   // prologue end has been reached, whether or not the trailing null terminator
456bf4d8f29SJames Henderson   // has been found. As such, the expected error message will be slightly
457bf4d8f29SJames Henderson   // different.
458bf4d8f29SJames Henderson   uint64_t ActualEnd = Version == 5 ? ExpectedEnd + 2 : ExpectedEnd + 1;
459bf4d8f29SJames Henderson   if (Version != 5) {
460bf4d8f29SJames Henderson     Errs.emplace_back(
461bf4d8f29SJames Henderson         (Twine("parsing line table prologue at 0x00000000 found an invalid "
462bf4d8f29SJames Henderson                "directory or file table description at 0x000000") +
463bf4d8f29SJames Henderson          Twine::utohexstr(ActualEnd))
464bf4d8f29SJames Henderson             .str());
465bf4d8f29SJames Henderson     Errs.emplace_back("file names table was not null terminated before the end "
466bf4d8f29SJames Henderson                       "of the prologue");
467bf4d8f29SJames Henderson   }
468bf4d8f29SJames Henderson   Errs.emplace_back(
469a3acf99eSJames Henderson       (Twine("parsing line table prologue at 0x00000000 should have ended at "
470a3acf99eSJames Henderson              "0x000000") +
471a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" +
472bf4d8f29SJames Henderson        Twine::utohexstr(ActualEnd))
473bf4d8f29SJames Henderson           .str());
474*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
475*9b23024cSPavel Labath                     FailedWithMessageArray(testing::ElementsAreArray(Errs)));
476a3acf99eSJames Henderson }
477a3acf99eSJames Henderson 
478a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P(
479a3acf99eSJames Henderson     LineTableTestParams, DebugLineParameterisedFixture,
480a3acf99eSJames Henderson     Values(std::make_pair(
481a3acf99eSJames Henderson                2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32.
482a3acf99eSJames Henderson            std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields.
483a3acf99eSJames Henderson            std::make_pair(4, DWARF64), // Test v4 fields and DWARF64.
484a3acf99eSJames Henderson            std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), );
485a3acf99eSJames Henderson 
486f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthSmallerThanExpected) {
487a3acf99eSJames Henderson   if (!setupGenerator())
488a3acf99eSJames Henderson     return;
489a3acf99eSJames Henderson 
490a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
491f1be770fSJames Henderson   LT.addByte(0xaa);
492f1be770fSJames Henderson   // The Length should be 1 + sizeof(ULEB) for a set discriminator opcode.
493f1be770fSJames Henderson   // The operand will be read for both the discriminator opcode and then parsed
494f1be770fSJames Henderson   // again as DW_LNS_negate_stmt, to respect the claimed length.
495f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_set_discriminator,
496f1be770fSJames Henderson                        {{DW_LNS_negate_stmt, LineTable::ULEB}});
497f1be770fSJames Henderson   LT.addByte(0xbb);
498f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
499f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
500a3acf99eSJames Henderson 
501a3acf99eSJames Henderson   generate();
502a3acf99eSJames Henderson 
503f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
504f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
505*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
506*9b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
507*9b23024cSPavel Labath                                       "0x00000031 expected 0x01 found 0x02"));
508f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
509f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
510f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
511f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].IsStmt, 0u);
512f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Discriminator, DW_LNS_negate_stmt);
513f1be770fSJames Henderson }
514f1be770fSJames Henderson 
515f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthLargerThanExpected) {
516f1be770fSJames Henderson   if (!setupGenerator())
517f1be770fSJames Henderson     return;
518f1be770fSJames Henderson 
519f1be770fSJames Henderson   LineTable &LT = Gen->addLineTable();
520f1be770fSJames Henderson   LT.addByte(0xaa);
521f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
522f1be770fSJames Henderson   // The Length should be 1 for an end sequence opcode.
523f1be770fSJames Henderson   LT.addExtendedOpcode(2, DW_LNE_end_sequence, {});
524f1be770fSJames Henderson   // The negate statement opcode will be skipped.
525f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
526f1be770fSJames Henderson   LT.addByte(0xbb);
527f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
528f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
529f1be770fSJames Henderson 
530f1be770fSJames Henderson   generate();
531f1be770fSJames Henderson 
532f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
533f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
534*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
535*9b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
536*9b23024cSPavel Labath                                       "0x00000032 expected 0x02 found 0x01"));
537f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
538f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 4u);
539f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 2u);
540f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Sequences[1].FirstRowIndex, 2u);
541f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[2].IsStmt, 1u);
542a3acf99eSJames Henderson }
543a3acf99eSJames Henderson 
544216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) {
545216796f2SJames Henderson   if (!setupGenerator())
546216796f2SJames Henderson     return;
547216796f2SJames Henderson 
548216796f2SJames Henderson   LineTable &Padding = Gen->addLineTable();
549216796f2SJames Henderson   // Add some padding to show that a non-zero offset is handled correctly.
550216796f2SJames Henderson   Padding.setCustomPrologue({{0, LineTable::Byte}});
551216796f2SJames Henderson   LineTable &LT = Gen->addLineTable();
552216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
553216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
554216796f2SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
555216796f2SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
5561271cde4SJames Henderson   // Set the total length to 1 higher than the actual length.
5571271cde4SJames Henderson   ++Prologue.TotalLength;
558216796f2SJames Henderson   LT.setPrologue(Prologue);
559216796f2SJames Henderson 
560216796f2SJames Henderson   generate();
561216796f2SJames Henderson 
562216796f2SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context,
563216796f2SJames Henderson                                                     nullptr, RecordRecoverable);
564*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
565*9b23024cSPavel Labath       std::move(Recoverable),
566*9b23024cSPavel Labath       FailedWithMessage("line table program with offset 0x00000001 has length "
567*9b23024cSPavel Labath                         "0x00000034 but only 0x00000033 bytes are available"));
568216796f2SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
569216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
570216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
571216796f2SJames Henderson }
572216796f2SJames Henderson 
573a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) {
57407804f75SJames Henderson   if (!setupGenerator(4, 8))
575a3acf99eSJames Henderson     return;
576a3acf99eSJames Henderson 
577a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
578a3acf99eSJames Henderson   // The line data extractor expects size 8 (Quad) addresses.
57907804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
58007804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
581a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
58207804f75SJames Henderson   // Show that the expected address size is unchanged, so later valid lines
58307804f75SJames Henderson   // don't cause a problem.
58407804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
58507804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
586a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
587a3acf99eSJames Henderson 
588a3acf99eSJames Henderson   generate();
589a3acf99eSJames Henderson 
59007804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
59107804f75SJames Henderson                                                     nullptr, RecordRecoverable);
592*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
593*9b23024cSPavel Labath                     FailedWithMessage("mismatching address size at offset "
594*9b23024cSPavel Labath                                       "0x00000030 expected 0x08 found 0x04"));
59507804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
59607804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
59707804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
59807804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
59907804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
60007804f75SJames Henderson }
60107804f75SJames Henderson 
60207804f75SJames Henderson TEST_F(DebugLineBasicFixture,
60307804f75SJames Henderson        ErrorForMismatchedAddressSizeUnsetInitialAddress) {
60407804f75SJames Henderson   if (!setupGenerator(4, 0))
60507804f75SJames Henderson     return;
60607804f75SJames Henderson 
60707804f75SJames Henderson   LineTable &LT = Gen->addLineTable();
60807804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
60907804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
61007804f75SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
61107804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
61207804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
61307804f75SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
61407804f75SJames Henderson 
61507804f75SJames Henderson   generate();
61607804f75SJames Henderson 
61707804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
61807804f75SJames Henderson                                                     nullptr, RecordRecoverable);
619*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
620*9b23024cSPavel Labath                     FailedWithMessage("mismatching address size at offset "
621*9b23024cSPavel Labath                                       "0x00000038 expected 0x04 found 0x08"));
62207804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
62307804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
62407804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
62507804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
62607804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
627a3acf99eSJames Henderson }
628a3acf99eSJames Henderson 
629fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture,
630fe6983a7SJames Henderson        ErrorForUnsupportedAddressSizeInSetAddressLength) {
631fe6983a7SJames Henderson   // Use DWARF v4, and 0 for data extractor address size so that the address
632fe6983a7SJames Henderson   // size is derived from the opcode length.
633fe6983a7SJames Henderson   if (!setupGenerator(4, 0))
634fe6983a7SJames Henderson     return;
635fe6983a7SJames Henderson 
636fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
637fe6983a7SJames Henderson   // 4 == length of the extended opcode, i.e. 1 for the opcode itself and 3 for
638fe6983a7SJames Henderson   // the Half (2) + Byte (1) operand, representing the unsupported address size.
639fe6983a7SJames Henderson   LT.addExtendedOpcode(4, DW_LNE_set_address,
640fe6983a7SJames Henderson                        {{0x1234, LineTable::Half}, {0x56, LineTable::Byte}});
641fe6983a7SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
642fe6983a7SJames Henderson   // Special opcode to ensure the address has changed between the first and last
643fe6983a7SJames Henderson   // row in the sequence. Without this, the sequence will not be recorded.
644fe6983a7SJames Henderson   LT.addByte(0xaa);
645fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
646fe6983a7SJames Henderson 
647fe6983a7SJames Henderson   generate();
648fe6983a7SJames Henderson 
649fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
650fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
651*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
652*9b23024cSPavel Labath       std::move(Recoverable),
653*9b23024cSPavel Labath       FailedWithMessage("address size 0x03 of DW_LNE_set_address opcode at "
654*9b23024cSPavel Labath                         "offset 0x00000030 is unsupported"));
655fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
656fe6983a7SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
657fe6983a7SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
658fe6983a7SJames Henderson   // Show that the set address opcode is ignored in this case.
659a55dec7dSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u);
660fe6983a7SJames Henderson }
661fe6983a7SJames Henderson 
662fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForAddressSizeGreaterThanByteSize) {
663fe6983a7SJames Henderson   // Use DWARF v4, and 0 for data extractor address size so that the address
664fe6983a7SJames Henderson   // size is derived from the opcode length.
665fe6983a7SJames Henderson   if (!setupGenerator(4, 0))
666fe6983a7SJames Henderson     return;
667fe6983a7SJames Henderson 
668fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
669fe6983a7SJames Henderson   // Specifically use an operand size that has a trailing byte of a supported
670fe6983a7SJames Henderson   // size (8), so that any potential truncation would result in a valid size.
671fe6983a7SJames Henderson   std::vector<LineTable::ValueAndLength> Operands(0x108);
672fe6983a7SJames Henderson   LT.addExtendedOpcode(Operands.size() + 1, DW_LNE_set_address, Operands);
673fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
674fe6983a7SJames Henderson 
675fe6983a7SJames Henderson   generate();
676fe6983a7SJames Henderson 
677fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
678fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
679*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
680*9b23024cSPavel Labath       std::move(Recoverable),
681*9b23024cSPavel Labath       FailedWithMessage("address size 0x108 of DW_LNE_set_address opcode at "
682*9b23024cSPavel Labath                         "offset 0x00000031 is unsupported"));
683fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
684fe6983a7SJames Henderson }
685fe6983a7SJames Henderson 
686fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnsupportedAddressSizeDefinedInHeader) {
687fe6983a7SJames Henderson   // Use 0 for data extractor address size so that it does not clash with the
688fe6983a7SJames Henderson   // header address size.
689fe6983a7SJames Henderson   if (!setupGenerator(5, 0))
690fe6983a7SJames Henderson     return;
691fe6983a7SJames Henderson 
692fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
693fe6983a7SJames Henderson   // AddressSize + 1 == length of the extended opcode, i.e. 1 for the opcode
694fe6983a7SJames Henderson   // itself and 9 for the Quad (8) + Byte (1) operand representing the
695fe6983a7SJames Henderson   // unsupported address size.
696fe6983a7SJames Henderson   uint8_t AddressSize = 9;
697fe6983a7SJames Henderson   LT.addExtendedOpcode(AddressSize + 1, DW_LNE_set_address,
698fe6983a7SJames Henderson                        {{0x12345678, LineTable::Quad}, {0, LineTable::Byte}});
699fe6983a7SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
700fe6983a7SJames Henderson   // Special opcode to ensure the address has changed between the first and last
701fe6983a7SJames Henderson   // row in the sequence. Without this, the sequence will not be recorded.
702fe6983a7SJames Henderson   LT.addByte(0xaa);
703fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
704fe6983a7SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
705fe6983a7SJames Henderson   Prologue.FormParams.AddrSize = AddressSize;
706fe6983a7SJames Henderson   LT.setPrologue(Prologue);
707fe6983a7SJames Henderson 
708fe6983a7SJames Henderson   generate();
709fe6983a7SJames Henderson 
710fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
711fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
712*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
713*9b23024cSPavel Labath       std::move(Recoverable),
714*9b23024cSPavel Labath       FailedWithMessage("address size 0x09 of DW_LNE_set_address opcode at "
715*9b23024cSPavel Labath                         "offset 0x00000038 is unsupported"));
716fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
717fe6983a7SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
718fe6983a7SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
719fe6983a7SJames Henderson   // Show that the set address opcode is ignored in this case.
720a55dec7dSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u);
721fe6983a7SJames Henderson }
722fe6983a7SJames Henderson 
723a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) {
724a3acf99eSJames Henderson   if (!setupGenerator())
725a3acf99eSJames Henderson     return;
726a3acf99eSJames Henderson 
727a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
728a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
729a3acf99eSJames Henderson                        {{0x1122334455667788, LineTable::Quad}});
730a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
731a3acf99eSJames Henderson   LT.addByte(0xaa);
732a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
733a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
734a3acf99eSJames Henderson                        {{0x99aabbccddeeff00, LineTable::Quad}});
735a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
736a3acf99eSJames Henderson   LT.addByte(0xbb);
737a3acf99eSJames Henderson   LT.addByte(0xcc);
738a3acf99eSJames Henderson 
739a3acf99eSJames Henderson   generate();
740a3acf99eSJames Henderson 
741004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
742004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
743*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
744*9b23024cSPavel Labath                     FailedWithMessage("last sequence in debug line table at "
745*9b23024cSPavel Labath                                       "offset 0x00000000 is not terminated"));
746*9b23024cSPavel Labath   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
747a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u);
748a3acf99eSJames Henderson   // The unterminated sequence is not added to the sequence list.
749a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
750a3acf99eSJames Henderson }
751a3acf99eSJames Henderson 
752a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) {
753a3acf99eSJames Henderson   if (!setupGenerator())
754a3acf99eSJames Henderson     return;
755a3acf99eSJames Henderson 
756a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
757a3acf99eSJames Henderson 
75811a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
759a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
760a3acf99eSJames Henderson 
761004b729eSJames Henderson   DWARFDebugLine::LineTable Parsed =
762004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
763a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16);
76411a9de74SJames Henderson   EXPECT_EQ(Parsed.Sequences.size(), 1u);
76511a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
766a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
767a3acf99eSJames Henderson 
768a3acf99eSJames Henderson   DWARFDebugLine::LineTable Parsed2 =
769004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
770a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16);
77111a9de74SJames Henderson   EXPECT_EQ(Parsed2.Sequences.size(), 1u);
77211a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
773a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
774a3acf99eSJames Henderson 
775004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
776004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
777a3acf99eSJames Henderson }
778a3acf99eSJames Henderson 
779a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) {
780a3acf99eSJames Henderson   if (!setupGenerator())
781a3acf99eSJames Henderson     return;
782a3acf99eSJames Henderson 
783a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
784a3acf99eSJames Henderson 
78511a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
786a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
787a3acf99eSJames Henderson 
7887116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
78911a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
790a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
791a3acf99eSJames Henderson 
7927116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
79311a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
794a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
795a3acf99eSJames Henderson 
7967116e431SJames Henderson   EXPECT_FALSE(Recoverable);
797004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
798a3acf99eSJames Henderson }
799a3acf99eSJames Henderson 
800a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) {
801a3acf99eSJames Henderson   if (!setupGenerator())
802a3acf99eSJames Henderson     return;
803a3acf99eSJames Henderson 
804a3acf99eSJames Henderson   generate();
805a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
806a3acf99eSJames Henderson 
807a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
808a3acf99eSJames Henderson }
809a3acf99eSJames Henderson 
810a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenParsing) {
811a3acf99eSJames Henderson   if (!setupGenerator())
812a3acf99eSJames Henderson     return;
813a3acf99eSJames Henderson 
814a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
815f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
816a3acf99eSJames Henderson   Gen->addLineTable();
817a3acf99eSJames Henderson   generate();
818a3acf99eSJames Henderson 
819a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
820004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
821a3acf99eSJames Henderson 
82211a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 4u);
823a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
824004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
825a3acf99eSJames Henderson 
826*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
827*9b23024cSPavel Labath       std::move(Unrecoverable),
828*9b23024cSPavel Labath       FailedWithMessage(
829*9b23024cSPavel Labath           "parsing line table prologue at offset 0x00000000 unsupported "
830*9b23024cSPavel Labath           "reserved unit length found of value 0xfffffff0"));
831a3acf99eSJames Henderson }
832a3acf99eSJames Henderson 
833a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenSkipping) {
834a3acf99eSJames Henderson   if (!setupGenerator())
835a3acf99eSJames Henderson     return;
836a3acf99eSJames Henderson 
837a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
838f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
839a3acf99eSJames Henderson   Gen->addLineTable();
840a3acf99eSJames Henderson   generate();
841a3acf99eSJames Henderson 
842a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
8437116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
844a3acf99eSJames Henderson 
84511a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 4u);
846a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8477116e431SJames Henderson   EXPECT_FALSE(Recoverable);
848a3acf99eSJames Henderson 
849*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
850*9b23024cSPavel Labath       std::move(Unrecoverable),
851*9b23024cSPavel Labath       FailedWithMessage(
852*9b23024cSPavel Labath           "parsing line table prologue at offset 0x00000000 unsupported "
853*9b23024cSPavel Labath           "reserved unit length found of value 0xfffffff0"));
854a3acf99eSJames Henderson }
855a3acf99eSJames Henderson 
856a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) {
857a3acf99eSJames Henderson   if (!setupGenerator())
858a3acf99eSJames Henderson     return;
859a3acf99eSJames Henderson 
860a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
861a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
862a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
863a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
864a3acf99eSJames Henderson   generate();
865a3acf99eSJames Henderson 
866a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
867004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
868a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
869004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
870a3acf99eSJames Henderson 
871a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
872*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded());
873a3acf99eSJames Henderson 
874*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
875*9b23024cSPavel Labath       std::move(Unrecoverable),
876*9b23024cSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000 "
877*9b23024cSPavel Labath                         "found unsupported version 0",
878*9b23024cSPavel Labath                         "parsing line table prologue at offset 0x00000006 "
879*9b23024cSPavel Labath                         "found unsupported version 1"));
880a3acf99eSJames Henderson }
881a3acf99eSJames Henderson 
882a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) {
883a3acf99eSJames Henderson   if (!setupGenerator())
884a3acf99eSJames Henderson     return;
885a3acf99eSJames Henderson 
886a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
887a3acf99eSJames Henderson   LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {});
888a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
889a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address,
890a3acf99eSJames Henderson                         {{0x1234567890abcdef, LineTable::Quad}});
891a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
892a3acf99eSJames Henderson   LT2.addByte(0xbb);
893a3acf99eSJames Henderson   generate();
894a3acf99eSJames Henderson 
895a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
896004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
897f1be770fSJames Henderson   EXPECT_FALSE(Unrecoverable);
898a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
899*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
900*9b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
901*9b23024cSPavel Labath                                       "0x00000030 expected 0x42 found 0x01"));
902a3acf99eSJames Henderson 
903a3acf99eSJames Henderson   // Reset the error state so that it does not confuse the next set of checks.
904004b729eSJames Henderson   Unrecoverable = Error::success();
905004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
906a3acf99eSJames Henderson 
907a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
908*9b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
909*9b23024cSPavel Labath                     FailedWithMessage("last sequence in debug line table at "
910*9b23024cSPavel Labath                                       "offset 0x00000031 is not terminated"));
911004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
912a3acf99eSJames Henderson }
913a3acf99eSJames Henderson 
914a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture,
915a3acf99eSJames Henderson        ParserReportsPrologueErrorsInEachTableWhenSkipping) {
916a3acf99eSJames Henderson   if (!setupGenerator())
917a3acf99eSJames Henderson     return;
918a3acf99eSJames Henderson 
919a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
920a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
921a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
922a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
923a3acf99eSJames Henderson   generate();
924a3acf99eSJames Henderson 
925a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9267116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
927a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
9287116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
929a3acf99eSJames Henderson 
930a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
9317116e431SJames Henderson   EXPECT_FALSE(Recoverable);
932a3acf99eSJames Henderson 
933*9b23024cSPavel Labath   EXPECT_THAT_ERROR(
934*9b23024cSPavel Labath       std::move(Unrecoverable),
935*9b23024cSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000 "
936*9b23024cSPavel Labath                         "found unsupported version 0",
937*9b23024cSPavel Labath                         "parsing line table prologue at offset 0x00000006 "
938*9b23024cSPavel Labath                         "found unsupported version 1"));
939a3acf99eSJames Henderson }
940a3acf99eSJames Henderson 
941a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) {
942a3acf99eSJames Henderson   if (!setupGenerator())
943a3acf99eSJames Henderson     return;
944a3acf99eSJames Henderson 
945a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
946a3acf99eSJames Henderson   LT.addExtendedOpcode(42, DW_LNE_end_sequence, {});
947a3acf99eSJames Henderson   generate();
948a3acf99eSJames Henderson 
949a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9507116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
951a3acf99eSJames Henderson 
952a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
9537116e431SJames Henderson   EXPECT_FALSE(Recoverable);
954004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
95566702629SJames Henderson }
95666702629SJames Henderson 
9572f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) {
9582f815502SJames Henderson   if (!setupGenerator())
9592f815502SJames Henderson     return;
9602f815502SJames Henderson 
9612f815502SJames Henderson   using ValLen = dwarfgen::LineTable::ValueAndLength;
9622f815502SJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
9632f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
9642f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}});
9652f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}});
9662f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}});
9672f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}});
9682f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
9692f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_basic_block, {});
9702f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
9712f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}});
9722f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_prologue_end, {});
9732f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {});
9742f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}});
9752f815502SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
9762f815502SJames Henderson   generate();
9772f815502SJames Henderson 
9782f815502SJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9792f815502SJames Henderson   std::string Output;
9802f815502SJames Henderson   raw_string_ostream OS(Output);
9812f815502SJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS);
9822f815502SJames Henderson   OS.flush();
9832f815502SJames Henderson 
9842f815502SJames Henderson   EXPECT_FALSE(Recoverable);
9852f815502SJames Henderson   EXPECT_FALSE(Unrecoverable);
9862f815502SJames Henderson   auto InOutput = [&Output](char const *Str) {
9872f815502SJames Henderson     return Output.find(Str) != std::string::npos;
9882f815502SJames Henderson   };
9892f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output;
9902f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output;
9912f815502SJames Henderson   // FIXME: The value printed after DW_LNS_advance_line is currently the result
9922f815502SJames Henderson   // of the advance, but it should be the value being advanced by. See
9932f815502SJames Henderson   // https://bugs.llvm.org/show_bug.cgi?id=44261 for details.
9942f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output;
9952f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output;
9962f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output;
9972f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output;
9982f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output;
9992f815502SJames Henderson   EXPECT_TRUE(
10002f815502SJames Henderson       InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n"))
10012f815502SJames Henderson       << Output;
10022f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n"))
10032f815502SJames Henderson       << Output;
10042f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output;
10052f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output;
10062f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output;
10072f815502SJames Henderson }
10082f815502SJames Henderson 
1009417375d7SSterling Augustine TEST_F(DebugLineBasicFixture, PrintPathsProperly) {
1010417375d7SSterling Augustine   if (!setupGenerator(5))
1011417375d7SSterling Augustine     return;
1012417375d7SSterling Augustine 
1013417375d7SSterling Augustine   LineTable &LT = Gen->addLineTable();
1014417375d7SSterling Augustine   DWARFDebugLine::Prologue P = LT.createBasicPrologue();
1015417375d7SSterling Augustine   P.IncludeDirectories.push_back(
1016417375d7SSterling Augustine       DWARFFormValue::createFromPValue(DW_FORM_string, "b dir"));
1017417375d7SSterling Augustine   P.FileNames.push_back(DWARFDebugLine::FileNameEntry());
1018417375d7SSterling Augustine   P.FileNames.back().Name =
1019417375d7SSterling Augustine       DWARFFormValue::createFromPValue(DW_FORM_string, "b file");
1020417375d7SSterling Augustine   P.FileNames.back().DirIdx = 1;
1021417375d7SSterling Augustine   P.PrologueLength += 14;
1022417375d7SSterling Augustine   LT.setPrologue(P);
1023417375d7SSterling Augustine   generate();
1024417375d7SSterling Augustine 
1025417375d7SSterling Augustine   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
1026417375d7SSterling Augustine                                                     nullptr, RecordRecoverable);
1027417375d7SSterling Augustine   EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
1028417375d7SSterling Augustine   std::string Result;
1029417375d7SSterling Augustine   // DWARF 5 stores the compilation directory in two places: the Compilation
1030417375d7SSterling Augustine   // Unit and the directory table entry 0, and implementations are free to use
1031417375d7SSterling Augustine   // one or the other. This copy serves as the one stored in the CU.
1032417375d7SSterling Augustine   StringRef CompDir = "a dir";
1033417375d7SSterling Augustine   EXPECT_FALSE(
1034417375d7SSterling Augustine       (*ExpectedLineTable)
1035417375d7SSterling Augustine           ->Prologue.getFileNameByIndex(
1036417375d7SSterling Augustine               1, CompDir, DILineInfoSpecifier::FileLineInfoKind::None, Result));
1037417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1038417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1039417375d7SSterling Augustine                       1, CompDir,
1040417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::Default, Result));
1041417375d7SSterling Augustine   EXPECT_STREQ(Result.c_str(), "b file");
1042417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1043417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1044417375d7SSterling Augustine                       1, CompDir,
1045417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::RelativeFilePath,
1046417375d7SSterling Augustine                       Result));
1047257e4127SSterling Augustine   EXPECT_THAT(Result.c_str(), MatchesRegex("b dir.b file"));
1048417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1049417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1050417375d7SSterling Augustine                       1, CompDir,
1051417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::AbsoluteFilePath,
1052417375d7SSterling Augustine                       Result));
1053257e4127SSterling Augustine   EXPECT_THAT(Result.c_str(), MatchesRegex("a dir.b dir.b file"));
1054417375d7SSterling Augustine }
1055417375d7SSterling Augustine 
105666702629SJames Henderson } // end anonymous namespace
1057