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