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 < = 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 <2 = 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 < = 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 238a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, GetOrParseLineTableValidTable) { 239a3acf99eSJames Henderson if (!setupGenerator(Version)) 240a3acf99eSJames Henderson return; 241a3acf99eSJames Henderson 242a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 243a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 244a3acf99eSJames Henderson 245a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 246a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}}); 247a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 248a3acf99eSJames Henderson LT.addByte(0xaa); 249a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 250a3acf99eSJames Henderson 251a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(Format); 252a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x11223344, LineTable::Quad}}); 253a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 254a3acf99eSJames Henderson LT2.addByte(0xbb); 255a3acf99eSJames Henderson LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 256a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x55667788, LineTable::Quad}}); 257a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 258a3acf99eSJames Henderson LT2.addByte(0xcc); 259a3acf99eSJames Henderson LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 260a3acf99eSJames Henderson 261a3acf99eSJames Henderson generate(); 262a3acf99eSJames Henderson 263004b729eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 264004b729eSJames Henderson nullptr, RecordRecoverable); 265a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable.operator bool()); 266004b729eSJames Henderson EXPECT_FALSE(Recoverable); 267a3acf99eSJames Henderson const DWARFDebugLine::LineTable *Expected = *ExpectedLineTable; 268a3acf99eSJames Henderson checkDefaultPrologue(Version, Format, Expected->Prologue, 16); 269a68aee07SRoman Lebedev EXPECT_EQ(Expected->Sequences.size(), 1u); 270a3acf99eSJames Henderson 271a3acf99eSJames Henderson uint64_t SecondOffset = 272a3acf99eSJames Henderson Expected->Prologue.sizeofTotalLength() + Expected->Prologue.TotalLength; 273004b729eSJames Henderson Recoverable = Error::success(); 274a3acf99eSJames Henderson auto ExpectedLineTable2 = Line.getOrParseLineTable( 275004b729eSJames Henderson LineData, SecondOffset, *Context, nullptr, RecordRecoverable); 276a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable2.operator bool()); 277004b729eSJames Henderson EXPECT_FALSE(Recoverable); 278a3acf99eSJames Henderson const DWARFDebugLine::LineTable *Expected2 = *ExpectedLineTable2; 279a3acf99eSJames Henderson checkDefaultPrologue(Version, Format, Expected2->Prologue, 32); 28011a9de74SJames Henderson EXPECT_EQ(Expected2->Sequences.size(), 2u); 281a3acf99eSJames Henderson 282a3acf99eSJames Henderson EXPECT_NE(Expected, Expected2); 283a3acf99eSJames Henderson 284a3acf99eSJames Henderson // Check that if the same offset is requested, the exact same pointer is 285a3acf99eSJames Henderson // returned. 286004b729eSJames Henderson Recoverable = Error::success(); 287004b729eSJames Henderson auto ExpectedLineTable3 = Line.getOrParseLineTable( 288004b729eSJames Henderson LineData, 0, *Context, nullptr, RecordRecoverable); 289a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable3.operator bool()); 290004b729eSJames Henderson EXPECT_FALSE(Recoverable); 291a3acf99eSJames Henderson EXPECT_EQ(Expected, *ExpectedLineTable3); 292a3acf99eSJames Henderson 293004b729eSJames Henderson Recoverable = Error::success(); 294a3acf99eSJames Henderson auto ExpectedLineTable4 = Line.getOrParseLineTable( 295004b729eSJames Henderson LineData, SecondOffset, *Context, nullptr, RecordRecoverable); 296a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable4.operator bool()); 297004b729eSJames Henderson EXPECT_FALSE(Recoverable); 298a3acf99eSJames Henderson EXPECT_EQ(Expected2, *ExpectedLineTable4); 299a3acf99eSJames Henderson 300a3acf99eSJames Henderson // TODO: Add tests that show that the body of the programs have been read 301a3acf99eSJames Henderson // correctly. 302a3acf99eSJames Henderson } 303a3acf99eSJames Henderson 304a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForReservedLength) { 305a3acf99eSJames Henderson if (!setupGenerator()) 306a3acf99eSJames Henderson return; 307a3acf99eSJames Henderson 308a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 309f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 310a3acf99eSJames Henderson 311a3acf99eSJames Henderson generate(); 312a3acf99eSJames Henderson 31389b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 314a3acf99eSJames Henderson "parsing line table prologue at offset 0x00000000 unsupported reserved " 315f48bc018SIgor Kudrin "unit length found of value 0xfffffff0"); 316a3acf99eSJames Henderson } 317a3acf99eSJames Henderson 318a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForLowVersion) { 319a3acf99eSJames Henderson if (!setupGenerator()) 320a3acf99eSJames Henderson return; 321a3acf99eSJames Henderson 322a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 323a3acf99eSJames Henderson LT.setCustomPrologue( 324a3acf99eSJames Henderson {{LineTable::Half, LineTable::Long}, {1, LineTable::Half}}); 325a3acf99eSJames Henderson 326a3acf99eSJames Henderson generate(); 327a3acf99eSJames Henderson 32889b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 32989b11843SJames Henderson "parsing line table prologue at offset " 330a3acf99eSJames Henderson "0x00000000 found unsupported version " 331a3acf99eSJames Henderson "0x01"); 332a3acf99eSJames Henderson } 333a3acf99eSJames Henderson 334a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForInvalidV5IncludeDirTable) { 335a3acf99eSJames Henderson if (!setupGenerator(5)) 336a3acf99eSJames Henderson return; 337a3acf99eSJames Henderson 338a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 339a3acf99eSJames Henderson LT.setCustomPrologue({ 340a3acf99eSJames Henderson {19, LineTable::Long}, // unit length 341a3acf99eSJames Henderson {5, LineTable::Half}, // version 342a3acf99eSJames Henderson {8, LineTable::Byte}, // addr size 343a3acf99eSJames Henderson {0, LineTable::Byte}, // segment selector size 344a3acf99eSJames Henderson {11, LineTable::Long}, // prologue length 345a3acf99eSJames Henderson {1, LineTable::Byte}, // min instruction length 346a3acf99eSJames Henderson {1, LineTable::Byte}, // max ops per instruction 347a3acf99eSJames Henderson {1, LineTable::Byte}, // default is_stmt 348a3acf99eSJames Henderson {0, LineTable::Byte}, // line base 349a3acf99eSJames Henderson {14, LineTable::Byte}, // line range 350a3acf99eSJames Henderson {2, LineTable::Byte}, // opcode base (small to reduce the amount of 351a3acf99eSJames Henderson // setup required). 352a3acf99eSJames Henderson {0, LineTable::Byte}, // standard opcode lengths 353a3acf99eSJames Henderson {0, LineTable::Byte}, // directory entry format count (should not be 354a3acf99eSJames Henderson // zero). 355a3acf99eSJames Henderson {0, LineTable::ULEB}, // directories count 356a3acf99eSJames Henderson {0, LineTable::Byte}, // file name entry format count 357a3acf99eSJames Henderson {0, LineTable::ULEB} // file name entry count 358a3acf99eSJames Henderson }); 359a3acf99eSJames Henderson 360a3acf99eSJames Henderson generate(); 361a3acf99eSJames Henderson 362*7116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 363*7116e431SJames Henderson nullptr, RecordRecoverable); 364*7116e431SJames Henderson EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 365*7116e431SJames Henderson 366*7116e431SJames Henderson checkError( 3670e7ba06eSJonas Devlieghere {"parsing line table prologue at 0x00000000 found an invalid directory " 3680e7ba06eSJonas Devlieghere "or file table description at 0x00000014", 369*7116e431SJames Henderson "failed to parse entry content descriptions because no path was found"}, 370*7116e431SJames Henderson std::move(Recoverable)); 371a3acf99eSJames Henderson } 372a3acf99eSJames Henderson 373a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) { 374a3acf99eSJames Henderson if (!setupGenerator(Version)) 375a3acf99eSJames Henderson return; 376a3acf99eSJames Henderson 377a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 378a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 379a3acf99eSJames Henderson 380a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 381a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 382a3acf99eSJames Henderson ++Prologue.PrologueLength; 383a3acf99eSJames Henderson LT.setPrologue(Prologue); 384a3acf99eSJames Henderson 385a3acf99eSJames Henderson generate(); 386a3acf99eSJames Henderson 387*7116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 388*7116e431SJames Henderson nullptr, RecordRecoverable); 389*7116e431SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 390*7116e431SJames Henderson DWARFDebugLine::LineTable Result(**ExpectedLineTable); 391*7116e431SJames Henderson // Undo the earlier modification so that it can be compared against a 392*7116e431SJames Henderson // "default" prologue. 393*7116e431SJames Henderson --Result.Prologue.PrologueLength; 394*7116e431SJames Henderson checkDefaultPrologue(Version, Format, Result.Prologue, 0); 395*7116e431SJames Henderson 396a3acf99eSJames Henderson uint64_t ExpectedEnd = 397a3acf99eSJames Henderson Prologue.TotalLength + 1 + Prologue.sizeofTotalLength(); 398*7116e431SJames Henderson checkError( 399a3acf99eSJames Henderson (Twine("parsing line table prologue at 0x00000000 should have ended at " 400a3acf99eSJames Henderson "0x000000") + 401a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" + 402a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd - 1)) 403*7116e431SJames Henderson .str(), 404*7116e431SJames Henderson std::move(Recoverable)); 405a3acf99eSJames Henderson } 406a3acf99eSJames Henderson 407a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) { 408a3acf99eSJames Henderson if (!setupGenerator(Version)) 409a3acf99eSJames Henderson return; 410a3acf99eSJames Henderson 411a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 412a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 413a3acf99eSJames Henderson 414a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 415a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 416a3acf99eSJames Henderson // FIXME: Ideally, we'd test for 1 less than expected, but the code does not 417a3acf99eSJames Henderson // currently fail if missing only the terminator of a v2-4 file table. 418a3acf99eSJames Henderson if (Version < 5) 419a3acf99eSJames Henderson Prologue.PrologueLength -= 2; 420a3acf99eSJames Henderson else 421a3acf99eSJames Henderson Prologue.PrologueLength -= 1; 422a3acf99eSJames Henderson LT.setPrologue(Prologue); 423a3acf99eSJames Henderson 424a3acf99eSJames Henderson generate(); 425a3acf99eSJames Henderson 426*7116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 427*7116e431SJames Henderson nullptr, RecordRecoverable); 428*7116e431SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 429*7116e431SJames Henderson DWARFDebugLine::LineTable Result(**ExpectedLineTable); 430*7116e431SJames Henderson // Undo the earlier modification so that it can be compared against a 431*7116e431SJames Henderson // "default" prologue. 432*7116e431SJames Henderson if (Version < 5) 433*7116e431SJames Henderson Result.Prologue.PrologueLength += 2; 434*7116e431SJames Henderson else 435*7116e431SJames Henderson Result.Prologue.PrologueLength += 1; 436*7116e431SJames Henderson checkDefaultPrologue(Version, Format, Result.Prologue, 0); 437*7116e431SJames Henderson 438a3acf99eSJames Henderson uint64_t ExpectedEnd = 439a3acf99eSJames Henderson Prologue.TotalLength - 1 + Prologue.sizeofTotalLength(); 440a3acf99eSJames Henderson if (Version < 5) 441a3acf99eSJames Henderson --ExpectedEnd; 442*7116e431SJames Henderson checkError( 443a3acf99eSJames Henderson (Twine("parsing line table prologue at 0x00000000 should have ended at " 444a3acf99eSJames Henderson "0x000000") + 445a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" + 446a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd + 1)) 447*7116e431SJames Henderson .str(), 448*7116e431SJames Henderson std::move(Recoverable)); 449a3acf99eSJames Henderson } 450a3acf99eSJames Henderson 451a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P( 452a3acf99eSJames Henderson LineTableTestParams, DebugLineParameterisedFixture, 453a3acf99eSJames Henderson Values(std::make_pair( 454a3acf99eSJames Henderson 2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32. 455a3acf99eSJames Henderson std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields. 456a3acf99eSJames Henderson std::make_pair(4, DWARF64), // Test v4 fields and DWARF64. 457a3acf99eSJames Henderson std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), ); 458a3acf99eSJames Henderson 459f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthSmallerThanExpected) { 460a3acf99eSJames Henderson if (!setupGenerator()) 461a3acf99eSJames Henderson return; 462a3acf99eSJames Henderson 463a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 464f1be770fSJames Henderson LT.addByte(0xaa); 465f1be770fSJames Henderson // The Length should be 1 + sizeof(ULEB) for a set discriminator opcode. 466f1be770fSJames Henderson // The operand will be read for both the discriminator opcode and then parsed 467f1be770fSJames Henderson // again as DW_LNS_negate_stmt, to respect the claimed length. 468f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_set_discriminator, 469f1be770fSJames Henderson {{DW_LNS_negate_stmt, LineTable::ULEB}}); 470f1be770fSJames Henderson LT.addByte(0xbb); 471f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 472f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 473a3acf99eSJames Henderson 474a3acf99eSJames Henderson generate(); 475a3acf99eSJames Henderson 476f1be770fSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 477f1be770fSJames Henderson nullptr, RecordRecoverable); 478f1be770fSJames Henderson checkError( 479f1be770fSJames Henderson "unexpected line op length at offset 0x00000031 expected 0x01 found 0x02", 480f1be770fSJames Henderson std::move(Recoverable)); 481f1be770fSJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 482f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u); 483f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 484f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].IsStmt, 0u); 485f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Discriminator, DW_LNS_negate_stmt); 486f1be770fSJames Henderson } 487f1be770fSJames Henderson 488f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthLargerThanExpected) { 489f1be770fSJames Henderson if (!setupGenerator()) 490f1be770fSJames Henderson return; 491f1be770fSJames Henderson 492f1be770fSJames Henderson LineTable < = Gen->addLineTable(); 493f1be770fSJames Henderson LT.addByte(0xaa); 494f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 495f1be770fSJames Henderson // The Length should be 1 for an end sequence opcode. 496f1be770fSJames Henderson LT.addExtendedOpcode(2, DW_LNE_end_sequence, {}); 497f1be770fSJames Henderson // The negate statement opcode will be skipped. 498f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_negate_stmt, {}); 499f1be770fSJames Henderson LT.addByte(0xbb); 500f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 501f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 502f1be770fSJames Henderson 503f1be770fSJames Henderson generate(); 504f1be770fSJames Henderson 505f1be770fSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 506f1be770fSJames Henderson nullptr, RecordRecoverable); 507f1be770fSJames Henderson checkError( 508f1be770fSJames Henderson "unexpected line op length at offset 0x00000032 expected 0x02 found 0x01", 509f1be770fSJames Henderson std::move(Recoverable)); 510f1be770fSJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 511f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 4u); 512f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 2u); 513f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Sequences[1].FirstRowIndex, 2u); 514f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[2].IsStmt, 1u); 515a3acf99eSJames Henderson } 516a3acf99eSJames Henderson 517216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) { 518216796f2SJames Henderson if (!setupGenerator()) 519216796f2SJames Henderson return; 520216796f2SJames Henderson 521216796f2SJames Henderson LineTable &Padding = Gen->addLineTable(); 522216796f2SJames Henderson // Add some padding to show that a non-zero offset is handled correctly. 523216796f2SJames Henderson Padding.setCustomPrologue({{0, LineTable::Byte}}); 524216796f2SJames Henderson LineTable < = Gen->addLineTable(); 525216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 526216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 527216796f2SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 528216796f2SJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 529216796f2SJames Henderson // Set the total length to 1 higher than the actual length. The program body 530216796f2SJames Henderson // has size 5. 531216796f2SJames Henderson Prologue.TotalLength += 6; 532216796f2SJames Henderson LT.setPrologue(Prologue); 533216796f2SJames Henderson 534216796f2SJames Henderson generate(); 535216796f2SJames Henderson 536216796f2SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context, 537216796f2SJames Henderson nullptr, RecordRecoverable); 538216796f2SJames Henderson checkError("line table program with offset 0x00000001 has length 0x00000034 " 539216796f2SJames Henderson "but only 0x00000033 bytes are available", 540216796f2SJames Henderson std::move(Recoverable)); 541216796f2SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 542216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 543216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 544216796f2SJames Henderson } 545216796f2SJames Henderson 546a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) { 54707804f75SJames Henderson if (!setupGenerator(4, 8)) 548a3acf99eSJames Henderson return; 549a3acf99eSJames Henderson 550a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 551a3acf99eSJames Henderson // The line data extractor expects size 8 (Quad) addresses. 55207804f75SJames Henderson uint64_t Addr1 = 0x11223344; 55307804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 554a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 55507804f75SJames Henderson // Show that the expected address size is unchanged, so later valid lines 55607804f75SJames Henderson // don't cause a problem. 55707804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 55807804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 559a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 560a3acf99eSJames Henderson 561a3acf99eSJames Henderson generate(); 562a3acf99eSJames Henderson 56307804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 56407804f75SJames Henderson nullptr, RecordRecoverable); 56507804f75SJames Henderson checkError( 56607804f75SJames Henderson "mismatching address size at offset 0x00000030 expected 0x08 found 0x04", 56707804f75SJames Henderson std::move(Recoverable)); 56807804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 56907804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 57007804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 57107804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 57207804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 57307804f75SJames Henderson } 57407804f75SJames Henderson 57507804f75SJames Henderson TEST_F(DebugLineBasicFixture, 57607804f75SJames Henderson ErrorForMismatchedAddressSizeUnsetInitialAddress) { 57707804f75SJames Henderson if (!setupGenerator(4, 0)) 57807804f75SJames Henderson return; 57907804f75SJames Henderson 58007804f75SJames Henderson LineTable < = Gen->addLineTable(); 58107804f75SJames Henderson uint64_t Addr1 = 0x11223344; 58207804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 58307804f75SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 58407804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 58507804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 58607804f75SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 58707804f75SJames Henderson 58807804f75SJames Henderson generate(); 58907804f75SJames Henderson 59007804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 59107804f75SJames Henderson nullptr, RecordRecoverable); 59207804f75SJames Henderson checkError( 59307804f75SJames Henderson "mismatching address size at offset 0x00000038 expected 0x04 found 0x08", 59407804f75SJames Henderson std::move(Recoverable)); 59507804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 59607804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 59707804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 59807804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 59907804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 600a3acf99eSJames Henderson } 601a3acf99eSJames Henderson 602a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) { 603a3acf99eSJames Henderson if (!setupGenerator()) 604a3acf99eSJames Henderson return; 605a3acf99eSJames Henderson 606a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 607a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 608a3acf99eSJames Henderson {{0x1122334455667788, LineTable::Quad}}); 609a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 610a3acf99eSJames Henderson LT.addByte(0xaa); 611a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 612a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 613a3acf99eSJames Henderson {{0x99aabbccddeeff00, LineTable::Quad}}); 614a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 615a3acf99eSJames Henderson LT.addByte(0xbb); 616a3acf99eSJames Henderson LT.addByte(0xcc); 617a3acf99eSJames Henderson 618a3acf99eSJames Henderson generate(); 619a3acf99eSJames Henderson 620004b729eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 621004b729eSJames Henderson nullptr, RecordRecoverable); 6226e3ca962SJames Henderson checkError("last sequence in debug line table at offset 0x00000000 is not " 6236e3ca962SJames Henderson "terminated", 624004b729eSJames Henderson std::move(Recoverable)); 625a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable.operator bool()); 626a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u); 627a3acf99eSJames Henderson // The unterminated sequence is not added to the sequence list. 628a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 629a3acf99eSJames Henderson } 630a3acf99eSJames Henderson 631a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) { 632a3acf99eSJames Henderson if (!setupGenerator()) 633a3acf99eSJames Henderson return; 634a3acf99eSJames Henderson 635a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 636a3acf99eSJames Henderson 63711a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 638a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 639a3acf99eSJames Henderson 640004b729eSJames Henderson DWARFDebugLine::LineTable Parsed = 641004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 642a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16); 64311a9de74SJames Henderson EXPECT_EQ(Parsed.Sequences.size(), 1u); 64411a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 645a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 646a3acf99eSJames Henderson 647a3acf99eSJames Henderson DWARFDebugLine::LineTable Parsed2 = 648004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 649a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16); 65011a9de74SJames Henderson EXPECT_EQ(Parsed2.Sequences.size(), 1u); 65111a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 652a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 653a3acf99eSJames Henderson 654004b729eSJames Henderson EXPECT_FALSE(Recoverable); 655004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 656a3acf99eSJames Henderson } 657a3acf99eSJames Henderson 658a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) { 659a3acf99eSJames Henderson if (!setupGenerator()) 660a3acf99eSJames Henderson return; 661a3acf99eSJames Henderson 662a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 663a3acf99eSJames Henderson 66411a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 665a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 666a3acf99eSJames Henderson 667*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 66811a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 669a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 670a3acf99eSJames Henderson 671*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 67211a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 673a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 674a3acf99eSJames Henderson 675*7116e431SJames Henderson EXPECT_FALSE(Recoverable); 676004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 677a3acf99eSJames Henderson } 678a3acf99eSJames Henderson 679a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) { 680a3acf99eSJames Henderson if (!setupGenerator()) 681a3acf99eSJames Henderson return; 682a3acf99eSJames Henderson 683a3acf99eSJames Henderson generate(); 684a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 685a3acf99eSJames Henderson 686a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 687a3acf99eSJames Henderson } 688a3acf99eSJames Henderson 689a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenParsing) { 690a3acf99eSJames Henderson if (!setupGenerator()) 691a3acf99eSJames Henderson return; 692a3acf99eSJames Henderson 693a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 694f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 695a3acf99eSJames Henderson Gen->addLineTable(); 696a3acf99eSJames Henderson generate(); 697a3acf99eSJames Henderson 698a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 699004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 700a3acf99eSJames Henderson 70111a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 702a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 703004b729eSJames Henderson EXPECT_FALSE(Recoverable); 704a3acf99eSJames Henderson 705a3acf99eSJames Henderson checkError("parsing line table prologue at offset 0x00000000 unsupported " 706f48bc018SIgor Kudrin "reserved unit length found of value 0xfffffff0", 707004b729eSJames Henderson std::move(Unrecoverable)); 708a3acf99eSJames Henderson } 709a3acf99eSJames Henderson 710a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenSkipping) { 711a3acf99eSJames Henderson if (!setupGenerator()) 712a3acf99eSJames Henderson return; 713a3acf99eSJames Henderson 714a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 715f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 716a3acf99eSJames Henderson Gen->addLineTable(); 717a3acf99eSJames Henderson generate(); 718a3acf99eSJames Henderson 719a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 720*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 721a3acf99eSJames Henderson 72211a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 723a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 724*7116e431SJames Henderson EXPECT_FALSE(Recoverable); 725a3acf99eSJames Henderson 726a3acf99eSJames Henderson checkError("parsing line table prologue at offset 0x00000000 unsupported " 727f48bc018SIgor Kudrin "reserved unit length found of value 0xfffffff0", 728004b729eSJames Henderson std::move(Unrecoverable)); 729a3acf99eSJames Henderson } 730a3acf99eSJames Henderson 731a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) { 732a3acf99eSJames Henderson if (!setupGenerator()) 733a3acf99eSJames Henderson return; 734a3acf99eSJames Henderson 735a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 736a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 737a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 738a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 739a3acf99eSJames Henderson generate(); 740a3acf99eSJames Henderson 741a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 742004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 743a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 744004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 745a3acf99eSJames Henderson 746a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 747004b729eSJames Henderson EXPECT_FALSE(Recoverable); 748a3acf99eSJames Henderson 749a3acf99eSJames Henderson checkError({"parsing line table prologue at offset 0x00000000 found " 750a3acf99eSJames Henderson "unsupported version 0x00", 751a3acf99eSJames Henderson "parsing line table prologue at offset 0x00000006 found " 752a3acf99eSJames Henderson "unsupported version 0x01"}, 753004b729eSJames Henderson std::move(Unrecoverable)); 754a3acf99eSJames Henderson } 755a3acf99eSJames Henderson 756a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) { 757a3acf99eSJames Henderson if (!setupGenerator()) 758a3acf99eSJames Henderson return; 759a3acf99eSJames Henderson 760a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 761a3acf99eSJames Henderson LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {}); 762a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 763a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, 764a3acf99eSJames Henderson {{0x1234567890abcdef, LineTable::Quad}}); 765a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 766a3acf99eSJames Henderson LT2.addByte(0xbb); 767a3acf99eSJames Henderson generate(); 768a3acf99eSJames Henderson 769a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 770004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 771f1be770fSJames Henderson EXPECT_FALSE(Unrecoverable); 772a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 773a3acf99eSJames Henderson checkError( 774a3acf99eSJames Henderson "unexpected line op length at offset 0x00000030 expected 0x42 found 0x01", 775f1be770fSJames Henderson std::move(Recoverable)); 776a3acf99eSJames Henderson 777a3acf99eSJames Henderson // Reset the error state so that it does not confuse the next set of checks. 778004b729eSJames Henderson Unrecoverable = Error::success(); 779004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 780a3acf99eSJames Henderson 781a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 7826e3ca962SJames Henderson checkError("last sequence in debug line table at offset 0x00000031 is not " 7836e3ca962SJames Henderson "terminated", 784004b729eSJames Henderson std::move(Recoverable)); 785004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 786a3acf99eSJames Henderson } 787a3acf99eSJames Henderson 788a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, 789a3acf99eSJames Henderson ParserReportsPrologueErrorsInEachTableWhenSkipping) { 790a3acf99eSJames Henderson if (!setupGenerator()) 791a3acf99eSJames Henderson return; 792a3acf99eSJames Henderson 793a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 794a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 795a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 796a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 797a3acf99eSJames Henderson generate(); 798a3acf99eSJames Henderson 799a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 800*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 801a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 802*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 803a3acf99eSJames Henderson 804a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 805*7116e431SJames Henderson EXPECT_FALSE(Recoverable); 806a3acf99eSJames Henderson 807a3acf99eSJames Henderson checkError({"parsing line table prologue at offset 0x00000000 found " 808a3acf99eSJames Henderson "unsupported version 0x00", 809a3acf99eSJames Henderson "parsing line table prologue at offset 0x00000006 found " 810a3acf99eSJames Henderson "unsupported version 0x01"}, 811004b729eSJames Henderson std::move(Unrecoverable)); 812a3acf99eSJames Henderson } 813a3acf99eSJames Henderson 814a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) { 815a3acf99eSJames Henderson if (!setupGenerator()) 816a3acf99eSJames Henderson return; 817a3acf99eSJames Henderson 818a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 819a3acf99eSJames Henderson LT.addExtendedOpcode(42, DW_LNE_end_sequence, {}); 820a3acf99eSJames Henderson generate(); 821a3acf99eSJames Henderson 822a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 823*7116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 824a3acf99eSJames Henderson 825a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 826*7116e431SJames Henderson EXPECT_FALSE(Recoverable); 827004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 82866702629SJames Henderson } 82966702629SJames Henderson 8302f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) { 8312f815502SJames Henderson if (!setupGenerator()) 8322f815502SJames Henderson return; 8332f815502SJames Henderson 8342f815502SJames Henderson using ValLen = dwarfgen::LineTable::ValueAndLength; 8352f815502SJames Henderson LineTable < = Gen->addLineTable(DWARF32); 8362f815502SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 8372f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}}); 8382f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}}); 8392f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}}); 8402f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}}); 8412f815502SJames Henderson LT.addStandardOpcode(DW_LNS_negate_stmt, {}); 8422f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_basic_block, {}); 8432f815502SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 8442f815502SJames Henderson LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}}); 8452f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_prologue_end, {}); 8462f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {}); 8472f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}}); 8482f815502SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 8492f815502SJames Henderson generate(); 8502f815502SJames Henderson 8512f815502SJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 8522f815502SJames Henderson std::string Output; 8532f815502SJames Henderson raw_string_ostream OS(Output); 8542f815502SJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS); 8552f815502SJames Henderson OS.flush(); 8562f815502SJames Henderson 8572f815502SJames Henderson EXPECT_FALSE(Recoverable); 8582f815502SJames Henderson EXPECT_FALSE(Unrecoverable); 8592f815502SJames Henderson auto InOutput = [&Output](char const *Str) { 8602f815502SJames Henderson return Output.find(Str) != std::string::npos; 8612f815502SJames Henderson }; 8622f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output; 8632f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output; 8642f815502SJames Henderson // FIXME: The value printed after DW_LNS_advance_line is currently the result 8652f815502SJames Henderson // of the advance, but it should be the value being advanced by. See 8662f815502SJames Henderson // https://bugs.llvm.org/show_bug.cgi?id=44261 for details. 8672f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output; 8682f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output; 8692f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output; 8702f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output; 8712f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output; 8722f815502SJames Henderson EXPECT_TRUE( 8732f815502SJames Henderson InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n")) 8742f815502SJames Henderson << Output; 8752f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n")) 8762f815502SJames Henderson << Output; 8772f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output; 8782f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output; 8792f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output; 8802f815502SJames Henderson } 8812f815502SJames Henderson 88266702629SJames Henderson } // end anonymous namespace 883