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); 862214ed89SReid Kleckner NextId = Asm->OutStreamer->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 153f3b9ba49SReid Kleckner Asm->OutStreamer->EmitCVLocDirective(FuncId, FileId, DL.getLine(), 1542214ed89SReid Kleckner DL.getCol(), /*PrologueEnd=*/false, 1552214ed89SReid Kleckner /*IsStmt=*/false, DL->getFilename()); 15670f5bc99SReid Kleckner } 15770f5bc99SReid Kleckner 15870f5bc99SReid Kleckner CodeViewDebug::CodeViewDebug(AsmPrinter *AP) 15970f5bc99SReid Kleckner : Asm(nullptr), 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") || 16570f5bc99SReid Kleckner !AP->getObjFileLowering().getCOFFDebugSymbolsSection()) 16670f5bc99SReid Kleckner return; 16770f5bc99SReid Kleckner 16870f5bc99SReid Kleckner // Tell MMI that we have debug info. 16970f5bc99SReid Kleckner MMI->setDebugInfoAvailability(true); 17070f5bc99SReid Kleckner Asm = AP; 17170f5bc99SReid Kleckner } 17270f5bc99SReid Kleckner 17370f5bc99SReid Kleckner void CodeViewDebug::endModule() { 17470f5bc99SReid Kleckner if (FnDebugInfo.empty()) 17570f5bc99SReid Kleckner return; 17670f5bc99SReid Kleckner 177f3b9ba49SReid Kleckner emitTypeInformation(); 178f3b9ba49SReid Kleckner 17970f5bc99SReid Kleckner // FIXME: For functions that are comdat, we should emit separate .debug$S 18070f5bc99SReid Kleckner // sections that are comdat associative with the main function instead of 18170f5bc99SReid Kleckner // having one big .debug$S section. 18270f5bc99SReid Kleckner assert(Asm != nullptr); 18370f5bc99SReid Kleckner Asm->OutStreamer->SwitchSection( 18470f5bc99SReid Kleckner Asm->getObjFileLowering().getCOFFDebugSymbolsSection()); 185*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Debug section magic"); 18670f5bc99SReid Kleckner Asm->EmitInt32(COFF::DEBUG_SECTION_MAGIC); 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. 20170f5bc99SReid Kleckner Asm->OutStreamer->AddComment("File index to string table offset subsection"); 2022214ed89SReid Kleckner Asm->OutStreamer->EmitCVFileChecksumsDirective(); 20370f5bc99SReid Kleckner 20470f5bc99SReid Kleckner // This subsection holds the string table. 20570f5bc99SReid Kleckner Asm->OutStreamer->AddComment("String table"); 2062214ed89SReid Kleckner Asm->OutStreamer->EmitCVStringTableDirective(); 20770f5bc99SReid Kleckner 20870f5bc99SReid Kleckner clear(); 20970f5bc99SReid Kleckner } 21070f5bc99SReid Kleckner 211f3b9ba49SReid Kleckner void CodeViewDebug::emitTypeInformation() { 212f3b9ba49SReid Kleckner // Start the .debug$T section with 0x4. 213f3b9ba49SReid Kleckner Asm->OutStreamer->SwitchSection( 214f3b9ba49SReid Kleckner Asm->getObjFileLowering().getCOFFDebugTypesSection()); 215*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Debug section magic"); 216f3b9ba49SReid Kleckner Asm->EmitInt32(COFF::DEBUG_SECTION_MAGIC); 217f3b9ba49SReid Kleckner 218f3b9ba49SReid Kleckner NamedMDNode *CU_Nodes = 219f3b9ba49SReid Kleckner Asm->MMI->getModule()->getNamedMetadata("llvm.dbg.cu"); 220f3b9ba49SReid Kleckner if (!CU_Nodes) 221f3b9ba49SReid Kleckner return; 222f3b9ba49SReid Kleckner 223f3b9ba49SReid Kleckner // This type info currently only holds function ids for use with inline call 224f3b9ba49SReid Kleckner // frame info. All functions are assigned a simple 'void ()' type. Emit that 225f3b9ba49SReid Kleckner // type here. 226f3b9ba49SReid Kleckner TypeIndex ArgListIdx = getNextTypeIndex(); 227*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Type record length"); 228f3b9ba49SReid Kleckner Asm->EmitInt16(2 + sizeof(ArgList)); 229*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Leaf type: LF_ARGLIST"); 230f3b9ba49SReid Kleckner Asm->EmitInt16(LF_ARGLIST); 231*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Number of arguments"); 232f3b9ba49SReid Kleckner Asm->EmitInt32(0); 233f3b9ba49SReid Kleckner 234f3b9ba49SReid Kleckner TypeIndex VoidProcIdx = getNextTypeIndex(); 235*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Type record length"); 236f3b9ba49SReid Kleckner Asm->EmitInt16(2 + sizeof(ProcedureType)); 237*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Leaf type: LF_PROCEDURE"); 238f3b9ba49SReid Kleckner Asm->EmitInt16(LF_PROCEDURE); 239*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Return type index"); 240*30579ec8SDavid Majnemer Asm->EmitInt32(TypeIndex::Void().getIndex()); 241*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Calling convention"); 242*30579ec8SDavid Majnemer Asm->EmitInt8(char(CallingConvention::NearC)); 243*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function options"); 244*30579ec8SDavid Majnemer Asm->EmitInt8(char(FunctionOptions::None)); 245*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("# of parameters"); 246*30579ec8SDavid Majnemer Asm->EmitInt16(0); 247*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Argument list type index"); 248*30579ec8SDavid Majnemer Asm->EmitInt32(ArgListIdx.getIndex()); 249f3b9ba49SReid Kleckner 250f3b9ba49SReid Kleckner for (MDNode *N : CU_Nodes->operands()) { 251f3b9ba49SReid Kleckner auto *CUNode = cast<DICompileUnit>(N); 252f3b9ba49SReid Kleckner for (auto *SP : CUNode->getSubprograms()) { 253f3b9ba49SReid Kleckner StringRef DisplayName = SP->getDisplayName(); 254*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Type record length"); 255f3b9ba49SReid Kleckner Asm->EmitInt16(2 + sizeof(FuncId) + DisplayName.size() + 1); 256*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Leaf type: LF_FUNC_ID"); 257f3b9ba49SReid Kleckner Asm->EmitInt16(LF_FUNC_ID); 258f3b9ba49SReid Kleckner 259*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Scope type index"); 260*30579ec8SDavid Majnemer Asm->EmitInt32(TypeIndex().getIndex()); 261*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function type"); 262*30579ec8SDavid Majnemer Asm->EmitInt32(VoidProcIdx.getIndex()); 263*30579ec8SDavid Majnemer { 264*30579ec8SDavid Majnemer SmallString<32> NullTerminatedString(DisplayName); 265*30579ec8SDavid Majnemer if (NullTerminatedString.empty() || NullTerminatedString.back() != '\0') 266*30579ec8SDavid Majnemer NullTerminatedString.push_back('\0'); 267*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function name"); 268*30579ec8SDavid Majnemer Asm->OutStreamer->EmitBytes(NullTerminatedString); 269*30579ec8SDavid Majnemer } 270f3b9ba49SReid Kleckner 271f3b9ba49SReid Kleckner TypeIndex FuncIdIdx = getNextTypeIndex(); 272f3b9ba49SReid Kleckner SubprogramToFuncId.insert(std::make_pair(SP, FuncIdIdx)); 273f3b9ba49SReid Kleckner } 274f3b9ba49SReid Kleckner } 275f3b9ba49SReid Kleckner } 276f3b9ba49SReid Kleckner 2771fcd610cSReid Kleckner void CodeViewDebug::emitInlineeLinesSubsection() { 2781fcd610cSReid Kleckner if (InlinedSubprograms.empty()) 2791fcd610cSReid Kleckner return; 2801fcd610cSReid Kleckner 2811fcd610cSReid Kleckner MCStreamer &OS = *Asm->OutStreamer; 2821fcd610cSReid Kleckner MCSymbol *InlineBegin = Asm->MMI->getContext().createTempSymbol(), 2831fcd610cSReid Kleckner *InlineEnd = Asm->MMI->getContext().createTempSymbol(); 2841fcd610cSReid Kleckner 2851fcd610cSReid Kleckner OS.AddComment("Inlinee lines subsection"); 2861fcd610cSReid Kleckner OS.EmitIntValue(unsigned(ModuleSubstreamKind::InlineeLines), 4); 287*30579ec8SDavid Majnemer OS.AddComment("Subsection size"); 2881fcd610cSReid Kleckner OS.emitAbsoluteSymbolDiff(InlineEnd, InlineBegin, 4); 2891fcd610cSReid Kleckner OS.EmitLabel(InlineBegin); 2901fcd610cSReid Kleckner 2911fcd610cSReid Kleckner // We don't provide any extra file info. 2921fcd610cSReid Kleckner // FIXME: Find out if debuggers use this info. 293*30579ec8SDavid Majnemer OS.AddComment("Inlinee lines signature"); 2941fcd610cSReid Kleckner OS.EmitIntValue(unsigned(InlineeLinesSignature::Normal), 4); 2951fcd610cSReid Kleckner 2961fcd610cSReid Kleckner for (const DISubprogram *SP : InlinedSubprograms) { 297*30579ec8SDavid Majnemer OS.AddBlankLine(); 2981fcd610cSReid Kleckner TypeIndex TypeId = SubprogramToFuncId[SP]; 2991fcd610cSReid Kleckner unsigned FileId = maybeRecordFile(SP->getFile()); 3001fcd610cSReid Kleckner OS.AddComment("Inlined function " + SP->getDisplayName() + " starts at " + 3011fcd610cSReid Kleckner SP->getFilename() + Twine(':') + Twine(SP->getLine())); 302*30579ec8SDavid Majnemer OS.AddBlankLine(); 3031fcd610cSReid Kleckner // The filechecksum table uses 8 byte entries for now, and file ids start at 3041fcd610cSReid Kleckner // 1. 3051fcd610cSReid Kleckner unsigned FileOffset = (FileId - 1) * 8; 306*30579ec8SDavid Majnemer OS.AddComment("Type index of inlined function"); 3071fcd610cSReid Kleckner OS.EmitIntValue(TypeId.getIndex(), 4); 308*30579ec8SDavid Majnemer OS.AddComment("Offset into filechecksum table"); 3091fcd610cSReid Kleckner OS.EmitIntValue(FileOffset, 4); 310*30579ec8SDavid Majnemer OS.AddComment("Starting line number"); 3111fcd610cSReid Kleckner OS.EmitIntValue(SP->getLine(), 4); 3121fcd610cSReid Kleckner } 3131fcd610cSReid Kleckner 3141fcd610cSReid Kleckner OS.EmitLabel(InlineEnd); 3151fcd610cSReid Kleckner } 3161fcd610cSReid Kleckner 31770f5bc99SReid Kleckner static void EmitLabelDiff(MCStreamer &Streamer, 31870f5bc99SReid Kleckner const MCSymbol *From, const MCSymbol *To, 31970f5bc99SReid Kleckner unsigned int Size = 4) { 32070f5bc99SReid Kleckner MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None; 32170f5bc99SReid Kleckner MCContext &Context = Streamer.getContext(); 32270f5bc99SReid Kleckner const MCExpr *FromRef = MCSymbolRefExpr::create(From, Variant, Context), 32370f5bc99SReid Kleckner *ToRef = MCSymbolRefExpr::create(To, Variant, Context); 32470f5bc99SReid Kleckner const MCExpr *AddrDelta = 32570f5bc99SReid Kleckner MCBinaryExpr::create(MCBinaryExpr::Sub, ToRef, FromRef, Context); 32670f5bc99SReid Kleckner Streamer.EmitValue(AddrDelta, Size); 32770f5bc99SReid Kleckner } 32870f5bc99SReid Kleckner 3291fcd610cSReid Kleckner void CodeViewDebug::collectInlineSiteChildren( 3301fcd610cSReid Kleckner SmallVectorImpl<unsigned> &Children, const FunctionInfo &FI, 3311fcd610cSReid Kleckner const InlineSite &Site) { 3321fcd610cSReid Kleckner for (const DILocation *ChildSiteLoc : Site.ChildSites) { 3331fcd610cSReid Kleckner auto I = FI.InlineSites.find(ChildSiteLoc); 3341fcd610cSReid Kleckner assert(I != FI.InlineSites.end()); 3351fcd610cSReid Kleckner const InlineSite &ChildSite = I->second; 3361fcd610cSReid Kleckner Children.push_back(ChildSite.SiteFuncId); 3371fcd610cSReid Kleckner collectInlineSiteChildren(Children, FI, ChildSite); 3381fcd610cSReid Kleckner } 3391fcd610cSReid Kleckner } 3401fcd610cSReid Kleckner 341f3b9ba49SReid Kleckner void CodeViewDebug::emitInlinedCallSite(const FunctionInfo &FI, 342f3b9ba49SReid Kleckner const DILocation *InlinedAt, 343f3b9ba49SReid Kleckner const InlineSite &Site) { 344f3b9ba49SReid Kleckner MCStreamer &OS = *Asm->OutStreamer; 345f3b9ba49SReid Kleckner 346f3b9ba49SReid Kleckner MCSymbol *InlineBegin = Asm->MMI->getContext().createTempSymbol(), 347f3b9ba49SReid Kleckner *InlineEnd = Asm->MMI->getContext().createTempSymbol(); 348f3b9ba49SReid Kleckner 349f3b9ba49SReid Kleckner assert(SubprogramToFuncId.count(Site.Inlinee)); 350f3b9ba49SReid Kleckner TypeIndex InlineeIdx = SubprogramToFuncId[Site.Inlinee]; 351f3b9ba49SReid Kleckner 352f3b9ba49SReid Kleckner // SymbolRecord 353*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record length"); 354f3b9ba49SReid Kleckner EmitLabelDiff(OS, InlineBegin, InlineEnd, 2); // RecordLength 355f3b9ba49SReid Kleckner OS.EmitLabel(InlineBegin); 356*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record kind: S_INLINESITE"); 357f3b9ba49SReid Kleckner Asm->EmitInt16(SymbolRecordKind::S_INLINESITE); // RecordKind 358f3b9ba49SReid Kleckner 359*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("PtrParent"); 360*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 361*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("PtrEnd"); 362*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 363*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Inlinee type index"); 364*30579ec8SDavid Majnemer Asm->EmitInt32(InlineeIdx.getIndex()); 365f3b9ba49SReid Kleckner 3661fcd610cSReid Kleckner unsigned FileId = maybeRecordFile(Site.Inlinee->getFile()); 3671fcd610cSReid Kleckner unsigned StartLineNum = Site.Inlinee->getLine(); 3681fcd610cSReid Kleckner SmallVector<unsigned, 3> SecondaryFuncIds; 3691fcd610cSReid Kleckner collectInlineSiteChildren(SecondaryFuncIds, FI, Site); 3701fcd610cSReid Kleckner 3711fcd610cSReid Kleckner OS.EmitCVInlineLinetableDirective(Site.SiteFuncId, FileId, StartLineNum, 372c9911f28SDavid Majnemer FI.Begin, FI.End, SecondaryFuncIds); 373f3b9ba49SReid Kleckner 374f3b9ba49SReid Kleckner OS.EmitLabel(InlineEnd); 375f3b9ba49SReid Kleckner 376f3b9ba49SReid Kleckner // Recurse on child inlined call sites before closing the scope. 377f3b9ba49SReid Kleckner for (const DILocation *ChildSite : Site.ChildSites) { 378f3b9ba49SReid Kleckner auto I = FI.InlineSites.find(ChildSite); 379f3b9ba49SReid Kleckner assert(I != FI.InlineSites.end() && 380f3b9ba49SReid Kleckner "child site not in function inline site map"); 381f3b9ba49SReid Kleckner emitInlinedCallSite(FI, ChildSite, I->second); 382f3b9ba49SReid Kleckner } 383f3b9ba49SReid Kleckner 384f3b9ba49SReid Kleckner // Close the scope. 385*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record length"); 386f3b9ba49SReid Kleckner Asm->EmitInt16(2); // RecordLength 387*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record kind: S_INLINESITE_END"); 388f3b9ba49SReid Kleckner Asm->EmitInt16(SymbolRecordKind::S_INLINESITE_END); // RecordKind 389f3b9ba49SReid Kleckner } 390f3b9ba49SReid Kleckner 3912214ed89SReid Kleckner void CodeViewDebug::emitDebugInfoForFunction(const Function *GV, 3922214ed89SReid Kleckner FunctionInfo &FI) { 39370f5bc99SReid Kleckner // For each function there is a separate subsection 39470f5bc99SReid Kleckner // which holds the PC to file:line table. 39570f5bc99SReid Kleckner const MCSymbol *Fn = Asm->getSymbol(GV); 39670f5bc99SReid Kleckner assert(Fn); 39770f5bc99SReid Kleckner 39870f5bc99SReid Kleckner StringRef FuncName; 39970f5bc99SReid Kleckner if (auto *SP = getDISubprogram(GV)) 40070f5bc99SReid Kleckner FuncName = SP->getDisplayName(); 40170f5bc99SReid Kleckner 40270f5bc99SReid Kleckner // If our DISubprogram name is empty, use the mangled name. 40370f5bc99SReid Kleckner if (FuncName.empty()) 40470f5bc99SReid Kleckner FuncName = GlobalValue::getRealLinkageName(GV->getName()); 40570f5bc99SReid Kleckner 40670f5bc99SReid Kleckner // Emit a symbol subsection, required by VS2012+ to find function boundaries. 40770f5bc99SReid Kleckner MCSymbol *SymbolsBegin = Asm->MMI->getContext().createTempSymbol(), 40870f5bc99SReid Kleckner *SymbolsEnd = Asm->MMI->getContext().createTempSymbol(); 40970f5bc99SReid Kleckner Asm->OutStreamer->AddComment("Symbol subsection for " + Twine(FuncName)); 41070f5bc99SReid Kleckner Asm->EmitInt32(unsigned(ModuleSubstreamKind::Symbols)); 411*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Subsection size"); 41270f5bc99SReid Kleckner EmitLabelDiff(*Asm->OutStreamer, SymbolsBegin, SymbolsEnd); 41370f5bc99SReid Kleckner Asm->OutStreamer->EmitLabel(SymbolsBegin); 41470f5bc99SReid Kleckner { 415*30579ec8SDavid Majnemer MCSymbol *ProcRecordBegin = Asm->MMI->getContext().createTempSymbol(), 416*30579ec8SDavid Majnemer *ProcRecordEnd = Asm->MMI->getContext().createTempSymbol(); 417*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record length"); 418*30579ec8SDavid Majnemer EmitLabelDiff(*Asm->OutStreamer, ProcRecordBegin, ProcRecordEnd, 2); 419*30579ec8SDavid Majnemer Asm->OutStreamer->EmitLabel(ProcRecordBegin); 42070f5bc99SReid Kleckner 421*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record kind: S_GPROC32_ID"); 42270f5bc99SReid Kleckner Asm->EmitInt16(unsigned(SymbolRecordKind::S_GPROC32_ID)); 42370f5bc99SReid Kleckner 424*30579ec8SDavid Majnemer // These fields are filled in by tools like CVPACK which run after the fact. 425*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("PtrParent"); 426*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 427*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("PtrEnd"); 428*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 429*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("PtrNext"); 430*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 43170f5bc99SReid Kleckner // This is the important bit that tells the debugger where the function 43270f5bc99SReid Kleckner // code is located and what's its size: 433*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Code size"); 43470f5bc99SReid Kleckner EmitLabelDiff(*Asm->OutStreamer, Fn, FI.End); 435*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Offset after prologue"); 436*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 437*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Offset before epilogue"); 438*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 439*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function type index"); 440*30579ec8SDavid Majnemer Asm->OutStreamer->EmitIntValue(0, 4); 441*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function section relative address"); 44270f5bc99SReid Kleckner Asm->OutStreamer->EmitCOFFSecRel32(Fn); 443*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function section index"); 44470f5bc99SReid Kleckner Asm->OutStreamer->EmitCOFFSectionIndex(Fn); 445*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Flags"); 44670f5bc99SReid Kleckner Asm->EmitInt8(0); 44770f5bc99SReid Kleckner // Emit the function display name as a null-terminated string. 448*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Function name"); 449*30579ec8SDavid Majnemer { 450*30579ec8SDavid Majnemer SmallString<32> NullTerminatedString(FuncName); 451*30579ec8SDavid Majnemer if (NullTerminatedString.empty() || NullTerminatedString.back() != '\0') 452*30579ec8SDavid Majnemer NullTerminatedString.push_back('\0'); 453*30579ec8SDavid Majnemer Asm->OutStreamer->EmitBytes(NullTerminatedString); 454*30579ec8SDavid Majnemer } 455*30579ec8SDavid Majnemer Asm->OutStreamer->EmitLabel(ProcRecordEnd); 45670f5bc99SReid Kleckner 457f3b9ba49SReid Kleckner // Emit inlined call site information. Only emit functions inlined directly 458f3b9ba49SReid Kleckner // into the parent function. We'll emit the other sites recursively as part 459f3b9ba49SReid Kleckner // of their parent inline site. 460f3b9ba49SReid Kleckner for (auto &KV : FI.InlineSites) { 461f3b9ba49SReid Kleckner const DILocation *InlinedAt = KV.first; 462f3b9ba49SReid Kleckner if (!InlinedAt->getInlinedAt()) 463f3b9ba49SReid Kleckner emitInlinedCallSite(FI, InlinedAt, KV.second); 464f3b9ba49SReid Kleckner } 465f3b9ba49SReid Kleckner 46670f5bc99SReid Kleckner // We're done with this function. 467*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record length"); 46870f5bc99SReid Kleckner Asm->EmitInt16(0x0002); 469*30579ec8SDavid Majnemer Asm->OutStreamer->AddComment("Record kind: S_PROC_ID_END"); 47070f5bc99SReid Kleckner Asm->EmitInt16(unsigned(SymbolRecordKind::S_PROC_ID_END)); 47170f5bc99SReid Kleckner } 47270f5bc99SReid Kleckner Asm->OutStreamer->EmitLabel(SymbolsEnd); 47370f5bc99SReid Kleckner // Every subsection must be aligned to a 4-byte boundary. 4741fcd610cSReid Kleckner Asm->OutStreamer->EmitValueToAlignment(4); 47570f5bc99SReid Kleckner 4762214ed89SReid Kleckner // We have an assembler directive that takes care of the whole line table. 4772214ed89SReid Kleckner Asm->OutStreamer->EmitCVLinetableDirective(FI.FuncId, Fn, FI.End); 47870f5bc99SReid Kleckner } 47970f5bc99SReid Kleckner 48070f5bc99SReid Kleckner void CodeViewDebug::beginFunction(const MachineFunction *MF) { 48170f5bc99SReid Kleckner assert(!CurFn && "Can't process two functions at once!"); 48270f5bc99SReid Kleckner 48370f5bc99SReid Kleckner if (!Asm || !Asm->MMI->hasDebugInfo()) 48470f5bc99SReid Kleckner return; 48570f5bc99SReid Kleckner 48670f5bc99SReid Kleckner const Function *GV = MF->getFunction(); 48770f5bc99SReid Kleckner assert(FnDebugInfo.count(GV) == false); 48870f5bc99SReid Kleckner CurFn = &FnDebugInfo[GV]; 4892214ed89SReid Kleckner CurFn->FuncId = NextFuncId++; 4901fcd610cSReid Kleckner CurFn->Begin = Asm->getFunctionBegin(); 49170f5bc99SReid Kleckner 49270f5bc99SReid Kleckner // Find the end of the function prolog. 49370f5bc99SReid Kleckner // FIXME: is there a simpler a way to do this? Can we just search 49470f5bc99SReid Kleckner // for the first instruction of the function, not the last of the prolog? 49570f5bc99SReid Kleckner DebugLoc PrologEndLoc; 49670f5bc99SReid Kleckner bool EmptyPrologue = true; 49770f5bc99SReid Kleckner for (const auto &MBB : *MF) { 49870f5bc99SReid Kleckner if (PrologEndLoc) 49970f5bc99SReid Kleckner break; 50070f5bc99SReid Kleckner for (const auto &MI : MBB) { 50170f5bc99SReid Kleckner if (MI.isDebugValue()) 50270f5bc99SReid Kleckner continue; 50370f5bc99SReid Kleckner 50470f5bc99SReid Kleckner // First known non-DBG_VALUE and non-frame setup location marks 50570f5bc99SReid Kleckner // the beginning of the function body. 50670f5bc99SReid Kleckner // FIXME: do we need the first subcondition? 50770f5bc99SReid Kleckner if (!MI.getFlag(MachineInstr::FrameSetup) && MI.getDebugLoc()) { 50870f5bc99SReid Kleckner PrologEndLoc = MI.getDebugLoc(); 50970f5bc99SReid Kleckner break; 51070f5bc99SReid Kleckner } 51170f5bc99SReid Kleckner EmptyPrologue = false; 51270f5bc99SReid Kleckner } 51370f5bc99SReid Kleckner } 51470f5bc99SReid Kleckner // Record beginning of function if we have a non-empty prologue. 51570f5bc99SReid Kleckner if (PrologEndLoc && !EmptyPrologue) { 51670f5bc99SReid Kleckner DebugLoc FnStartDL = PrologEndLoc.getFnDebugLoc(); 51770f5bc99SReid Kleckner maybeRecordLocation(FnStartDL, MF); 51870f5bc99SReid Kleckner } 51970f5bc99SReid Kleckner } 52070f5bc99SReid Kleckner 52170f5bc99SReid Kleckner void CodeViewDebug::endFunction(const MachineFunction *MF) { 52270f5bc99SReid Kleckner if (!Asm || !CurFn) // We haven't created any debug info for this function. 52370f5bc99SReid Kleckner return; 52470f5bc99SReid Kleckner 52570f5bc99SReid Kleckner const Function *GV = MF->getFunction(); 52670f5bc99SReid Kleckner assert(FnDebugInfo.count(GV)); 52770f5bc99SReid Kleckner assert(CurFn == &FnDebugInfo[GV]); 52870f5bc99SReid Kleckner 5292214ed89SReid Kleckner // Don't emit anything if we don't have any line tables. 5302214ed89SReid Kleckner if (!CurFn->HaveLineInfo) { 53170f5bc99SReid Kleckner FnDebugInfo.erase(GV); 53270f5bc99SReid Kleckner } else { 53370f5bc99SReid Kleckner CurFn->End = Asm->getFunctionEnd(); 53470f5bc99SReid Kleckner } 53570f5bc99SReid Kleckner CurFn = nullptr; 53670f5bc99SReid Kleckner } 53770f5bc99SReid Kleckner 53870f5bc99SReid Kleckner void CodeViewDebug::beginInstruction(const MachineInstr *MI) { 53970f5bc99SReid Kleckner // Ignore DBG_VALUE locations and function prologue. 54070f5bc99SReid Kleckner if (!Asm || MI->isDebugValue() || MI->getFlag(MachineInstr::FrameSetup)) 54170f5bc99SReid Kleckner return; 54270f5bc99SReid Kleckner DebugLoc DL = MI->getDebugLoc(); 54370f5bc99SReid Kleckner if (DL == PrevInstLoc || !DL) 54470f5bc99SReid Kleckner return; 54570f5bc99SReid Kleckner maybeRecordLocation(DL, Asm->MF); 54670f5bc99SReid Kleckner } 54770f5bc99SReid Kleckner } 548