Add a TargetMachine hook that verifies DataLayout compatibility
[oota-llvm.git] / lib / CodeGen / AsmPrinter / DwarfUnit.h
1 //===-- llvm/CodeGen/DwarfUnit.h - Dwarf Compile Unit ---*- C++ -*--===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file contains support for writing dwarf compile unit.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFUNIT_H
15 #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFUNIT_H
16
17 #include "DwarfDebug.h"
18 #include "llvm/ADT/DenseMap.h"
19 #include "llvm/ADT/Optional.h"
20 #include "llvm/ADT/StringMap.h"
21 #include "llvm/CodeGen/AsmPrinter.h"
22 #include "llvm/CodeGen/DIE.h"
23 #include "llvm/IR/DIBuilder.h"
24 #include "llvm/IR/DebugInfo.h"
25 #include "llvm/MC/MCDwarf.h"
26 #include "llvm/MC/MCExpr.h"
27 #include "llvm/MC/MCSection.h"
28
29 namespace llvm {
30
31 class MachineLocation;
32 class MachineOperand;
33 class ConstantInt;
34 class ConstantFP;
35 class DbgVariable;
36 class DwarfCompileUnit;
37
38 // Data structure to hold a range for range lists.
39 class RangeSpan {
40 public:
41   RangeSpan(MCSymbol *S, MCSymbol *E) : Start(S), End(E) {}
42   const MCSymbol *getStart() const { return Start; }
43   const MCSymbol *getEnd() const { return End; }
44   void setEnd(const MCSymbol *E) { End = E; }
45
46 private:
47   const MCSymbol *Start, *End;
48 };
49
50 class RangeSpanList {
51 private:
52   // Index for locating within the debug_range section this particular span.
53   MCSymbol *RangeSym;
54   // List of ranges.
55   SmallVector<RangeSpan, 2> Ranges;
56
57 public:
58   RangeSpanList(MCSymbol *Sym, SmallVector<RangeSpan, 2> Ranges)
59       : RangeSym(Sym), Ranges(std::move(Ranges)) {}
60   MCSymbol *getSym() const { return RangeSym; }
61   const SmallVectorImpl<RangeSpan> &getRanges() const { return Ranges; }
62   void addRange(RangeSpan Range) { Ranges.push_back(Range); }
63 };
64
65 //===----------------------------------------------------------------------===//
66 /// This dwarf writer support class manages information associated with a
67 /// source file.
68 class DwarfUnit {
69 protected:
70   /// A numeric ID unique among all CUs in the module
71   unsigned UniqueID;
72
73   /// MDNode for the compile unit.
74   const DICompileUnit *CUNode;
75
76   // All DIEValues are allocated through this allocator.
77   BumpPtrAllocator DIEValueAllocator;
78
79   /// Unit debug information entry.
80   DIE &UnitDie;
81
82   /// Offset of the UnitDie from beginning of debug info section.
83   unsigned DebugInfoOffset;
84
85   /// Target of Dwarf emission.
86   AsmPrinter *Asm;
87
88   // Holders for some common dwarf information.
89   DwarfDebug *DD;
90   DwarfFile *DU;
91
92   /// An anonymous type for index type.  Owned by UnitDie.
93   DIE *IndexTyDie;
94
95   /// Tracks the mapping of unit level debug information variables to debug
96   /// information entries.
97   DenseMap<const MDNode *, DIE *> MDNodeToDieMap;
98
99   /// A list of all the DIEBlocks in use.
100   std::vector<DIEBlock *> DIEBlocks;
101
102   /// A list of all the DIELocs in use.
103   std::vector<DIELoc *> DIELocs;
104
105   /// This map is used to keep track of subprogram DIEs that need
106   /// DW_AT_containing_type attribute. This attribute points to a DIE that
107   /// corresponds to the MDNode mapped with the subprogram DIE.
108   DenseMap<DIE *, const DINode *> ContainingTypeMap;
109
110   /// The section this unit will be emitted in.
111   MCSection *Section;
112
113   DwarfUnit(unsigned UID, dwarf::Tag, const DICompileUnit *CU, AsmPrinter *A,
114             DwarfDebug *DW, DwarfFile *DWU);
115
116   /// Add a string attribute data and value.
117   ///
118   /// This is guaranteed to be in the local string pool instead of indirected.
119   void addLocalString(DIE &Die, dwarf::Attribute Attribute, StringRef Str);
120
121   void addIndexedString(DIE &Die, dwarf::Attribute Attribute, StringRef Str);
122
123   bool applySubprogramDefinitionAttributes(const DISubprogram *SP, DIE &SPDie);
124
125 public:
126   virtual ~DwarfUnit();
127
128   void initSection(MCSection *Section);
129
130   MCSection *getSection() const {
131     assert(Section);
132     return Section;
133   }
134
135   // Accessors.
136   AsmPrinter* getAsmPrinter() const { return Asm; }
137   unsigned getUniqueID() const { return UniqueID; }
138   uint16_t getLanguage() const { return CUNode->getSourceLanguage(); }
139   const DICompileUnit *getCUNode() const { return CUNode; }
140   DIE &getUnitDie() { return UnitDie; }
141
142   unsigned getDebugInfoOffset() const { return DebugInfoOffset; }
143   void setDebugInfoOffset(unsigned DbgInfoOff) { DebugInfoOffset = DbgInfoOff; }
144
145   /// Return true if this compile unit has something to write out.
146   bool hasContent() const { return UnitDie.hasChildren(); }
147
148   /// Get string containing language specific context for a global name.
149   ///
150   /// Walks the metadata parent chain in a language specific manner (using the
151   /// compile unit language) and returns it as a string. This is done at the
152   /// metadata level because DIEs may not currently have been added to the
153   /// parent context and walking the DIEs looking for names is more expensive
154   /// than walking the metadata.
155   std::string getParentContextString(const DIScope *Context) const;
156
157   /// Add a new global name to the compile unit.
158   virtual void addGlobalName(StringRef Name, DIE &Die, const DIScope *Context) {
159   }
160
161   /// Add a new global type to the compile unit.
162   virtual void addGlobalType(const DIType *Ty, const DIE &Die,
163                              const DIScope *Context) {}
164
165   /// Add a new name to the namespace accelerator table.
166   void addAccelNamespace(StringRef Name, const DIE &Die);
167
168   /// Returns the DIE map slot for the specified debug variable.
169   ///
170   /// We delegate the request to DwarfDebug when the MDNode can be part of the
171   /// type system, since DIEs for the type system can be shared across CUs and
172   /// the mappings are kept in DwarfDebug.
173   DIE *getDIE(const DINode *D) const;
174
175   /// Returns a fresh newly allocated DIELoc.
176   DIELoc *getDIELoc() { return new (DIEValueAllocator) DIELoc; }
177
178   /// Insert DIE into the map.
179   ///
180   /// We delegate the request to DwarfDebug when the MDNode can be part of the
181   /// type system, since DIEs for the type system can be shared across CUs and
182   /// the mappings are kept in DwarfDebug.
183   void insertDIE(const DINode *Desc, DIE *D);
184
185   /// Add a flag that is true to the DIE.
186   void addFlag(DIE &Die, dwarf::Attribute Attribute);
187
188   /// Add an unsigned integer attribute data and value.
189   void addUInt(DIE &Die, dwarf::Attribute Attribute, Optional<dwarf::Form> Form,
190                uint64_t Integer);
191
192   void addUInt(DIE &Block, dwarf::Form Form, uint64_t Integer);
193
194   /// Add an signed integer attribute data and value.
195   void addSInt(DIE &Die, dwarf::Attribute Attribute, Optional<dwarf::Form> Form,
196                int64_t Integer);
197
198   void addSInt(DIELoc &Die, Optional<dwarf::Form> Form, int64_t Integer);
199
200   /// Add a string attribute data and value.
201   ///
202   /// We always emit a reference to the string pool instead of immediate
203   /// strings so that DIEs have more predictable sizes. In the case of split
204   /// dwarf we emit an index into another table which gets us the static offset
205   /// into the string table.
206   void addString(DIE &Die, dwarf::Attribute Attribute, StringRef Str);
207
208   /// Add a Dwarf label attribute data and value.
209   DIE::value_iterator addLabel(DIE &Die, dwarf::Attribute Attribute,
210                                dwarf::Form Form, const MCSymbol *Label);
211
212   void addLabel(DIELoc &Die, dwarf::Form Form, const MCSymbol *Label);
213
214   /// Add an offset into a section attribute data and value.
215   void addSectionOffset(DIE &Die, dwarf::Attribute Attribute, uint64_t Integer);
216
217   /// Add a dwarf op address data and value using the form given and an
218   /// op of either DW_FORM_addr or DW_FORM_GNU_addr_index.
219   void addOpAddress(DIELoc &Die, const MCSymbol *Label);
220
221   /// Add a label delta attribute data and value.
222   void addLabelDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi,
223                      const MCSymbol *Lo);
224
225   /// Add a DIE attribute data and value.
226   void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry);
227
228   /// Add a DIE attribute data and value.
229   void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIEEntry Entry);
230
231   /// Add a type's DW_AT_signature and set the  declaration flag.
232   void addDIETypeSignature(DIE &Die, const DwarfTypeUnit &Type);
233   /// Add an attribute containing the type signature for a unique identifier.
234   void addDIETypeSignature(DIE &Die, dwarf::Attribute Attribute,
235                            StringRef Identifier);
236
237   /// Add block data.
238   void addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Block);
239
240   /// Add block data.
241   void addBlock(DIE &Die, dwarf::Attribute Attribute, DIEBlock *Block);
242
243   /// Add location information to specified debug information entry.
244   void addSourceLine(DIE &Die, unsigned Line, StringRef File,
245                      StringRef Directory);
246   void addSourceLine(DIE &Die, const DILocalVariable *V);
247   void addSourceLine(DIE &Die, const DIGlobalVariable *G);
248   void addSourceLine(DIE &Die, const DISubprogram *SP);
249   void addSourceLine(DIE &Die, const DIType *Ty);
250   void addSourceLine(DIE &Die, const DINamespace *NS);
251   void addSourceLine(DIE &Die, const DIObjCProperty *Ty);
252
253   /// Add constant value entry in variable DIE.
254   void addConstantValue(DIE &Die, const MachineOperand &MO, const DIType *Ty);
255   void addConstantValue(DIE &Die, const ConstantInt *CI, const DIType *Ty);
256   void addConstantValue(DIE &Die, const APInt &Val, const DIType *Ty);
257   void addConstantValue(DIE &Die, const APInt &Val, bool Unsigned);
258   void addConstantValue(DIE &Die, bool Unsigned, uint64_t Val);
259
260   /// Add constant value entry in variable DIE.
261   void addConstantFPValue(DIE &Die, const MachineOperand &MO);
262   void addConstantFPValue(DIE &Die, const ConstantFP *CFP);
263
264   /// Add a linkage name, if it isn't empty.
265   void addLinkageName(DIE &Die, StringRef LinkageName);
266
267   /// Add template parameters in buffer.
268   void addTemplateParams(DIE &Buffer, DINodeArray TParams);
269
270   /// Add register operand.
271   /// \returns false if the register does not exist, e.g., because it was never
272   /// materialized.
273   bool addRegisterOpPiece(DIELoc &TheDie, unsigned Reg,
274                           unsigned SizeInBits = 0, unsigned OffsetInBits = 0);
275
276   /// Add register offset.
277   /// \returns false if the register does not exist, e.g., because it was never
278   /// materialized.
279   bool addRegisterOffset(DIELoc &TheDie, unsigned Reg, int64_t Offset);
280
281   // FIXME: Should be reformulated in terms of addComplexAddress.
282   /// Start with the address based on the location provided, and generate the
283   /// DWARF information necessary to find the actual Block variable (navigating
284   /// the Block struct) based on the starting location.  Add the DWARF
285   /// information to the die.  Obsolete, please use addComplexAddress instead.
286   void addBlockByrefAddress(const DbgVariable &DV, DIE &Die,
287                             dwarf::Attribute Attribute,
288                             const MachineLocation &Location);
289
290   /// Add a new type attribute to the specified entity.
291   ///
292   /// This takes and attribute parameter because DW_AT_friend attributes are
293   /// also type references.
294   void addType(DIE &Entity, const DIType *Ty,
295                dwarf::Attribute Attribute = dwarf::DW_AT_type);
296
297   DIE *getOrCreateNameSpace(const DINamespace *NS);
298   DIE *getOrCreateModule(const DIModule *M);
299   DIE *getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal = false);
300
301   void applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie,
302                                  bool Minimal = false);
303
304   /// Find existing DIE or create new DIE for the given type.
305   DIE *getOrCreateTypeDIE(const MDNode *N);
306
307   /// Get context owner's DIE.
308   DIE *createTypeDIE(const DICompositeType *Ty);
309
310   /// Get context owner's DIE.
311   DIE *getOrCreateContextDIE(const DIScope *Context);
312
313   /// Construct DIEs for types that contain vtables.
314   void constructContainingTypeDIEs();
315
316   /// Construct function argument DIEs.
317   void constructSubprogramArguments(DIE &Buffer, DITypeRefArray Args);
318
319   /// Create a DIE with the given Tag, add the DIE to its parent, and
320   /// call insertDIE if MD is not null.
321   DIE &createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N = nullptr);
322
323   /// Compute the size of a header for this unit, not including the initial
324   /// length field.
325   virtual unsigned getHeaderSize() const {
326     return sizeof(int16_t) + // DWARF version number
327            sizeof(int32_t) + // Offset Into Abbrev. Section
328            sizeof(int8_t);   // Pointer Size (in bytes)
329   }
330
331   /// Emit the header for this unit, not including the initial length field.
332   virtual void emitHeader(bool UseOffsets);
333
334   virtual DwarfCompileUnit &getCU() = 0;
335
336   void constructTypeDIE(DIE &Buffer, const DICompositeType *CTy);
337
338 protected:
339   /// Create new static data member DIE.
340   DIE *getOrCreateStaticMemberDIE(const DIDerivedType *DT);
341
342   /// Look up the source ID with the given directory and source file names. If
343   /// none currently exists, create a new ID and insert it in the line table.
344   virtual unsigned getOrCreateSourceID(StringRef File, StringRef Directory) = 0;
345
346   /// Look in the DwarfDebug map for the MDNode that corresponds to the
347   /// reference.
348   template <typename T> T *resolve(TypedDINodeRef<T> Ref) const {
349     return DD->resolve(Ref);
350   }
351
352 private:
353   void constructTypeDIE(DIE &Buffer, const DIBasicType *BTy);
354   void constructTypeDIE(DIE &Buffer, const DIDerivedType *DTy);
355   void constructTypeDIE(DIE &Buffer, const DISubroutineType *DTy);
356   void constructSubrangeDIE(DIE &Buffer, const DISubrange *SR, DIE *IndexTy);
357   void constructArrayTypeDIE(DIE &Buffer, const DICompositeType *CTy);
358   void constructEnumTypeDIE(DIE &Buffer, const DICompositeType *CTy);
359   void constructMemberDIE(DIE &Buffer, const DIDerivedType *DT);
360   void constructTemplateTypeParameterDIE(DIE &Buffer,
361                                          const DITemplateTypeParameter *TP);
362   void constructTemplateValueParameterDIE(DIE &Buffer,
363                                           const DITemplateValueParameter *TVP);
364
365   /// Return the default lower bound for an array.
366   ///
367   /// If the DWARF version doesn't handle the language, return -1.
368   int64_t getDefaultLowerBound() const;
369
370   /// Get an anonymous type for index type.
371   DIE *getIndexTyDie();
372
373   /// Set D as anonymous type for index which can be reused later.
374   void setIndexTyDie(DIE *D) { IndexTyDie = D; }
375
376   /// If this is a named finished type then include it in the list of types for
377   /// the accelerator tables.
378   void updateAcceleratorTables(const DIScope *Context, const DIType *Ty,
379                                const DIE &TyDIE);
380
381   virtual bool isDwoUnit() const = 0;
382 };
383
384 class DwarfTypeUnit : public DwarfUnit {
385   uint64_t TypeSignature;
386   const DIE *Ty;
387   DwarfCompileUnit &CU;
388   MCDwarfDwoLineTable *SplitLineTable;
389
390   unsigned getOrCreateSourceID(StringRef File, StringRef Directory) override;
391   bool isDwoUnit() const override;
392
393 public:
394   DwarfTypeUnit(unsigned UID, DwarfCompileUnit &CU, AsmPrinter *A,
395                 DwarfDebug *DW, DwarfFile *DWU,
396                 MCDwarfDwoLineTable *SplitLineTable = nullptr);
397
398   void setTypeSignature(uint64_t Signature) { TypeSignature = Signature; }
399   uint64_t getTypeSignature() const { return TypeSignature; }
400   void setType(const DIE *Ty) { this->Ty = Ty; }
401
402   /// Emit the header for this unit, not including the initial length field.
403   void emitHeader(bool UseOffsets) override;
404   unsigned getHeaderSize() const override {
405     return DwarfUnit::getHeaderSize() + sizeof(uint64_t) + // Type Signature
406            sizeof(uint32_t);                               // Type DIE Offset
407   }
408   DwarfCompileUnit &getCU() override { return CU; }
409 };
410 } // end llvm namespace
411 #endif