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