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 99*9b23024cSPavel Labath Expected<const DWARFDebugLine::LineTable *> 100*9b23024cSPavel Labath getOrParseLineTableFatalErrors(uint64_t Offset = 0) { 101a3acf99eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable( 102004b729eSJames Henderson LineData, Offset, *Context, nullptr, RecordRecoverable); 103*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded()); 104*9b23024cSPavel 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 186*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 187*9b23024cSPavel Labath getOrParseLineTableFatalErrors(0), 188*9b23024cSPavel Labath FailedWithMessage( 189*9b23024cSPavel Labath "offset 0x00000000 is not a valid debug line section offset")); 190a3acf99eSJames Henderson // Repeat to show that an error is reported each time. 191*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 192*9b23024cSPavel Labath getOrParseLineTableFatalErrors(0), 193*9b23024cSPavel Labath FailedWithMessage( 194*9b23024cSPavel Labath "offset 0x00000000 is not a valid debug line section offset")); 195*9b23024cSPavel Labath 196a3acf99eSJames Henderson // Show that an error is reported for later offsets too. 197*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 198*9b23024cSPavel Labath getOrParseLineTableFatalErrors(1), 199*9b23024cSPavel Labath FailedWithMessage( 200*9b23024cSPavel 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 212*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 213*9b23024cSPavel Labath getOrParseLineTableFatalErrors(1), 214*9b23024cSPavel Labath FailedWithMessage( 215*9b23024cSPavel Labath "offset 0x00000001 is not a valid debug line section offset")); 216a3acf99eSJames Henderson } 217a3acf99eSJames Henderson 218021f5317SJames Henderson TEST_P(DebugLineParameterisedFixture, PrologueGetLength) { 219021f5317SJames Henderson if (!setupGenerator(Version)) 220021f5317SJames Henderson return; 221021f5317SJames Henderson LineTable < = Gen->addLineTable(Format); 222021f5317SJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 223021f5317SJames Henderson LT.setPrologue(Prologue); 224021f5317SJames Henderson generate(); 225021f5317SJames Henderson 226021f5317SJames Henderson // + 10 for sizes of DWARF-32 unit length, version, prologue length. 227021f5317SJames Henderson uint64_t ExpectedLength = Prologue.PrologueLength + 10; 228021f5317SJames Henderson if (Version == 5) 229021f5317SJames Henderson // Add address and segment selector size fields. 230021f5317SJames Henderson ExpectedLength += 2; 231021f5317SJames Henderson if (Format == DWARF64) 232021f5317SJames Henderson // Unit length grows by 8, prologue length by 4. 233021f5317SJames Henderson ExpectedLength += 12; 234021f5317SJames Henderson 235021f5317SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 236021f5317SJames Henderson nullptr, RecordRecoverable); 237021f5317SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 238021f5317SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Prologue.getLength(), ExpectedLength); 239021f5317SJames Henderson } 240021f5317SJames Henderson 241a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, GetOrParseLineTableValidTable) { 242a3acf99eSJames Henderson if (!setupGenerator(Version)) 243a3acf99eSJames Henderson return; 244a3acf99eSJames Henderson 245a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 246a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 247a3acf99eSJames Henderson 248a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 249a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{0xadd4e55, LineTable::Quad}}); 250a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 251a3acf99eSJames Henderson LT.addByte(0xaa); 252a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 253a3acf99eSJames Henderson 254a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(Format); 255a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x11223344, LineTable::Quad}}); 256a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 257a3acf99eSJames Henderson LT2.addByte(0xbb); 258a3acf99eSJames Henderson LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 259a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, {{0x55667788, LineTable::Quad}}); 260a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 261a3acf99eSJames Henderson LT2.addByte(0xcc); 262a3acf99eSJames Henderson LT2.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 263a3acf99eSJames Henderson 264a3acf99eSJames Henderson generate(); 265a3acf99eSJames Henderson 266004b729eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 267004b729eSJames Henderson nullptr, RecordRecoverable); 268a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable.operator bool()); 269004b729eSJames Henderson EXPECT_FALSE(Recoverable); 270a3acf99eSJames Henderson const DWARFDebugLine::LineTable *Expected = *ExpectedLineTable; 271a3acf99eSJames Henderson checkDefaultPrologue(Version, Format, Expected->Prologue, 16); 272a68aee07SRoman Lebedev EXPECT_EQ(Expected->Sequences.size(), 1u); 273a3acf99eSJames Henderson 274a3acf99eSJames Henderson uint64_t SecondOffset = 275a3acf99eSJames Henderson Expected->Prologue.sizeofTotalLength() + Expected->Prologue.TotalLength; 276004b729eSJames Henderson Recoverable = Error::success(); 277a3acf99eSJames Henderson auto ExpectedLineTable2 = Line.getOrParseLineTable( 278004b729eSJames Henderson LineData, SecondOffset, *Context, nullptr, RecordRecoverable); 279a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable2.operator bool()); 280004b729eSJames Henderson EXPECT_FALSE(Recoverable); 281a3acf99eSJames Henderson const DWARFDebugLine::LineTable *Expected2 = *ExpectedLineTable2; 282a3acf99eSJames Henderson checkDefaultPrologue(Version, Format, Expected2->Prologue, 32); 28311a9de74SJames Henderson EXPECT_EQ(Expected2->Sequences.size(), 2u); 284a3acf99eSJames Henderson 285a3acf99eSJames Henderson EXPECT_NE(Expected, Expected2); 286a3acf99eSJames Henderson 287a3acf99eSJames Henderson // Check that if the same offset is requested, the exact same pointer is 288a3acf99eSJames Henderson // returned. 289004b729eSJames Henderson Recoverable = Error::success(); 290004b729eSJames Henderson auto ExpectedLineTable3 = Line.getOrParseLineTable( 291004b729eSJames Henderson LineData, 0, *Context, nullptr, RecordRecoverable); 292a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable3.operator bool()); 293004b729eSJames Henderson EXPECT_FALSE(Recoverable); 294a3acf99eSJames Henderson EXPECT_EQ(Expected, *ExpectedLineTable3); 295a3acf99eSJames Henderson 296004b729eSJames Henderson Recoverable = Error::success(); 297a3acf99eSJames Henderson auto ExpectedLineTable4 = Line.getOrParseLineTable( 298004b729eSJames Henderson LineData, SecondOffset, *Context, nullptr, RecordRecoverable); 299a3acf99eSJames Henderson ASSERT_TRUE(ExpectedLineTable4.operator bool()); 300004b729eSJames Henderson EXPECT_FALSE(Recoverable); 301a3acf99eSJames Henderson EXPECT_EQ(Expected2, *ExpectedLineTable4); 302a3acf99eSJames Henderson 303a3acf99eSJames Henderson // TODO: Add tests that show that the body of the programs have been read 304a3acf99eSJames Henderson // correctly. 305a3acf99eSJames Henderson } 306a3acf99eSJames Henderson 307a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForReservedLength) { 308a3acf99eSJames Henderson if (!setupGenerator()) 309a3acf99eSJames Henderson return; 310a3acf99eSJames Henderson 311a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 312f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 313a3acf99eSJames Henderson 314a3acf99eSJames Henderson generate(); 315a3acf99eSJames Henderson 316*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 317*9b23024cSPavel Labath getOrParseLineTableFatalErrors(), 318*9b23024cSPavel Labath FailedWithMessage( 319*9b23024cSPavel Labath "parsing line table prologue at offset 0x00000000 unsupported " 320*9b23024cSPavel Labath "reserved unit length found of value 0xfffffff0")); 321a3acf99eSJames Henderson } 322a3acf99eSJames Henderson 3231da62b51SJames Henderson struct DebugLineUnsupportedVersionFixture : public TestWithParam<uint16_t>, 3241da62b51SJames Henderson public CommonFixture { 3251da62b51SJames Henderson void SetUp() { Version = GetParam(); } 3261da62b51SJames Henderson 3271da62b51SJames Henderson uint16_t Version; 3281da62b51SJames Henderson }; 3291da62b51SJames Henderson 3301da62b51SJames Henderson TEST_P(DebugLineUnsupportedVersionFixture, ErrorForUnsupportedVersion) { 331a3acf99eSJames Henderson if (!setupGenerator()) 332a3acf99eSJames Henderson return; 333a3acf99eSJames Henderson 334a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 335a3acf99eSJames Henderson LT.setCustomPrologue( 3361da62b51SJames Henderson {{LineTable::Half, LineTable::Long}, {Version, LineTable::Half}}); 337b1c7bfe6SJames Henderson 338b1c7bfe6SJames Henderson generate(); 339b1c7bfe6SJames Henderson 340*9b23024cSPavel Labath EXPECT_THAT_EXPECTED( 341*9b23024cSPavel Labath getOrParseLineTableFatalErrors(), 342*9b23024cSPavel Labath FailedWithMessage("parsing line table prologue at offset 0x00000000 " 343*9b23024cSPavel Labath "found unsupported version " + 344*9b23024cSPavel Labath std::to_string(Version))); 345b1c7bfe6SJames Henderson } 346b1c7bfe6SJames Henderson 3471da62b51SJames Henderson INSTANTIATE_TEST_CASE_P(UnsupportedVersionTestParams, 3481da62b51SJames Henderson DebugLineUnsupportedVersionFixture, 3491da62b51SJames Henderson Values(/*1 below min */ 1, /* 1 above max */ 6, 3501da62b51SJames Henderson /* Maximum possible */ 0xffff), ); 3511da62b51SJames Henderson 352a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForInvalidV5IncludeDirTable) { 353a3acf99eSJames Henderson if (!setupGenerator(5)) 354a3acf99eSJames Henderson return; 355a3acf99eSJames Henderson 356a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 357a3acf99eSJames Henderson LT.setCustomPrologue({ 358a3acf99eSJames Henderson {19, LineTable::Long}, // unit length 359a3acf99eSJames Henderson {5, LineTable::Half}, // version 360a3acf99eSJames Henderson {8, LineTable::Byte}, // addr size 361a3acf99eSJames Henderson {0, LineTable::Byte}, // segment selector size 362a3acf99eSJames Henderson {11, LineTable::Long}, // prologue length 363a3acf99eSJames Henderson {1, LineTable::Byte}, // min instruction length 364a3acf99eSJames Henderson {1, LineTable::Byte}, // max ops per instruction 365a3acf99eSJames Henderson {1, LineTable::Byte}, // default is_stmt 366a3acf99eSJames Henderson {0, LineTable::Byte}, // line base 367a3acf99eSJames Henderson {14, LineTable::Byte}, // line range 368a3acf99eSJames Henderson {2, LineTable::Byte}, // opcode base (small to reduce the amount of 369a3acf99eSJames Henderson // setup required). 370a3acf99eSJames Henderson {0, LineTable::Byte}, // standard opcode lengths 371a3acf99eSJames Henderson {0, LineTable::Byte}, // directory entry format count (should not be 372a3acf99eSJames Henderson // zero). 373a3acf99eSJames Henderson {0, LineTable::ULEB}, // directories count 374a3acf99eSJames Henderson {0, LineTable::Byte}, // file name entry format count 375a3acf99eSJames Henderson {0, LineTable::ULEB} // file name entry count 376a3acf99eSJames Henderson }); 377a3acf99eSJames Henderson 378a3acf99eSJames Henderson generate(); 379a3acf99eSJames Henderson 3807116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 3817116e431SJames Henderson nullptr, RecordRecoverable); 3827116e431SJames Henderson EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 3837116e431SJames Henderson 384*9b23024cSPavel Labath EXPECT_THAT_ERROR( 385*9b23024cSPavel Labath std::move(Recoverable), 386*9b23024cSPavel Labath FailedWithMessage( 387*9b23024cSPavel Labath "parsing line table prologue at 0x00000000 found an invalid " 388*9b23024cSPavel Labath "directory or file table description at 0x00000014", 389*9b23024cSPavel Labath "failed to parse entry content descriptions because no path was " 390*9b23024cSPavel Labath "found")); 391a3acf99eSJames Henderson } 392a3acf99eSJames Henderson 393a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooLargePrologueLength) { 394a3acf99eSJames Henderson if (!setupGenerator(Version)) 395a3acf99eSJames Henderson return; 396a3acf99eSJames Henderson 397a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 398a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 399a3acf99eSJames Henderson 400a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 401a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 402a3acf99eSJames Henderson ++Prologue.PrologueLength; 403a3acf99eSJames Henderson LT.setPrologue(Prologue); 404a3acf99eSJames Henderson 405a3acf99eSJames Henderson generate(); 406a3acf99eSJames Henderson 4077116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 4087116e431SJames Henderson nullptr, RecordRecoverable); 4097116e431SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 4107116e431SJames Henderson DWARFDebugLine::LineTable Result(**ExpectedLineTable); 4117116e431SJames Henderson // Undo the earlier modification so that it can be compared against a 4127116e431SJames Henderson // "default" prologue. 4137116e431SJames Henderson --Result.Prologue.PrologueLength; 4147116e431SJames Henderson checkDefaultPrologue(Version, Format, Result.Prologue, 0); 4157116e431SJames Henderson 416a3acf99eSJames Henderson uint64_t ExpectedEnd = 417a3acf99eSJames Henderson Prologue.TotalLength + 1 + Prologue.sizeofTotalLength(); 418*9b23024cSPavel Labath EXPECT_THAT_ERROR( 419*9b23024cSPavel Labath std::move(Recoverable), 420*9b23024cSPavel Labath FailedWithMessage(("parsing line table prologue at 0x00000000 should " 421*9b23024cSPavel Labath "have ended at 0x000000" + 422*9b23024cSPavel Labath Twine::utohexstr(ExpectedEnd) + 423*9b23024cSPavel Labath " but it ended at 0x000000" + 424a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd - 1)) 425*9b23024cSPavel Labath .str())); 426a3acf99eSJames Henderson } 427a3acf99eSJames Henderson 428a3acf99eSJames Henderson TEST_P(DebugLineParameterisedFixture, ErrorForTooShortPrologueLength) { 429a3acf99eSJames Henderson if (!setupGenerator(Version)) 430a3acf99eSJames Henderson return; 431a3acf99eSJames Henderson 432a3acf99eSJames Henderson SCOPED_TRACE("Checking Version " + std::to_string(Version) + ", Format " + 433a3acf99eSJames Henderson (Format == DWARF64 ? "DWARF64" : "DWARF32")); 434a3acf99eSJames Henderson 435a3acf99eSJames Henderson LineTable < = Gen->addLineTable(Format); 436a3acf99eSJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 437a3acf99eSJames Henderson Prologue.PrologueLength -= 2; 438a3acf99eSJames Henderson LT.setPrologue(Prologue); 439a3acf99eSJames Henderson 440a3acf99eSJames Henderson generate(); 441a3acf99eSJames Henderson 4427116e431SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 4437116e431SJames Henderson nullptr, RecordRecoverable); 4447116e431SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 4457116e431SJames Henderson DWARFDebugLine::LineTable Result(**ExpectedLineTable); 4467116e431SJames Henderson // Undo the earlier modification so that it can be compared against a 4477116e431SJames Henderson // "default" prologue. 4487116e431SJames Henderson Result.Prologue.PrologueLength += 2; 4497116e431SJames Henderson checkDefaultPrologue(Version, Format, Result.Prologue, 0); 4507116e431SJames Henderson 451a3acf99eSJames Henderson uint64_t ExpectedEnd = 452bf4d8f29SJames Henderson Prologue.TotalLength - 2 + Prologue.sizeofTotalLength(); 453bf4d8f29SJames Henderson std::vector<std::string> Errs; 454bf4d8f29SJames Henderson // Parsing of a DWARFv2-4 file table stops at the end of an entry once the 455bf4d8f29SJames Henderson // prologue end has been reached, whether or not the trailing null terminator 456bf4d8f29SJames Henderson // has been found. As such, the expected error message will be slightly 457bf4d8f29SJames Henderson // different. 458bf4d8f29SJames Henderson uint64_t ActualEnd = Version == 5 ? ExpectedEnd + 2 : ExpectedEnd + 1; 459bf4d8f29SJames Henderson if (Version != 5) { 460bf4d8f29SJames Henderson Errs.emplace_back( 461bf4d8f29SJames Henderson (Twine("parsing line table prologue at 0x00000000 found an invalid " 462bf4d8f29SJames Henderson "directory or file table description at 0x000000") + 463bf4d8f29SJames Henderson Twine::utohexstr(ActualEnd)) 464bf4d8f29SJames Henderson .str()); 465bf4d8f29SJames Henderson Errs.emplace_back("file names table was not null terminated before the end " 466bf4d8f29SJames Henderson "of the prologue"); 467bf4d8f29SJames Henderson } 468bf4d8f29SJames Henderson Errs.emplace_back( 469a3acf99eSJames Henderson (Twine("parsing line table prologue at 0x00000000 should have ended at " 470a3acf99eSJames Henderson "0x000000") + 471a3acf99eSJames Henderson Twine::utohexstr(ExpectedEnd) + " but it ended at 0x000000" + 472bf4d8f29SJames Henderson Twine::utohexstr(ActualEnd)) 473bf4d8f29SJames Henderson .str()); 474*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 475*9b23024cSPavel Labath FailedWithMessageArray(testing::ElementsAreArray(Errs))); 476a3acf99eSJames Henderson } 477a3acf99eSJames Henderson 478a3acf99eSJames Henderson INSTANTIATE_TEST_CASE_P( 479a3acf99eSJames Henderson LineTableTestParams, DebugLineParameterisedFixture, 480a3acf99eSJames Henderson Values(std::make_pair( 481a3acf99eSJames Henderson 2, DWARF32), // Test lower-bound of v2-3 fields and DWARF32. 482a3acf99eSJames Henderson std::make_pair(3, DWARF32), // Test upper-bound of v2-3 fields. 483a3acf99eSJames Henderson std::make_pair(4, DWARF64), // Test v4 fields and DWARF64. 484a3acf99eSJames Henderson std::make_pair(5, DWARF32), std::make_pair(5, DWARF64)), ); 485a3acf99eSJames Henderson 486f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthSmallerThanExpected) { 487a3acf99eSJames Henderson if (!setupGenerator()) 488a3acf99eSJames Henderson return; 489a3acf99eSJames Henderson 490a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 491f1be770fSJames Henderson LT.addByte(0xaa); 492f1be770fSJames Henderson // The Length should be 1 + sizeof(ULEB) for a set discriminator opcode. 493f1be770fSJames Henderson // The operand will be read for both the discriminator opcode and then parsed 494f1be770fSJames Henderson // again as DW_LNS_negate_stmt, to respect the claimed length. 495f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_set_discriminator, 496f1be770fSJames Henderson {{DW_LNS_negate_stmt, LineTable::ULEB}}); 497f1be770fSJames Henderson LT.addByte(0xbb); 498f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 499f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 500a3acf99eSJames Henderson 501a3acf99eSJames Henderson generate(); 502a3acf99eSJames Henderson 503f1be770fSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 504f1be770fSJames Henderson nullptr, RecordRecoverable); 505*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 506*9b23024cSPavel Labath FailedWithMessage("unexpected line op length at offset " 507*9b23024cSPavel Labath "0x00000031 expected 0x01 found 0x02")); 508f1be770fSJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 509f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u); 510f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 511f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].IsStmt, 0u); 512f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Discriminator, DW_LNS_negate_stmt); 513f1be770fSJames Henderson } 514f1be770fSJames Henderson 515f1be770fSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForExtendedOpcodeLengthLargerThanExpected) { 516f1be770fSJames Henderson if (!setupGenerator()) 517f1be770fSJames Henderson return; 518f1be770fSJames Henderson 519f1be770fSJames Henderson LineTable < = Gen->addLineTable(); 520f1be770fSJames Henderson LT.addByte(0xaa); 521f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 522f1be770fSJames Henderson // The Length should be 1 for an end sequence opcode. 523f1be770fSJames Henderson LT.addExtendedOpcode(2, DW_LNE_end_sequence, {}); 524f1be770fSJames Henderson // The negate statement opcode will be skipped. 525f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_negate_stmt, {}); 526f1be770fSJames Henderson LT.addByte(0xbb); 527f1be770fSJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 528f1be770fSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 529f1be770fSJames Henderson 530f1be770fSJames Henderson generate(); 531f1be770fSJames Henderson 532f1be770fSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 533f1be770fSJames Henderson nullptr, RecordRecoverable); 534*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 535*9b23024cSPavel Labath FailedWithMessage("unexpected line op length at offset " 536*9b23024cSPavel Labath "0x00000032 expected 0x02 found 0x01")); 537f1be770fSJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 538f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 4u); 539f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 2u); 540f1be770fSJames Henderson ASSERT_EQ((*ExpectedLineTable)->Sequences[1].FirstRowIndex, 2u); 541f1be770fSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[2].IsStmt, 1u); 542a3acf99eSJames Henderson } 543a3acf99eSJames Henderson 544216796f2SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnitLengthTooLarge) { 545216796f2SJames Henderson if (!setupGenerator()) 546216796f2SJames Henderson return; 547216796f2SJames Henderson 548216796f2SJames Henderson LineTable &Padding = Gen->addLineTable(); 549216796f2SJames Henderson // Add some padding to show that a non-zero offset is handled correctly. 550216796f2SJames Henderson Padding.setCustomPrologue({{0, LineTable::Byte}}); 551216796f2SJames Henderson LineTable < = Gen->addLineTable(); 552216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 553216796f2SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 554216796f2SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 555216796f2SJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 5561271cde4SJames Henderson // Set the total length to 1 higher than the actual length. 5571271cde4SJames Henderson ++Prologue.TotalLength; 558216796f2SJames Henderson LT.setPrologue(Prologue); 559216796f2SJames Henderson 560216796f2SJames Henderson generate(); 561216796f2SJames Henderson 562216796f2SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 1, *Context, 563216796f2SJames Henderson nullptr, RecordRecoverable); 564*9b23024cSPavel Labath EXPECT_THAT_ERROR( 565*9b23024cSPavel Labath std::move(Recoverable), 566*9b23024cSPavel Labath FailedWithMessage("line table program with offset 0x00000001 has length " 567*9b23024cSPavel Labath "0x00000034 but only 0x00000033 bytes are available")); 568216796f2SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 569216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 570216796f2SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 571216796f2SJames Henderson } 572216796f2SJames Henderson 573a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ErrorForMismatchedAddressSize) { 57407804f75SJames Henderson if (!setupGenerator(4, 8)) 575a3acf99eSJames Henderson return; 576a3acf99eSJames Henderson 577a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 578a3acf99eSJames Henderson // The line data extractor expects size 8 (Quad) addresses. 57907804f75SJames Henderson uint64_t Addr1 = 0x11223344; 58007804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 581a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 58207804f75SJames Henderson // Show that the expected address size is unchanged, so later valid lines 58307804f75SJames Henderson // don't cause a problem. 58407804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 58507804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 586a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 587a3acf99eSJames Henderson 588a3acf99eSJames Henderson generate(); 589a3acf99eSJames Henderson 59007804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 59107804f75SJames Henderson nullptr, RecordRecoverable); 592*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 593*9b23024cSPavel Labath FailedWithMessage("mismatching address size at offset " 594*9b23024cSPavel Labath "0x00000030 expected 0x08 found 0x04")); 59507804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 59607804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 59707804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 59807804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 59907804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 60007804f75SJames Henderson } 60107804f75SJames Henderson 60207804f75SJames Henderson TEST_F(DebugLineBasicFixture, 60307804f75SJames Henderson ErrorForMismatchedAddressSizeUnsetInitialAddress) { 60407804f75SJames Henderson if (!setupGenerator(4, 0)) 60507804f75SJames Henderson return; 60607804f75SJames Henderson 60707804f75SJames Henderson LineTable < = Gen->addLineTable(); 60807804f75SJames Henderson uint64_t Addr1 = 0x11223344; 60907804f75SJames Henderson LT.addExtendedOpcode(5, DW_LNE_set_address, {{Addr1, LineTable::Long}}); 61007804f75SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 61107804f75SJames Henderson uint64_t Addr2 = 0x1122334455667788; 61207804f75SJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, {{Addr2, LineTable::Quad}}); 61307804f75SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 61407804f75SJames Henderson 61507804f75SJames Henderson generate(); 61607804f75SJames Henderson 61707804f75SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 61807804f75SJames Henderson nullptr, RecordRecoverable); 619*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 620*9b23024cSPavel Labath FailedWithMessage("mismatching address size at offset " 621*9b23024cSPavel Labath "0x00000038 expected 0x04 found 0x08")); 62207804f75SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 62307804f75SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 2u); 62407804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 62507804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, Addr1); 62607804f75SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[1].Address.Address, Addr2); 627a3acf99eSJames Henderson } 628a3acf99eSJames Henderson 629fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, 630fe6983a7SJames Henderson ErrorForUnsupportedAddressSizeInSetAddressLength) { 631fe6983a7SJames Henderson // Use DWARF v4, and 0 for data extractor address size so that the address 632fe6983a7SJames Henderson // size is derived from the opcode length. 633fe6983a7SJames Henderson if (!setupGenerator(4, 0)) 634fe6983a7SJames Henderson return; 635fe6983a7SJames Henderson 636fe6983a7SJames Henderson LineTable < = Gen->addLineTable(); 637fe6983a7SJames Henderson // 4 == length of the extended opcode, i.e. 1 for the opcode itself and 3 for 638fe6983a7SJames Henderson // the Half (2) + Byte (1) operand, representing the unsupported address size. 639fe6983a7SJames Henderson LT.addExtendedOpcode(4, DW_LNE_set_address, 640fe6983a7SJames Henderson {{0x1234, LineTable::Half}, {0x56, LineTable::Byte}}); 641fe6983a7SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 642fe6983a7SJames Henderson // Special opcode to ensure the address has changed between the first and last 643fe6983a7SJames Henderson // row in the sequence. Without this, the sequence will not be recorded. 644fe6983a7SJames Henderson LT.addByte(0xaa); 645fe6983a7SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 646fe6983a7SJames Henderson 647fe6983a7SJames Henderson generate(); 648fe6983a7SJames Henderson 649fe6983a7SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 650fe6983a7SJames Henderson nullptr, RecordRecoverable); 651*9b23024cSPavel Labath EXPECT_THAT_ERROR( 652*9b23024cSPavel Labath std::move(Recoverable), 653*9b23024cSPavel Labath FailedWithMessage("address size 0x03 of DW_LNE_set_address opcode at " 654*9b23024cSPavel Labath "offset 0x00000030 is unsupported")); 655fe6983a7SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 656fe6983a7SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u); 657fe6983a7SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 658fe6983a7SJames Henderson // Show that the set address opcode is ignored in this case. 659a55dec7dSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u); 660fe6983a7SJames Henderson } 661fe6983a7SJames Henderson 662fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForAddressSizeGreaterThanByteSize) { 663fe6983a7SJames Henderson // Use DWARF v4, and 0 for data extractor address size so that the address 664fe6983a7SJames Henderson // size is derived from the opcode length. 665fe6983a7SJames Henderson if (!setupGenerator(4, 0)) 666fe6983a7SJames Henderson return; 667fe6983a7SJames Henderson 668fe6983a7SJames Henderson LineTable < = Gen->addLineTable(); 669fe6983a7SJames Henderson // Specifically use an operand size that has a trailing byte of a supported 670fe6983a7SJames Henderson // size (8), so that any potential truncation would result in a valid size. 671fe6983a7SJames Henderson std::vector<LineTable::ValueAndLength> Operands(0x108); 672fe6983a7SJames Henderson LT.addExtendedOpcode(Operands.size() + 1, DW_LNE_set_address, Operands); 673fe6983a7SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 674fe6983a7SJames Henderson 675fe6983a7SJames Henderson generate(); 676fe6983a7SJames Henderson 677fe6983a7SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 678fe6983a7SJames Henderson nullptr, RecordRecoverable); 679*9b23024cSPavel Labath EXPECT_THAT_ERROR( 680*9b23024cSPavel Labath std::move(Recoverable), 681*9b23024cSPavel Labath FailedWithMessage("address size 0x108 of DW_LNE_set_address opcode at " 682*9b23024cSPavel Labath "offset 0x00000031 is unsupported")); 683fe6983a7SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 684fe6983a7SJames Henderson } 685fe6983a7SJames Henderson 686fe6983a7SJames Henderson TEST_F(DebugLineBasicFixture, ErrorForUnsupportedAddressSizeDefinedInHeader) { 687fe6983a7SJames Henderson // Use 0 for data extractor address size so that it does not clash with the 688fe6983a7SJames Henderson // header address size. 689fe6983a7SJames Henderson if (!setupGenerator(5, 0)) 690fe6983a7SJames Henderson return; 691fe6983a7SJames Henderson 692fe6983a7SJames Henderson LineTable < = Gen->addLineTable(); 693fe6983a7SJames Henderson // AddressSize + 1 == length of the extended opcode, i.e. 1 for the opcode 694fe6983a7SJames Henderson // itself and 9 for the Quad (8) + Byte (1) operand representing the 695fe6983a7SJames Henderson // unsupported address size. 696fe6983a7SJames Henderson uint8_t AddressSize = 9; 697fe6983a7SJames Henderson LT.addExtendedOpcode(AddressSize + 1, DW_LNE_set_address, 698fe6983a7SJames Henderson {{0x12345678, LineTable::Quad}, {0, LineTable::Byte}}); 699fe6983a7SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 700fe6983a7SJames Henderson // Special opcode to ensure the address has changed between the first and last 701fe6983a7SJames Henderson // row in the sequence. Without this, the sequence will not be recorded. 702fe6983a7SJames Henderson LT.addByte(0xaa); 703fe6983a7SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 704fe6983a7SJames Henderson DWARFDebugLine::Prologue Prologue = LT.createBasicPrologue(); 705fe6983a7SJames Henderson Prologue.FormParams.AddrSize = AddressSize; 706fe6983a7SJames Henderson LT.setPrologue(Prologue); 707fe6983a7SJames Henderson 708fe6983a7SJames Henderson generate(); 709fe6983a7SJames Henderson 710fe6983a7SJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 711fe6983a7SJames Henderson nullptr, RecordRecoverable); 712*9b23024cSPavel Labath EXPECT_THAT_ERROR( 713*9b23024cSPavel Labath std::move(Recoverable), 714*9b23024cSPavel Labath FailedWithMessage("address size 0x09 of DW_LNE_set_address opcode at " 715*9b23024cSPavel Labath "offset 0x00000038 is unsupported")); 716fe6983a7SJames Henderson ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 717fe6983a7SJames Henderson ASSERT_EQ((*ExpectedLineTable)->Rows.size(), 3u); 718fe6983a7SJames Henderson EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 719fe6983a7SJames Henderson // Show that the set address opcode is ignored in this case. 720a55dec7dSJames Henderson EXPECT_EQ((*ExpectedLineTable)->Rows[0].Address.Address, 0u); 721fe6983a7SJames Henderson } 722fe6983a7SJames Henderson 723a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, CallbackUsedForUnterminatedSequence) { 724a3acf99eSJames Henderson if (!setupGenerator()) 725a3acf99eSJames Henderson return; 726a3acf99eSJames Henderson 727a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 728a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 729a3acf99eSJames Henderson {{0x1122334455667788, LineTable::Quad}}); 730a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 731a3acf99eSJames Henderson LT.addByte(0xaa); 732a3acf99eSJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 733a3acf99eSJames Henderson LT.addExtendedOpcode(9, DW_LNE_set_address, 734a3acf99eSJames Henderson {{0x99aabbccddeeff00, LineTable::Quad}}); 735a3acf99eSJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 736a3acf99eSJames Henderson LT.addByte(0xbb); 737a3acf99eSJames Henderson LT.addByte(0xcc); 738a3acf99eSJames Henderson 739a3acf99eSJames Henderson generate(); 740a3acf99eSJames Henderson 741004b729eSJames Henderson auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 742004b729eSJames Henderson nullptr, RecordRecoverable); 743*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 744*9b23024cSPavel Labath FailedWithMessage("last sequence in debug line table at " 745*9b23024cSPavel Labath "offset 0x00000000 is not terminated")); 746*9b23024cSPavel Labath ASSERT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 747a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Rows.size(), 6u); 748a3acf99eSJames Henderson // The unterminated sequence is not added to the sequence list. 749a68aee07SRoman Lebedev EXPECT_EQ((*ExpectedLineTable)->Sequences.size(), 1u); 750a3acf99eSJames Henderson } 751a3acf99eSJames Henderson 752a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserParsesCorrectly) { 753a3acf99eSJames Henderson if (!setupGenerator()) 754a3acf99eSJames Henderson return; 755a3acf99eSJames Henderson 756a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 757a3acf99eSJames Henderson 75811a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 759a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 760a3acf99eSJames Henderson 761004b729eSJames Henderson DWARFDebugLine::LineTable Parsed = 762004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 763a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF32, Parsed.Prologue, 16); 76411a9de74SJames Henderson EXPECT_EQ(Parsed.Sequences.size(), 1u); 76511a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 766a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 767a3acf99eSJames Henderson 768a3acf99eSJames Henderson DWARFDebugLine::LineTable Parsed2 = 769004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 770a3acf99eSJames Henderson checkDefaultPrologue(4, DWARF64, Parsed2.Prologue, 16); 77111a9de74SJames Henderson EXPECT_EQ(Parsed2.Sequences.size(), 1u); 77211a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 773a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 774a3acf99eSJames Henderson 775004b729eSJames Henderson EXPECT_FALSE(Recoverable); 776004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 777a3acf99eSJames Henderson } 778a3acf99eSJames Henderson 779a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserSkipsCorrectly) { 780a3acf99eSJames Henderson if (!setupGenerator()) 781a3acf99eSJames Henderson return; 782a3acf99eSJames Henderson 783a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser = setupParser(); 784a3acf99eSJames Henderson 78511a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 0u); 786a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 787a3acf99eSJames Henderson 7887116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 78911a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 62u); 790a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 791a3acf99eSJames Henderson 7927116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 79311a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 136u); 794a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 795a3acf99eSJames Henderson 7967116e431SJames Henderson EXPECT_FALSE(Recoverable); 797004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 798a3acf99eSJames Henderson } 799a3acf99eSJames Henderson 800a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserAlwaysDoneForEmptySection) { 801a3acf99eSJames Henderson if (!setupGenerator()) 802a3acf99eSJames Henderson return; 803a3acf99eSJames Henderson 804a3acf99eSJames Henderson generate(); 805a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 806a3acf99eSJames Henderson 807a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 808a3acf99eSJames Henderson } 809a3acf99eSJames Henderson 810a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenParsing) { 811a3acf99eSJames Henderson if (!setupGenerator()) 812a3acf99eSJames Henderson return; 813a3acf99eSJames Henderson 814a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 815f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 816a3acf99eSJames Henderson Gen->addLineTable(); 817a3acf99eSJames Henderson generate(); 818a3acf99eSJames Henderson 819a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 820004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 821a3acf99eSJames Henderson 82211a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 823a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 824004b729eSJames Henderson EXPECT_FALSE(Recoverable); 825a3acf99eSJames Henderson 826*9b23024cSPavel Labath EXPECT_THAT_ERROR( 827*9b23024cSPavel Labath std::move(Unrecoverable), 828*9b23024cSPavel Labath FailedWithMessage( 829*9b23024cSPavel Labath "parsing line table prologue at offset 0x00000000 unsupported " 830*9b23024cSPavel Labath "reserved unit length found of value 0xfffffff0")); 831a3acf99eSJames Henderson } 832a3acf99eSJames Henderson 833a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserMovesToEndForBadLengthWhenSkipping) { 834a3acf99eSJames Henderson if (!setupGenerator()) 835a3acf99eSJames Henderson return; 836a3acf99eSJames Henderson 837a3acf99eSJames Henderson LineTable < = Gen->addLineTable(); 838f48bc018SIgor Kudrin LT.setCustomPrologue({{0xfffffff0, LineTable::Long}}); 839a3acf99eSJames Henderson Gen->addLineTable(); 840a3acf99eSJames Henderson generate(); 841a3acf99eSJames Henderson 842a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 8437116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 844a3acf99eSJames Henderson 84511a9de74SJames Henderson EXPECT_EQ(Parser.getOffset(), 4u); 846a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 8477116e431SJames Henderson EXPECT_FALSE(Recoverable); 848a3acf99eSJames Henderson 849*9b23024cSPavel Labath EXPECT_THAT_ERROR( 850*9b23024cSPavel Labath std::move(Unrecoverable), 851*9b23024cSPavel Labath FailedWithMessage( 852*9b23024cSPavel Labath "parsing line table prologue at offset 0x00000000 unsupported " 853*9b23024cSPavel Labath "reserved unit length found of value 0xfffffff0")); 854a3acf99eSJames Henderson } 855a3acf99eSJames Henderson 856a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsFirstErrorInEachTableWhenParsing) { 857a3acf99eSJames Henderson if (!setupGenerator()) 858a3acf99eSJames Henderson return; 859a3acf99eSJames Henderson 860a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 861a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 862a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 863a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 864a3acf99eSJames Henderson generate(); 865a3acf99eSJames Henderson 866a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 867004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 868a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 869004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 870a3acf99eSJames Henderson 871a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 872*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), Succeeded()); 873a3acf99eSJames Henderson 874*9b23024cSPavel Labath EXPECT_THAT_ERROR( 875*9b23024cSPavel Labath std::move(Unrecoverable), 876*9b23024cSPavel Labath FailedWithMessage("parsing line table prologue at offset 0x00000000 " 877*9b23024cSPavel Labath "found unsupported version 0", 878*9b23024cSPavel Labath "parsing line table prologue at offset 0x00000006 " 879*9b23024cSPavel Labath "found unsupported version 1")); 880a3acf99eSJames Henderson } 881a3acf99eSJames Henderson 882a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserReportsNonPrologueProblemsWhenParsing) { 883a3acf99eSJames Henderson if (!setupGenerator()) 884a3acf99eSJames Henderson return; 885a3acf99eSJames Henderson 886a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 887a3acf99eSJames Henderson LT.addExtendedOpcode(0x42, DW_LNE_end_sequence, {}); 888a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 889a3acf99eSJames Henderson LT2.addExtendedOpcode(9, DW_LNE_set_address, 890a3acf99eSJames Henderson {{0x1234567890abcdef, LineTable::Quad}}); 891a3acf99eSJames Henderson LT2.addStandardOpcode(DW_LNS_copy, {}); 892a3acf99eSJames Henderson LT2.addByte(0xbb); 893a3acf99eSJames Henderson generate(); 894a3acf99eSJames Henderson 895a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 896004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 897f1be770fSJames Henderson EXPECT_FALSE(Unrecoverable); 898a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 899*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 900*9b23024cSPavel Labath FailedWithMessage("unexpected line op length at offset " 901*9b23024cSPavel Labath "0x00000030 expected 0x42 found 0x01")); 902a3acf99eSJames Henderson 903a3acf99eSJames Henderson // Reset the error state so that it does not confuse the next set of checks. 904004b729eSJames Henderson Unrecoverable = Error::success(); 905004b729eSJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable); 906a3acf99eSJames Henderson 907a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 908*9b23024cSPavel Labath EXPECT_THAT_ERROR(std::move(Recoverable), 909*9b23024cSPavel Labath FailedWithMessage("last sequence in debug line table at " 910*9b23024cSPavel Labath "offset 0x00000031 is not terminated")); 911004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 912a3acf99eSJames Henderson } 913a3acf99eSJames Henderson 914a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, 915a3acf99eSJames Henderson ParserReportsPrologueErrorsInEachTableWhenSkipping) { 916a3acf99eSJames Henderson if (!setupGenerator()) 917a3acf99eSJames Henderson return; 918a3acf99eSJames Henderson 919a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 920a3acf99eSJames Henderson LT.setCustomPrologue({{2, LineTable::Long}, {0, LineTable::Half}}); 921a3acf99eSJames Henderson LineTable <2 = Gen->addLineTable(DWARF32); 922a3acf99eSJames Henderson LT2.setCustomPrologue({{2, LineTable::Long}, {1, LineTable::Half}}); 923a3acf99eSJames Henderson generate(); 924a3acf99eSJames Henderson 925a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 9267116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 927a3acf99eSJames Henderson ASSERT_FALSE(Parser.done()); 9287116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 929a3acf99eSJames Henderson 930a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 9317116e431SJames Henderson EXPECT_FALSE(Recoverable); 932a3acf99eSJames Henderson 933*9b23024cSPavel Labath EXPECT_THAT_ERROR( 934*9b23024cSPavel Labath std::move(Unrecoverable), 935*9b23024cSPavel Labath FailedWithMessage("parsing line table prologue at offset 0x00000000 " 936*9b23024cSPavel Labath "found unsupported version 0", 937*9b23024cSPavel Labath "parsing line table prologue at offset 0x00000006 " 938*9b23024cSPavel Labath "found unsupported version 1")); 939a3acf99eSJames Henderson } 940a3acf99eSJames Henderson 941a3acf99eSJames Henderson TEST_F(DebugLineBasicFixture, ParserIgnoresNonPrologueErrorsWhenSkipping) { 942a3acf99eSJames Henderson if (!setupGenerator()) 943a3acf99eSJames Henderson return; 944a3acf99eSJames Henderson 945a3acf99eSJames Henderson LineTable < = Gen->addLineTable(DWARF32); 946a3acf99eSJames Henderson LT.addExtendedOpcode(42, DW_LNE_end_sequence, {}); 947a3acf99eSJames Henderson generate(); 948a3acf99eSJames Henderson 949a3acf99eSJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 9507116e431SJames Henderson Parser.skip(RecordRecoverable, RecordUnrecoverable); 951a3acf99eSJames Henderson 952a3acf99eSJames Henderson EXPECT_TRUE(Parser.done()); 9537116e431SJames Henderson EXPECT_FALSE(Recoverable); 954004b729eSJames Henderson EXPECT_FALSE(Unrecoverable); 95566702629SJames Henderson } 95666702629SJames Henderson 9572f815502SJames Henderson TEST_F(DebugLineBasicFixture, ParserPrintsStandardOpcodesWhenRequested) { 9582f815502SJames Henderson if (!setupGenerator()) 9592f815502SJames Henderson return; 9602f815502SJames Henderson 9612f815502SJames Henderson using ValLen = dwarfgen::LineTable::ValueAndLength; 9622f815502SJames Henderson LineTable < = Gen->addLineTable(DWARF32); 9632f815502SJames Henderson LT.addStandardOpcode(DW_LNS_copy, {}); 9642f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_pc, {ValLen{11, LineTable::ULEB}}); 9652f815502SJames Henderson LT.addStandardOpcode(DW_LNS_advance_line, {ValLen{22, LineTable::SLEB}}); 9662f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_file, {ValLen{33, LineTable::ULEB}}); 9672f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_column, {ValLen{44, LineTable::ULEB}}); 9682f815502SJames Henderson LT.addStandardOpcode(DW_LNS_negate_stmt, {}); 9692f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_basic_block, {}); 9702f815502SJames Henderson LT.addStandardOpcode(DW_LNS_const_add_pc, {}); 9712f815502SJames Henderson LT.addStandardOpcode(DW_LNS_fixed_advance_pc, {ValLen{55, LineTable::Half}}); 9722f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_prologue_end, {}); 9732f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_epilogue_begin, {}); 9742f815502SJames Henderson LT.addStandardOpcode(DW_LNS_set_isa, {ValLen{66, LineTable::ULEB}}); 9752f815502SJames Henderson LT.addExtendedOpcode(1, DW_LNE_end_sequence, {}); 9762f815502SJames Henderson generate(); 9772f815502SJames Henderson 9782f815502SJames Henderson DWARFDebugLine::SectionParser Parser(LineData, *Context, CUs, TUs); 9792f815502SJames Henderson std::string Output; 9802f815502SJames Henderson raw_string_ostream OS(Output); 9812f815502SJames Henderson Parser.parseNext(RecordRecoverable, RecordUnrecoverable, &OS); 9822f815502SJames Henderson OS.flush(); 9832f815502SJames Henderson 9842f815502SJames Henderson EXPECT_FALSE(Recoverable); 9852f815502SJames Henderson EXPECT_FALSE(Unrecoverable); 9862f815502SJames Henderson auto InOutput = [&Output](char const *Str) { 9872f815502SJames Henderson return Output.find(Str) != std::string::npos; 9882f815502SJames Henderson }; 9892f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002e: 01 DW_LNS_copy\n")) << Output; 9902f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000002f: 02 DW_LNS_advance_pc (11)\n")) << Output; 9912f815502SJames Henderson // FIXME: The value printed after DW_LNS_advance_line is currently the result 9922f815502SJames Henderson // of the advance, but it should be the value being advanced by. See 9932f815502SJames Henderson // https://bugs.llvm.org/show_bug.cgi?id=44261 for details. 9942f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000031: 03 DW_LNS_advance_line (23)\n")) << Output; 9952f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000033: 04 DW_LNS_set_file (33)\n")) << Output; 9962f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000035: 05 DW_LNS_set_column (44)\n")) << Output; 9972f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000037: 06 DW_LNS_negate_stmt\n")) << Output; 9982f815502SJames Henderson EXPECT_TRUE(InOutput("0x00000038: 07 DW_LNS_set_basic_block\n")) << Output; 9992f815502SJames Henderson EXPECT_TRUE( 10002f815502SJames Henderson InOutput("0x00000039: 08 DW_LNS_const_add_pc (0x0000000000000011)\n")) 10012f815502SJames Henderson << Output; 10022f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003a: 09 DW_LNS_fixed_advance_pc (0x0037)\n")) 10032f815502SJames Henderson << Output; 10042f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003d: 0a DW_LNS_set_prologue_end\n")) << Output; 10052f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003e: 0b DW_LNS_set_epilogue_begin\n")) << Output; 10062f815502SJames Henderson EXPECT_TRUE(InOutput("0x0000003f: 0c DW_LNS_set_isa (66)\n")) << Output; 10072f815502SJames Henderson } 10082f815502SJames Henderson 1009417375d7SSterling Augustine TEST_F(DebugLineBasicFixture, PrintPathsProperly) { 1010417375d7SSterling Augustine if (!setupGenerator(5)) 1011417375d7SSterling Augustine return; 1012417375d7SSterling Augustine 1013417375d7SSterling Augustine LineTable < = Gen->addLineTable(); 1014417375d7SSterling Augustine DWARFDebugLine::Prologue P = LT.createBasicPrologue(); 1015417375d7SSterling Augustine P.IncludeDirectories.push_back( 1016417375d7SSterling Augustine DWARFFormValue::createFromPValue(DW_FORM_string, "b dir")); 1017417375d7SSterling Augustine P.FileNames.push_back(DWARFDebugLine::FileNameEntry()); 1018417375d7SSterling Augustine P.FileNames.back().Name = 1019417375d7SSterling Augustine DWARFFormValue::createFromPValue(DW_FORM_string, "b file"); 1020417375d7SSterling Augustine P.FileNames.back().DirIdx = 1; 1021417375d7SSterling Augustine P.PrologueLength += 14; 1022417375d7SSterling Augustine LT.setPrologue(P); 1023417375d7SSterling Augustine generate(); 1024417375d7SSterling Augustine 1025417375d7SSterling Augustine auto ExpectedLineTable = Line.getOrParseLineTable(LineData, 0, *Context, 1026417375d7SSterling Augustine nullptr, RecordRecoverable); 1027417375d7SSterling Augustine EXPECT_THAT_EXPECTED(ExpectedLineTable, Succeeded()); 1028417375d7SSterling Augustine std::string Result; 1029417375d7SSterling Augustine // DWARF 5 stores the compilation directory in two places: the Compilation 1030417375d7SSterling Augustine // Unit and the directory table entry 0, and implementations are free to use 1031417375d7SSterling Augustine // one or the other. This copy serves as the one stored in the CU. 1032417375d7SSterling Augustine StringRef CompDir = "a dir"; 1033417375d7SSterling Augustine EXPECT_FALSE( 1034417375d7SSterling Augustine (*ExpectedLineTable) 1035417375d7SSterling Augustine ->Prologue.getFileNameByIndex( 1036417375d7SSterling Augustine 1, CompDir, DILineInfoSpecifier::FileLineInfoKind::None, Result)); 1037417375d7SSterling Augustine EXPECT_TRUE((*ExpectedLineTable) 1038417375d7SSterling Augustine ->Prologue.getFileNameByIndex( 1039417375d7SSterling Augustine 1, CompDir, 1040417375d7SSterling Augustine DILineInfoSpecifier::FileLineInfoKind::Default, Result)); 1041417375d7SSterling Augustine EXPECT_STREQ(Result.c_str(), "b file"); 1042417375d7SSterling Augustine EXPECT_TRUE((*ExpectedLineTable) 1043417375d7SSterling Augustine ->Prologue.getFileNameByIndex( 1044417375d7SSterling Augustine 1, CompDir, 1045417375d7SSterling Augustine DILineInfoSpecifier::FileLineInfoKind::RelativeFilePath, 1046417375d7SSterling Augustine Result)); 1047257e4127SSterling Augustine EXPECT_THAT(Result.c_str(), MatchesRegex("b dir.b file")); 1048417375d7SSterling Augustine EXPECT_TRUE((*ExpectedLineTable) 1049417375d7SSterling Augustine ->Prologue.getFileNameByIndex( 1050417375d7SSterling Augustine 1, CompDir, 1051417375d7SSterling Augustine DILineInfoSpecifier::FileLineInfoKind::AbsoluteFilePath, 1052417375d7SSterling Augustine Result)); 1053257e4127SSterling Augustine EXPECT_THAT(Result.c_str(), MatchesRegex("a dir.b dir.b file")); 1054417375d7SSterling Augustine } 1055417375d7SSterling Augustine 105666702629SJames Henderson } // end anonymous namespace 1057