xref: /freebsd/contrib/llvm-project/llvm/tools/llvm-pdbutil/ExplainOutputStyle.cpp (revision 349cc55c9796c4596a5b9904cd3281af295f878f)
10b57cec5SDimitry Andric //===- ExplainOutputStyle.cpp --------------------------------- *- C++ --*-===//
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 "ExplainOutputStyle.h"
100b57cec5SDimitry Andric 
110b57cec5SDimitry Andric #include "FormatUtil.h"
120b57cec5SDimitry Andric #include "InputFile.h"
130b57cec5SDimitry Andric #include "StreamUtil.h"
140b57cec5SDimitry Andric #include "llvm-pdbutil.h"
150b57cec5SDimitry Andric 
160b57cec5SDimitry Andric #include "llvm/DebugInfo/CodeView/Formatters.h"
170b57cec5SDimitry Andric #include "llvm/DebugInfo/MSF/MappedBlockStream.h"
180b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/Native/DbiStream.h"
190b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/Native/InfoStream.h"
200b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/Native/PDBFile.h"
210b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/Native/RawTypes.h"
220b57cec5SDimitry Andric #include "llvm/Support/BinaryByteStream.h"
230b57cec5SDimitry Andric #include "llvm/Support/BinaryStreamArray.h"
240b57cec5SDimitry Andric #include "llvm/Support/Error.h"
250b57cec5SDimitry Andric 
260b57cec5SDimitry Andric using namespace llvm;
270b57cec5SDimitry Andric using namespace llvm::codeview;
280b57cec5SDimitry Andric using namespace llvm::msf;
290b57cec5SDimitry Andric using namespace llvm::pdb;
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric ExplainOutputStyle::ExplainOutputStyle(InputFile &File, uint64_t FileOffset)
320b57cec5SDimitry Andric     : File(File), FileOffset(FileOffset), P(2, false, outs()) {}
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric Error ExplainOutputStyle::dump() {
350b57cec5SDimitry Andric   P.formatLine("Explaining file offset {0} of file '{1}'.", FileOffset,
360b57cec5SDimitry Andric                File.getFilePath());
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric   if (File.isPdb())
390b57cec5SDimitry Andric     return explainPdbFile();
400b57cec5SDimitry Andric 
410b57cec5SDimitry Andric   return explainBinaryFile();
420b57cec5SDimitry Andric }
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric Error ExplainOutputStyle::explainPdbFile() {
450b57cec5SDimitry Andric   bool IsAllocated = explainPdbBlockStatus();
460b57cec5SDimitry Andric   if (!IsAllocated)
470b57cec5SDimitry Andric     return Error::success();
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric   AutoIndent Indent(P);
500b57cec5SDimitry Andric   if (isPdbSuperBlock())
510b57cec5SDimitry Andric     explainPdbSuperBlockOffset();
520b57cec5SDimitry Andric   else if (isPdbFpmBlock())
530b57cec5SDimitry Andric     explainPdbFpmBlockOffset();
540b57cec5SDimitry Andric   else if (isPdbBlockMapBlock())
550b57cec5SDimitry Andric     explainPdbBlockMapOffset();
560b57cec5SDimitry Andric   else if (isPdbStreamDirectoryBlock())
570b57cec5SDimitry Andric     explainPdbStreamDirectoryOffset();
580b57cec5SDimitry Andric   else if (auto Index = getPdbBlockStreamIndex())
590b57cec5SDimitry Andric     explainPdbStreamOffset(*Index);
600b57cec5SDimitry Andric   else
610b57cec5SDimitry Andric     explainPdbUnknownBlock();
620b57cec5SDimitry Andric   return Error::success();
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric Error ExplainOutputStyle::explainBinaryFile() {
660b57cec5SDimitry Andric   std::unique_ptr<BinaryByteStream> Stream =
678bcb0991SDimitry Andric       std::make_unique<BinaryByteStream>(File.unknown().getBuffer(),
680b57cec5SDimitry Andric                                           llvm::support::little);
690b57cec5SDimitry Andric   switch (opts::explain::InputType) {
700b57cec5SDimitry Andric   case opts::explain::InputFileType::DBIStream: {
710b57cec5SDimitry Andric     DbiStream Dbi(std::move(Stream));
720b57cec5SDimitry Andric     if (auto EC = Dbi.reload(nullptr))
730b57cec5SDimitry Andric       return EC;
740b57cec5SDimitry Andric     explainStreamOffset(Dbi, FileOffset);
750b57cec5SDimitry Andric     break;
760b57cec5SDimitry Andric   }
770b57cec5SDimitry Andric   case opts::explain::InputFileType::PDBStream: {
780b57cec5SDimitry Andric     InfoStream Info(std::move(Stream));
790b57cec5SDimitry Andric     if (auto EC = Info.reload())
800b57cec5SDimitry Andric       return EC;
810b57cec5SDimitry Andric     explainStreamOffset(Info, FileOffset);
820b57cec5SDimitry Andric     break;
830b57cec5SDimitry Andric   }
840b57cec5SDimitry Andric   default:
850b57cec5SDimitry Andric     llvm_unreachable("Invalid input file type!");
860b57cec5SDimitry Andric   }
870b57cec5SDimitry Andric   return Error::success();
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric uint32_t ExplainOutputStyle::pdbBlockIndex() const {
910b57cec5SDimitry Andric   return FileOffset / File.pdb().getBlockSize();
920b57cec5SDimitry Andric }
930b57cec5SDimitry Andric 
940b57cec5SDimitry Andric uint32_t ExplainOutputStyle::pdbBlockOffset() const {
950b57cec5SDimitry Andric   uint64_t BlockStart = pdbBlockIndex() * File.pdb().getBlockSize();
960b57cec5SDimitry Andric   assert(FileOffset >= BlockStart);
970b57cec5SDimitry Andric   return FileOffset - BlockStart;
980b57cec5SDimitry Andric }
990b57cec5SDimitry Andric 
1000b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbSuperBlock() const {
1010b57cec5SDimitry Andric   return pdbBlockIndex() == 0;
1020b57cec5SDimitry Andric }
1030b57cec5SDimitry Andric 
1040b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbFpm1() const {
1050b57cec5SDimitry Andric   return ((pdbBlockIndex() - 1) % File.pdb().getBlockSize() == 0);
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbFpm2() const {
1080b57cec5SDimitry Andric   return ((pdbBlockIndex() - 2) % File.pdb().getBlockSize() == 0);
1090b57cec5SDimitry Andric }
1100b57cec5SDimitry Andric 
1110b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbFpmBlock() const {
1120b57cec5SDimitry Andric   return isPdbFpm1() || isPdbFpm2();
1130b57cec5SDimitry Andric }
1140b57cec5SDimitry Andric 
1150b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbBlockMapBlock() const {
1160b57cec5SDimitry Andric   return pdbBlockIndex() == File.pdb().getBlockMapIndex();
1170b57cec5SDimitry Andric }
1180b57cec5SDimitry Andric 
1190b57cec5SDimitry Andric bool ExplainOutputStyle::isPdbStreamDirectoryBlock() const {
1200b57cec5SDimitry Andric   const auto &Layout = File.pdb().getMsfLayout();
1210b57cec5SDimitry Andric   return llvm::is_contained(Layout.DirectoryBlocks, pdbBlockIndex());
1220b57cec5SDimitry Andric }
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric Optional<uint32_t> ExplainOutputStyle::getPdbBlockStreamIndex() const {
1250b57cec5SDimitry Andric   const auto &Layout = File.pdb().getMsfLayout();
1260b57cec5SDimitry Andric   for (const auto &Entry : enumerate(Layout.StreamMap)) {
1270b57cec5SDimitry Andric     if (!llvm::is_contained(Entry.value(), pdbBlockIndex()))
1280b57cec5SDimitry Andric       continue;
1290b57cec5SDimitry Andric     return Entry.index();
1300b57cec5SDimitry Andric   }
1310b57cec5SDimitry Andric   return None;
1320b57cec5SDimitry Andric }
1330b57cec5SDimitry Andric 
1340b57cec5SDimitry Andric bool ExplainOutputStyle::explainPdbBlockStatus() {
1350b57cec5SDimitry Andric   if (FileOffset >= File.pdb().getFileSize()) {
1360b57cec5SDimitry Andric     P.formatLine("Address {0} is not in the file (file size = {1}).",
1370b57cec5SDimitry Andric                  FileOffset, File.pdb().getFileSize());
1380b57cec5SDimitry Andric     return false;
1390b57cec5SDimitry Andric   }
1400b57cec5SDimitry Andric   P.formatLine("Block:Offset = {2:X-}:{1:X-4}.", FileOffset, pdbBlockOffset(),
1410b57cec5SDimitry Andric                pdbBlockIndex());
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric   bool IsFree = File.pdb().getMsfLayout().FreePageMap[pdbBlockIndex()];
1440b57cec5SDimitry Andric   P.formatLine("Address is in block {0} ({1}allocated).", pdbBlockIndex(),
1450b57cec5SDimitry Andric                IsFree ? "un" : "");
1460b57cec5SDimitry Andric   return !IsFree;
1470b57cec5SDimitry Andric }
1480b57cec5SDimitry Andric 
1490b57cec5SDimitry Andric #define endof(Class, Field) (offsetof(Class, Field) + sizeof(Class::Field))
1500b57cec5SDimitry Andric 
1510b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbSuperBlockOffset() {
1520b57cec5SDimitry Andric   P.formatLine("This corresponds to offset {0} of the MSF super block, ",
1530b57cec5SDimitry Andric                pdbBlockOffset());
1540b57cec5SDimitry Andric   if (pdbBlockOffset() < endof(SuperBlock, MagicBytes))
1550b57cec5SDimitry Andric     P.printLine("which is part of the MSF file magic.");
1560b57cec5SDimitry Andric   else if (pdbBlockOffset() < endof(SuperBlock, BlockSize)) {
1570b57cec5SDimitry Andric     P.printLine("which contains the block size of the file.");
1580b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1590b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->BlockSize));
1600b57cec5SDimitry Andric   } else if (pdbBlockOffset() < endof(SuperBlock, FreeBlockMapBlock)) {
1610b57cec5SDimitry Andric     P.printLine("which contains the index of the FPM block (e.g. 1 or 2).");
1620b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1630b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->FreeBlockMapBlock));
1640b57cec5SDimitry Andric   } else if (pdbBlockOffset() < endof(SuperBlock, NumBlocks)) {
1650b57cec5SDimitry Andric     P.printLine("which contains the number of blocks in the file.");
1660b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1670b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->NumBlocks));
1680b57cec5SDimitry Andric   } else if (pdbBlockOffset() < endof(SuperBlock, NumDirectoryBytes)) {
1690b57cec5SDimitry Andric     P.printLine("which contains the number of bytes in the stream directory.");
1700b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1710b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->NumDirectoryBytes));
1720b57cec5SDimitry Andric   } else if (pdbBlockOffset() < endof(SuperBlock, Unknown1)) {
1730b57cec5SDimitry Andric     P.printLine("whose purpose is unknown.");
1740b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1750b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->Unknown1));
1760b57cec5SDimitry Andric   } else if (pdbBlockOffset() < endof(SuperBlock, BlockMapAddr)) {
1770b57cec5SDimitry Andric     P.printLine("which contains the file offset of the block map.");
1780b57cec5SDimitry Andric     P.formatLine("The current value is {0}.",
1790b57cec5SDimitry Andric                  uint32_t(File.pdb().getMsfLayout().SB->BlockMapAddr));
1800b57cec5SDimitry Andric   } else {
1810b57cec5SDimitry Andric     assert(pdbBlockOffset() > sizeof(SuperBlock));
1820b57cec5SDimitry Andric     P.printLine(
1830b57cec5SDimitry Andric         "which is outside the range of valid data for the super block.");
1840b57cec5SDimitry Andric   }
1850b57cec5SDimitry Andric }
1860b57cec5SDimitry Andric 
1870b57cec5SDimitry Andric static std::string toBinaryString(uint8_t Byte) {
1880b57cec5SDimitry Andric   char Result[9] = {0};
1890b57cec5SDimitry Andric   for (int I = 0; I < 8; ++I) {
1900b57cec5SDimitry Andric     char C = (Byte & 1) ? '1' : '0';
1910b57cec5SDimitry Andric     Result[I] = C;
1920b57cec5SDimitry Andric     Byte >>= 1;
1930b57cec5SDimitry Andric   }
1940b57cec5SDimitry Andric   return std::string(Result);
1950b57cec5SDimitry Andric }
1960b57cec5SDimitry Andric 
1970b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbFpmBlockOffset() {
1980b57cec5SDimitry Andric   const MSFLayout &Layout = File.pdb().getMsfLayout();
1990b57cec5SDimitry Andric   uint32_t MainFpm = Layout.mainFpmBlock();
2000b57cec5SDimitry Andric   uint32_t AltFpm = Layout.alternateFpmBlock();
2010b57cec5SDimitry Andric 
2020b57cec5SDimitry Andric   assert(isPdbFpmBlock());
2030b57cec5SDimitry Andric   uint32_t Fpm = isPdbFpm1() ? 1 : 2;
2040b57cec5SDimitry Andric   uint32_t FpmChunk = pdbBlockIndex() / File.pdb().getBlockSize();
2050b57cec5SDimitry Andric   assert((Fpm == MainFpm) || (Fpm == AltFpm));
2060b57cec5SDimitry Andric   (void)AltFpm;
2070b57cec5SDimitry Andric   bool IsMain = (Fpm == MainFpm);
2080b57cec5SDimitry Andric   P.formatLine("Address is in FPM{0} ({1} FPM)", Fpm, IsMain ? "Main" : "Alt");
2090b57cec5SDimitry Andric   uint32_t DescribedBlockStart =
2100b57cec5SDimitry Andric       8 * (FpmChunk * File.pdb().getBlockSize() + pdbBlockOffset());
2110b57cec5SDimitry Andric   if (DescribedBlockStart > File.pdb().getBlockCount()) {
2120b57cec5SDimitry Andric     P.printLine("Address is in extraneous FPM space.");
2130b57cec5SDimitry Andric     return;
2140b57cec5SDimitry Andric   }
2150b57cec5SDimitry Andric 
2160b57cec5SDimitry Andric   P.formatLine("Address describes the allocation status of blocks [{0},{1})",
2170b57cec5SDimitry Andric                DescribedBlockStart, DescribedBlockStart + 8);
2180b57cec5SDimitry Andric   ArrayRef<uint8_t> Bytes;
2190b57cec5SDimitry Andric   cantFail(File.pdb().getMsfBuffer().readBytes(FileOffset, 1, Bytes));
2200b57cec5SDimitry Andric   P.formatLine("Status = {0} (Note: 0 = allocated, 1 = free)",
2210b57cec5SDimitry Andric                toBinaryString(Bytes[0]));
2220b57cec5SDimitry Andric }
2230b57cec5SDimitry Andric 
2240b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbBlockMapOffset() {
2250b57cec5SDimitry Andric   uint64_t BlockMapOffset = File.pdb().getBlockMapOffset();
2260b57cec5SDimitry Andric   uint32_t OffsetInBlock = FileOffset - BlockMapOffset;
2270b57cec5SDimitry Andric   P.formatLine("Address is at offset {0} of the directory block list",
2280b57cec5SDimitry Andric                OffsetInBlock);
2290b57cec5SDimitry Andric }
2300b57cec5SDimitry Andric 
2310b57cec5SDimitry Andric static uint32_t getOffsetInStream(ArrayRef<support::ulittle32_t> StreamBlocks,
2320b57cec5SDimitry Andric                                   uint64_t FileOffset, uint32_t BlockSize) {
2330b57cec5SDimitry Andric   uint32_t BlockIndex = FileOffset / BlockSize;
2340b57cec5SDimitry Andric   uint32_t OffsetInBlock = FileOffset - BlockIndex * BlockSize;
2350b57cec5SDimitry Andric 
2360b57cec5SDimitry Andric   auto Iter = llvm::find(StreamBlocks, BlockIndex);
2370b57cec5SDimitry Andric   assert(Iter != StreamBlocks.end());
2380b57cec5SDimitry Andric   uint32_t StreamBlockIndex = std::distance(StreamBlocks.begin(), Iter);
2390b57cec5SDimitry Andric   return StreamBlockIndex * BlockSize + OffsetInBlock;
2400b57cec5SDimitry Andric }
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbStreamOffset(uint32_t Stream) {
2430b57cec5SDimitry Andric   SmallVector<StreamInfo, 12> Streams;
2440b57cec5SDimitry Andric   discoverStreamPurposes(File.pdb(), Streams);
2450b57cec5SDimitry Andric 
2460b57cec5SDimitry Andric   assert(Stream <= Streams.size());
2470b57cec5SDimitry Andric   const StreamInfo &S = Streams[Stream];
2480b57cec5SDimitry Andric   const auto &Layout = File.pdb().getStreamLayout(Stream);
2490b57cec5SDimitry Andric   uint32_t StreamOff =
2500b57cec5SDimitry Andric       getOffsetInStream(Layout.Blocks, FileOffset, File.pdb().getBlockSize());
2510b57cec5SDimitry Andric   P.formatLine("Address is at offset {0}/{1} of Stream {2} ({3}){4}.",
2520b57cec5SDimitry Andric                StreamOff, Layout.Length, Stream, S.getLongName(),
2530b57cec5SDimitry Andric                (StreamOff > Layout.Length) ? " in unused space" : "");
2540b57cec5SDimitry Andric   switch (S.getPurpose()) {
2550b57cec5SDimitry Andric   case StreamPurpose::DBI: {
2560b57cec5SDimitry Andric     DbiStream &Dbi = cantFail(File.pdb().getPDBDbiStream());
2570b57cec5SDimitry Andric     explainStreamOffset(Dbi, StreamOff);
2580b57cec5SDimitry Andric     break;
2590b57cec5SDimitry Andric   }
2600b57cec5SDimitry Andric   case StreamPurpose::PDB: {
2610b57cec5SDimitry Andric     InfoStream &Info = cantFail(File.pdb().getPDBInfoStream());
2620b57cec5SDimitry Andric     explainStreamOffset(Info, StreamOff);
2630b57cec5SDimitry Andric     break;
2640b57cec5SDimitry Andric   }
2650b57cec5SDimitry Andric   case StreamPurpose::IPI:
2660b57cec5SDimitry Andric   case StreamPurpose::TPI:
2670b57cec5SDimitry Andric   case StreamPurpose::ModuleStream:
2680b57cec5SDimitry Andric   case StreamPurpose::NamedStream:
2690b57cec5SDimitry Andric   default:
2700b57cec5SDimitry Andric     break;
2710b57cec5SDimitry Andric   }
2720b57cec5SDimitry Andric }
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbStreamDirectoryOffset() {
2750b57cec5SDimitry Andric   auto DirectoryBlocks = File.pdb().getDirectoryBlockArray();
2760b57cec5SDimitry Andric   const auto &Layout = File.pdb().getMsfLayout();
2770b57cec5SDimitry Andric   uint32_t StreamOff =
2780b57cec5SDimitry Andric       getOffsetInStream(DirectoryBlocks, FileOffset, File.pdb().getBlockSize());
2790b57cec5SDimitry Andric   P.formatLine("Address is at offset {0}/{1} of Stream Directory{2}.",
2800b57cec5SDimitry Andric                StreamOff, uint32_t(Layout.SB->NumDirectoryBytes),
2810b57cec5SDimitry Andric                uint32_t(StreamOff > Layout.SB->NumDirectoryBytes)
2820b57cec5SDimitry Andric                    ? " in unused space"
2830b57cec5SDimitry Andric                    : "");
2840b57cec5SDimitry Andric }
2850b57cec5SDimitry Andric 
2860b57cec5SDimitry Andric void ExplainOutputStyle::explainPdbUnknownBlock() {
2870b57cec5SDimitry Andric   P.formatLine("Address has unknown purpose.");
2880b57cec5SDimitry Andric }
2890b57cec5SDimitry Andric 
2900b57cec5SDimitry Andric template <typename T>
2910b57cec5SDimitry Andric static void printStructField(LinePrinter &P, StringRef Label, T Value) {
2920b57cec5SDimitry Andric   P.formatLine("which contains {0}.", Label);
2930b57cec5SDimitry Andric   P.formatLine("The current value is {0}.", Value);
2940b57cec5SDimitry Andric }
2950b57cec5SDimitry Andric 
2960b57cec5SDimitry Andric static void explainDbiHeaderOffset(LinePrinter &P, DbiStream &Dbi,
2970b57cec5SDimitry Andric                                    uint32_t Offset) {
2980b57cec5SDimitry Andric   const DbiStreamHeader *Header = Dbi.getHeader();
2990b57cec5SDimitry Andric   assert(Header != nullptr);
3000b57cec5SDimitry Andric 
3010b57cec5SDimitry Andric   if (Offset < endof(DbiStreamHeader, VersionSignature))
3020b57cec5SDimitry Andric     printStructField(P, "the DBI Stream Version Signature",
3030b57cec5SDimitry Andric                      int32_t(Header->VersionSignature));
3040b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, VersionHeader))
3050b57cec5SDimitry Andric     printStructField(P, "the DBI Stream Version Header",
3060b57cec5SDimitry Andric                      uint32_t(Header->VersionHeader));
3070b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, Age))
3080b57cec5SDimitry Andric     printStructField(P, "the age of the DBI Stream", uint32_t(Header->Age));
3090b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, GlobalSymbolStreamIndex))
3100b57cec5SDimitry Andric     printStructField(P, "the index of the Global Symbol Stream",
3110b57cec5SDimitry Andric                      uint16_t(Header->GlobalSymbolStreamIndex));
3120b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, BuildNumber))
3130b57cec5SDimitry Andric     printStructField(P, "the build number", uint16_t(Header->BuildNumber));
3140b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, PublicSymbolStreamIndex))
3150b57cec5SDimitry Andric     printStructField(P, "the index of the Public Symbol Stream",
3160b57cec5SDimitry Andric                      uint16_t(Header->PublicSymbolStreamIndex));
3170b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, PdbDllVersion))
3180b57cec5SDimitry Andric     printStructField(P, "the version of mspdb.dll",
3190b57cec5SDimitry Andric                      uint16_t(Header->PdbDllVersion));
3200b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, SymRecordStreamIndex))
3210b57cec5SDimitry Andric     printStructField(P, "the index of the Symbol Record Stream",
3220b57cec5SDimitry Andric                      uint16_t(Header->SymRecordStreamIndex));
3230b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, PdbDllRbld))
3240b57cec5SDimitry Andric     printStructField(P, "the rbld of mspdb.dll", uint16_t(Header->PdbDllRbld));
3250b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, ModiSubstreamSize))
3260b57cec5SDimitry Andric     printStructField(P, "the size of the Module Info Substream",
3270b57cec5SDimitry Andric                      int32_t(Header->ModiSubstreamSize));
3280b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, SecContrSubstreamSize))
3290b57cec5SDimitry Andric     printStructField(P, "the size of the Section Contribution Substream",
3300b57cec5SDimitry Andric                      int32_t(Header->SecContrSubstreamSize));
3310b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, SectionMapSize))
3320b57cec5SDimitry Andric     printStructField(P, "the size of the Section Map Substream",
3330b57cec5SDimitry Andric                      int32_t(Header->SectionMapSize));
3340b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, FileInfoSize))
3350b57cec5SDimitry Andric     printStructField(P, "the size of the File Info Substream",
3360b57cec5SDimitry Andric                      int32_t(Header->FileInfoSize));
3370b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, TypeServerSize))
3380b57cec5SDimitry Andric     printStructField(P, "the size of the Type Server Map",
3390b57cec5SDimitry Andric                      int32_t(Header->TypeServerSize));
3400b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, MFCTypeServerIndex))
3410b57cec5SDimitry Andric     printStructField(P, "the index of the MFC Type Server stream",
3420b57cec5SDimitry Andric                      uint32_t(Header->MFCTypeServerIndex));
3430b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, OptionalDbgHdrSize))
3440b57cec5SDimitry Andric     printStructField(P, "the size of the Optional Debug Stream array",
3450b57cec5SDimitry Andric                      int32_t(Header->OptionalDbgHdrSize));
3460b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, ECSubstreamSize))
3470b57cec5SDimitry Andric     printStructField(P, "the size of the Edit & Continue Substream",
3480b57cec5SDimitry Andric                      int32_t(Header->ECSubstreamSize));
3490b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, Flags))
3500b57cec5SDimitry Andric     printStructField(P, "the DBI Stream flags", uint16_t(Header->Flags));
3510b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, MachineType))
3520b57cec5SDimitry Andric     printStructField(P, "the machine type", uint16_t(Header->MachineType));
3530b57cec5SDimitry Andric   else if (Offset < endof(DbiStreamHeader, Reserved))
3540b57cec5SDimitry Andric     printStructField(P, "reserved data", uint32_t(Header->Reserved));
3550b57cec5SDimitry Andric }
3560b57cec5SDimitry Andric 
3570b57cec5SDimitry Andric static void explainDbiModiSubstreamOffset(LinePrinter &P, DbiStream &Dbi,
3580b57cec5SDimitry Andric                                           uint32_t Offset) {
3590b57cec5SDimitry Andric   VarStreamArray<DbiModuleDescriptor> ModuleDescriptors;
3600b57cec5SDimitry Andric   BinaryStreamRef ModiSubstreamData = Dbi.getModiSubstreamData().StreamData;
3610b57cec5SDimitry Andric   BinaryStreamReader Reader(ModiSubstreamData);
3620b57cec5SDimitry Andric 
3630b57cec5SDimitry Andric   cantFail(Reader.readArray(ModuleDescriptors, ModiSubstreamData.getLength()));
3640b57cec5SDimitry Andric   auto Prev = ModuleDescriptors.begin();
3650b57cec5SDimitry Andric   assert(Prev.offset() == 0);
3660b57cec5SDimitry Andric   auto Current = Prev;
3670b57cec5SDimitry Andric   uint32_t Index = 0;
3680b57cec5SDimitry Andric   while (true) {
3690b57cec5SDimitry Andric     Prev = Current;
3700b57cec5SDimitry Andric     ++Current;
3710b57cec5SDimitry Andric     if (Current == ModuleDescriptors.end() || Offset < Current.offset())
3720b57cec5SDimitry Andric       break;
3730b57cec5SDimitry Andric     ++Index;
3740b57cec5SDimitry Andric   }
3750b57cec5SDimitry Andric 
376*349cc55cSDimitry Andric   const DbiModuleDescriptor &Descriptor = *Prev;
3770b57cec5SDimitry Andric   P.formatLine("which contains the descriptor for module {0} ({1}).", Index,
3780b57cec5SDimitry Andric                Descriptor.getModuleName());
3790b57cec5SDimitry Andric }
3800b57cec5SDimitry Andric 
3810b57cec5SDimitry Andric template <typename T>
3820b57cec5SDimitry Andric static void dontExplain(LinePrinter &Printer, T &Stream, uint32_t Offset) {}
3830b57cec5SDimitry Andric 
3840b57cec5SDimitry Andric template <typename T, typename SubstreamRangeT>
3850b57cec5SDimitry Andric static void explainSubstreamOffset(LinePrinter &P, uint32_t OffsetInStream,
3860b57cec5SDimitry Andric                                    T &Stream,
3870b57cec5SDimitry Andric                                    const SubstreamRangeT &Substreams) {
3880b57cec5SDimitry Andric   uint32_t SubOffset = OffsetInStream;
3890b57cec5SDimitry Andric   for (const auto &Entry : Substreams) {
3900b57cec5SDimitry Andric     if (Entry.Size <= 0)
3910b57cec5SDimitry Andric       continue;
3920b57cec5SDimitry Andric     uint32_t S = static_cast<uint32_t>(Entry.Size);
3930b57cec5SDimitry Andric     if (SubOffset < S) {
3940b57cec5SDimitry Andric       P.formatLine("address is at offset {0}/{1} of the {2}.", SubOffset, S,
3950b57cec5SDimitry Andric                    Entry.Label);
3960b57cec5SDimitry Andric       Entry.Explain(P, Stream, SubOffset);
3970b57cec5SDimitry Andric       return;
3980b57cec5SDimitry Andric     }
3990b57cec5SDimitry Andric     SubOffset -= S;
4000b57cec5SDimitry Andric   }
4010b57cec5SDimitry Andric }
4020b57cec5SDimitry Andric 
4030b57cec5SDimitry Andric void ExplainOutputStyle::explainStreamOffset(DbiStream &Dbi,
4040b57cec5SDimitry Andric                                              uint32_t OffsetInStream) {
4050b57cec5SDimitry Andric   P.printLine("Within the DBI stream:");
4060b57cec5SDimitry Andric   AutoIndent Indent(P);
4070b57cec5SDimitry Andric   const DbiStreamHeader *Header = Dbi.getHeader();
4080b57cec5SDimitry Andric   assert(Header != nullptr);
4090b57cec5SDimitry Andric 
4100b57cec5SDimitry Andric   struct SubstreamInfo {
4110b57cec5SDimitry Andric     int32_t Size;
4120b57cec5SDimitry Andric     StringRef Label;
4130b57cec5SDimitry Andric     void (*Explain)(LinePrinter &, DbiStream &, uint32_t);
4140b57cec5SDimitry Andric   } Substreams[] = {
4150b57cec5SDimitry Andric       {sizeof(DbiStreamHeader), "DBI Stream Header", explainDbiHeaderOffset},
4160b57cec5SDimitry Andric       {int32_t(Header->ModiSubstreamSize), "Module Info Substream",
4170b57cec5SDimitry Andric        explainDbiModiSubstreamOffset},
4180b57cec5SDimitry Andric       {int32_t(Header->SecContrSubstreamSize), "Section Contribution Substream",
4190b57cec5SDimitry Andric        dontExplain<DbiStream>},
4200b57cec5SDimitry Andric       {int32_t(Header->SectionMapSize), "Section Map", dontExplain<DbiStream>},
4210b57cec5SDimitry Andric       {int32_t(Header->FileInfoSize), "File Info Substream",
4220b57cec5SDimitry Andric        dontExplain<DbiStream>},
4230b57cec5SDimitry Andric       {int32_t(Header->TypeServerSize), "Type Server Map Substream",
4240b57cec5SDimitry Andric        dontExplain<DbiStream>},
4250b57cec5SDimitry Andric       {int32_t(Header->ECSubstreamSize), "Edit & Continue Substream",
4260b57cec5SDimitry Andric        dontExplain<DbiStream>},
4270b57cec5SDimitry Andric       {int32_t(Header->OptionalDbgHdrSize), "Optional Debug Stream Array",
4280b57cec5SDimitry Andric        dontExplain<DbiStream>},
4290b57cec5SDimitry Andric   };
4300b57cec5SDimitry Andric 
4310b57cec5SDimitry Andric   explainSubstreamOffset(P, OffsetInStream, Dbi, Substreams);
4320b57cec5SDimitry Andric }
4330b57cec5SDimitry Andric 
4340b57cec5SDimitry Andric static void explainPdbStreamHeaderOffset(LinePrinter &P, InfoStream &Info,
4350b57cec5SDimitry Andric                                          uint32_t Offset) {
4360b57cec5SDimitry Andric   const InfoStreamHeader *Header = Info.getHeader();
4370b57cec5SDimitry Andric   assert(Header != nullptr);
4380b57cec5SDimitry Andric 
4390b57cec5SDimitry Andric   if (Offset < endof(InfoStreamHeader, Version))
4400b57cec5SDimitry Andric     printStructField(P, "the PDB Stream Version Signature",
4410b57cec5SDimitry Andric                      uint32_t(Header->Version));
4420b57cec5SDimitry Andric   else if (Offset < endof(InfoStreamHeader, Signature))
4430b57cec5SDimitry Andric     printStructField(P, "the signature of the PDB Stream",
4440b57cec5SDimitry Andric                      uint32_t(Header->Signature));
4450b57cec5SDimitry Andric   else if (Offset < endof(InfoStreamHeader, Age))
4460b57cec5SDimitry Andric     printStructField(P, "the age of the PDB", uint32_t(Header->Age));
4470b57cec5SDimitry Andric   else if (Offset < endof(InfoStreamHeader, Guid))
4480b57cec5SDimitry Andric     printStructField(P, "the guid of the PDB", fmt_guid(Header->Guid.Guid));
4490b57cec5SDimitry Andric }
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric void ExplainOutputStyle::explainStreamOffset(InfoStream &Info,
4520b57cec5SDimitry Andric                                              uint32_t OffsetInStream) {
4530b57cec5SDimitry Andric   P.printLine("Within the PDB stream:");
4540b57cec5SDimitry Andric   AutoIndent Indent(P);
4550b57cec5SDimitry Andric 
4560b57cec5SDimitry Andric   struct SubstreamInfo {
4570b57cec5SDimitry Andric     uint32_t Size;
4580b57cec5SDimitry Andric     StringRef Label;
4590b57cec5SDimitry Andric     void (*Explain)(LinePrinter &, InfoStream &, uint32_t);
4600b57cec5SDimitry Andric   } Substreams[] = {{sizeof(InfoStreamHeader), "PDB Stream Header",
4610b57cec5SDimitry Andric                      explainPdbStreamHeaderOffset},
4620b57cec5SDimitry Andric                     {Info.getNamedStreamMapByteSize(), "Named Stream Map",
4630b57cec5SDimitry Andric                      dontExplain<InfoStream>},
4640b57cec5SDimitry Andric                     {Info.getStreamSize(), "PDB Feature Signatures",
4650b57cec5SDimitry Andric                      dontExplain<InfoStream>}};
4660b57cec5SDimitry Andric 
4670b57cec5SDimitry Andric   explainSubstreamOffset(P, OffsetInStream, Info, Substreams);
4680b57cec5SDimitry Andric }
469