LLVM  14.0.0git
DIBuilder.h
Go to the documentation of this file.
1 //===- DIBuilder.h - Debug Information Builder ------------------*- 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 // This file defines a DIBuilder that is useful for creating debugging
10 // information entries in LLVM IR form.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_IR_DIBUILDER_H
15 #define LLVM_IR_DIBUILDER_H
16 
17 #include "llvm/ADT/ArrayRef.h"
18 #include "llvm/ADT/DenseMap.h"
19 #include "llvm/ADT/MapVector.h"
20 #include "llvm/ADT/Optional.h"
21 #include "llvm/ADT/SetVector.h"
22 #include "llvm/ADT/SmallVector.h"
23 #include "llvm/ADT/StringRef.h"
24 #include "llvm/IR/DebugInfo.h"
26 #include "llvm/IR/TrackingMDRef.h"
27 #include "llvm/Support/Casting.h"
28 #include <algorithm>
29 #include <cstdint>
30 
31 namespace llvm {
32 
33  class BasicBlock;
34  class Constant;
35  class Function;
36  class Instruction;
37  class LLVMContext;
38  class Module;
39  class Value;
40 
41  class DIBuilder {
42  Module &M;
43  LLVMContext &VMContext;
44 
45  DICompileUnit *CUNode; ///< The one compile unit created by this DIBuiler.
46  Function *DeclareFn; ///< llvm.dbg.declare
47  Function *ValueFn; ///< llvm.dbg.value
48  Function *LabelFn; ///< llvm.dbg.label
49 
50  SmallVector<Metadata *, 4> AllEnumTypes;
51  /// Track the RetainTypes, since they can be updated later on.
52  SmallVector<TrackingMDNodeRef, 4> AllRetainTypes;
53  SmallVector<Metadata *, 4> AllSubprograms;
55  SmallVector<TrackingMDNodeRef, 4> AllImportedModules;
56  /// Map Macro parent (which can be DIMacroFile or nullptr) to a list of
57  /// Metadata all of type DIMacroNode.
58  /// DIMacroNode's with nullptr parent are DICompileUnit direct children.
60 
61  /// Track nodes that may be unresolved.
62  SmallVector<TrackingMDNodeRef, 4> UnresolvedNodes;
63  bool AllowUnresolvedNodes;
64 
65  /// Each subprogram's preserved local variables.
66  ///
67  /// Do not use a std::vector. Some versions of libc++ apparently copy
68  /// instead of move on grow operations, and TrackingMDRef is expensive to
69  /// copy.
71 
72  /// Each subprogram's preserved labels.
74 
75  /// Create a temporary.
76  ///
77  /// Create an \a temporary node and track it in \a UnresolvedNodes.
78  void trackIfUnresolved(MDNode *N);
79 
80  /// Internal helper for insertDeclare.
81  Instruction *insertDeclare(llvm::Value *Storage, DILocalVariable *VarInfo,
82  DIExpression *Expr, const DILocation *DL,
83  BasicBlock *InsertBB, Instruction *InsertBefore);
84 
85  /// Internal helper for insertLabel.
86  Instruction *insertLabel(DILabel *LabelInfo, const DILocation *DL,
87  BasicBlock *InsertBB, Instruction *InsertBefore);
88 
89  /// Internal helper for insertDbgValueIntrinsic.
90  Instruction *
91  insertDbgValueIntrinsic(llvm::Value *Val, DILocalVariable *VarInfo,
92  DIExpression *Expr, const DILocation *DL,
93  BasicBlock *InsertBB, Instruction *InsertBefore);
94 
95  public:
96  /// Construct a builder for a module.
97  ///
98  /// If \c AllowUnresolved, collect unresolved nodes attached to the module
99  /// in order to resolve cycles during \a finalize().
100  ///
101  /// If \p CU is given a value other than nullptr, then set \p CUNode to CU.
102  explicit DIBuilder(Module &M, bool AllowUnresolved = true,
103  DICompileUnit *CU = nullptr);
104  DIBuilder(const DIBuilder &) = delete;
105  DIBuilder &operator=(const DIBuilder &) = delete;
106 
107  /// Construct any deferred debug info descriptors.
108  void finalize();
109 
110  /// Finalize a specific subprogram - no new variables may be added to this
111  /// subprogram afterwards.
113 
114  /// A CompileUnit provides an anchor for all debugging
115  /// information generated during this instance of compilation.
116  /// \param Lang Source programming language, eg. dwarf::DW_LANG_C99
117  /// \param File File info.
118  /// \param Producer Identify the producer of debugging information
119  /// and code. Usually this is a compiler
120  /// version string.
121  /// \param isOptimized A boolean flag which indicates whether optimization
122  /// is enabled or not.
123  /// \param Flags This string lists command line options. This
124  /// string is directly embedded in debug info
125  /// output which may be used by a tool
126  /// analyzing generated debugging information.
127  /// \param RV This indicates runtime version for languages like
128  /// Objective-C.
129  /// \param SplitName The name of the file that we'll split debug info
130  /// out into.
131  /// \param Kind The kind of debug information to generate.
132  /// \param DWOId The DWOId if this is a split skeleton compile unit.
133  /// \param SplitDebugInlining Whether to emit inline debug info.
134  /// \param DebugInfoForProfiling Whether to emit extra debug info for
135  /// profile collection.
136  /// \param NameTableKind Whether to emit .debug_gnu_pubnames,
137  /// .debug_pubnames, or no pubnames at all.
138  /// \param SysRoot The clang system root (value of -isysroot).
139  /// \param SDK The SDK name. On Darwin, this is the last component
140  /// of the sysroot.
141  DICompileUnit *
142  createCompileUnit(unsigned Lang, DIFile *File, StringRef Producer,
143  bool isOptimized, StringRef Flags, unsigned RV,
144  StringRef SplitName = StringRef(),
146  DICompileUnit::DebugEmissionKind::FullDebug,
147  uint64_t DWOId = 0, bool SplitDebugInlining = true,
148  bool DebugInfoForProfiling = false,
151  bool RangesBaseAddress = false, StringRef SysRoot = {},
152  StringRef SDK = {});
153 
154  /// Create a file descriptor to hold debugging information for a file.
155  /// \param Filename File name.
156  /// \param Directory Directory.
157  /// \param Checksum Optional checksum kind (e.g. CSK_MD5, CSK_SHA1, etc.)
158  /// and value.
159  /// \param Source Optional source text.
160  DIFile *
161  createFile(StringRef Filename, StringRef Directory,
164 
165  /// Create debugging information entry for a macro.
166  /// \param Parent Macro parent (could be nullptr).
167  /// \param Line Source line number where the macro is defined.
168  /// \param MacroType DW_MACINFO_define or DW_MACINFO_undef.
169  /// \param Name Macro name.
170  /// \param Value Macro value.
171  DIMacro *createMacro(DIMacroFile *Parent, unsigned Line, unsigned MacroType,
173 
174  /// Create debugging information temporary entry for a macro file.
175  /// List of macro node direct children will be calculated by DIBuilder,
176  /// using the \p Parent relationship.
177  /// \param Parent Macro file parent (could be nullptr).
178  /// \param Line Source line number where the macro file is included.
179  /// \param File File descriptor containing the name of the macro file.
180  DIMacroFile *createTempMacroFile(DIMacroFile *Parent, unsigned Line,
181  DIFile *File);
182 
183  /// Create a single enumerator value.
186  bool IsUnsigned = false);
187 
188  /// Create a DWARF unspecified type.
190 
191  /// Create C++11 nullptr type.
193 
194  /// Create debugging information entry for a basic
195  /// type.
196  /// \param Name Type name.
197  /// \param SizeInBits Size of the type.
198  /// \param Encoding DWARF encoding code, e.g., dwarf::DW_ATE_float.
199  /// \param Flags Optional DWARF attributes, e.g., DW_AT_endianity.
200  DIBasicType *createBasicType(StringRef Name, uint64_t SizeInBits,
201  unsigned Encoding,
202  DINode::DIFlags Flags = DINode::FlagZero);
203 
204  /// Create debugging information entry for a string
205  /// type.
206  /// \param Name Type name.
207  /// \param SizeInBits Size of the type.
208  DIStringType *createStringType(StringRef Name, uint64_t SizeInBits);
209 
210  /// Create debugging information entry for a qualified
211  /// type, e.g. 'const int'.
212  /// \param Tag Tag identifing type, e.g. dwarf::TAG_volatile_type
213  /// \param FromTy Base Type.
214  DIDerivedType *createQualifiedType(unsigned Tag, DIType *FromTy);
215 
216  /// Create debugging information entry for a pointer.
217  /// \param PointeeTy Type pointed by this pointer.
218  /// \param SizeInBits Size.
219  /// \param AlignInBits Alignment. (optional)
220  /// \param DWARFAddressSpace DWARF address space. (optional)
221  /// \param Name Pointer type name. (optional)
222  DIDerivedType *createPointerType(DIType *PointeeTy, uint64_t SizeInBits,
223  uint32_t AlignInBits = 0,
224  Optional<unsigned> DWARFAddressSpace =
225  None,
226  StringRef Name = "");
227 
228  /// Create debugging information entry for a pointer to member.
229  /// \param PointeeTy Type pointed to by this pointer.
230  /// \param SizeInBits Size.
231  /// \param AlignInBits Alignment. (optional)
232  /// \param Class Type for which this pointer points to members of.
233  DIDerivedType *
234  createMemberPointerType(DIType *PointeeTy, DIType *Class,
235  uint64_t SizeInBits, uint32_t AlignInBits = 0,
236  DINode::DIFlags Flags = DINode::FlagZero);
237 
238  /// Create debugging information entry for a c++
239  /// style reference or rvalue reference type.
240  DIDerivedType *createReferenceType(unsigned Tag, DIType *RTy,
241  uint64_t SizeInBits = 0,
242  uint32_t AlignInBits = 0,
243  Optional<unsigned> DWARFAddressSpace =
244  None);
245 
246  /// Create debugging information entry for a typedef.
247  /// \param Ty Original type.
248  /// \param Name Typedef name.
249  /// \param File File where this type is defined.
250  /// \param LineNo Line number.
251  /// \param Context The surrounding context for the typedef.
252  /// \param AlignInBits Alignment. (optional)
254  unsigned LineNo, DIScope *Context,
255  uint32_t AlignInBits = 0);
256 
257  /// Create debugging information entry for a 'friend'.
258  DIDerivedType *createFriend(DIType *Ty, DIType *FriendTy);
259 
260  /// Create debugging information entry to establish
261  /// inheritance relationship between two types.
262  /// \param Ty Original type.
263  /// \param BaseTy Base type. Ty is inherits from base.
264  /// \param BaseOffset Base offset.
265  /// \param VBPtrOffset Virtual base pointer offset.
266  /// \param Flags Flags to describe inheritance attribute,
267  /// e.g. private
269  uint64_t BaseOffset, uint32_t VBPtrOffset,
270  DINode::DIFlags Flags);
271 
272  /// Create debugging information entry for a member.
273  /// \param Scope Member scope.
274  /// \param Name Member name.
275  /// \param File File where this member is defined.
276  /// \param LineNo Line number.
277  /// \param SizeInBits Member size.
278  /// \param AlignInBits Member alignment.
279  /// \param OffsetInBits Member offset.
280  /// \param Flags Flags to encode member attribute, e.g. private
281  /// \param Ty Parent type.
283  DIFile *File, unsigned LineNo,
284  uint64_t SizeInBits,
285  uint32_t AlignInBits,
286  uint64_t OffsetInBits,
287  DINode::DIFlags Flags, DIType *Ty);
288 
289  /// Create debugging information entry for a variant. A variant
290  /// normally should be a member of a variant part.
291  /// \param Scope Member scope.
292  /// \param Name Member name.
293  /// \param File File where this member is defined.
294  /// \param LineNo Line number.
295  /// \param SizeInBits Member size.
296  /// \param AlignInBits Member alignment.
297  /// \param OffsetInBits Member offset.
298  /// \param Flags Flags to encode member attribute, e.g. private
299  /// \param Discriminant The discriminant for this branch; null for
300  /// the default branch
301  /// \param Ty Parent type.
303  DIFile *File, unsigned LineNo,
304  uint64_t SizeInBits,
305  uint32_t AlignInBits,
306  uint64_t OffsetInBits,
307  Constant *Discriminant,
308  DINode::DIFlags Flags, DIType *Ty);
309 
310  /// Create debugging information entry for a bit field member.
311  /// \param Scope Member scope.
312  /// \param Name Member name.
313  /// \param File File where this member is defined.
314  /// \param LineNo Line number.
315  /// \param SizeInBits Member size.
316  /// \param OffsetInBits Member offset.
317  /// \param StorageOffsetInBits Member storage offset.
318  /// \param Flags Flags to encode member attribute.
319  /// \param Ty Parent type.
321  DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo,
322  uint64_t SizeInBits, uint64_t OffsetInBits,
323  uint64_t StorageOffsetInBits, DINode::DIFlags Flags, DIType *Ty);
324 
325  /// Create debugging information entry for a
326  /// C++ static data member.
327  /// \param Scope Member scope.
328  /// \param Name Member name.
329  /// \param File File where this member is declared.
330  /// \param LineNo Line number.
331  /// \param Ty Type of the static member.
332  /// \param Flags Flags to encode member attribute, e.g. private.
333  /// \param Val Const initializer of the member.
334  /// \param AlignInBits Member alignment.
336  DIFile *File, unsigned LineNo,
337  DIType *Ty, DINode::DIFlags Flags,
338  Constant *Val,
339  uint32_t AlignInBits = 0);
340 
341  /// Create debugging information entry for Objective-C
342  /// instance variable.
343  /// \param Name Member name.
344  /// \param File File where this member is defined.
345  /// \param LineNo Line number.
346  /// \param SizeInBits Member size.
347  /// \param AlignInBits Member alignment.
348  /// \param OffsetInBits Member offset.
349  /// \param Flags Flags to encode member attribute, e.g. private
350  /// \param Ty Parent type.
351  /// \param PropertyNode Property associated with this ivar.
353  uint64_t SizeInBits, uint32_t AlignInBits,
354  uint64_t OffsetInBits, DINode::DIFlags Flags,
355  DIType *Ty, MDNode *PropertyNode);
356 
357  /// Create debugging information entry for Objective-C
358  /// property.
359  /// \param Name Property name.
360  /// \param File File where this property is defined.
361  /// \param LineNumber Line number.
362  /// \param GetterName Name of the Objective C property getter selector.
363  /// \param SetterName Name of the Objective C property setter selector.
364  /// \param PropertyAttributes Objective C property attributes.
365  /// \param Ty Type.
367  unsigned LineNumber,
368  StringRef GetterName,
369  StringRef SetterName,
370  unsigned PropertyAttributes, DIType *Ty);
371 
372  /// Create debugging information entry for a class.
373  /// \param Scope Scope in which this class is defined.
374  /// \param Name class name.
375  /// \param File File where this member is defined.
376  /// \param LineNumber Line number.
377  /// \param SizeInBits Member size.
378  /// \param AlignInBits Member alignment.
379  /// \param OffsetInBits Member offset.
380  /// \param Flags Flags to encode member attribute, e.g. private
381  /// \param Elements class members.
382  /// \param VTableHolder Debug info of the base class that contains vtable
383  /// for this type. This is used in
384  /// DW_AT_containing_type. See DWARF documentation
385  /// for more info.
386  /// \param TemplateParms Template type parameters.
387  /// \param UniqueIdentifier A unique identifier for the class.
389  DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber,
390  uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits,
391  DINode::DIFlags Flags, DIType *DerivedFrom, DINodeArray Elements,
392  DIType *VTableHolder = nullptr, MDNode *TemplateParms = nullptr,
393  StringRef UniqueIdentifier = "");
394 
395  /// Create debugging information entry for a struct.
396  /// \param Scope Scope in which this struct is defined.
397  /// \param Name Struct name.
398  /// \param File File where this member is defined.
399  /// \param LineNumber Line number.
400  /// \param SizeInBits Member size.
401  /// \param AlignInBits Member alignment.
402  /// \param Flags Flags to encode member attribute, e.g. private
403  /// \param Elements Struct elements.
404  /// \param RunTimeLang Optional parameter, Objective-C runtime version.
405  /// \param UniqueIdentifier A unique identifier for the struct.
407  DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber,
408  uint64_t SizeInBits, uint32_t AlignInBits, DINode::DIFlags Flags,
409  DIType *DerivedFrom, DINodeArray Elements, unsigned RunTimeLang = 0,
410  DIType *VTableHolder = nullptr, StringRef UniqueIdentifier = "");
411 
412  /// Create debugging information entry for an union.
413  /// \param Scope Scope in which this union is defined.
414  /// \param Name Union name.
415  /// \param File File where this member is defined.
416  /// \param LineNumber Line number.
417  /// \param SizeInBits Member size.
418  /// \param AlignInBits Member alignment.
419  /// \param Flags Flags to encode member attribute, e.g. private
420  /// \param Elements Union elements.
421  /// \param RunTimeLang Optional parameter, Objective-C runtime version.
422  /// \param UniqueIdentifier A unique identifier for the union.
424  DIFile *File, unsigned LineNumber,
425  uint64_t SizeInBits, uint32_t AlignInBits,
426  DINode::DIFlags Flags,
427  DINodeArray Elements,
428  unsigned RunTimeLang = 0,
429  StringRef UniqueIdentifier = "");
430 
431  /// Create debugging information entry for a variant part. A
432  /// variant part normally has a discriminator (though this is not
433  /// required) and a number of variant children.
434  /// \param Scope Scope in which this union is defined.
435  /// \param Name Union name.
436  /// \param File File where this member is defined.
437  /// \param LineNumber Line number.
438  /// \param SizeInBits Member size.
439  /// \param AlignInBits Member alignment.
440  /// \param Flags Flags to encode member attribute, e.g. private
441  /// \param Discriminator Discriminant member
442  /// \param Elements Variant elements.
443  /// \param UniqueIdentifier A unique identifier for the union.
445  DIFile *File, unsigned LineNumber,
446  uint64_t SizeInBits, uint32_t AlignInBits,
447  DINode::DIFlags Flags,
448  DIDerivedType *Discriminator,
449  DINodeArray Elements,
450  StringRef UniqueIdentifier = "");
451 
452  /// Create debugging information for template
453  /// type parameter.
454  /// \param Scope Scope in which this type is defined.
455  /// \param Name Type parameter name.
456  /// \param Ty Parameter type.
457  /// \param IsDefault Parameter is default or not
459  StringRef Name,
460  DIType *Ty,
461  bool IsDefault);
462 
463  /// Create debugging information for template
464  /// value parameter.
465  /// \param Scope Scope in which this type is defined.
466  /// \param Name Value parameter name.
467  /// \param Ty Parameter type.
468  /// \param IsDefault Parameter is default or not
469  /// \param Val Constant parameter value.
472  bool IsDefault, Constant *Val);
473 
474  /// Create debugging information for a template template parameter.
475  /// \param Scope Scope in which this type is defined.
476  /// \param Name Value parameter name.
477  /// \param Ty Parameter type.
478  /// \param Val The fully qualified name of the template.
480  StringRef Name,
481  DIType *Ty,
482  StringRef Val);
483 
484  /// Create debugging information for a template parameter pack.
485  /// \param Scope Scope in which this type is defined.
486  /// \param Name Value parameter name.
487  /// \param Ty Parameter type.
488  /// \param Val An array of types in the pack.
490  StringRef Name,
491  DIType *Ty,
492  DINodeArray Val);
493 
494  /// Create debugging information entry for an array.
495  /// \param Size Array size.
496  /// \param AlignInBits Alignment.
497  /// \param Ty Element type.
498  /// \param Subscripts Subscripts.
499  /// \param DataLocation The location of the raw data of a descriptor-based
500  /// Fortran array, either a DIExpression* or
501  /// a DIVariable*.
502  /// \param Associated The associated attribute of a descriptor-based
503  /// Fortran array, either a DIExpression* or
504  /// a DIVariable*.
505  /// \param Allocated The allocated attribute of a descriptor-based
506  /// Fortran array, either a DIExpression* or
507  /// a DIVariable*.
508  /// \param Rank The rank attribute of a descriptor-based
509  /// Fortran array, either a DIExpression* or
510  /// a DIVariable*.
512  uint64_t Size, uint32_t AlignInBits, DIType *Ty, DINodeArray Subscripts,
513  PointerUnion<DIExpression *, DIVariable *> DataLocation = nullptr,
514  PointerUnion<DIExpression *, DIVariable *> Associated = nullptr,
515  PointerUnion<DIExpression *, DIVariable *> Allocated = nullptr,
517 
518  /// Create debugging information entry for a vector type.
519  /// \param Size Array size.
520  /// \param AlignInBits Alignment.
521  /// \param Ty Element type.
522  /// \param Subscripts Subscripts.
523  DICompositeType *createVectorType(uint64_t Size, uint32_t AlignInBits,
524  DIType *Ty, DINodeArray Subscripts);
525 
526  /// Create debugging information entry for an
527  /// enumeration.
528  /// \param Scope Scope in which this enumeration is defined.
529  /// \param Name Union name.
530  /// \param File File where this member is defined.
531  /// \param LineNumber Line number.
532  /// \param SizeInBits Member size.
533  /// \param AlignInBits Member alignment.
534  /// \param Elements Enumeration elements.
535  /// \param UnderlyingType Underlying type of a C++11/ObjC fixed enum.
536  /// \param UniqueIdentifier A unique identifier for the enum.
537  /// \param IsScoped Boolean flag indicate if this is C++11/ObjC 'enum class'.
539  DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber,
540  uint64_t SizeInBits, uint32_t AlignInBits, DINodeArray Elements,
541  DIType *UnderlyingType, StringRef UniqueIdentifier = "", bool IsScoped = false);
542 
543  /// Create debugging information entry for a set.
544  /// \param Scope Scope in which this set is defined.
545  /// \param Name Set name.
546  /// \param File File where this set is defined.
547  /// \param LineNo Line number.
548  /// \param SizeInBits Set size.
549  /// \param AlignInBits Set alignment.
550  /// \param Ty Base type of the set.
552  unsigned LineNo, uint64_t SizeInBits,
553  uint32_t AlignInBits, DIType *Ty);
554 
555  /// Create subroutine type.
556  /// \param ParameterTypes An array of subroutine parameter types. This
557  /// includes return type at 0th index.
558  /// \param Flags E.g.: LValueReference.
559  /// These flags are used to emit dwarf attributes.
560  /// \param CC Calling convention, e.g. dwarf::DW_CC_normal
562  createSubroutineType(DITypeRefArray ParameterTypes,
563  DINode::DIFlags Flags = DINode::FlagZero,
564  unsigned CC = 0);
565 
566  /// Create a distinct clone of \p SP with FlagArtificial set.
568 
569  /// Create a uniqued clone of \p Ty with FlagArtificial set.
570  static DIType *createArtificialType(DIType *Ty);
571 
572  /// Create a uniqued clone of \p Ty with FlagObjectPointer and
573  /// FlagArtificial set.
575 
576  /// Create a permanent forward-declared type.
578  DIScope *Scope, DIFile *F, unsigned Line,
579  unsigned RuntimeLang = 0,
580  uint64_t SizeInBits = 0,
581  uint32_t AlignInBits = 0,
582  StringRef UniqueIdentifier = "");
583 
584  /// Create a temporary forward-declared type.
586  unsigned Tag, StringRef Name, DIScope *Scope, DIFile *F, unsigned Line,
587  unsigned RuntimeLang = 0, uint64_t SizeInBits = 0,
588  uint32_t AlignInBits = 0, DINode::DIFlags Flags = DINode::FlagFwdDecl,
589  StringRef UniqueIdentifier = "");
590 
591  /// Retain DIScope* in a module even if it is not referenced
592  /// through debug info anchors.
593  void retainType(DIScope *T);
594 
595  /// Create unspecified parameter type
596  /// for a subroutine type.
598 
599  /// Get a DINodeArray, create one if required.
600  DINodeArray getOrCreateArray(ArrayRef<Metadata *> Elements);
601 
602  /// Get a DIMacroNodeArray, create one if required.
603  DIMacroNodeArray getOrCreateMacroArray(ArrayRef<Metadata *> Elements);
604 
605  /// Get a DITypeRefArray, create one if required.
607 
608  /// Create a descriptor for a value range. This
609  /// implicitly uniques the values returned.
610  DISubrange *getOrCreateSubrange(int64_t Lo, int64_t Count);
611  DISubrange *getOrCreateSubrange(int64_t Lo, Metadata *CountNode);
612  DISubrange *getOrCreateSubrange(Metadata *Count, Metadata *LowerBound,
613  Metadata *UpperBound, Metadata *Stride);
614 
617  DIGenericSubrange::BoundType LowerBound,
618  DIGenericSubrange::BoundType UpperBound,
620 
621  /// Create a new descriptor for the specified variable.
622  /// \param Context Variable scope.
623  /// \param Name Name of the variable.
624  /// \param LinkageName Mangled name of the variable.
625  /// \param File File where this variable is defined.
626  /// \param LineNo Line number.
627  /// \param Ty Variable Type.
628  /// \param IsLocalToUnit Boolean flag indicate whether this variable is
629  /// externally visible or not.
630  /// \param Expr The location of the global relative to the attached
631  /// GlobalVariable.
632  /// \param Decl Reference to the corresponding declaration.
633  /// \param AlignInBits Variable alignment(or 0 if no alignment attr was
634  /// specified)
637  unsigned LineNo, DIType *Ty, bool IsLocalToUnit, bool isDefined = true,
638  DIExpression *Expr = nullptr, MDNode *Decl = nullptr,
639  MDTuple *TemplateParams = nullptr, uint32_t AlignInBits = 0);
640 
641  /// Identical to createGlobalVariable
642  /// except that the resulting DbgNode is temporary and meant to be RAUWed.
645  unsigned LineNo, DIType *Ty, bool IsLocalToUnit, MDNode *Decl = nullptr,
646  MDTuple *TemplateParams= nullptr, uint32_t AlignInBits = 0);
647 
648  /// Create a new descriptor for an auto variable. This is a local variable
649  /// that is not a subprogram parameter.
650  ///
651  /// \c Scope must be a \a DILocalScope, and thus its scope chain eventually
652  /// leads to a \a DISubprogram.
653  ///
654  /// If \c AlwaysPreserve, this variable will be referenced from its
655  /// containing subprogram, and will survive some optimizations.
658  unsigned LineNo, DIType *Ty, bool AlwaysPreserve = false,
659  DINode::DIFlags Flags = DINode::FlagZero,
660  uint32_t AlignInBits = 0);
661 
662  /// Create a new descriptor for an label.
663  ///
664  /// \c Scope must be a \a DILocalScope, and thus its scope chain eventually
665  /// leads to a \a DISubprogram.
666  DILabel *
667  createLabel(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo,
668  bool AlwaysPreserve = false);
669 
670  /// Create a new descriptor for a parameter variable.
671  ///
672  /// \c Scope must be a \a DILocalScope, and thus its scope chain eventually
673  /// leads to a \a DISubprogram.
674  ///
675  /// \c ArgNo is the index (starting from \c 1) of this variable in the
676  /// subprogram parameters. \c ArgNo should not conflict with other
677  /// parameters of the same subprogram.
678  ///
679  /// If \c AlwaysPreserve, this variable will be referenced from its
680  /// containing subprogram, and will survive some optimizations.
683  DIFile *File, unsigned LineNo, DIType *Ty,
684  bool AlwaysPreserve = false,
685  DINode::DIFlags Flags = DINode::FlagZero);
686 
687  /// Create a new descriptor for the specified
688  /// variable which has a complex address expression for its address.
689  /// \param Addr An array of complex address operations.
692 
693  /// Create an expression for a variable that does not have an address, but
694  /// does have a constant value.
696  return DIExpression::get(
697  VMContext, {dwarf::DW_OP_constu, Val, dwarf::DW_OP_stack_value});
698  }
699 
700  /// Create a new descriptor for the specified subprogram.
701  /// See comments in DISubprogram* for descriptions of these fields.
702  /// \param Scope Function scope.
703  /// \param Name Function name.
704  /// \param LinkageName Mangled function name.
705  /// \param File File where this variable is defined.
706  /// \param LineNo Line number.
707  /// \param Ty Function type.
708  /// \param ScopeLine Set to the beginning of the scope this starts
709  /// \param Flags e.g. is this function prototyped or not.
710  /// These flags are used to emit dwarf attributes.
711  /// \param SPFlags Additional flags specific to subprograms.
712  /// \param TParams Function template parameters.
713  /// \param ThrownTypes Exception types this function may throw.
714  DISubprogram *
716  DIFile *File, unsigned LineNo, DISubroutineType *Ty,
717  unsigned ScopeLine, DINode::DIFlags Flags = DINode::FlagZero,
718  DISubprogram::DISPFlags SPFlags = DISubprogram::SPFlagZero,
719  DITemplateParameterArray TParams = nullptr,
720  DISubprogram *Decl = nullptr,
721  DITypeArray ThrownTypes = nullptr);
722 
723  /// Identical to createFunction,
724  /// except that the resulting DbgNode is meant to be RAUWed.
726  DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File,
727  unsigned LineNo, DISubroutineType *Ty, unsigned ScopeLine,
728  DINode::DIFlags Flags = DINode::FlagZero,
729  DISubprogram::DISPFlags SPFlags = DISubprogram::SPFlagZero,
730  DITemplateParameterArray TParams = nullptr,
731  DISubprogram *Decl = nullptr, DITypeArray ThrownTypes = nullptr);
732 
733  /// Create a new descriptor for the specified C++ method.
734  /// See comments in \a DISubprogram* for descriptions of these fields.
735  /// \param Scope Function scope.
736  /// \param Name Function name.
737  /// \param LinkageName Mangled function name.
738  /// \param File File where this variable is defined.
739  /// \param LineNo Line number.
740  /// \param Ty Function type.
741  /// \param VTableIndex Index no of this method in virtual table, or -1u if
742  /// unrepresentable.
743  /// \param ThisAdjustment
744  /// MS ABI-specific adjustment of 'this' that occurs
745  /// in the prologue.
746  /// \param VTableHolder Type that holds vtable.
747  /// \param Flags e.g. is this function prototyped or not.
748  /// This flags are used to emit dwarf attributes.
749  /// \param SPFlags Additional flags specific to subprograms.
750  /// \param TParams Function template parameters.
751  /// \param ThrownTypes Exception types this function may throw.
752  DISubprogram *
754  DIFile *File, unsigned LineNo, DISubroutineType *Ty,
755  unsigned VTableIndex = 0, int ThisAdjustment = 0,
756  DIType *VTableHolder = nullptr,
757  DINode::DIFlags Flags = DINode::FlagZero,
758  DISubprogram::DISPFlags SPFlags = DISubprogram::SPFlagZero,
759  DITemplateParameterArray TParams = nullptr,
760  DITypeArray ThrownTypes = nullptr);
761 
762  /// Create common block entry for a Fortran common block.
763  /// \param Scope Scope of this common block.
764  /// \param decl Global variable declaration.
765  /// \param Name The name of this common block.
766  /// \param File The file this common block is defined.
767  /// \param LineNo Line number.
770  unsigned LineNo);
771 
772  /// This creates new descriptor for a namespace with the specified
773  /// parent scope.
774  /// \param Scope Namespace scope
775  /// \param Name Name of this namespace
776  /// \param ExportSymbols True for C++ inline namespaces.
778  bool ExportSymbols);
779 
780  /// This creates new descriptor for a module with the specified
781  /// parent scope.
782  /// \param Scope Parent scope
783  /// \param Name Name of this module
784  /// \param ConfigurationMacros
785  /// A space-separated shell-quoted list of -D macro
786  /// definitions as they would appear on a command line.
787  /// \param IncludePath The path to the module map file.
788  /// \param APINotesFile The path to an API notes file for this module.
789  /// \param File Source file of the module.
790  /// Used for Fortran modules.
791  /// \param LineNo Source line number of the module.
792  /// Used for Fortran modules.
793  /// \param IsDecl This is a module declaration; default to false;
794  /// when set to true, only Scope and Name are required
795  /// as this entry is just a hint for the debugger to find
796  /// the corresponding definition in the global scope.
798  StringRef ConfigurationMacros, StringRef IncludePath,
799  StringRef APINotesFile = {}, DIFile *File = nullptr,
800  unsigned LineNo = 0, bool IsDecl = false);
801 
802  /// This creates a descriptor for a lexical block with a new file
803  /// attached. This merely extends the existing
804  /// lexical block as it crosses a file.
805  /// \param Scope Lexical block.
806  /// \param File Source file.
807  /// \param Discriminator DWARF path discriminator value.
808  DILexicalBlockFile *createLexicalBlockFile(DIScope *Scope, DIFile *File,
809  unsigned Discriminator = 0);
810 
811  /// This creates a descriptor for a lexical block with the
812  /// specified parent context.
813  /// \param Scope Parent lexical scope.
814  /// \param File Source file.
815  /// \param Line Line number.
816  /// \param Col Column number.
817  DILexicalBlock *createLexicalBlock(DIScope *Scope, DIFile *File,
818  unsigned Line, unsigned Col);
819 
820  /// Create a descriptor for an imported module.
821  /// \param Context The scope this module is imported into
822  /// \param NS The namespace being imported here.
823  /// \param File File where the declaration is located.
824  /// \param Line Line number of the declaration.
825  DIImportedEntity *createImportedModule(DIScope *Context, DINamespace *NS,
826  DIFile *File, unsigned Line);
827 
828  /// Create a descriptor for an imported module.
829  /// \param Context The scope this module is imported into.
830  /// \param NS An aliased namespace.
831  /// \param File File where the declaration is located.
832  /// \param Line Line number of the declaration.
833  DIImportedEntity *createImportedModule(DIScope *Context,
834  DIImportedEntity *NS, DIFile *File,
835  unsigned Line);
836 
837  /// Create a descriptor for an imported module.
838  /// \param Context The scope this module is imported into.
839  /// \param M The module being imported here
840  /// \param File File where the declaration is located.
841  /// \param Line Line number of the declaration.
842  DIImportedEntity *createImportedModule(DIScope *Context, DIModule *M,
843  DIFile *File, unsigned Line);
844 
845  /// Create a descriptor for an imported function.
846  /// \param Context The scope this module is imported into.
847  /// \param Decl The declaration (or definition) of a function, type, or
848  /// variable.
849  /// \param File File where the declaration is located.
850  /// \param Line Line number of the declaration.
851  DIImportedEntity *createImportedDeclaration(DIScope *Context, DINode *Decl,
852  DIFile *File, unsigned Line,
853  StringRef Name = "");
854 
855  /// Insert a new llvm.dbg.declare intrinsic call.
856  /// \param Storage llvm::Value of the variable
857  /// \param VarInfo Variable's debug info descriptor.
858  /// \param Expr A complex location expression.
859  /// \param DL Debug info location.
860  /// \param InsertAtEnd Location for the new intrinsic.
861  Instruction *insertDeclare(llvm::Value *Storage, DILocalVariable *VarInfo,
862  DIExpression *Expr, const DILocation *DL,
863  BasicBlock *InsertAtEnd);
864 
865  /// Insert a new llvm.dbg.declare intrinsic call.
866  /// \param Storage llvm::Value of the variable
867  /// \param VarInfo Variable's debug info descriptor.
868  /// \param Expr A complex location expression.
869  /// \param DL Debug info location.
870  /// \param InsertBefore Location for the new intrinsic.
871  Instruction *insertDeclare(llvm::Value *Storage, DILocalVariable *VarInfo,
872  DIExpression *Expr, const DILocation *DL,
873  Instruction *InsertBefore);
874 
875  /// Insert a new llvm.dbg.label intrinsic call.
876  /// \param LabelInfo Label's debug info descriptor.
877  /// \param DL Debug info location.
878  /// \param InsertBefore Location for the new intrinsic.
879  Instruction *insertLabel(DILabel *LabelInfo, const DILocation *DL,
880  Instruction *InsertBefore);
881 
882  /// Insert a new llvm.dbg.label intrinsic call.
883  /// \param LabelInfo Label's debug info descriptor.
884  /// \param DL Debug info location.
885  /// \param InsertAtEnd Location for the new intrinsic.
886  Instruction *insertLabel(DILabel *LabelInfo, const DILocation *DL,
887  BasicBlock *InsertAtEnd);
888 
889  /// Insert a new llvm.dbg.value intrinsic call.
890  /// \param Val llvm::Value of the variable
891  /// \param VarInfo Variable's debug info descriptor.
892  /// \param Expr A complex location expression.
893  /// \param DL Debug info location.
894  /// \param InsertAtEnd Location for the new intrinsic.
895  Instruction *insertDbgValueIntrinsic(llvm::Value *Val,
896  DILocalVariable *VarInfo,
897  DIExpression *Expr,
898  const DILocation *DL,
899  BasicBlock *InsertAtEnd);
900 
901  /// Insert a new llvm.dbg.value intrinsic call.
902  /// \param Val llvm::Value of the variable
903  /// \param VarInfo Variable's debug info descriptor.
904  /// \param Expr A complex location expression.
905  /// \param DL Debug info location.
906  /// \param InsertBefore Location for the new intrinsic.
907  Instruction *insertDbgValueIntrinsic(llvm::Value *Val,
908  DILocalVariable *VarInfo,
909  DIExpression *Expr,
910  const DILocation *DL,
911  Instruction *InsertBefore);
912 
913  /// Replace the vtable holder in the given type.
914  ///
915  /// If this creates a self reference, it may orphan some unresolved cycles
916  /// in the operands of \c T, so \a DIBuilder needs to track that.
917  void replaceVTableHolder(DICompositeType *&T,
918  DIType *VTableHolder);
919 
920  /// Replace arrays on a composite type.
921  ///
922  /// If \c T is resolved, but the arrays aren't -- which can happen if \c T
923  /// has a self-reference -- \a DIBuilder needs to track the array to
924  /// resolve cycles.
925  void replaceArrays(DICompositeType *&T, DINodeArray Elements,
926  DINodeArray TParams = DINodeArray());
927 
928  /// Replace a temporary node.
929  ///
930  /// Call \a MDNode::replaceAllUsesWith() on \c N, replacing it with \c
931  /// Replacement.
932  ///
933  /// If \c Replacement is the same as \c N.get(), instead call \a
934  /// MDNode::replaceWithUniqued(). In this case, the uniqued node could
935  /// have a different address, so we return the final address.
936  template <class NodeTy>
937  NodeTy *replaceTemporary(TempMDNode &&N, NodeTy *Replacement) {
938  if (N.get() == Replacement)
939  return cast<NodeTy>(MDNode::replaceWithUniqued(std::move(N)));
940 
941  N->replaceAllUsesWith(Replacement);
942  return Replacement;
943  }
944  };
945 
946  // Create wrappers for C Binding types (see CBindingWrapping.h).
948 
949 } // end namespace llvm
950 
951 #endif // LLVM_IR_DIBUILDER_H
llvm::DIBuilder::createModule
DIModule * createModule(DIScope *Scope, StringRef Name, StringRef ConfigurationMacros, StringRef IncludePath, StringRef APINotesFile={}, DIFile *File=nullptr, unsigned LineNo=0, bool IsDecl=false)
This creates new descriptor for a module with the specified parent scope.
Definition: DIBuilder.cpp:891
llvm::Check::Size
@ Size
Definition: FileCheck.h:73
llvm::DIBuilder::createImportedDeclaration
DIImportedEntity * createImportedDeclaration(DIScope *Context, DINode *Decl, DIFile *File, unsigned Line, StringRef Name="")
Create a descriptor for an imported function.
Definition: DIBuilder.cpp:203
llvm
---------------------— PointerInfo ------------------------------------—
Definition: AllocatorList.h:23
llvm::DIType
Base class for types.
Definition: DebugInfoMetadata.h:662
M
We currently emits eax Perhaps this is what we really should generate is Is imull three or four cycles eax eax The current instruction priority is based on pattern complexity The former is more complex because it folds a load so the latter will not be emitted Perhaps we should use AddedComplexity to give LEA32r a higher priority We should always try to match LEA first since the LEA matching code does some estimate to determine whether the match is profitable if we care more about code then imull is better It s two bytes shorter than movl leal On a Pentium M
Definition: README.txt:252
llvm::DIBuilder::getOrCreateTypeArray
DITypeRefArray getOrCreateTypeArray(ArrayRef< Metadata * > Elements)
Get a DITypeRefArray, create one if required.
Definition: DIBuilder.cpp:651
llvm::DIBuilder::finalize
void finalize()
Construct any deferred debug info descriptors.
Definition: DIBuilder.cpp:69
Optional.h
llvm::DIBuilder::replaceVTableHolder
void replaceVTableHolder(DICompositeType *&T, DIType *VTableHolder)
Replace the vtable holder in the given type.
Definition: DIBuilder.cpp:1045
llvm::DIBuilder
Definition: DIBuilder.h:41
DebugInfoMetadata.h
llvm::DIGenericSubrange
Definition: DebugInfoMetadata.h:362
llvm::Function
Definition: Function.h:61
llvm::DIBuilder::finalizeSubprogram
void finalizeSubprogram(DISubprogram *SP)
Finalize a specific subprogram - no new variables may be added to this subprogram afterwards.
Definition: DIBuilder.cpp:49
StringRef.h
llvm::lltok::NameTableKind
@ NameTableKind
Definition: LLToken.h:481
llvm::SmallVector
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1168
llvm::DIStringType
String type, Fortran CHARACTER(n)
Definition: DebugInfoMetadata.h:837
llvm::DIFile::ChecksumInfo
A single checksum, represented by a Kind and a Value (a string).
Definition: DebugInfoMetadata.h:552
llvm::MipsISD::Lo
@ Lo
Definition: MipsISelLowering.h:79
llvm::DIBuilder::createTempGlobalVariableFwdDecl
DIGlobalVariable * createTempGlobalVariableFwdDecl(DIScope *Context, StringRef Name, StringRef LinkageName, DIFile *File, unsigned LineNo, DIType *Ty, bool IsLocalToUnit, MDNode *Decl=nullptr, MDTuple *TemplateParams=nullptr, uint32_t AlignInBits=0)
Identical to createGlobalVariable except that the resulting DbgNode is temporary and meant to be RAUW...
Definition: DIBuilder.cpp:720
MapVector.h
llvm::DILocation
Debug location.
Definition: DebugInfoMetadata.h:1562
DenseMap.h
llvm::DIBuilder::createTempFunctionFwdDecl
DISubprogram * createTempFunctionFwdDecl(DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File, unsigned LineNo, DISubroutineType *Ty, unsigned ScopeLine, DINode::DIFlags Flags=DINode::FlagZero, DISubprogram::DISPFlags SPFlags=DISubprogram::SPFlagZero, DITemplateParameterArray TParams=nullptr, DISubprogram *Decl=nullptr, DITypeArray ThrownTypes=nullptr)
Identical to createFunction, except that the resulting DbgNode is meant to be RAUWed.
Definition: DIBuilder.cpp:834
llvm::Optional
Definition: APInt.h:33
T
#define T
Definition: Mips16ISelLowering.cpp:341
llvm::MapVector
This class implements a map that also provides access to all stored values in a deterministic order.
Definition: MapVector.h:37
llvm::DIBuilder::createEnumerator
DIEnumerator * createEnumerator(StringRef Name, APSInt Value)
Create a single enumerator value.
Definition: DIBuilder.cpp:253
llvm::DIBuilder::createSubroutineType
DISubroutineType * createSubroutineType(DITypeRefArray ParameterTypes, DINode::DIFlags Flags=DINode::FlagZero, unsigned CC=0)
Create subroutine type.
Definition: DIBuilder.cpp:513
llvm::DIExpression
DWARF expression.
Definition: DebugInfoMetadata.h:2557
llvm::DIBuilder::createQualifiedType
DIDerivedType * createQualifiedType(unsigned Tag, DIType *FromTy)
Create debugging information entry for a qualified type, e.g.
Definition: DIBuilder.cpp:281
llvm::DIBuilder::DIBuilder
DIBuilder(Module &M, bool AllowUnresolved=true, DICompileUnit *CU=nullptr)
Construct a builder for a module.
Definition: DIBuilder.cpp:34
llvm::DINameKind::LinkageName
@ LinkageName
llvm::DIBuilder::createStringType
DIStringType * createStringType(StringRef Name, uint64_t SizeInBits)
Create debugging information entry for a string type.
Definition: DIBuilder.cpp:275
llvm::DIBuilder::createObjCProperty
DIObjCProperty * createObjCProperty(StringRef Name, DIFile *File, unsigned LineNumber, StringRef GetterName, StringRef SetterName, unsigned PropertyAttributes, DIType *Ty)
Create debugging information entry for Objective-C property.
Definition: DIBuilder.cpp:412
llvm::DICompileUnit::DebugEmissionKind
DebugEmissionKind
Definition: DebugInfoMetadata.h:1322
llvm::DINamespace
Definition: DebugInfoMetadata.h:2247
llvm::DIBuilder::createFile
DIFile * createFile(StringRef Filename, StringRef Directory, Optional< DIFile::ChecksumInfo< StringRef >> Checksum=None, Optional< StringRef > Source=None)
Create a file descriptor to hold debugging information for a file.
Definition: DIBuilder.cpp:215
llvm::MDNode::get
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Definition: Metadata.h:1198
F
#define F(x, y, z)
Definition: MD5.cpp:56
llvm::DIBuilder::createTemplateParameterPack
DITemplateValueParameter * createTemplateParameterPack(DIScope *Scope, StringRef Name, DIType *Ty, DINodeArray Val)
Create debugging information for a template parameter pack.
Definition: DIBuilder.cpp:452
llvm::BasicBlock
LLVM Basic Block Representation.
Definition: BasicBlock.h:58
llvm::DIBuilder::createAutoVariable
DILocalVariable * createAutoVariable(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, DIType *Ty, bool AlwaysPreserve=false, DINode::DIFlags Flags=DINode::FlagZero, uint32_t AlignInBits=0)
Create a new descriptor for an auto variable.
Definition: DIBuilder.cpp:759
Context
LLVMContext & Context
Definition: NVVMIntrRange.cpp:66
llvm::DITypeRefArray
Definition: DebugInfoMetadata.h:67
llvm::DIBuilder::createSetType
DIDerivedType * createSetType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, uint64_t SizeInBits, uint32_t AlignInBits, DIType *Ty)
Create debugging information entry for a set.
Definition: DIBuilder.cpp:533
llvm::DIBuilder::createArtificialType
static DIType * createArtificialType(DIType *Ty)
Create a uniqued clone of Ty with FlagArtificial set.
Definition: DIBuilder.cpp:588
llvm::DIObjCProperty
Definition: DebugInfoMetadata.h:3201
DEFINE_ISA_CONVERSION_FUNCTIONS
#define DEFINE_ISA_CONVERSION_FUNCTIONS(ty, ref)
Definition: CBindingWrapping.h:28
llvm::DIBuilder::replaceTemporary
NodeTy * replaceTemporary(TempMDNode &&N, NodeTy *Replacement)
Replace a temporary node.
Definition: DIBuilder.h:937
llvm::DIBuilder::createStaticMemberType
DIDerivedType * createStaticMemberType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, DIType *Ty, DINode::DIFlags Flags, Constant *Val, uint32_t AlignInBits=0)
Create debugging information entry for a C++ static data member.
Definition: DIBuilder.cpp:389
llvm::ISD::Constant
@ Constant
Definition: ISDOpcodes.h:76
llvm::DILocalVariable
Local variable.
Definition: DebugInfoMetadata.h:3053
llvm::DIMacro
Definition: DebugInfoMetadata.h:3433
llvm::DIBuilder::createMacro
DIMacro * createMacro(DIMacroFile *Parent, unsigned Line, unsigned MacroType, StringRef Name, StringRef Value=StringRef())
Create debugging information entry for a macro.
Definition: DIBuilder.cpp:221
llvm::DIBuilder::createTempMacroFile
DIMacroFile * createTempMacroFile(DIMacroFile *Parent, unsigned Line, DIFile *File)
Create debugging information temporary entry for a macro file.
Definition: DIBuilder.cpp:233
llvm::DIBuilder::createCommonBlock
DICommonBlock * createCommonBlock(DIScope *Scope, DIGlobalVariable *decl, StringRef Name, DIFile *File, unsigned LineNo)
Create common block entry for a Fortran common block.
Definition: DIBuilder.cpp:872
llvm::DIBuilder::retainType
void retainType(DIScope *T)
Retain DIScope* in a module even if it is not referenced through debug info anchors.
Definition: DIBuilder.cpp:603
llvm::DISubprogram::DISPFlags
DISPFlags
Debug info subprogram flags.
Definition: DebugInfoMetadata.h:1817
llvm::MDTuple
Tuple of metadata.
Definition: Metadata.h:1139
llvm::DISubrange
Array subrange.
Definition: DebugInfoMetadata.h:296
llvm::DIBuilder::createFriend
DIDerivedType * createFriend(DIType *Ty, DIType *FriendTy)
Create debugging information entry for a 'friend'.
Definition: DIBuilder.cpp:329
llvm::DIBuilder::createFunction
DISubprogram * createFunction(DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File, unsigned LineNo, DISubroutineType *Ty, unsigned ScopeLine, DINode::DIFlags Flags=DINode::FlagZero, DISubprogram::DISPFlags SPFlags=DISubprogram::SPFlagZero, DITemplateParameterArray TParams=nullptr, DISubprogram *Decl=nullptr, DITypeArray ThrownTypes=nullptr)
Create a new descriptor for the specified subprogram.
Definition: DIBuilder.cpp:815
llvm::DITemplateTypeParameter
Definition: DebugInfoMetadata.h:2397
llvm::Instruction
Definition: Instruction.h:45
llvm::DIBuilder::createPointerType
DIDerivedType * createPointerType(DIType *PointeeTy, uint64_t SizeInBits, uint32_t AlignInBits=0, Optional< unsigned > DWARFAddressSpace=None, StringRef Name="")
Create debugging information entry for a pointer.
Definition: DIBuilder.cpp:286
llvm::APSInt
An arbitrary precision integer that knows its signedness.
Definition: APSInt.h:22
llvm::DIBuilder::createUnionType
DICompositeType * createUnionType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber, uint64_t SizeInBits, uint32_t AlignInBits, DINode::DIFlags Flags, DINodeArray Elements, unsigned RunTimeLang=0, StringRef UniqueIdentifier="")
Create debugging information entry for an union.
Definition: DIBuilder.cpp:489
llvm::DIBuilder::createVariantPart
DICompositeType * createVariantPart(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber, uint64_t SizeInBits, uint32_t AlignInBits, DINode::DIFlags Flags, DIDerivedType *Discriminator, DINodeArray Elements, StringRef UniqueIdentifier="")
Create debugging information entry for a variant part.
Definition: DIBuilder.cpp:501
llvm::Metadata
Root of the metadata hierarchy.
Definition: Metadata.h:62
llvm::DIBuilder::replaceArrays
void replaceArrays(DICompositeType *&T, DINodeArray Elements, DINodeArray TParams=DINodeArray())
Replace arrays on a composite type.
Definition: DIBuilder.cpp:1065
llvm::None
const NoneType None
Definition: None.h:23
llvm::lltok::Kind
Kind
Definition: LLToken.h:18
llvm::DIBuilder::createObjectPointerType
static DIType * createObjectPointerType(DIType *Ty)
Create a uniqued clone of Ty with FlagObjectPointer and FlagArtificial set.
Definition: DIBuilder.cpp:595
llvm::DICommonBlock
Definition: DebugInfoMetadata.h:2991
llvm::DIBuilder::createReferenceType
DIDerivedType * createReferenceType(unsigned Tag, DIType *RTy, uint64_t SizeInBits=0, uint32_t AlignInBits=0, Optional< unsigned > DWARFAddressSpace=None)
Create debugging information entry for a c++ style reference or rvalue reference type.
Definition: DIBuilder.cpp:309
llvm::Constant
This is an important base class in LLVM.
Definition: Constant.h:41
llvm::DIEnumerator
Enumeration value.
Definition: DebugInfoMetadata.h:412
llvm::DIBuilder::createMethod
DISubprogram * createMethod(DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File, unsigned LineNo, DISubroutineType *Ty, unsigned VTableIndex=0, int ThisAdjustment=0, DIType *VTableHolder=nullptr, DINode::DIFlags Flags=DINode::FlagZero, DISubprogram::DISPFlags SPFlags=DISubprogram::SPFlagZero, DITemplateParameterArray TParams=nullptr, DITypeArray ThrownTypes=nullptr)
Create a new descriptor for the specified C++ method.
Definition: DIBuilder.cpp:849
llvm::DIBuilder::createParameterVariable
DILocalVariable * createParameterVariable(DIScope *Scope, StringRef Name, unsigned ArgNo, DIFile *File, unsigned LineNo, DIType *Ty, bool AlwaysPreserve=false, DINode::DIFlags Flags=DINode::FlagZero)
Create a new descriptor for a parameter variable.
Definition: DIBuilder.cpp:769
llvm::DIBuilder::createForwardDecl
DICompositeType * createForwardDecl(unsigned Tag, StringRef Name, DIScope *Scope, DIFile *F, unsigned Line, unsigned RuntimeLang=0, uint64_t SizeInBits=0, uint32_t AlignInBits=0, StringRef UniqueIdentifier="")
Create a permanent forward-declared type.
Definition: DIBuilder.cpp:614
llvm::DIBuilder::createArrayType
DICompositeType * createArrayType(uint64_t Size, uint32_t AlignInBits, DIType *Ty, DINodeArray Subscripts, PointerUnion< DIExpression *, DIVariable * > DataLocation=nullptr, PointerUnion< DIExpression *, DIVariable * > Associated=nullptr, PointerUnion< DIExpression *, DIVariable * > Allocated=nullptr, PointerUnion< DIExpression *, DIVariable * > Rank=nullptr)
Create debugging information entry for an array.
Definition: DIBuilder.cpp:545
Addr
uint64_t Addr
Definition: ELFObjHandler.cpp:80
llvm::DIBuilder::createEnumerationType
DICompositeType * createEnumerationType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber, uint64_t SizeInBits, uint32_t AlignInBits, DINodeArray Elements, DIType *UnderlyingType, StringRef UniqueIdentifier="", bool IsScoped=false)
Create debugging information entry for an enumeration.
Definition: DIBuilder.cpp:519
llvm::DIBuilder::createClassType
DICompositeType * createClassType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber, uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits, DINode::DIFlags Flags, DIType *DerivedFrom, DINodeArray Elements, DIType *VTableHolder=nullptr, MDNode *TemplateParms=nullptr, StringRef UniqueIdentifier="")
Create debugging information entry for a class.
Definition: DIBuilder.cpp:459
llvm::DIBuilder::createExpression
DIExpression * createExpression(ArrayRef< uint64_t > Addr=None)
Create a new descriptor for the specified variable which has a complex address expression for its add...
Definition: DIBuilder.cpp:798
llvm::DIGlobalVariable
Global variables.
Definition: DebugInfoMetadata.h:2911
move
compiles ldr LCPI1_0 ldr ldr mov lsr tst moveq r1 ldr LCPI1_1 and r0 bx lr It would be better to do something like to fold the shift into the conditional move
Definition: README.txt:546
llvm::MDNode::replaceWithUniqued
static std::enable_if_t< std::is_base_of< MDNode, T >::value, T * > replaceWithUniqued(std::unique_ptr< T, TempMDNodeDeleter > N)
Replace a temporary node with a uniqued one.
Definition: Metadata.h:1017
llvm::LLVMContext
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:68
llvm::DIBuilder::createTemplateTemplateParameter
DITemplateValueParameter * createTemplateTemplateParameter(DIScope *Scope, StringRef Name, DIType *Ty, StringRef Val)
Create debugging information for a template template parameter.
Definition: DIBuilder.cpp:444
llvm::DenseMap
Definition: DenseMap.h:714
DebugInfo.h
llvm::DIBuilder::createReplaceableCompositeType
DICompositeType * createReplaceableCompositeType(unsigned Tag, StringRef Name, DIScope *Scope, DIFile *F, unsigned Line, unsigned RuntimeLang=0, uint64_t SizeInBits=0, uint32_t AlignInBits=0, DINode::DIFlags Flags=DINode::FlagFwdDecl, StringRef UniqueIdentifier="")
Create a temporary forward-declared type.
Definition: DIBuilder.cpp:628
llvm::DIBuilder::createMemberPointerType
DIDerivedType * createMemberPointerType(DIType *PointeeTy, DIType *Class, uint64_t SizeInBits, uint32_t AlignInBits=0, DINode::DIFlags Flags=DINode::FlagZero)
Create debugging information entry for a pointer to member.
Definition: DIBuilder.cpp:299
llvm::DICompileUnit
Compile unit.
Definition: DebugInfoMetadata.h:1317
ArrayRef.h
llvm::DIMacroFile
Definition: DebugInfoMetadata.h:3482
llvm::DIBuilder::createArtificialSubprogram
static DISubprogram * createArtificialSubprogram(DISubprogram *SP)
Create a distinct clone of SP with FlagArtificial set.
Definition: DIBuilder.cpp:577
llvm::ISD::BasicBlock
@ BasicBlock
Various leaf nodes.
Definition: ISDOpcodes.h:71
llvm::DIBuilder::createLabel
DILabel * createLabel(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, bool AlwaysPreserve=false)
Create a new descriptor for an label.
Definition: DIBuilder.cpp:778
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:67
llvm::MDNode
Metadata node.
Definition: Metadata.h:897
llvm::DIBasicType
Basic type, like 'int' or 'float'.
Definition: DebugInfoMetadata.h:769
llvm::DISubroutineType
Type array for a subprogram.
Definition: DebugInfoMetadata.h:1263
llvm::DICompositeType
Composite types.
Definition: DebugInfoMetadata.h:1051
llvm::Sched::Source
@ Source
Definition: TargetLowering.h:99
llvm::ArrayRef
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: APInt.h:32
llvm::DIBuilder::createLexicalBlockFile
DILexicalBlockFile * createLexicalBlockFile(DIScope *Scope, DIFile *File, unsigned Discriminator=0)
This creates a descriptor for a lexical block with a new file attached.
Definition: DIBuilder.cpp:900
llvm::DICompileUnit::DebugNameTableKind
DebugNameTableKind
Definition: DebugInfoMetadata.h:1330
llvm::DIBuilder::createVariantMemberType
DIDerivedType * createVariantMemberType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits, Constant *Discriminant, DINode::DIFlags Flags, DIType *Ty)
Create debugging information entry for a variant.
Definition: DIBuilder.cpp:365
llvm::StringRef
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:58
uint32_t
DL
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Definition: AArch64SLSHardening.cpp:76
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
llvm::DIBuilder::operator=
DIBuilder & operator=(const DIBuilder &)=delete
llvm::DIBuilder::getOrCreateGenericSubrange
DIGenericSubrange * getOrCreateGenericSubrange(DIGenericSubrange::BoundType Count, DIGenericSubrange::BoundType LowerBound, DIGenericSubrange::BoundType UpperBound, DIGenericSubrange::BoundType Stride)
Definition: DIBuilder.cpp:681
llvm::DIBuilder::createLexicalBlock
DILexicalBlock * createLexicalBlock(DIScope *Scope, DIFile *File, unsigned Line, unsigned Col)
This creates a descriptor for a lexical block with the specified parent context.
Definition: DIBuilder.cpp:906
llvm::PointerUnion
A discriminated union of two or more pointer types, with the discriminator in the low bit of the poin...
Definition: PointerUnion.h:149
llvm::DIBuilder::createTemplateTypeParameter
DITemplateTypeParameter * createTemplateTypeParameter(DIScope *Scope, StringRef Name, DIType *Ty, bool IsDefault)
Create debugging information for template type parameter.
Definition: DIBuilder.cpp:420
llvm::DIBuilder::createInheritance
DIDerivedType * createInheritance(DIType *Ty, DIType *BaseTy, uint64_t BaseOffset, uint32_t VBPtrOffset, DINode::DIFlags Flags)
Create debugging information entry to establish inheritance relationship between two types.
Definition: DIBuilder.cpp:336
llvm::DIBuilder::createCompileUnit
DICompileUnit * createCompileUnit(unsigned Lang, DIFile *File, StringRef Producer, bool isOptimized, StringRef Flags, unsigned RV, StringRef SplitName=StringRef(), DICompileUnit::DebugEmissionKind Kind=DICompileUnit::DebugEmissionKind::FullDebug, uint64_t DWOId=0, bool SplitDebugInlining=true, bool DebugInfoForProfiling=false, DICompileUnit::DebugNameTableKind NameTableKind=DICompileUnit::DebugNameTableKind::Default, bool RangesBaseAddress=false, StringRef SysRoot={}, StringRef SDK={})
A CompileUnit provides an anchor for all debugging information generated during this instance of comp...
Definition: DIBuilder.cpp:138
llvm::DIBuilder::createNameSpace
DINamespace * createNameSpace(DIScope *Scope, StringRef Name, bool ExportSymbols)
This creates new descriptor for a namespace with the specified parent scope.
Definition: DIBuilder.cpp:879
llvm::DIBuilder::createStructType
DICompositeType * createStructType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber, uint64_t SizeInBits, uint32_t AlignInBits, DINode::DIFlags Flags, DIType *DerivedFrom, DINodeArray Elements, unsigned RunTimeLang=0, DIType *VTableHolder=nullptr, StringRef UniqueIdentifier="")
Create debugging information entry for a struct.
Definition: DIBuilder.cpp:476
llvm::GraphProgram::Name
Name
Definition: GraphWriter.h:52
llvm::DIBuilder::createUnspecifiedType
DIBasicType * createUnspecifiedType(StringRef Name)
Create a DWARF unspecified type.
Definition: DIBuilder.cpp:258
llvm::DIScope
Base class for scope-like contexts.
Definition: DebugInfoMetadata.h:476
llvm::DIBuilder::createObjCIVar
DIDerivedType * createObjCIVar(StringRef Name, DIFile *File, unsigned LineNo, uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits, DINode::DIFlags Flags, DIType *Ty, MDNode *PropertyNode)
Create debugging information entry for Objective-C instance variable.
Definition: DIBuilder.cpp:401
llvm::DIBuilder::createTypedef
DIDerivedType * createTypedef(DIType *Ty, StringRef Name, DIFile *File, unsigned LineNo, DIScope *Context, uint32_t AlignInBits=0)
Create debugging information entry for a typedef.
Definition: DIBuilder.cpp:320
llvm::DIBuilder::createImportedModule
DIImportedEntity * createImportedModule(DIScope *Context, DINamespace *NS, DIFile *File, unsigned Line)
Create a descriptor for an imported module.
Definition: DIBuilder.cpp:180
Casting.h
llvm::DIBuilder::createMemberType
DIDerivedType * createMemberType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits, DINode::DIFlags Flags, DIType *Ty)
Create debugging information entry for a member.
Definition: DIBuilder.cpp:348
TrackingMDRef.h
llvm::DIBuilder::createVectorType
DICompositeType * createVectorType(uint64_t Size, uint32_t AlignInBits, DIType *Ty, DINodeArray Subscripts)
Create debugging information entry for a vector type.
Definition: DIBuilder.cpp:567
llvm::TargetStackID::Value
Value
Definition: TargetFrameLowering.h:27
llvm::DIBuilder::getOrCreateArray
DINodeArray getOrCreateArray(ArrayRef< Metadata * > Elements)
Get a DINodeArray, create one if required.
Definition: DIBuilder.cpp:642
llvm::DICompileUnit::DebugNameTableKind::Default
@ Default
llvm::DIDerivedType
Derived types.
Definition: DebugInfoMetadata.h:917
llvm::DIGlobalVariableExpression
A pair of DIGlobalVariable and DIExpression.
Definition: DebugInfoMetadata.h:3343
llvm::DIBuilder::createTemplateValueParameter
DITemplateValueParameter * createTemplateValueParameter(DIScope *Scope, StringRef Name, DIType *Ty, bool IsDefault, Constant *Val)
Create debugging information for template value parameter.
Definition: DIBuilder.cpp:435
llvm::DITemplateValueParameter
Definition: DebugInfoMetadata.h:2439
LLVMDIBuilderRef
struct LLVMOpaqueDIBuilder * LLVMDIBuilderRef
Represents an LLVM debug info builder.
Definition: Types.h:117
llvm::DIBuilder::createNullPtrType
DIBasicType * createNullPtrType()
Create C++11 nullptr type.
Definition: DIBuilder.cpp:263
llvm::DIBuilder::getOrCreateSubrange
DISubrange * getOrCreateSubrange(int64_t Lo, int64_t Count)
Create a descriptor for a value range.
Definition: DIBuilder.cpp:662
llvm::DIBuilder::getOrCreateMacroArray
DIMacroNodeArray getOrCreateMacroArray(ArrayRef< Metadata * > Elements)
Get a DIMacroNodeArray, create one if required.
Definition: DIBuilder.cpp:647
SmallVector.h
llvm::DINode::DIFlags
DIFlags
Debug info flags.
Definition: DebugInfoMetadata.h:166
N
#define N
llvm::DIBuilder::createGlobalVariableExpression
DIGlobalVariableExpression * createGlobalVariableExpression(DIScope *Context, StringRef Name, StringRef LinkageName, DIFile *File, unsigned LineNo, DIType *Ty, bool IsLocalToUnit, bool isDefined=true, DIExpression *Expr=nullptr, MDNode *Decl=nullptr, MDTuple *TemplateParams=nullptr, uint32_t AlignInBits=0)
Create a new descriptor for the specified variable.
Definition: DIBuilder.cpp:702
llvm::DISubprogram
Subprogram description.
Definition: DebugInfoMetadata.h:1802
llvm::DIModule
Represents a module in the programming language, for example, a Clang module, or a Fortran module.
Definition: DebugInfoMetadata.h:2299
llvm::DILabel
Label.
Definition: DebugInfoMetadata.h:3133
llvm::DIBuilder::createBasicType
DIBasicType * createBasicType(StringRef Name, uint64_t SizeInBits, unsigned Encoding, DINode::DIFlags Flags=DINode::FlagZero)
Create debugging information entry for a basic type.
Definition: DIBuilder.cpp:267
CU
Definition: AArch64AsmBackend.cpp:499
llvm::Value
LLVM Value Representation.
Definition: Value.h:75
File
Instrumentation for Order File
Definition: InstrOrderFile.cpp:206
llvm::DIBuilder::createUnspecifiedParameter
DIBasicType * createUnspecifiedParameter()
Create unspecified parameter type for a subroutine type.
Definition: DIBuilder.cpp:611
llvm::codeview::PublicSymFlags::Function
@ Function
llvm::DIBuilder::createConstantValueExpression
DIExpression * createConstantValueExpression(uint64_t Val)
Create an expression for a variable that does not have an address, but does have a constant value.
Definition: DIBuilder.h:695
SetVector.h
llvm::DIBuilder::createBitFieldMemberType
DIDerivedType * createBitFieldMemberType(DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNo, uint64_t SizeInBits, uint64_t OffsetInBits, uint64_t StorageOffsetInBits, DINode::DIFlags Flags, DIType *Ty)
Create debugging information entry for a bit field member.
Definition: DIBuilder.cpp:375
llvm::DIFile
File.
Definition: DebugInfoMetadata.h:530