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 
999b23024cSPavel Labath   Expected<const DWARFDebugLine::LineTable *>
1009b23024cSPavel Labath   getOrParseLineTableFatalErrors(uint64_t Offset = 0) {
101a3acf99eSJames Henderson     auto ExpectedLineTable = Line.getOrParseLineTable(
102004b729eSJames Henderson         LineData, Offset, *Context, nullptr, RecordRecoverable);
1039b23024cSPavel Labath     EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded());
1049b23024cSPavel 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 
1869b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
1879b23024cSPavel Labath       getOrParseLineTableFatalErrors(0),
1889b23024cSPavel Labath       FailedWithMessage(
1899b23024cSPavel Labath           "offset 0x00000000 is not a valid debug line section offset"));
190a3acf99eSJames Henderson   // Repeat to show that an error is reported each time.
1919b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
1929b23024cSPavel Labath       getOrParseLineTableFatalErrors(0),
1939b23024cSPavel Labath       FailedWithMessage(
1949b23024cSPavel Labath           "offset 0x00000000 is not a valid debug line section offset"));
1959b23024cSPavel Labath 
196a3acf99eSJames Henderson   // Show that an error is reported for later offsets too.
1979b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
1989b23024cSPavel Labath       getOrParseLineTableFatalErrors(1),
1999b23024cSPavel Labath       FailedWithMessage(
2009b23024cSPavel 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 
2129b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
213*d978656fSPavel Labath       getOrParseLineTableFatalErrors(0),
214*d978656fSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000: "
215*d978656fSPavel Labath                         "unexpected end of data at offset 0x0"));
216*d978656fSPavel Labath 
217*d978656fSPavel Labath   EXPECT_THAT_EXPECTED(
2189b23024cSPavel Labath       getOrParseLineTableFatalErrors(1),
2199b23024cSPavel Labath       FailedWithMessage(
2209b23024cSPavel Labath           "offset 0x00000001 is not a valid debug line section offset"));
221a3acf99eSJames Henderson }
222a3acf99eSJames Henderson 
223021f5317SJames Henderson TEST_P(DebugLineParameterisedFixture, PrologueGetLength) {
224021f5317SJames Henderson   if (!setupGenerator(Version))
225021f5317SJames Henderson     return;
226021f5317SJames Henderson   LineTable &LT = Gen->addLineTable(Format);
227021f5317SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
228021f5317SJames Henderson   LT.setPrologue(Prologue);
229021f5317SJames Henderson   generate();
230021f5317SJames Henderson 
231021f5317SJames Henderson   // + 10 for sizes of DWARF-32 unit length, version, prologue length.
232021f5317SJames Henderson   uint64_t ExpectedLength = Prologue.PrologueLength + 10;
233021f5317SJames Henderson   if (Version == 5)
234021f5317SJames Henderson     // Add address and segment selector size fields.
235021f5317SJames Henderson     ExpectedLength += 2;
236021f5317SJames Henderson   if (Format == DWARF64)
237021f5317SJames Henderson     // Unit length grows by 8, prologue length by 4.
238021f5317SJames Henderson     ExpectedLength += 12;
239021f5317SJames Henderson 
240021f5317SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
241021f5317SJames Henderson                                                     nullptr, RecordRecoverable);
242021f5317SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
243021f5317SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Prologue.getLength(), ExpectedLength);
244021f5317SJames Henderson }
245021f5317SJames Henderson 
246a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, GetOrParseLineTableValidTable) {
247a3acf99eSJames Henderson   if (!setupGenerator(Version))
248a3acf99eSJames Henderson     return;
249a3acf99eSJames Henderson 
250a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
251a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
252a3acf99eSJames Henderson 
253a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
254a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}});
255a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
256a3acf99eSJames Henderson   LT.addByte(0xaa);
257a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
258a3acf99eSJames Henderson 
259a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(Format);
260a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x11223344, LineTable::Quad}});
261a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
262a3acf99eSJames Henderson   LT2.addByte(0xbb);
263a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
264a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x55667788, LineTable::Quad}});
265a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
266a3acf99eSJames Henderson   LT2.addByte(0xcc);
267a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
268a3acf99eSJames Henderson 
269a3acf99eSJames Henderson   generate();
270a3acf99eSJames Henderson 
271004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
272004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
273a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable.operator bool());
274004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
275a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected = *ExpectedLineTable;
276a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected->Prologue, 16);
277a68aee07SRoman Lebedev   EXPECT_EQ(Expected->Sequences.size(), 1u);
278a3acf99eSJames Henderson 
279a3acf99eSJames Henderson   uint64_t SecondOffset =
280a3acf99eSJames Henderson       Expected->Prologue.sizeofTotalLength() + Expected->Prologue.TotalLength;
281004b729eSJames Henderson   Recoverable = Error::success();
282a3acf99eSJames Henderson   auto ExpectedLineTable2 = Line.getOrParseLineTable(
283004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
284a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable2.operator bool());
285004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
286a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected2 = *ExpectedLineTable2;
287a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected2->Prologue, 32);
28811a9de74SJames Henderson   EXPECT_EQ(Expected2->Sequences.size(), 2u);
289a3acf99eSJames Henderson 
290a3acf99eSJames Henderson   EXPECT_NE(Expected, Expected2);
291a3acf99eSJames Henderson 
292a3acf99eSJames Henderson   // Check that if the same offset is requested, the exact same pointer is
293a3acf99eSJames Henderson   // returned.
294004b729eSJames Henderson   Recoverable = Error::success();
295004b729eSJames Henderson   auto ExpectedLineTable3 = Line.getOrParseLineTable(
296004b729eSJames Henderson       LineData, 0, *Context, nullptr, RecordRecoverable);
297a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable3.operator bool());
298004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
299a3acf99eSJames Henderson   EXPECT_EQ(Expected, *ExpectedLineTable3);
300a3acf99eSJames Henderson 
301004b729eSJames Henderson   Recoverable = Error::success();
302a3acf99eSJames Henderson   auto ExpectedLineTable4 = Line.getOrParseLineTable(
303004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
304a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable4.operator bool());
305004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
306a3acf99eSJames Henderson   EXPECT_EQ(Expected2, *ExpectedLineTable4);
307a3acf99eSJames Henderson 
308a3acf99eSJames Henderson   // TODO: Add tests that show that the body of the programs have been read
309a3acf99eSJames Henderson   // correctly.
310a3acf99eSJames Henderson }
311a3acf99eSJames Henderson 
312a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForReservedLength) {
313a3acf99eSJames Henderson   if (!setupGenerator())
314a3acf99eSJames Henderson     return;
315a3acf99eSJames Henderson 
316a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
317f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
318a3acf99eSJames Henderson 
319a3acf99eSJames Henderson   generate();
320a3acf99eSJames Henderson 
3219b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
3229b23024cSPavel Labath       getOrParseLineTableFatalErrors(),
3239b23024cSPavel Labath       FailedWithMessage(
324*d978656fSPavel Labath           "parsing line table prologue at offset 0x00000000: unsupported "
325*d978656fSPavel Labath           "reserved unit length of value 0xfffffff0"));
326a3acf99eSJames Henderson }
327a3acf99eSJames Henderson 
3281da62b51SJames Henderson struct DebugLineUnsupportedVersionFixture : public TestWithParam<uint16_t>,
3291da62b51SJames Henderson                                             public CommonFixture {
3301da62b51SJames Henderson   void SetUp() { Version = GetParam(); }
3311da62b51SJames Henderson 
3321da62b51SJames Henderson   uint16_t Version;
3331da62b51SJames Henderson };
3341da62b51SJames Henderson 
3351da62b51SJames Henderson TEST_P(DebugLineUnsupportedVersionFixture, ErrorForUnsupportedVersion) {
336a3acf99eSJames Henderson   if (!setupGenerator())
337a3acf99eSJames Henderson     return;
338a3acf99eSJames Henderson 
339a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
340a3acf99eSJames Henderson   LT.setCustomPrologue(
3411da62b51SJames Henderson       {{LineTable::Half, LineTable::Long}, {Version, LineTable::Half}});
342b1c7bfe6SJames Henderson 
343b1c7bfe6SJames Henderson   generate();
344b1c7bfe6SJames Henderson 
3459b23024cSPavel Labath   EXPECT_THAT_EXPECTED(
3469b23024cSPavel Labath       getOrParseLineTableFatalErrors(),
347*d978656fSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000: "
348*d978656fSPavel Labath                         "unsupported version " +
3499b23024cSPavel Labath                         std::to_string(Version)));
350b1c7bfe6SJames Henderson }
351b1c7bfe6SJames Henderson 
3521da62b51SJames Henderson INSTANTIATE_TEST_CASE_P(UnsupportedVersionTestParams,
3531da62b51SJames Henderson                         DebugLineUnsupportedVersionFixture,
3541da62b51SJames Henderson                         Values(/*1 below min */ 1, /* 1 above max */ 6,
3551da62b51SJames Henderson                                /* Maximum possible */ 0xffff), );
3561da62b51SJames Henderson 
357a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForInvalidV5IncludeDirTable) {
358a3acf99eSJames Henderson   if (!setupGenerator(5))
359a3acf99eSJames Henderson     return;
360a3acf99eSJames Henderson 
361a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
362a3acf99eSJames Henderson   LT.setCustomPrologue({
363a3acf99eSJames Henderson       {19, LineTable::Long}, // unit length
364a3acf99eSJames Henderson       {5, LineTable::Half},  // version
365a3acf99eSJames Henderson       {8, LineTable::Byte},  // addr size
366a3acf99eSJames Henderson       {0, LineTable::Byte},  // segment selector size
367a3acf99eSJames Henderson       {11, LineTable::Long}, // prologue length
368a3acf99eSJames Henderson       {1, LineTable::Byte},  // min instruction length
369a3acf99eSJames Henderson       {1, LineTable::Byte},  // max ops per instruction
370a3acf99eSJames Henderson       {1, LineTable::Byte},  // default is_stmt
371a3acf99eSJames Henderson       {0, LineTable::Byte},  // line base
372a3acf99eSJames Henderson       {14, LineTable::Byte}, // line range
373a3acf99eSJames Henderson       {2, LineTable::Byte},  // opcode base (small to reduce the amount of
374a3acf99eSJames Henderson                              // setup required).
375a3acf99eSJames Henderson       {0, LineTable::Byte},  // standard opcode lengths
376a3acf99eSJames Henderson       {0, LineTable::Byte},  // directory entry format count (should not be
377a3acf99eSJames Henderson                              // zero).
378a3acf99eSJames Henderson       {0, LineTable::ULEB},  // directories count
379a3acf99eSJames Henderson       {0, LineTable::Byte},  // file name entry format count
380a3acf99eSJames Henderson       {0, LineTable::ULEB}   // file name entry count
381a3acf99eSJames Henderson   });
382a3acf99eSJames Henderson 
383a3acf99eSJames Henderson   generate();
384a3acf99eSJames Henderson 
3857116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
3867116e431SJames Henderson                                                     nullptr, RecordRecoverable);
3877116e431SJames Henderson   EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
3887116e431SJames Henderson 
3899b23024cSPavel Labath   EXPECT_THAT_ERROR(
3909b23024cSPavel Labath       std::move(Recoverable),
3919b23024cSPavel Labath       FailedWithMessage(
3929b23024cSPavel Labath           "parsing line table prologue at 0x00000000 found an invalid "
3939b23024cSPavel Labath           "directory or file table description at 0x00000014",
3949b23024cSPavel Labath           "failed to parse entry content descriptions because no path was "
3959b23024cSPavel Labath           "found"));
396a3acf99eSJames Henderson }
397a3acf99eSJames Henderson 
398a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) {
399a3acf99eSJames Henderson   if (!setupGenerator(Version))
400a3acf99eSJames Henderson     return;
401a3acf99eSJames Henderson 
402a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
403a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
404a3acf99eSJames Henderson 
405a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
406a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
407a3acf99eSJames Henderson   ++Prologue.PrologueLength;
408a3acf99eSJames Henderson   LT.setPrologue(Prologue);
409a3acf99eSJames Henderson 
410a3acf99eSJames Henderson   generate();
411a3acf99eSJames Henderson 
4127116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4137116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4147116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4157116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4167116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4177116e431SJames Henderson   // "default" prologue.
4187116e431SJames Henderson   --Result.Prologue.PrologueLength;
4197116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4207116e431SJames Henderson 
421a3acf99eSJames Henderson   uint64_t ExpectedEnd =
422a3acf99eSJames Henderson       Prologue.TotalLength + 1 + Prologue.sizeofTotalLength();
4239b23024cSPavel Labath   EXPECT_THAT_ERROR(
4249b23024cSPavel Labath       std::move(Recoverable),
4259b23024cSPavel Labath       FailedWithMessage(("parsing line table prologue at 0x00000000 should "
4269b23024cSPavel Labath                          "have ended at 0x000000" +
4279b23024cSPavel Labath                          Twine::utohexstr(ExpectedEnd) +
4289b23024cSPavel Labath                          " but it ended at 0x000000" +
429a3acf99eSJames Henderson                          Twine::utohexstr(ExpectedEnd - 1))
4309b23024cSPavel Labath                             .str()));
431a3acf99eSJames Henderson }
432a3acf99eSJames Henderson 
433a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) {
434a3acf99eSJames Henderson   if (!setupGenerator(Version))
435a3acf99eSJames Henderson     return;
436a3acf99eSJames Henderson 
437a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
438a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
439a3acf99eSJames Henderson 
440a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
441a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
442a3acf99eSJames Henderson   Prologue.PrologueLength -= 2;
443a3acf99eSJames Henderson   LT.setPrologue(Prologue);
444a3acf99eSJames Henderson 
445a3acf99eSJames Henderson   generate();
446a3acf99eSJames Henderson 
4477116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4487116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4497116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4507116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4517116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4527116e431SJames Henderson   // "default" prologue.
4537116e431SJames Henderson   Result.Prologue.PrologueLength += 2;
4547116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4557116e431SJames Henderson 
456a3acf99eSJames Henderson   uint64_t ExpectedEnd =
457bf4d8f29SJames Henderson       Prologue.TotalLength - 2 + Prologue.sizeofTotalLength();
458bf4d8f29SJames Henderson   std::vector<std::string> Errs;
459bf4d8f29SJames Henderson   // Parsing of a DWARFv2-4 file table stops at the end of an entry once the
460bf4d8f29SJames Henderson   // prologue end has been reached, whether or not the trailing null terminator
461bf4d8f29SJames Henderson   // has been found. As such, the expected error message will be slightly
462bf4d8f29SJames Henderson   // different.
463bf4d8f29SJames Henderson   uint64_t ActualEnd = Version == 5 ? ExpectedEnd + 2 : ExpectedEnd + 1;
464bf4d8f29SJames Henderson   if (Version != 5) {
465bf4d8f29SJames Henderson     Errs.emplace_back(
466bf4d8f29SJames Henderson         (Twine("parsing line table prologue at 0x00000000 found an invalid "
467bf4d8f29SJames Henderson                "directory or file table description at 0x000000") +
468bf4d8f29SJames Henderson          Twine::utohexstr(ActualEnd))
469bf4d8f29SJames Henderson             .str());
470bf4d8f29SJames Henderson     Errs.emplace_back("file names table was not null terminated before the end "
471bf4d8f29SJames Henderson                       "of the prologue");
472bf4d8f29SJames Henderson   }
473bf4d8f29SJames Henderson   Errs.emplace_back(
474a3acf99eSJames Henderson       (Twine("parsing line table prologue at 0x00000000 should have ended at "
475a3acf99eSJames Henderson              "0x000000") +
476a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" +
477bf4d8f29SJames Henderson        Twine::utohexstr(ActualEnd))
478bf4d8f29SJames Henderson           .str());
4799b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
4809b23024cSPavel Labath                     FailedWithMessageArray(testing::ElementsAreArray(Errs)));
481a3acf99eSJames Henderson }
482a3acf99eSJames Henderson 
483a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P(
484a3acf99eSJames Henderson     LineTableTestParams, DebugLineParameterisedFixture,
485a3acf99eSJames Henderson     Values(std::make_pair(
486a3acf99eSJames Henderson                2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32.
487a3acf99eSJames Henderson            std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields.
488a3acf99eSJames Henderson            std::make_pair(4, DWARF64), // Test v4 fields and DWARF64.
489a3acf99eSJames Henderson            std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), );
490a3acf99eSJames Henderson 
491f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthSmallerThanExpected) {
492a3acf99eSJames Henderson   if (!setupGenerator())
493a3acf99eSJames Henderson     return;
494a3acf99eSJames Henderson 
495a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
496f1be770fSJames Henderson   LT.addByte(0xaa);
497f1be770fSJames Henderson   // The Length should be 1 + sizeof(ULEB) for a set discriminator opcode.
498f1be770fSJames Henderson   // The operand will be read for both the discriminator opcode and then parsed
499f1be770fSJames Henderson   // again as DW_LNS_negate_stmt, to respect the claimed length.
500f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_set_discriminator,
501f1be770fSJames Henderson                        {{DW_LNS_negate_stmt, LineTable::ULEB}});
502f1be770fSJames Henderson   LT.addByte(0xbb);
503f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
504f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
505a3acf99eSJames Henderson 
506a3acf99eSJames Henderson   generate();
507a3acf99eSJames Henderson 
508f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
509f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
5109b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
5119b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
5129b23024cSPavel Labath                                       "0x00000031 expected 0x01 found 0x02"));
513f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
514f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
515f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
516f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].IsStmt, 0u);
517f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Discriminator, DW_LNS_negate_stmt);
518f1be770fSJames Henderson }
519f1be770fSJames Henderson 
520f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthLargerThanExpected) {
521f1be770fSJames Henderson   if (!setupGenerator())
522f1be770fSJames Henderson     return;
523f1be770fSJames Henderson 
524f1be770fSJames Henderson   LineTable &LT = Gen->addLineTable();
525f1be770fSJames Henderson   LT.addByte(0xaa);
526f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
527f1be770fSJames Henderson   // The Length should be 1 for an end sequence opcode.
528f1be770fSJames Henderson   LT.addExtendedOpcode(2, DW_LNE_end_sequence, {});
529f1be770fSJames Henderson   // The negate statement opcode will be skipped.
530f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
531f1be770fSJames Henderson   LT.addByte(0xbb);
532f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
533f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
534f1be770fSJames Henderson 
535f1be770fSJames Henderson   generate();
536f1be770fSJames Henderson 
537f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
538f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
5399b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
5409b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
5419b23024cSPavel Labath                                       "0x00000032 expected 0x02 found 0x01"));
542f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
543f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 4u);
544f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 2u);
545f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Sequences[1].FirstRowIndex, 2u);
546f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[2].IsStmt, 1u);
547a3acf99eSJames Henderson }
548a3acf99eSJames Henderson 
549216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) {
550216796f2SJames Henderson   if (!setupGenerator())
551216796f2SJames Henderson     return;
552216796f2SJames Henderson 
553216796f2SJames Henderson   LineTable &Padding = Gen->addLineTable();
554216796f2SJames Henderson   // Add some padding to show that a non-zero offset is handled correctly.
555216796f2SJames Henderson   Padding.setCustomPrologue({{0, LineTable::Byte}});
556216796f2SJames Henderson   LineTable &LT = Gen->addLineTable();
557216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
558216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
559216796f2SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
560216796f2SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
5611271cde4SJames Henderson   // Set the total length to 1 higher than the actual length.
5621271cde4SJames Henderson   ++Prologue.TotalLength;
563216796f2SJames Henderson   LT.setPrologue(Prologue);
564216796f2SJames Henderson 
565216796f2SJames Henderson   generate();
566216796f2SJames Henderson 
567216796f2SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context,
568216796f2SJames Henderson                                                     nullptr, RecordRecoverable);
5699b23024cSPavel Labath   EXPECT_THAT_ERROR(
5709b23024cSPavel Labath       std::move(Recoverable),
5719b23024cSPavel Labath       FailedWithMessage("line table program with offset 0x00000001 has length "
5729b23024cSPavel Labath                         "0x00000034 but only 0x00000033 bytes are available"));
573216796f2SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
574216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
575216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
576216796f2SJames Henderson }
577216796f2SJames Henderson 
578a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) {
57907804f75SJames Henderson   if (!setupGenerator(4, 8))
580a3acf99eSJames Henderson     return;
581a3acf99eSJames Henderson 
582a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
583a3acf99eSJames Henderson   // The line data extractor expects size 8 (Quad) addresses.
58407804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
58507804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
586a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
58707804f75SJames Henderson   // Show that the expected address size is unchanged, so later valid lines
58807804f75SJames Henderson   // don't cause a problem.
58907804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
59007804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
591a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
592a3acf99eSJames Henderson 
593a3acf99eSJames Henderson   generate();
594a3acf99eSJames Henderson 
59507804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
59607804f75SJames Henderson                                                     nullptr, RecordRecoverable);
5979b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
5989b23024cSPavel Labath                     FailedWithMessage("mismatching address size at offset "
5999b23024cSPavel Labath                                       "0x00000030 expected 0x08 found 0x04"));
60007804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
60107804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
60207804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
60307804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
60407804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
60507804f75SJames Henderson }
60607804f75SJames Henderson 
60707804f75SJames Henderson TEST_F(DebugLineBasicFixture,
60807804f75SJames Henderson        ErrorForMismatchedAddressSizeUnsetInitialAddress) {
60907804f75SJames Henderson   if (!setupGenerator(4, 0))
61007804f75SJames Henderson     return;
61107804f75SJames Henderson 
61207804f75SJames Henderson   LineTable &LT = Gen->addLineTable();
61307804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
61407804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
61507804f75SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
61607804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
61707804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
61807804f75SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
61907804f75SJames Henderson 
62007804f75SJames Henderson   generate();
62107804f75SJames Henderson 
62207804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
62307804f75SJames Henderson                                                     nullptr, RecordRecoverable);
6249b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
6259b23024cSPavel Labath                     FailedWithMessage("mismatching address size at offset "
6269b23024cSPavel Labath                                       "0x00000038 expected 0x04 found 0x08"));
62707804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
62807804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
62907804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
63007804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
63107804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
632a3acf99eSJames Henderson }
633a3acf99eSJames Henderson 
634fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture,
635fe6983a7SJames Henderson        ErrorForUnsupportedAddressSizeInSetAddressLength) {
636fe6983a7SJames Henderson   // Use DWARF v4, and 0 for data extractor address size so that the address
637fe6983a7SJames Henderson   // size is derived from the opcode length.
638fe6983a7SJames Henderson   if (!setupGenerator(4, 0))
639fe6983a7SJames Henderson     return;
640fe6983a7SJames Henderson 
641fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
642fe6983a7SJames Henderson   // 4 == length of the extended opcode, i.e. 1 for the opcode itself and 3 for
643fe6983a7SJames Henderson   // the Half (2) + Byte (1) operand, representing the unsupported address size.
644fe6983a7SJames Henderson   LT.addExtendedOpcode(4, DW_LNE_set_address,
645fe6983a7SJames Henderson                        {{0x1234, LineTable::Half}, {0x56, LineTable::Byte}});
646fe6983a7SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
647fe6983a7SJames Henderson   // Special opcode to ensure the address has changed between the first and last
648fe6983a7SJames Henderson   // row in the sequence. Without this, the sequence will not be recorded.
649fe6983a7SJames Henderson   LT.addByte(0xaa);
650fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
651fe6983a7SJames Henderson 
652fe6983a7SJames Henderson   generate();
653fe6983a7SJames Henderson 
654fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
655fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
6569b23024cSPavel Labath   EXPECT_THAT_ERROR(
6579b23024cSPavel Labath       std::move(Recoverable),
6589b23024cSPavel Labath       FailedWithMessage("address size 0x03 of DW_LNE_set_address opcode at "
6599b23024cSPavel Labath                         "offset 0x00000030 is unsupported"));
660fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
661fe6983a7SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
662fe6983a7SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
663fe6983a7SJames Henderson   // Show that the set address opcode is ignored in this case.
664a55dec7dSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u);
665fe6983a7SJames Henderson }
666fe6983a7SJames Henderson 
667fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForAddressSizeGreaterThanByteSize) {
668fe6983a7SJames Henderson   // Use DWARF v4, and 0 for data extractor address size so that the address
669fe6983a7SJames Henderson   // size is derived from the opcode length.
670fe6983a7SJames Henderson   if (!setupGenerator(4, 0))
671fe6983a7SJames Henderson     return;
672fe6983a7SJames Henderson 
673fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
674fe6983a7SJames Henderson   // Specifically use an operand size that has a trailing byte of a supported
675fe6983a7SJames Henderson   // size (8), so that any potential truncation would result in a valid size.
676fe6983a7SJames Henderson   std::vector<LineTable::ValueAndLength> Operands(0x108);
677fe6983a7SJames Henderson   LT.addExtendedOpcode(Operands.size() + 1, DW_LNE_set_address, Operands);
678fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
679fe6983a7SJames Henderson 
680fe6983a7SJames Henderson   generate();
681fe6983a7SJames Henderson 
682fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
683fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
6849b23024cSPavel Labath   EXPECT_THAT_ERROR(
6859b23024cSPavel Labath       std::move(Recoverable),
6869b23024cSPavel Labath       FailedWithMessage("address size 0x108 of DW_LNE_set_address opcode at "
6879b23024cSPavel Labath                         "offset 0x00000031 is unsupported"));
688fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
689fe6983a7SJames Henderson }
690fe6983a7SJames Henderson 
691fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnsupportedAddressSizeDefinedInHeader) {
692fe6983a7SJames Henderson   // Use 0 for data extractor address size so that it does not clash with the
693fe6983a7SJames Henderson   // header address size.
694fe6983a7SJames Henderson   if (!setupGenerator(5, 0))
695fe6983a7SJames Henderson     return;
696fe6983a7SJames Henderson 
697fe6983a7SJames Henderson   LineTable &LT = Gen->addLineTable();
698fe6983a7SJames Henderson   // AddressSize + 1 == length of the extended opcode, i.e. 1 for the opcode
699fe6983a7SJames Henderson   // itself and 9 for the Quad (8) + Byte (1) operand representing the
700fe6983a7SJames Henderson   // unsupported address size.
701fe6983a7SJames Henderson   uint8_t AddressSize = 9;
702fe6983a7SJames Henderson   LT.addExtendedOpcode(AddressSize + 1, DW_LNE_set_address,
703fe6983a7SJames Henderson                        {{0x12345678, LineTable::Quad}, {0, LineTable::Byte}});
704fe6983a7SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
705fe6983a7SJames Henderson   // Special opcode to ensure the address has changed between the first and last
706fe6983a7SJames Henderson   // row in the sequence. Without this, the sequence will not be recorded.
707fe6983a7SJames Henderson   LT.addByte(0xaa);
708fe6983a7SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
709fe6983a7SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
710fe6983a7SJames Henderson   Prologue.FormParams.AddrSize = AddressSize;
711fe6983a7SJames Henderson   LT.setPrologue(Prologue);
712fe6983a7SJames Henderson 
713fe6983a7SJames Henderson   generate();
714fe6983a7SJames Henderson 
715fe6983a7SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
716fe6983a7SJames Henderson                                                     nullptr, RecordRecoverable);
7179b23024cSPavel Labath   EXPECT_THAT_ERROR(
7189b23024cSPavel Labath       std::move(Recoverable),
7199b23024cSPavel Labath       FailedWithMessage("address size 0x09 of DW_LNE_set_address opcode at "
7209b23024cSPavel Labath                         "offset 0x00000038 is unsupported"));
721fe6983a7SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
722fe6983a7SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
723fe6983a7SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
724fe6983a7SJames Henderson   // Show that the set address opcode is ignored in this case.
725a55dec7dSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u);
726fe6983a7SJames Henderson }
727fe6983a7SJames Henderson 
728a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) {
729a3acf99eSJames Henderson   if (!setupGenerator())
730a3acf99eSJames Henderson     return;
731a3acf99eSJames Henderson 
732a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
733a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
734a3acf99eSJames Henderson                        {{0x1122334455667788, LineTable::Quad}});
735a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
736a3acf99eSJames Henderson   LT.addByte(0xaa);
737a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
738a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
739a3acf99eSJames Henderson                        {{0x99aabbccddeeff00, LineTable::Quad}});
740a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
741a3acf99eSJames Henderson   LT.addByte(0xbb);
742a3acf99eSJames Henderson   LT.addByte(0xcc);
743a3acf99eSJames Henderson 
744a3acf99eSJames Henderson   generate();
745a3acf99eSJames Henderson 
746004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
747004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
7489b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
7499b23024cSPavel Labath                     FailedWithMessage("last sequence in debug line table at "
7509b23024cSPavel Labath                                       "offset 0x00000000 is not terminated"));
7519b23024cSPavel Labath   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
752a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u);
753a3acf99eSJames Henderson   // The unterminated sequence is not added to the sequence list.
754a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
755a3acf99eSJames Henderson }
756a3acf99eSJames Henderson 
757a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) {
758a3acf99eSJames Henderson   if (!setupGenerator())
759a3acf99eSJames Henderson     return;
760a3acf99eSJames Henderson 
761a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
762a3acf99eSJames Henderson 
76311a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
764a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
765a3acf99eSJames Henderson 
766004b729eSJames Henderson   DWARFDebugLine::LineTable Parsed =
767004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
768a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16);
76911a9de74SJames Henderson   EXPECT_EQ(Parsed.Sequences.size(), 1u);
77011a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
771a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
772a3acf99eSJames Henderson 
773a3acf99eSJames Henderson   DWARFDebugLine::LineTable Parsed2 =
774004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
775a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16);
77611a9de74SJames Henderson   EXPECT_EQ(Parsed2.Sequences.size(), 1u);
77711a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
778a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
779a3acf99eSJames Henderson 
780004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
781004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
782a3acf99eSJames Henderson }
783a3acf99eSJames Henderson 
784a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) {
785a3acf99eSJames Henderson   if (!setupGenerator())
786a3acf99eSJames Henderson     return;
787a3acf99eSJames Henderson 
788a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
789a3acf99eSJames Henderson 
79011a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
791a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
792a3acf99eSJames Henderson 
7937116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
79411a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
795a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
796a3acf99eSJames Henderson 
7977116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
79811a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
799a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
800a3acf99eSJames Henderson 
8017116e431SJames Henderson   EXPECT_FALSE(Recoverable);
802004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
803a3acf99eSJames Henderson }
804a3acf99eSJames Henderson 
805a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) {
806a3acf99eSJames Henderson   if (!setupGenerator())
807a3acf99eSJames Henderson     return;
808a3acf99eSJames Henderson 
809a3acf99eSJames Henderson   generate();
810a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
811a3acf99eSJames Henderson 
812a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
813a3acf99eSJames Henderson }
814a3acf99eSJames Henderson 
815*d978656fSPavel Labath TEST_F(DebugLineBasicFixture, ParserMarkedAsDoneForBadLengthWhenParsing) {
816a3acf99eSJames Henderson   if (!setupGenerator())
817a3acf99eSJames Henderson     return;
818a3acf99eSJames Henderson 
819a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
820f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
821a3acf99eSJames Henderson   Gen->addLineTable();
822a3acf99eSJames Henderson   generate();
823a3acf99eSJames Henderson 
824a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
825004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
826a3acf99eSJames Henderson 
827*d978656fSPavel Labath   EXPECT_EQ(Parser.getOffset(), 0u);
828a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
829004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
830a3acf99eSJames Henderson 
8319b23024cSPavel Labath   EXPECT_THAT_ERROR(
8329b23024cSPavel Labath       std::move(Unrecoverable),
8339b23024cSPavel Labath       FailedWithMessage(
834*d978656fSPavel Labath           "parsing line table prologue at offset 0x00000000: unsupported "
835*d978656fSPavel Labath           "reserved unit length of value 0xfffffff0"));
836a3acf99eSJames Henderson }
837a3acf99eSJames Henderson 
838*d978656fSPavel Labath TEST_F(DebugLineBasicFixture, ParserMarkedAsDoneForBadLengthWhenSkipping) {
839a3acf99eSJames Henderson   if (!setupGenerator())
840a3acf99eSJames Henderson     return;
841a3acf99eSJames Henderson 
842a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
843f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
844a3acf99eSJames Henderson   Gen->addLineTable();
845a3acf99eSJames Henderson   generate();
846a3acf99eSJames Henderson 
847a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
8487116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
849a3acf99eSJames Henderson 
850*d978656fSPavel Labath   EXPECT_EQ(Parser.getOffset(), 0u);
851a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8527116e431SJames Henderson   EXPECT_FALSE(Recoverable);
853a3acf99eSJames Henderson 
8549b23024cSPavel Labath   EXPECT_THAT_ERROR(
8559b23024cSPavel Labath       std::move(Unrecoverable),
8569b23024cSPavel Labath       FailedWithMessage(
857*d978656fSPavel Labath           "parsing line table prologue at offset 0x00000000: unsupported "
858*d978656fSPavel Labath           "reserved unit length of value 0xfffffff0"));
859a3acf99eSJames Henderson }
860a3acf99eSJames Henderson 
861a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) {
862a3acf99eSJames Henderson   if (!setupGenerator())
863a3acf99eSJames Henderson     return;
864a3acf99eSJames Henderson 
865a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
866a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
867a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
868a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
869a3acf99eSJames Henderson   generate();
870a3acf99eSJames Henderson 
871a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
872004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
873a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
874004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
875a3acf99eSJames Henderson 
876a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8779b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded());
878a3acf99eSJames Henderson 
8799b23024cSPavel Labath   EXPECT_THAT_ERROR(
8809b23024cSPavel Labath       std::move(Unrecoverable),
881*d978656fSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000: "
882*d978656fSPavel Labath                         "unsupported version 0",
883*d978656fSPavel Labath                         "parsing line table prologue at offset 0x00000006: "
884*d978656fSPavel Labath                         "unsupported version 1"));
885a3acf99eSJames Henderson }
886a3acf99eSJames Henderson 
887a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) {
888a3acf99eSJames Henderson   if (!setupGenerator())
889a3acf99eSJames Henderson     return;
890a3acf99eSJames Henderson 
891a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
892a3acf99eSJames Henderson   LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {});
893a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
894a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address,
895a3acf99eSJames Henderson                         {{0x1234567890abcdef, LineTable::Quad}});
896a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
897a3acf99eSJames Henderson   LT2.addByte(0xbb);
898a3acf99eSJames Henderson   generate();
899a3acf99eSJames Henderson 
900a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
901004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
902f1be770fSJames Henderson   EXPECT_FALSE(Unrecoverable);
903a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
9049b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
9059b23024cSPavel Labath                     FailedWithMessage("unexpected line op length at offset "
9069b23024cSPavel Labath                                       "0x00000030 expected 0x42 found 0x01"));
907a3acf99eSJames Henderson 
908a3acf99eSJames Henderson   // Reset the error state so that it does not confuse the next set of checks.
909004b729eSJames Henderson   Unrecoverable = Error::success();
910004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
911a3acf99eSJames Henderson 
912a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
9139b23024cSPavel Labath   EXPECT_THAT_ERROR(std::move(Recoverable),
9149b23024cSPavel Labath                     FailedWithMessage("last sequence in debug line table at "
9159b23024cSPavel Labath                                       "offset 0x00000031 is not terminated"));
916004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
917a3acf99eSJames Henderson }
918a3acf99eSJames Henderson 
919a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture,
920a3acf99eSJames Henderson        ParserReportsPrologueErrorsInEachTableWhenSkipping) {
921a3acf99eSJames Henderson   if (!setupGenerator())
922a3acf99eSJames Henderson     return;
923a3acf99eSJames Henderson 
924a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
925a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
926a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
927a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
928a3acf99eSJames Henderson   generate();
929a3acf99eSJames Henderson 
930a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9317116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
932a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
9337116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
934a3acf99eSJames Henderson 
935a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
9367116e431SJames Henderson   EXPECT_FALSE(Recoverable);
937a3acf99eSJames Henderson 
9389b23024cSPavel Labath   EXPECT_THAT_ERROR(
9399b23024cSPavel Labath       std::move(Unrecoverable),
940*d978656fSPavel Labath       FailedWithMessage("parsing line table prologue at offset 0x00000000: "
941*d978656fSPavel Labath                         "unsupported version 0",
942*d978656fSPavel Labath                         "parsing line table prologue at offset 0x00000006: "
943*d978656fSPavel Labath                         "unsupported version 1"));
944a3acf99eSJames Henderson }
945a3acf99eSJames Henderson 
946a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) {
947a3acf99eSJames Henderson   if (!setupGenerator())
948a3acf99eSJames Henderson     return;
949a3acf99eSJames Henderson 
950a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
951a3acf99eSJames Henderson   LT.addExtendedOpcode(42, DW_LNE_end_sequence, {});
952a3acf99eSJames Henderson   generate();
953a3acf99eSJames Henderson 
954a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9557116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
956a3acf99eSJames Henderson 
957a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
9587116e431SJames Henderson   EXPECT_FALSE(Recoverable);
959004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
96066702629SJames Henderson }
96166702629SJames Henderson 
9622f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) {
9632f815502SJames Henderson   if (!setupGenerator())
9642f815502SJames Henderson     return;
9652f815502SJames Henderson 
9662f815502SJames Henderson   using ValLen = dwarfgen::LineTable::ValueAndLength;
9672f815502SJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
9682f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
9692f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}});
9702f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}});
9712f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}});
9722f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}});
9732f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
9742f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_basic_block, {});
9752f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
9762f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}});
9772f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_prologue_end, {});
9782f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {});
9792f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}});
9802f815502SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
9812f815502SJames Henderson   generate();
9822f815502SJames Henderson 
9832f815502SJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
9842f815502SJames Henderson   std::string Output;
9852f815502SJames Henderson   raw_string_ostream OS(Output);
9862f815502SJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS);
9872f815502SJames Henderson   OS.flush();
9882f815502SJames Henderson 
9892f815502SJames Henderson   EXPECT_FALSE(Recoverable);
9902f815502SJames Henderson   EXPECT_FALSE(Unrecoverable);
9912f815502SJames Henderson   auto InOutput = [&Output](char const *Str) {
9922f815502SJames Henderson     return Output.find(Str) != std::string::npos;
9932f815502SJames Henderson   };
9942f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output;
9952f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output;
9962f815502SJames Henderson   // FIXME: The value printed after DW_LNS_advance_line is currently the result
9972f815502SJames Henderson   // of the advance, but it should be the value being advanced by. See
9982f815502SJames Henderson   // https://bugs.llvm.org/show_bug.cgi?id=44261 for details.
9992f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output;
10002f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output;
10012f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output;
10022f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output;
10032f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output;
10042f815502SJames Henderson   EXPECT_TRUE(
10052f815502SJames Henderson       InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n"))
10062f815502SJames Henderson       << Output;
10072f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n"))
10082f815502SJames Henderson       << Output;
10092f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output;
10102f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output;
10112f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output;
10122f815502SJames Henderson }
10132f815502SJames Henderson 
1014417375d7SSterling Augustine TEST_F(DebugLineBasicFixture, PrintPathsProperly) {
1015417375d7SSterling Augustine   if (!setupGenerator(5))
1016417375d7SSterling Augustine     return;
1017417375d7SSterling Augustine 
1018417375d7SSterling Augustine   LineTable &LT = Gen->addLineTable();
1019417375d7SSterling Augustine   DWARFDebugLine::Prologue P = LT.createBasicPrologue();
1020417375d7SSterling Augustine   P.IncludeDirectories.push_back(
1021417375d7SSterling Augustine       DWARFFormValue::createFromPValue(DW_FORM_string, "b dir"));
1022417375d7SSterling Augustine   P.FileNames.push_back(DWARFDebugLine::FileNameEntry());
1023417375d7SSterling Augustine   P.FileNames.back().Name =
1024417375d7SSterling Augustine       DWARFFormValue::createFromPValue(DW_FORM_string, "b file");
1025417375d7SSterling Augustine   P.FileNames.back().DirIdx = 1;
1026417375d7SSterling Augustine   P.PrologueLength += 14;
1027417375d7SSterling Augustine   LT.setPrologue(P);
1028417375d7SSterling Augustine   generate();
1029417375d7SSterling Augustine 
1030417375d7SSterling Augustine   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
1031417375d7SSterling Augustine                                                     nullptr, RecordRecoverable);
1032417375d7SSterling Augustine   EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
1033417375d7SSterling Augustine   std::string Result;
1034417375d7SSterling Augustine   // DWARF 5 stores the compilation directory in two places: the Compilation
1035417375d7SSterling Augustine   // Unit and the directory table entry 0, and implementations are free to use
1036417375d7SSterling Augustine   // one or the other. This copy serves as the one stored in the CU.
1037417375d7SSterling Augustine   StringRef CompDir = "a dir";
1038417375d7SSterling Augustine   EXPECT_FALSE(
1039417375d7SSterling Augustine       (*ExpectedLineTable)
1040417375d7SSterling Augustine           ->Prologue.getFileNameByIndex(
1041417375d7SSterling Augustine               1, CompDir, DILineInfoSpecifier::FileLineInfoKind::None, Result));
1042417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1043417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1044417375d7SSterling Augustine                       1, CompDir,
1045417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::Default, Result));
1046417375d7SSterling Augustine   EXPECT_STREQ(Result.c_str(), "b file");
1047417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1048417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1049417375d7SSterling Augustine                       1, CompDir,
1050417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::RelativeFilePath,
1051417375d7SSterling Augustine                       Result));
1052257e4127SSterling Augustine   EXPECT_THAT(Result.c_str(), MatchesRegex("b dir.b file"));
1053417375d7SSterling Augustine   EXPECT_TRUE((*ExpectedLineTable)
1054417375d7SSterling Augustine                   ->Prologue.getFileNameByIndex(
1055417375d7SSterling Augustine                       1, CompDir,
1056417375d7SSterling Augustine                       DILineInfoSpecifier::FileLineInfoKind::AbsoluteFilePath,
1057417375d7SSterling Augustine                       Result));
1058257e4127SSterling Augustine   EXPECT_THAT(Result.c_str(), MatchesRegex("a dir.b dir.b file"));
1059417375d7SSterling Augustine }
1060417375d7SSterling Augustine 
106166702629SJames Henderson } // end anonymous namespace
1062