12214ed89SReid Kleckner //===- MCCodeView.h - Machine Code CodeView support -------------*- C++ -*-===//
22214ed89SReid Kleckner //
32214ed89SReid Kleckner //                     The LLVM Compiler Infrastructure
42214ed89SReid Kleckner //
52214ed89SReid Kleckner // This file is distributed under the University of Illinois Open Source
62214ed89SReid Kleckner // License. See LICENSE.TXT for details.
72214ed89SReid Kleckner //
82214ed89SReid Kleckner //===----------------------------------------------------------------------===//
92214ed89SReid Kleckner //
102214ed89SReid Kleckner // Holds state from .cv_file and .cv_loc directives for later emission.
112214ed89SReid Kleckner //
122214ed89SReid Kleckner //===----------------------------------------------------------------------===//
132214ed89SReid Kleckner 
142214ed89SReid Kleckner #include "llvm/MC/MCCodeView.h"
151fcd610cSReid Kleckner #include "llvm/MC/MCAsmLayout.h"
162214ed89SReid Kleckner #include "llvm/ADT/STLExtras.h"
172214ed89SReid Kleckner #include "llvm/DebugInfo/CodeView/CodeView.h"
182214ed89SReid Kleckner #include "llvm/DebugInfo/CodeView/Line.h"
196fcbd7e9SDavid Majnemer #include "llvm/DebugInfo/CodeView/SymbolRecord.h"
202214ed89SReid Kleckner #include "llvm/MC/MCContext.h"
212214ed89SReid Kleckner #include "llvm/MC/MCObjectStreamer.h"
22408b5e66SDavid Majnemer #include "llvm/MC/MCValue.h"
232214ed89SReid Kleckner #include "llvm/Support/COFF.h"
24858239d5SReid Kleckner #include "llvm/Support/EndianStream.h"
252214ed89SReid Kleckner 
262214ed89SReid Kleckner using namespace llvm;
272214ed89SReid Kleckner using namespace llvm::codeview;
282214ed89SReid Kleckner 
292214ed89SReid Kleckner CodeViewContext::CodeViewContext() {}
302214ed89SReid Kleckner 
312214ed89SReid Kleckner CodeViewContext::~CodeViewContext() {
322214ed89SReid Kleckner   // If someone inserted strings into the string table but never actually
332214ed89SReid Kleckner   // emitted them somewhere, clean up the fragment.
342214ed89SReid Kleckner   if (!InsertedStrTabFragment)
352214ed89SReid Kleckner     delete StrTabFragment;
362214ed89SReid Kleckner }
372214ed89SReid Kleckner 
382214ed89SReid Kleckner /// This is a valid number for use with .cv_loc if we've already seen a .cv_file
392214ed89SReid Kleckner /// for it.
402214ed89SReid Kleckner bool CodeViewContext::isValidFileNumber(unsigned FileNumber) const {
412214ed89SReid Kleckner   unsigned Idx = FileNumber - 1;
422214ed89SReid Kleckner   if (Idx < Filenames.size())
432214ed89SReid Kleckner     return !Filenames[Idx].empty();
442214ed89SReid Kleckner   return false;
452214ed89SReid Kleckner }
462214ed89SReid Kleckner 
472214ed89SReid Kleckner bool CodeViewContext::addFile(unsigned FileNumber, StringRef Filename) {
482214ed89SReid Kleckner   assert(FileNumber > 0);
492214ed89SReid Kleckner   Filename = addToStringTable(Filename);
502214ed89SReid Kleckner   unsigned Idx = FileNumber - 1;
512214ed89SReid Kleckner   if (Idx >= Filenames.size())
522214ed89SReid Kleckner     Filenames.resize(Idx + 1);
532214ed89SReid Kleckner 
542214ed89SReid Kleckner   if (Filename.empty())
552214ed89SReid Kleckner     Filename = "<stdin>";
562214ed89SReid Kleckner 
572214ed89SReid Kleckner   if (!Filenames[Idx].empty())
582214ed89SReid Kleckner     return false;
592214ed89SReid Kleckner 
602214ed89SReid Kleckner   // FIXME: We should store the string table offset of the filename, rather than
612214ed89SReid Kleckner   // the filename itself for efficiency.
622214ed89SReid Kleckner   Filename = addToStringTable(Filename);
632214ed89SReid Kleckner 
642214ed89SReid Kleckner   Filenames[Idx] = Filename;
652214ed89SReid Kleckner   return true;
662214ed89SReid Kleckner }
672214ed89SReid Kleckner 
68*a9f4cc95SReid Kleckner bool CodeViewContext::recordFunctionId(unsigned FuncId) {
69*a9f4cc95SReid Kleckner   if (FuncId >= Functions.size())
70*a9f4cc95SReid Kleckner     Functions.resize(FuncId + 1);
71*a9f4cc95SReid Kleckner 
72*a9f4cc95SReid Kleckner   // Return false if this function info was already allocated.
73*a9f4cc95SReid Kleckner   if (!Functions[FuncId].isUnallocatedFunctionInfo())
74*a9f4cc95SReid Kleckner     return false;
75*a9f4cc95SReid Kleckner 
76*a9f4cc95SReid Kleckner   // Mark this as an allocated normal function, and leave the rest alone.
77*a9f4cc95SReid Kleckner   Functions[FuncId].ParentFuncIdPlusOne = MCCVFunctionInfo::FunctionSentinel;
78*a9f4cc95SReid Kleckner   return true;
79*a9f4cc95SReid Kleckner }
80*a9f4cc95SReid Kleckner 
81*a9f4cc95SReid Kleckner bool CodeViewContext::recordInlinedCallSiteId(unsigned FuncId, unsigned IAFunc,
82*a9f4cc95SReid Kleckner                                               unsigned IAFile, unsigned IALine,
83*a9f4cc95SReid Kleckner                                               unsigned IACol) {
84*a9f4cc95SReid Kleckner   if (FuncId >= Functions.size())
85*a9f4cc95SReid Kleckner     Functions.resize(FuncId + 1);
86*a9f4cc95SReid Kleckner 
87*a9f4cc95SReid Kleckner   // Return false if this function info was already allocated.
88*a9f4cc95SReid Kleckner   if (!Functions[FuncId].isUnallocatedFunctionInfo())
89*a9f4cc95SReid Kleckner     return false;
90*a9f4cc95SReid Kleckner 
91*a9f4cc95SReid Kleckner   MCCVFunctionInfo::LineInfo InlinedAt;
92*a9f4cc95SReid Kleckner   InlinedAt.File = IAFile;
93*a9f4cc95SReid Kleckner   InlinedAt.Line = IALine;
94*a9f4cc95SReid Kleckner   InlinedAt.Col = IACol;
95*a9f4cc95SReid Kleckner 
96*a9f4cc95SReid Kleckner   // Mark this as an inlined call site and record call site line info.
97*a9f4cc95SReid Kleckner   MCCVFunctionInfo *Info = &Functions[FuncId];
98*a9f4cc95SReid Kleckner   Info->ParentFuncIdPlusOne = IAFunc + 1;
99*a9f4cc95SReid Kleckner   Info->InlinedAt = InlinedAt;
100*a9f4cc95SReid Kleckner 
101*a9f4cc95SReid Kleckner   // Walk up the call chain adding this function id to the InlinedAtMap of all
102*a9f4cc95SReid Kleckner   // transitive callers until we hit a real function.
103*a9f4cc95SReid Kleckner   while (Info->isInlinedCallSite()) {
104*a9f4cc95SReid Kleckner     InlinedAt = Info->InlinedAt;
105*a9f4cc95SReid Kleckner     Info = getCVFunctionInfo(Info->getParentFuncId());
106*a9f4cc95SReid Kleckner     Info->InlinedAtMap[FuncId] = InlinedAt;
107*a9f4cc95SReid Kleckner   }
108*a9f4cc95SReid Kleckner 
109*a9f4cc95SReid Kleckner   return true;
110*a9f4cc95SReid Kleckner }
111*a9f4cc95SReid Kleckner 
1122214ed89SReid Kleckner MCDataFragment *CodeViewContext::getStringTableFragment() {
1132214ed89SReid Kleckner   if (!StrTabFragment) {
1142214ed89SReid Kleckner     StrTabFragment = new MCDataFragment();
1152214ed89SReid Kleckner     // Start a new string table out with a null byte.
1162214ed89SReid Kleckner     StrTabFragment->getContents().push_back('\0');
1172214ed89SReid Kleckner   }
1182214ed89SReid Kleckner   return StrTabFragment;
1192214ed89SReid Kleckner }
1202214ed89SReid Kleckner 
1212214ed89SReid Kleckner StringRef CodeViewContext::addToStringTable(StringRef S) {
1222214ed89SReid Kleckner   SmallVectorImpl<char> &Contents = getStringTableFragment()->getContents();
1232214ed89SReid Kleckner   auto Insertion =
1242214ed89SReid Kleckner       StringTable.insert(std::make_pair(S, unsigned(Contents.size())));
1252214ed89SReid Kleckner   // Return the string from the table, since it is stable.
1262214ed89SReid Kleckner   S = Insertion.first->first();
1272214ed89SReid Kleckner   if (Insertion.second) {
1282214ed89SReid Kleckner     // The string map key is always null terminated.
1292214ed89SReid Kleckner     Contents.append(S.begin(), S.end() + 1);
1302214ed89SReid Kleckner   }
1312214ed89SReid Kleckner   return S;
1322214ed89SReid Kleckner }
1332214ed89SReid Kleckner 
1342214ed89SReid Kleckner unsigned CodeViewContext::getStringTableOffset(StringRef S) {
1352214ed89SReid Kleckner   // A string table offset of zero is always the empty string.
1362214ed89SReid Kleckner   if (S.empty())
1372214ed89SReid Kleckner     return 0;
1382214ed89SReid Kleckner   auto I = StringTable.find(S);
1392214ed89SReid Kleckner   assert(I != StringTable.end());
1402214ed89SReid Kleckner   return I->second;
1412214ed89SReid Kleckner }
1422214ed89SReid Kleckner 
1432214ed89SReid Kleckner void CodeViewContext::emitStringTable(MCObjectStreamer &OS) {
1442214ed89SReid Kleckner   MCContext &Ctx = OS.getContext();
145a0b44ef6SDavid Blaikie   MCSymbol *StringBegin = Ctx.createTempSymbol("strtab_begin", false),
146a0b44ef6SDavid Blaikie            *StringEnd = Ctx.createTempSymbol("strtab_end", false);
1472214ed89SReid Kleckner 
1482214ed89SReid Kleckner   OS.EmitIntValue(unsigned(ModuleSubstreamKind::StringTable), 4);
1492214ed89SReid Kleckner   OS.emitAbsoluteSymbolDiff(StringEnd, StringBegin, 4);
1502214ed89SReid Kleckner   OS.EmitLabel(StringBegin);
1512214ed89SReid Kleckner 
1522214ed89SReid Kleckner   // Put the string table data fragment here, if we haven't already put it
1532214ed89SReid Kleckner   // somewhere else. If somebody wants two string tables in their .s file, one
1542214ed89SReid Kleckner   // will just be empty.
1552214ed89SReid Kleckner   if (!InsertedStrTabFragment) {
1562214ed89SReid Kleckner     OS.insert(getStringTableFragment());
1572214ed89SReid Kleckner     InsertedStrTabFragment = true;
1582214ed89SReid Kleckner   }
1592214ed89SReid Kleckner 
1602214ed89SReid Kleckner   OS.EmitValueToAlignment(4, 0);
1612214ed89SReid Kleckner 
1622214ed89SReid Kleckner   OS.EmitLabel(StringEnd);
1632214ed89SReid Kleckner }
1642214ed89SReid Kleckner 
1652214ed89SReid Kleckner void CodeViewContext::emitFileChecksums(MCObjectStreamer &OS) {
166ee641c20SReid Kleckner   // Do nothing if there are no file checksums. Microsoft's linker rejects empty
167ee641c20SReid Kleckner   // CodeView substreams.
168ee641c20SReid Kleckner   if (Filenames.empty())
169ee641c20SReid Kleckner     return;
170ee641c20SReid Kleckner 
1712214ed89SReid Kleckner   MCContext &Ctx = OS.getContext();
172a0b44ef6SDavid Blaikie   MCSymbol *FileBegin = Ctx.createTempSymbol("filechecksums_begin", false),
173a0b44ef6SDavid Blaikie            *FileEnd = Ctx.createTempSymbol("filechecksums_end", false);
1742214ed89SReid Kleckner 
1752214ed89SReid Kleckner   OS.EmitIntValue(unsigned(ModuleSubstreamKind::FileChecksums), 4);
1762214ed89SReid Kleckner   OS.emitAbsoluteSymbolDiff(FileEnd, FileBegin, 4);
1772214ed89SReid Kleckner   OS.EmitLabel(FileBegin);
1782214ed89SReid Kleckner 
1792214ed89SReid Kleckner   // Emit an array of FileChecksum entries. We index into this table using the
1802214ed89SReid Kleckner   // user-provided file number. Each entry is currently 8 bytes, as we don't
1812214ed89SReid Kleckner   // emit checksums.
1822214ed89SReid Kleckner   for (StringRef Filename : Filenames) {
1832214ed89SReid Kleckner     OS.EmitIntValue(getStringTableOffset(Filename), 4);
1842214ed89SReid Kleckner     // Zero the next two fields and align back to 4 bytes. This indicates that
1852214ed89SReid Kleckner     // no checksum is present.
1862214ed89SReid Kleckner     OS.EmitIntValue(0, 4);
1872214ed89SReid Kleckner   }
1882214ed89SReid Kleckner 
1892214ed89SReid Kleckner   OS.EmitLabel(FileEnd);
1902214ed89SReid Kleckner }
1912214ed89SReid Kleckner 
1922214ed89SReid Kleckner void CodeViewContext::emitLineTableForFunction(MCObjectStreamer &OS,
1932214ed89SReid Kleckner                                                unsigned FuncId,
1942214ed89SReid Kleckner                                                const MCSymbol *FuncBegin,
1952214ed89SReid Kleckner                                                const MCSymbol *FuncEnd) {
1962214ed89SReid Kleckner   MCContext &Ctx = OS.getContext();
197a0b44ef6SDavid Blaikie   MCSymbol *LineBegin = Ctx.createTempSymbol("linetable_begin", false),
198a0b44ef6SDavid Blaikie            *LineEnd = Ctx.createTempSymbol("linetable_end", false);
1992214ed89SReid Kleckner 
2002214ed89SReid Kleckner   OS.EmitIntValue(unsigned(ModuleSubstreamKind::Lines), 4);
2012214ed89SReid Kleckner   OS.emitAbsoluteSymbolDiff(LineEnd, LineBegin, 4);
2022214ed89SReid Kleckner   OS.EmitLabel(LineBegin);
2032214ed89SReid Kleckner   OS.EmitCOFFSecRel32(FuncBegin);
2042214ed89SReid Kleckner   OS.EmitCOFFSectionIndex(FuncBegin);
2052214ed89SReid Kleckner 
2062214ed89SReid Kleckner   // Actual line info.
2076fcbd7e9SDavid Majnemer   std::vector<MCCVLineEntry> Locs = getFunctionLineEntries(FuncId);
2082214ed89SReid Kleckner   bool HaveColumns = any_of(Locs, [](const MCCVLineEntry &LineEntry) {
2092214ed89SReid Kleckner     return LineEntry.getColumn() != 0;
2102214ed89SReid Kleckner   });
2116fcbd7e9SDavid Majnemer   OS.EmitIntValue(HaveColumns ? int(LineFlags::HaveColumns) : 0, 2);
2122214ed89SReid Kleckner   OS.emitAbsoluteSymbolDiff(FuncEnd, FuncBegin, 4);
2132214ed89SReid Kleckner 
2142214ed89SReid Kleckner   for (auto I = Locs.begin(), E = Locs.end(); I != E;) {
2152214ed89SReid Kleckner     // Emit a file segment for the run of locations that share a file id.
2162214ed89SReid Kleckner     unsigned CurFileNum = I->getFileNum();
2172214ed89SReid Kleckner     auto FileSegEnd =
2182214ed89SReid Kleckner         std::find_if(I, E, [CurFileNum](const MCCVLineEntry &Loc) {
2192214ed89SReid Kleckner           return Loc.getFileNum() != CurFileNum;
2202214ed89SReid Kleckner         });
2212214ed89SReid Kleckner     unsigned EntryCount = FileSegEnd - I;
2222214ed89SReid Kleckner     OS.AddComment("Segment for file '" + Twine(Filenames[CurFileNum - 1]) +
2232214ed89SReid Kleckner                   "' begins");
2242214ed89SReid Kleckner     OS.EmitIntValue(8 * (CurFileNum - 1), 4);
2252214ed89SReid Kleckner     OS.EmitIntValue(EntryCount, 4);
2262214ed89SReid Kleckner     uint32_t SegmentSize = 12;
2272214ed89SReid Kleckner     SegmentSize += 8 * EntryCount;
2282214ed89SReid Kleckner     if (HaveColumns)
2292214ed89SReid Kleckner       SegmentSize += 4 * EntryCount;
2302214ed89SReid Kleckner     OS.EmitIntValue(SegmentSize, 4);
2312214ed89SReid Kleckner 
2322214ed89SReid Kleckner     for (auto J = I; J != FileSegEnd; ++J) {
2332214ed89SReid Kleckner       OS.emitAbsoluteSymbolDiff(J->getLabel(), FuncBegin, 4);
2342214ed89SReid Kleckner       unsigned LineData = J->getLine();
2352214ed89SReid Kleckner       if (J->isStmt())
2366fcbd7e9SDavid Majnemer         LineData |= LineInfo::StatementFlag;
2372214ed89SReid Kleckner       OS.EmitIntValue(LineData, 4);
2382214ed89SReid Kleckner     }
2392214ed89SReid Kleckner     if (HaveColumns) {
2402214ed89SReid Kleckner       for (auto J = I; J != FileSegEnd; ++J) {
2412214ed89SReid Kleckner         OS.EmitIntValue(J->getColumn(), 2);
2422214ed89SReid Kleckner         OS.EmitIntValue(0, 2);
2432214ed89SReid Kleckner       }
2442214ed89SReid Kleckner     }
2452214ed89SReid Kleckner     I = FileSegEnd;
2462214ed89SReid Kleckner   }
2472214ed89SReid Kleckner   OS.EmitLabel(LineEnd);
2482214ed89SReid Kleckner }
2492214ed89SReid Kleckner 
2506fcbd7e9SDavid Majnemer static bool compressAnnotation(uint32_t Data, SmallVectorImpl<char> &Buffer) {
2516fcbd7e9SDavid Majnemer   if (isUInt<7>(Data)) {
2526fcbd7e9SDavid Majnemer     Buffer.push_back(Data);
2536fcbd7e9SDavid Majnemer     return true;
2546fcbd7e9SDavid Majnemer   }
2556fcbd7e9SDavid Majnemer 
2566fcbd7e9SDavid Majnemer   if (isUInt<14>(Data)) {
2576fcbd7e9SDavid Majnemer     Buffer.push_back((Data >> 8) | 0x80);
2586fcbd7e9SDavid Majnemer     Buffer.push_back(Data & 0xff);
2596fcbd7e9SDavid Majnemer     return true;
2606fcbd7e9SDavid Majnemer   }
2616fcbd7e9SDavid Majnemer 
2626fcbd7e9SDavid Majnemer   if (isUInt<29>(Data)) {
2636fcbd7e9SDavid Majnemer     Buffer.push_back((Data >> 24) | 0xC0);
2646fcbd7e9SDavid Majnemer     Buffer.push_back((Data >> 16) & 0xff);
2656fcbd7e9SDavid Majnemer     Buffer.push_back((Data >> 8) & 0xff);
2666fcbd7e9SDavid Majnemer     Buffer.push_back(Data & 0xff);
2676fcbd7e9SDavid Majnemer     return true;
2686fcbd7e9SDavid Majnemer   }
2696fcbd7e9SDavid Majnemer 
2706fcbd7e9SDavid Majnemer   return false;
2716fcbd7e9SDavid Majnemer }
2726fcbd7e9SDavid Majnemer 
27363a2846eSZachary Turner static bool compressAnnotation(BinaryAnnotationsOpCode Annotation,
27463a2846eSZachary Turner                                SmallVectorImpl<char> &Buffer) {
27563a2846eSZachary Turner   return compressAnnotation(static_cast<uint32_t>(Annotation), Buffer);
27663a2846eSZachary Turner }
27763a2846eSZachary Turner 
2786fcbd7e9SDavid Majnemer static uint32_t encodeSignedNumber(uint32_t Data) {
2796fcbd7e9SDavid Majnemer   if (Data >> 31)
2806fcbd7e9SDavid Majnemer     return ((-Data) << 1) | 1;
2816fcbd7e9SDavid Majnemer   return Data << 1;
2826fcbd7e9SDavid Majnemer }
2836fcbd7e9SDavid Majnemer 
284*a9f4cc95SReid Kleckner void CodeViewContext::emitInlineLineTableForFunction(MCObjectStreamer &OS,
285*a9f4cc95SReid Kleckner                                                      unsigned PrimaryFunctionId,
286*a9f4cc95SReid Kleckner                                                      unsigned SourceFileId,
287*a9f4cc95SReid Kleckner                                                      unsigned SourceLineNum,
288*a9f4cc95SReid Kleckner                                                      const MCSymbol *FnStartSym,
289*a9f4cc95SReid Kleckner                                                      const MCSymbol *FnEndSym) {
2901fcd610cSReid Kleckner   // Create and insert a fragment into the current section that will be encoded
2911fcd610cSReid Kleckner   // later.
292*a9f4cc95SReid Kleckner   new MCCVInlineLineTableFragment(PrimaryFunctionId, SourceFileId,
293*a9f4cc95SReid Kleckner                                   SourceLineNum, FnStartSym, FnEndSym,
294*a9f4cc95SReid Kleckner                                   OS.getCurrentSectionOnly());
2956fcbd7e9SDavid Majnemer }
2966fcbd7e9SDavid Majnemer 
297408b5e66SDavid Majnemer void CodeViewContext::emitDefRange(
298408b5e66SDavid Majnemer     MCObjectStreamer &OS,
299408b5e66SDavid Majnemer     ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
300408b5e66SDavid Majnemer     StringRef FixedSizePortion) {
301408b5e66SDavid Majnemer   // Create and insert a fragment into the current section that will be encoded
302408b5e66SDavid Majnemer   // later.
303408b5e66SDavid Majnemer   new MCCVDefRangeFragment(Ranges, FixedSizePortion,
304408b5e66SDavid Majnemer                            OS.getCurrentSectionOnly());
305408b5e66SDavid Majnemer }
306408b5e66SDavid Majnemer 
307cb91e7d3SReid Kleckner static unsigned computeLabelDiff(MCAsmLayout &Layout, const MCSymbol *Begin,
3081fcd610cSReid Kleckner                                  const MCSymbol *End) {
3091fcd610cSReid Kleckner   MCContext &Ctx = Layout.getAssembler().getContext();
3101fcd610cSReid Kleckner   MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
3111fcd610cSReid Kleckner   const MCExpr *BeginRef = MCSymbolRefExpr::create(Begin, Variant, Ctx),
3121fcd610cSReid Kleckner                *EndRef = MCSymbolRefExpr::create(End, Variant, Ctx);
3131fcd610cSReid Kleckner   const MCExpr *AddrDelta =
3141fcd610cSReid Kleckner       MCBinaryExpr::create(MCBinaryExpr::Sub, EndRef, BeginRef, Ctx);
3151fcd610cSReid Kleckner   int64_t Result;
3161fcd610cSReid Kleckner   bool Success = AddrDelta->evaluateKnownAbsolute(Result, Layout);
3171fcd610cSReid Kleckner   assert(Success && "failed to evaluate label difference as absolute");
3181fcd610cSReid Kleckner   (void)Success;
3191fcd610cSReid Kleckner   assert(Result >= 0 && "negative label difference requested");
3201fcd610cSReid Kleckner   assert(Result < UINT_MAX && "label difference greater than 2GB");
3211fcd610cSReid Kleckner   return unsigned(Result);
3221fcd610cSReid Kleckner }
3236fcbd7e9SDavid Majnemer 
3241fcd610cSReid Kleckner void CodeViewContext::encodeInlineLineTable(MCAsmLayout &Layout,
3251fcd610cSReid Kleckner                                             MCCVInlineLineTableFragment &Frag) {
3261fcd610cSReid Kleckner   size_t LocBegin;
3271fcd610cSReid Kleckner   size_t LocEnd;
3281fcd610cSReid Kleckner   std::tie(LocBegin, LocEnd) = getLineExtent(Frag.SiteFuncId);
329*a9f4cc95SReid Kleckner 
330*a9f4cc95SReid Kleckner   // Include all child inline call sites in our .cv_loc extent.
331*a9f4cc95SReid Kleckner   MCCVFunctionInfo *SiteInfo = getCVFunctionInfo(Frag.SiteFuncId);
332*a9f4cc95SReid Kleckner   for (auto &KV : SiteInfo->InlinedAtMap) {
333*a9f4cc95SReid Kleckner     unsigned ChildId = KV.first;
334*a9f4cc95SReid Kleckner     auto Extent = getLineExtent(ChildId);
3351fcd610cSReid Kleckner     LocBegin = std::min(LocBegin, Extent.first);
3361fcd610cSReid Kleckner     LocEnd = std::max(LocEnd, Extent.second);
3371fcd610cSReid Kleckner   }
338*a9f4cc95SReid Kleckner 
3391fcd610cSReid Kleckner   if (LocBegin >= LocEnd)
3401fcd610cSReid Kleckner     return;
341c9911f28SDavid Majnemer   ArrayRef<MCCVLineEntry> Locs = getLinesForExtent(LocBegin, LocEnd);
3421fcd610cSReid Kleckner   if (Locs.empty())
3431fcd610cSReid Kleckner     return;
3441fcd610cSReid Kleckner 
3451fcd610cSReid Kleckner   // Make an artificial start location using the function start and the inlinee
3461fcd610cSReid Kleckner   // lines start location information. All deltas start relative to this
3471fcd610cSReid Kleckner   // location.
3481fcd610cSReid Kleckner   MCCVLineEntry StartLoc(Frag.getFnStartSym(), MCCVLoc(Locs.front()));
3491fcd610cSReid Kleckner   StartLoc.setFileNum(Frag.StartFileId);
3501fcd610cSReid Kleckner   StartLoc.setLine(Frag.StartLineNum);
351c29b4f07SReid Kleckner   bool HaveOpenRange = false;
3521fcd610cSReid Kleckner 
353*a9f4cc95SReid Kleckner   const MCSymbol *LastLabel = Frag.getFnStartSym();
354*a9f4cc95SReid Kleckner   MCCVFunctionInfo::LineInfo LastSourceLoc, CurSourceLoc;
355*a9f4cc95SReid Kleckner   LastSourceLoc.File = Frag.StartFileId;
356*a9f4cc95SReid Kleckner   LastSourceLoc.Line = Frag.StartLineNum;
357*a9f4cc95SReid Kleckner 
3581fcd610cSReid Kleckner   SmallVectorImpl<char> &Buffer = Frag.getContents();
3591fcd610cSReid Kleckner   Buffer.clear(); // Clear old contents if we went through relaxation.
3601fcd610cSReid Kleckner   for (const MCCVLineEntry &Loc : Locs) {
361*a9f4cc95SReid Kleckner     if (Loc.getFunctionId() == Frag.SiteFuncId) {
362*a9f4cc95SReid Kleckner       CurSourceLoc.File = Loc.getFileNum();
363*a9f4cc95SReid Kleckner       CurSourceLoc.Line = Loc.getLine();
364*a9f4cc95SReid Kleckner     } else {
365*a9f4cc95SReid Kleckner       auto I = SiteInfo->InlinedAtMap.find(Loc.getFunctionId());
366*a9f4cc95SReid Kleckner       if (I != SiteInfo->InlinedAtMap.end()) {
367*a9f4cc95SReid Kleckner         // This .cv_loc is from a child inline call site. Use the source
368*a9f4cc95SReid Kleckner         // location of the inlined call site instead of the .cv_loc directive
369*a9f4cc95SReid Kleckner         // source location.
370*a9f4cc95SReid Kleckner         CurSourceLoc = I->second;
371*a9f4cc95SReid Kleckner       } else {
3721fcd610cSReid Kleckner         // We've hit a cv_loc not attributed to this inline call site. Use this
3731fcd610cSReid Kleckner         // label to end the PC range.
374c29b4f07SReid Kleckner         if (HaveOpenRange) {
375*a9f4cc95SReid Kleckner           unsigned Length = computeLabelDiff(Layout, LastLabel, Loc.getLabel());
37663a2846eSZachary Turner           compressAnnotation(BinaryAnnotationsOpCode::ChangeCodeLength, Buffer);
3771fcd610cSReid Kleckner           compressAnnotation(Length, Buffer);
378*a9f4cc95SReid Kleckner           LastLabel = Loc.getLabel();
3791fcd610cSReid Kleckner         }
380c29b4f07SReid Kleckner         HaveOpenRange = false;
3811fcd610cSReid Kleckner         continue;
3821fcd610cSReid Kleckner       }
383*a9f4cc95SReid Kleckner     }
384c29b4f07SReid Kleckner 
385*a9f4cc95SReid Kleckner     // Skip this .cv_loc if we have an open range and this isn't a meaningful
386*a9f4cc95SReid Kleckner     // source location update. The current table format does not support column
387*a9f4cc95SReid Kleckner     // info, so we can skip updates for those.
388*a9f4cc95SReid Kleckner     if (HaveOpenRange && CurSourceLoc.File == LastSourceLoc.File &&
389*a9f4cc95SReid Kleckner         CurSourceLoc.Line == LastSourceLoc.Line)
390c29b4f07SReid Kleckner       continue;
391*a9f4cc95SReid Kleckner 
392c29b4f07SReid Kleckner     HaveOpenRange = true;
3931fcd610cSReid Kleckner 
394*a9f4cc95SReid Kleckner     if (CurSourceLoc.File != LastSourceLoc.File) {
395344078f5SReid Kleckner       // File ids are 1 based, and each file checksum table entry is 8 bytes
396344078f5SReid Kleckner       // long. See emitFileChecksums above.
397*a9f4cc95SReid Kleckner       unsigned FileOffset = 8 * (CurSourceLoc.File - 1);
39863a2846eSZachary Turner       compressAnnotation(BinaryAnnotationsOpCode::ChangeFile, Buffer);
399344078f5SReid Kleckner       compressAnnotation(FileOffset, Buffer);
4001fcd610cSReid Kleckner     }
4011fcd610cSReid Kleckner 
402*a9f4cc95SReid Kleckner     int LineDelta = CurSourceLoc.Line - LastSourceLoc.Line;
4031fcd610cSReid Kleckner     unsigned EncodedLineDelta = encodeSignedNumber(LineDelta);
404*a9f4cc95SReid Kleckner     unsigned CodeDelta = computeLabelDiff(Layout, LastLabel, Loc.getLabel());
405*a9f4cc95SReid Kleckner     if (CodeDelta == 0 && LineDelta != 0) {
40663a2846eSZachary Turner       compressAnnotation(BinaryAnnotationsOpCode::ChangeLineOffset, Buffer);
4071fcd610cSReid Kleckner       compressAnnotation(EncodedLineDelta, Buffer);
4081fcd610cSReid Kleckner     } else if (EncodedLineDelta < 0x8 && CodeDelta <= 0xf) {
4091fcd610cSReid Kleckner       // The ChangeCodeOffsetAndLineOffset combination opcode is used when the
4101fcd610cSReid Kleckner       // encoded line delta uses 3 or fewer set bits and the code offset fits
4111fcd610cSReid Kleckner       // in one nibble.
4121fcd610cSReid Kleckner       unsigned Operand = (EncodedLineDelta << 4) | CodeDelta;
41363a2846eSZachary Turner       compressAnnotation(BinaryAnnotationsOpCode::ChangeCodeOffsetAndLineOffset,
41463a2846eSZachary Turner                          Buffer);
4151fcd610cSReid Kleckner       compressAnnotation(Operand, Buffer);
4161fcd610cSReid Kleckner     } else {
4171fcd610cSReid Kleckner       // Otherwise use the separate line and code deltas.
418*a9f4cc95SReid Kleckner       if (LineDelta != 0) {
41963a2846eSZachary Turner         compressAnnotation(BinaryAnnotationsOpCode::ChangeLineOffset, Buffer);
4201fcd610cSReid Kleckner         compressAnnotation(EncodedLineDelta, Buffer);
421*a9f4cc95SReid Kleckner       }
42263a2846eSZachary Turner       compressAnnotation(BinaryAnnotationsOpCode::ChangeCodeOffset, Buffer);
4231fcd610cSReid Kleckner       compressAnnotation(CodeDelta, Buffer);
4241fcd610cSReid Kleckner     }
4256fcbd7e9SDavid Majnemer 
426*a9f4cc95SReid Kleckner     LastLabel = Loc.getLabel();
427*a9f4cc95SReid Kleckner     LastSourceLoc = CurSourceLoc;
4286fcbd7e9SDavid Majnemer   }
429c9911f28SDavid Majnemer 
430c29b4f07SReid Kleckner   assert(HaveOpenRange);
431c9911f28SDavid Majnemer 
432c9911f28SDavid Majnemer   unsigned EndSymLength =
433*a9f4cc95SReid Kleckner       computeLabelDiff(Layout, LastLabel, Frag.getFnEndSym());
434c9911f28SDavid Majnemer   unsigned LocAfterLength = ~0U;
435c9911f28SDavid Majnemer   ArrayRef<MCCVLineEntry> LocAfter = getLinesForExtent(LocEnd, LocEnd + 1);
436cb91e7d3SReid Kleckner   if (!LocAfter.empty()) {
437cb91e7d3SReid Kleckner     // Only try to compute this difference if we're in the same section.
438cb91e7d3SReid Kleckner     const MCCVLineEntry &Loc = LocAfter[0];
439*a9f4cc95SReid Kleckner     if (&Loc.getLabel()->getSection(false) == &LastLabel->getSection(false))
440*a9f4cc95SReid Kleckner       LocAfterLength = computeLabelDiff(Layout, LastLabel, Loc.getLabel());
441cb91e7d3SReid Kleckner   }
442c9911f28SDavid Majnemer 
44363a2846eSZachary Turner   compressAnnotation(BinaryAnnotationsOpCode::ChangeCodeLength, Buffer);
444c9911f28SDavid Majnemer   compressAnnotation(std::min(EndSymLength, LocAfterLength), Buffer);
4456fcbd7e9SDavid Majnemer }
4466fcbd7e9SDavid Majnemer 
447408b5e66SDavid Majnemer void CodeViewContext::encodeDefRange(MCAsmLayout &Layout,
448408b5e66SDavid Majnemer                                      MCCVDefRangeFragment &Frag) {
449408b5e66SDavid Majnemer   MCContext &Ctx = Layout.getAssembler().getContext();
450408b5e66SDavid Majnemer   SmallVectorImpl<char> &Contents = Frag.getContents();
451408b5e66SDavid Majnemer   Contents.clear();
452408b5e66SDavid Majnemer   SmallVectorImpl<MCFixup> &Fixups = Frag.getFixups();
453408b5e66SDavid Majnemer   Fixups.clear();
454408b5e66SDavid Majnemer   raw_svector_ostream OS(Contents);
455408b5e66SDavid Majnemer 
456408b5e66SDavid Majnemer   // Write down each range where the variable is defined.
457408b5e66SDavid Majnemer   for (std::pair<const MCSymbol *, const MCSymbol *> Range : Frag.getRanges()) {
458408b5e66SDavid Majnemer     unsigned RangeSize = computeLabelDiff(Layout, Range.first, Range.second);
459408b5e66SDavid Majnemer     unsigned Bias = 0;
460408b5e66SDavid Majnemer     // We must split the range into chunks of MaxDefRange, this is a fundamental
461408b5e66SDavid Majnemer     // limitation of the file format.
462408b5e66SDavid Majnemer     do {
463408b5e66SDavid Majnemer       uint16_t Chunk = std::min((uint32_t)MaxDefRange, RangeSize);
464408b5e66SDavid Majnemer 
465408b5e66SDavid Majnemer       const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Range.first, Ctx);
466408b5e66SDavid Majnemer       const MCBinaryExpr *BE =
467408b5e66SDavid Majnemer           MCBinaryExpr::createAdd(SRE, MCConstantExpr::create(Bias, Ctx), Ctx);
468408b5e66SDavid Majnemer       MCValue Res;
469408b5e66SDavid Majnemer       BE->evaluateAsRelocatable(Res, &Layout, /*Fixup=*/nullptr);
470408b5e66SDavid Majnemer 
471408b5e66SDavid Majnemer       // Each record begins with a 2-byte number indicating how large the record
472408b5e66SDavid Majnemer       // is.
473408b5e66SDavid Majnemer       StringRef FixedSizePortion = Frag.getFixedSizePortion();
474408b5e66SDavid Majnemer       // Our record is a fixed sized prefix and a LocalVariableAddrRange that we
475408b5e66SDavid Majnemer       // are artificially constructing.
476408b5e66SDavid Majnemer       size_t RecordSize =
477408b5e66SDavid Majnemer           FixedSizePortion.size() + sizeof(LocalVariableAddrRange);
478408b5e66SDavid Majnemer       // Write out the recrod size.
479408b5e66SDavid Majnemer       support::endian::Writer<support::little>(OS).write<uint16_t>(RecordSize);
480408b5e66SDavid Majnemer       // Write out the fixed size prefix.
481408b5e66SDavid Majnemer       OS << FixedSizePortion;
482408b5e66SDavid Majnemer       // Make space for a fixup that will eventually have a section relative
483408b5e66SDavid Majnemer       // relocation pointing at the offset where the variable becomes live.
484408b5e66SDavid Majnemer       Fixups.push_back(MCFixup::create(Contents.size(), BE, FK_SecRel_4));
485408b5e66SDavid Majnemer       Contents.resize(Contents.size() + 4); // Fixup for code start.
486408b5e66SDavid Majnemer       // Make space for a fixup that will record the section index for the code.
487408b5e66SDavid Majnemer       Fixups.push_back(MCFixup::create(Contents.size(), BE, FK_SecRel_2));
488408b5e66SDavid Majnemer       Contents.resize(Contents.size() + 2); // Fixup for section index.
489408b5e66SDavid Majnemer       // Write down the range's extent.
490408b5e66SDavid Majnemer       support::endian::Writer<support::little>(OS).write<uint16_t>(Chunk);
491408b5e66SDavid Majnemer 
492408b5e66SDavid Majnemer       // Move on to the next range.
493408b5e66SDavid Majnemer       Bias += Chunk;
494408b5e66SDavid Majnemer       RangeSize -= Chunk;
495408b5e66SDavid Majnemer     } while (RangeSize > 0);
496408b5e66SDavid Majnemer   }
497408b5e66SDavid Majnemer }
498408b5e66SDavid Majnemer 
4992214ed89SReid Kleckner //
5002214ed89SReid Kleckner // This is called when an instruction is assembled into the specified section
5012214ed89SReid Kleckner // and if there is information from the last .cv_loc directive that has yet to have
5022214ed89SReid Kleckner // a line entry made for it is made.
5032214ed89SReid Kleckner //
5042214ed89SReid Kleckner void MCCVLineEntry::Make(MCObjectStreamer *MCOS) {
505a5b1eef8SReid Kleckner   CodeViewContext &CVC = MCOS->getContext().getCVContext();
506a5b1eef8SReid Kleckner   if (!CVC.getCVLocSeen())
5072214ed89SReid Kleckner     return;
5082214ed89SReid Kleckner 
5092214ed89SReid Kleckner   // Create a symbol at in the current section for use in the line entry.
5102214ed89SReid Kleckner   MCSymbol *LineSym = MCOS->getContext().createTempSymbol();
5112214ed89SReid Kleckner   // Set the value of the symbol to use for the MCCVLineEntry.
5122214ed89SReid Kleckner   MCOS->EmitLabel(LineSym);
5132214ed89SReid Kleckner 
5142214ed89SReid Kleckner   // Get the current .loc info saved in the context.
515a5b1eef8SReid Kleckner   const MCCVLoc &CVLoc = CVC.getCurrentCVLoc();
5162214ed89SReid Kleckner 
5172214ed89SReid Kleckner   // Create a (local) line entry with the symbol and the current .loc info.
5182214ed89SReid Kleckner   MCCVLineEntry LineEntry(LineSym, CVLoc);
5192214ed89SReid Kleckner 
5202214ed89SReid Kleckner   // clear CVLocSeen saying the current .loc info is now used.
521a5b1eef8SReid Kleckner   CVC.clearCVLocSeen();
5222214ed89SReid Kleckner 
5232214ed89SReid Kleckner   // Add the line entry to this section's entries.
524a5b1eef8SReid Kleckner   CVC.addLineEntry(LineEntry);
5252214ed89SReid Kleckner }
526