xref: /freebsd/contrib/llvm-project/llvm/lib/DebugInfo/DWARF/DWARFDebugMacro.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
10b57cec5SDimitry Andric //===- DWARFDebugMacro.cpp ------------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDebugMacro.h"
1081ad6265SDimitry Andric #include "llvm/ADT/DenseMap.h"
110b57cec5SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h"
125ffd83dbSDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDataExtractor.h"
1381ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFDie.h"
1481ad6265SDimitry Andric #include "llvm/DebugInfo/DWARF/DWARFFormValue.h"
1581ad6265SDimitry Andric #include "llvm/Support/Errc.h"
160b57cec5SDimitry Andric #include "llvm/Support/WithColor.h"
170b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
180b57cec5SDimitry Andric #include <cstdint>
190b57cec5SDimitry Andric 
200b57cec5SDimitry Andric using namespace llvm;
210b57cec5SDimitry Andric using namespace dwarf;
220b57cec5SDimitry Andric 
getDwarfFormat() const235ffd83dbSDimitry Andric DwarfFormat DWARFDebugMacro::MacroHeader::getDwarfFormat() const {
245ffd83dbSDimitry Andric   return Flags & MACRO_OFFSET_SIZE ? DWARF64 : DWARF32;
255ffd83dbSDimitry Andric }
265ffd83dbSDimitry Andric 
getOffsetByteSize() const275ffd83dbSDimitry Andric uint8_t DWARFDebugMacro::MacroHeader::getOffsetByteSize() const {
285ffd83dbSDimitry Andric   return getDwarfOffsetByteSize(getDwarfFormat());
295ffd83dbSDimitry Andric }
305ffd83dbSDimitry Andric 
dumpMacroHeader(raw_ostream & OS) const315ffd83dbSDimitry Andric void DWARFDebugMacro::MacroHeader::dumpMacroHeader(raw_ostream &OS) const {
325ffd83dbSDimitry Andric   // FIXME: Add support for dumping opcode_operands_table
335ffd83dbSDimitry Andric   OS << format("macro header: version = 0x%04" PRIx16, Version)
345ffd83dbSDimitry Andric      << format(", flags = 0x%02" PRIx8, Flags)
355ffd83dbSDimitry Andric      << ", format = " << FormatString(getDwarfFormat());
365ffd83dbSDimitry Andric   if (Flags & MACRO_DEBUG_LINE_OFFSET)
375ffd83dbSDimitry Andric     OS << format(", debug_line_offset = 0x%0*" PRIx64, 2 * getOffsetByteSize(),
385ffd83dbSDimitry Andric                  DebugLineOffset);
395ffd83dbSDimitry Andric   OS << "\n";
405ffd83dbSDimitry Andric }
415ffd83dbSDimitry Andric 
dump(raw_ostream & OS) const420b57cec5SDimitry Andric void DWARFDebugMacro::dump(raw_ostream &OS) const {
430b57cec5SDimitry Andric   unsigned IndLevel = 0;
44480093f4SDimitry Andric   for (const auto &Macros : MacroLists) {
455ffd83dbSDimitry Andric     OS << format("0x%08" PRIx64 ":\n", Macros.Offset);
46e8d8bef9SDimitry Andric     if (Macros.IsDebugMacro)
475ffd83dbSDimitry Andric       Macros.Header.dumpMacroHeader(OS);
485ffd83dbSDimitry Andric     for (const Entry &E : Macros.Macros) {
490b57cec5SDimitry Andric       // There should not be DW_MACINFO_end_file when IndLevel is Zero. However,
500b57cec5SDimitry Andric       // this check handles the case of corrupted ".debug_macinfo" section.
510b57cec5SDimitry Andric       if (IndLevel > 0)
520b57cec5SDimitry Andric         IndLevel -= (E.Type == DW_MACINFO_end_file);
530b57cec5SDimitry Andric       // Print indentation.
540b57cec5SDimitry Andric       for (unsigned I = 0; I < IndLevel; I++)
550b57cec5SDimitry Andric         OS << "  ";
560b57cec5SDimitry Andric       IndLevel += (E.Type == DW_MACINFO_start_file);
575ffd83dbSDimitry Andric       // Based on which version we are handling choose appropriate macro forms.
58e8d8bef9SDimitry Andric       if (Macros.IsDebugMacro)
59e8d8bef9SDimitry Andric         WithColor(OS, HighlightColor::Macro).get()
60e8d8bef9SDimitry Andric             << (Macros.Header.Version < 5 ? GnuMacroString(E.Type)
61e8d8bef9SDimitry Andric                                           : MacroString(E.Type));
625ffd83dbSDimitry Andric       else
630b57cec5SDimitry Andric         WithColor(OS, HighlightColor::Macro).get() << MacinfoString(E.Type);
640b57cec5SDimitry Andric       switch (E.Type) {
650b57cec5SDimitry Andric       default:
665ffd83dbSDimitry Andric         // Got a corrupted ".debug_macinfo/.debug_macro" section (invalid
675ffd83dbSDimitry Andric         // macinfo type).
680b57cec5SDimitry Andric         break;
695ffd83dbSDimitry Andric         // debug_macro and debug_macinfo share some common encodings.
705ffd83dbSDimitry Andric         // DW_MACRO_define     == DW_MACINFO_define
715ffd83dbSDimitry Andric         // DW_MACRO_undef      == DW_MACINFO_undef
725ffd83dbSDimitry Andric         // DW_MACRO_start_file == DW_MACINFO_start_file
735ffd83dbSDimitry Andric         // DW_MACRO_end_file   == DW_MACINFO_end_file
745ffd83dbSDimitry Andric         // For readability/uniformity we are using DW_MACRO_*.
75e8d8bef9SDimitry Andric         //
76e8d8bef9SDimitry Andric         // The GNU .debug_macro extension's entries have the same encoding
77e8d8bef9SDimitry Andric         // as DWARF 5's DW_MACRO_* entries, so we only use the latter here.
785ffd83dbSDimitry Andric       case DW_MACRO_define:
795ffd83dbSDimitry Andric       case DW_MACRO_undef:
805ffd83dbSDimitry Andric       case DW_MACRO_define_strp:
815ffd83dbSDimitry Andric       case DW_MACRO_undef_strp:
825ffd83dbSDimitry Andric       case DW_MACRO_define_strx:
835ffd83dbSDimitry Andric       case DW_MACRO_undef_strx:
840b57cec5SDimitry Andric         OS << " - lineno: " << E.Line;
850b57cec5SDimitry Andric         OS << " macro: " << E.MacroStr;
860b57cec5SDimitry Andric         break;
875ffd83dbSDimitry Andric       case DW_MACRO_start_file:
880b57cec5SDimitry Andric         OS << " - lineno: " << E.Line;
890b57cec5SDimitry Andric         OS << " filenum: " << E.File;
900b57cec5SDimitry Andric         break;
915ffd83dbSDimitry Andric       case DW_MACRO_import:
925ffd83dbSDimitry Andric         OS << format(" - import offset: 0x%0*" PRIx64,
935ffd83dbSDimitry Andric                      2 * Macros.Header.getOffsetByteSize(), E.ImportOffset);
945ffd83dbSDimitry Andric         break;
955ffd83dbSDimitry Andric       case DW_MACRO_end_file:
960b57cec5SDimitry Andric         break;
970b57cec5SDimitry Andric       case DW_MACINFO_vendor_ext:
980b57cec5SDimitry Andric         OS << " - constant: " << E.ExtConstant;
990b57cec5SDimitry Andric         OS << " string: " << E.ExtStr;
1000b57cec5SDimitry Andric         break;
1010b57cec5SDimitry Andric       }
1020b57cec5SDimitry Andric       OS << "\n";
1030b57cec5SDimitry Andric     }
104480093f4SDimitry Andric   }
1050b57cec5SDimitry Andric }
1060b57cec5SDimitry Andric 
parseImpl(std::optional<DWARFUnitVector::compile_unit_range> Units,std::optional<DataExtractor> StringExtractor,DWARFDataExtractor Data,bool IsMacro)1075ffd83dbSDimitry Andric Error DWARFDebugMacro::parseImpl(
108*bdd1243dSDimitry Andric     std::optional<DWARFUnitVector::compile_unit_range> Units,
109*bdd1243dSDimitry Andric     std::optional<DataExtractor> StringExtractor, DWARFDataExtractor Data,
1105ffd83dbSDimitry Andric     bool IsMacro) {
1118bcb0991SDimitry Andric   uint64_t Offset = 0;
112480093f4SDimitry Andric   MacroList *M = nullptr;
1135ffd83dbSDimitry Andric   using MacroToUnitsMap = DenseMap<uint64_t, DWARFUnit *>;
1145ffd83dbSDimitry Andric   MacroToUnitsMap MacroToUnits;
1155ffd83dbSDimitry Andric   if (IsMacro && Data.isValidOffset(Offset)) {
1165ffd83dbSDimitry Andric     // Keep a mapping from Macro contribution to CUs, this will
1175ffd83dbSDimitry Andric     // be needed while retrieving macro from DW_MACRO_define_strx form.
11881ad6265SDimitry Andric     for (const auto &U : *Units)
1195ffd83dbSDimitry Andric       if (auto CUDIE = U->getUnitDIE())
1205ffd83dbSDimitry Andric         // Skip units which does not contibutes to macro section.
1215ffd83dbSDimitry Andric         if (auto MacroOffset = toSectionOffset(CUDIE.find(DW_AT_macros)))
1225ffd83dbSDimitry Andric           MacroToUnits.try_emplace(*MacroOffset, U.get());
1235ffd83dbSDimitry Andric   }
1245ffd83dbSDimitry Andric   while (Data.isValidOffset(Offset)) {
125480093f4SDimitry Andric     if (!M) {
126480093f4SDimitry Andric       MacroLists.emplace_back();
127480093f4SDimitry Andric       M = &MacroLists.back();
1285ffd83dbSDimitry Andric       M->Offset = Offset;
129e8d8bef9SDimitry Andric       M->IsDebugMacro = IsMacro;
1305ffd83dbSDimitry Andric       if (IsMacro) {
1315ffd83dbSDimitry Andric         auto Err = M->Header.parseMacroHeader(Data, &Offset);
1325ffd83dbSDimitry Andric         if (Err)
1335ffd83dbSDimitry Andric           return Err;
1345ffd83dbSDimitry Andric       }
135480093f4SDimitry Andric     }
1360b57cec5SDimitry Andric     // A macro list entry consists of:
1375ffd83dbSDimitry Andric     M->Macros.emplace_back();
1385ffd83dbSDimitry Andric     Entry &E = M->Macros.back();
1390b57cec5SDimitry Andric     // 1. Macinfo type
1405ffd83dbSDimitry Andric     E.Type = Data.getULEB128(&Offset);
1410b57cec5SDimitry Andric 
1420b57cec5SDimitry Andric     if (E.Type == 0) {
1435ffd83dbSDimitry Andric       // Reached end of a ".debug_macinfo/debug_macro" section contribution.
1445ffd83dbSDimitry Andric       M = nullptr;
145480093f4SDimitry Andric       continue;
1460b57cec5SDimitry Andric     }
1470b57cec5SDimitry Andric 
1480b57cec5SDimitry Andric     switch (E.Type) {
1490b57cec5SDimitry Andric     default:
1500b57cec5SDimitry Andric       // Got a corrupted ".debug_macinfo" section (invalid macinfo type).
1510b57cec5SDimitry Andric       // Push the corrupted entry to the list and halt parsing.
1520b57cec5SDimitry Andric       E.Type = DW_MACINFO_invalid;
1535ffd83dbSDimitry Andric       return Error::success();
1545ffd83dbSDimitry Andric     // debug_macro and debug_macinfo share some common encodings.
1555ffd83dbSDimitry Andric     // DW_MACRO_define     == DW_MACINFO_define
1565ffd83dbSDimitry Andric     // DW_MACRO_undef      == DW_MACINFO_undef
1575ffd83dbSDimitry Andric     // DW_MACRO_start_file == DW_MACINFO_start_file
1585ffd83dbSDimitry Andric     // DW_MACRO_end_file   == DW_MACINFO_end_file
1595ffd83dbSDimitry Andric     // For readibility/uniformity we are using DW_MACRO_*.
1605ffd83dbSDimitry Andric     case DW_MACRO_define:
1615ffd83dbSDimitry Andric     case DW_MACRO_undef:
1620b57cec5SDimitry Andric       // 2. Source line
1635ffd83dbSDimitry Andric       E.Line = Data.getULEB128(&Offset);
1640b57cec5SDimitry Andric       // 3. Macro string
1655ffd83dbSDimitry Andric       E.MacroStr = Data.getCStr(&Offset);
1660b57cec5SDimitry Andric       break;
1675ffd83dbSDimitry Andric     case DW_MACRO_define_strp:
1685ffd83dbSDimitry Andric     case DW_MACRO_undef_strp: {
1695ffd83dbSDimitry Andric       if (!IsMacro) {
1705ffd83dbSDimitry Andric         // DW_MACRO_define_strp is a new form introduced in DWARFv5, it is
1715ffd83dbSDimitry Andric         // not supported in debug_macinfo[.dwo] sections. Assume it as an
1725ffd83dbSDimitry Andric         // invalid entry, push it and halt parsing.
1735ffd83dbSDimitry Andric         E.Type = DW_MACINFO_invalid;
1745ffd83dbSDimitry Andric         return Error::success();
1755ffd83dbSDimitry Andric       }
1765ffd83dbSDimitry Andric       uint64_t StrOffset = 0;
1770b57cec5SDimitry Andric       // 2. Source line
1785ffd83dbSDimitry Andric       E.Line = Data.getULEB128(&Offset);
1795ffd83dbSDimitry Andric       // 3. Macro string
1805ffd83dbSDimitry Andric       StrOffset =
1815ffd83dbSDimitry Andric           Data.getRelocatedValue(M->Header.getOffsetByteSize(), &Offset);
1825ffd83dbSDimitry Andric       assert(StringExtractor && "String Extractor not found");
1835ffd83dbSDimitry Andric       E.MacroStr = StringExtractor->getCStr(&StrOffset);
1840b57cec5SDimitry Andric       break;
1855ffd83dbSDimitry Andric     }
1865ffd83dbSDimitry Andric     case DW_MACRO_define_strx:
1875ffd83dbSDimitry Andric     case DW_MACRO_undef_strx: {
1885ffd83dbSDimitry Andric       if (!IsMacro) {
1895ffd83dbSDimitry Andric         // DW_MACRO_define_strx is a new form introduced in DWARFv5, it is
1905ffd83dbSDimitry Andric         // not supported in debug_macinfo[.dwo] sections. Assume it as an
1915ffd83dbSDimitry Andric         // invalid entry, push it and halt parsing.
1925ffd83dbSDimitry Andric         E.Type = DW_MACINFO_invalid;
1935ffd83dbSDimitry Andric         return Error::success();
1945ffd83dbSDimitry Andric       }
1955ffd83dbSDimitry Andric       E.Line = Data.getULEB128(&Offset);
1965ffd83dbSDimitry Andric       auto MacroContributionOffset = MacroToUnits.find(M->Offset);
1975ffd83dbSDimitry Andric       if (MacroContributionOffset == MacroToUnits.end())
1985ffd83dbSDimitry Andric         return createStringError(errc::invalid_argument,
1995ffd83dbSDimitry Andric                                  "Macro contribution of the unit not found");
2000eae32dcSDimitry Andric       Expected<uint64_t> StrOffset =
2015ffd83dbSDimitry Andric           MacroContributionOffset->second->getStringOffsetSectionItem(
2025ffd83dbSDimitry Andric               Data.getULEB128(&Offset));
2035ffd83dbSDimitry Andric       if (!StrOffset)
2040eae32dcSDimitry Andric         return StrOffset.takeError();
2055ffd83dbSDimitry Andric       E.MacroStr =
2065ffd83dbSDimitry Andric           MacroContributionOffset->second->getStringExtractor().getCStr(
2075ffd83dbSDimitry Andric               &*StrOffset);
2085ffd83dbSDimitry Andric       break;
2095ffd83dbSDimitry Andric     }
2105ffd83dbSDimitry Andric     case DW_MACRO_start_file:
2115ffd83dbSDimitry Andric       // 2. Source line
2125ffd83dbSDimitry Andric       E.Line = Data.getULEB128(&Offset);
2135ffd83dbSDimitry Andric       // 3. Source file id
2145ffd83dbSDimitry Andric       E.File = Data.getULEB128(&Offset);
2155ffd83dbSDimitry Andric       break;
2165ffd83dbSDimitry Andric     case DW_MACRO_end_file:
2175ffd83dbSDimitry Andric       break;
2185ffd83dbSDimitry Andric     case DW_MACRO_import:
2195ffd83dbSDimitry Andric       E.ImportOffset =
2205ffd83dbSDimitry Andric           Data.getRelocatedValue(M->Header.getOffsetByteSize(), &Offset);
2210b57cec5SDimitry Andric       break;
2220b57cec5SDimitry Andric     case DW_MACINFO_vendor_ext:
2230b57cec5SDimitry Andric       // 2. Vendor extension constant
2245ffd83dbSDimitry Andric       E.ExtConstant = Data.getULEB128(&Offset);
2250b57cec5SDimitry Andric       // 3. Vendor extension string
2265ffd83dbSDimitry Andric       E.ExtStr = Data.getCStr(&Offset);
2270b57cec5SDimitry Andric       break;
2280b57cec5SDimitry Andric     }
2290b57cec5SDimitry Andric   }
2305ffd83dbSDimitry Andric   return Error::success();
2315ffd83dbSDimitry Andric }
2325ffd83dbSDimitry Andric 
parseMacroHeader(DWARFDataExtractor Data,uint64_t * Offset)2335ffd83dbSDimitry Andric Error DWARFDebugMacro::MacroHeader::parseMacroHeader(DWARFDataExtractor Data,
2345ffd83dbSDimitry Andric                                                      uint64_t *Offset) {
2355ffd83dbSDimitry Andric   Version = Data.getU16(Offset);
2365ffd83dbSDimitry Andric   uint8_t FlagData = Data.getU8(Offset);
2375ffd83dbSDimitry Andric 
2385ffd83dbSDimitry Andric   // FIXME: Add support for parsing opcode_operands_table
2395ffd83dbSDimitry Andric   if (FlagData & MACRO_OPCODE_OPERANDS_TABLE)
2405ffd83dbSDimitry Andric     return createStringError(errc::not_supported,
2415ffd83dbSDimitry Andric                              "opcode_operands_table is not supported");
2425ffd83dbSDimitry Andric   Flags = FlagData;
2435ffd83dbSDimitry Andric   if (Flags & MACRO_DEBUG_LINE_OFFSET)
2445ffd83dbSDimitry Andric     DebugLineOffset = Data.getUnsigned(Offset, getOffsetByteSize());
2455ffd83dbSDimitry Andric   return Error::success();
2460b57cec5SDimitry Andric }
247