xref: /freebsd/contrib/llvm-project/llvm/lib/MC/MCDwarf.cpp (revision 06c3fb2749bda94cb5201f81ffdb8fa6c3161b2e)
10b57cec5SDimitry Andric //===- lib/MC/MCDwarf.cpp - MCDwarf implementation ------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "llvm/MC/MCDwarf.h"
100b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
110b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h"
120b57cec5SDimitry Andric #include "llvm/ADT/Hashing.h"
130b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
140b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
150b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
160b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
170b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
180b57cec5SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h"
190b57cec5SDimitry Andric #include "llvm/Config/config.h"
200b57cec5SDimitry Andric #include "llvm/MC/MCAsmInfo.h"
210b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
220b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h"
230b57cec5SDimitry Andric #include "llvm/MC/MCObjectFileInfo.h"
240b57cec5SDimitry Andric #include "llvm/MC/MCObjectStreamer.h"
250b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h"
260b57cec5SDimitry Andric #include "llvm/MC/MCSection.h"
270b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h"
280b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h"
290b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
300b57cec5SDimitry Andric #include "llvm/Support/Endian.h"
310b57cec5SDimitry Andric #include "llvm/Support/EndianStream.h"
320b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
330b57cec5SDimitry Andric #include "llvm/Support/LEB128.h"
340b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h"
350b57cec5SDimitry Andric #include "llvm/Support/Path.h"
360b57cec5SDimitry Andric #include "llvm/Support/SourceMgr.h"
370b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
380b57cec5SDimitry Andric #include <cassert>
390b57cec5SDimitry Andric #include <cstdint>
40bdd1243dSDimitry Andric #include <optional>
410b57cec5SDimitry Andric #include <string>
420b57cec5SDimitry Andric #include <utility>
430b57cec5SDimitry Andric #include <vector>
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric using namespace llvm;
460b57cec5SDimitry Andric 
475ffd83dbSDimitry Andric MCSymbol *mcdwarf::emitListsTableHeaderStart(MCStreamer &S) {
48e8d8bef9SDimitry Andric   MCSymbol *Start = S.getContext().createTempSymbol("debug_list_header_start");
49e8d8bef9SDimitry Andric   MCSymbol *End = S.getContext().createTempSymbol("debug_list_header_end");
505ffd83dbSDimitry Andric   auto DwarfFormat = S.getContext().getDwarfFormat();
515ffd83dbSDimitry Andric   if (DwarfFormat == dwarf::DWARF64) {
525ffd83dbSDimitry Andric     S.AddComment("DWARF64 mark");
535ffd83dbSDimitry Andric     S.emitInt32(dwarf::DW_LENGTH_DWARF64);
545ffd83dbSDimitry Andric   }
555ffd83dbSDimitry Andric   S.AddComment("Length");
565ffd83dbSDimitry Andric   S.emitAbsoluteSymbolDiff(End, Start,
575ffd83dbSDimitry Andric                            dwarf::getDwarfOffsetByteSize(DwarfFormat));
585ffd83dbSDimitry Andric   S.emitLabel(Start);
595ffd83dbSDimitry Andric   S.AddComment("Version");
605ffd83dbSDimitry Andric   S.emitInt16(S.getContext().getDwarfVersion());
615ffd83dbSDimitry Andric   S.AddComment("Address size");
625ffd83dbSDimitry Andric   S.emitInt8(S.getContext().getAsmInfo()->getCodePointerSize());
635ffd83dbSDimitry Andric   S.AddComment("Segment selector size");
645ffd83dbSDimitry Andric   S.emitInt8(0);
655ffd83dbSDimitry Andric   return End;
665ffd83dbSDimitry Andric }
675ffd83dbSDimitry Andric 
680b57cec5SDimitry Andric static inline uint64_t ScaleAddrDelta(MCContext &Context, uint64_t AddrDelta) {
690b57cec5SDimitry Andric   unsigned MinInsnLength = Context.getAsmInfo()->getMinInstAlignment();
700b57cec5SDimitry Andric   if (MinInsnLength == 1)
710b57cec5SDimitry Andric     return AddrDelta;
720b57cec5SDimitry Andric   if (AddrDelta % MinInsnLength != 0) {
730b57cec5SDimitry Andric     // TODO: report this error, but really only once.
740b57cec5SDimitry Andric     ;
750b57cec5SDimitry Andric   }
760b57cec5SDimitry Andric   return AddrDelta / MinInsnLength;
770b57cec5SDimitry Andric }
780b57cec5SDimitry Andric 
79349cc55cSDimitry Andric MCDwarfLineStr::MCDwarfLineStr(MCContext &Ctx) {
80349cc55cSDimitry Andric   UseRelocs = Ctx.getAsmInfo()->doesDwarfUseRelocationsAcrossSections();
81*06c3fb27SDimitry Andric   if (UseRelocs) {
82*06c3fb27SDimitry Andric     MCSection *DwarfLineStrSection =
83*06c3fb27SDimitry Andric         Ctx.getObjectFileInfo()->getDwarfLineStrSection();
84*06c3fb27SDimitry Andric     assert(DwarfLineStrSection && "DwarfLineStrSection must not be NULL");
85*06c3fb27SDimitry Andric     LineStrLabel = DwarfLineStrSection->getBeginSymbol();
86*06c3fb27SDimitry Andric   }
87349cc55cSDimitry Andric }
88349cc55cSDimitry Andric 
890b57cec5SDimitry Andric //
900b57cec5SDimitry Andric // This is called when an instruction is assembled into the specified section
910b57cec5SDimitry Andric // and if there is information from the last .loc directive that has yet to have
920b57cec5SDimitry Andric // a line entry made for it is made.
930b57cec5SDimitry Andric //
94fe6060f1SDimitry Andric void MCDwarfLineEntry::make(MCStreamer *MCOS, MCSection *Section) {
950b57cec5SDimitry Andric   if (!MCOS->getContext().getDwarfLocSeen())
960b57cec5SDimitry Andric     return;
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric   // Create a symbol at in the current section for use in the line entry.
990b57cec5SDimitry Andric   MCSymbol *LineSym = MCOS->getContext().createTempSymbol();
1000b57cec5SDimitry Andric   // Set the value of the symbol to use for the MCDwarfLineEntry.
1015ffd83dbSDimitry Andric   MCOS->emitLabel(LineSym);
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric   // Get the current .loc info saved in the context.
1040b57cec5SDimitry Andric   const MCDwarfLoc &DwarfLoc = MCOS->getContext().getCurrentDwarfLoc();
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric   // Create a (local) line entry with the symbol and the current .loc info.
1070b57cec5SDimitry Andric   MCDwarfLineEntry LineEntry(LineSym, DwarfLoc);
1080b57cec5SDimitry Andric 
1090b57cec5SDimitry Andric   // clear DwarfLocSeen saying the current .loc info is now used.
1100b57cec5SDimitry Andric   MCOS->getContext().clearDwarfLocSeen();
1110b57cec5SDimitry Andric 
1120b57cec5SDimitry Andric   // Add the line entry to this section's entries.
1130b57cec5SDimitry Andric   MCOS->getContext()
1140b57cec5SDimitry Andric       .getMCDwarfLineTable(MCOS->getContext().getDwarfCompileUnitID())
1150b57cec5SDimitry Andric       .getMCLineSections()
1160b57cec5SDimitry Andric       .addLineEntry(LineEntry, Section);
1170b57cec5SDimitry Andric }
1180b57cec5SDimitry Andric 
1190b57cec5SDimitry Andric //
120bdd1243dSDimitry Andric // This helper routine returns an expression of End - Start - IntVal .
1210b57cec5SDimitry Andric //
1225ffd83dbSDimitry Andric static inline const MCExpr *makeEndMinusStartExpr(MCContext &Ctx,
1230b57cec5SDimitry Andric                                                   const MCSymbol &Start,
1240b57cec5SDimitry Andric                                                   const MCSymbol &End,
1250b57cec5SDimitry Andric                                                   int IntVal) {
1260b57cec5SDimitry Andric   MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
1275ffd83dbSDimitry Andric   const MCExpr *Res = MCSymbolRefExpr::create(&End, Variant, Ctx);
1285ffd83dbSDimitry Andric   const MCExpr *RHS = MCSymbolRefExpr::create(&Start, Variant, Ctx);
1295ffd83dbSDimitry Andric   const MCExpr *Res1 = MCBinaryExpr::create(MCBinaryExpr::Sub, Res, RHS, Ctx);
1305ffd83dbSDimitry Andric   const MCExpr *Res2 = MCConstantExpr::create(IntVal, Ctx);
1315ffd83dbSDimitry Andric   const MCExpr *Res3 = MCBinaryExpr::create(MCBinaryExpr::Sub, Res1, Res2, Ctx);
1320b57cec5SDimitry Andric   return Res3;
1330b57cec5SDimitry Andric }
1340b57cec5SDimitry Andric 
1350b57cec5SDimitry Andric //
1360b57cec5SDimitry Andric // This helper routine returns an expression of Start + IntVal .
1370b57cec5SDimitry Andric //
1380b57cec5SDimitry Andric static inline const MCExpr *
1390b57cec5SDimitry Andric makeStartPlusIntExpr(MCContext &Ctx, const MCSymbol &Start, int IntVal) {
1400b57cec5SDimitry Andric   MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
1410b57cec5SDimitry Andric   const MCExpr *LHS = MCSymbolRefExpr::create(&Start, Variant, Ctx);
1420b57cec5SDimitry Andric   const MCExpr *RHS = MCConstantExpr::create(IntVal, Ctx);
1430b57cec5SDimitry Andric   const MCExpr *Res = MCBinaryExpr::create(MCBinaryExpr::Add, LHS, RHS, Ctx);
1440b57cec5SDimitry Andric   return Res;
1450b57cec5SDimitry Andric }
1460b57cec5SDimitry Andric 
147349cc55cSDimitry Andric void MCLineSection::addEndEntry(MCSymbol *EndLabel) {
148349cc55cSDimitry Andric   auto *Sec = &EndLabel->getSection();
149349cc55cSDimitry Andric   // The line table may be empty, which we should skip adding an end entry.
150349cc55cSDimitry Andric   // There are two cases:
151349cc55cSDimitry Andric   // (1) MCAsmStreamer - emitDwarfLocDirective emits a location directive in
152349cc55cSDimitry Andric   //     place instead of adding a line entry if the target has
153349cc55cSDimitry Andric   //     usesDwarfFileAndLocDirectives.
154349cc55cSDimitry Andric   // (2) MCObjectStreamer - if a function has incomplete debug info where
155349cc55cSDimitry Andric   //     instructions don't have DILocations, the line entries are missing.
156349cc55cSDimitry Andric   auto I = MCLineDivisions.find(Sec);
157349cc55cSDimitry Andric   if (I != MCLineDivisions.end()) {
158349cc55cSDimitry Andric     auto &Entries = I->second;
159349cc55cSDimitry Andric     auto EndEntry = Entries.back();
160349cc55cSDimitry Andric     EndEntry.setEndLabel(EndLabel);
161349cc55cSDimitry Andric     Entries.push_back(EndEntry);
162349cc55cSDimitry Andric   }
163349cc55cSDimitry Andric }
164349cc55cSDimitry Andric 
1650b57cec5SDimitry Andric //
1660b57cec5SDimitry Andric // This emits the Dwarf line table for the specified section from the entries
1670b57cec5SDimitry Andric // in the LineSection.
1680b57cec5SDimitry Andric //
169349cc55cSDimitry Andric void MCDwarfLineTable::emitOne(
170fe6060f1SDimitry Andric     MCStreamer *MCOS, MCSection *Section,
1710b57cec5SDimitry Andric     const MCLineSection::MCDwarfLineEntryCollection &LineEntries) {
172349cc55cSDimitry Andric 
173349cc55cSDimitry Andric   unsigned FileNum, LastLine, Column, Flags, Isa, Discriminator;
174349cc55cSDimitry Andric   MCSymbol *LastLabel;
175349cc55cSDimitry Andric   auto init = [&]() {
176349cc55cSDimitry Andric     FileNum = 1;
177349cc55cSDimitry Andric     LastLine = 1;
178349cc55cSDimitry Andric     Column = 0;
179349cc55cSDimitry Andric     Flags = DWARF2_LINE_DEFAULT_IS_STMT ? DWARF2_FLAG_IS_STMT : 0;
180349cc55cSDimitry Andric     Isa = 0;
181349cc55cSDimitry Andric     Discriminator = 0;
182349cc55cSDimitry Andric     LastLabel = nullptr;
183349cc55cSDimitry Andric   };
184349cc55cSDimitry Andric   init();
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric   // Loop through each MCDwarfLineEntry and encode the dwarf line number table.
187349cc55cSDimitry Andric   bool EndEntryEmitted = false;
1880b57cec5SDimitry Andric   for (const MCDwarfLineEntry &LineEntry : LineEntries) {
189349cc55cSDimitry Andric     MCSymbol *Label = LineEntry.getLabel();
190349cc55cSDimitry Andric     const MCAsmInfo *asmInfo = MCOS->getContext().getAsmInfo();
191349cc55cSDimitry Andric     if (LineEntry.IsEndEntry) {
192349cc55cSDimitry Andric       MCOS->emitDwarfAdvanceLineAddr(INT64_MAX, LastLabel, Label,
193349cc55cSDimitry Andric                                      asmInfo->getCodePointerSize());
194349cc55cSDimitry Andric       init();
195349cc55cSDimitry Andric       EndEntryEmitted = true;
196349cc55cSDimitry Andric       continue;
197349cc55cSDimitry Andric     }
198349cc55cSDimitry Andric 
1990b57cec5SDimitry Andric     int64_t LineDelta = static_cast<int64_t>(LineEntry.getLine()) - LastLine;
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric     if (FileNum != LineEntry.getFileNum()) {
2020b57cec5SDimitry Andric       FileNum = LineEntry.getFileNum();
2035ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_file);
2045ffd83dbSDimitry Andric       MCOS->emitULEB128IntValue(FileNum);
2050b57cec5SDimitry Andric     }
2060b57cec5SDimitry Andric     if (Column != LineEntry.getColumn()) {
2070b57cec5SDimitry Andric       Column = LineEntry.getColumn();
2085ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_column);
2095ffd83dbSDimitry Andric       MCOS->emitULEB128IntValue(Column);
2100b57cec5SDimitry Andric     }
2110b57cec5SDimitry Andric     if (Discriminator != LineEntry.getDiscriminator() &&
2120b57cec5SDimitry Andric         MCOS->getContext().getDwarfVersion() >= 4) {
2130b57cec5SDimitry Andric       Discriminator = LineEntry.getDiscriminator();
2140b57cec5SDimitry Andric       unsigned Size = getULEB128Size(Discriminator);
2155ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_extended_op);
2165ffd83dbSDimitry Andric       MCOS->emitULEB128IntValue(Size + 1);
2175ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNE_set_discriminator);
2185ffd83dbSDimitry Andric       MCOS->emitULEB128IntValue(Discriminator);
2190b57cec5SDimitry Andric     }
2200b57cec5SDimitry Andric     if (Isa != LineEntry.getIsa()) {
2210b57cec5SDimitry Andric       Isa = LineEntry.getIsa();
2225ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_isa);
2235ffd83dbSDimitry Andric       MCOS->emitULEB128IntValue(Isa);
2240b57cec5SDimitry Andric     }
2250b57cec5SDimitry Andric     if ((LineEntry.getFlags() ^ Flags) & DWARF2_FLAG_IS_STMT) {
2260b57cec5SDimitry Andric       Flags = LineEntry.getFlags();
2275ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_negate_stmt);
2280b57cec5SDimitry Andric     }
2290b57cec5SDimitry Andric     if (LineEntry.getFlags() & DWARF2_FLAG_BASIC_BLOCK)
2305ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_basic_block);
2310b57cec5SDimitry Andric     if (LineEntry.getFlags() & DWARF2_FLAG_PROLOGUE_END)
2325ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_prologue_end);
2330b57cec5SDimitry Andric     if (LineEntry.getFlags() & DWARF2_FLAG_EPILOGUE_BEGIN)
2345ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_LNS_set_epilogue_begin);
2350b57cec5SDimitry Andric 
2360b57cec5SDimitry Andric     // At this point we want to emit/create the sequence to encode the delta in
2370b57cec5SDimitry Andric     // line numbers and the increment of the address from the previous Label
2380b57cec5SDimitry Andric     // and the current Label.
2395ffd83dbSDimitry Andric     MCOS->emitDwarfAdvanceLineAddr(LineDelta, LastLabel, Label,
2400b57cec5SDimitry Andric                                    asmInfo->getCodePointerSize());
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric     Discriminator = 0;
2430b57cec5SDimitry Andric     LastLine = LineEntry.getLine();
2440b57cec5SDimitry Andric     LastLabel = Label;
2450b57cec5SDimitry Andric   }
2460b57cec5SDimitry Andric 
247fe6060f1SDimitry Andric   // Generate DWARF line end entry.
248349cc55cSDimitry Andric   // We do not need this for DwarfDebug that explicitly terminates the line
249349cc55cSDimitry Andric   // table using ranges whenever CU or section changes. However, the MC path
250349cc55cSDimitry Andric   // does not track ranges nor terminate the line table. In that case,
251349cc55cSDimitry Andric   // conservatively use the section end symbol to end the line table.
252349cc55cSDimitry Andric   if (!EndEntryEmitted)
253fe6060f1SDimitry Andric     MCOS->emitDwarfLineEndEntry(Section, LastLabel);
2540b57cec5SDimitry Andric }
2550b57cec5SDimitry Andric 
2560b57cec5SDimitry Andric //
2570b57cec5SDimitry Andric // This emits the Dwarf file and the line tables.
2580b57cec5SDimitry Andric //
259fe6060f1SDimitry Andric void MCDwarfLineTable::emit(MCStreamer *MCOS, MCDwarfLineTableParams Params) {
2600b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
2610b57cec5SDimitry Andric 
2620b57cec5SDimitry Andric   auto &LineTables = context.getMCDwarfLineTables();
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric   // Bail out early so we don't switch to the debug_line section needlessly and
2650b57cec5SDimitry Andric   // in doing so create an unnecessary (if empty) section.
2660b57cec5SDimitry Andric   if (LineTables.empty())
2670b57cec5SDimitry Andric     return;
2680b57cec5SDimitry Andric 
2690b57cec5SDimitry Andric   // In a v5 non-split line table, put the strings in a separate section.
270bdd1243dSDimitry Andric   std::optional<MCDwarfLineStr> LineStr;
2710b57cec5SDimitry Andric   if (context.getDwarfVersion() >= 5)
272a4a491e2SDimitry Andric     LineStr.emplace(context);
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric   // Switch to the section where the table will be emitted into.
27581ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfLineSection());
2760b57cec5SDimitry Andric 
2770b57cec5SDimitry Andric   // Handle the rest of the Compile Units.
2780b57cec5SDimitry Andric   for (const auto &CUIDTablePair : LineTables) {
279fe6060f1SDimitry Andric     CUIDTablePair.second.emitCU(MCOS, Params, LineStr);
2800b57cec5SDimitry Andric   }
2810b57cec5SDimitry Andric 
2820b57cec5SDimitry Andric   if (LineStr)
2830b57cec5SDimitry Andric     LineStr->emitSection(MCOS);
2840b57cec5SDimitry Andric }
2850b57cec5SDimitry Andric 
2860b57cec5SDimitry Andric void MCDwarfDwoLineTable::Emit(MCStreamer &MCOS, MCDwarfLineTableParams Params,
2870b57cec5SDimitry Andric                                MCSection *Section) const {
2880b57cec5SDimitry Andric   if (!HasSplitLineTable)
2890b57cec5SDimitry Andric     return;
290bdd1243dSDimitry Andric   std::optional<MCDwarfLineStr> NoLineStr(std::nullopt);
29181ad6265SDimitry Andric   MCOS.switchSection(Section);
292bdd1243dSDimitry Andric   MCOS.emitLabel(Header.Emit(&MCOS, Params, std::nullopt, NoLineStr).second);
2930b57cec5SDimitry Andric }
2940b57cec5SDimitry Andric 
2950b57cec5SDimitry Andric std::pair<MCSymbol *, MCSymbol *>
2960b57cec5SDimitry Andric MCDwarfLineTableHeader::Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params,
297bdd1243dSDimitry Andric                              std::optional<MCDwarfLineStr> &LineStr) const {
2980b57cec5SDimitry Andric   static const char StandardOpcodeLengths[] = {
2990b57cec5SDimitry Andric       0, // length of DW_LNS_copy
3000b57cec5SDimitry Andric       1, // length of DW_LNS_advance_pc
3010b57cec5SDimitry Andric       1, // length of DW_LNS_advance_line
3020b57cec5SDimitry Andric       1, // length of DW_LNS_set_file
3030b57cec5SDimitry Andric       1, // length of DW_LNS_set_column
3040b57cec5SDimitry Andric       0, // length of DW_LNS_negate_stmt
3050b57cec5SDimitry Andric       0, // length of DW_LNS_set_basic_block
3060b57cec5SDimitry Andric       0, // length of DW_LNS_const_add_pc
3070b57cec5SDimitry Andric       1, // length of DW_LNS_fixed_advance_pc
3080b57cec5SDimitry Andric       0, // length of DW_LNS_set_prologue_end
3090b57cec5SDimitry Andric       0, // length of DW_LNS_set_epilogue_begin
3100b57cec5SDimitry Andric       1  // DW_LNS_set_isa
3110b57cec5SDimitry Andric   };
312bdd1243dSDimitry Andric   assert(std::size(StandardOpcodeLengths) >=
3130b57cec5SDimitry Andric          (Params.DWARF2LineOpcodeBase - 1U));
314bdd1243dSDimitry Andric   return Emit(MCOS, Params,
315bdd1243dSDimitry Andric               ArrayRef(StandardOpcodeLengths, Params.DWARF2LineOpcodeBase - 1),
3160b57cec5SDimitry Andric               LineStr);
3170b57cec5SDimitry Andric }
3180b57cec5SDimitry Andric 
3190b57cec5SDimitry Andric static const MCExpr *forceExpAbs(MCStreamer &OS, const MCExpr* Expr) {
3200b57cec5SDimitry Andric   MCContext &Context = OS.getContext();
3210b57cec5SDimitry Andric   assert(!isa<MCSymbolRefExpr>(Expr));
3220b57cec5SDimitry Andric   if (Context.getAsmInfo()->hasAggressiveSymbolFolding())
3230b57cec5SDimitry Andric     return Expr;
3240b57cec5SDimitry Andric 
3250b57cec5SDimitry Andric   MCSymbol *ABS = Context.createTempSymbol();
3265ffd83dbSDimitry Andric   OS.emitAssignment(ABS, Expr);
3270b57cec5SDimitry Andric   return MCSymbolRefExpr::create(ABS, Context);
3280b57cec5SDimitry Andric }
3290b57cec5SDimitry Andric 
3300b57cec5SDimitry Andric static void emitAbsValue(MCStreamer &OS, const MCExpr *Value, unsigned Size) {
3310b57cec5SDimitry Andric   const MCExpr *ABS = forceExpAbs(OS, Value);
3325ffd83dbSDimitry Andric   OS.emitValue(ABS, Size);
3330b57cec5SDimitry Andric }
3340b57cec5SDimitry Andric 
3350b57cec5SDimitry Andric void MCDwarfLineStr::emitSection(MCStreamer *MCOS) {
3360b57cec5SDimitry Andric   // Switch to the .debug_line_str section.
33781ad6265SDimitry Andric   MCOS->switchSection(
3380b57cec5SDimitry Andric       MCOS->getContext().getObjectFileInfo()->getDwarfLineStrSection());
33981ad6265SDimitry Andric   SmallString<0> Data = getFinalizedData();
34081ad6265SDimitry Andric   MCOS->emitBinaryData(Data.str());
34181ad6265SDimitry Andric }
34281ad6265SDimitry Andric 
34381ad6265SDimitry Andric SmallString<0> MCDwarfLineStr::getFinalizedData() {
3440b57cec5SDimitry Andric   // Emit the strings without perturbing the offsets we used.
34581ad6265SDimitry Andric   if (!LineStrings.isFinalized())
3460b57cec5SDimitry Andric     LineStrings.finalizeInOrder();
3470b57cec5SDimitry Andric   SmallString<0> Data;
3480b57cec5SDimitry Andric   Data.resize(LineStrings.getSize());
3490b57cec5SDimitry Andric   LineStrings.write((uint8_t *)Data.data());
35081ad6265SDimitry Andric   return Data;
3510b57cec5SDimitry Andric }
3520b57cec5SDimitry Andric 
353*06c3fb27SDimitry Andric size_t MCDwarfLineStr::addString(StringRef Path) {
354*06c3fb27SDimitry Andric   return LineStrings.add(Path);
355*06c3fb27SDimitry Andric }
356*06c3fb27SDimitry Andric 
3570b57cec5SDimitry Andric void MCDwarfLineStr::emitRef(MCStreamer *MCOS, StringRef Path) {
3585ffd83dbSDimitry Andric   int RefSize =
3595ffd83dbSDimitry Andric       dwarf::getDwarfOffsetByteSize(MCOS->getContext().getDwarfFormat());
360*06c3fb27SDimitry Andric   size_t Offset = addString(Path);
3610b57cec5SDimitry Andric   if (UseRelocs) {
3620b57cec5SDimitry Andric     MCContext &Ctx = MCOS->getContext();
3635ffd83dbSDimitry Andric     MCOS->emitValue(makeStartPlusIntExpr(Ctx, *LineStrLabel, Offset), RefSize);
3640b57cec5SDimitry Andric   } else
3655ffd83dbSDimitry Andric     MCOS->emitIntValue(Offset, RefSize);
3660b57cec5SDimitry Andric }
3670b57cec5SDimitry Andric 
3680b57cec5SDimitry Andric void MCDwarfLineTableHeader::emitV2FileDirTables(MCStreamer *MCOS) const {
3690b57cec5SDimitry Andric   // First the directory table.
3700b57cec5SDimitry Andric   for (auto &Dir : MCDwarfDirs) {
3715ffd83dbSDimitry Andric     MCOS->emitBytes(Dir);                // The DirectoryName, and...
3725ffd83dbSDimitry Andric     MCOS->emitBytes(StringRef("\0", 1)); // its null terminator.
3730b57cec5SDimitry Andric   }
3745ffd83dbSDimitry Andric   MCOS->emitInt8(0); // Terminate the directory list.
3750b57cec5SDimitry Andric 
3760b57cec5SDimitry Andric   // Second the file table.
3770b57cec5SDimitry Andric   for (unsigned i = 1; i < MCDwarfFiles.size(); i++) {
3780b57cec5SDimitry Andric     assert(!MCDwarfFiles[i].Name.empty());
3795ffd83dbSDimitry Andric     MCOS->emitBytes(MCDwarfFiles[i].Name); // FileName and...
3805ffd83dbSDimitry Andric     MCOS->emitBytes(StringRef("\0", 1));   // its null terminator.
3815ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(MCDwarfFiles[i].DirIndex); // Directory number.
3825ffd83dbSDimitry Andric     MCOS->emitInt8(0); // Last modification timestamp (always 0).
3835ffd83dbSDimitry Andric     MCOS->emitInt8(0); // File size (always 0).
3840b57cec5SDimitry Andric   }
3855ffd83dbSDimitry Andric   MCOS->emitInt8(0); // Terminate the file list.
3860b57cec5SDimitry Andric }
3870b57cec5SDimitry Andric 
3880b57cec5SDimitry Andric static void emitOneV5FileEntry(MCStreamer *MCOS, const MCDwarfFile &DwarfFile,
3890b57cec5SDimitry Andric                                bool EmitMD5, bool HasSource,
390bdd1243dSDimitry Andric                                std::optional<MCDwarfLineStr> &LineStr) {
3910b57cec5SDimitry Andric   assert(!DwarfFile.Name.empty());
3920b57cec5SDimitry Andric   if (LineStr)
3930b57cec5SDimitry Andric     LineStr->emitRef(MCOS, DwarfFile.Name);
3940b57cec5SDimitry Andric   else {
3955ffd83dbSDimitry Andric     MCOS->emitBytes(DwarfFile.Name);     // FileName and...
3965ffd83dbSDimitry Andric     MCOS->emitBytes(StringRef("\0", 1)); // its null terminator.
3970b57cec5SDimitry Andric   }
3985ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(DwarfFile.DirIndex); // Directory number.
3990b57cec5SDimitry Andric   if (EmitMD5) {
4000b57cec5SDimitry Andric     const MD5::MD5Result &Cksum = *DwarfFile.Checksum;
4015ffd83dbSDimitry Andric     MCOS->emitBinaryData(
40281ad6265SDimitry Andric         StringRef(reinterpret_cast<const char *>(Cksum.data()), Cksum.size()));
4030b57cec5SDimitry Andric   }
4040b57cec5SDimitry Andric   if (HasSource) {
4050b57cec5SDimitry Andric     if (LineStr)
40681ad6265SDimitry Andric       LineStr->emitRef(MCOS, DwarfFile.Source.value_or(StringRef()));
4070b57cec5SDimitry Andric     else {
40881ad6265SDimitry Andric       MCOS->emitBytes(DwarfFile.Source.value_or(StringRef())); // Source and...
4095ffd83dbSDimitry Andric       MCOS->emitBytes(StringRef("\0", 1)); // its null terminator.
4100b57cec5SDimitry Andric     }
4110b57cec5SDimitry Andric   }
4120b57cec5SDimitry Andric }
4130b57cec5SDimitry Andric 
4140b57cec5SDimitry Andric void MCDwarfLineTableHeader::emitV5FileDirTables(
415bdd1243dSDimitry Andric     MCStreamer *MCOS, std::optional<MCDwarfLineStr> &LineStr) const {
4160b57cec5SDimitry Andric   // The directory format, which is just a list of the directory paths.  In a
4170b57cec5SDimitry Andric   // non-split object, these are references to .debug_line_str; in a split
4180b57cec5SDimitry Andric   // object, they are inline strings.
4195ffd83dbSDimitry Andric   MCOS->emitInt8(1);
4205ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_LNCT_path);
4215ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(LineStr ? dwarf::DW_FORM_line_strp
4220b57cec5SDimitry Andric                                     : dwarf::DW_FORM_string);
4235ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(MCDwarfDirs.size() + 1);
4240b57cec5SDimitry Andric   // Try not to emit an empty compilation directory.
425a4a491e2SDimitry Andric   SmallString<256> Dir;
426a4a491e2SDimitry Andric   StringRef CompDir = MCOS->getContext().getCompilationDir();
427a4a491e2SDimitry Andric   if (!CompilationDir.empty()) {
428a4a491e2SDimitry Andric     Dir = CompilationDir;
429a4a491e2SDimitry Andric     MCOS->getContext().remapDebugPath(Dir);
430a4a491e2SDimitry Andric     CompDir = Dir.str();
431a4a491e2SDimitry Andric     if (LineStr)
432a4a491e2SDimitry Andric       CompDir = LineStr->getSaver().save(CompDir);
433a4a491e2SDimitry Andric   }
4340b57cec5SDimitry Andric   if (LineStr) {
4350b57cec5SDimitry Andric     // Record path strings, emit references here.
4360b57cec5SDimitry Andric     LineStr->emitRef(MCOS, CompDir);
4370b57cec5SDimitry Andric     for (const auto &Dir : MCDwarfDirs)
4380b57cec5SDimitry Andric       LineStr->emitRef(MCOS, Dir);
4390b57cec5SDimitry Andric   } else {
4400b57cec5SDimitry Andric     // The list of directory paths.  Compilation directory comes first.
4415ffd83dbSDimitry Andric     MCOS->emitBytes(CompDir);
4425ffd83dbSDimitry Andric     MCOS->emitBytes(StringRef("\0", 1));
4430b57cec5SDimitry Andric     for (const auto &Dir : MCDwarfDirs) {
4445ffd83dbSDimitry Andric       MCOS->emitBytes(Dir);                // The DirectoryName, and...
4455ffd83dbSDimitry Andric       MCOS->emitBytes(StringRef("\0", 1)); // its null terminator.
4460b57cec5SDimitry Andric     }
4470b57cec5SDimitry Andric   }
4480b57cec5SDimitry Andric 
4490b57cec5SDimitry Andric   // The file format, which is the inline null-terminated filename and a
4500b57cec5SDimitry Andric   // directory index.  We don't track file size/timestamp so don't emit them
4510b57cec5SDimitry Andric   // in the v5 table.  Emit MD5 checksums and source if we have them.
4520b57cec5SDimitry Andric   uint64_t Entries = 2;
4530b57cec5SDimitry Andric   if (HasAllMD5)
4540b57cec5SDimitry Andric     Entries += 1;
4550b57cec5SDimitry Andric   if (HasSource)
4560b57cec5SDimitry Andric     Entries += 1;
4575ffd83dbSDimitry Andric   MCOS->emitInt8(Entries);
4585ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_LNCT_path);
4595ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(LineStr ? dwarf::DW_FORM_line_strp
4600b57cec5SDimitry Andric                                     : dwarf::DW_FORM_string);
4615ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_LNCT_directory_index);
4625ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_FORM_udata);
4630b57cec5SDimitry Andric   if (HasAllMD5) {
4645ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(dwarf::DW_LNCT_MD5);
4655ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(dwarf::DW_FORM_data16);
4660b57cec5SDimitry Andric   }
4670b57cec5SDimitry Andric   if (HasSource) {
4685ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(dwarf::DW_LNCT_LLVM_source);
4695ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(LineStr ? dwarf::DW_FORM_line_strp
4700b57cec5SDimitry Andric                                       : dwarf::DW_FORM_string);
4710b57cec5SDimitry Andric   }
4720b57cec5SDimitry Andric   // Then the counted list of files. The root file is file #0, then emit the
4730b57cec5SDimitry Andric   // files as provide by .file directives.
4740b57cec5SDimitry Andric   // MCDwarfFiles has an unused element [0] so use size() not size()+1.
4750b57cec5SDimitry Andric   // But sometimes MCDwarfFiles is empty, in which case we still emit one file.
4765ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(MCDwarfFiles.empty() ? 1 : MCDwarfFiles.size());
4770b57cec5SDimitry Andric   // To accommodate assembler source written for DWARF v4 but trying to emit
4780b57cec5SDimitry Andric   // v5: If we didn't see a root file explicitly, replicate file #1.
4790b57cec5SDimitry Andric   assert((!RootFile.Name.empty() || MCDwarfFiles.size() >= 1) &&
4800b57cec5SDimitry Andric          "No root file and no .file directives");
4810b57cec5SDimitry Andric   emitOneV5FileEntry(MCOS, RootFile.Name.empty() ? MCDwarfFiles[1] : RootFile,
4820b57cec5SDimitry Andric                      HasAllMD5, HasSource, LineStr);
4830b57cec5SDimitry Andric   for (unsigned i = 1; i < MCDwarfFiles.size(); ++i)
4840b57cec5SDimitry Andric     emitOneV5FileEntry(MCOS, MCDwarfFiles[i], HasAllMD5, HasSource, LineStr);
4850b57cec5SDimitry Andric }
4860b57cec5SDimitry Andric 
4870b57cec5SDimitry Andric std::pair<MCSymbol *, MCSymbol *>
4880b57cec5SDimitry Andric MCDwarfLineTableHeader::Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params,
4890b57cec5SDimitry Andric                              ArrayRef<char> StandardOpcodeLengths,
490bdd1243dSDimitry Andric                              std::optional<MCDwarfLineStr> &LineStr) const {
4910b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
4920b57cec5SDimitry Andric 
4930b57cec5SDimitry Andric   // Create a symbol at the beginning of the line table.
4940b57cec5SDimitry Andric   MCSymbol *LineStartSym = Label;
4950b57cec5SDimitry Andric   if (!LineStartSym)
4960b57cec5SDimitry Andric     LineStartSym = context.createTempSymbol();
497fe6060f1SDimitry Andric 
4980b57cec5SDimitry Andric   // Set the value of the symbol, as we are at the start of the line table.
499fe6060f1SDimitry Andric   MCOS->emitDwarfLineStartLabel(LineStartSym);
5000b57cec5SDimitry Andric 
5015ffd83dbSDimitry Andric   unsigned OffsetSize = dwarf::getDwarfOffsetByteSize(context.getDwarfFormat());
5025ffd83dbSDimitry Andric 
503fe6060f1SDimitry Andric   MCSymbol *LineEndSym = MCOS->emitDwarfUnitLength("debug_line", "unit length");
5040b57cec5SDimitry Andric 
5050b57cec5SDimitry Andric   // Next 2 bytes is the Version.
5060b57cec5SDimitry Andric   unsigned LineTableVersion = context.getDwarfVersion();
5075ffd83dbSDimitry Andric   MCOS->emitInt16(LineTableVersion);
5080b57cec5SDimitry Andric 
5090b57cec5SDimitry Andric   // In v5, we get address info next.
5100b57cec5SDimitry Andric   if (LineTableVersion >= 5) {
5115ffd83dbSDimitry Andric     MCOS->emitInt8(context.getAsmInfo()->getCodePointerSize());
5125ffd83dbSDimitry Andric     MCOS->emitInt8(0); // Segment selector; same as EmitGenDwarfAranges.
5130b57cec5SDimitry Andric   }
5140b57cec5SDimitry Andric 
515fe6060f1SDimitry Andric   // Create symbols for the start/end of the prologue.
516fe6060f1SDimitry Andric   MCSymbol *ProStartSym = context.createTempSymbol("prologue_start");
517fe6060f1SDimitry Andric   MCSymbol *ProEndSym = context.createTempSymbol("prologue_end");
5180b57cec5SDimitry Andric 
5195ffd83dbSDimitry Andric   // Length of the prologue, is the next 4 bytes (8 bytes for DWARF64). This is
5205ffd83dbSDimitry Andric   // actually the length from after the length word, to the end of the prologue.
521fe6060f1SDimitry Andric   MCOS->emitAbsoluteSymbolDiff(ProEndSym, ProStartSym, OffsetSize);
522fe6060f1SDimitry Andric 
523fe6060f1SDimitry Andric   MCOS->emitLabel(ProStartSym);
5240b57cec5SDimitry Andric 
5250b57cec5SDimitry Andric   // Parameters of the state machine, are next.
5265ffd83dbSDimitry Andric   MCOS->emitInt8(context.getAsmInfo()->getMinInstAlignment());
5270b57cec5SDimitry Andric   // maximum_operations_per_instruction
5280b57cec5SDimitry Andric   // For non-VLIW architectures this field is always 1.
5290b57cec5SDimitry Andric   // FIXME: VLIW architectures need to update this field accordingly.
5300b57cec5SDimitry Andric   if (LineTableVersion >= 4)
5315ffd83dbSDimitry Andric     MCOS->emitInt8(1);
5325ffd83dbSDimitry Andric   MCOS->emitInt8(DWARF2_LINE_DEFAULT_IS_STMT);
5335ffd83dbSDimitry Andric   MCOS->emitInt8(Params.DWARF2LineBase);
5345ffd83dbSDimitry Andric   MCOS->emitInt8(Params.DWARF2LineRange);
5355ffd83dbSDimitry Andric   MCOS->emitInt8(StandardOpcodeLengths.size() + 1);
5360b57cec5SDimitry Andric 
5370b57cec5SDimitry Andric   // Standard opcode lengths
5380b57cec5SDimitry Andric   for (char Length : StandardOpcodeLengths)
5395ffd83dbSDimitry Andric     MCOS->emitInt8(Length);
5400b57cec5SDimitry Andric 
5410b57cec5SDimitry Andric   // Put out the directory and file tables.  The formats vary depending on
5420b57cec5SDimitry Andric   // the version.
5430b57cec5SDimitry Andric   if (LineTableVersion >= 5)
5440b57cec5SDimitry Andric     emitV5FileDirTables(MCOS, LineStr);
5450b57cec5SDimitry Andric   else
5460b57cec5SDimitry Andric     emitV2FileDirTables(MCOS);
5470b57cec5SDimitry Andric 
5480b57cec5SDimitry Andric   // This is the end of the prologue, so set the value of the symbol at the
5490b57cec5SDimitry Andric   // end of the prologue (that was used in a previous expression).
5505ffd83dbSDimitry Andric   MCOS->emitLabel(ProEndSym);
5510b57cec5SDimitry Andric 
5520b57cec5SDimitry Andric   return std::make_pair(LineStartSym, LineEndSym);
5530b57cec5SDimitry Andric }
5540b57cec5SDimitry Andric 
555fe6060f1SDimitry Andric void MCDwarfLineTable::emitCU(MCStreamer *MCOS, MCDwarfLineTableParams Params,
556bdd1243dSDimitry Andric                               std::optional<MCDwarfLineStr> &LineStr) const {
5570b57cec5SDimitry Andric   MCSymbol *LineEndSym = Header.Emit(MCOS, Params, LineStr).second;
5580b57cec5SDimitry Andric 
5590b57cec5SDimitry Andric   // Put out the line tables.
5600b57cec5SDimitry Andric   for (const auto &LineSec : MCLineSections.getMCLineEntries())
561349cc55cSDimitry Andric     emitOne(MCOS, LineSec.first, LineSec.second);
5620b57cec5SDimitry Andric 
5630b57cec5SDimitry Andric   // This is the end of the section, so set the value of the symbol at the end
5640b57cec5SDimitry Andric   // of this section (that was used in a previous expression).
5655ffd83dbSDimitry Andric   MCOS->emitLabel(LineEndSym);
5660b57cec5SDimitry Andric }
5670b57cec5SDimitry Andric 
568bdd1243dSDimitry Andric Expected<unsigned>
569bdd1243dSDimitry Andric MCDwarfLineTable::tryGetFile(StringRef &Directory, StringRef &FileName,
570bdd1243dSDimitry Andric                              std::optional<MD5::MD5Result> Checksum,
571bdd1243dSDimitry Andric                              std::optional<StringRef> Source,
572bdd1243dSDimitry Andric                              uint16_t DwarfVersion, unsigned FileNumber) {
5730b57cec5SDimitry Andric   return Header.tryGetFile(Directory, FileName, Checksum, Source, DwarfVersion,
5740b57cec5SDimitry Andric                            FileNumber);
5750b57cec5SDimitry Andric }
5760b57cec5SDimitry Andric 
5778bcb0991SDimitry Andric static bool isRootFile(const MCDwarfFile &RootFile, StringRef &Directory,
578bdd1243dSDimitry Andric                        StringRef &FileName,
579bdd1243dSDimitry Andric                        std::optional<MD5::MD5Result> Checksum) {
58004eeddc0SDimitry Andric   if (RootFile.Name.empty() || StringRef(RootFile.Name) != FileName)
5810b57cec5SDimitry Andric     return false;
5820b57cec5SDimitry Andric   return RootFile.Checksum == Checksum;
5830b57cec5SDimitry Andric }
5840b57cec5SDimitry Andric 
5850b57cec5SDimitry Andric Expected<unsigned>
586bdd1243dSDimitry Andric MCDwarfLineTableHeader::tryGetFile(StringRef &Directory, StringRef &FileName,
587bdd1243dSDimitry Andric                                    std::optional<MD5::MD5Result> Checksum,
588bdd1243dSDimitry Andric                                    std::optional<StringRef> Source,
589bdd1243dSDimitry Andric                                    uint16_t DwarfVersion, unsigned FileNumber) {
5900b57cec5SDimitry Andric   if (Directory == CompilationDir)
5910b57cec5SDimitry Andric     Directory = "";
5920b57cec5SDimitry Andric   if (FileName.empty()) {
5930b57cec5SDimitry Andric     FileName = "<stdin>";
5940b57cec5SDimitry Andric     Directory = "";
5950b57cec5SDimitry Andric   }
5960b57cec5SDimitry Andric   assert(!FileName.empty());
5970b57cec5SDimitry Andric   // Keep track of whether any or all files have an MD5 checksum.
5980b57cec5SDimitry Andric   // If any files have embedded source, they all must.
5990b57cec5SDimitry Andric   if (MCDwarfFiles.empty()) {
60081ad6265SDimitry Andric     trackMD5Usage(Checksum.has_value());
601bdd1243dSDimitry Andric     HasSource = (Source != std::nullopt);
6020b57cec5SDimitry Andric   }
60304eeddc0SDimitry Andric   if (DwarfVersion >= 5 && isRootFile(RootFile, Directory, FileName, Checksum))
6040b57cec5SDimitry Andric     return 0;
6050b57cec5SDimitry Andric   if (FileNumber == 0) {
6060b57cec5SDimitry Andric     // File numbers start with 1 and/or after any file numbers
6070b57cec5SDimitry Andric     // allocated by inline-assembler .file directives.
6080b57cec5SDimitry Andric     FileNumber = MCDwarfFiles.empty() ? 1 : MCDwarfFiles.size();
6090b57cec5SDimitry Andric     SmallString<256> Buffer;
6100b57cec5SDimitry Andric     auto IterBool = SourceIdMap.insert(
6110b57cec5SDimitry Andric         std::make_pair((Directory + Twine('\0') + FileName).toStringRef(Buffer),
6120b57cec5SDimitry Andric                        FileNumber));
6130b57cec5SDimitry Andric     if (!IterBool.second)
6140b57cec5SDimitry Andric       return IterBool.first->second;
6150b57cec5SDimitry Andric   }
6160b57cec5SDimitry Andric   // Make space for this FileNumber in the MCDwarfFiles vector if needed.
6170b57cec5SDimitry Andric   if (FileNumber >= MCDwarfFiles.size())
6180b57cec5SDimitry Andric     MCDwarfFiles.resize(FileNumber + 1);
6190b57cec5SDimitry Andric 
6200b57cec5SDimitry Andric   // Get the new MCDwarfFile slot for this FileNumber.
6210b57cec5SDimitry Andric   MCDwarfFile &File = MCDwarfFiles[FileNumber];
6220b57cec5SDimitry Andric 
6230b57cec5SDimitry Andric   // It is an error to see the same number more than once.
6240b57cec5SDimitry Andric   if (!File.Name.empty())
6250b57cec5SDimitry Andric     return make_error<StringError>("file number already allocated",
6260b57cec5SDimitry Andric                                    inconvertibleErrorCode());
6270b57cec5SDimitry Andric 
6280b57cec5SDimitry Andric   // If any files have embedded source, they all must.
629bdd1243dSDimitry Andric   if (HasSource != (Source != std::nullopt))
6300b57cec5SDimitry Andric     return make_error<StringError>("inconsistent use of embedded source",
6310b57cec5SDimitry Andric                                    inconvertibleErrorCode());
6320b57cec5SDimitry Andric 
6330b57cec5SDimitry Andric   if (Directory.empty()) {
6340b57cec5SDimitry Andric     // Separate the directory part from the basename of the FileName.
6350b57cec5SDimitry Andric     StringRef tFileName = sys::path::filename(FileName);
6360b57cec5SDimitry Andric     if (!tFileName.empty()) {
6370b57cec5SDimitry Andric       Directory = sys::path::parent_path(FileName);
6380b57cec5SDimitry Andric       if (!Directory.empty())
6390b57cec5SDimitry Andric         FileName = tFileName;
6400b57cec5SDimitry Andric     }
6410b57cec5SDimitry Andric   }
6420b57cec5SDimitry Andric 
6430b57cec5SDimitry Andric   // Find or make an entry in the MCDwarfDirs vector for this Directory.
6440b57cec5SDimitry Andric   // Capture directory name.
6450b57cec5SDimitry Andric   unsigned DirIndex;
6460b57cec5SDimitry Andric   if (Directory.empty()) {
6470b57cec5SDimitry Andric     // For FileNames with no directories a DirIndex of 0 is used.
6480b57cec5SDimitry Andric     DirIndex = 0;
6490b57cec5SDimitry Andric   } else {
6500b57cec5SDimitry Andric     DirIndex = llvm::find(MCDwarfDirs, Directory) - MCDwarfDirs.begin();
6510b57cec5SDimitry Andric     if (DirIndex >= MCDwarfDirs.size())
6525ffd83dbSDimitry Andric       MCDwarfDirs.push_back(std::string(Directory));
6530b57cec5SDimitry Andric     // The DirIndex is one based, as DirIndex of 0 is used for FileNames with
6540b57cec5SDimitry Andric     // no directories.  MCDwarfDirs[] is unlike MCDwarfFiles[] in that the
6550b57cec5SDimitry Andric     // directory names are stored at MCDwarfDirs[DirIndex-1] where FileNames
6560b57cec5SDimitry Andric     // are stored at MCDwarfFiles[FileNumber].Name .
6570b57cec5SDimitry Andric     DirIndex++;
6580b57cec5SDimitry Andric   }
6590b57cec5SDimitry Andric 
6605ffd83dbSDimitry Andric   File.Name = std::string(FileName);
6610b57cec5SDimitry Andric   File.DirIndex = DirIndex;
6620b57cec5SDimitry Andric   File.Checksum = Checksum;
66381ad6265SDimitry Andric   trackMD5Usage(Checksum.has_value());
6640b57cec5SDimitry Andric   File.Source = Source;
6650b57cec5SDimitry Andric   if (Source)
6660b57cec5SDimitry Andric     HasSource = true;
6670b57cec5SDimitry Andric 
6680b57cec5SDimitry Andric   // return the allocated FileNumber.
6690b57cec5SDimitry Andric   return FileNumber;
6700b57cec5SDimitry Andric }
6710b57cec5SDimitry Andric 
6720b57cec5SDimitry Andric /// Utility function to emit the encoding to a streamer.
6730b57cec5SDimitry Andric void MCDwarfLineAddr::Emit(MCStreamer *MCOS, MCDwarfLineTableParams Params,
6740b57cec5SDimitry Andric                            int64_t LineDelta, uint64_t AddrDelta) {
6750b57cec5SDimitry Andric   MCContext &Context = MCOS->getContext();
6760b57cec5SDimitry Andric   SmallString<256> Tmp;
677*06c3fb27SDimitry Andric   MCDwarfLineAddr::encode(Context, Params, LineDelta, AddrDelta, Tmp);
678*06c3fb27SDimitry Andric   MCOS->emitBytes(Tmp);
6790b57cec5SDimitry Andric }
6800b57cec5SDimitry Andric 
6810b57cec5SDimitry Andric /// Given a special op, return the address skip amount (in units of
6820b57cec5SDimitry Andric /// DWARF2_LINE_MIN_INSN_LENGTH).
6830b57cec5SDimitry Andric static uint64_t SpecialAddr(MCDwarfLineTableParams Params, uint64_t op) {
6840b57cec5SDimitry Andric   return (op - Params.DWARF2LineOpcodeBase) / Params.DWARF2LineRange;
6850b57cec5SDimitry Andric }
6860b57cec5SDimitry Andric 
6870b57cec5SDimitry Andric /// Utility function to encode a Dwarf pair of LineDelta and AddrDeltas.
688*06c3fb27SDimitry Andric void MCDwarfLineAddr::encode(MCContext &Context, MCDwarfLineTableParams Params,
6890b57cec5SDimitry Andric                              int64_t LineDelta, uint64_t AddrDelta,
690*06c3fb27SDimitry Andric                              SmallVectorImpl<char> &Out) {
691*06c3fb27SDimitry Andric   uint8_t Buf[16];
6920b57cec5SDimitry Andric   uint64_t Temp, Opcode;
6930b57cec5SDimitry Andric   bool NeedCopy = false;
6940b57cec5SDimitry Andric 
6950b57cec5SDimitry Andric   // The maximum address skip amount that can be encoded with a special op.
6960b57cec5SDimitry Andric   uint64_t MaxSpecialAddrDelta = SpecialAddr(Params, 255);
6970b57cec5SDimitry Andric 
6980b57cec5SDimitry Andric   // Scale the address delta by the minimum instruction length.
6990b57cec5SDimitry Andric   AddrDelta = ScaleAddrDelta(Context, AddrDelta);
7000b57cec5SDimitry Andric 
7010b57cec5SDimitry Andric   // A LineDelta of INT64_MAX is a signal that this is actually a
7020b57cec5SDimitry Andric   // DW_LNE_end_sequence. We cannot use special opcodes here, since we want the
7030b57cec5SDimitry Andric   // end_sequence to emit the matrix entry.
7040b57cec5SDimitry Andric   if (LineDelta == INT64_MAX) {
7050b57cec5SDimitry Andric     if (AddrDelta == MaxSpecialAddrDelta)
706*06c3fb27SDimitry Andric       Out.push_back(dwarf::DW_LNS_const_add_pc);
7070b57cec5SDimitry Andric     else if (AddrDelta) {
708*06c3fb27SDimitry Andric       Out.push_back(dwarf::DW_LNS_advance_pc);
709*06c3fb27SDimitry Andric       Out.append(Buf, Buf + encodeULEB128(AddrDelta, Buf));
7100b57cec5SDimitry Andric     }
711*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_LNS_extended_op);
712*06c3fb27SDimitry Andric     Out.push_back(1);
713*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_LNE_end_sequence);
7140b57cec5SDimitry Andric     return;
7150b57cec5SDimitry Andric   }
7160b57cec5SDimitry Andric 
7170b57cec5SDimitry Andric   // Bias the line delta by the base.
7180b57cec5SDimitry Andric   Temp = LineDelta - Params.DWARF2LineBase;
7190b57cec5SDimitry Andric 
7200b57cec5SDimitry Andric   // If the line increment is out of range of a special opcode, we must encode
7210b57cec5SDimitry Andric   // it with DW_LNS_advance_line.
7220b57cec5SDimitry Andric   if (Temp >= Params.DWARF2LineRange ||
7230b57cec5SDimitry Andric       Temp + Params.DWARF2LineOpcodeBase > 255) {
724*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_LNS_advance_line);
725*06c3fb27SDimitry Andric     Out.append(Buf, Buf + encodeSLEB128(LineDelta, Buf));
7260b57cec5SDimitry Andric 
7270b57cec5SDimitry Andric     LineDelta = 0;
7280b57cec5SDimitry Andric     Temp = 0 - Params.DWARF2LineBase;
7290b57cec5SDimitry Andric     NeedCopy = true;
7300b57cec5SDimitry Andric   }
7310b57cec5SDimitry Andric 
7320b57cec5SDimitry Andric   // Use DW_LNS_copy instead of a "line +0, addr +0" special opcode.
7330b57cec5SDimitry Andric   if (LineDelta == 0 && AddrDelta == 0) {
734*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_LNS_copy);
7350b57cec5SDimitry Andric     return;
7360b57cec5SDimitry Andric   }
7370b57cec5SDimitry Andric 
7380b57cec5SDimitry Andric   // Bias the opcode by the special opcode base.
7390b57cec5SDimitry Andric   Temp += Params.DWARF2LineOpcodeBase;
7400b57cec5SDimitry Andric 
7410b57cec5SDimitry Andric   // Avoid overflow when addr_delta is large.
7420b57cec5SDimitry Andric   if (AddrDelta < 256 + MaxSpecialAddrDelta) {
7430b57cec5SDimitry Andric     // Try using a special opcode.
7440b57cec5SDimitry Andric     Opcode = Temp + AddrDelta * Params.DWARF2LineRange;
7450b57cec5SDimitry Andric     if (Opcode <= 255) {
746*06c3fb27SDimitry Andric       Out.push_back(Opcode);
7470b57cec5SDimitry Andric       return;
7480b57cec5SDimitry Andric     }
7490b57cec5SDimitry Andric 
7500b57cec5SDimitry Andric     // Try using DW_LNS_const_add_pc followed by special op.
7510b57cec5SDimitry Andric     Opcode = Temp + (AddrDelta - MaxSpecialAddrDelta) * Params.DWARF2LineRange;
7520b57cec5SDimitry Andric     if (Opcode <= 255) {
753*06c3fb27SDimitry Andric       Out.push_back(dwarf::DW_LNS_const_add_pc);
754*06c3fb27SDimitry Andric       Out.push_back(Opcode);
7550b57cec5SDimitry Andric       return;
7560b57cec5SDimitry Andric     }
7570b57cec5SDimitry Andric   }
7580b57cec5SDimitry Andric 
7590b57cec5SDimitry Andric   // Otherwise use DW_LNS_advance_pc.
760*06c3fb27SDimitry Andric   Out.push_back(dwarf::DW_LNS_advance_pc);
761*06c3fb27SDimitry Andric   Out.append(Buf, Buf + encodeULEB128(AddrDelta, Buf));
7620b57cec5SDimitry Andric 
7630b57cec5SDimitry Andric   if (NeedCopy)
764*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_LNS_copy);
7650b57cec5SDimitry Andric   else {
7660b57cec5SDimitry Andric     assert(Temp <= 255 && "Buggy special opcode encoding.");
767*06c3fb27SDimitry Andric     Out.push_back(Temp);
7680b57cec5SDimitry Andric   }
7690b57cec5SDimitry Andric }
7700b57cec5SDimitry Andric 
7710b57cec5SDimitry Andric // Utility function to write a tuple for .debug_abbrev.
7720b57cec5SDimitry Andric static void EmitAbbrev(MCStreamer *MCOS, uint64_t Name, uint64_t Form) {
7735ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(Name);
7745ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(Form);
7750b57cec5SDimitry Andric }
7760b57cec5SDimitry Andric 
7770b57cec5SDimitry Andric // When generating dwarf for assembly source files this emits
7780b57cec5SDimitry Andric // the data for .debug_abbrev section which contains three DIEs.
7790b57cec5SDimitry Andric static void EmitGenDwarfAbbrev(MCStreamer *MCOS) {
7800b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
78181ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfAbbrevSection());
7820b57cec5SDimitry Andric 
7830b57cec5SDimitry Andric   // DW_TAG_compile_unit DIE abbrev (1).
7845ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(1);
7855ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_TAG_compile_unit);
7865ffd83dbSDimitry Andric   MCOS->emitInt8(dwarf::DW_CHILDREN_yes);
7875ffd83dbSDimitry Andric   dwarf::Form SecOffsetForm =
7885ffd83dbSDimitry Andric       context.getDwarfVersion() >= 4
7890b57cec5SDimitry Andric           ? dwarf::DW_FORM_sec_offset
7905ffd83dbSDimitry Andric           : (context.getDwarfFormat() == dwarf::DWARF64 ? dwarf::DW_FORM_data8
7910b57cec5SDimitry Andric                                                         : dwarf::DW_FORM_data4);
7925ffd83dbSDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_stmt_list, SecOffsetForm);
7930b57cec5SDimitry Andric   if (context.getGenDwarfSectionSyms().size() > 1 &&
7940b57cec5SDimitry Andric       context.getDwarfVersion() >= 3) {
7955ffd83dbSDimitry Andric     EmitAbbrev(MCOS, dwarf::DW_AT_ranges, SecOffsetForm);
7960b57cec5SDimitry Andric   } else {
7970b57cec5SDimitry Andric     EmitAbbrev(MCOS, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr);
7980b57cec5SDimitry Andric     EmitAbbrev(MCOS, dwarf::DW_AT_high_pc, dwarf::DW_FORM_addr);
7990b57cec5SDimitry Andric   }
8000b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_name, dwarf::DW_FORM_string);
8010b57cec5SDimitry Andric   if (!context.getCompilationDir().empty())
8020b57cec5SDimitry Andric     EmitAbbrev(MCOS, dwarf::DW_AT_comp_dir, dwarf::DW_FORM_string);
8030b57cec5SDimitry Andric   StringRef DwarfDebugFlags = context.getDwarfDebugFlags();
8040b57cec5SDimitry Andric   if (!DwarfDebugFlags.empty())
8050b57cec5SDimitry Andric     EmitAbbrev(MCOS, dwarf::DW_AT_APPLE_flags, dwarf::DW_FORM_string);
8060b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_producer, dwarf::DW_FORM_string);
8070b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_language, dwarf::DW_FORM_data2);
8080b57cec5SDimitry Andric   EmitAbbrev(MCOS, 0, 0);
8090b57cec5SDimitry Andric 
8100b57cec5SDimitry Andric   // DW_TAG_label DIE abbrev (2).
8115ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(2);
8125ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(dwarf::DW_TAG_label);
8135ffd83dbSDimitry Andric   MCOS->emitInt8(dwarf::DW_CHILDREN_no);
8140b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_name, dwarf::DW_FORM_string);
8150b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_decl_file, dwarf::DW_FORM_data4);
8160b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_decl_line, dwarf::DW_FORM_data4);
8170b57cec5SDimitry Andric   EmitAbbrev(MCOS, dwarf::DW_AT_low_pc, dwarf::DW_FORM_addr);
8180b57cec5SDimitry Andric   EmitAbbrev(MCOS, 0, 0);
8190b57cec5SDimitry Andric 
8200b57cec5SDimitry Andric   // Terminate the abbreviations for this compilation unit.
8215ffd83dbSDimitry Andric   MCOS->emitInt8(0);
8220b57cec5SDimitry Andric }
8230b57cec5SDimitry Andric 
8240b57cec5SDimitry Andric // When generating dwarf for assembly source files this emits the data for
8250b57cec5SDimitry Andric // .debug_aranges section. This section contains a header and a table of pairs
8260b57cec5SDimitry Andric // of PointerSize'ed values for the address and size of section(s) with line
8270b57cec5SDimitry Andric // table entries.
8280b57cec5SDimitry Andric static void EmitGenDwarfAranges(MCStreamer *MCOS,
8290b57cec5SDimitry Andric                                 const MCSymbol *InfoSectionSymbol) {
8300b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
8310b57cec5SDimitry Andric 
8320b57cec5SDimitry Andric   auto &Sections = context.getGenDwarfSectionSyms();
8330b57cec5SDimitry Andric 
83481ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfARangesSection());
8350b57cec5SDimitry Andric 
8365ffd83dbSDimitry Andric   unsigned UnitLengthBytes =
8375ffd83dbSDimitry Andric       dwarf::getUnitLengthFieldByteSize(context.getDwarfFormat());
8385ffd83dbSDimitry Andric   unsigned OffsetSize = dwarf::getDwarfOffsetByteSize(context.getDwarfFormat());
8395ffd83dbSDimitry Andric 
8400b57cec5SDimitry Andric   // This will be the length of the .debug_aranges section, first account for
8410b57cec5SDimitry Andric   // the size of each item in the header (see below where we emit these items).
8425ffd83dbSDimitry Andric   int Length = UnitLengthBytes + 2 + OffsetSize + 1 + 1;
8430b57cec5SDimitry Andric 
8440b57cec5SDimitry Andric   // Figure the padding after the header before the table of address and size
8450b57cec5SDimitry Andric   // pairs who's values are PointerSize'ed.
8460b57cec5SDimitry Andric   const MCAsmInfo *asmInfo = context.getAsmInfo();
8470b57cec5SDimitry Andric   int AddrSize = asmInfo->getCodePointerSize();
8480b57cec5SDimitry Andric   int Pad = 2 * AddrSize - (Length & (2 * AddrSize - 1));
8490b57cec5SDimitry Andric   if (Pad == 2 * AddrSize)
8500b57cec5SDimitry Andric     Pad = 0;
8510b57cec5SDimitry Andric   Length += Pad;
8520b57cec5SDimitry Andric 
8530b57cec5SDimitry Andric   // Add the size of the pair of PointerSize'ed values for the address and size
8540b57cec5SDimitry Andric   // of each section we have in the table.
8550b57cec5SDimitry Andric   Length += 2 * AddrSize * Sections.size();
8560b57cec5SDimitry Andric   // And the pair of terminating zeros.
8570b57cec5SDimitry Andric   Length += 2 * AddrSize;
8580b57cec5SDimitry Andric 
8590b57cec5SDimitry Andric   // Emit the header for this section.
8605ffd83dbSDimitry Andric   if (context.getDwarfFormat() == dwarf::DWARF64)
8615ffd83dbSDimitry Andric     // The DWARF64 mark.
8625ffd83dbSDimitry Andric     MCOS->emitInt32(dwarf::DW_LENGTH_DWARF64);
8635ffd83dbSDimitry Andric   // The 4 (8 for DWARF64) byte length not including the length of the unit
8645ffd83dbSDimitry Andric   // length field itself.
8655ffd83dbSDimitry Andric   MCOS->emitIntValue(Length - UnitLengthBytes, OffsetSize);
8660b57cec5SDimitry Andric   // The 2 byte version, which is 2.
8675ffd83dbSDimitry Andric   MCOS->emitInt16(2);
8685ffd83dbSDimitry Andric   // The 4 (8 for DWARF64) byte offset to the compile unit in the .debug_info
8695ffd83dbSDimitry Andric   // from the start of the .debug_info.
8700b57cec5SDimitry Andric   if (InfoSectionSymbol)
8715ffd83dbSDimitry Andric     MCOS->emitSymbolValue(InfoSectionSymbol, OffsetSize,
8720b57cec5SDimitry Andric                           asmInfo->needsDwarfSectionOffsetDirective());
8730b57cec5SDimitry Andric   else
8745ffd83dbSDimitry Andric     MCOS->emitIntValue(0, OffsetSize);
8750b57cec5SDimitry Andric   // The 1 byte size of an address.
8765ffd83dbSDimitry Andric   MCOS->emitInt8(AddrSize);
8770b57cec5SDimitry Andric   // The 1 byte size of a segment descriptor, we use a value of zero.
8785ffd83dbSDimitry Andric   MCOS->emitInt8(0);
8790b57cec5SDimitry Andric   // Align the header with the padding if needed, before we put out the table.
8800b57cec5SDimitry Andric   for(int i = 0; i < Pad; i++)
8815ffd83dbSDimitry Andric     MCOS->emitInt8(0);
8820b57cec5SDimitry Andric 
8830b57cec5SDimitry Andric   // Now emit the table of pairs of PointerSize'ed values for the section
8840b57cec5SDimitry Andric   // addresses and sizes.
8850b57cec5SDimitry Andric   for (MCSection *Sec : Sections) {
8860b57cec5SDimitry Andric     const MCSymbol *StartSymbol = Sec->getBeginSymbol();
8870b57cec5SDimitry Andric     MCSymbol *EndSymbol = Sec->getEndSymbol(context);
8880b57cec5SDimitry Andric     assert(StartSymbol && "StartSymbol must not be NULL");
8890b57cec5SDimitry Andric     assert(EndSymbol && "EndSymbol must not be NULL");
8900b57cec5SDimitry Andric 
8910b57cec5SDimitry Andric     const MCExpr *Addr = MCSymbolRefExpr::create(
8920b57cec5SDimitry Andric       StartSymbol, MCSymbolRefExpr::VK_None, context);
8935ffd83dbSDimitry Andric     const MCExpr *Size =
8945ffd83dbSDimitry Andric         makeEndMinusStartExpr(context, *StartSymbol, *EndSymbol, 0);
8955ffd83dbSDimitry Andric     MCOS->emitValue(Addr, AddrSize);
8960b57cec5SDimitry Andric     emitAbsValue(*MCOS, Size, AddrSize);
8970b57cec5SDimitry Andric   }
8980b57cec5SDimitry Andric 
8990b57cec5SDimitry Andric   // And finally the pair of terminating zeros.
9005ffd83dbSDimitry Andric   MCOS->emitIntValue(0, AddrSize);
9015ffd83dbSDimitry Andric   MCOS->emitIntValue(0, AddrSize);
9020b57cec5SDimitry Andric }
9030b57cec5SDimitry Andric 
9040b57cec5SDimitry Andric // When generating dwarf for assembly source files this emits the data for
9050b57cec5SDimitry Andric // .debug_info section which contains three parts.  The header, the compile_unit
9060b57cec5SDimitry Andric // DIE and a list of label DIEs.
9070b57cec5SDimitry Andric static void EmitGenDwarfInfo(MCStreamer *MCOS,
9080b57cec5SDimitry Andric                              const MCSymbol *AbbrevSectionSymbol,
9090b57cec5SDimitry Andric                              const MCSymbol *LineSectionSymbol,
9105ffd83dbSDimitry Andric                              const MCSymbol *RangesSymbol) {
9110b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
9120b57cec5SDimitry Andric 
91381ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfInfoSection());
9140b57cec5SDimitry Andric 
9150b57cec5SDimitry Andric   // Create a symbol at the start and end of this section used in here for the
9160b57cec5SDimitry Andric   // expression to calculate the length in the header.
9170b57cec5SDimitry Andric   MCSymbol *InfoStart = context.createTempSymbol();
9185ffd83dbSDimitry Andric   MCOS->emitLabel(InfoStart);
9190b57cec5SDimitry Andric   MCSymbol *InfoEnd = context.createTempSymbol();
9200b57cec5SDimitry Andric 
9210b57cec5SDimitry Andric   // First part: the header.
9220b57cec5SDimitry Andric 
9235ffd83dbSDimitry Andric   unsigned UnitLengthBytes =
9245ffd83dbSDimitry Andric       dwarf::getUnitLengthFieldByteSize(context.getDwarfFormat());
9255ffd83dbSDimitry Andric   unsigned OffsetSize = dwarf::getDwarfOffsetByteSize(context.getDwarfFormat());
9265ffd83dbSDimitry Andric 
9275ffd83dbSDimitry Andric   if (context.getDwarfFormat() == dwarf::DWARF64)
9285ffd83dbSDimitry Andric     // Emit DWARF64 mark.
9295ffd83dbSDimitry Andric     MCOS->emitInt32(dwarf::DW_LENGTH_DWARF64);
9305ffd83dbSDimitry Andric 
9315ffd83dbSDimitry Andric   // The 4 (8 for DWARF64) byte total length of the information for this
9325ffd83dbSDimitry Andric   // compilation unit, not including the unit length field itself.
9335ffd83dbSDimitry Andric   const MCExpr *Length =
9345ffd83dbSDimitry Andric       makeEndMinusStartExpr(context, *InfoStart, *InfoEnd, UnitLengthBytes);
9355ffd83dbSDimitry Andric   emitAbsValue(*MCOS, Length, OffsetSize);
9360b57cec5SDimitry Andric 
9370b57cec5SDimitry Andric   // The 2 byte DWARF version.
9385ffd83dbSDimitry Andric   MCOS->emitInt16(context.getDwarfVersion());
9390b57cec5SDimitry Andric 
9400b57cec5SDimitry Andric   // The DWARF v5 header has unit type, address size, abbrev offset.
9410b57cec5SDimitry Andric   // Earlier versions have abbrev offset, address size.
9420b57cec5SDimitry Andric   const MCAsmInfo &AsmInfo = *context.getAsmInfo();
9430b57cec5SDimitry Andric   int AddrSize = AsmInfo.getCodePointerSize();
9440b57cec5SDimitry Andric   if (context.getDwarfVersion() >= 5) {
9455ffd83dbSDimitry Andric     MCOS->emitInt8(dwarf::DW_UT_compile);
9465ffd83dbSDimitry Andric     MCOS->emitInt8(AddrSize);
9470b57cec5SDimitry Andric   }
9485ffd83dbSDimitry Andric   // The 4 (8 for DWARF64) byte offset to the debug abbrevs from the start of
9495ffd83dbSDimitry Andric   // the .debug_abbrev.
9505ffd83dbSDimitry Andric   if (AbbrevSectionSymbol)
9515ffd83dbSDimitry Andric     MCOS->emitSymbolValue(AbbrevSectionSymbol, OffsetSize,
9520b57cec5SDimitry Andric                           AsmInfo.needsDwarfSectionOffsetDirective());
9535ffd83dbSDimitry Andric   else
9545ffd83dbSDimitry Andric     // Since the abbrevs are at the start of the section, the offset is zero.
9555ffd83dbSDimitry Andric     MCOS->emitIntValue(0, OffsetSize);
9560b57cec5SDimitry Andric   if (context.getDwarfVersion() <= 4)
9575ffd83dbSDimitry Andric     MCOS->emitInt8(AddrSize);
9580b57cec5SDimitry Andric 
9590b57cec5SDimitry Andric   // Second part: the compile_unit DIE.
9600b57cec5SDimitry Andric 
9610b57cec5SDimitry Andric   // The DW_TAG_compile_unit DIE abbrev (1).
9625ffd83dbSDimitry Andric   MCOS->emitULEB128IntValue(1);
9630b57cec5SDimitry Andric 
9645ffd83dbSDimitry Andric   // DW_AT_stmt_list, a 4 (8 for DWARF64) byte offset from the start of the
9655ffd83dbSDimitry Andric   // .debug_line section.
9660b57cec5SDimitry Andric   if (LineSectionSymbol)
9675ffd83dbSDimitry Andric     MCOS->emitSymbolValue(LineSectionSymbol, OffsetSize,
9680b57cec5SDimitry Andric                           AsmInfo.needsDwarfSectionOffsetDirective());
9690b57cec5SDimitry Andric   else
9705ffd83dbSDimitry Andric     // The line table is at the start of the section, so the offset is zero.
9715ffd83dbSDimitry Andric     MCOS->emitIntValue(0, OffsetSize);
9720b57cec5SDimitry Andric 
9735ffd83dbSDimitry Andric   if (RangesSymbol) {
9745ffd83dbSDimitry Andric     // There are multiple sections containing code, so we must use
9755ffd83dbSDimitry Andric     // .debug_ranges/.debug_rnglists. AT_ranges, the 4/8 byte offset from the
9765ffd83dbSDimitry Andric     // start of the .debug_ranges/.debug_rnglists.
9775ffd83dbSDimitry Andric     MCOS->emitSymbolValue(RangesSymbol, OffsetSize);
9780b57cec5SDimitry Andric   } else {
9790b57cec5SDimitry Andric     // If we only have one non-empty code section, we can use the simpler
9800b57cec5SDimitry Andric     // AT_low_pc and AT_high_pc attributes.
9810b57cec5SDimitry Andric 
9820b57cec5SDimitry Andric     // Find the first (and only) non-empty text section
9830b57cec5SDimitry Andric     auto &Sections = context.getGenDwarfSectionSyms();
9840b57cec5SDimitry Andric     const auto TextSection = Sections.begin();
9850b57cec5SDimitry Andric     assert(TextSection != Sections.end() && "No text section found");
9860b57cec5SDimitry Andric 
9870b57cec5SDimitry Andric     MCSymbol *StartSymbol = (*TextSection)->getBeginSymbol();
9880b57cec5SDimitry Andric     MCSymbol *EndSymbol = (*TextSection)->getEndSymbol(context);
9890b57cec5SDimitry Andric     assert(StartSymbol && "StartSymbol must not be NULL");
9900b57cec5SDimitry Andric     assert(EndSymbol && "EndSymbol must not be NULL");
9910b57cec5SDimitry Andric 
9920b57cec5SDimitry Andric     // AT_low_pc, the first address of the default .text section.
9930b57cec5SDimitry Andric     const MCExpr *Start = MCSymbolRefExpr::create(
9940b57cec5SDimitry Andric         StartSymbol, MCSymbolRefExpr::VK_None, context);
9955ffd83dbSDimitry Andric     MCOS->emitValue(Start, AddrSize);
9960b57cec5SDimitry Andric 
9970b57cec5SDimitry Andric     // AT_high_pc, the last address of the default .text section.
9980b57cec5SDimitry Andric     const MCExpr *End = MCSymbolRefExpr::create(
9990b57cec5SDimitry Andric       EndSymbol, MCSymbolRefExpr::VK_None, context);
10005ffd83dbSDimitry Andric     MCOS->emitValue(End, AddrSize);
10010b57cec5SDimitry Andric   }
10020b57cec5SDimitry Andric 
10030b57cec5SDimitry Andric   // AT_name, the name of the source file.  Reconstruct from the first directory
10040b57cec5SDimitry Andric   // and file table entries.
10050b57cec5SDimitry Andric   const SmallVectorImpl<std::string> &MCDwarfDirs = context.getMCDwarfDirs();
10060b57cec5SDimitry Andric   if (MCDwarfDirs.size() > 0) {
10075ffd83dbSDimitry Andric     MCOS->emitBytes(MCDwarfDirs[0]);
10085ffd83dbSDimitry Andric     MCOS->emitBytes(sys::path::get_separator());
10090b57cec5SDimitry Andric   }
10100b57cec5SDimitry Andric   const SmallVectorImpl<MCDwarfFile> &MCDwarfFiles = context.getMCDwarfFiles();
10110b57cec5SDimitry Andric   // MCDwarfFiles might be empty if we have an empty source file.
10120b57cec5SDimitry Andric   // If it's not empty, [0] is unused and [1] is the first actual file.
10130b57cec5SDimitry Andric   assert(MCDwarfFiles.empty() || MCDwarfFiles.size() >= 2);
10140b57cec5SDimitry Andric   const MCDwarfFile &RootFile =
10150b57cec5SDimitry Andric       MCDwarfFiles.empty()
10160b57cec5SDimitry Andric           ? context.getMCDwarfLineTable(/*CUID=*/0).getRootFile()
10170b57cec5SDimitry Andric           : MCDwarfFiles[1];
10185ffd83dbSDimitry Andric   MCOS->emitBytes(RootFile.Name);
10195ffd83dbSDimitry Andric   MCOS->emitInt8(0); // NULL byte to terminate the string.
10200b57cec5SDimitry Andric 
10210b57cec5SDimitry Andric   // AT_comp_dir, the working directory the assembly was done in.
10220b57cec5SDimitry Andric   if (!context.getCompilationDir().empty()) {
10235ffd83dbSDimitry Andric     MCOS->emitBytes(context.getCompilationDir());
10245ffd83dbSDimitry Andric     MCOS->emitInt8(0); // NULL byte to terminate the string.
10250b57cec5SDimitry Andric   }
10260b57cec5SDimitry Andric 
10270b57cec5SDimitry Andric   // AT_APPLE_flags, the command line arguments of the assembler tool.
10280b57cec5SDimitry Andric   StringRef DwarfDebugFlags = context.getDwarfDebugFlags();
10290b57cec5SDimitry Andric   if (!DwarfDebugFlags.empty()){
10305ffd83dbSDimitry Andric     MCOS->emitBytes(DwarfDebugFlags);
10315ffd83dbSDimitry Andric     MCOS->emitInt8(0); // NULL byte to terminate the string.
10320b57cec5SDimitry Andric   }
10330b57cec5SDimitry Andric 
10340b57cec5SDimitry Andric   // AT_producer, the version of the assembler tool.
10350b57cec5SDimitry Andric   StringRef DwarfDebugProducer = context.getDwarfDebugProducer();
10360b57cec5SDimitry Andric   if (!DwarfDebugProducer.empty())
10375ffd83dbSDimitry Andric     MCOS->emitBytes(DwarfDebugProducer);
10380b57cec5SDimitry Andric   else
10395ffd83dbSDimitry Andric     MCOS->emitBytes(StringRef("llvm-mc (based on LLVM " PACKAGE_VERSION ")"));
10405ffd83dbSDimitry Andric   MCOS->emitInt8(0); // NULL byte to terminate the string.
10410b57cec5SDimitry Andric 
10420b57cec5SDimitry Andric   // AT_language, a 4 byte value.  We use DW_LANG_Mips_Assembler as the dwarf2
10430b57cec5SDimitry Andric   // draft has no standard code for assembler.
10445ffd83dbSDimitry Andric   MCOS->emitInt16(dwarf::DW_LANG_Mips_Assembler);
10450b57cec5SDimitry Andric 
10460b57cec5SDimitry Andric   // Third part: the list of label DIEs.
10470b57cec5SDimitry Andric 
10480b57cec5SDimitry Andric   // Loop on saved info for dwarf labels and create the DIEs for them.
10490b57cec5SDimitry Andric   const std::vector<MCGenDwarfLabelEntry> &Entries =
10500b57cec5SDimitry Andric       MCOS->getContext().getMCGenDwarfLabelEntries();
10510b57cec5SDimitry Andric   for (const auto &Entry : Entries) {
10520b57cec5SDimitry Andric     // The DW_TAG_label DIE abbrev (2).
10535ffd83dbSDimitry Andric     MCOS->emitULEB128IntValue(2);
10540b57cec5SDimitry Andric 
10550b57cec5SDimitry Andric     // AT_name, of the label without any leading underbar.
10565ffd83dbSDimitry Andric     MCOS->emitBytes(Entry.getName());
10575ffd83dbSDimitry Andric     MCOS->emitInt8(0); // NULL byte to terminate the string.
10580b57cec5SDimitry Andric 
10590b57cec5SDimitry Andric     // AT_decl_file, index into the file table.
10605ffd83dbSDimitry Andric     MCOS->emitInt32(Entry.getFileNumber());
10610b57cec5SDimitry Andric 
10620b57cec5SDimitry Andric     // AT_decl_line, source line number.
10635ffd83dbSDimitry Andric     MCOS->emitInt32(Entry.getLineNumber());
10640b57cec5SDimitry Andric 
10650b57cec5SDimitry Andric     // AT_low_pc, start address of the label.
10660b57cec5SDimitry Andric     const MCExpr *AT_low_pc = MCSymbolRefExpr::create(Entry.getLabel(),
10670b57cec5SDimitry Andric                                              MCSymbolRefExpr::VK_None, context);
10685ffd83dbSDimitry Andric     MCOS->emitValue(AT_low_pc, AddrSize);
10690b57cec5SDimitry Andric   }
10700b57cec5SDimitry Andric 
10710b57cec5SDimitry Andric   // Add the NULL DIE terminating the Compile Unit DIE's.
10725ffd83dbSDimitry Andric   MCOS->emitInt8(0);
10730b57cec5SDimitry Andric 
10740b57cec5SDimitry Andric   // Now set the value of the symbol at the end of the info section.
10755ffd83dbSDimitry Andric   MCOS->emitLabel(InfoEnd);
10760b57cec5SDimitry Andric }
10770b57cec5SDimitry Andric 
10780b57cec5SDimitry Andric // When generating dwarf for assembly source files this emits the data for
10790b57cec5SDimitry Andric // .debug_ranges section. We only emit one range list, which spans all of the
10800b57cec5SDimitry Andric // executable sections of this file.
10815ffd83dbSDimitry Andric static MCSymbol *emitGenDwarfRanges(MCStreamer *MCOS) {
10820b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
10830b57cec5SDimitry Andric   auto &Sections = context.getGenDwarfSectionSyms();
10840b57cec5SDimitry Andric 
10850b57cec5SDimitry Andric   const MCAsmInfo *AsmInfo = context.getAsmInfo();
10860b57cec5SDimitry Andric   int AddrSize = AsmInfo->getCodePointerSize();
10875ffd83dbSDimitry Andric   MCSymbol *RangesSymbol;
10880b57cec5SDimitry Andric 
10895ffd83dbSDimitry Andric   if (MCOS->getContext().getDwarfVersion() >= 5) {
109081ad6265SDimitry Andric     MCOS->switchSection(context.getObjectFileInfo()->getDwarfRnglistsSection());
10915ffd83dbSDimitry Andric     MCSymbol *EndSymbol = mcdwarf::emitListsTableHeaderStart(*MCOS);
10925ffd83dbSDimitry Andric     MCOS->AddComment("Offset entry count");
10935ffd83dbSDimitry Andric     MCOS->emitInt32(0);
1094e8d8bef9SDimitry Andric     RangesSymbol = context.createTempSymbol("debug_rnglist0_start");
10955ffd83dbSDimitry Andric     MCOS->emitLabel(RangesSymbol);
10960b57cec5SDimitry Andric     for (MCSection *Sec : Sections) {
10970b57cec5SDimitry Andric       const MCSymbol *StartSymbol = Sec->getBeginSymbol();
10985ffd83dbSDimitry Andric       const MCSymbol *EndSymbol = Sec->getEndSymbol(context);
10995ffd83dbSDimitry Andric       const MCExpr *SectionStartAddr = MCSymbolRefExpr::create(
11005ffd83dbSDimitry Andric           StartSymbol, MCSymbolRefExpr::VK_None, context);
11015ffd83dbSDimitry Andric       const MCExpr *SectionSize =
11025ffd83dbSDimitry Andric           makeEndMinusStartExpr(context, *StartSymbol, *EndSymbol, 0);
11035ffd83dbSDimitry Andric       MCOS->emitInt8(dwarf::DW_RLE_start_length);
11045ffd83dbSDimitry Andric       MCOS->emitValue(SectionStartAddr, AddrSize);
11055ffd83dbSDimitry Andric       MCOS->emitULEB128Value(SectionSize);
11065ffd83dbSDimitry Andric     }
11075ffd83dbSDimitry Andric     MCOS->emitInt8(dwarf::DW_RLE_end_of_list);
11085ffd83dbSDimitry Andric     MCOS->emitLabel(EndSymbol);
11095ffd83dbSDimitry Andric   } else {
111081ad6265SDimitry Andric     MCOS->switchSection(context.getObjectFileInfo()->getDwarfRangesSection());
1111e8d8bef9SDimitry Andric     RangesSymbol = context.createTempSymbol("debug_ranges_start");
11125ffd83dbSDimitry Andric     MCOS->emitLabel(RangesSymbol);
11135ffd83dbSDimitry Andric     for (MCSection *Sec : Sections) {
11145ffd83dbSDimitry Andric       const MCSymbol *StartSymbol = Sec->getBeginSymbol();
11155ffd83dbSDimitry Andric       const MCSymbol *EndSymbol = Sec->getEndSymbol(context);
11160b57cec5SDimitry Andric 
11175ffd83dbSDimitry Andric       // Emit a base address selection entry for the section start.
11180b57cec5SDimitry Andric       const MCExpr *SectionStartAddr = MCSymbolRefExpr::create(
11190b57cec5SDimitry Andric           StartSymbol, MCSymbolRefExpr::VK_None, context);
11200b57cec5SDimitry Andric       MCOS->emitFill(AddrSize, 0xFF);
11215ffd83dbSDimitry Andric       MCOS->emitValue(SectionStartAddr, AddrSize);
11220b57cec5SDimitry Andric 
11235ffd83dbSDimitry Andric       // Emit a range list entry spanning this section.
11245ffd83dbSDimitry Andric       const MCExpr *SectionSize =
11255ffd83dbSDimitry Andric           makeEndMinusStartExpr(context, *StartSymbol, *EndSymbol, 0);
11265ffd83dbSDimitry Andric       MCOS->emitIntValue(0, AddrSize);
11270b57cec5SDimitry Andric       emitAbsValue(*MCOS, SectionSize, AddrSize);
11280b57cec5SDimitry Andric     }
11290b57cec5SDimitry Andric 
11300b57cec5SDimitry Andric     // Emit end of list entry
11315ffd83dbSDimitry Andric     MCOS->emitIntValue(0, AddrSize);
11325ffd83dbSDimitry Andric     MCOS->emitIntValue(0, AddrSize);
11335ffd83dbSDimitry Andric   }
11345ffd83dbSDimitry Andric 
11355ffd83dbSDimitry Andric   return RangesSymbol;
11360b57cec5SDimitry Andric }
11370b57cec5SDimitry Andric 
11380b57cec5SDimitry Andric //
11390b57cec5SDimitry Andric // When generating dwarf for assembly source files this emits the Dwarf
11400b57cec5SDimitry Andric // sections.
11410b57cec5SDimitry Andric //
11420b57cec5SDimitry Andric void MCGenDwarfInfo::Emit(MCStreamer *MCOS) {
11430b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
11440b57cec5SDimitry Andric 
11450b57cec5SDimitry Andric   // Create the dwarf sections in this order (.debug_line already created).
11460b57cec5SDimitry Andric   const MCAsmInfo *AsmInfo = context.getAsmInfo();
11470b57cec5SDimitry Andric   bool CreateDwarfSectionSymbols =
11480b57cec5SDimitry Andric       AsmInfo->doesDwarfUseRelocationsAcrossSections();
11490b57cec5SDimitry Andric   MCSymbol *LineSectionSymbol = nullptr;
11500b57cec5SDimitry Andric   if (CreateDwarfSectionSymbols)
11510b57cec5SDimitry Andric     LineSectionSymbol = MCOS->getDwarfLineTableSymbol(0);
11520b57cec5SDimitry Andric   MCSymbol *AbbrevSectionSymbol = nullptr;
11530b57cec5SDimitry Andric   MCSymbol *InfoSectionSymbol = nullptr;
11545ffd83dbSDimitry Andric   MCSymbol *RangesSymbol = nullptr;
11550b57cec5SDimitry Andric 
11560b57cec5SDimitry Andric   // Create end symbols for each section, and remove empty sections
11570b57cec5SDimitry Andric   MCOS->getContext().finalizeDwarfSections(*MCOS);
11580b57cec5SDimitry Andric 
11590b57cec5SDimitry Andric   // If there are no sections to generate debug info for, we don't need
11600b57cec5SDimitry Andric   // to do anything
11610b57cec5SDimitry Andric   if (MCOS->getContext().getGenDwarfSectionSyms().empty())
11620b57cec5SDimitry Andric     return;
11630b57cec5SDimitry Andric 
11640b57cec5SDimitry Andric   // We only use the .debug_ranges section if we have multiple code sections,
11650b57cec5SDimitry Andric   // and we are emitting a DWARF version which supports it.
11660b57cec5SDimitry Andric   const bool UseRangesSection =
11670b57cec5SDimitry Andric       MCOS->getContext().getGenDwarfSectionSyms().size() > 1 &&
11680b57cec5SDimitry Andric       MCOS->getContext().getDwarfVersion() >= 3;
11690b57cec5SDimitry Andric   CreateDwarfSectionSymbols |= UseRangesSection;
11700b57cec5SDimitry Andric 
117181ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfInfoSection());
11720b57cec5SDimitry Andric   if (CreateDwarfSectionSymbols) {
11730b57cec5SDimitry Andric     InfoSectionSymbol = context.createTempSymbol();
11745ffd83dbSDimitry Andric     MCOS->emitLabel(InfoSectionSymbol);
11750b57cec5SDimitry Andric   }
117681ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfAbbrevSection());
11770b57cec5SDimitry Andric   if (CreateDwarfSectionSymbols) {
11780b57cec5SDimitry Andric     AbbrevSectionSymbol = context.createTempSymbol();
11795ffd83dbSDimitry Andric     MCOS->emitLabel(AbbrevSectionSymbol);
11800b57cec5SDimitry Andric   }
11810b57cec5SDimitry Andric 
118281ad6265SDimitry Andric   MCOS->switchSection(context.getObjectFileInfo()->getDwarfARangesSection());
11830b57cec5SDimitry Andric 
11840b57cec5SDimitry Andric   // Output the data for .debug_aranges section.
11850b57cec5SDimitry Andric   EmitGenDwarfAranges(MCOS, InfoSectionSymbol);
11860b57cec5SDimitry Andric 
11875ffd83dbSDimitry Andric   if (UseRangesSection) {
11885ffd83dbSDimitry Andric     RangesSymbol = emitGenDwarfRanges(MCOS);
11895ffd83dbSDimitry Andric     assert(RangesSymbol);
11905ffd83dbSDimitry Andric   }
11910b57cec5SDimitry Andric 
11920b57cec5SDimitry Andric   // Output the data for .debug_abbrev section.
11930b57cec5SDimitry Andric   EmitGenDwarfAbbrev(MCOS);
11940b57cec5SDimitry Andric 
11950b57cec5SDimitry Andric   // Output the data for .debug_info section.
11965ffd83dbSDimitry Andric   EmitGenDwarfInfo(MCOS, AbbrevSectionSymbol, LineSectionSymbol, RangesSymbol);
11970b57cec5SDimitry Andric }
11980b57cec5SDimitry Andric 
11990b57cec5SDimitry Andric //
12000b57cec5SDimitry Andric // When generating dwarf for assembly source files this is called when symbol
12010b57cec5SDimitry Andric // for a label is created.  If this symbol is not a temporary and is in the
12020b57cec5SDimitry Andric // section that dwarf is being generated for, save the needed info to create
12030b57cec5SDimitry Andric // a dwarf label.
12040b57cec5SDimitry Andric //
12050b57cec5SDimitry Andric void MCGenDwarfLabelEntry::Make(MCSymbol *Symbol, MCStreamer *MCOS,
12060b57cec5SDimitry Andric                                      SourceMgr &SrcMgr, SMLoc &Loc) {
12070b57cec5SDimitry Andric   // We won't create dwarf labels for temporary symbols.
12080b57cec5SDimitry Andric   if (Symbol->isTemporary())
12090b57cec5SDimitry Andric     return;
12100b57cec5SDimitry Andric   MCContext &context = MCOS->getContext();
12110b57cec5SDimitry Andric   // We won't create dwarf labels for symbols in sections that we are not
12120b57cec5SDimitry Andric   // generating debug info for.
12130b57cec5SDimitry Andric   if (!context.getGenDwarfSectionSyms().count(MCOS->getCurrentSectionOnly()))
12140b57cec5SDimitry Andric     return;
12150b57cec5SDimitry Andric 
12160b57cec5SDimitry Andric   // The dwarf label's name does not have the symbol name's leading
12170b57cec5SDimitry Andric   // underbar if any.
12180b57cec5SDimitry Andric   StringRef Name = Symbol->getName();
12190b57cec5SDimitry Andric   if (Name.startswith("_"))
12200b57cec5SDimitry Andric     Name = Name.substr(1, Name.size()-1);
12210b57cec5SDimitry Andric 
12220b57cec5SDimitry Andric   // Get the dwarf file number to be used for the dwarf label.
12230b57cec5SDimitry Andric   unsigned FileNumber = context.getGenDwarfFileNumber();
12240b57cec5SDimitry Andric 
12250b57cec5SDimitry Andric   // Finding the line number is the expensive part which is why we just don't
12260b57cec5SDimitry Andric   // pass it in as for some symbols we won't create a dwarf label.
12270b57cec5SDimitry Andric   unsigned CurBuffer = SrcMgr.FindBufferContainingLoc(Loc);
12280b57cec5SDimitry Andric   unsigned LineNumber = SrcMgr.FindLineNumber(Loc, CurBuffer);
12290b57cec5SDimitry Andric 
12300b57cec5SDimitry Andric   // We create a temporary symbol for use for the AT_high_pc and AT_low_pc
12310b57cec5SDimitry Andric   // values so that they don't have things like an ARM thumb bit from the
12320b57cec5SDimitry Andric   // original symbol. So when used they won't get a low bit set after
12330b57cec5SDimitry Andric   // relocation.
12340b57cec5SDimitry Andric   MCSymbol *Label = context.createTempSymbol();
12355ffd83dbSDimitry Andric   MCOS->emitLabel(Label);
12360b57cec5SDimitry Andric 
12370b57cec5SDimitry Andric   // Create and entry for the info and add it to the other entries.
12380b57cec5SDimitry Andric   MCOS->getContext().addMCGenDwarfLabelEntry(
12390b57cec5SDimitry Andric       MCGenDwarfLabelEntry(Name, FileNumber, LineNumber, Label));
12400b57cec5SDimitry Andric }
12410b57cec5SDimitry Andric 
12420b57cec5SDimitry Andric static int getDataAlignmentFactor(MCStreamer &streamer) {
12430b57cec5SDimitry Andric   MCContext &context = streamer.getContext();
12440b57cec5SDimitry Andric   const MCAsmInfo *asmInfo = context.getAsmInfo();
12450b57cec5SDimitry Andric   int size = asmInfo->getCalleeSaveStackSlotSize();
12460b57cec5SDimitry Andric   if (asmInfo->isStackGrowthDirectionUp())
12470b57cec5SDimitry Andric     return size;
12480b57cec5SDimitry Andric   else
12490b57cec5SDimitry Andric     return -size;
12500b57cec5SDimitry Andric }
12510b57cec5SDimitry Andric 
12520b57cec5SDimitry Andric static unsigned getSizeForEncoding(MCStreamer &streamer,
12530b57cec5SDimitry Andric                                    unsigned symbolEncoding) {
12540b57cec5SDimitry Andric   MCContext &context = streamer.getContext();
12550b57cec5SDimitry Andric   unsigned format = symbolEncoding & 0x0f;
12560b57cec5SDimitry Andric   switch (format) {
12570b57cec5SDimitry Andric   default: llvm_unreachable("Unknown Encoding");
12580b57cec5SDimitry Andric   case dwarf::DW_EH_PE_absptr:
12590b57cec5SDimitry Andric   case dwarf::DW_EH_PE_signed:
12600b57cec5SDimitry Andric     return context.getAsmInfo()->getCodePointerSize();
12610b57cec5SDimitry Andric   case dwarf::DW_EH_PE_udata2:
12620b57cec5SDimitry Andric   case dwarf::DW_EH_PE_sdata2:
12630b57cec5SDimitry Andric     return 2;
12640b57cec5SDimitry Andric   case dwarf::DW_EH_PE_udata4:
12650b57cec5SDimitry Andric   case dwarf::DW_EH_PE_sdata4:
12660b57cec5SDimitry Andric     return 4;
12670b57cec5SDimitry Andric   case dwarf::DW_EH_PE_udata8:
12680b57cec5SDimitry Andric   case dwarf::DW_EH_PE_sdata8:
12690b57cec5SDimitry Andric     return 8;
12700b57cec5SDimitry Andric   }
12710b57cec5SDimitry Andric }
12720b57cec5SDimitry Andric 
12730b57cec5SDimitry Andric static void emitFDESymbol(MCObjectStreamer &streamer, const MCSymbol &symbol,
12740b57cec5SDimitry Andric                        unsigned symbolEncoding, bool isEH) {
12750b57cec5SDimitry Andric   MCContext &context = streamer.getContext();
12760b57cec5SDimitry Andric   const MCAsmInfo *asmInfo = context.getAsmInfo();
12770b57cec5SDimitry Andric   const MCExpr *v = asmInfo->getExprForFDESymbol(&symbol,
12780b57cec5SDimitry Andric                                                  symbolEncoding,
12790b57cec5SDimitry Andric                                                  streamer);
12800b57cec5SDimitry Andric   unsigned size = getSizeForEncoding(streamer, symbolEncoding);
12810b57cec5SDimitry Andric   if (asmInfo->doDwarfFDESymbolsUseAbsDiff() && isEH)
12820b57cec5SDimitry Andric     emitAbsValue(streamer, v, size);
12830b57cec5SDimitry Andric   else
12845ffd83dbSDimitry Andric     streamer.emitValue(v, size);
12850b57cec5SDimitry Andric }
12860b57cec5SDimitry Andric 
12870b57cec5SDimitry Andric static void EmitPersonality(MCStreamer &streamer, const MCSymbol &symbol,
12880b57cec5SDimitry Andric                             unsigned symbolEncoding) {
12890b57cec5SDimitry Andric   MCContext &context = streamer.getContext();
12900b57cec5SDimitry Andric   const MCAsmInfo *asmInfo = context.getAsmInfo();
12910b57cec5SDimitry Andric   const MCExpr *v = asmInfo->getExprForPersonalitySymbol(&symbol,
12920b57cec5SDimitry Andric                                                          symbolEncoding,
12930b57cec5SDimitry Andric                                                          streamer);
12940b57cec5SDimitry Andric   unsigned size = getSizeForEncoding(streamer, symbolEncoding);
12955ffd83dbSDimitry Andric   streamer.emitValue(v, size);
12960b57cec5SDimitry Andric }
12970b57cec5SDimitry Andric 
12980b57cec5SDimitry Andric namespace {
12990b57cec5SDimitry Andric 
13000b57cec5SDimitry Andric class FrameEmitterImpl {
13010b57cec5SDimitry Andric   int CFAOffset = 0;
13020b57cec5SDimitry Andric   int InitialCFAOffset = 0;
13030b57cec5SDimitry Andric   bool IsEH;
13040b57cec5SDimitry Andric   MCObjectStreamer &Streamer;
13050b57cec5SDimitry Andric 
13060b57cec5SDimitry Andric public:
13070b57cec5SDimitry Andric   FrameEmitterImpl(bool IsEH, MCObjectStreamer &Streamer)
13080b57cec5SDimitry Andric       : IsEH(IsEH), Streamer(Streamer) {}
13090b57cec5SDimitry Andric 
13100b57cec5SDimitry Andric   /// Emit the unwind information in a compact way.
13110b57cec5SDimitry Andric   void EmitCompactUnwind(const MCDwarfFrameInfo &frame);
13120b57cec5SDimitry Andric 
13130b57cec5SDimitry Andric   const MCSymbol &EmitCIE(const MCDwarfFrameInfo &F);
13140b57cec5SDimitry Andric   void EmitFDE(const MCSymbol &cieStart, const MCDwarfFrameInfo &frame,
13150b57cec5SDimitry Andric                bool LastInSection, const MCSymbol &SectionStart);
13165ffd83dbSDimitry Andric   void emitCFIInstructions(ArrayRef<MCCFIInstruction> Instrs,
13170b57cec5SDimitry Andric                            MCSymbol *BaseLabel);
13185ffd83dbSDimitry Andric   void emitCFIInstruction(const MCCFIInstruction &Instr);
13190b57cec5SDimitry Andric };
13200b57cec5SDimitry Andric 
13210b57cec5SDimitry Andric } // end anonymous namespace
13220b57cec5SDimitry Andric 
13230b57cec5SDimitry Andric static void emitEncodingByte(MCObjectStreamer &Streamer, unsigned Encoding) {
13245ffd83dbSDimitry Andric   Streamer.emitInt8(Encoding);
13250b57cec5SDimitry Andric }
13260b57cec5SDimitry Andric 
13275ffd83dbSDimitry Andric void FrameEmitterImpl::emitCFIInstruction(const MCCFIInstruction &Instr) {
13280b57cec5SDimitry Andric   int dataAlignmentFactor = getDataAlignmentFactor(Streamer);
13290b57cec5SDimitry Andric   auto *MRI = Streamer.getContext().getRegisterInfo();
13300b57cec5SDimitry Andric 
13310b57cec5SDimitry Andric   switch (Instr.getOperation()) {
13320b57cec5SDimitry Andric   case MCCFIInstruction::OpRegister: {
13330b57cec5SDimitry Andric     unsigned Reg1 = Instr.getRegister();
13340b57cec5SDimitry Andric     unsigned Reg2 = Instr.getRegister2();
13350b57cec5SDimitry Andric     if (!IsEH) {
13360b57cec5SDimitry Andric       Reg1 = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg1);
13370b57cec5SDimitry Andric       Reg2 = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg2);
13380b57cec5SDimitry Andric     }
13395ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_register);
13405ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg1);
13415ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg2);
13420b57cec5SDimitry Andric     return;
13430b57cec5SDimitry Andric   }
13440b57cec5SDimitry Andric   case MCCFIInstruction::OpWindowSave:
13455ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_GNU_window_save);
13460b57cec5SDimitry Andric     return;
13470b57cec5SDimitry Andric 
13480b57cec5SDimitry Andric   case MCCFIInstruction::OpNegateRAState:
13495ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_AARCH64_negate_ra_state);
13500b57cec5SDimitry Andric     return;
13510b57cec5SDimitry Andric 
13520b57cec5SDimitry Andric   case MCCFIInstruction::OpUndefined: {
13530b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
13545ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_undefined);
13555ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg);
13560b57cec5SDimitry Andric     return;
13570b57cec5SDimitry Andric   }
13580b57cec5SDimitry Andric   case MCCFIInstruction::OpAdjustCfaOffset:
13590b57cec5SDimitry Andric   case MCCFIInstruction::OpDefCfaOffset: {
13600b57cec5SDimitry Andric     const bool IsRelative =
13610b57cec5SDimitry Andric       Instr.getOperation() == MCCFIInstruction::OpAdjustCfaOffset;
13620b57cec5SDimitry Andric 
13635ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_def_cfa_offset);
13640b57cec5SDimitry Andric 
13650b57cec5SDimitry Andric     if (IsRelative)
13660b57cec5SDimitry Andric       CFAOffset += Instr.getOffset();
13670b57cec5SDimitry Andric     else
13685ffd83dbSDimitry Andric       CFAOffset = Instr.getOffset();
13690b57cec5SDimitry Andric 
13705ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(CFAOffset);
13710b57cec5SDimitry Andric 
13720b57cec5SDimitry Andric     return;
13730b57cec5SDimitry Andric   }
13740b57cec5SDimitry Andric   case MCCFIInstruction::OpDefCfa: {
13750b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
13760b57cec5SDimitry Andric     if (!IsEH)
13770b57cec5SDimitry Andric       Reg = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg);
13785ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_def_cfa);
13795ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg);
13805ffd83dbSDimitry Andric     CFAOffset = Instr.getOffset();
13815ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(CFAOffset);
13820b57cec5SDimitry Andric 
13830b57cec5SDimitry Andric     return;
13840b57cec5SDimitry Andric   }
13850b57cec5SDimitry Andric   case MCCFIInstruction::OpDefCfaRegister: {
13860b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
13870b57cec5SDimitry Andric     if (!IsEH)
13880b57cec5SDimitry Andric       Reg = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg);
13895ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_def_cfa_register);
13905ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg);
13910b57cec5SDimitry Andric 
13920b57cec5SDimitry Andric     return;
13930b57cec5SDimitry Andric   }
1394fe6060f1SDimitry Andric   // TODO: Implement `_sf` variants if/when they need to be emitted.
1395fe6060f1SDimitry Andric   case MCCFIInstruction::OpLLVMDefAspaceCfa: {
1396fe6060f1SDimitry Andric     unsigned Reg = Instr.getRegister();
1397fe6060f1SDimitry Andric     if (!IsEH)
1398fe6060f1SDimitry Andric       Reg = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg);
1399fe6060f1SDimitry Andric     Streamer.emitIntValue(dwarf::DW_CFA_LLVM_def_aspace_cfa, 1);
1400fe6060f1SDimitry Andric     Streamer.emitULEB128IntValue(Reg);
1401fe6060f1SDimitry Andric     CFAOffset = Instr.getOffset();
1402fe6060f1SDimitry Andric     Streamer.emitULEB128IntValue(CFAOffset);
1403fe6060f1SDimitry Andric     Streamer.emitULEB128IntValue(Instr.getAddressSpace());
1404fe6060f1SDimitry Andric 
1405fe6060f1SDimitry Andric     return;
1406fe6060f1SDimitry Andric   }
14070b57cec5SDimitry Andric   case MCCFIInstruction::OpOffset:
14080b57cec5SDimitry Andric   case MCCFIInstruction::OpRelOffset: {
14090b57cec5SDimitry Andric     const bool IsRelative =
14100b57cec5SDimitry Andric       Instr.getOperation() == MCCFIInstruction::OpRelOffset;
14110b57cec5SDimitry Andric 
14120b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
14130b57cec5SDimitry Andric     if (!IsEH)
14140b57cec5SDimitry Andric       Reg = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg);
14150b57cec5SDimitry Andric 
14160b57cec5SDimitry Andric     int Offset = Instr.getOffset();
14170b57cec5SDimitry Andric     if (IsRelative)
14180b57cec5SDimitry Andric       Offset -= CFAOffset;
14190b57cec5SDimitry Andric     Offset = Offset / dataAlignmentFactor;
14200b57cec5SDimitry Andric 
14210b57cec5SDimitry Andric     if (Offset < 0) {
14225ffd83dbSDimitry Andric       Streamer.emitInt8(dwarf::DW_CFA_offset_extended_sf);
14235ffd83dbSDimitry Andric       Streamer.emitULEB128IntValue(Reg);
14245ffd83dbSDimitry Andric       Streamer.emitSLEB128IntValue(Offset);
14250b57cec5SDimitry Andric     } else if (Reg < 64) {
14265ffd83dbSDimitry Andric       Streamer.emitInt8(dwarf::DW_CFA_offset + Reg);
14275ffd83dbSDimitry Andric       Streamer.emitULEB128IntValue(Offset);
14280b57cec5SDimitry Andric     } else {
14295ffd83dbSDimitry Andric       Streamer.emitInt8(dwarf::DW_CFA_offset_extended);
14305ffd83dbSDimitry Andric       Streamer.emitULEB128IntValue(Reg);
14315ffd83dbSDimitry Andric       Streamer.emitULEB128IntValue(Offset);
14320b57cec5SDimitry Andric     }
14330b57cec5SDimitry Andric     return;
14340b57cec5SDimitry Andric   }
14350b57cec5SDimitry Andric   case MCCFIInstruction::OpRememberState:
14365ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_remember_state);
14370b57cec5SDimitry Andric     return;
14380b57cec5SDimitry Andric   case MCCFIInstruction::OpRestoreState:
14395ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_restore_state);
14400b57cec5SDimitry Andric     return;
14410b57cec5SDimitry Andric   case MCCFIInstruction::OpSameValue: {
14420b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
14435ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_same_value);
14445ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Reg);
14450b57cec5SDimitry Andric     return;
14460b57cec5SDimitry Andric   }
14470b57cec5SDimitry Andric   case MCCFIInstruction::OpRestore: {
14480b57cec5SDimitry Andric     unsigned Reg = Instr.getRegister();
14490b57cec5SDimitry Andric     if (!IsEH)
14500b57cec5SDimitry Andric       Reg = MRI->getDwarfRegNumFromDwarfEHRegNum(Reg);
14510b57cec5SDimitry Andric     if (Reg < 64) {
14525ffd83dbSDimitry Andric       Streamer.emitInt8(dwarf::DW_CFA_restore | Reg);
14530b57cec5SDimitry Andric     } else {
14545ffd83dbSDimitry Andric       Streamer.emitInt8(dwarf::DW_CFA_restore_extended);
14555ffd83dbSDimitry Andric       Streamer.emitULEB128IntValue(Reg);
14560b57cec5SDimitry Andric     }
14570b57cec5SDimitry Andric     return;
14580b57cec5SDimitry Andric   }
14590b57cec5SDimitry Andric   case MCCFIInstruction::OpGnuArgsSize:
14605ffd83dbSDimitry Andric     Streamer.emitInt8(dwarf::DW_CFA_GNU_args_size);
14615ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(Instr.getOffset());
14620b57cec5SDimitry Andric     return;
14630b57cec5SDimitry Andric 
14640b57cec5SDimitry Andric   case MCCFIInstruction::OpEscape:
14655ffd83dbSDimitry Andric     Streamer.emitBytes(Instr.getValues());
14660b57cec5SDimitry Andric     return;
14670b57cec5SDimitry Andric   }
14680b57cec5SDimitry Andric   llvm_unreachable("Unhandled case in switch");
14690b57cec5SDimitry Andric }
14700b57cec5SDimitry Andric 
14710b57cec5SDimitry Andric /// Emit frame instructions to describe the layout of the frame.
14725ffd83dbSDimitry Andric void FrameEmitterImpl::emitCFIInstructions(ArrayRef<MCCFIInstruction> Instrs,
14730b57cec5SDimitry Andric                                            MCSymbol *BaseLabel) {
14740b57cec5SDimitry Andric   for (const MCCFIInstruction &Instr : Instrs) {
14750b57cec5SDimitry Andric     MCSymbol *Label = Instr.getLabel();
14760b57cec5SDimitry Andric     // Throw out move if the label is invalid.
14770b57cec5SDimitry Andric     if (Label && !Label->isDefined()) continue; // Not emitted, in dead code.
14780b57cec5SDimitry Andric 
14790b57cec5SDimitry Andric     // Advance row if new location.
14800b57cec5SDimitry Andric     if (BaseLabel && Label) {
14810b57cec5SDimitry Andric       MCSymbol *ThisSym = Label;
14820b57cec5SDimitry Andric       if (ThisSym != BaseLabel) {
1483*06c3fb27SDimitry Andric         Streamer.emitDwarfAdvanceFrameAddr(BaseLabel, ThisSym, Instr.getLoc());
14840b57cec5SDimitry Andric         BaseLabel = ThisSym;
14850b57cec5SDimitry Andric       }
14860b57cec5SDimitry Andric     }
14870b57cec5SDimitry Andric 
14885ffd83dbSDimitry Andric     emitCFIInstruction(Instr);
14890b57cec5SDimitry Andric   }
14900b57cec5SDimitry Andric }
14910b57cec5SDimitry Andric 
14920b57cec5SDimitry Andric /// Emit the unwind information in a compact way.
14930b57cec5SDimitry Andric void FrameEmitterImpl::EmitCompactUnwind(const MCDwarfFrameInfo &Frame) {
14940b57cec5SDimitry Andric   MCContext &Context = Streamer.getContext();
14950b57cec5SDimitry Andric   const MCObjectFileInfo *MOFI = Context.getObjectFileInfo();
14960b57cec5SDimitry Andric 
14970b57cec5SDimitry Andric   // range-start range-length  compact-unwind-enc personality-func   lsda
14980b57cec5SDimitry Andric   //  _foo       LfooEnd-_foo  0x00000023          0                 0
14990b57cec5SDimitry Andric   //  _bar       LbarEnd-_bar  0x00000025         __gxx_personality  except_tab1
15000b57cec5SDimitry Andric   //
15010b57cec5SDimitry Andric   //   .section __LD,__compact_unwind,regular,debug
15020b57cec5SDimitry Andric   //
15030b57cec5SDimitry Andric   //   # compact unwind for _foo
15040b57cec5SDimitry Andric   //   .quad _foo
15050b57cec5SDimitry Andric   //   .set L1,LfooEnd-_foo
15060b57cec5SDimitry Andric   //   .long L1
15070b57cec5SDimitry Andric   //   .long 0x01010001
15080b57cec5SDimitry Andric   //   .quad 0
15090b57cec5SDimitry Andric   //   .quad 0
15100b57cec5SDimitry Andric   //
15110b57cec5SDimitry Andric   //   # compact unwind for _bar
15120b57cec5SDimitry Andric   //   .quad _bar
15130b57cec5SDimitry Andric   //   .set L2,LbarEnd-_bar
15140b57cec5SDimitry Andric   //   .long L2
15150b57cec5SDimitry Andric   //   .long 0x01020011
15160b57cec5SDimitry Andric   //   .quad __gxx_personality
15170b57cec5SDimitry Andric   //   .quad except_tab1
15180b57cec5SDimitry Andric 
15190b57cec5SDimitry Andric   uint32_t Encoding = Frame.CompactUnwindEncoding;
15200b57cec5SDimitry Andric   if (!Encoding) return;
15210b57cec5SDimitry Andric   bool DwarfEHFrameOnly = (Encoding == MOFI->getCompactUnwindDwarfEHFrameOnly());
15220b57cec5SDimitry Andric 
15230b57cec5SDimitry Andric   // The encoding needs to know we have an LSDA.
15240b57cec5SDimitry Andric   if (!DwarfEHFrameOnly && Frame.Lsda)
15250b57cec5SDimitry Andric     Encoding |= 0x40000000;
15260b57cec5SDimitry Andric 
15270b57cec5SDimitry Andric   // Range Start
15280b57cec5SDimitry Andric   unsigned FDEEncoding = MOFI->getFDEEncoding();
15290b57cec5SDimitry Andric   unsigned Size = getSizeForEncoding(Streamer, FDEEncoding);
15305ffd83dbSDimitry Andric   Streamer.emitSymbolValue(Frame.Begin, Size);
15310b57cec5SDimitry Andric 
15320b57cec5SDimitry Andric   // Range Length
15335ffd83dbSDimitry Andric   const MCExpr *Range =
15345ffd83dbSDimitry Andric       makeEndMinusStartExpr(Context, *Frame.Begin, *Frame.End, 0);
15350b57cec5SDimitry Andric   emitAbsValue(Streamer, Range, 4);
15360b57cec5SDimitry Andric 
15370b57cec5SDimitry Andric   // Compact Encoding
15380b57cec5SDimitry Andric   Size = getSizeForEncoding(Streamer, dwarf::DW_EH_PE_udata4);
15395ffd83dbSDimitry Andric   Streamer.emitIntValue(Encoding, Size);
15400b57cec5SDimitry Andric 
15410b57cec5SDimitry Andric   // Personality Function
15420b57cec5SDimitry Andric   Size = getSizeForEncoding(Streamer, dwarf::DW_EH_PE_absptr);
15430b57cec5SDimitry Andric   if (!DwarfEHFrameOnly && Frame.Personality)
15445ffd83dbSDimitry Andric     Streamer.emitSymbolValue(Frame.Personality, Size);
15450b57cec5SDimitry Andric   else
15465ffd83dbSDimitry Andric     Streamer.emitIntValue(0, Size); // No personality fn
15470b57cec5SDimitry Andric 
15480b57cec5SDimitry Andric   // LSDA
15490b57cec5SDimitry Andric   Size = getSizeForEncoding(Streamer, Frame.LsdaEncoding);
15500b57cec5SDimitry Andric   if (!DwarfEHFrameOnly && Frame.Lsda)
15515ffd83dbSDimitry Andric     Streamer.emitSymbolValue(Frame.Lsda, Size);
15520b57cec5SDimitry Andric   else
15535ffd83dbSDimitry Andric     Streamer.emitIntValue(0, Size); // No LSDA
15540b57cec5SDimitry Andric }
15550b57cec5SDimitry Andric 
15560b57cec5SDimitry Andric static unsigned getCIEVersion(bool IsEH, unsigned DwarfVersion) {
15570b57cec5SDimitry Andric   if (IsEH)
15580b57cec5SDimitry Andric     return 1;
15590b57cec5SDimitry Andric   switch (DwarfVersion) {
15600b57cec5SDimitry Andric   case 2:
15610b57cec5SDimitry Andric     return 1;
15620b57cec5SDimitry Andric   case 3:
15630b57cec5SDimitry Andric     return 3;
15640b57cec5SDimitry Andric   case 4:
15650b57cec5SDimitry Andric   case 5:
15660b57cec5SDimitry Andric     return 4;
15670b57cec5SDimitry Andric   }
15680b57cec5SDimitry Andric   llvm_unreachable("Unknown version");
15690b57cec5SDimitry Andric }
15700b57cec5SDimitry Andric 
15710b57cec5SDimitry Andric const MCSymbol &FrameEmitterImpl::EmitCIE(const MCDwarfFrameInfo &Frame) {
15720b57cec5SDimitry Andric   MCContext &context = Streamer.getContext();
15730b57cec5SDimitry Andric   const MCRegisterInfo *MRI = context.getRegisterInfo();
15740b57cec5SDimitry Andric   const MCObjectFileInfo *MOFI = context.getObjectFileInfo();
15750b57cec5SDimitry Andric 
15760b57cec5SDimitry Andric   MCSymbol *sectionStart = context.createTempSymbol();
15775ffd83dbSDimitry Andric   Streamer.emitLabel(sectionStart);
15780b57cec5SDimitry Andric 
15790b57cec5SDimitry Andric   MCSymbol *sectionEnd = context.createTempSymbol();
15800b57cec5SDimitry Andric 
15815ffd83dbSDimitry Andric   dwarf::DwarfFormat Format = IsEH ? dwarf::DWARF32 : context.getDwarfFormat();
15825ffd83dbSDimitry Andric   unsigned UnitLengthBytes = dwarf::getUnitLengthFieldByteSize(Format);
15835ffd83dbSDimitry Andric   unsigned OffsetSize = dwarf::getDwarfOffsetByteSize(Format);
15845ffd83dbSDimitry Andric   bool IsDwarf64 = Format == dwarf::DWARF64;
15855ffd83dbSDimitry Andric 
15865ffd83dbSDimitry Andric   if (IsDwarf64)
15875ffd83dbSDimitry Andric     // DWARF64 mark
15885ffd83dbSDimitry Andric     Streamer.emitInt32(dwarf::DW_LENGTH_DWARF64);
15895ffd83dbSDimitry Andric 
15900b57cec5SDimitry Andric   // Length
15915ffd83dbSDimitry Andric   const MCExpr *Length = makeEndMinusStartExpr(context, *sectionStart,
15925ffd83dbSDimitry Andric                                                *sectionEnd, UnitLengthBytes);
15935ffd83dbSDimitry Andric   emitAbsValue(Streamer, Length, OffsetSize);
15940b57cec5SDimitry Andric 
15950b57cec5SDimitry Andric   // CIE ID
15965ffd83dbSDimitry Andric   uint64_t CIE_ID =
15975ffd83dbSDimitry Andric       IsEH ? 0 : (IsDwarf64 ? dwarf::DW64_CIE_ID : dwarf::DW_CIE_ID);
15985ffd83dbSDimitry Andric   Streamer.emitIntValue(CIE_ID, OffsetSize);
15990b57cec5SDimitry Andric 
16000b57cec5SDimitry Andric   // Version
16010b57cec5SDimitry Andric   uint8_t CIEVersion = getCIEVersion(IsEH, context.getDwarfVersion());
16025ffd83dbSDimitry Andric   Streamer.emitInt8(CIEVersion);
16030b57cec5SDimitry Andric 
16040b57cec5SDimitry Andric   if (IsEH) {
16050b57cec5SDimitry Andric     SmallString<8> Augmentation;
16060b57cec5SDimitry Andric     Augmentation += "z";
16070b57cec5SDimitry Andric     if (Frame.Personality)
16080b57cec5SDimitry Andric       Augmentation += "P";
16090b57cec5SDimitry Andric     if (Frame.Lsda)
16100b57cec5SDimitry Andric       Augmentation += "L";
16110b57cec5SDimitry Andric     Augmentation += "R";
16120b57cec5SDimitry Andric     if (Frame.IsSignalFrame)
16130b57cec5SDimitry Andric       Augmentation += "S";
16140b57cec5SDimitry Andric     if (Frame.IsBKeyFrame)
16150b57cec5SDimitry Andric       Augmentation += "B";
161681ad6265SDimitry Andric     if (Frame.IsMTETaggedFrame)
161781ad6265SDimitry Andric       Augmentation += "G";
16185ffd83dbSDimitry Andric     Streamer.emitBytes(Augmentation);
16190b57cec5SDimitry Andric   }
16205ffd83dbSDimitry Andric   Streamer.emitInt8(0);
16210b57cec5SDimitry Andric 
16220b57cec5SDimitry Andric   if (CIEVersion >= 4) {
16230b57cec5SDimitry Andric     // Address Size
16245ffd83dbSDimitry Andric     Streamer.emitInt8(context.getAsmInfo()->getCodePointerSize());
16250b57cec5SDimitry Andric 
16260b57cec5SDimitry Andric     // Segment Descriptor Size
16275ffd83dbSDimitry Andric     Streamer.emitInt8(0);
16280b57cec5SDimitry Andric   }
16290b57cec5SDimitry Andric 
16300b57cec5SDimitry Andric   // Code Alignment Factor
16315ffd83dbSDimitry Andric   Streamer.emitULEB128IntValue(context.getAsmInfo()->getMinInstAlignment());
16320b57cec5SDimitry Andric 
16330b57cec5SDimitry Andric   // Data Alignment Factor
16345ffd83dbSDimitry Andric   Streamer.emitSLEB128IntValue(getDataAlignmentFactor(Streamer));
16350b57cec5SDimitry Andric 
16360b57cec5SDimitry Andric   // Return Address Register
16370b57cec5SDimitry Andric   unsigned RAReg = Frame.RAReg;
16380b57cec5SDimitry Andric   if (RAReg == static_cast<unsigned>(INT_MAX))
16390b57cec5SDimitry Andric     RAReg = MRI->getDwarfRegNum(MRI->getRARegister(), IsEH);
16400b57cec5SDimitry Andric 
16410b57cec5SDimitry Andric   if (CIEVersion == 1) {
16420b57cec5SDimitry Andric     assert(RAReg <= 255 &&
16430b57cec5SDimitry Andric            "DWARF 2 encodes return_address_register in one byte");
16445ffd83dbSDimitry Andric     Streamer.emitInt8(RAReg);
16450b57cec5SDimitry Andric   } else {
16465ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(RAReg);
16470b57cec5SDimitry Andric   }
16480b57cec5SDimitry Andric 
16490b57cec5SDimitry Andric   // Augmentation Data Length (optional)
16500b57cec5SDimitry Andric   unsigned augmentationLength = 0;
16510b57cec5SDimitry Andric   if (IsEH) {
16520b57cec5SDimitry Andric     if (Frame.Personality) {
16530b57cec5SDimitry Andric       // Personality Encoding
16540b57cec5SDimitry Andric       augmentationLength += 1;
16550b57cec5SDimitry Andric       // Personality
16560b57cec5SDimitry Andric       augmentationLength +=
16570b57cec5SDimitry Andric           getSizeForEncoding(Streamer, Frame.PersonalityEncoding);
16580b57cec5SDimitry Andric     }
16590b57cec5SDimitry Andric     if (Frame.Lsda)
16600b57cec5SDimitry Andric       augmentationLength += 1;
16610b57cec5SDimitry Andric     // Encoding of the FDE pointers
16620b57cec5SDimitry Andric     augmentationLength += 1;
16630b57cec5SDimitry Andric 
16645ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(augmentationLength);
16650b57cec5SDimitry Andric 
16660b57cec5SDimitry Andric     // Augmentation Data (optional)
16670b57cec5SDimitry Andric     if (Frame.Personality) {
16680b57cec5SDimitry Andric       // Personality Encoding
16690b57cec5SDimitry Andric       emitEncodingByte(Streamer, Frame.PersonalityEncoding);
16700b57cec5SDimitry Andric       // Personality
16710b57cec5SDimitry Andric       EmitPersonality(Streamer, *Frame.Personality, Frame.PersonalityEncoding);
16720b57cec5SDimitry Andric     }
16730b57cec5SDimitry Andric 
16740b57cec5SDimitry Andric     if (Frame.Lsda)
16750b57cec5SDimitry Andric       emitEncodingByte(Streamer, Frame.LsdaEncoding);
16760b57cec5SDimitry Andric 
16770b57cec5SDimitry Andric     // Encoding of the FDE pointers
16780b57cec5SDimitry Andric     emitEncodingByte(Streamer, MOFI->getFDEEncoding());
16790b57cec5SDimitry Andric   }
16800b57cec5SDimitry Andric 
16810b57cec5SDimitry Andric   // Initial Instructions
16820b57cec5SDimitry Andric 
16830b57cec5SDimitry Andric   const MCAsmInfo *MAI = context.getAsmInfo();
16840b57cec5SDimitry Andric   if (!Frame.IsSimple) {
16850b57cec5SDimitry Andric     const std::vector<MCCFIInstruction> &Instructions =
16860b57cec5SDimitry Andric         MAI->getInitialFrameState();
16875ffd83dbSDimitry Andric     emitCFIInstructions(Instructions, nullptr);
16880b57cec5SDimitry Andric   }
16890b57cec5SDimitry Andric 
16900b57cec5SDimitry Andric   InitialCFAOffset = CFAOffset;
16910b57cec5SDimitry Andric 
16920b57cec5SDimitry Andric   // Padding
1693bdd1243dSDimitry Andric   Streamer.emitValueToAlignment(Align(IsEH ? 4 : MAI->getCodePointerSize()));
16940b57cec5SDimitry Andric 
16955ffd83dbSDimitry Andric   Streamer.emitLabel(sectionEnd);
16960b57cec5SDimitry Andric   return *sectionStart;
16970b57cec5SDimitry Andric }
16980b57cec5SDimitry Andric 
16990b57cec5SDimitry Andric void FrameEmitterImpl::EmitFDE(const MCSymbol &cieStart,
17000b57cec5SDimitry Andric                                const MCDwarfFrameInfo &frame,
17010b57cec5SDimitry Andric                                bool LastInSection,
17020b57cec5SDimitry Andric                                const MCSymbol &SectionStart) {
17030b57cec5SDimitry Andric   MCContext &context = Streamer.getContext();
17040b57cec5SDimitry Andric   MCSymbol *fdeStart = context.createTempSymbol();
17050b57cec5SDimitry Andric   MCSymbol *fdeEnd = context.createTempSymbol();
17060b57cec5SDimitry Andric   const MCObjectFileInfo *MOFI = context.getObjectFileInfo();
17070b57cec5SDimitry Andric 
17080b57cec5SDimitry Andric   CFAOffset = InitialCFAOffset;
17090b57cec5SDimitry Andric 
17105ffd83dbSDimitry Andric   dwarf::DwarfFormat Format = IsEH ? dwarf::DWARF32 : context.getDwarfFormat();
17115ffd83dbSDimitry Andric   unsigned OffsetSize = dwarf::getDwarfOffsetByteSize(Format);
17120b57cec5SDimitry Andric 
17135ffd83dbSDimitry Andric   if (Format == dwarf::DWARF64)
17145ffd83dbSDimitry Andric     // DWARF64 mark
17155ffd83dbSDimitry Andric     Streamer.emitInt32(dwarf::DW_LENGTH_DWARF64);
17165ffd83dbSDimitry Andric 
17175ffd83dbSDimitry Andric   // Length
17185ffd83dbSDimitry Andric   const MCExpr *Length = makeEndMinusStartExpr(context, *fdeStart, *fdeEnd, 0);
17195ffd83dbSDimitry Andric   emitAbsValue(Streamer, Length, OffsetSize);
17205ffd83dbSDimitry Andric 
17215ffd83dbSDimitry Andric   Streamer.emitLabel(fdeStart);
17220b57cec5SDimitry Andric 
17230b57cec5SDimitry Andric   // CIE Pointer
17240b57cec5SDimitry Andric   const MCAsmInfo *asmInfo = context.getAsmInfo();
17250b57cec5SDimitry Andric   if (IsEH) {
17260b57cec5SDimitry Andric     const MCExpr *offset =
17275ffd83dbSDimitry Andric         makeEndMinusStartExpr(context, cieStart, *fdeStart, 0);
17285ffd83dbSDimitry Andric     emitAbsValue(Streamer, offset, OffsetSize);
17290b57cec5SDimitry Andric   } else if (!asmInfo->doesDwarfUseRelocationsAcrossSections()) {
17300b57cec5SDimitry Andric     const MCExpr *offset =
17315ffd83dbSDimitry Andric         makeEndMinusStartExpr(context, SectionStart, cieStart, 0);
17325ffd83dbSDimitry Andric     emitAbsValue(Streamer, offset, OffsetSize);
17330b57cec5SDimitry Andric   } else {
17345ffd83dbSDimitry Andric     Streamer.emitSymbolValue(&cieStart, OffsetSize,
1735480093f4SDimitry Andric                              asmInfo->needsDwarfSectionOffsetDirective());
17360b57cec5SDimitry Andric   }
17370b57cec5SDimitry Andric 
17380b57cec5SDimitry Andric   // PC Begin
17390b57cec5SDimitry Andric   unsigned PCEncoding =
17400b57cec5SDimitry Andric       IsEH ? MOFI->getFDEEncoding() : (unsigned)dwarf::DW_EH_PE_absptr;
17410b57cec5SDimitry Andric   unsigned PCSize = getSizeForEncoding(Streamer, PCEncoding);
17420b57cec5SDimitry Andric   emitFDESymbol(Streamer, *frame.Begin, PCEncoding, IsEH);
17430b57cec5SDimitry Andric 
17440b57cec5SDimitry Andric   // PC Range
17450b57cec5SDimitry Andric   const MCExpr *Range =
17465ffd83dbSDimitry Andric       makeEndMinusStartExpr(context, *frame.Begin, *frame.End, 0);
17470b57cec5SDimitry Andric   emitAbsValue(Streamer, Range, PCSize);
17480b57cec5SDimitry Andric 
17490b57cec5SDimitry Andric   if (IsEH) {
17500b57cec5SDimitry Andric     // Augmentation Data Length
17510b57cec5SDimitry Andric     unsigned augmentationLength = 0;
17520b57cec5SDimitry Andric 
17530b57cec5SDimitry Andric     if (frame.Lsda)
17540b57cec5SDimitry Andric       augmentationLength += getSizeForEncoding(Streamer, frame.LsdaEncoding);
17550b57cec5SDimitry Andric 
17565ffd83dbSDimitry Andric     Streamer.emitULEB128IntValue(augmentationLength);
17570b57cec5SDimitry Andric 
17580b57cec5SDimitry Andric     // Augmentation Data
17590b57cec5SDimitry Andric     if (frame.Lsda)
17600b57cec5SDimitry Andric       emitFDESymbol(Streamer, *frame.Lsda, frame.LsdaEncoding, true);
17610b57cec5SDimitry Andric   }
17620b57cec5SDimitry Andric 
17630b57cec5SDimitry Andric   // Call Frame Instructions
17645ffd83dbSDimitry Andric   emitCFIInstructions(frame.Instructions, frame.Begin);
17650b57cec5SDimitry Andric 
17660b57cec5SDimitry Andric   // Padding
17670b57cec5SDimitry Andric   // The size of a .eh_frame section has to be a multiple of the alignment
17680b57cec5SDimitry Andric   // since a null CIE is interpreted as the end. Old systems overaligned
17690b57cec5SDimitry Andric   // .eh_frame, so we do too and account for it in the last FDE.
1770bdd1243dSDimitry Andric   unsigned Alignment = LastInSection ? asmInfo->getCodePointerSize() : PCSize;
1771bdd1243dSDimitry Andric   Streamer.emitValueToAlignment(Align(Alignment));
17720b57cec5SDimitry Andric 
17735ffd83dbSDimitry Andric   Streamer.emitLabel(fdeEnd);
17740b57cec5SDimitry Andric }
17750b57cec5SDimitry Andric 
17760b57cec5SDimitry Andric namespace {
17770b57cec5SDimitry Andric 
17780b57cec5SDimitry Andric struct CIEKey {
17790b57cec5SDimitry Andric   static const CIEKey getEmptyKey() {
17800b57cec5SDimitry Andric     return CIEKey(nullptr, 0, -1, false, false, static_cast<unsigned>(INT_MAX),
1781bdd1243dSDimitry Andric                   false, false);
17820b57cec5SDimitry Andric   }
17830b57cec5SDimitry Andric 
17840b57cec5SDimitry Andric   static const CIEKey getTombstoneKey() {
17850b57cec5SDimitry Andric     return CIEKey(nullptr, -1, 0, false, false, static_cast<unsigned>(INT_MAX),
1786bdd1243dSDimitry Andric                   false, false);
17870b57cec5SDimitry Andric   }
17880b57cec5SDimitry Andric 
17890b57cec5SDimitry Andric   CIEKey(const MCSymbol *Personality, unsigned PersonalityEncoding,
17900b57cec5SDimitry Andric          unsigned LSDAEncoding, bool IsSignalFrame, bool IsSimple,
1791bdd1243dSDimitry Andric          unsigned RAReg, bool IsBKeyFrame, bool IsMTETaggedFrame)
17920b57cec5SDimitry Andric       : Personality(Personality), PersonalityEncoding(PersonalityEncoding),
17930b57cec5SDimitry Andric         LsdaEncoding(LSDAEncoding), IsSignalFrame(IsSignalFrame),
1794bdd1243dSDimitry Andric         IsSimple(IsSimple), RAReg(RAReg), IsBKeyFrame(IsBKeyFrame),
1795bdd1243dSDimitry Andric         IsMTETaggedFrame(IsMTETaggedFrame) {}
17960b57cec5SDimitry Andric 
17970b57cec5SDimitry Andric   explicit CIEKey(const MCDwarfFrameInfo &Frame)
17980b57cec5SDimitry Andric       : Personality(Frame.Personality),
17990b57cec5SDimitry Andric         PersonalityEncoding(Frame.PersonalityEncoding),
18000b57cec5SDimitry Andric         LsdaEncoding(Frame.LsdaEncoding), IsSignalFrame(Frame.IsSignalFrame),
18010b57cec5SDimitry Andric         IsSimple(Frame.IsSimple), RAReg(Frame.RAReg),
1802bdd1243dSDimitry Andric         IsBKeyFrame(Frame.IsBKeyFrame),
1803bdd1243dSDimitry Andric         IsMTETaggedFrame(Frame.IsMTETaggedFrame) {}
18040b57cec5SDimitry Andric 
18050b57cec5SDimitry Andric   StringRef PersonalityName() const {
18060b57cec5SDimitry Andric     if (!Personality)
18070b57cec5SDimitry Andric       return StringRef();
18080b57cec5SDimitry Andric     return Personality->getName();
18090b57cec5SDimitry Andric   }
18100b57cec5SDimitry Andric 
18110b57cec5SDimitry Andric   bool operator<(const CIEKey &Other) const {
18120b57cec5SDimitry Andric     return std::make_tuple(PersonalityName(), PersonalityEncoding, LsdaEncoding,
1813bdd1243dSDimitry Andric                            IsSignalFrame, IsSimple, RAReg, IsBKeyFrame,
1814bdd1243dSDimitry Andric                            IsMTETaggedFrame) <
18150b57cec5SDimitry Andric            std::make_tuple(Other.PersonalityName(), Other.PersonalityEncoding,
18160b57cec5SDimitry Andric                            Other.LsdaEncoding, Other.IsSignalFrame,
1817bdd1243dSDimitry Andric                            Other.IsSimple, Other.RAReg, Other.IsBKeyFrame,
1818bdd1243dSDimitry Andric                            Other.IsMTETaggedFrame);
18190b57cec5SDimitry Andric   }
18200b57cec5SDimitry Andric 
18210b57cec5SDimitry Andric   const MCSymbol *Personality;
18220b57cec5SDimitry Andric   unsigned PersonalityEncoding;
18230b57cec5SDimitry Andric   unsigned LsdaEncoding;
18240b57cec5SDimitry Andric   bool IsSignalFrame;
18250b57cec5SDimitry Andric   bool IsSimple;
18260b57cec5SDimitry Andric   unsigned RAReg;
18270b57cec5SDimitry Andric   bool IsBKeyFrame;
1828bdd1243dSDimitry Andric   bool IsMTETaggedFrame;
18290b57cec5SDimitry Andric };
18300b57cec5SDimitry Andric 
18310b57cec5SDimitry Andric } // end anonymous namespace
18320b57cec5SDimitry Andric 
18330b57cec5SDimitry Andric namespace llvm {
18340b57cec5SDimitry Andric 
18350b57cec5SDimitry Andric template <> struct DenseMapInfo<CIEKey> {
18360b57cec5SDimitry Andric   static CIEKey getEmptyKey() { return CIEKey::getEmptyKey(); }
18370b57cec5SDimitry Andric   static CIEKey getTombstoneKey() { return CIEKey::getTombstoneKey(); }
18380b57cec5SDimitry Andric 
18390b57cec5SDimitry Andric   static unsigned getHashValue(const CIEKey &Key) {
1840bdd1243dSDimitry Andric     return static_cast<unsigned>(
1841bdd1243dSDimitry Andric         hash_combine(Key.Personality, Key.PersonalityEncoding, Key.LsdaEncoding,
1842bdd1243dSDimitry Andric                      Key.IsSignalFrame, Key.IsSimple, Key.RAReg,
1843bdd1243dSDimitry Andric                      Key.IsBKeyFrame, Key.IsMTETaggedFrame));
18440b57cec5SDimitry Andric   }
18450b57cec5SDimitry Andric 
18460b57cec5SDimitry Andric   static bool isEqual(const CIEKey &LHS, const CIEKey &RHS) {
18470b57cec5SDimitry Andric     return LHS.Personality == RHS.Personality &&
18480b57cec5SDimitry Andric            LHS.PersonalityEncoding == RHS.PersonalityEncoding &&
18490b57cec5SDimitry Andric            LHS.LsdaEncoding == RHS.LsdaEncoding &&
18500b57cec5SDimitry Andric            LHS.IsSignalFrame == RHS.IsSignalFrame &&
18510b57cec5SDimitry Andric            LHS.IsSimple == RHS.IsSimple && LHS.RAReg == RHS.RAReg &&
1852bdd1243dSDimitry Andric            LHS.IsBKeyFrame == RHS.IsBKeyFrame &&
1853bdd1243dSDimitry Andric            LHS.IsMTETaggedFrame == RHS.IsMTETaggedFrame;
18540b57cec5SDimitry Andric   }
18550b57cec5SDimitry Andric };
18560b57cec5SDimitry Andric 
18570b57cec5SDimitry Andric } // end namespace llvm
18580b57cec5SDimitry Andric 
18590b57cec5SDimitry Andric void MCDwarfFrameEmitter::Emit(MCObjectStreamer &Streamer, MCAsmBackend *MAB,
18600b57cec5SDimitry Andric                                bool IsEH) {
18610b57cec5SDimitry Andric   MCContext &Context = Streamer.getContext();
18620b57cec5SDimitry Andric   const MCObjectFileInfo *MOFI = Context.getObjectFileInfo();
18630b57cec5SDimitry Andric   const MCAsmInfo *AsmInfo = Context.getAsmInfo();
18640b57cec5SDimitry Andric   FrameEmitterImpl Emitter(IsEH, Streamer);
18650b57cec5SDimitry Andric   ArrayRef<MCDwarfFrameInfo> FrameArray = Streamer.getDwarfFrameInfos();
18660b57cec5SDimitry Andric 
18670b57cec5SDimitry Andric   // Emit the compact unwind info if available.
18680b57cec5SDimitry Andric   bool NeedsEHFrameSection = !MOFI->getSupportsCompactUnwindWithoutEHFrame();
18690b57cec5SDimitry Andric   if (IsEH && MOFI->getCompactUnwindSection()) {
187081ad6265SDimitry Andric     Streamer.generateCompactUnwindEncodings(MAB);
18710b57cec5SDimitry Andric     bool SectionEmitted = false;
18720b57cec5SDimitry Andric     for (const MCDwarfFrameInfo &Frame : FrameArray) {
18730b57cec5SDimitry Andric       if (Frame.CompactUnwindEncoding == 0) continue;
18740b57cec5SDimitry Andric       if (!SectionEmitted) {
187581ad6265SDimitry Andric         Streamer.switchSection(MOFI->getCompactUnwindSection());
1876bdd1243dSDimitry Andric         Streamer.emitValueToAlignment(Align(AsmInfo->getCodePointerSize()));
18770b57cec5SDimitry Andric         SectionEmitted = true;
18780b57cec5SDimitry Andric       }
18790b57cec5SDimitry Andric       NeedsEHFrameSection |=
18800b57cec5SDimitry Andric         Frame.CompactUnwindEncoding ==
18810b57cec5SDimitry Andric           MOFI->getCompactUnwindDwarfEHFrameOnly();
18820b57cec5SDimitry Andric       Emitter.EmitCompactUnwind(Frame);
18830b57cec5SDimitry Andric     }
18840b57cec5SDimitry Andric   }
18850b57cec5SDimitry Andric 
1886*06c3fb27SDimitry Andric   // Compact unwind information can be emitted in the eh_frame section or the
1887*06c3fb27SDimitry Andric   // debug_frame section. Skip emitting FDEs and CIEs when the compact unwind
1888*06c3fb27SDimitry Andric   // doesn't need an eh_frame section and the emission location is the eh_frame
1889*06c3fb27SDimitry Andric   // section.
1890*06c3fb27SDimitry Andric   if (!NeedsEHFrameSection && IsEH) return;
18910b57cec5SDimitry Andric 
18920b57cec5SDimitry Andric   MCSection &Section =
18930b57cec5SDimitry Andric       IsEH ? *const_cast<MCObjectFileInfo *>(MOFI)->getEHFrameSection()
18940b57cec5SDimitry Andric            : *MOFI->getDwarfFrameSection();
18950b57cec5SDimitry Andric 
189681ad6265SDimitry Andric   Streamer.switchSection(&Section);
18970b57cec5SDimitry Andric   MCSymbol *SectionStart = Context.createTempSymbol();
18985ffd83dbSDimitry Andric   Streamer.emitLabel(SectionStart);
18990b57cec5SDimitry Andric 
19000b57cec5SDimitry Andric   DenseMap<CIEKey, const MCSymbol *> CIEStarts;
19010b57cec5SDimitry Andric 
19020b57cec5SDimitry Andric   const MCSymbol *DummyDebugKey = nullptr;
19030b57cec5SDimitry Andric   bool CanOmitDwarf = MOFI->getOmitDwarfIfHaveCompactUnwind();
19040b57cec5SDimitry Andric   // Sort the FDEs by their corresponding CIE before we emit them.
19050b57cec5SDimitry Andric   // This isn't technically necessary according to the DWARF standard,
19060b57cec5SDimitry Andric   // but the Android libunwindstack rejects eh_frame sections where
19070b57cec5SDimitry Andric   // an FDE refers to a CIE other than the closest previous CIE.
19080b57cec5SDimitry Andric   std::vector<MCDwarfFrameInfo> FrameArrayX(FrameArray.begin(), FrameArray.end());
19090b57cec5SDimitry Andric   llvm::stable_sort(FrameArrayX,
19100b57cec5SDimitry Andric                     [](const MCDwarfFrameInfo &X, const MCDwarfFrameInfo &Y) {
19110b57cec5SDimitry Andric                       return CIEKey(X) < CIEKey(Y);
19120b57cec5SDimitry Andric                     });
19130b57cec5SDimitry Andric   for (auto I = FrameArrayX.begin(), E = FrameArrayX.end(); I != E;) {
19140b57cec5SDimitry Andric     const MCDwarfFrameInfo &Frame = *I;
19150b57cec5SDimitry Andric     ++I;
19160b57cec5SDimitry Andric     if (CanOmitDwarf && Frame.CompactUnwindEncoding !=
1917*06c3fb27SDimitry Andric           MOFI->getCompactUnwindDwarfEHFrameOnly() && IsEH)
1918*06c3fb27SDimitry Andric       // CIEs and FDEs can be emitted in either the eh_frame section or the
1919*06c3fb27SDimitry Andric       // debug_frame section, on some platforms (e.g. AArch64) the target object
1920*06c3fb27SDimitry Andric       // file supports emitting a compact_unwind section without an associated
1921*06c3fb27SDimitry Andric       // eh_frame section. If the eh_frame section is not needed, and the
1922*06c3fb27SDimitry Andric       // location where the CIEs and FDEs are to be emitted is the eh_frame
1923*06c3fb27SDimitry Andric       // section, do not emit anything.
19240b57cec5SDimitry Andric       continue;
19250b57cec5SDimitry Andric 
19260b57cec5SDimitry Andric     CIEKey Key(Frame);
19270b57cec5SDimitry Andric     const MCSymbol *&CIEStart = IsEH ? CIEStarts[Key] : DummyDebugKey;
19280b57cec5SDimitry Andric     if (!CIEStart)
19290b57cec5SDimitry Andric       CIEStart = &Emitter.EmitCIE(Frame);
19300b57cec5SDimitry Andric 
19310b57cec5SDimitry Andric     Emitter.EmitFDE(*CIEStart, Frame, I == E, *SectionStart);
19320b57cec5SDimitry Andric   }
19330b57cec5SDimitry Andric }
19340b57cec5SDimitry Andric 
1935*06c3fb27SDimitry Andric void MCDwarfFrameEmitter::encodeAdvanceLoc(MCContext &Context,
1936fe6060f1SDimitry Andric                                            uint64_t AddrDelta,
1937*06c3fb27SDimitry Andric                                            SmallVectorImpl<char> &Out) {
19380b57cec5SDimitry Andric   // Scale the address delta by the minimum instruction length.
19390b57cec5SDimitry Andric   AddrDelta = ScaleAddrDelta(Context, AddrDelta);
1940fe6060f1SDimitry Andric   if (AddrDelta == 0)
1941fe6060f1SDimitry Andric     return;
19420b57cec5SDimitry Andric 
19430b57cec5SDimitry Andric   support::endianness E =
19440b57cec5SDimitry Andric       Context.getAsmInfo()->isLittleEndian() ? support::little : support::big;
1945fe6060f1SDimitry Andric 
1946fe6060f1SDimitry Andric   if (isUIntN(6, AddrDelta)) {
19470b57cec5SDimitry Andric     uint8_t Opcode = dwarf::DW_CFA_advance_loc | AddrDelta;
1948*06c3fb27SDimitry Andric     Out.push_back(Opcode);
19490b57cec5SDimitry Andric   } else if (isUInt<8>(AddrDelta)) {
1950*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_CFA_advance_loc1);
1951*06c3fb27SDimitry Andric     Out.push_back(AddrDelta);
19520b57cec5SDimitry Andric   } else if (isUInt<16>(AddrDelta)) {
1953*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_CFA_advance_loc2);
1954*06c3fb27SDimitry Andric     support::endian::write<uint16_t>(Out, AddrDelta, E);
19550b57cec5SDimitry Andric   } else {
19560b57cec5SDimitry Andric     assert(isUInt<32>(AddrDelta));
1957*06c3fb27SDimitry Andric     Out.push_back(dwarf::DW_CFA_advance_loc4);
1958*06c3fb27SDimitry Andric     support::endian::write<uint32_t>(Out, AddrDelta, E);
19590b57cec5SDimitry Andric   }
19600b57cec5SDimitry Andric }
1961