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