170f5bc99SReid Kleckner //===-- llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp --*- C++ -*--===// 270f5bc99SReid Kleckner // 370f5bc99SReid Kleckner // The LLVM Compiler Infrastructure 470f5bc99SReid Kleckner // 570f5bc99SReid Kleckner // This file is distributed under the University of Illinois Open Source 670f5bc99SReid Kleckner // License. See LICENSE.TXT for details. 770f5bc99SReid Kleckner // 870f5bc99SReid Kleckner //===----------------------------------------------------------------------===// 970f5bc99SReid Kleckner // 1070f5bc99SReid Kleckner // This file contains support for writing Microsoft CodeView debug info. 1170f5bc99SReid Kleckner // 1270f5bc99SReid Kleckner //===----------------------------------------------------------------------===// 1370f5bc99SReid Kleckner 1470f5bc99SReid Kleckner #include "CodeViewDebug.h" 1570f5bc99SReid Kleckner #include "llvm/DebugInfo/CodeView/CodeView.h" 162214ed89SReid Kleckner #include "llvm/DebugInfo/CodeView/Line.h" 1770f5bc99SReid Kleckner #include "llvm/DebugInfo/CodeView/SymbolRecord.h" 18f3b9ba49SReid Kleckner #include "llvm/DebugInfo/CodeView/TypeIndex.h" 19f3b9ba49SReid Kleckner #include "llvm/DebugInfo/CodeView/TypeRecord.h" 2070f5bc99SReid Kleckner #include "llvm/MC/MCExpr.h" 2170f5bc99SReid Kleckner #include "llvm/MC/MCSymbol.h" 2270f5bc99SReid Kleckner #include "llvm/Support/COFF.h" 2370f5bc99SReid Kleckner 2470f5bc99SReid Kleckner using namespace llvm::codeview; 2570f5bc99SReid Kleckner 2670f5bc99SReid Kleckner namespace llvm { 2770f5bc99SReid Kleckner 289533af4fSReid Kleckner StringRef CodeViewDebug::getFullFilepath(const DIFile *File) { 299533af4fSReid Kleckner std::string &Filepath = FileToFilepathMap[File]; 3070f5bc99SReid Kleckner if (!Filepath.empty()) 3170f5bc99SReid Kleckner return Filepath; 3270f5bc99SReid Kleckner 339533af4fSReid Kleckner StringRef Dir = File->getDirectory(), Filename = File->getFilename(); 349533af4fSReid Kleckner 3570f5bc99SReid Kleckner // Clang emits directory and relative filename info into the IR, but CodeView 3670f5bc99SReid Kleckner // operates on full paths. We could change Clang to emit full paths too, but 3770f5bc99SReid Kleckner // that would increase the IR size and probably not needed for other users. 3870f5bc99SReid Kleckner // For now, just concatenate and canonicalize the path here. 3970f5bc99SReid Kleckner if (Filename.find(':') == 1) 4070f5bc99SReid Kleckner Filepath = Filename; 4170f5bc99SReid Kleckner else 4270f5bc99SReid Kleckner Filepath = (Dir + "\\" + Filename).str(); 4370f5bc99SReid Kleckner 4470f5bc99SReid Kleckner // Canonicalize the path. We have to do it textually because we may no longer 4570f5bc99SReid Kleckner // have access the file in the filesystem. 4670f5bc99SReid Kleckner // First, replace all slashes with backslashes. 4770f5bc99SReid Kleckner std::replace(Filepath.begin(), Filepath.end(), '/', '\\'); 4870f5bc99SReid Kleckner 4970f5bc99SReid Kleckner // Remove all "\.\" with "\". 5070f5bc99SReid Kleckner size_t Cursor = 0; 5170f5bc99SReid Kleckner while ((Cursor = Filepath.find("\\.\\", Cursor)) != std::string::npos) 5270f5bc99SReid Kleckner Filepath.erase(Cursor, 2); 5370f5bc99SReid Kleckner 5470f5bc99SReid Kleckner // Replace all "\XXX\..\" with "\". Don't try too hard though as the original 5570f5bc99SReid Kleckner // path should be well-formatted, e.g. start with a drive letter, etc. 5670f5bc99SReid Kleckner Cursor = 0; 5770f5bc99SReid Kleckner while ((Cursor = Filepath.find("\\..\\", Cursor)) != std::string::npos) { 5870f5bc99SReid Kleckner // Something's wrong if the path starts with "\..\", abort. 5970f5bc99SReid Kleckner if (Cursor == 0) 6070f5bc99SReid Kleckner break; 6170f5bc99SReid Kleckner 6270f5bc99SReid Kleckner size_t PrevSlash = Filepath.rfind('\\', Cursor - 1); 6370f5bc99SReid Kleckner if (PrevSlash == std::string::npos) 6470f5bc99SReid Kleckner // Something's wrong, abort. 6570f5bc99SReid Kleckner break; 6670f5bc99SReid Kleckner 6770f5bc99SReid Kleckner Filepath.erase(PrevSlash, Cursor + 3 - PrevSlash); 6870f5bc99SReid Kleckner // The next ".." might be following the one we've just erased. 6970f5bc99SReid Kleckner Cursor = PrevSlash; 7070f5bc99SReid Kleckner } 7170f5bc99SReid Kleckner 7270f5bc99SReid Kleckner // Remove all duplicate backslashes. 7370f5bc99SReid Kleckner Cursor = 0; 7470f5bc99SReid Kleckner while ((Cursor = Filepath.find("\\\\", Cursor)) != std::string::npos) 7570f5bc99SReid Kleckner Filepath.erase(Cursor, 1); 7670f5bc99SReid Kleckner 7770f5bc99SReid Kleckner return Filepath; 7870f5bc99SReid Kleckner } 7970f5bc99SReid Kleckner 802214ed89SReid Kleckner unsigned CodeViewDebug::maybeRecordFile(const DIFile *F) { 812214ed89SReid Kleckner unsigned NextId = FileIdMap.size() + 1; 822214ed89SReid Kleckner auto Insertion = FileIdMap.insert(std::make_pair(F, NextId)); 832214ed89SReid Kleckner if (Insertion.second) { 842214ed89SReid Kleckner // We have to compute the full filepath and emit a .cv_file directive. 852214ed89SReid Kleckner StringRef FullPath = getFullFilepath(F); 86dac21b43SReid Kleckner NextId = OS.EmitCVFileDirective(NextId, FullPath); 872214ed89SReid Kleckner assert(NextId == FileIdMap.size() && ".cv_file directive failed"); 882214ed89SReid Kleckner } 892214ed89SReid Kleckner return Insertion.first->second; 902214ed89SReid Kleckner } 912214ed89SReid Kleckner 92f3b9ba49SReid Kleckner CodeViewDebug::InlineSite &CodeViewDebug::getInlineSite(const DILocation *Loc) { 93f3b9ba49SReid Kleckner const DILocation *InlinedAt = Loc->getInlinedAt(); 94f3b9ba49SReid Kleckner auto Insertion = CurFn->InlineSites.insert({InlinedAt, InlineSite()}); 95f3b9ba49SReid Kleckner if (Insertion.second) { 96f3b9ba49SReid Kleckner InlineSite &Site = Insertion.first->second; 97f3b9ba49SReid Kleckner Site.SiteFuncId = NextFuncId++; 98f3b9ba49SReid Kleckner Site.Inlinee = Loc->getScope()->getSubprogram(); 991fcd610cSReid Kleckner InlinedSubprograms.insert(Loc->getScope()->getSubprogram()); 100f3b9ba49SReid Kleckner } 101f3b9ba49SReid Kleckner return Insertion.first->second; 102f3b9ba49SReid Kleckner } 103f3b9ba49SReid Kleckner 10470f5bc99SReid Kleckner void CodeViewDebug::maybeRecordLocation(DebugLoc DL, 10570f5bc99SReid Kleckner const MachineFunction *MF) { 1069533af4fSReid Kleckner // Skip this instruction if it has the same location as the previous one. 1079533af4fSReid Kleckner if (DL == CurFn->LastLoc) 1089533af4fSReid Kleckner return; 1099533af4fSReid Kleckner 1109533af4fSReid Kleckner const DIScope *Scope = DL.get()->getScope(); 11170f5bc99SReid Kleckner if (!Scope) 11270f5bc99SReid Kleckner return; 1139533af4fSReid Kleckner 11470f5bc99SReid Kleckner // Skip this line if it is longer than the maximum we can record. 1152214ed89SReid Kleckner LineInfo LI(DL.getLine(), DL.getLine(), /*IsStatement=*/true); 1162214ed89SReid Kleckner if (LI.getStartLine() != DL.getLine() || LI.isAlwaysStepInto() || 1172214ed89SReid Kleckner LI.isNeverStepInto()) 11870f5bc99SReid Kleckner return; 11970f5bc99SReid Kleckner 1202214ed89SReid Kleckner ColumnInfo CI(DL.getCol(), /*EndColumn=*/0); 1212214ed89SReid Kleckner if (CI.getStartColumn() != DL.getCol()) 1222214ed89SReid Kleckner return; 12300d9639cSReid Kleckner 1242214ed89SReid Kleckner if (!CurFn->HaveLineInfo) 1252214ed89SReid Kleckner CurFn->HaveLineInfo = true; 1262214ed89SReid Kleckner unsigned FileId = 0; 1272214ed89SReid Kleckner if (CurFn->LastLoc.get() && CurFn->LastLoc->getFile() == DL->getFile()) 1282214ed89SReid Kleckner FileId = CurFn->LastFileId; 1292214ed89SReid Kleckner else 1302214ed89SReid Kleckner FileId = CurFn->LastFileId = maybeRecordFile(DL->getFile()); 1312214ed89SReid Kleckner CurFn->LastLoc = DL; 132f3b9ba49SReid Kleckner 133f3b9ba49SReid Kleckner unsigned FuncId = CurFn->FuncId; 134f3b9ba49SReid Kleckner if (const DILocation *Loc = DL->getInlinedAt()) { 135f3b9ba49SReid Kleckner // If this location was actually inlined from somewhere else, give it the ID 136f3b9ba49SReid Kleckner // of the inline call site. 137f3b9ba49SReid Kleckner FuncId = getInlineSite(DL.get()).SiteFuncId; 138f3b9ba49SReid Kleckner // Ensure we have links in the tree of inline call sites. 139f3b9ba49SReid Kleckner const DILocation *ChildLoc = nullptr; 140f3b9ba49SReid Kleckner while (Loc->getInlinedAt()) { 141f3b9ba49SReid Kleckner InlineSite &Site = getInlineSite(Loc); 142f3b9ba49SReid Kleckner if (ChildLoc) { 143f3b9ba49SReid Kleckner // Record the child inline site if not already present. 144f3b9ba49SReid Kleckner auto B = Site.ChildSites.begin(), E = Site.ChildSites.end(); 145f3b9ba49SReid Kleckner if (std::find(B, E, Loc) != E) 146f3b9ba49SReid Kleckner break; 147f3b9ba49SReid Kleckner Site.ChildSites.push_back(Loc); 148f3b9ba49SReid Kleckner } 149f3b9ba49SReid Kleckner ChildLoc = Loc; 150f3b9ba49SReid Kleckner } 151f3b9ba49SReid Kleckner } 152f3b9ba49SReid Kleckner 153dac21b43SReid Kleckner OS.EmitCVLocDirective(FuncId, FileId, DL.getLine(), DL.getCol(), 154dac21b43SReid Kleckner /*PrologueEnd=*/false, 1552214ed89SReid Kleckner /*IsStmt=*/false, DL->getFilename()); 15670f5bc99SReid Kleckner } 15770f5bc99SReid Kleckner 15870f5bc99SReid Kleckner CodeViewDebug::CodeViewDebug(AsmPrinter *AP) 159dac21b43SReid Kleckner : Asm(AP), OS(*Asm->OutStreamer), CurFn(nullptr) { 16070f5bc99SReid Kleckner MachineModuleInfo *MMI = AP->MMI; 16170f5bc99SReid Kleckner 16270f5bc99SReid Kleckner // If module doesn't have named metadata anchors or COFF debug section 16370f5bc99SReid Kleckner // is not available, skip any debug info related stuff. 16470f5bc99SReid Kleckner if (!MMI->getModule()->getNamedMetadata("llvm.dbg.cu") || 165dac21b43SReid Kleckner !AP->getObjFileLowering().getCOFFDebugSymbolsSection()) { 166dac21b43SReid Kleckner Asm = nullptr; 16770f5bc99SReid Kleckner return; 168dac21b43SReid Kleckner } 16970f5bc99SReid Kleckner 17070f5bc99SReid Kleckner // Tell MMI that we have debug info. 17170f5bc99SReid Kleckner MMI->setDebugInfoAvailability(true); 17270f5bc99SReid Kleckner } 17370f5bc99SReid Kleckner 17470f5bc99SReid Kleckner void CodeViewDebug::endModule() { 17570f5bc99SReid Kleckner if (FnDebugInfo.empty()) 17670f5bc99SReid Kleckner return; 17770f5bc99SReid Kleckner 178f3b9ba49SReid Kleckner emitTypeInformation(); 179f3b9ba49SReid Kleckner 18070f5bc99SReid Kleckner // FIXME: For functions that are comdat, we should emit separate .debug$S 18170f5bc99SReid Kleckner // sections that are comdat associative with the main function instead of 18270f5bc99SReid Kleckner // having one big .debug$S section. 18370f5bc99SReid Kleckner assert(Asm != nullptr); 184dac21b43SReid Kleckner OS.SwitchSection(Asm->getObjFileLowering().getCOFFDebugSymbolsSection()); 185dac21b43SReid Kleckner OS.AddComment("Debug section magic"); 186dac21b43SReid Kleckner OS.EmitIntValue(COFF::DEBUG_SECTION_MAGIC, 4); 18770f5bc99SReid Kleckner 18870f5bc99SReid Kleckner // The COFF .debug$S section consists of several subsections, each starting 18970f5bc99SReid Kleckner // with a 4-byte control code (e.g. 0xF1, 0xF2, etc) and then a 4-byte length 19070f5bc99SReid Kleckner // of the payload followed by the payload itself. The subsections are 4-byte 19170f5bc99SReid Kleckner // aligned. 19270f5bc99SReid Kleckner 1931fcd610cSReid Kleckner // Make a subsection for all the inlined subprograms. 1941fcd610cSReid Kleckner emitInlineeLinesSubsection(); 1951fcd610cSReid Kleckner 1962214ed89SReid Kleckner // Emit per-function debug information. 1972214ed89SReid Kleckner for (auto &P : FnDebugInfo) 1982214ed89SReid Kleckner emitDebugInfoForFunction(P.first, P.second); 19970f5bc99SReid Kleckner 20070f5bc99SReid Kleckner // This subsection holds a file index to offset in string table table. 201dac21b43SReid Kleckner OS.AddComment("File index to string table offset subsection"); 202dac21b43SReid Kleckner OS.EmitCVFileChecksumsDirective(); 20370f5bc99SReid Kleckner 20470f5bc99SReid Kleckner // This subsection holds the string table. 205dac21b43SReid Kleckner OS.AddComment("String table"); 206dac21b43SReid Kleckner OS.EmitCVStringTableDirective(); 20770f5bc99SReid Kleckner 20870f5bc99SReid Kleckner clear(); 20970f5bc99SReid Kleckner } 21070f5bc99SReid Kleckner 211f3b9ba49SReid Kleckner void CodeViewDebug::emitTypeInformation() { 212f3b9ba49SReid Kleckner // Start the .debug$T section with 0x4. 213dac21b43SReid Kleckner OS.SwitchSection(Asm->getObjFileLowering().getCOFFDebugTypesSection()); 214dac21b43SReid Kleckner OS.AddComment("Debug section magic"); 215dac21b43SReid Kleckner OS.EmitIntValue(COFF::DEBUG_SECTION_MAGIC, 4); 216f3b9ba49SReid Kleckner 217f3b9ba49SReid Kleckner NamedMDNode *CU_Nodes = 218f3b9ba49SReid Kleckner Asm->MMI->getModule()->getNamedMetadata("llvm.dbg.cu"); 219f3b9ba49SReid Kleckner if (!CU_Nodes) 220f3b9ba49SReid Kleckner return; 221f3b9ba49SReid Kleckner 222f3b9ba49SReid Kleckner // This type info currently only holds function ids for use with inline call 223f3b9ba49SReid Kleckner // frame info. All functions are assigned a simple 'void ()' type. Emit that 224f3b9ba49SReid Kleckner // type here. 225f3b9ba49SReid Kleckner TypeIndex ArgListIdx = getNextTypeIndex(); 226dac21b43SReid Kleckner OS.AddComment("Type record length"); 227dac21b43SReid Kleckner OS.EmitIntValue(2 + sizeof(ArgList), 2); 228dac21b43SReid Kleckner OS.AddComment("Leaf type: LF_ARGLIST"); 229dac21b43SReid Kleckner OS.EmitIntValue(LF_ARGLIST, 2); 230dac21b43SReid Kleckner OS.AddComment("Number of arguments"); 231dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 232f3b9ba49SReid Kleckner 233f3b9ba49SReid Kleckner TypeIndex VoidProcIdx = getNextTypeIndex(); 234dac21b43SReid Kleckner OS.AddComment("Type record length"); 235dac21b43SReid Kleckner OS.EmitIntValue(2 + sizeof(ProcedureType), 2); 236dac21b43SReid Kleckner OS.AddComment("Leaf type: LF_PROCEDURE"); 237dac21b43SReid Kleckner OS.EmitIntValue(LF_PROCEDURE, 2); 238dac21b43SReid Kleckner OS.AddComment("Return type index"); 239dac21b43SReid Kleckner OS.EmitIntValue(TypeIndex::Void().getIndex(), 4); 240dac21b43SReid Kleckner OS.AddComment("Calling convention"); 241dac21b43SReid Kleckner OS.EmitIntValue(char(CallingConvention::NearC), 1); 242dac21b43SReid Kleckner OS.AddComment("Function options"); 243dac21b43SReid Kleckner OS.EmitIntValue(char(FunctionOptions::None), 1); 244dac21b43SReid Kleckner OS.AddComment("# of parameters"); 245dac21b43SReid Kleckner OS.EmitIntValue(0, 2); 246dac21b43SReid Kleckner OS.AddComment("Argument list type index"); 247dac21b43SReid Kleckner OS.EmitIntValue(ArgListIdx.getIndex(), 4); 248f3b9ba49SReid Kleckner 249f3b9ba49SReid Kleckner for (MDNode *N : CU_Nodes->operands()) { 250f3b9ba49SReid Kleckner auto *CUNode = cast<DICompileUnit>(N); 251f3b9ba49SReid Kleckner for (auto *SP : CUNode->getSubprograms()) { 252f3b9ba49SReid Kleckner StringRef DisplayName = SP->getDisplayName(); 253dac21b43SReid Kleckner OS.AddComment("Type record length"); 254dac21b43SReid Kleckner OS.EmitIntValue(2 + sizeof(FuncId) + DisplayName.size() + 1, 2); 255dac21b43SReid Kleckner OS.AddComment("Leaf type: LF_FUNC_ID"); 256dac21b43SReid Kleckner OS.EmitIntValue(LF_FUNC_ID, 2); 257f3b9ba49SReid Kleckner 258dac21b43SReid Kleckner OS.AddComment("Scope type index"); 259dac21b43SReid Kleckner OS.EmitIntValue(TypeIndex().getIndex(), 4); 260dac21b43SReid Kleckner OS.AddComment("Function type"); 261dac21b43SReid Kleckner OS.EmitIntValue(VoidProcIdx.getIndex(), 4); 26230579ec8SDavid Majnemer { 26330579ec8SDavid Majnemer SmallString<32> NullTerminatedString(DisplayName); 26430579ec8SDavid Majnemer if (NullTerminatedString.empty() || NullTerminatedString.back() != '\0') 26530579ec8SDavid Majnemer NullTerminatedString.push_back('\0'); 266dac21b43SReid Kleckner OS.AddComment("Function name"); 267dac21b43SReid Kleckner OS.EmitBytes(NullTerminatedString); 26830579ec8SDavid Majnemer } 269f3b9ba49SReid Kleckner 270f3b9ba49SReid Kleckner TypeIndex FuncIdIdx = getNextTypeIndex(); 271f3b9ba49SReid Kleckner SubprogramToFuncId.insert(std::make_pair(SP, FuncIdIdx)); 272f3b9ba49SReid Kleckner } 273f3b9ba49SReid Kleckner } 274f3b9ba49SReid Kleckner } 275f3b9ba49SReid Kleckner 2761fcd610cSReid Kleckner void CodeViewDebug::emitInlineeLinesSubsection() { 2771fcd610cSReid Kleckner if (InlinedSubprograms.empty()) 2781fcd610cSReid Kleckner return; 2791fcd610cSReid Kleckner 2801fcd610cSReid Kleckner MCSymbol *InlineBegin = Asm->MMI->getContext().createTempSymbol(), 2811fcd610cSReid Kleckner *InlineEnd = Asm->MMI->getContext().createTempSymbol(); 2821fcd610cSReid Kleckner 2831fcd610cSReid Kleckner OS.AddComment("Inlinee lines subsection"); 2841fcd610cSReid Kleckner OS.EmitIntValue(unsigned(ModuleSubstreamKind::InlineeLines), 4); 28530579ec8SDavid Majnemer OS.AddComment("Subsection size"); 2861fcd610cSReid Kleckner OS.emitAbsoluteSymbolDiff(InlineEnd, InlineBegin, 4); 2871fcd610cSReid Kleckner OS.EmitLabel(InlineBegin); 2881fcd610cSReid Kleckner 2891fcd610cSReid Kleckner // We don't provide any extra file info. 2901fcd610cSReid Kleckner // FIXME: Find out if debuggers use this info. 29130579ec8SDavid Majnemer OS.AddComment("Inlinee lines signature"); 2921fcd610cSReid Kleckner OS.EmitIntValue(unsigned(InlineeLinesSignature::Normal), 4); 2931fcd610cSReid Kleckner 2941fcd610cSReid Kleckner for (const DISubprogram *SP : InlinedSubprograms) { 29530579ec8SDavid Majnemer OS.AddBlankLine(); 2961fcd610cSReid Kleckner TypeIndex TypeId = SubprogramToFuncId[SP]; 2971fcd610cSReid Kleckner unsigned FileId = maybeRecordFile(SP->getFile()); 2981fcd610cSReid Kleckner OS.AddComment("Inlined function " + SP->getDisplayName() + " starts at " + 2991fcd610cSReid Kleckner SP->getFilename() + Twine(':') + Twine(SP->getLine())); 30030579ec8SDavid Majnemer OS.AddBlankLine(); 3011fcd610cSReid Kleckner // The filechecksum table uses 8 byte entries for now, and file ids start at 3021fcd610cSReid Kleckner // 1. 3031fcd610cSReid Kleckner unsigned FileOffset = (FileId - 1) * 8; 30430579ec8SDavid Majnemer OS.AddComment("Type index of inlined function"); 3051fcd610cSReid Kleckner OS.EmitIntValue(TypeId.getIndex(), 4); 30630579ec8SDavid Majnemer OS.AddComment("Offset into filechecksum table"); 3071fcd610cSReid Kleckner OS.EmitIntValue(FileOffset, 4); 30830579ec8SDavid Majnemer OS.AddComment("Starting line number"); 3091fcd610cSReid Kleckner OS.EmitIntValue(SP->getLine(), 4); 3101fcd610cSReid Kleckner } 3111fcd610cSReid Kleckner 3121fcd610cSReid Kleckner OS.EmitLabel(InlineEnd); 3131fcd610cSReid Kleckner } 3141fcd610cSReid Kleckner 3151fcd610cSReid Kleckner void CodeViewDebug::collectInlineSiteChildren( 3161fcd610cSReid Kleckner SmallVectorImpl<unsigned> &Children, const FunctionInfo &FI, 3171fcd610cSReid Kleckner const InlineSite &Site) { 3181fcd610cSReid Kleckner for (const DILocation *ChildSiteLoc : Site.ChildSites) { 3191fcd610cSReid Kleckner auto I = FI.InlineSites.find(ChildSiteLoc); 3201fcd610cSReid Kleckner assert(I != FI.InlineSites.end()); 3211fcd610cSReid Kleckner const InlineSite &ChildSite = I->second; 3221fcd610cSReid Kleckner Children.push_back(ChildSite.SiteFuncId); 3231fcd610cSReid Kleckner collectInlineSiteChildren(Children, FI, ChildSite); 3241fcd610cSReid Kleckner } 3251fcd610cSReid Kleckner } 3261fcd610cSReid Kleckner 327f3b9ba49SReid Kleckner void CodeViewDebug::emitInlinedCallSite(const FunctionInfo &FI, 328f3b9ba49SReid Kleckner const DILocation *InlinedAt, 329f3b9ba49SReid Kleckner const InlineSite &Site) { 330f3b9ba49SReid Kleckner MCSymbol *InlineBegin = Asm->MMI->getContext().createTempSymbol(), 331f3b9ba49SReid Kleckner *InlineEnd = Asm->MMI->getContext().createTempSymbol(); 332f3b9ba49SReid Kleckner 333f3b9ba49SReid Kleckner assert(SubprogramToFuncId.count(Site.Inlinee)); 334f3b9ba49SReid Kleckner TypeIndex InlineeIdx = SubprogramToFuncId[Site.Inlinee]; 335f3b9ba49SReid Kleckner 336f3b9ba49SReid Kleckner // SymbolRecord 337dac21b43SReid Kleckner OS.AddComment("Record length"); 338*eb3bcdd2SReid Kleckner OS.emitAbsoluteSymbolDiff(InlineEnd, InlineBegin, 2); // RecordLength 339f3b9ba49SReid Kleckner OS.EmitLabel(InlineBegin); 340dac21b43SReid Kleckner OS.AddComment("Record kind: S_INLINESITE"); 341dac21b43SReid Kleckner OS.EmitIntValue(SymbolRecordKind::S_INLINESITE, 2); // RecordKind 342f3b9ba49SReid Kleckner 343dac21b43SReid Kleckner OS.AddComment("PtrParent"); 344dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 345dac21b43SReid Kleckner OS.AddComment("PtrEnd"); 346dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 347dac21b43SReid Kleckner OS.AddComment("Inlinee type index"); 348dac21b43SReid Kleckner OS.EmitIntValue(InlineeIdx.getIndex(), 4); 349f3b9ba49SReid Kleckner 3501fcd610cSReid Kleckner unsigned FileId = maybeRecordFile(Site.Inlinee->getFile()); 3511fcd610cSReid Kleckner unsigned StartLineNum = Site.Inlinee->getLine(); 3521fcd610cSReid Kleckner SmallVector<unsigned, 3> SecondaryFuncIds; 3531fcd610cSReid Kleckner collectInlineSiteChildren(SecondaryFuncIds, FI, Site); 3541fcd610cSReid Kleckner 3551fcd610cSReid Kleckner OS.EmitCVInlineLinetableDirective(Site.SiteFuncId, FileId, StartLineNum, 356c9911f28SDavid Majnemer FI.Begin, FI.End, SecondaryFuncIds); 357f3b9ba49SReid Kleckner 358f3b9ba49SReid Kleckner OS.EmitLabel(InlineEnd); 359f3b9ba49SReid Kleckner 360f3b9ba49SReid Kleckner // Recurse on child inlined call sites before closing the scope. 361f3b9ba49SReid Kleckner for (const DILocation *ChildSite : Site.ChildSites) { 362f3b9ba49SReid Kleckner auto I = FI.InlineSites.find(ChildSite); 363f3b9ba49SReid Kleckner assert(I != FI.InlineSites.end() && 364f3b9ba49SReid Kleckner "child site not in function inline site map"); 365f3b9ba49SReid Kleckner emitInlinedCallSite(FI, ChildSite, I->second); 366f3b9ba49SReid Kleckner } 367f3b9ba49SReid Kleckner 368f3b9ba49SReid Kleckner // Close the scope. 369dac21b43SReid Kleckner OS.AddComment("Record length"); 370dac21b43SReid Kleckner OS.EmitIntValue(2, 2); // RecordLength 371dac21b43SReid Kleckner OS.AddComment("Record kind: S_INLINESITE_END"); 372dac21b43SReid Kleckner OS.EmitIntValue(SymbolRecordKind::S_INLINESITE_END, 2); // RecordKind 373f3b9ba49SReid Kleckner } 374f3b9ba49SReid Kleckner 3752214ed89SReid Kleckner void CodeViewDebug::emitDebugInfoForFunction(const Function *GV, 3762214ed89SReid Kleckner FunctionInfo &FI) { 37770f5bc99SReid Kleckner // For each function there is a separate subsection 37870f5bc99SReid Kleckner // which holds the PC to file:line table. 37970f5bc99SReid Kleckner const MCSymbol *Fn = Asm->getSymbol(GV); 38070f5bc99SReid Kleckner assert(Fn); 38170f5bc99SReid Kleckner 38270f5bc99SReid Kleckner StringRef FuncName; 38370f5bc99SReid Kleckner if (auto *SP = getDISubprogram(GV)) 38470f5bc99SReid Kleckner FuncName = SP->getDisplayName(); 38570f5bc99SReid Kleckner 38670f5bc99SReid Kleckner // If our DISubprogram name is empty, use the mangled name. 38770f5bc99SReid Kleckner if (FuncName.empty()) 38870f5bc99SReid Kleckner FuncName = GlobalValue::getRealLinkageName(GV->getName()); 38970f5bc99SReid Kleckner 39070f5bc99SReid Kleckner // Emit a symbol subsection, required by VS2012+ to find function boundaries. 39170f5bc99SReid Kleckner MCSymbol *SymbolsBegin = Asm->MMI->getContext().createTempSymbol(), 39270f5bc99SReid Kleckner *SymbolsEnd = Asm->MMI->getContext().createTempSymbol(); 393dac21b43SReid Kleckner OS.AddComment("Symbol subsection for " + Twine(FuncName)); 394dac21b43SReid Kleckner OS.EmitIntValue(unsigned(ModuleSubstreamKind::Symbols), 4); 395dac21b43SReid Kleckner OS.AddComment("Subsection size"); 396*eb3bcdd2SReid Kleckner OS.emitAbsoluteSymbolDiff(SymbolsEnd, SymbolsBegin, 4); 397dac21b43SReid Kleckner OS.EmitLabel(SymbolsBegin); 39870f5bc99SReid Kleckner { 39930579ec8SDavid Majnemer MCSymbol *ProcRecordBegin = Asm->MMI->getContext().createTempSymbol(), 40030579ec8SDavid Majnemer *ProcRecordEnd = Asm->MMI->getContext().createTempSymbol(); 401dac21b43SReid Kleckner OS.AddComment("Record length"); 402*eb3bcdd2SReid Kleckner OS.emitAbsoluteSymbolDiff(ProcRecordEnd, ProcRecordBegin, 2); 403dac21b43SReid Kleckner OS.EmitLabel(ProcRecordBegin); 40470f5bc99SReid Kleckner 405dac21b43SReid Kleckner OS.AddComment("Record kind: S_GPROC32_ID"); 406dac21b43SReid Kleckner OS.EmitIntValue(unsigned(SymbolRecordKind::S_GPROC32_ID), 2); 40770f5bc99SReid Kleckner 40830579ec8SDavid Majnemer // These fields are filled in by tools like CVPACK which run after the fact. 409dac21b43SReid Kleckner OS.AddComment("PtrParent"); 410dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 411dac21b43SReid Kleckner OS.AddComment("PtrEnd"); 412dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 413dac21b43SReid Kleckner OS.AddComment("PtrNext"); 414dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 41570f5bc99SReid Kleckner // This is the important bit that tells the debugger where the function 41670f5bc99SReid Kleckner // code is located and what's its size: 417dac21b43SReid Kleckner OS.AddComment("Code size"); 418*eb3bcdd2SReid Kleckner OS.emitAbsoluteSymbolDiff(FI.End, Fn, 4); 419dac21b43SReid Kleckner OS.AddComment("Offset after prologue"); 420dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 421dac21b43SReid Kleckner OS.AddComment("Offset before epilogue"); 422dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 423dac21b43SReid Kleckner OS.AddComment("Function type index"); 424dac21b43SReid Kleckner OS.EmitIntValue(0, 4); 425dac21b43SReid Kleckner OS.AddComment("Function section relative address"); 426dac21b43SReid Kleckner OS.EmitCOFFSecRel32(Fn); 427dac21b43SReid Kleckner OS.AddComment("Function section index"); 428dac21b43SReid Kleckner OS.EmitCOFFSectionIndex(Fn); 429dac21b43SReid Kleckner OS.AddComment("Flags"); 430dac21b43SReid Kleckner OS.EmitIntValue(0, 1); 43170f5bc99SReid Kleckner // Emit the function display name as a null-terminated string. 432dac21b43SReid Kleckner OS.AddComment("Function name"); 43330579ec8SDavid Majnemer { 43430579ec8SDavid Majnemer SmallString<32> NullTerminatedString(FuncName); 43530579ec8SDavid Majnemer if (NullTerminatedString.empty() || NullTerminatedString.back() != '\0') 43630579ec8SDavid Majnemer NullTerminatedString.push_back('\0'); 437dac21b43SReid Kleckner OS.EmitBytes(NullTerminatedString); 43830579ec8SDavid Majnemer } 439dac21b43SReid Kleckner OS.EmitLabel(ProcRecordEnd); 44070f5bc99SReid Kleckner 441f3b9ba49SReid Kleckner // Emit inlined call site information. Only emit functions inlined directly 442f3b9ba49SReid Kleckner // into the parent function. We'll emit the other sites recursively as part 443f3b9ba49SReid Kleckner // of their parent inline site. 444f3b9ba49SReid Kleckner for (auto &KV : FI.InlineSites) { 445f3b9ba49SReid Kleckner const DILocation *InlinedAt = KV.first; 446f3b9ba49SReid Kleckner if (!InlinedAt->getInlinedAt()) 447f3b9ba49SReid Kleckner emitInlinedCallSite(FI, InlinedAt, KV.second); 448f3b9ba49SReid Kleckner } 449f3b9ba49SReid Kleckner 45070f5bc99SReid Kleckner // We're done with this function. 451dac21b43SReid Kleckner OS.AddComment("Record length"); 452dac21b43SReid Kleckner OS.EmitIntValue(0x0002, 2); 453dac21b43SReid Kleckner OS.AddComment("Record kind: S_PROC_ID_END"); 454dac21b43SReid Kleckner OS.EmitIntValue(unsigned(SymbolRecordKind::S_PROC_ID_END), 2); 45570f5bc99SReid Kleckner } 456dac21b43SReid Kleckner OS.EmitLabel(SymbolsEnd); 45770f5bc99SReid Kleckner // Every subsection must be aligned to a 4-byte boundary. 458dac21b43SReid Kleckner OS.EmitValueToAlignment(4); 45970f5bc99SReid Kleckner 4602214ed89SReid Kleckner // We have an assembler directive that takes care of the whole line table. 461dac21b43SReid Kleckner OS.EmitCVLinetableDirective(FI.FuncId, Fn, FI.End); 46270f5bc99SReid Kleckner } 46370f5bc99SReid Kleckner 46470f5bc99SReid Kleckner void CodeViewDebug::beginFunction(const MachineFunction *MF) { 46570f5bc99SReid Kleckner assert(!CurFn && "Can't process two functions at once!"); 46670f5bc99SReid Kleckner 46770f5bc99SReid Kleckner if (!Asm || !Asm->MMI->hasDebugInfo()) 46870f5bc99SReid Kleckner return; 46970f5bc99SReid Kleckner 47070f5bc99SReid Kleckner const Function *GV = MF->getFunction(); 47170f5bc99SReid Kleckner assert(FnDebugInfo.count(GV) == false); 47270f5bc99SReid Kleckner CurFn = &FnDebugInfo[GV]; 4732214ed89SReid Kleckner CurFn->FuncId = NextFuncId++; 4741fcd610cSReid Kleckner CurFn->Begin = Asm->getFunctionBegin(); 47570f5bc99SReid Kleckner 47670f5bc99SReid Kleckner // Find the end of the function prolog. 47770f5bc99SReid Kleckner // FIXME: is there a simpler a way to do this? Can we just search 47870f5bc99SReid Kleckner // for the first instruction of the function, not the last of the prolog? 47970f5bc99SReid Kleckner DebugLoc PrologEndLoc; 48070f5bc99SReid Kleckner bool EmptyPrologue = true; 48170f5bc99SReid Kleckner for (const auto &MBB : *MF) { 48270f5bc99SReid Kleckner if (PrologEndLoc) 48370f5bc99SReid Kleckner break; 48470f5bc99SReid Kleckner for (const auto &MI : MBB) { 48570f5bc99SReid Kleckner if (MI.isDebugValue()) 48670f5bc99SReid Kleckner continue; 48770f5bc99SReid Kleckner 48870f5bc99SReid Kleckner // First known non-DBG_VALUE and non-frame setup location marks 48970f5bc99SReid Kleckner // the beginning of the function body. 49070f5bc99SReid Kleckner // FIXME: do we need the first subcondition? 49170f5bc99SReid Kleckner if (!MI.getFlag(MachineInstr::FrameSetup) && MI.getDebugLoc()) { 49270f5bc99SReid Kleckner PrologEndLoc = MI.getDebugLoc(); 49370f5bc99SReid Kleckner break; 49470f5bc99SReid Kleckner } 49570f5bc99SReid Kleckner EmptyPrologue = false; 49670f5bc99SReid Kleckner } 49770f5bc99SReid Kleckner } 49870f5bc99SReid Kleckner // Record beginning of function if we have a non-empty prologue. 49970f5bc99SReid Kleckner if (PrologEndLoc && !EmptyPrologue) { 50070f5bc99SReid Kleckner DebugLoc FnStartDL = PrologEndLoc.getFnDebugLoc(); 50170f5bc99SReid Kleckner maybeRecordLocation(FnStartDL, MF); 50270f5bc99SReid Kleckner } 50370f5bc99SReid Kleckner } 50470f5bc99SReid Kleckner 50570f5bc99SReid Kleckner void CodeViewDebug::endFunction(const MachineFunction *MF) { 50670f5bc99SReid Kleckner if (!Asm || !CurFn) // We haven't created any debug info for this function. 50770f5bc99SReid Kleckner return; 50870f5bc99SReid Kleckner 50970f5bc99SReid Kleckner const Function *GV = MF->getFunction(); 51070f5bc99SReid Kleckner assert(FnDebugInfo.count(GV)); 51170f5bc99SReid Kleckner assert(CurFn == &FnDebugInfo[GV]); 51270f5bc99SReid Kleckner 5132214ed89SReid Kleckner // Don't emit anything if we don't have any line tables. 5142214ed89SReid Kleckner if (!CurFn->HaveLineInfo) { 51570f5bc99SReid Kleckner FnDebugInfo.erase(GV); 51670f5bc99SReid Kleckner } else { 51770f5bc99SReid Kleckner CurFn->End = Asm->getFunctionEnd(); 51870f5bc99SReid Kleckner } 51970f5bc99SReid Kleckner CurFn = nullptr; 52070f5bc99SReid Kleckner } 52170f5bc99SReid Kleckner 52270f5bc99SReid Kleckner void CodeViewDebug::beginInstruction(const MachineInstr *MI) { 52370f5bc99SReid Kleckner // Ignore DBG_VALUE locations and function prologue. 52470f5bc99SReid Kleckner if (!Asm || MI->isDebugValue() || MI->getFlag(MachineInstr::FrameSetup)) 52570f5bc99SReid Kleckner return; 52670f5bc99SReid Kleckner DebugLoc DL = MI->getDebugLoc(); 52770f5bc99SReid Kleckner if (DL == PrevInstLoc || !DL) 52870f5bc99SReid Kleckner return; 52970f5bc99SReid Kleckner maybeRecordLocation(DL, Asm->MF); 53070f5bc99SReid Kleckner } 53170f5bc99SReid Kleckner } 532