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 39*07804f75SJames Henderson bool setupGenerator(uint16_t Version = 4, uint8_t AddrSize = 8) { 40*07804f75SJames Henderson AddressSize = AddrSize; 41*07804f75SJames Henderson Triple T = 42*07804f75SJames 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(); 55*07804f75SJames Henderson uint8_t TargetAddrSize = AddressSize == 0 ? 8 : AddressSize; 56552fda83SJason Liu LineData = DWARFDataExtractor( 57552fda83SJason Liu Obj, Obj.getLineSection(), 58*07804f75SJames Henderson getDefaultTargetTripleForAddrSize(TargetAddrSize).isLittleEndian(), 59*07804f75SJames 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 137*07804f75SJames 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 36289b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 3630e7ba06eSJonas Devlieghere {"parsing line table prologue at 0x00000000 found an invalid directory " 3640e7ba06eSJonas Devlieghere "or file table description at 0x00000014", 3650e7ba06eSJonas Devlieghere "failed to parse entry content descriptions because no path was found"}); 366a3acf99eSJames Henderson } 367a3acf99eSJames Henderson 368a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) { 369a3acf99eSJames Henderson if (!setupGenerator(Version)) 370a3acf99eSJames Henderson return; 371a3acf99eSJames Henderson 372a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 373a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 374a3acf99eSJames Henderson 375a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 376a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 377a3acf99eSJames Henderson ++Prologue.PrologueLength; 378a3acf99eSJames Henderson LT.setPrologue(Prologue); 379a3acf99eSJames Henderson 380a3acf99eSJames Henderson generate(); 381a3acf99eSJames Henderson 382a3acf99eSJames Henderson uint64_t ExpectedEnd = 383a3acf99eSJames Henderson Prologue.TotalLength + 1 + Prologue.sizeofTotalLength(); 38489b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 385a3acf99eSJames Henderson (Twine("parsing line table prologue at 0x00000000 should have ended at " 386a3acf99eSJames Henderson "0x000000") + 387a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" + 388a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd - 1)) 389a3acf99eSJames Henderson .str()); 390a3acf99eSJames Henderson } 391a3acf99eSJames Henderson 392a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) { 393a3acf99eSJames Henderson if (!setupGenerator(Version)) 394a3acf99eSJames Henderson return; 395a3acf99eSJames Henderson 396a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 397a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 398a3acf99eSJames Henderson 399a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 400a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 401a3acf99eSJames Henderson // FIXME: Ideally, we'd test for 1 less than expected, but the code does not 402a3acf99eSJames Henderson // currently fail if missing only the terminator of a v2-4 file table. 403a3acf99eSJames Henderson if (Version < 5) 404a3acf99eSJames Henderson Prologue.PrologueLength -= 2; 405a3acf99eSJames Henderson else 406a3acf99eSJames Henderson Prologue.PrologueLength -= 1; 407a3acf99eSJames Henderson LT.setPrologue(Prologue); 408a3acf99eSJames Henderson 409a3acf99eSJames Henderson generate(); 410a3acf99eSJames Henderson 411a3acf99eSJames Henderson uint64_t ExpectedEnd = 412a3acf99eSJames Henderson Prologue.TotalLength - 1 + Prologue.sizeofTotalLength(); 413a3acf99eSJames Henderson if (Version < 5) 414a3acf99eSJames Henderson --ExpectedEnd; 41589b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 416a3acf99eSJames Henderson (Twine("parsing line table prologue at 0x00000000 should have ended at " 417a3acf99eSJames Henderson "0x000000") + 418a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" + 419a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd + 1)) 420a3acf99eSJames Henderson .str()); 421a3acf99eSJames Henderson } 422a3acf99eSJames Henderson 423a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P( 424a3acf99eSJames Henderson LineTableTestParams, DebugLineParameterisedFixture, 425a3acf99eSJames Henderson Values(std::make_pair( 426a3acf99eSJames Henderson 2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32. 427a3acf99eSJames Henderson std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields. 428a3acf99eSJames Henderson std::make_pair(4, DWARF64), // Test v4 fields and DWARF64. 429a3acf99eSJames Henderson std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), ); 430a3acf99eSJames Henderson 431a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForInvalidExtendedOpcodeLength) { 432a3acf99eSJames Henderson if (!setupGenerator()) 433a3acf99eSJames Henderson return; 434a3acf99eSJames Henderson 435a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 436a3acf99eSJames Henderson // The Length should be 1 for an end sequence opcode. 437a3acf99eSJames Henderson LT.addExtendedOpcode(2, DW_LNE_end_sequence, {}); 438a3acf99eSJames Henderson 439a3acf99eSJames Henderson generate(); 440a3acf99eSJames Henderson 44189b11843SJames Henderson checkGetOrParseLineTableEmitsFatalError( 44289b11843SJames Henderson "unexpected line op length at offset " 443a3acf99eSJames Henderson "0x00000030 expected 0x02 found 0x01"); 444a3acf99eSJames Henderson } 445a3acf99eSJames Henderson 446216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) { 447216796f2SJames Henderson if (!setupGenerator()) 448216796f2SJames Henderson return; 449216796f2SJames Henderson 450216796f2SJames Henderson LineTable &Padding = Gen->addLineTable(); 451216796f2SJames Henderson // Add some padding to show that a non-zero offset is handled correctly. 452216796f2SJames Henderson Padding.setCustomPrologue({{0, LineTable::Byte}}); 453216796f2SJames Henderson LineTable < = Gen->addLineTable(); 454216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 455216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 456216796f2SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 457216796f2SJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 458216796f2SJames Henderson // Set the total length to 1 higher than the actual length. The program body 459216796f2SJames Henderson // has size 5. 460216796f2SJames Henderson Prologue.TotalLength += 6; 461216796f2SJames Henderson LT.setPrologue(Prologue); 462216796f2SJames Henderson 463216796f2SJames Henderson generate(); 464216796f2SJames Henderson 465216796f2SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context, 466216796f2SJames Henderson nullptr, RecordRecoverable); 467216796f2SJames Henderson checkError("line table program with offset 0x00000001 has length 0x00000034 " 468216796f2SJames Henderson "but only 0x00000033 bytes are available", 469216796f2SJames Henderson std::move(Recoverable)); 470216796f2SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 471216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 472216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 473216796f2SJames Henderson } 474216796f2SJames Henderson 475a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) { 476*07804f75SJames Henderson if (!setupGenerator(4, 8)) 477a3acf99eSJames Henderson return; 478a3acf99eSJames Henderson 479a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 480a3acf99eSJames Henderson // The line data extractor expects size 8 (Quad) addresses. 481*07804f75SJames Henderson uint64_t Addr1 = 0x11223344; 482*07804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 483a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 484*07804f75SJames Henderson // Show that the expected address size is unchanged, so later valid lines 485*07804f75SJames Henderson // don't cause a problem. 486*07804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 487*07804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 488a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 489a3acf99eSJames Henderson 490a3acf99eSJames Henderson generate(); 491a3acf99eSJames Henderson 492*07804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 493*07804f75SJames Henderson nullptr, RecordRecoverable); 494*07804f75SJames Henderson checkError( 495*07804f75SJames Henderson "mismatching address size at offset 0x00000030 expected 0x08 found 0x04", 496*07804f75SJames Henderson std::move(Recoverable)); 497*07804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 498*07804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 499*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 500*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 501*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 502*07804f75SJames Henderson } 503*07804f75SJames Henderson 504*07804f75SJames Henderson TEST_F(DebugLineBasicFixture, 505*07804f75SJames Henderson ErrorForMismatchedAddressSizeUnsetInitialAddress) { 506*07804f75SJames Henderson if (!setupGenerator(4, 0)) 507*07804f75SJames Henderson return; 508*07804f75SJames Henderson 509*07804f75SJames Henderson LineTable < = Gen->addLineTable(); 510*07804f75SJames Henderson uint64_t Addr1 = 0x11223344; 511*07804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 512*07804f75SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 513*07804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 514*07804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 515*07804f75SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 516*07804f75SJames Henderson 517*07804f75SJames Henderson generate(); 518*07804f75SJames Henderson 519*07804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 520*07804f75SJames Henderson nullptr, RecordRecoverable); 521*07804f75SJames Henderson checkError( 522*07804f75SJames Henderson "mismatching address size at offset 0x00000038 expected 0x04 found 0x08", 523*07804f75SJames Henderson std::move(Recoverable)); 524*07804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 525*07804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 526*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 527*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 528*07804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 529a3acf99eSJames Henderson } 530a3acf99eSJames Henderson 531a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) { 532a3acf99eSJames Henderson if (!setupGenerator()) 533a3acf99eSJames Henderson return; 534a3acf99eSJames Henderson 535a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 536a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 537a3acf99eSJames Henderson {{0x1122334455667788, LineTable::Quad}}); 538a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 539a3acf99eSJames Henderson LT.addByte(0xaa); 540a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 541a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 542a3acf99eSJames Henderson {{0x99aabbccddeeff00, LineTable::Quad}}); 543a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 544a3acf99eSJames Henderson LT.addByte(0xbb); 545a3acf99eSJames Henderson LT.addByte(0xcc); 546a3acf99eSJames Henderson 547a3acf99eSJames Henderson generate(); 548a3acf99eSJames Henderson 549004b729eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 550004b729eSJames Henderson nullptr, RecordRecoverable); 5516e3ca962SJames Henderson checkError("last sequence in debug line table at offset 0x00000000 is not " 5526e3ca962SJames Henderson "terminated", 553004b729eSJames Henderson std::move(Recoverable)); 554a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable.operator bool()); 555a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u); 556a3acf99eSJames Henderson // The unterminated sequence is not added to the sequence list. 557a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 558a3acf99eSJames Henderson } 559a3acf99eSJames Henderson 560a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) { 561a3acf99eSJames Henderson if (!setupGenerator()) 562a3acf99eSJames Henderson return; 563a3acf99eSJames Henderson 564a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 565a3acf99eSJames Henderson 56611a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 567a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 568a3acf99eSJames Henderson 569004b729eSJames Henderson DWARFDebugLine::LineTable Parsed = 570004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 571a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16); 57211a9de74SJames Henderson EXPECT_EQ(Parsed.Sequences.size(), 1u); 57311a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 574a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 575a3acf99eSJames Henderson 576a3acf99eSJames Henderson DWARFDebugLine::LineTable Parsed2 = 577004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 578a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16); 57911a9de74SJames Henderson EXPECT_EQ(Parsed2.Sequences.size(), 1u); 58011a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 581a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 582a3acf99eSJames Henderson 583004b729eSJames Henderson EXPECT_FALSE(Recoverable); 584004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 585a3acf99eSJames Henderson } 586a3acf99eSJames Henderson 587a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) { 588a3acf99eSJames Henderson if (!setupGenerator()) 589a3acf99eSJames Henderson return; 590a3acf99eSJames Henderson 591a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 592a3acf99eSJames Henderson 59311a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 594a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 595a3acf99eSJames Henderson 596004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 59711a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 598a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 599a3acf99eSJames Henderson 600004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 60111a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 602a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 603a3acf99eSJames Henderson 604004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 605a3acf99eSJames Henderson } 606a3acf99eSJames Henderson 607a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) { 608a3acf99eSJames Henderson if (!setupGenerator()) 609a3acf99eSJames Henderson return; 610a3acf99eSJames Henderson 611a3acf99eSJames Henderson generate(); 612a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 613a3acf99eSJames Henderson 614a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 615a3acf99eSJames Henderson } 616a3acf99eSJames Henderson 617a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenParsing) { 618a3acf99eSJames Henderson if (!setupGenerator()) 619a3acf99eSJames Henderson return; 620a3acf99eSJames Henderson 621a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 622f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 623a3acf99eSJames Henderson Gen->addLineTable(); 624a3acf99eSJames Henderson generate(); 625a3acf99eSJames Henderson 626a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 627004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 628a3acf99eSJames Henderson 62911a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 630a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 631004b729eSJames Henderson EXPECT_FALSE(Recoverable); 632a3acf99eSJames Henderson 633a3acf99eSJames Henderson checkError("parsing line table prologue at offset 0x00000000 unsupported " 634f48bc018SIgor Kudrin "reserved unit length found of value 0xfffffff0", 635004b729eSJames Henderson std::move(Unrecoverable)); 636a3acf99eSJames Henderson } 637a3acf99eSJames Henderson 638a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenSkipping) { 639a3acf99eSJames Henderson if (!setupGenerator()) 640a3acf99eSJames Henderson return; 641a3acf99eSJames Henderson 642a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 643f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 644a3acf99eSJames Henderson Gen->addLineTable(); 645a3acf99eSJames Henderson generate(); 646a3acf99eSJames Henderson 647a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 648004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 649a3acf99eSJames Henderson 65011a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 651a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 652a3acf99eSJames Henderson 653a3acf99eSJames Henderson checkError("parsing line table prologue at offset 0x00000000 unsupported " 654f48bc018SIgor Kudrin "reserved unit length found of value 0xfffffff0", 655004b729eSJames Henderson std::move(Unrecoverable)); 656a3acf99eSJames Henderson } 657a3acf99eSJames Henderson 658a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) { 659a3acf99eSJames Henderson if (!setupGenerator()) 660a3acf99eSJames Henderson return; 661a3acf99eSJames Henderson 662a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 663a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 664a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 665a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 666a3acf99eSJames Henderson generate(); 667a3acf99eSJames Henderson 668a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 669004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 670a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 671004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 672a3acf99eSJames Henderson 673a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 674004b729eSJames Henderson EXPECT_FALSE(Recoverable); 675a3acf99eSJames Henderson 676a3acf99eSJames Henderson checkError({"parsing line table prologue at offset 0x00000000 found " 677a3acf99eSJames Henderson "unsupported version 0x00", 678a3acf99eSJames Henderson "parsing line table prologue at offset 0x00000006 found " 679a3acf99eSJames Henderson "unsupported version 0x01"}, 680004b729eSJames Henderson std::move(Unrecoverable)); 681a3acf99eSJames Henderson } 682a3acf99eSJames Henderson 683a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) { 684a3acf99eSJames Henderson if (!setupGenerator()) 685a3acf99eSJames Henderson return; 686a3acf99eSJames Henderson 687a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 688a3acf99eSJames Henderson LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {}); 689a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 690a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, 691a3acf99eSJames Henderson {{0x1234567890abcdef, LineTable::Quad}}); 692a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 693a3acf99eSJames Henderson LT2.addByte(0xbb); 694a3acf99eSJames Henderson generate(); 695a3acf99eSJames Henderson 696a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 697004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 698004b729eSJames Henderson EXPECT_FALSE(Recoverable); 699a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 700a3acf99eSJames Henderson checkError( 701a3acf99eSJames Henderson "unexpected line op length at offset 0x00000030 expected 0x42 found 0x01", 702004b729eSJames Henderson std::move(Unrecoverable)); 703a3acf99eSJames Henderson 704a3acf99eSJames Henderson // Reset the error state so that it does not confuse the next set of checks. 705004b729eSJames Henderson Unrecoverable = Error::success(); 706004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 707a3acf99eSJames Henderson 708a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 7096e3ca962SJames Henderson checkError("last sequence in debug line table at offset 0x00000031 is not " 7106e3ca962SJames Henderson "terminated", 711004b729eSJames Henderson std::move(Recoverable)); 712004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 713a3acf99eSJames Henderson } 714a3acf99eSJames Henderson 715a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, 716a3acf99eSJames Henderson ParserReportsPrologueErrorsInEachTableWhenSkipping) { 717a3acf99eSJames Henderson if (!setupGenerator()) 718a3acf99eSJames Henderson return; 719a3acf99eSJames Henderson 720a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 721a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 722a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 723a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 724a3acf99eSJames Henderson generate(); 725a3acf99eSJames Henderson 726a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 727004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 728a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 729004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 730a3acf99eSJames Henderson 731a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 732a3acf99eSJames Henderson 733a3acf99eSJames Henderson checkError({"parsing line table prologue at offset 0x00000000 found " 734a3acf99eSJames Henderson "unsupported version 0x00", 735a3acf99eSJames Henderson "parsing line table prologue at offset 0x00000006 found " 736a3acf99eSJames Henderson "unsupported version 0x01"}, 737004b729eSJames Henderson std::move(Unrecoverable)); 738a3acf99eSJames Henderson } 739a3acf99eSJames Henderson 740a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) { 741a3acf99eSJames Henderson if (!setupGenerator()) 742a3acf99eSJames Henderson return; 743a3acf99eSJames Henderson 744a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 745a3acf99eSJames Henderson LT.addExtendedOpcode(42, DW_LNE_end_sequence, {}); 746a3acf99eSJames Henderson generate(); 747a3acf99eSJames Henderson 748a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 749004b729eSJames Henderson Parser.skip(RecordUnrecoverable); 750a3acf99eSJames Henderson 751a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 752004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 75366702629SJames Henderson } 75466702629SJames Henderson 7552f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) { 7562f815502SJames Henderson if (!setupGenerator()) 7572f815502SJames Henderson return; 7582f815502SJames Henderson 7592f815502SJames Henderson using ValLen = dwarfgen::LineTable::ValueAndLength; 7602f815502SJames Henderson LineTable < = Gen->addLineTable(DWARF32); 7612f815502SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 7622f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}}); 7632f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}}); 7642f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}}); 7652f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}}); 7662f815502SJames Henderson LT.addStandardOpcode(DW_LNS_negate_stmt, {}); 7672f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_basic_block, {}); 7682f815502SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 7692f815502SJames Henderson LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}}); 7702f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_prologue_end, {}); 7712f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {}); 7722f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}}); 7732f815502SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 7742f815502SJames Henderson generate(); 7752f815502SJames Henderson 7762f815502SJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 7772f815502SJames Henderson std::string Output; 7782f815502SJames Henderson raw_string_ostream OS(Output); 7792f815502SJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS); 7802f815502SJames Henderson OS.flush(); 7812f815502SJames Henderson 7822f815502SJames Henderson EXPECT_FALSE(Recoverable); 7832f815502SJames Henderson EXPECT_FALSE(Unrecoverable); 7842f815502SJames Henderson auto InOutput = [&Output](char const *Str) { 7852f815502SJames Henderson return Output.find(Str) != std::string::npos; 7862f815502SJames Henderson }; 7872f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output; 7882f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output; 7892f815502SJames Henderson // FIXME: The value printed after DW_LNS_advance_line is currently the result 7902f815502SJames Henderson // of the advance, but it should be the value being advanced by. See 7912f815502SJames Henderson // https://bugs.llvm.org/show_bug.cgi?id=44261 for details. 7922f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output; 7932f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output; 7942f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output; 7952f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output; 7962f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output; 7972f815502SJames Henderson EXPECT_TRUE( 7982f815502SJames Henderson InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n")) 7992f815502SJames Henderson << Output; 8002f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n")) 8012f815502SJames Henderson << Output; 8022f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output; 8032f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output; 8042f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output; 8052f815502SJames Henderson } 8062f815502SJames Henderson 80766702629SJames Henderson } // end anonymous namespace 808