• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- DWARFLinkerCompileUnit.h ---------------------------------*- 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_DWARFLINKER_DWARFLINKERCOMPILEUNIT_H
10 #define LLVM_DWARFLINKER_DWARFLINKERCOMPILEUNIT_H
11 
12 #include "llvm/ADT/IntervalMap.h"
13 #include "llvm/CodeGen/DIE.h"
14 #include "llvm/DebugInfo/DWARF/DWARFUnit.h"
15 #include "llvm/Support/DataExtractor.h"
16 
17 namespace llvm {
18 
19 class DeclContext;
20 
21 template <typename KeyT, typename ValT>
22 using HalfOpenIntervalMap =
23     IntervalMap<KeyT, ValT, IntervalMapImpl::NodeSizer<KeyT, ValT>::LeafSize,
24                 IntervalMapHalfOpenInfo<KeyT>>;
25 
26 using FunctionIntervals = HalfOpenIntervalMap<uint64_t, int64_t>;
27 
28 // FIXME: Delete this structure.
29 struct PatchLocation {
30   DIE::value_iterator I;
31 
32   PatchLocation() = default;
PatchLocationPatchLocation33   PatchLocation(DIE::value_iterator I) : I(I) {}
34 
setPatchLocation35   void set(uint64_t New) const {
36     assert(I);
37     const auto &Old = *I;
38     assert(Old.getType() == DIEValue::isInteger);
39     *I = DIEValue(Old.getAttribute(), Old.getForm(), DIEInteger(New));
40   }
41 
getPatchLocation42   uint64_t get() const {
43     assert(I);
44     return I->getDIEInteger().getValue();
45   }
46 };
47 
48 /// Stores all information relating to a compile unit, be it in its original
49 /// instance in the object file to its brand new cloned and generated DIE tree.
50 class CompileUnit {
51 public:
52   /// Information gathered about a DIE in the object file.
53   struct DIEInfo {
54     /// Address offset to apply to the described entity.
55     int64_t AddrAdjust;
56 
57     /// ODR Declaration context.
58     DeclContext *Ctxt;
59 
60     /// Cloned version of that DIE.
61     DIE *Clone;
62 
63     /// The index of this DIE's parent.
64     uint32_t ParentIdx;
65 
66     /// Is the DIE part of the linked output?
67     bool Keep : 1;
68 
69     /// Was this DIE's entity found in the map?
70     bool InDebugMap : 1;
71 
72     /// Is this a pure forward declaration we can strip?
73     bool Prune : 1;
74 
75     /// Does DIE transitively refer an incomplete decl?
76     bool Incomplete : 1;
77   };
78 
CompileUnit(DWARFUnit & OrigUnit,unsigned ID,bool CanUseODR,StringRef ClangModuleName)79   CompileUnit(DWARFUnit &OrigUnit, unsigned ID, bool CanUseODR,
80               StringRef ClangModuleName)
81       : OrigUnit(OrigUnit), ID(ID), Ranges(RangeAlloc),
82         ClangModuleName(ClangModuleName) {
83     Info.resize(OrigUnit.getNumDIEs());
84 
85     auto CUDie = OrigUnit.getUnitDIE(false);
86     if (!CUDie) {
87       HasODR = false;
88       return;
89     }
90     if (auto Lang = dwarf::toUnsigned(CUDie.find(dwarf::DW_AT_language)))
91       HasODR = CanUseODR && (*Lang == dwarf::DW_LANG_C_plus_plus ||
92                              *Lang == dwarf::DW_LANG_C_plus_plus_03 ||
93                              *Lang == dwarf::DW_LANG_C_plus_plus_11 ||
94                              *Lang == dwarf::DW_LANG_C_plus_plus_14 ||
95                              *Lang == dwarf::DW_LANG_ObjC_plus_plus);
96     else
97       HasODR = false;
98   }
99 
getOrigUnit()100   DWARFUnit &getOrigUnit() const { return OrigUnit; }
101 
getUniqueID()102   unsigned getUniqueID() const { return ID; }
103 
createOutputDIE()104   void createOutputDIE() {
105     NewUnit.emplace(OrigUnit.getVersion(), OrigUnit.getAddressByteSize(),
106                     OrigUnit.getUnitDIE().getTag());
107   }
108 
getOutputUnitDIE()109   DIE *getOutputUnitDIE() const {
110     if (NewUnit)
111       return &const_cast<BasicDIEUnit &>(*NewUnit).getUnitDie();
112     return nullptr;
113   }
114 
hasODR()115   bool hasODR() const { return HasODR; }
isClangModule()116   bool isClangModule() const { return !ClangModuleName.empty(); }
117   uint16_t getLanguage();
118 
getClangModuleName()119   const std::string &getClangModuleName() const { return ClangModuleName; }
120 
getInfo(unsigned Idx)121   DIEInfo &getInfo(unsigned Idx) { return Info[Idx]; }
getInfo(unsigned Idx)122   const DIEInfo &getInfo(unsigned Idx) const { return Info[Idx]; }
123 
getStartOffset()124   uint64_t getStartOffset() const { return StartOffset; }
getNextUnitOffset()125   uint64_t getNextUnitOffset() const { return NextUnitOffset; }
setStartOffset(uint64_t DebugInfoSize)126   void setStartOffset(uint64_t DebugInfoSize) { StartOffset = DebugInfoSize; }
127 
getLowPc()128   uint64_t getLowPc() const { return LowPc; }
getHighPc()129   uint64_t getHighPc() const { return HighPc; }
hasLabelAt(uint64_t Addr)130   bool hasLabelAt(uint64_t Addr) const { return Labels.count(Addr); }
131 
getUnitRangesAttribute()132   Optional<PatchLocation> getUnitRangesAttribute() const {
133     return UnitRangeAttribute;
134   }
135 
getFunctionRanges()136   const FunctionIntervals &getFunctionRanges() const { return Ranges; }
137 
getRangesAttributes()138   const std::vector<PatchLocation> &getRangesAttributes() const {
139     return RangeAttributes;
140   }
141 
142   const std::vector<std::pair<PatchLocation, int64_t>> &
getLocationAttributes()143   getLocationAttributes() const {
144     return LocationAttributes;
145   }
146 
setHasInterestingContent()147   void setHasInterestingContent() { HasInterestingContent = true; }
hasInterestingContent()148   bool hasInterestingContent() { return HasInterestingContent; }
149 
150   /// Mark every DIE in this unit as kept. This function also
151   /// marks variables as InDebugMap so that they appear in the
152   /// reconstructed accelerator tables.
153   void markEverythingAsKept();
154 
155   /// Compute the end offset for this unit. Must be called after the CU's DIEs
156   /// have been cloned.  \returns the next unit offset (which is also the
157   /// current debug_info section size).
158   uint64_t computeNextUnitOffset();
159 
160   /// Keep track of a forward reference to DIE \p Die in \p RefUnit by \p
161   /// Attr. The attribute should be fixed up later to point to the absolute
162   /// offset of \p Die in the debug_info section or to the canonical offset of
163   /// \p Ctxt if it is non-null.
164   void noteForwardReference(DIE *Die, const CompileUnit *RefUnit,
165                             DeclContext *Ctxt, PatchLocation Attr);
166 
167   /// Apply all fixups recorded by noteForwardReference().
168   void fixupForwardReferences();
169 
170   /// Add the low_pc of a label that is relocated by applying
171   /// offset \p PCOffset.
172   void addLabelLowPc(uint64_t LabelLowPc, int64_t PcOffset);
173 
174   /// Add a function range [\p LowPC, \p HighPC) that is relocated by applying
175   /// offset \p PCOffset.
176   void addFunctionRange(uint64_t LowPC, uint64_t HighPC, int64_t PCOffset);
177 
178   /// Keep track of a DW_AT_range attribute that we will need to patch up later.
179   void noteRangeAttribute(const DIE &Die, PatchLocation Attr);
180 
181   /// Keep track of a location attribute pointing to a location list in the
182   /// debug_loc section.
183   void noteLocationAttribute(PatchLocation Attr, int64_t PcOffset);
184 
185   /// Add a name accelerator entry for \a Die with \a Name.
186   void addNamespaceAccelerator(const DIE *Die, DwarfStringPoolEntryRef Name);
187 
188   /// Add a name accelerator entry for \a Die with \a Name.
189   void addNameAccelerator(const DIE *Die, DwarfStringPoolEntryRef Name,
190                           bool SkipPubnamesSection = false);
191 
192   /// Add various accelerator entries for \p Die with \p Name which is stored
193   /// in the string table at \p Offset. \p Name must be an Objective-C
194   /// selector.
195   void addObjCAccelerator(const DIE *Die, DwarfStringPoolEntryRef Name,
196                           bool SkipPubnamesSection = false);
197 
198   /// Add a type accelerator entry for \p Die with \p Name which is stored in
199   /// the string table at \p Offset.
200   void addTypeAccelerator(const DIE *Die, DwarfStringPoolEntryRef Name,
201                           bool ObjcClassImplementation,
202                           uint32_t QualifiedNameHash);
203 
204   struct AccelInfo {
205     /// Name of the entry.
206     DwarfStringPoolEntryRef Name;
207 
208     /// DIE this entry describes.
209     const DIE *Die;
210 
211     /// Hash of the fully qualified name.
212     uint32_t QualifiedNameHash;
213 
214     /// Emit this entry only in the apple_* sections.
215     bool SkipPubSection;
216 
217     /// Is this an ObjC class implementation?
218     bool ObjcClassImplementation;
219 
220     AccelInfo(DwarfStringPoolEntryRef Name, const DIE *Die,
221               bool SkipPubSection = false)
NameAccelInfo222         : Name(Name), Die(Die), SkipPubSection(SkipPubSection) {}
223 
AccelInfoAccelInfo224     AccelInfo(DwarfStringPoolEntryRef Name, const DIE *Die,
225               uint32_t QualifiedNameHash, bool ObjCClassIsImplementation)
226         : Name(Name), Die(Die), QualifiedNameHash(QualifiedNameHash),
227           SkipPubSection(false),
228           ObjcClassImplementation(ObjCClassIsImplementation) {}
229   };
230 
getPubnames()231   const std::vector<AccelInfo> &getPubnames() const { return Pubnames; }
getPubtypes()232   const std::vector<AccelInfo> &getPubtypes() const { return Pubtypes; }
getNamespaces()233   const std::vector<AccelInfo> &getNamespaces() const { return Namespaces; }
getObjC()234   const std::vector<AccelInfo> &getObjC() const { return ObjC; }
235 
236   /// Get the full path for file \a FileNum in the line table
getResolvedPath(unsigned FileNum)237   StringRef getResolvedPath(unsigned FileNum) {
238     if (FileNum >= ResolvedPaths.size())
239       return StringRef();
240     return ResolvedPaths[FileNum];
241   }
242 
243   /// Set the fully resolved path for the line-table's file \a FileNum
244   /// to \a Path.
setResolvedPath(unsigned FileNum,StringRef Path)245   void setResolvedPath(unsigned FileNum, StringRef Path) {
246     if (ResolvedPaths.size() <= FileNum)
247       ResolvedPaths.resize(FileNum + 1);
248     ResolvedPaths[FileNum] = Path;
249   }
250 
getLabelBegin()251   MCSymbol *getLabelBegin() { return LabelBegin; }
setLabelBegin(MCSymbol * S)252   void setLabelBegin(MCSymbol *S) { LabelBegin = S; }
253 
254 private:
255   DWARFUnit &OrigUnit;
256   unsigned ID;
257   std::vector<DIEInfo> Info; ///< DIE info indexed by DIE index.
258   Optional<BasicDIEUnit> NewUnit;
259   MCSymbol *LabelBegin = nullptr;
260 
261   uint64_t StartOffset;
262   uint64_t NextUnitOffset;
263 
264   uint64_t LowPc = std::numeric_limits<uint64_t>::max();
265   uint64_t HighPc = 0;
266 
267   /// A list of attributes to fixup with the absolute offset of
268   /// a DIE in the debug_info section.
269   ///
270   /// The offsets for the attributes in this array couldn't be set while
271   /// cloning because for cross-cu forward references the target DIE's offset
272   /// isn't known you emit the reference attribute.
273   std::vector<
274       std::tuple<DIE *, const CompileUnit *, DeclContext *, PatchLocation>>
275       ForwardDIEReferences;
276 
277   FunctionIntervals::Allocator RangeAlloc;
278 
279   /// The ranges in that interval map are the PC ranges for
280   /// functions in this unit, associated with the PC offset to apply
281   /// to the addresses to get the linked address.
282   FunctionIntervals Ranges;
283 
284   /// The DW_AT_low_pc of each DW_TAG_label.
285   SmallDenseMap<uint64_t, uint64_t, 1> Labels;
286 
287   /// DW_AT_ranges attributes to patch after we have gathered
288   /// all the unit's function addresses.
289   /// @{
290   std::vector<PatchLocation> RangeAttributes;
291   Optional<PatchLocation> UnitRangeAttribute;
292   /// @}
293 
294   /// Location attributes that need to be transferred from the
295   /// original debug_loc section to the liked one. They are stored
296   /// along with the PC offset that is to be applied to their
297   /// function's address.
298   std::vector<std::pair<PatchLocation, int64_t>> LocationAttributes;
299 
300   /// Accelerator entries for the unit, both for the pub*
301   /// sections and the apple* ones.
302   /// @{
303   std::vector<AccelInfo> Pubnames;
304   std::vector<AccelInfo> Pubtypes;
305   std::vector<AccelInfo> Namespaces;
306   std::vector<AccelInfo> ObjC;
307   /// @}
308 
309   /// Cached resolved paths from the line table.
310   /// Note, the StringRefs here point in to the intern (uniquing) string pool.
311   /// This means that a StringRef returned here doesn't need to then be uniqued
312   /// for the purposes of getting a unique address for each string.
313   std::vector<StringRef> ResolvedPaths;
314 
315   /// Is this unit subject to the ODR rule?
316   bool HasODR;
317 
318   /// Did a DIE actually contain a valid reloc?
319   bool HasInterestingContent;
320 
321   /// The DW_AT_language of this unit.
322   uint16_t Language = 0;
323 
324   /// If this is a Clang module, this holds the module's name.
325   std::string ClangModuleName;
326 };
327 
328 } // end namespace llvm
329 
330 #endif // LLVM_DWARFLINKER_DWARFLINKERCOMPILEUNIT_H
331