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 
99a3acf99eSJames Henderson   void checkError(ArrayRef<StringRef> ExpectedMsgs, Error Err) {
100a3acf99eSJames Henderson     ASSERT_TRUE(Err.operator bool());
101a3acf99eSJames Henderson     size_t WhichMsg = 0;
102a3acf99eSJames Henderson     Error Remaining =
103a3acf99eSJames Henderson         handleErrors(std::move(Err), [&](const ErrorInfoBase &Actual) {
104a3acf99eSJames Henderson           ASSERT_LT(WhichMsg, ExpectedMsgs.size());
105a3acf99eSJames Henderson           // Use .str(), because googletest doesn't visualise a StringRef
106a3acf99eSJames Henderson           // properly.
107a3acf99eSJames Henderson           EXPECT_EQ(Actual.message(), ExpectedMsgs[WhichMsg++].str());
108a3acf99eSJames Henderson         });
109a3acf99eSJames Henderson     EXPECT_EQ(WhichMsg, ExpectedMsgs.size());
110a3acf99eSJames Henderson     EXPECT_FALSE(Remaining);
111a3acf99eSJames Henderson   }
112a3acf99eSJames Henderson 
113a3acf99eSJames Henderson   void checkError(StringRef ExpectedMsg, Error Err) {
114a3acf99eSJames Henderson     checkError(ArrayRef<StringRef>{ExpectedMsg}, std::move(Err));
115a3acf99eSJames Henderson   }
116a3acf99eSJames Henderson 
11789b11843SJames Henderson   void checkGetOrParseLineTableEmitsFatalError(StringRef ExpectedMsg,
118a3acf99eSJames Henderson                                                uint64_t Offset = 0) {
119a3acf99eSJames Henderson     auto ExpectedLineTable = Line.getOrParseLineTable(
120004b729eSJames Henderson         LineData, Offset, *Context, nullptr, RecordRecoverable);
121a3acf99eSJames Henderson     EXPECT_FALSE(ExpectedLineTable);
122004b729eSJames Henderson     EXPECT_FALSE(Recoverable);
123a3acf99eSJames Henderson 
124a3acf99eSJames Henderson     checkError(ExpectedMsg, ExpectedLineTable.takeError());
125a3acf99eSJames Henderson   }
126a3acf99eSJames Henderson 
12789b11843SJames Henderson   void checkGetOrParseLineTableEmitsFatalError(ArrayRef<StringRef> ExpectedMsgs,
1280e7ba06eSJonas Devlieghere                                                uint64_t Offset = 0) {
1290e7ba06eSJonas Devlieghere     auto ExpectedLineTable = Line.getOrParseLineTable(
1300e7ba06eSJonas Devlieghere         LineData, Offset, *Context, nullptr, RecordRecoverable);
1310e7ba06eSJonas Devlieghere     EXPECT_FALSE(ExpectedLineTable);
1320e7ba06eSJonas Devlieghere     EXPECT_FALSE(Recoverable);
1330e7ba06eSJonas Devlieghere 
1340e7ba06eSJonas Devlieghere     checkError(ExpectedMsgs, ExpectedLineTable.takeError());
1350e7ba06eSJonas Devlieghere   }
1360e7ba06eSJonas Devlieghere 
13707804f75SJames Henderson   uint8_t AddressSize;
138a3acf99eSJames Henderson   std::unique_ptr<Generator> Gen;
139a3acf99eSJames Henderson   std::unique_ptr<DWARFContext> Context;
140a3acf99eSJames Henderson   DWARFDataExtractor LineData;
141a3acf99eSJames Henderson   DWARFDebugLine Line;
142004b729eSJames Henderson   Error Recoverable;
143004b729eSJames Henderson   std::function<void(Error)> RecordRecoverable;
144004b729eSJames Henderson   Error Unrecoverable;
145004b729eSJames Henderson   std::function<void(Error)> RecordUnrecoverable;
146a3acf99eSJames Henderson 
147143eaeabSPaul Robinson   SmallVector<std::unique_ptr<DWARFUnit>, 2> CUs;
1487f330944SPaul Robinson   SmallVector<std::unique_ptr<DWARFUnit>, 2> TUs;
14966702629SJames Henderson };
15066702629SJames Henderson 
151a3acf99eSJames Henderson // Fixtures must derive from "Test", but parameterised fixtures from
152a3acf99eSJames Henderson // "TestWithParam". It does not seem possible to inherit from both, so we share
153a3acf99eSJames Henderson // the common state in a separate class, inherited by the two fixture classes.
154a3acf99eSJames Henderson struct DebugLineBasicFixture : public Test, public CommonFixture {};
155a3acf99eSJames Henderson 
156a3acf99eSJames Henderson struct DebugLineParameterisedFixture
157a3acf99eSJames Henderson     : public TestWithParam<std::pair<uint16_t, DwarfFormat>>,
158a3acf99eSJames Henderson       public CommonFixture {
159a3acf99eSJames Henderson   void SetUp() { std::tie(Version, Format) = GetParam(); }
160a3acf99eSJames Henderson 
161a3acf99eSJames Henderson   uint16_t Version;
162a3acf99eSJames Henderson   DwarfFormat Format;
163a3acf99eSJames Henderson };
164a3acf99eSJames Henderson 
165a3acf99eSJames Henderson void checkDefaultPrologue(uint16_t Version, DwarfFormat Format,
166a3acf99eSJames Henderson                           DWARFDebugLine::Prologue Prologue,
167a3acf99eSJames Henderson                           uint64_t BodyLength) {
168a3acf99eSJames Henderson   // Check version specific fields and values.
169a3acf99eSJames Henderson   uint64_t UnitLength;
170a3acf99eSJames Henderson   uint64_t PrologueLength;
171a3acf99eSJames Henderson   switch (Version) {
172a3acf99eSJames Henderson   case 4:
173a3acf99eSJames Henderson     PrologueLength = 36;
174a3acf99eSJames Henderson     UnitLength = PrologueLength + 2;
17511a9de74SJames Henderson     EXPECT_EQ(Prologue.MaxOpsPerInst, 1u);
176a3acf99eSJames Henderson     break;
177a3acf99eSJames Henderson   case 2:
178a3acf99eSJames Henderson   case 3:
179a3acf99eSJames Henderson     PrologueLength = 35;
180a3acf99eSJames Henderson     UnitLength = PrologueLength + 2;
181a3acf99eSJames Henderson     break;
182a3acf99eSJames Henderson   case 5:
183a3acf99eSJames Henderson     PrologueLength = 39;
184a3acf99eSJames Henderson     UnitLength = PrologueLength + 4;
18511a9de74SJames Henderson     EXPECT_EQ(Prologue.getAddressSize(), 8u);
18611a9de74SJames Henderson     EXPECT_EQ(Prologue.SegSelectorSize, 0u);
187a3acf99eSJames Henderson     break;
188a3acf99eSJames Henderson   default:
189a3acf99eSJames Henderson     llvm_unreachable("unsupported DWARF version");
190a3acf99eSJames Henderson   }
191a3acf99eSJames Henderson   UnitLength += BodyLength + (Format == DWARF32 ? 4 : 8);
192a3acf99eSJames Henderson 
193a3acf99eSJames Henderson   EXPECT_EQ(Prologue.TotalLength, UnitLength);
194a3acf99eSJames Henderson   EXPECT_EQ(Prologue.PrologueLength, PrologueLength);
19511a9de74SJames Henderson   EXPECT_EQ(Prologue.MinInstLength, 1u);
19611a9de74SJames Henderson   EXPECT_EQ(Prologue.DefaultIsStmt, 1u);
197a3acf99eSJames Henderson   EXPECT_EQ(Prologue.LineBase, -5);
19811a9de74SJames Henderson   EXPECT_EQ(Prologue.LineRange, 14u);
19911a9de74SJames Henderson   EXPECT_EQ(Prologue.OpcodeBase, 13u);
200a3acf99eSJames Henderson   std::vector<uint8_t> ExpectedLengths = {0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1};
201a3acf99eSJames Henderson   EXPECT_EQ(Prologue.StandardOpcodeLengths, ExpectedLengths);
20211a9de74SJames Henderson   ASSERT_EQ(Prologue.IncludeDirectories.size(), 1u);
203a3acf99eSJames Henderson   ASSERT_EQ(Prologue.IncludeDirectories[0].getForm(), DW_FORM_string);
204a3acf99eSJames Henderson   EXPECT_STREQ(*Prologue.IncludeDirectories[0].getAsCString(), "a dir");
20511a9de74SJames Henderson   ASSERT_EQ(Prologue.FileNames.size(), 1u);
206a3acf99eSJames Henderson   ASSERT_EQ(Prologue.FileNames[0].Name.getForm(), DW_FORM_string);
207a3acf99eSJames Henderson   EXPECT_STREQ(*Prologue.FileNames[0].Name.getAsCString(), "a file");
208a3acf99eSJames Henderson }
209a3acf99eSJames Henderson 
210a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, GetOrParseLineTableAtInvalidOffset) {
211a3acf99eSJames Henderson   if (!setupGenerator())
212a3acf99eSJames Henderson     return;
213a3acf99eSJames Henderson   generate();
214a3acf99eSJames Henderson 
21589b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
216a3acf99eSJames Henderson       "offset 0x00000000 is not a valid debug line section offset", 0);
217a3acf99eSJames Henderson   // Repeat to show that an error is reported each time.
21889b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
219a3acf99eSJames Henderson       "offset 0x00000000 is not a valid debug line section offset", 0);
220a3acf99eSJames Henderson   // Show that an error is reported for later offsets too.
22189b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
222a3acf99eSJames Henderson       "offset 0x00000001 is not a valid debug line section offset", 1);
223a3acf99eSJames Henderson }
224a3acf99eSJames Henderson 
225a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, GetOrParseLineTableAtInvalidOffsetAfterData) {
226a3acf99eSJames Henderson   if (!setupGenerator())
22766702629SJames Henderson     return;
22866702629SJames Henderson 
229a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
230a3acf99eSJames Henderson   LT.setCustomPrologue({{0, LineTable::Byte}});
23166702629SJames Henderson 
232a3acf99eSJames Henderson   generate();
233a3acf99eSJames Henderson 
23489b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
235a3acf99eSJames Henderson       "offset 0x00000001 is not a valid debug line section offset", 1);
236a3acf99eSJames Henderson }
237a3acf99eSJames Henderson 
238*021f5317SJames Henderson TEST_P(DebugLineParameterisedFixture, PrologueGetLength) {
239*021f5317SJames Henderson   if (!setupGenerator(Version))
240*021f5317SJames Henderson     return;
241*021f5317SJames Henderson   LineTable &LT = Gen->addLineTable(Format);
242*021f5317SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
243*021f5317SJames Henderson   LT.setPrologue(Prologue);
244*021f5317SJames Henderson   generate();
245*021f5317SJames Henderson 
246*021f5317SJames Henderson   // + 10 for sizes of DWARF-32 unit length, version, prologue length.
247*021f5317SJames Henderson   uint64_t ExpectedLength = Prologue.PrologueLength + 10;
248*021f5317SJames Henderson   if (Version == 5)
249*021f5317SJames Henderson     // Add address and segment selector size fields.
250*021f5317SJames Henderson     ExpectedLength += 2;
251*021f5317SJames Henderson   if (Format == DWARF64)
252*021f5317SJames Henderson     // Unit length grows by 8, prologue length by 4.
253*021f5317SJames Henderson     ExpectedLength += 12;
254*021f5317SJames Henderson 
255*021f5317SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
256*021f5317SJames Henderson                                                     nullptr, RecordRecoverable);
257*021f5317SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
258*021f5317SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Prologue.getLength(), ExpectedLength);
259*021f5317SJames Henderson }
260*021f5317SJames Henderson 
261a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, GetOrParseLineTableValidTable) {
262a3acf99eSJames Henderson   if (!setupGenerator(Version))
263a3acf99eSJames Henderson     return;
264a3acf99eSJames Henderson 
265a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
266a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
267a3acf99eSJames Henderson 
268a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
269a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}});
270a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
271a3acf99eSJames Henderson   LT.addByte(0xaa);
272a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
273a3acf99eSJames Henderson 
274a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(Format);
275a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x11223344, LineTable::Quad}});
276a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
277a3acf99eSJames Henderson   LT2.addByte(0xbb);
278a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
279a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x55667788, LineTable::Quad}});
280a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
281a3acf99eSJames Henderson   LT2.addByte(0xcc);
282a3acf99eSJames Henderson   LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {});
283a3acf99eSJames Henderson 
284a3acf99eSJames Henderson   generate();
285a3acf99eSJames Henderson 
286004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
287004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
288a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable.operator bool());
289004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
290a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected = *ExpectedLineTable;
291a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected->Prologue, 16);
292a68aee07SRoman Lebedev   EXPECT_EQ(Expected->Sequences.size(), 1u);
293a3acf99eSJames Henderson 
294a3acf99eSJames Henderson   uint64_t SecondOffset =
295a3acf99eSJames Henderson       Expected->Prologue.sizeofTotalLength() + Expected->Prologue.TotalLength;
296004b729eSJames Henderson   Recoverable = Error::success();
297a3acf99eSJames Henderson   auto ExpectedLineTable2 = Line.getOrParseLineTable(
298004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
299a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable2.operator bool());
300004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
301a3acf99eSJames Henderson   const DWARFDebugLine::LineTable *Expected2 = *ExpectedLineTable2;
302a3acf99eSJames Henderson   checkDefaultPrologue(Version, Format, Expected2->Prologue, 32);
30311a9de74SJames Henderson   EXPECT_EQ(Expected2->Sequences.size(), 2u);
304a3acf99eSJames Henderson 
305a3acf99eSJames Henderson   EXPECT_NE(Expected, Expected2);
306a3acf99eSJames Henderson 
307a3acf99eSJames Henderson   // Check that if the same offset is requested, the exact same pointer is
308a3acf99eSJames Henderson   // returned.
309004b729eSJames Henderson   Recoverable = Error::success();
310004b729eSJames Henderson   auto ExpectedLineTable3 = Line.getOrParseLineTable(
311004b729eSJames Henderson       LineData, 0, *Context, nullptr, RecordRecoverable);
312a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable3.operator bool());
313004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
314a3acf99eSJames Henderson   EXPECT_EQ(Expected, *ExpectedLineTable3);
315a3acf99eSJames Henderson 
316004b729eSJames Henderson   Recoverable = Error::success();
317a3acf99eSJames Henderson   auto ExpectedLineTable4 = Line.getOrParseLineTable(
318004b729eSJames Henderson       LineData, SecondOffset, *Context, nullptr, RecordRecoverable);
319a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable4.operator bool());
320004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
321a3acf99eSJames Henderson   EXPECT_EQ(Expected2, *ExpectedLineTable4);
322a3acf99eSJames Henderson 
323a3acf99eSJames Henderson   // TODO: Add tests that show that the body of the programs have been read
324a3acf99eSJames Henderson   // correctly.
325a3acf99eSJames Henderson }
326a3acf99eSJames Henderson 
327a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForReservedLength) {
328a3acf99eSJames Henderson   if (!setupGenerator())
329a3acf99eSJames Henderson     return;
330a3acf99eSJames Henderson 
331a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
332f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
333a3acf99eSJames Henderson 
334a3acf99eSJames Henderson   generate();
335a3acf99eSJames Henderson 
33689b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
337a3acf99eSJames Henderson       "parsing line table prologue at offset 0x00000000 unsupported reserved "
338f48bc018SIgor Kudrin       "unit length found of value 0xfffffff0");
339a3acf99eSJames Henderson }
340a3acf99eSJames Henderson 
341a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForLowVersion) {
342a3acf99eSJames Henderson   if (!setupGenerator())
343a3acf99eSJames Henderson     return;
344a3acf99eSJames Henderson 
345a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
346a3acf99eSJames Henderson   LT.setCustomPrologue(
347a3acf99eSJames Henderson       {{LineTable::Half, LineTable::Long}, {1, LineTable::Half}});
348a3acf99eSJames Henderson 
349a3acf99eSJames Henderson   generate();
350a3acf99eSJames Henderson 
35189b11843SJames Henderson   checkGetOrParseLineTableEmitsFatalError(
35289b11843SJames Henderson       "parsing line table prologue at offset "
353a3acf99eSJames Henderson       "0x00000000 found unsupported version "
354a3acf99eSJames Henderson       "0x01");
355a3acf99eSJames Henderson }
356a3acf99eSJames 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 
3897116e431SJames Henderson   checkError(
3900e7ba06eSJonas Devlieghere       {"parsing line table prologue at 0x00000000 found an invalid directory "
3910e7ba06eSJonas Devlieghere        "or file table description at 0x00000014",
3927116e431SJames Henderson        "failed to parse entry content descriptions because no path was found"},
3937116e431SJames Henderson       std::move(Recoverable));
394a3acf99eSJames Henderson }
395a3acf99eSJames Henderson 
396a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) {
397a3acf99eSJames Henderson   if (!setupGenerator(Version))
398a3acf99eSJames Henderson     return;
399a3acf99eSJames Henderson 
400a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
401a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
402a3acf99eSJames Henderson 
403a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
404a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
405a3acf99eSJames Henderson   ++Prologue.PrologueLength;
406a3acf99eSJames Henderson   LT.setPrologue(Prologue);
407a3acf99eSJames Henderson 
408a3acf99eSJames Henderson   generate();
409a3acf99eSJames Henderson 
4107116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4117116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4127116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4137116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4147116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4157116e431SJames Henderson   // "default" prologue.
4167116e431SJames Henderson   --Result.Prologue.PrologueLength;
4177116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4187116e431SJames Henderson 
419a3acf99eSJames Henderson   uint64_t ExpectedEnd =
420a3acf99eSJames Henderson       Prologue.TotalLength + 1 + Prologue.sizeofTotalLength();
4217116e431SJames Henderson   checkError(
422a3acf99eSJames Henderson       (Twine("parsing line table prologue at 0x00000000 should have ended at "
423a3acf99eSJames Henderson              "0x000000") +
424a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" +
425a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd - 1))
4267116e431SJames Henderson           .str(),
4277116e431SJames Henderson       std::move(Recoverable));
428a3acf99eSJames Henderson }
429a3acf99eSJames Henderson 
430a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) {
431a3acf99eSJames Henderson   if (!setupGenerator(Version))
432a3acf99eSJames Henderson     return;
433a3acf99eSJames Henderson 
434a3acf99eSJames Henderson   SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " +
435a3acf99eSJames Henderson                (Format == DWARF64 ? "DWARF64" : "DWARF32"));
436a3acf99eSJames Henderson 
437a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(Format);
438a3acf99eSJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
439a3acf99eSJames Henderson   // FIXME: Ideally, we'd test for 1 less than expected, but the code does not
440a3acf99eSJames Henderson   // currently fail if missing only the terminator of a v2-4 file table.
441a3acf99eSJames Henderson   if (Version < 5)
442a3acf99eSJames Henderson     Prologue.PrologueLength -= 2;
443a3acf99eSJames Henderson   else
444a3acf99eSJames Henderson     Prologue.PrologueLength -= 1;
445a3acf99eSJames Henderson   LT.setPrologue(Prologue);
446a3acf99eSJames Henderson 
447a3acf99eSJames Henderson   generate();
448a3acf99eSJames Henderson 
4497116e431SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
4507116e431SJames Henderson                                                     nullptr, RecordRecoverable);
4517116e431SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
4527116e431SJames Henderson   DWARFDebugLine::LineTable Result(**ExpectedLineTable);
4537116e431SJames Henderson   // Undo the earlier modification so that it can be compared against a
4547116e431SJames Henderson   // "default" prologue.
4557116e431SJames Henderson   if (Version < 5)
4567116e431SJames Henderson     Result.Prologue.PrologueLength += 2;
4577116e431SJames Henderson   else
4587116e431SJames Henderson     Result.Prologue.PrologueLength += 1;
4597116e431SJames Henderson   checkDefaultPrologue(Version, Format, Result.Prologue, 0);
4607116e431SJames Henderson 
461a3acf99eSJames Henderson   uint64_t ExpectedEnd =
462a3acf99eSJames Henderson       Prologue.TotalLength - 1 + Prologue.sizeofTotalLength();
463a3acf99eSJames Henderson   if (Version < 5)
464a3acf99eSJames Henderson     --ExpectedEnd;
4657116e431SJames Henderson   checkError(
466a3acf99eSJames Henderson       (Twine("parsing line table prologue at 0x00000000 should have ended at "
467a3acf99eSJames Henderson              "0x000000") +
468a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" +
469a3acf99eSJames Henderson        Twine::utohexstr(ExpectedEnd + 1))
4707116e431SJames Henderson           .str(),
4717116e431SJames Henderson       std::move(Recoverable));
472a3acf99eSJames Henderson }
473a3acf99eSJames Henderson 
474a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P(
475a3acf99eSJames Henderson     LineTableTestParams, DebugLineParameterisedFixture,
476a3acf99eSJames Henderson     Values(std::make_pair(
477a3acf99eSJames Henderson                2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32.
478a3acf99eSJames Henderson            std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields.
479a3acf99eSJames Henderson            std::make_pair(4, DWARF64), // Test v4 fields and DWARF64.
480a3acf99eSJames Henderson            std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), );
481a3acf99eSJames Henderson 
482f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthSmallerThanExpected) {
483a3acf99eSJames Henderson   if (!setupGenerator())
484a3acf99eSJames Henderson     return;
485a3acf99eSJames Henderson 
486a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
487f1be770fSJames Henderson   LT.addByte(0xaa);
488f1be770fSJames Henderson   // The Length should be 1 + sizeof(ULEB) for a set discriminator opcode.
489f1be770fSJames Henderson   // The operand will be read for both the discriminator opcode and then parsed
490f1be770fSJames Henderson   // again as DW_LNS_negate_stmt, to respect the claimed length.
491f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_set_discriminator,
492f1be770fSJames Henderson                        {{DW_LNS_negate_stmt, LineTable::ULEB}});
493f1be770fSJames Henderson   LT.addByte(0xbb);
494f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
495f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
496a3acf99eSJames Henderson 
497a3acf99eSJames Henderson   generate();
498a3acf99eSJames Henderson 
499f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
500f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
501f1be770fSJames Henderson   checkError(
502f1be770fSJames Henderson       "unexpected line op length at offset 0x00000031 expected 0x01 found 0x02",
503f1be770fSJames Henderson       std::move(Recoverable));
504f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
505f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u);
506f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
507f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].IsStmt, 0u);
508f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Discriminator, DW_LNS_negate_stmt);
509f1be770fSJames Henderson }
510f1be770fSJames Henderson 
511f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthLargerThanExpected) {
512f1be770fSJames Henderson   if (!setupGenerator())
513f1be770fSJames Henderson     return;
514f1be770fSJames Henderson 
515f1be770fSJames Henderson   LineTable &LT = Gen->addLineTable();
516f1be770fSJames Henderson   LT.addByte(0xaa);
517f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
518f1be770fSJames Henderson   // The Length should be 1 for an end sequence opcode.
519f1be770fSJames Henderson   LT.addExtendedOpcode(2, DW_LNE_end_sequence, {});
520f1be770fSJames Henderson   // The negate statement opcode will be skipped.
521f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
522f1be770fSJames Henderson   LT.addByte(0xbb);
523f1be770fSJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
524f1be770fSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
525f1be770fSJames Henderson 
526f1be770fSJames Henderson   generate();
527f1be770fSJames Henderson 
528f1be770fSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
529f1be770fSJames Henderson                                                     nullptr, RecordRecoverable);
530f1be770fSJames Henderson   checkError(
531f1be770fSJames Henderson       "unexpected line op length at offset 0x00000032 expected 0x02 found 0x01",
532f1be770fSJames Henderson       std::move(Recoverable));
533f1be770fSJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
534f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 4u);
535f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 2u);
536f1be770fSJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Sequences[1].FirstRowIndex, 2u);
537f1be770fSJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[2].IsStmt, 1u);
538a3acf99eSJames Henderson }
539a3acf99eSJames Henderson 
540216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) {
541216796f2SJames Henderson   if (!setupGenerator())
542216796f2SJames Henderson     return;
543216796f2SJames Henderson 
544216796f2SJames Henderson   LineTable &Padding = Gen->addLineTable();
545216796f2SJames Henderson   // Add some padding to show that a non-zero offset is handled correctly.
546216796f2SJames Henderson   Padding.setCustomPrologue({{0, LineTable::Byte}});
547216796f2SJames Henderson   LineTable &LT = Gen->addLineTable();
548216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
549216796f2SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
550216796f2SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
551216796f2SJames Henderson   DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue();
552216796f2SJames Henderson   // Set the total length to 1 higher than the actual length. The program body
553216796f2SJames Henderson   // has size 5.
554216796f2SJames Henderson   Prologue.TotalLength += 6;
555216796f2SJames Henderson   LT.setPrologue(Prologue);
556216796f2SJames Henderson 
557216796f2SJames Henderson   generate();
558216796f2SJames Henderson 
559216796f2SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context,
560216796f2SJames Henderson                                                     nullptr, RecordRecoverable);
561216796f2SJames Henderson   checkError("line table program with offset 0x00000001 has length 0x00000034 "
562216796f2SJames Henderson              "but only 0x00000033 bytes are available",
563216796f2SJames Henderson              std::move(Recoverable));
564216796f2SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
565216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
566216796f2SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
567216796f2SJames Henderson }
568216796f2SJames Henderson 
569a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) {
57007804f75SJames Henderson   if (!setupGenerator(4, 8))
571a3acf99eSJames Henderson     return;
572a3acf99eSJames Henderson 
573a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
574a3acf99eSJames Henderson   // The line data extractor expects size 8 (Quad) addresses.
57507804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
57607804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
577a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
57807804f75SJames Henderson   // Show that the expected address size is unchanged, so later valid lines
57907804f75SJames Henderson   // don't cause a problem.
58007804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
58107804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
582a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
583a3acf99eSJames Henderson 
584a3acf99eSJames Henderson   generate();
585a3acf99eSJames Henderson 
58607804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
58707804f75SJames Henderson                                                     nullptr, RecordRecoverable);
58807804f75SJames Henderson   checkError(
58907804f75SJames Henderson       "mismatching address size at offset 0x00000030 expected 0x08 found 0x04",
59007804f75SJames Henderson       std::move(Recoverable));
59107804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
59207804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
59307804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
59407804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
59507804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
59607804f75SJames Henderson }
59707804f75SJames Henderson 
59807804f75SJames Henderson TEST_F(DebugLineBasicFixture,
59907804f75SJames Henderson        ErrorForMismatchedAddressSizeUnsetInitialAddress) {
60007804f75SJames Henderson   if (!setupGenerator(4, 0))
60107804f75SJames Henderson     return;
60207804f75SJames Henderson 
60307804f75SJames Henderson   LineTable &LT = Gen->addLineTable();
60407804f75SJames Henderson   uint64_t Addr1 = 0x11223344;
60507804f75SJames Henderson   LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}});
60607804f75SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
60707804f75SJames Henderson   uint64_t Addr2 = 0x1122334455667788;
60807804f75SJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}});
60907804f75SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
61007804f75SJames Henderson 
61107804f75SJames Henderson   generate();
61207804f75SJames Henderson 
61307804f75SJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
61407804f75SJames Henderson                                                     nullptr, RecordRecoverable);
61507804f75SJames Henderson   checkError(
61607804f75SJames Henderson       "mismatching address size at offset 0x00000038 expected 0x04 found 0x08",
61707804f75SJames Henderson       std::move(Recoverable));
61807804f75SJames Henderson   ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded());
61907804f75SJames Henderson   ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u);
62007804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
62107804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1);
62207804f75SJames Henderson   EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2);
623a3acf99eSJames Henderson }
624a3acf99eSJames Henderson 
625a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) {
626a3acf99eSJames Henderson   if (!setupGenerator())
627a3acf99eSJames Henderson     return;
628a3acf99eSJames Henderson 
629a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
630a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
631a3acf99eSJames Henderson                        {{0x1122334455667788, LineTable::Quad}});
632a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
633a3acf99eSJames Henderson   LT.addByte(0xaa);
634a3acf99eSJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
635a3acf99eSJames Henderson   LT.addExtendedOpcode(9, DW_LNE_set_address,
636a3acf99eSJames Henderson                        {{0x99aabbccddeeff00, LineTable::Quad}});
637a3acf99eSJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
638a3acf99eSJames Henderson   LT.addByte(0xbb);
639a3acf99eSJames Henderson   LT.addByte(0xcc);
640a3acf99eSJames Henderson 
641a3acf99eSJames Henderson   generate();
642a3acf99eSJames Henderson 
643004b729eSJames Henderson   auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context,
644004b729eSJames Henderson                                                     nullptr, RecordRecoverable);
6456e3ca962SJames Henderson   checkError("last sequence in debug line table at offset 0x00000000 is not "
6466e3ca962SJames Henderson              "terminated",
647004b729eSJames Henderson              std::move(Recoverable));
648a3acf99eSJames Henderson   ASSERT_TRUE(ExpectedLineTable.operator bool());
649a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u);
650a3acf99eSJames Henderson   // The unterminated sequence is not added to the sequence list.
651a68aee07SRoman Lebedev   EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u);
652a3acf99eSJames Henderson }
653a3acf99eSJames Henderson 
654a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) {
655a3acf99eSJames Henderson   if (!setupGenerator())
656a3acf99eSJames Henderson     return;
657a3acf99eSJames Henderson 
658a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
659a3acf99eSJames Henderson 
66011a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
661a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
662a3acf99eSJames Henderson 
663004b729eSJames Henderson   DWARFDebugLine::LineTable Parsed =
664004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
665a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16);
66611a9de74SJames Henderson   EXPECT_EQ(Parsed.Sequences.size(), 1u);
66711a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
668a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
669a3acf99eSJames Henderson 
670a3acf99eSJames Henderson   DWARFDebugLine::LineTable Parsed2 =
671004b729eSJames Henderson       Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
672a3acf99eSJames Henderson   checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16);
67311a9de74SJames Henderson   EXPECT_EQ(Parsed2.Sequences.size(), 1u);
67411a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
675a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
676a3acf99eSJames Henderson 
677004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
678004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
679a3acf99eSJames Henderson }
680a3acf99eSJames Henderson 
681a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) {
682a3acf99eSJames Henderson   if (!setupGenerator())
683a3acf99eSJames Henderson     return;
684a3acf99eSJames Henderson 
685a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser = setupParser();
686a3acf99eSJames Henderson 
68711a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 0u);
688a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
689a3acf99eSJames Henderson 
6907116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
69111a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 62u);
692a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
693a3acf99eSJames Henderson 
6947116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
69511a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 136u);
696a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
697a3acf99eSJames Henderson 
6987116e431SJames Henderson   EXPECT_FALSE(Recoverable);
699004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
700a3acf99eSJames Henderson }
701a3acf99eSJames Henderson 
702a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) {
703a3acf99eSJames Henderson   if (!setupGenerator())
704a3acf99eSJames Henderson     return;
705a3acf99eSJames Henderson 
706a3acf99eSJames Henderson   generate();
707a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
708a3acf99eSJames Henderson 
709a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
710a3acf99eSJames Henderson }
711a3acf99eSJames Henderson 
712a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenParsing) {
713a3acf99eSJames Henderson   if (!setupGenerator())
714a3acf99eSJames Henderson     return;
715a3acf99eSJames Henderson 
716a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
717f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
718a3acf99eSJames Henderson   Gen->addLineTable();
719a3acf99eSJames Henderson   generate();
720a3acf99eSJames Henderson 
721a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
722004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
723a3acf99eSJames Henderson 
72411a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 4u);
725a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
726004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
727a3acf99eSJames Henderson 
728a3acf99eSJames Henderson   checkError("parsing line table prologue at offset 0x00000000 unsupported "
729f48bc018SIgor Kudrin              "reserved unit length found of value 0xfffffff0",
730004b729eSJames Henderson              std::move(Unrecoverable));
731a3acf99eSJames Henderson }
732a3acf99eSJames Henderson 
733a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenSkipping) {
734a3acf99eSJames Henderson   if (!setupGenerator())
735a3acf99eSJames Henderson     return;
736a3acf99eSJames Henderson 
737a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable();
738f48bc018SIgor Kudrin   LT.setCustomPrologue({{0xfffffff0, LineTable::Long}});
739a3acf99eSJames Henderson   Gen->addLineTable();
740a3acf99eSJames Henderson   generate();
741a3acf99eSJames Henderson 
742a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
7437116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
744a3acf99eSJames Henderson 
74511a9de74SJames Henderson   EXPECT_EQ(Parser.getOffset(), 4u);
746a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
7477116e431SJames Henderson   EXPECT_FALSE(Recoverable);
748a3acf99eSJames Henderson 
749a3acf99eSJames Henderson   checkError("parsing line table prologue at offset 0x00000000 unsupported "
750f48bc018SIgor Kudrin              "reserved unit length found of value 0xfffffff0",
751004b729eSJames Henderson              std::move(Unrecoverable));
752a3acf99eSJames Henderson }
753a3acf99eSJames Henderson 
754a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) {
755a3acf99eSJames Henderson   if (!setupGenerator())
756a3acf99eSJames Henderson     return;
757a3acf99eSJames Henderson 
758a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
759a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
760a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
761a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
762a3acf99eSJames Henderson   generate();
763a3acf99eSJames Henderson 
764a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
765004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
766a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
767004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
768a3acf99eSJames Henderson 
769a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
770004b729eSJames Henderson   EXPECT_FALSE(Recoverable);
771a3acf99eSJames Henderson 
772a3acf99eSJames Henderson   checkError({"parsing line table prologue at offset 0x00000000 found "
773a3acf99eSJames Henderson               "unsupported version 0x00",
774a3acf99eSJames Henderson               "parsing line table prologue at offset 0x00000006 found "
775a3acf99eSJames Henderson               "unsupported version 0x01"},
776004b729eSJames Henderson              std::move(Unrecoverable));
777a3acf99eSJames Henderson }
778a3acf99eSJames Henderson 
779a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) {
780a3acf99eSJames Henderson   if (!setupGenerator())
781a3acf99eSJames Henderson     return;
782a3acf99eSJames Henderson 
783a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
784a3acf99eSJames Henderson   LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {});
785a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
786a3acf99eSJames Henderson   LT2.addExtendedOpcode(9, DW_LNE_set_address,
787a3acf99eSJames Henderson                         {{0x1234567890abcdef, LineTable::Quad}});
788a3acf99eSJames Henderson   LT2.addStandardOpcode(DW_LNS_copy, {});
789a3acf99eSJames Henderson   LT2.addByte(0xbb);
790a3acf99eSJames Henderson   generate();
791a3acf99eSJames Henderson 
792a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
793004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
794f1be770fSJames Henderson   EXPECT_FALSE(Unrecoverable);
795a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
796a3acf99eSJames Henderson   checkError(
797a3acf99eSJames Henderson       "unexpected line op length at offset 0x00000030 expected 0x42 found 0x01",
798f1be770fSJames Henderson       std::move(Recoverable));
799a3acf99eSJames Henderson 
800a3acf99eSJames Henderson   // Reset the error state so that it does not confuse the next set of checks.
801004b729eSJames Henderson   Unrecoverable = Error::success();
802004b729eSJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable);
803a3acf99eSJames Henderson 
804a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8056e3ca962SJames Henderson   checkError("last sequence in debug line table at offset 0x00000031 is not "
8066e3ca962SJames Henderson              "terminated",
807004b729eSJames Henderson              std::move(Recoverable));
808004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
809a3acf99eSJames Henderson }
810a3acf99eSJames Henderson 
811a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture,
812a3acf99eSJames Henderson        ParserReportsPrologueErrorsInEachTableWhenSkipping) {
813a3acf99eSJames Henderson   if (!setupGenerator())
814a3acf99eSJames Henderson     return;
815a3acf99eSJames Henderson 
816a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
817a3acf99eSJames Henderson   LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}});
818a3acf99eSJames Henderson   LineTable &LT2 = Gen->addLineTable(DWARF32);
819a3acf99eSJames Henderson   LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}});
820a3acf99eSJames Henderson   generate();
821a3acf99eSJames Henderson 
822a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
8237116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
824a3acf99eSJames Henderson   ASSERT_FALSE(Parser.done());
8257116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
826a3acf99eSJames Henderson 
827a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8287116e431SJames Henderson   EXPECT_FALSE(Recoverable);
829a3acf99eSJames Henderson 
830a3acf99eSJames Henderson   checkError({"parsing line table prologue at offset 0x00000000 found "
831a3acf99eSJames Henderson               "unsupported version 0x00",
832a3acf99eSJames Henderson               "parsing line table prologue at offset 0x00000006 found "
833a3acf99eSJames Henderson               "unsupported version 0x01"},
834004b729eSJames Henderson              std::move(Unrecoverable));
835a3acf99eSJames Henderson }
836a3acf99eSJames Henderson 
837a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) {
838a3acf99eSJames Henderson   if (!setupGenerator())
839a3acf99eSJames Henderson     return;
840a3acf99eSJames Henderson 
841a3acf99eSJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
842a3acf99eSJames Henderson   LT.addExtendedOpcode(42, DW_LNE_end_sequence, {});
843a3acf99eSJames Henderson   generate();
844a3acf99eSJames Henderson 
845a3acf99eSJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
8467116e431SJames Henderson   Parser.skip(RecordRecoverable, RecordUnrecoverable);
847a3acf99eSJames Henderson 
848a3acf99eSJames Henderson   EXPECT_TRUE(Parser.done());
8497116e431SJames Henderson   EXPECT_FALSE(Recoverable);
850004b729eSJames Henderson   EXPECT_FALSE(Unrecoverable);
85166702629SJames Henderson }
85266702629SJames Henderson 
8532f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) {
8542f815502SJames Henderson   if (!setupGenerator())
8552f815502SJames Henderson     return;
8562f815502SJames Henderson 
8572f815502SJames Henderson   using ValLen = dwarfgen::LineTable::ValueAndLength;
8582f815502SJames Henderson   LineTable &LT = Gen->addLineTable(DWARF32);
8592f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_copy, {});
8602f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}});
8612f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}});
8622f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}});
8632f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}});
8642f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_negate_stmt, {});
8652f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_basic_block, {});
8662f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_const_add_pc, {});
8672f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}});
8682f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_prologue_end, {});
8692f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {});
8702f815502SJames Henderson   LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}});
8712f815502SJames Henderson   LT.addExtendedOpcode(1, DW_LNE_end_sequence, {});
8722f815502SJames Henderson   generate();
8732f815502SJames Henderson 
8742f815502SJames Henderson   DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs);
8752f815502SJames Henderson   std::string Output;
8762f815502SJames Henderson   raw_string_ostream OS(Output);
8772f815502SJames Henderson   Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS);
8782f815502SJames Henderson   OS.flush();
8792f815502SJames Henderson 
8802f815502SJames Henderson   EXPECT_FALSE(Recoverable);
8812f815502SJames Henderson   EXPECT_FALSE(Unrecoverable);
8822f815502SJames Henderson   auto InOutput = [&Output](char const *Str) {
8832f815502SJames Henderson     return Output.find(Str) != std::string::npos;
8842f815502SJames Henderson   };
8852f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output;
8862f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output;
8872f815502SJames Henderson   // FIXME: The value printed after DW_LNS_advance_line is currently the result
8882f815502SJames Henderson   // of the advance, but it should be the value being advanced by. See
8892f815502SJames Henderson   // https://bugs.llvm.org/show_bug.cgi?id=44261 for details.
8902f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output;
8912f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output;
8922f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output;
8932f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output;
8942f815502SJames Henderson   EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output;
8952f815502SJames Henderson   EXPECT_TRUE(
8962f815502SJames Henderson       InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n"))
8972f815502SJames Henderson       << Output;
8982f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n"))
8992f815502SJames Henderson       << Output;
9002f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output;
9012f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output;
9022f815502SJames Henderson   EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output;
9032f815502SJames Henderson }
9042f815502SJames Henderson 
90566702629SJames Henderson } // end anonymous namespace
906