1 //===--- lib/CodeGen/DebugLocStream.h - DWARF debug_loc stream --*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCSTREAM_H 10 #define LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCSTREAM_H 11 12 #include "ByteStreamer.h" 13 #include "llvm/ADT/ArrayRef.h" 14 #include "llvm/ADT/SmallVector.h" 15 16 namespace llvm { 17 18 class AsmPrinter; 19 class DbgVariable; 20 class DwarfCompileUnit; 21 class MachineInstr; 22 class MCSymbol; 23 24 /// Byte stream of .debug_loc entries. 25 /// 26 /// Stores a unified stream of .debug_loc entries. There's \a List for each 27 /// variable/inlined-at pair, and an \a Entry for each \a DebugLocEntry. 28 /// 29 /// FIXME: Do we need all these temp symbols? 30 /// FIXME: Why not output directly to the output stream? 31 class DebugLocStream { 32 public: 33 struct List { 34 DwarfCompileUnit *CU; 35 MCSymbol *Label = nullptr; 36 size_t EntryOffset; 37 List(DwarfCompileUnit *CU, size_t EntryOffset) 38 : CU(CU), EntryOffset(EntryOffset) {} 39 }; 40 struct Entry { 41 const MCSymbol *Begin; 42 const MCSymbol *End; 43 size_t ByteOffset; 44 size_t CommentOffset; 45 }; 46 47 private: 48 SmallVector<List, 4> Lists; 49 SmallVector<Entry, 32> Entries; 50 SmallString<256> DWARFBytes; 51 std::vector<std::string> Comments; 52 MCSymbol *Sym = nullptr; 53 54 /// Only verbose textual output needs comments. This will be set to 55 /// true for that case, and false otherwise. 56 bool GenerateComments; 57 58 public: 59 DebugLocStream(bool GenerateComments) : GenerateComments(GenerateComments) { } 60 size_t getNumLists() const { return Lists.size(); } 61 const List &getList(size_t LI) const { return Lists[LI]; } 62 ArrayRef<List> getLists() const { return Lists; } 63 MCSymbol *getSym() const { 64 return Sym; 65 } 66 void setSym(MCSymbol *Sym) { 67 this->Sym = Sym; 68 } 69 70 class ListBuilder; 71 class EntryBuilder; 72 73 private: 74 /// Start a new .debug_loc entry list. 75 /// 76 /// Start a new .debug_loc entry list. Return the new list's index so it can 77 /// be retrieved later via \a getList(). 78 /// 79 /// Until the next call, \a startEntry() will add entries to this list. 80 size_t startList(DwarfCompileUnit *CU) { 81 size_t LI = Lists.size(); 82 Lists.emplace_back(CU, Entries.size()); 83 return LI; 84 } 85 86 /// Finalize a .debug_loc entry list. 87 /// 88 /// If there are no entries in this list, delete it outright. Otherwise, 89 /// create a label with \a Asm. 90 /// 91 /// \return false iff the list is deleted. 92 bool finalizeList(AsmPrinter &Asm); 93 94 /// Start a new .debug_loc entry. 95 /// 96 /// Until the next call, bytes added to the stream will be added to this 97 /// entry. 98 void startEntry(const MCSymbol *BeginSym, const MCSymbol *EndSym) { 99 Entries.push_back({BeginSym, EndSym, DWARFBytes.size(), Comments.size()}); 100 } 101 102 /// Finalize a .debug_loc entry, deleting if it's empty. 103 void finalizeEntry(); 104 105 public: 106 BufferByteStreamer getStreamer() { 107 return BufferByteStreamer(DWARFBytes, Comments, GenerateComments); 108 } 109 110 ArrayRef<Entry> getEntries(const List &L) const { 111 size_t LI = getIndex(L); 112 return ArrayRef(Entries).slice(Lists[LI].EntryOffset, getNumEntries(LI)); 113 } 114 115 ArrayRef<char> getBytes(const Entry &E) const { 116 size_t EI = getIndex(E); 117 return ArrayRef(DWARFBytes.begin(), DWARFBytes.end()) 118 .slice(Entries[EI].ByteOffset, getNumBytes(EI)); 119 } 120 ArrayRef<std::string> getComments(const Entry &E) const { 121 size_t EI = getIndex(E); 122 return ArrayRef(Comments).slice(Entries[EI].CommentOffset, 123 getNumComments(EI)); 124 } 125 126 private: 127 size_t getIndex(const List &L) const { 128 assert(&Lists.front() <= &L && &L <= &Lists.back() && 129 "Expected valid list"); 130 return &L - &Lists.front(); 131 } 132 size_t getIndex(const Entry &E) const { 133 assert(&Entries.front() <= &E && &E <= &Entries.back() && 134 "Expected valid entry"); 135 return &E - &Entries.front(); 136 } 137 size_t getNumEntries(size_t LI) const { 138 if (LI + 1 == Lists.size()) 139 return Entries.size() - Lists[LI].EntryOffset; 140 return Lists[LI + 1].EntryOffset - Lists[LI].EntryOffset; 141 } 142 size_t getNumBytes(size_t EI) const { 143 if (EI + 1 == Entries.size()) 144 return DWARFBytes.size() - Entries[EI].ByteOffset; 145 return Entries[EI + 1].ByteOffset - Entries[EI].ByteOffset; 146 } 147 size_t getNumComments(size_t EI) const { 148 if (EI + 1 == Entries.size()) 149 return Comments.size() - Entries[EI].CommentOffset; 150 return Entries[EI + 1].CommentOffset - Entries[EI].CommentOffset; 151 } 152 }; 153 154 /// Builder for DebugLocStream lists. 155 class DebugLocStream::ListBuilder { 156 DebugLocStream &Locs; 157 AsmPrinter &Asm; 158 DbgVariable &V; 159 const MachineInstr &MI; 160 size_t ListIndex; 161 std::optional<uint8_t> TagOffset; 162 163 public: 164 ListBuilder(DebugLocStream &Locs, DwarfCompileUnit &CU, AsmPrinter &Asm, 165 DbgVariable &V, const MachineInstr &MI) 166 : Locs(Locs), Asm(Asm), V(V), MI(MI), ListIndex(Locs.startList(&CU)), 167 TagOffset(std::nullopt) {} 168 169 void setTagOffset(uint8_t TO) { 170 TagOffset = TO; 171 } 172 173 /// Finalize the list. 174 /// 175 /// If the list is empty, delete it. Otherwise, finalize it by creating a 176 /// temp symbol in \a Asm and setting up the \a DbgVariable. 177 ~ListBuilder(); 178 179 DebugLocStream &getLocs() { return Locs; } 180 }; 181 182 /// Builder for DebugLocStream entries. 183 class DebugLocStream::EntryBuilder { 184 DebugLocStream &Locs; 185 186 public: 187 EntryBuilder(ListBuilder &List, const MCSymbol *Begin, const MCSymbol *End) 188 : Locs(List.getLocs()) { 189 Locs.startEntry(Begin, End); 190 } 191 192 /// Finalize the entry, deleting it if it's empty. 193 ~EntryBuilder() { Locs.finalizeEntry(); } 194 195 BufferByteStreamer getStreamer() { return Locs.getStreamer(); } 196 }; 197 198 } // namespace llvm 199 200 #endif 201