include/llvm/IR/DebugInfoMetadata.h

   1 //===- llvm/IR/DebugInfoMetadata.h - Debug info metadata --------*- 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 // Declarations for metadata specific to debug info.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef LLVM_IR_DEBUGINFOMETADATA_H
  15 #define LLVM_IR_DEBUGINFOMETADATA_H
  16
  17 #include "llvm/IR/Metadata.h"
  18 #include "llvm/Support/Dwarf.h"
  19
  20 // Helper macros for defining get() overrides.
  21 #define DEFINE_MDNODE_GET_UNPACK_IMPL(...) __VA_ARGS__
  22 #define DEFINE_MDNODE_GET_UNPACK(ARGS) DEFINE_MDNODE_GET_UNPACK_IMPL ARGS
  23 #define DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(CLASS, FORMAL, ARGS)              \
  24   static CLASS *getDistinct(LLVMContext &Context,                              \
  25                             DEFINE_MDNODE_GET_UNPACK(FORMAL)) {                \
  26     return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Distinct);         \
  27   }                                                                            \
  28   static Temp##CLASS getTemporary(LLVMContext &Context,                        \
  29                                   DEFINE_MDNODE_GET_UNPACK(FORMAL)) {          \
  30     return Temp##CLASS(                                                        \
  31         getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Temporary));          \
  32   }
  33 #define DEFINE_MDNODE_GET(CLASS, FORMAL, ARGS)                                 \
  34   static CLASS *get(LLVMContext &Context, DEFINE_MDNODE_GET_UNPACK(FORMAL)) {  \
  35     return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Uniqued);          \
  36   }                                                                            \
  37   static CLASS *getIfExists(LLVMContext &Context,                              \
  38                             DEFINE_MDNODE_GET_UNPACK(FORMAL)) {                \
  39     return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Uniqued,           \
  40                    /* ShouldCreate */ false);                                  \
  41   }                                                                            \
  42   DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(CLASS, FORMAL, ARGS)
  43
  44 namespace llvm {
  45
  46 /// \brief Pointer union between a subclass of DINode and MDString.
  47 ///
  48 /// \a DICompositeType can be referenced via an \a MDString unique identifier.
  49 /// This class allows some type safety in the face of that, requiring either a
  50 /// node of a particular type or an \a MDString.
  51 template <class T> class TypedDINodeRef {
  52   const Metadata *MD = nullptr;
  53
  54 public:
  55   TypedDINodeRef() = default;
  56   TypedDINodeRef(std::nullptr_t) {}
  57
  58   /// \brief Construct from a raw pointer.
  59   explicit TypedDINodeRef(const Metadata *MD) : MD(MD) {
  60     assert((!MD || isa<MDString>(MD) || isa<T>(MD)) && "Expected valid ref");
  61   }
  62
  63   template <class U>
  64   TypedDINodeRef(
  65       const TypedDINodeRef<U> &X,
  66       typename std::enable_if<std::is_convertible<U *, T *>::value>::type * =
  67           nullptr)
  68       : MD(X) {}
  69
  70   operator Metadata *() const { return const_cast<Metadata *>(MD); }
  71
  72   bool operator==(const TypedDINodeRef<T> &X) const { return MD == X.MD; }
  73   bool operator!=(const TypedDINodeRef<T> &X) const { return MD != X.MD; }
  74
  75   /// \brief Create a reference.
  76   ///
  77   /// Get a reference to \c N, using an \a MDString reference if available.
  78   static TypedDINodeRef get(const T *N);
  79
  80   template <class MapTy> T *resolve(const MapTy &Map) const {
  81     if (!MD)
  82       return nullptr;
  83
  84     if (auto *Typed = dyn_cast<T>(MD))
  85       return const_cast<T *>(Typed);
  86
  87     auto *S = cast<MDString>(MD);
  88     auto I = Map.find(S);
  89     assert(I != Map.end() && "Missing identifier in type map");
  90     return cast<T>(I->second);
  91   }
  92 };
  93
  94 typedef TypedDINodeRef<DINode> DINodeRef;
  95 typedef TypedDINodeRef<DIScope> DIScopeRef;
  96 typedef TypedDINodeRef<DIType> DITypeRef;
  97
  98 class DITypeRefArray {
  99   const MDTuple *N = nullptr;
 100
 101 public:
 102   DITypeRefArray() = default;
 103   DITypeRefArray(const MDTuple *N) : N(N) {}
 104
 105   explicit operator bool() const { return get(); }
 106   explicit operator MDTuple *() const { return get(); }
 107
 108   MDTuple *get() const { return const_cast<MDTuple *>(N); }
 109   MDTuple *operator->() const { return get(); }
 110   MDTuple &operator*() const { return *get(); }
 111
 112   // FIXME: Fix callers and remove condition on N.
 113   unsigned size() const { return N ? N->getNumOperands() : 0u; }
 114   DITypeRef operator[](unsigned I) const { return DITypeRef(N->getOperand(I)); }
 115
 116   class iterator : std::iterator<std::input_iterator_tag, DITypeRef,
 117                                  std::ptrdiff_t, void, DITypeRef> {
 118     MDNode::op_iterator I = nullptr;
 119
 120   public:
 121     iterator() = default;
 122     explicit iterator(MDNode::op_iterator I) : I(I) {}
 123     DITypeRef operator*() const { return DITypeRef(*I); }
 124     iterator &operator++() {
 125       ++I;
 126       return *this;
 127     }
 128     iterator operator++(int) {
 129       iterator Temp(*this);
 130       ++I;
 131       return Temp;
 132     }
 133     bool operator==(const iterator &X) const { return I == X.I; }
 134     bool operator!=(const iterator &X) const { return I != X.I; }
 135   };
 136
 137   // FIXME: Fix callers and remove condition on N.
 138   iterator begin() const { return N ? iterator(N->op_begin()) : iterator(); }
 139   iterator end() const { return N ? iterator(N->op_end()) : iterator(); }
 140 };
 141
 142 /// \brief Tagged DWARF-like metadata node.
 143 ///
 144 /// A metadata node with a DWARF tag (i.e., a constant named \c DW_TAG_*,
 145 /// defined in llvm/Support/Dwarf.h).  Called \a DINode because it's
 146 /// potentially used for non-DWARF output.
 147 class DINode : public MDNode {
 148   friend class LLVMContextImpl;
 149   friend class MDNode;
 150
 151 protected:
 152   DINode(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
 153          ArrayRef<Metadata *> Ops1, ArrayRef<Metadata *> Ops2 = None)
 154       : MDNode(C, ID, Storage, Ops1, Ops2) {
 155     assert(Tag < 1u << 16);
 156     SubclassData16 = Tag;
 157   }
 158   ~DINode() = default;
 159
 160   template <class Ty> Ty *getOperandAs(unsigned I) const {
 161     return cast_or_null<Ty>(getOperand(I));
 162   }
 163
 164   StringRef getStringOperand(unsigned I) const {
 165     if (auto *S = getOperandAs<MDString>(I))
 166       return S->getString();
 167     return StringRef();
 168   }
 169
 170   static MDString *getCanonicalMDString(LLVMContext &Context, StringRef S) {
 171     if (S.empty())
 172       return nullptr;
 173     return MDString::get(Context, S);
 174   }
 175
 176 public:
 177   unsigned getTag() const { return SubclassData16; }
 178
 179   /// \brief Debug info flags.
 180   ///
 181   /// The three accessibility flags are mutually exclusive and rolled together
 182   /// in the first two bits.
 183   enum DIFlags {
 184 #define HANDLE_DI_FLAG(ID, NAME) Flag##NAME = ID,
 185 #include "llvm/IR/DebugInfoFlags.def"
 186     FlagAccessibility = FlagPrivate | FlagProtected | FlagPublic
 187   };
 188
 189   static unsigned getFlag(StringRef Flag);
 190   static const char *getFlagString(unsigned Flag);
 191
 192   /// \brief Split up a flags bitfield.
 193   ///
 194   /// Split \c Flags into \c SplitFlags, a vector of its components.  Returns
 195   /// any remaining (unrecognized) bits.
 196   static unsigned splitFlags(unsigned Flags,
 197                              SmallVectorImpl<unsigned> &SplitFlags);
 198
 199   DINodeRef getRef() const { return DINodeRef::get(this); }
 200
 201   static bool classof(const Metadata *MD) {
 202     switch (MD->getMetadataID()) {
 203     default:
 204       return false;
 205     case GenericDINodeKind:
 206     case DISubrangeKind:
 207     case DIEnumeratorKind:
 208     case DIBasicTypeKind:
 209     case DIDerivedTypeKind:
 210     case DICompositeTypeKind:
 211     case DISubroutineTypeKind:
 212     case DIFileKind:
 213     case DICompileUnitKind:
 214     case DISubprogramKind:
 215     case DILexicalBlockKind:
 216     case DILexicalBlockFileKind:
 217     case DINamespaceKind:
 218     case DITemplateTypeParameterKind:
 219     case DITemplateValueParameterKind:
 220     case DIGlobalVariableKind:
 221     case DILocalVariableKind:
 222     case DIObjCPropertyKind:
 223     case DIImportedEntityKind:
 224     case DIModuleKind:
 225       return true;
 226     }
 227   }
 228 };
 229
 230 template <class T> struct simplify_type<const TypedDINodeRef<T>> {
 231   typedef Metadata *SimpleType;
 232   static SimpleType getSimplifiedValue(const TypedDINodeRef<T> &MD) {
 233     return MD;
 234   }
 235 };
 236
 237 template <class T>
 238 struct simplify_type<TypedDINodeRef<T>>
 239     : simplify_type<const TypedDINodeRef<T>> {};
 240
 241 /// \brief Generic tagged DWARF-like metadata node.
 242 ///
 243 /// An un-specialized DWARF-like metadata node.  The first operand is a
 244 /// (possibly empty) null-separated \a MDString header that contains arbitrary
 245 /// fields.  The remaining operands are \a dwarf_operands(), and are pointers
 246 /// to other metadata.
 247 class GenericDINode : public DINode {
 248   friend class LLVMContextImpl;
 249   friend class MDNode;
 250
 251   GenericDINode(LLVMContext &C, StorageType Storage, unsigned Hash,
 252                 unsigned Tag, ArrayRef<Metadata *> Ops1,
 253                 ArrayRef<Metadata *> Ops2)
 254       : DINode(C, GenericDINodeKind, Storage, Tag, Ops1, Ops2) {
 255     setHash(Hash);
 256   }
 257   ~GenericDINode() { dropAllReferences(); }
 258
 259   void setHash(unsigned Hash) { SubclassData32 = Hash; }
 260   void recalculateHash();
 261
 262   static GenericDINode *getImpl(LLVMContext &Context, unsigned Tag,
 263                                 StringRef Header, ArrayRef<Metadata *> DwarfOps,
 264                                 StorageType Storage, bool ShouldCreate = true) {
 265     return getImpl(Context, Tag, getCanonicalMDString(Context, Header),
 266                    DwarfOps, Storage, ShouldCreate);
 267   }
 268
 269   static GenericDINode *getImpl(LLVMContext &Context, unsigned Tag,
 270                                 MDString *Header, ArrayRef<Metadata *> DwarfOps,
 271                                 StorageType Storage, bool ShouldCreate = true);
 272
 273   TempGenericDINode cloneImpl() const {
 274     return getTemporary(
 275         getContext(), getTag(), getHeader(),
 276         SmallVector<Metadata *, 4>(dwarf_op_begin(), dwarf_op_end()));
 277   }
 278
 279 public:
 280   unsigned getHash() const { return SubclassData32; }
 281
 282   DEFINE_MDNODE_GET(GenericDINode, (unsigned Tag, StringRef Header,
 283                                     ArrayRef<Metadata *> DwarfOps),
 284                     (Tag, Header, DwarfOps))
 285   DEFINE_MDNODE_GET(GenericDINode, (unsigned Tag, MDString *Header,
 286                                     ArrayRef<Metadata *> DwarfOps),
 287                     (Tag, Header, DwarfOps))
 288
 289   /// \brief Return a (temporary) clone of this.
 290   TempGenericDINode clone() const { return cloneImpl(); }
 291
 292   unsigned getTag() const { return SubclassData16; }
 293   StringRef getHeader() const { return getStringOperand(0); }
 294
 295   op_iterator dwarf_op_begin() const { return op_begin() + 1; }
 296   op_iterator dwarf_op_end() const { return op_end(); }
 297   op_range dwarf_operands() const {
 298     return op_range(dwarf_op_begin(), dwarf_op_end());
 299   }
 300
 301   unsigned getNumDwarfOperands() const { return getNumOperands() - 1; }
 302   const MDOperand &getDwarfOperand(unsigned I) const {
 303     return getOperand(I + 1);
 304   }
 305   void replaceDwarfOperandWith(unsigned I, Metadata *New) {
 306     replaceOperandWith(I + 1, New);
 307   }
 308
 309   static bool classof(const Metadata *MD) {
 310     return MD->getMetadataID() == GenericDINodeKind;
 311   }
 312 };
 313
 314 /// \brief Array subrange.
 315 ///
 316 /// TODO: Merge into node for DW_TAG_array_type, which should have a custom
 317 /// type.
 318 class DISubrange : public DINode {
 319   friend class LLVMContextImpl;
 320   friend class MDNode;
 321
 322   int64_t Count;
 323   int64_t LowerBound;
 324
 325   DISubrange(LLVMContext &C, StorageType Storage, int64_t Count,
 326              int64_t LowerBound)
 327       : DINode(C, DISubrangeKind, Storage, dwarf::DW_TAG_subrange_type, None),
 328         Count(Count), LowerBound(LowerBound) {}
 329   ~DISubrange() = default;
 330
 331   static DISubrange *getImpl(LLVMContext &Context, int64_t Count,
 332                              int64_t LowerBound, StorageType Storage,
 333                              bool ShouldCreate = true);
 334
 335   TempDISubrange cloneImpl() const {
 336     return getTemporary(getContext(), getCount(), getLowerBound());
 337   }
 338
 339 public:
 340   DEFINE_MDNODE_GET(DISubrange, (int64_t Count, int64_t LowerBound = 0),
 341                     (Count, LowerBound))
 342
 343   TempDISubrange clone() const { return cloneImpl(); }
 344
 345   int64_t getLowerBound() const { return LowerBound; }
 346   int64_t getCount() const { return Count; }
 347
 348   static bool classof(const Metadata *MD) {
 349     return MD->getMetadataID() == DISubrangeKind;
 350   }
 351 };
 352
 353 /// \brief Enumeration value.
 354 ///
 355 /// TODO: Add a pointer to the context (DW_TAG_enumeration_type) once that no
 356 /// longer creates a type cycle.
 357 class DIEnumerator : public DINode {
 358   friend class LLVMContextImpl;
 359   friend class MDNode;
 360
 361   int64_t Value;
 362
 363   DIEnumerator(LLVMContext &C, StorageType Storage, int64_t Value,
 364                ArrayRef<Metadata *> Ops)
 365       : DINode(C, DIEnumeratorKind, Storage, dwarf::DW_TAG_enumerator, Ops),
 366         Value(Value) {}
 367   ~DIEnumerator() = default;
 368
 369   static DIEnumerator *getImpl(LLVMContext &Context, int64_t Value,
 370                                StringRef Name, StorageType Storage,
 371                                bool ShouldCreate = true) {
 372     return getImpl(Context, Value, getCanonicalMDString(Context, Name), Storage,
 373                    ShouldCreate);
 374   }
 375   static DIEnumerator *getImpl(LLVMContext &Context, int64_t Value,
 376                                MDString *Name, StorageType Storage,
 377                                bool ShouldCreate = true);
 378
 379   TempDIEnumerator cloneImpl() const {
 380     return getTemporary(getContext(), getValue(), getName());
 381   }
 382
 383 public:
 384   DEFINE_MDNODE_GET(DIEnumerator, (int64_t Value, StringRef Name),
 385                     (Value, Name))
 386   DEFINE_MDNODE_GET(DIEnumerator, (int64_t Value, MDString *Name),
 387                     (Value, Name))
 388
 389   TempDIEnumerator clone() const { return cloneImpl(); }
 390
 391   int64_t getValue() const { return Value; }
 392   StringRef getName() const { return getStringOperand(0); }
 393
 394   MDString *getRawName() const { return getOperandAs<MDString>(0); }
 395
 396   static bool classof(const Metadata *MD) {
 397     return MD->getMetadataID() == DIEnumeratorKind;
 398   }
 399 };
 400
 401 /// \brief Base class for scope-like contexts.
 402 ///
 403 /// Base class for lexical scopes and types (which are also declaration
 404 /// contexts).
 405 ///
 406 /// TODO: Separate the concepts of declaration contexts and lexical scopes.
 407 class DIScope : public DINode {
 408 protected:
 409   DIScope(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
 410           ArrayRef<Metadata *> Ops)
 411       : DINode(C, ID, Storage, Tag, Ops) {}
 412   ~DIScope() = default;
 413
 414 public:
 415   DIFile *getFile() const { return cast_or_null<DIFile>(getRawFile()); }
 416
 417   inline StringRef getFilename() const;
 418   inline StringRef getDirectory() const;
 419
 420   StringRef getName() const;
 421   DIScopeRef getScope() const;
 422
 423   /// \brief Return the raw underlying file.
 424   ///
 425   /// An \a DIFile is an \a DIScope, but it doesn't point at a separate file
 426   /// (it\em is the file).  If \c this is an \a DIFile, we need to return \c
 427   /// this.  Otherwise, return the first operand, which is where all other
 428   /// subclasses store their file pointer.
 429   Metadata *getRawFile() const {
 430     return isa<DIFile>(this) ? const_cast<DIScope *>(this)
 431                              : static_cast<Metadata *>(getOperand(0));
 432   }
 433
 434   DIScopeRef getRef() const { return DIScopeRef::get(this); }
 435
 436   static bool classof(const Metadata *MD) {
 437     switch (MD->getMetadataID()) {
 438     default:
 439       return false;
 440     case DIBasicTypeKind:
 441     case DIDerivedTypeKind:
 442     case DICompositeTypeKind:
 443     case DISubroutineTypeKind:
 444     case DIFileKind:
 445     case DICompileUnitKind:
 446     case DISubprogramKind:
 447     case DILexicalBlockKind:
 448     case DILexicalBlockFileKind:
 449     case DINamespaceKind:
 450     case DIModuleKind:
 451       return true;
 452     }
 453   }
 454 };
 455
 456 /// \brief File.
 457 ///
 458 /// TODO: Merge with directory/file node (including users).
 459 /// TODO: Canonicalize paths on creation.
 460 class DIFile : public DIScope {
 461   friend class LLVMContextImpl;
 462   friend class MDNode;
 463
 464   DIFile(LLVMContext &C, StorageType Storage, ArrayRef<Metadata *> Ops)
 465       : DIScope(C, DIFileKind, Storage, dwarf::DW_TAG_file_type, Ops) {}
 466   ~DIFile() = default;
 467
 468   static DIFile *getImpl(LLVMContext &Context, StringRef Filename,
 469                          StringRef Directory, StorageType Storage,
 470                          bool ShouldCreate = true) {
 471     return getImpl(Context, getCanonicalMDString(Context, Filename),
 472                    getCanonicalMDString(Context, Directory), Storage,
 473                    ShouldCreate);
 474   }
 475   static DIFile *getImpl(LLVMContext &Context, MDString *Filename,
 476                          MDString *Directory, StorageType Storage,
 477                          bool ShouldCreate = true);
 478
 479   TempDIFile cloneImpl() const {
 480     return getTemporary(getContext(), getFilename(), getDirectory());
 481   }
 482
 483 public:
 484   DEFINE_MDNODE_GET(DIFile, (StringRef Filename, StringRef Directory),
 485                     (Filename, Directory))
 486   DEFINE_MDNODE_GET(DIFile, (MDString * Filename, MDString *Directory),
 487                     (Filename, Directory))
 488
 489   TempDIFile clone() const { return cloneImpl(); }
 490
 491   StringRef getFilename() const { return getStringOperand(0); }
 492   StringRef getDirectory() const { return getStringOperand(1); }
 493
 494   MDString *getRawFilename() const { return getOperandAs<MDString>(0); }
 495   MDString *getRawDirectory() const { return getOperandAs<MDString>(1); }
 496
 497   static bool classof(const Metadata *MD) {
 498     return MD->getMetadataID() == DIFileKind;
 499   }
 500 };
 501
 502 StringRef DIScope::getFilename() const {
 503   if (auto *F = getFile())
 504     return F->getFilename();
 505   return "";
 506 }
 507
 508 StringRef DIScope::getDirectory() const {
 509   if (auto *F = getFile())
 510     return F->getDirectory();
 511   return "";
 512 }
 513
 514 /// \brief Base class for types.
 515 ///
 516 /// TODO: Remove the hardcoded name and context, since many types don't use
 517 /// them.
 518 /// TODO: Split up flags.
 519 class DIType : public DIScope {
 520   unsigned Line;
 521   unsigned Flags;
 522   uint64_t SizeInBits;
 523   uint64_t AlignInBits;
 524   uint64_t OffsetInBits;
 525
 526 protected:
 527   DIType(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
 528          unsigned Line, uint64_t SizeInBits, uint64_t AlignInBits,
 529          uint64_t OffsetInBits, unsigned Flags, ArrayRef<Metadata *> Ops)
 530       : DIScope(C, ID, Storage, Tag, Ops), Line(Line), Flags(Flags),
 531         SizeInBits(SizeInBits), AlignInBits(AlignInBits),
 532         OffsetInBits(OffsetInBits) {}
 533   ~DIType() = default;
 534
 535 public:
 536   TempDIType clone() const {
 537     return TempDIType(cast<DIType>(MDNode::clone().release()));
 538   }
 539
 540   unsigned getLine() const { return Line; }
 541   uint64_t getSizeInBits() const { return SizeInBits; }
 542   uint64_t getAlignInBits() const { return AlignInBits; }
 543   uint64_t getOffsetInBits() const { return OffsetInBits; }
 544   unsigned getFlags() const { return Flags; }
 545
 546   DIScopeRef getScope() const { return DIScopeRef(getRawScope()); }
 547   StringRef getName() const { return getStringOperand(2); }
 548
 549
 550   Metadata *getRawScope() const { return getOperand(1); }
 551   MDString *getRawName() const { return getOperandAs<MDString>(2); }
 552
 553   void setFlags(unsigned NewFlags) {
 554     assert(!isUniqued() && "Cannot set flags on uniqued nodes");
 555     Flags = NewFlags;
 556   }
 557
 558   bool isPrivate() const {
 559     return (getFlags() & FlagAccessibility) == FlagPrivate;
 560   }
 561   bool isProtected() const {
 562     return (getFlags() & FlagAccessibility) == FlagProtected;
 563   }
 564   bool isPublic() const {
 565     return (getFlags() & FlagAccessibility) == FlagPublic;
 566   }
 567   bool isForwardDecl() const { return getFlags() & FlagFwdDecl; }
 568   bool isAppleBlockExtension() const { return getFlags() & FlagAppleBlock; }
 569   bool isBlockByrefStruct() const { return getFlags() & FlagBlockByrefStruct; }
 570   bool isVirtual() const { return getFlags() & FlagVirtual; }
 571   bool isArtificial() const { return getFlags() & FlagArtificial; }
 572   bool isObjectPointer() const { return getFlags() & FlagObjectPointer; }
 573   bool isObjcClassComplete() const {
 574     return getFlags() & FlagObjcClassComplete;
 575   }
 576   bool isVector() const { return getFlags() & FlagVector; }
 577   bool isStaticMember() const { return getFlags() & FlagStaticMember; }
 578   bool isLValueReference() const { return getFlags() & FlagLValueReference; }
 579   bool isRValueReference() const { return getFlags() & FlagRValueReference; }
 580   bool isExternalTypeRef() const { return getFlags() & FlagExternalTypeRef; }
 581
 582   DITypeRef getRef() const { return DITypeRef::get(this); }
 583
 584   static bool classof(const Metadata *MD) {
 585     switch (MD->getMetadataID()) {
 586     default:
 587       return false;
 588     case DIBasicTypeKind:
 589     case DIDerivedTypeKind:
 590     case DICompositeTypeKind:
 591     case DISubroutineTypeKind:
 592       return true;
 593     }
 594   }
 595 };
 596
 597 /// \brief Basic type, like 'int' or 'float'.
 598 ///
 599 /// TODO: Split out DW_TAG_unspecified_type.
 600 /// TODO: Drop unused accessors.
 601 class DIBasicType : public DIType {
 602   friend class LLVMContextImpl;
 603   friend class MDNode;
 604
 605   unsigned Encoding;
 606
 607   DIBasicType(LLVMContext &C, StorageType Storage, unsigned Tag,
 608               uint64_t SizeInBits, uint64_t AlignInBits, unsigned Encoding,
 609               ArrayRef<Metadata *> Ops)
 610       : DIType(C, DIBasicTypeKind, Storage, Tag, 0, SizeInBits, AlignInBits, 0,
 611                0, Ops),
 612         Encoding(Encoding) {}
 613   ~DIBasicType() = default;
 614
 615   static DIBasicType *getImpl(LLVMContext &Context, unsigned Tag,
 616                               StringRef Name, uint64_t SizeInBits,
 617                               uint64_t AlignInBits, unsigned Encoding,
 618                               StorageType Storage, bool ShouldCreate = true) {
 619     return getImpl(Context, Tag, getCanonicalMDString(Context, Name),
 620                    SizeInBits, AlignInBits, Encoding, Storage, ShouldCreate);
 621   }
 622   static DIBasicType *getImpl(LLVMContext &Context, unsigned Tag,
 623                               MDString *Name, uint64_t SizeInBits,
 624                               uint64_t AlignInBits, unsigned Encoding,
 625                               StorageType Storage, bool ShouldCreate = true);
 626
 627   TempDIBasicType cloneImpl() const {
 628     return getTemporary(getContext(), getTag(), getName(), getSizeInBits(),
 629                         getAlignInBits(), getEncoding());
 630   }
 631
 632 public:
 633   DEFINE_MDNODE_GET(DIBasicType, (unsigned Tag, StringRef Name),
 634                     (Tag, Name, 0, 0, 0))
 635   DEFINE_MDNODE_GET(DIBasicType,
 636                     (unsigned Tag, StringRef Name, uint64_t SizeInBits,
 637                      uint64_t AlignInBits, unsigned Encoding),
 638                     (Tag, Name, SizeInBits, AlignInBits, Encoding))
 639   DEFINE_MDNODE_GET(DIBasicType,
 640                     (unsigned Tag, MDString *Name, uint64_t SizeInBits,
 641                      uint64_t AlignInBits, unsigned Encoding),
 642                     (Tag, Name, SizeInBits, AlignInBits, Encoding))
 643
 644   TempDIBasicType clone() const { return cloneImpl(); }
 645
 646   unsigned getEncoding() const { return Encoding; }
 647
 648   static bool classof(const Metadata *MD) {
 649     return MD->getMetadataID() == DIBasicTypeKind;
 650   }
 651 };
 652
 653 /// \brief Derived types.
 654 ///
 655 /// This includes qualified types, pointers, references, friends, typedefs, and
 656 /// class members.
 657 ///
 658 /// TODO: Split out members (inheritance, fields, methods, etc.).
 659 class DIDerivedType : public DIType {
 660   friend class LLVMContextImpl;
 661   friend class MDNode;
 662
 663   DIDerivedType(LLVMContext &C, StorageType Storage, unsigned Tag,
 664                 unsigned Line, uint64_t SizeInBits, uint64_t AlignInBits,
 665                 uint64_t OffsetInBits, unsigned Flags, ArrayRef<Metadata *> Ops)
 666       : DIType(C, DIDerivedTypeKind, Storage, Tag, Line, SizeInBits,
 667                AlignInBits, OffsetInBits, Flags, Ops) {}
 668   ~DIDerivedType() = default;
 669
 670   static DIDerivedType *getImpl(LLVMContext &Context, unsigned Tag,
 671                                 StringRef Name, DIFile *File, unsigned Line,
 672                                 DIScopeRef Scope, DITypeRef BaseType,
 673                                 uint64_t SizeInBits, uint64_t AlignInBits,
 674                                 uint64_t OffsetInBits, unsigned Flags,
 675                                 Metadata *ExtraData, StorageType Storage,
 676                                 bool ShouldCreate = true) {
 677     return getImpl(Context, Tag, getCanonicalMDString(Context, Name), File,
 678                    Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits,
 679                    Flags, ExtraData, Storage, ShouldCreate);
 680   }
 681   static DIDerivedType *getImpl(LLVMContext &Context, unsigned Tag,
 682                                 MDString *Name, Metadata *File, unsigned Line,
 683                                 Metadata *Scope, Metadata *BaseType,
 684                                 uint64_t SizeInBits, uint64_t AlignInBits,
 685                                 uint64_t OffsetInBits, unsigned Flags,
 686                                 Metadata *ExtraData, StorageType Storage,
 687                                 bool ShouldCreate = true);
 688
 689   TempDIDerivedType cloneImpl() const {
 690     return getTemporary(getContext(), getTag(), getName(), getFile(), getLine(),
 691                         getScope(), getBaseType(), getSizeInBits(),
 692                         getAlignInBits(), getOffsetInBits(), getFlags(),
 693                         getExtraData());
 694   }
 695
 696 public:
 697   DEFINE_MDNODE_GET(DIDerivedType,
 698                     (unsigned Tag, MDString *Name, Metadata *File,
 699                      unsigned Line, Metadata *Scope, Metadata *BaseType,
 700                      uint64_t SizeInBits, uint64_t AlignInBits,
 701                      uint64_t OffsetInBits, unsigned Flags,
 702                      Metadata *ExtraData = nullptr),
 703                     (Tag, Name, File, Line, Scope, BaseType, SizeInBits,
 704                      AlignInBits, OffsetInBits, Flags, ExtraData))
 705   DEFINE_MDNODE_GET(DIDerivedType,
 706                     (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
 707                      DIScopeRef Scope, DITypeRef BaseType, uint64_t SizeInBits,
 708                      uint64_t AlignInBits, uint64_t OffsetInBits,
 709                      unsigned Flags, Metadata *ExtraData = nullptr),
 710                     (Tag, Name, File, Line, Scope, BaseType, SizeInBits,
 711                      AlignInBits, OffsetInBits, Flags, ExtraData))
 712
 713   TempDIDerivedType clone() const { return cloneImpl(); }
 714
 715   //// Get the base type this is derived from.
 716   DITypeRef getBaseType() const { return DITypeRef(getRawBaseType()); }
 717   Metadata *getRawBaseType() const { return getOperand(3); }
 718
 719   /// \brief Get extra data associated with this derived type.
 720   ///
 721   /// Class type for pointer-to-members, objective-c property node for ivars,
 722   /// or global constant wrapper for static members.
 723   ///
 724   /// TODO: Separate out types that need this extra operand: pointer-to-member
 725   /// types and member fields (static members and ivars).
 726   Metadata *getExtraData() const { return getRawExtraData(); }
 727   Metadata *getRawExtraData() const { return getOperand(4); }
 728
 729   /// \brief Get casted version of extra data.
 730   /// @{
 731   DITypeRef getClassType() const {
 732     assert(getTag() == dwarf::DW_TAG_ptr_to_member_type);
 733     return DITypeRef(getExtraData());
 734   }
 735   DIObjCProperty *getObjCProperty() const {
 736     return dyn_cast_or_null<DIObjCProperty>(getExtraData());
 737   }
 738   Constant *getConstant() const {
 739     assert(getTag() == dwarf::DW_TAG_member && isStaticMember());
 740     if (auto *C = cast_or_null<ConstantAsMetadata>(getExtraData()))
 741       return C->getValue();
 742     return nullptr;
 743   }
 744   /// @}
 745
 746   static bool classof(const Metadata *MD) {
 747     return MD->getMetadataID() == DIDerivedTypeKind;
 748   }
 749 };
 750
 751 /// \brief Composite types.
 752 ///
 753 /// TODO: Detach from DerivedTypeBase (split out MDEnumType?).
 754 /// TODO: Create a custom, unrelated node for DW_TAG_array_type.
 755 class DICompositeType : public DIType {
 756   friend class LLVMContextImpl;
 757   friend class MDNode;
 758
 759   unsigned RuntimeLang;
 760
 761   DICompositeType(LLVMContext &C, StorageType Storage, unsigned Tag,
 762                   unsigned Line, unsigned RuntimeLang, uint64_t SizeInBits,
 763                   uint64_t AlignInBits, uint64_t OffsetInBits, unsigned Flags,
 764                   ArrayRef<Metadata *> Ops)
 765       : DIType(C, DICompositeTypeKind, Storage, Tag, Line, SizeInBits,
 766                AlignInBits, OffsetInBits, Flags, Ops),
 767         RuntimeLang(RuntimeLang) {}
 768   ~DICompositeType() = default;
 769
 770   static DICompositeType *
 771   getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, Metadata *File,
 772           unsigned Line, DIScopeRef Scope, DITypeRef BaseType,
 773           uint64_t SizeInBits, uint64_t AlignInBits, uint64_t OffsetInBits,
 774           uint64_t Flags, DINodeArray Elements, unsigned RuntimeLang,
 775           DITypeRef VTableHolder, DITemplateParameterArray TemplateParams,
 776           StringRef Identifier, StorageType Storage, bool ShouldCreate = true) {
 777     return getImpl(
 778         Context, Tag, getCanonicalMDString(Context, Name), File, Line, Scope,
 779         BaseType, SizeInBits, AlignInBits, OffsetInBits, Flags, Elements.get(),
 780         RuntimeLang, VTableHolder, TemplateParams.get(),
 781         getCanonicalMDString(Context, Identifier), Storage, ShouldCreate);
 782   }
 783   static DICompositeType *
 784   getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
 785           unsigned Line, Metadata *Scope, Metadata *BaseType,
 786           uint64_t SizeInBits, uint64_t AlignInBits, uint64_t OffsetInBits,
 787           unsigned Flags, Metadata *Elements, unsigned RuntimeLang,
 788           Metadata *VTableHolder, Metadata *TemplateParams,
 789           MDString *Identifier, StorageType Storage, bool ShouldCreate = true);
 790
 791   TempDICompositeType cloneImpl() const {
 792     return getTemporary(getContext(), getTag(), getName(), getFile(), getLine(),
 793                         getScope(), getBaseType(), getSizeInBits(),
 794                         getAlignInBits(), getOffsetInBits(), getFlags(),
 795                         getElements(), getRuntimeLang(), getVTableHolder(),
 796                         getTemplateParams(), getIdentifier());
 797   }
 798
 799 public:
 800   DEFINE_MDNODE_GET(DICompositeType,
 801                     (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
 802                      DIScopeRef Scope, DITypeRef BaseType, uint64_t SizeInBits,
 803                      uint64_t AlignInBits, uint64_t OffsetInBits,
 804                      unsigned Flags, DINodeArray Elements, unsigned RuntimeLang,
 805                      DITypeRef VTableHolder,
 806                      DITemplateParameterArray TemplateParams = nullptr,
 807                      StringRef Identifier = ""),
 808                     (Tag, Name, File, Line, Scope, BaseType, SizeInBits,
 809                      AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,
 810                      VTableHolder, TemplateParams, Identifier))
 811   DEFINE_MDNODE_GET(DICompositeType,
 812                     (unsigned Tag, MDString *Name, Metadata *File,
 813                      unsigned Line, Metadata *Scope, Metadata *BaseType,
 814                      uint64_t SizeInBits, uint64_t AlignInBits,
 815                      uint64_t OffsetInBits, unsigned Flags, Metadata *Elements,
 816                      unsigned RuntimeLang, Metadata *VTableHolder,
 817                      Metadata *TemplateParams = nullptr,
 818                      MDString *Identifier = nullptr),
 819                     (Tag, Name, File, Line, Scope, BaseType, SizeInBits,
 820                      AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,
 821                      VTableHolder, TemplateParams, Identifier))
 822
 823   TempDICompositeType clone() const { return cloneImpl(); }
 824
 825   DITypeRef getBaseType() const { return DITypeRef(getRawBaseType()); }
 826   DINodeArray getElements() const {
 827     return cast_or_null<MDTuple>(getRawElements());
 828   }
 829   DITypeRef getVTableHolder() const { return DITypeRef(getRawVTableHolder()); }
 830   DITemplateParameterArray getTemplateParams() const {
 831     return cast_or_null<MDTuple>(getRawTemplateParams());
 832   }
 833   StringRef getIdentifier() const { return getStringOperand(7); }
 834   unsigned getRuntimeLang() const { return RuntimeLang; }
 835
 836   Metadata *getRawBaseType() const { return getOperand(3); }
 837   Metadata *getRawElements() const { return getOperand(4); }
 838   Metadata *getRawVTableHolder() const { return getOperand(5); }
 839   Metadata *getRawTemplateParams() const { return getOperand(6); }
 840   MDString *getRawIdentifier() const { return getOperandAs<MDString>(7); }
 841
 842   /// \brief Replace operands.
 843   ///
 844   /// If this \a isUniqued() and not \a isResolved(), on a uniquing collision
 845   /// this will be RAUW'ed and deleted.  Use a \a TrackingMDRef to keep track
 846   /// of its movement if necessary.
 847   /// @{
 848   void replaceElements(DINodeArray Elements) {
 849 #ifndef NDEBUG
 850     for (DINode *Op : getElements())
 851       assert(std::find(Elements->op_begin(), Elements->op_end(), Op) &&
 852              "Lost a member during member list replacement");
 853 #endif
 854     replaceOperandWith(4, Elements.get());
 855   }
 856   void replaceVTableHolder(DITypeRef VTableHolder) {
 857     replaceOperandWith(5, VTableHolder);
 858   }
 859   void replaceTemplateParams(DITemplateParameterArray TemplateParams) {
 860     replaceOperandWith(6, TemplateParams.get());
 861   }
 862   /// @}
 863
 864   static bool classof(const Metadata *MD) {
 865     return MD->getMetadataID() == DICompositeTypeKind;
 866   }
 867 };
 868
 869 template <class T> TypedDINodeRef<T> TypedDINodeRef<T>::get(const T *N) {
 870   if (N)
 871     if (auto *Composite = dyn_cast<DICompositeType>(N))
 872       if (auto *S = Composite->getRawIdentifier())
 873         return TypedDINodeRef<T>(S);
 874   return TypedDINodeRef<T>(N);
 875 }
 876
 877 /// \brief Type array for a subprogram.
 878 ///
 879 /// TODO: Fold the array of types in directly as operands.
 880 class DISubroutineType : public DIType {
 881   friend class LLVMContextImpl;
 882   friend class MDNode;
 883
 884   DISubroutineType(LLVMContext &C, StorageType Storage, unsigned Flags,
 885                    ArrayRef<Metadata *> Ops)
 886       : DIType(C, DISubroutineTypeKind, Storage, dwarf::DW_TAG_subroutine_type,
 887                0, 0, 0, 0, Flags, Ops) {}
 888   ~DISubroutineType() = default;
 889
 890   static DISubroutineType *getImpl(LLVMContext &Context, unsigned Flags,
 891                                    DITypeRefArray TypeArray,
 892                                    StorageType Storage,
 893                                    bool ShouldCreate = true) {
 894     return getImpl(Context, Flags, TypeArray.get(), Storage, ShouldCreate);
 895   }
 896   static DISubroutineType *getImpl(LLVMContext &Context, unsigned Flags,
 897                                    Metadata *TypeArray, StorageType Storage,
 898                                    bool ShouldCreate = true);
 899
 900   TempDISubroutineType cloneImpl() const {
 901     return getTemporary(getContext(), getFlags(), getTypeArray());
 902   }
 903
 904 public:
 905   DEFINE_MDNODE_GET(DISubroutineType,
 906                     (unsigned Flags, DITypeRefArray TypeArray),
 907                     (Flags, TypeArray))
 908   DEFINE_MDNODE_GET(DISubroutineType, (unsigned Flags, Metadata *TypeArray),
 909                     (Flags, TypeArray))
 910
 911   TempDISubroutineType clone() const { return cloneImpl(); }
 912
 913   DITypeRefArray getTypeArray() const {
 914     return cast_or_null<MDTuple>(getRawTypeArray());
 915   }
 916   Metadata *getRawTypeArray() const { return getOperand(3); }
 917
 918   static bool classof(const Metadata *MD) {
 919     return MD->getMetadataID() == DISubroutineTypeKind;
 920   }
 921 };
 922
 923 /// \brief Compile unit.
 924 class DICompileUnit : public DIScope {
 925   friend class LLVMContextImpl;
 926   friend class MDNode;
 927
 928   unsigned SourceLanguage;
 929   bool IsOptimized;
 930   unsigned RuntimeVersion;
 931   unsigned EmissionKind;
 932   uint64_t DWOId;
 933
 934   DICompileUnit(LLVMContext &C, StorageType Storage, unsigned SourceLanguage,
 935                 bool IsOptimized, unsigned RuntimeVersion,
 936                 unsigned EmissionKind, uint64_t DWOId, ArrayRef<Metadata *> Ops)
 937       : DIScope(C, DICompileUnitKind, Storage, dwarf::DW_TAG_compile_unit, Ops),
 938         SourceLanguage(SourceLanguage), IsOptimized(IsOptimized),
 939         RuntimeVersion(RuntimeVersion), EmissionKind(EmissionKind),
 940         DWOId(DWOId) {
 941     assert(Storage != Uniqued);
 942   }
 943   ~DICompileUnit() = default;
 944
 945   static DICompileUnit *
 946   getImpl(LLVMContext &Context, unsigned SourceLanguage, DIFile *File,
 947           StringRef Producer, bool IsOptimized, StringRef Flags,
 948           unsigned RuntimeVersion, StringRef SplitDebugFilename,
 949           unsigned EmissionKind, DICompositeTypeArray EnumTypes,
 950           DITypeArray RetainedTypes, DISubprogramArray Subprograms,
 951           DIGlobalVariableArray GlobalVariables,
 952           DIImportedEntityArray ImportedEntities, uint64_t DWOId,
 953           StorageType Storage, bool ShouldCreate = true) {
 954     return getImpl(Context, SourceLanguage, File,
 955                    getCanonicalMDString(Context, Producer), IsOptimized,
 956                    getCanonicalMDString(Context, Flags), RuntimeVersion,
 957                    getCanonicalMDString(Context, SplitDebugFilename),
 958                    EmissionKind, EnumTypes.get(), RetainedTypes.get(),
 959                    Subprograms.get(), GlobalVariables.get(),
 960                    ImportedEntities.get(), DWOId, Storage, ShouldCreate);
 961   }
 962   static DICompileUnit *
 963   getImpl(LLVMContext &Context, unsigned SourceLanguage, Metadata *File,
 964           MDString *Producer, bool IsOptimized, MDString *Flags,
 965           unsigned RuntimeVersion, MDString *SplitDebugFilename,
 966           unsigned EmissionKind, Metadata *EnumTypes, Metadata *RetainedTypes,
 967           Metadata *Subprograms, Metadata *GlobalVariables,
 968           Metadata *ImportedEntities, uint64_t DWOId, StorageType Storage,
 969           bool ShouldCreate = true);
 970
 971   TempDICompileUnit cloneImpl() const {
 972     return getTemporary(
 973         getContext(), getSourceLanguage(), getFile(), getProducer(),
 974         isOptimized(), getFlags(), getRuntimeVersion(), getSplitDebugFilename(),
 975         getEmissionKind(), getEnumTypes(), getRetainedTypes(), getSubprograms(),
 976         getGlobalVariables(), getImportedEntities(), DWOId);
 977   }
 978
 979   static void get() = delete;
 980   static void getIfExists() = delete;
 981
 982 public:
 983   DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(
 984       DICompileUnit,
 985       (unsigned SourceLanguage, DIFile *File, StringRef Producer,
 986        bool IsOptimized, StringRef Flags, unsigned RuntimeVersion,
 987        StringRef SplitDebugFilename, unsigned EmissionKind,
 988        DICompositeTypeArray EnumTypes, DITypeArray RetainedTypes,
 989        DISubprogramArray Subprograms, DIGlobalVariableArray GlobalVariables,
 990        DIImportedEntityArray ImportedEntities, uint64_t DWOId),
 991       (SourceLanguage, File, Producer, IsOptimized, Flags, RuntimeVersion,
 992        SplitDebugFilename, EmissionKind, EnumTypes, RetainedTypes, Subprograms,
 993        GlobalVariables, ImportedEntities, DWOId))
 994   DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(
 995       DICompileUnit,
 996       (unsigned SourceLanguage, Metadata *File, MDString *Producer,
 997        bool IsOptimized, MDString *Flags, unsigned RuntimeVersion,
 998        MDString *SplitDebugFilename, unsigned EmissionKind, Metadata *EnumTypes,
 999        Metadata *RetainedTypes, Metadata *Subprograms,
1000        Metadata *GlobalVariables, Metadata *ImportedEntities, uint64_t DWOId),
1001       (SourceLanguage, File, Producer, IsOptimized, Flags, RuntimeVersion,
1002        SplitDebugFilename, EmissionKind, EnumTypes, RetainedTypes, Subprograms,
1003        GlobalVariables, ImportedEntities, DWOId))
1004
1005   TempDICompileUnit clone() const { return cloneImpl(); }
1006
1007   unsigned getSourceLanguage() const { return SourceLanguage; }
1008   bool isOptimized() const { return IsOptimized; }
1009   unsigned getRuntimeVersion() const { return RuntimeVersion; }
1010   unsigned getEmissionKind() const { return EmissionKind; }
1011   StringRef getProducer() const { return getStringOperand(1); }
1012   StringRef getFlags() const { return getStringOperand(2); }
1013   StringRef getSplitDebugFilename() const { return getStringOperand(3); }
1014   DICompositeTypeArray getEnumTypes() const {
1015     return cast_or_null<MDTuple>(getRawEnumTypes());
1016   }
1017   DITypeArray getRetainedTypes() const {
1018     return cast_or_null<MDTuple>(getRawRetainedTypes());
1019   }
1020   DISubprogramArray getSubprograms() const {
1021     return cast_or_null<MDTuple>(getRawSubprograms());
1022   }
1023   DIGlobalVariableArray getGlobalVariables() const {
1024     return cast_or_null<MDTuple>(getRawGlobalVariables());
1025   }
1026   DIImportedEntityArray getImportedEntities() const {
1027     return cast_or_null<MDTuple>(getRawImportedEntities());
1028   }
1029   uint64_t getDWOId() const { return DWOId; }
1030   void setDWOId(uint64_t DwoId) { DWOId = DwoId; }
1031
1032   MDString *getRawProducer() const { return getOperandAs<MDString>(1); }
1033   MDString *getRawFlags() const { return getOperandAs<MDString>(2); }
1034   MDString *getRawSplitDebugFilename() const {
1035     return getOperandAs<MDString>(3);
1036   }
1037   Metadata *getRawEnumTypes() const { return getOperand(4); }
1038   Metadata *getRawRetainedTypes() const { return getOperand(5); }
1039   Metadata *getRawSubprograms() const { return getOperand(6); }
1040   Metadata *getRawGlobalVariables() const { return getOperand(7); }
1041   Metadata *getRawImportedEntities() const { return getOperand(8); }
1042
1043   /// \brief Replace arrays.
1044   ///
1045   /// If this \a isUniqued() and not \a isResolved(), it will be RAUW'ed and
1046   /// deleted on a uniquing collision.  In practice, uniquing collisions on \a
1047   /// DICompileUnit should be fairly rare.
1048   /// @{
1049   void replaceEnumTypes(DICompositeTypeArray N) {
1050     replaceOperandWith(4, N.get());
1051   }
1052   void replaceRetainedTypes(DITypeArray N) {
1053     replaceOperandWith(5, N.get());
1054   }
1055   void replaceSubprograms(DISubprogramArray N) {
1056     replaceOperandWith(6, N.get());
1057   }
1058   void replaceGlobalVariables(DIGlobalVariableArray N) {
1059     replaceOperandWith(7, N.get());
1060   }
1061   void replaceImportedEntities(DIImportedEntityArray N) {
1062     replaceOperandWith(8, N.get());
1063   }
1064   /// @}
1065
1066   static bool classof(const Metadata *MD) {
1067     return MD->getMetadataID() == DICompileUnitKind;
1068   }
1069 };
1070
1071 /// \brief A scope for locals.
1072 ///
1073 /// A legal scope for lexical blocks, local variables, and debug info
1074 /// locations.  Subclasses are \a DISubprogram, \a DILexicalBlock, and \a
1075 /// DILexicalBlockFile.
1076 class DILocalScope : public DIScope {
1077 protected:
1078   DILocalScope(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
1079                ArrayRef<Metadata *> Ops)
1080       : DIScope(C, ID, Storage, Tag, Ops) {}
1081   ~DILocalScope() = default;
1082
1083 public:
1084   /// \brief Get the subprogram for this scope.
1085   ///
1086   /// Return this if it's an \a DISubprogram; otherwise, look up the scope
1087   /// chain.
1088   DISubprogram *getSubprogram() const;
1089
1090   static bool classof(const Metadata *MD) {
1091     return MD->getMetadataID() == DISubprogramKind ||
1092            MD->getMetadataID() == DILexicalBlockKind ||
1093            MD->getMetadataID() == DILexicalBlockFileKind;
1094   }
1095 };
1096
1097 /// \brief Debug location.
1098 ///
1099 /// A debug location in source code, used for debug info and otherwise.
1100 class DILocation : public MDNode {
1101   friend class LLVMContextImpl;
1102   friend class MDNode;
1103
1104   DILocation(LLVMContext &C, StorageType Storage, unsigned Line,
1105              unsigned Column, ArrayRef<Metadata *> MDs);
1106   ~DILocation() { dropAllReferences(); }
1107
1108   static DILocation *getImpl(LLVMContext &Context, unsigned Line,
1109                              unsigned Column, Metadata *Scope,
1110                              Metadata *InlinedAt, StorageType Storage,
1111                              bool ShouldCreate = true);
1112   static DILocation *getImpl(LLVMContext &Context, unsigned Line,
1113                              unsigned Column, DILocalScope *Scope,
1114                              DILocation *InlinedAt, StorageType Storage,
1115                              bool ShouldCreate = true) {
1116     return getImpl(Context, Line, Column, static_cast<Metadata *>(Scope),
1117                    static_cast<Metadata *>(InlinedAt), Storage, ShouldCreate);
1118   }
1119
1120   TempDILocation cloneImpl() const {
1121     return getTemporary(getContext(), getLine(), getColumn(), getScope(),
1122                         getInlinedAt());
1123   }
1124
1125   // Disallow replacing operands.
1126   void replaceOperandWith(unsigned I, Metadata *New) = delete;
1127
1128 public:
1129   DEFINE_MDNODE_GET(DILocation,
1130                     (unsigned Line, unsigned Column, Metadata *Scope,
1131                      Metadata *InlinedAt = nullptr),
1132                     (Line, Column, Scope, InlinedAt))
1133   DEFINE_MDNODE_GET(DILocation,
1134                     (unsigned Line, unsigned Column, DILocalScope *Scope,
1135                      DILocation *InlinedAt = nullptr),
1136                     (Line, Column, Scope, InlinedAt))
1137
1138   /// \brief Return a (temporary) clone of this.
1139   TempDILocation clone() const { return cloneImpl(); }
1140
1141   unsigned getLine() const { return SubclassData32; }
1142   unsigned getColumn() const { return SubclassData16; }
1143   DILocalScope *getScope() const { return cast<DILocalScope>(getRawScope()); }
1144   DILocation *getInlinedAt() const {
1145     return cast_or_null<DILocation>(getRawInlinedAt());
1146   }
1147
1148   DIFile *getFile() const { return getScope()->getFile(); }
1149   StringRef getFilename() const { return getScope()->getFilename(); }
1150   StringRef getDirectory() const { return getScope()->getDirectory(); }
1151
1152   /// \brief Get the scope where this is inlined.
1153   ///
1154   /// Walk through \a getInlinedAt() and return \a getScope() from the deepest
1155   /// location.
1156   DILocalScope *getInlinedAtScope() const {
1157     if (auto *IA = getInlinedAt())
1158       return IA->getInlinedAtScope();
1159     return getScope();
1160   }
1161
1162   /// \brief Check whether this can be discriminated from another location.
1163   ///
1164   /// Check \c this can be discriminated from \c RHS in a linetable entry.
1165   /// Scope and inlined-at chains are not recorded in the linetable, so they
1166   /// cannot be used to distinguish basic blocks.
1167   ///
1168   /// The current implementation is weaker than it should be, since it just
1169   /// checks filename and line.
1170   ///
1171   /// FIXME: Add a check for getDiscriminator().
1172   /// FIXME: Add a check for getColumn().
1173   /// FIXME: Change the getFilename() check to getFile() (or add one for
1174   /// getDirectory()).
1175   bool canDiscriminate(const DILocation &RHS) const {
1176     return getFilename() != RHS.getFilename() || getLine() != RHS.getLine();
1177   }
1178
1179   /// \brief Get the DWARF discriminator.
1180   ///
1181   /// DWARF discriminators distinguish identical file locations between
1182   /// instructions that are on different basic blocks.
1183   inline unsigned getDiscriminator() const;
1184
1185   /// \brief Compute new discriminator in the given context.
1186   ///
1187   /// This modifies the \a LLVMContext that \c this is in to increment the next
1188   /// discriminator for \c this's line/filename combination.
1189   ///
1190   /// FIXME: Delete this.  See comments in implementation and at the only call
1191   /// site in \a AddDiscriminators::runOnFunction().
1192   unsigned computeNewDiscriminator() const;
1193
1194   Metadata *getRawScope() const { return getOperand(0); }
1195   Metadata *getRawInlinedAt() const {
1196     if (getNumOperands() == 2)
1197       return getOperand(1);
1198     return nullptr;
1199   }
1200
1201   static bool classof(const Metadata *MD) {
1202     return MD->getMetadataID() == DILocationKind;
1203   }
1204 };
1205
1206 /// \brief Subprogram description.
1207 ///
1208 /// TODO: Remove DisplayName.  It's always equal to Name.
1209 /// TODO: Split up flags.
1210 class DISubprogram : public DILocalScope {
1211   friend class LLVMContextImpl;
1212   friend class MDNode;
1213
1214   unsigned Line;
1215   unsigned ScopeLine;
1216   unsigned Virtuality;
1217   unsigned VirtualIndex;
1218   unsigned Flags;
1219   bool IsLocalToUnit;
1220   bool IsDefinition;
1221   bool IsOptimized;
1222
1223   DISubprogram(LLVMContext &C, StorageType Storage, unsigned Line,
1224                unsigned ScopeLine, unsigned Virtuality, unsigned VirtualIndex,
1225                unsigned Flags, bool IsLocalToUnit, bool IsDefinition,
1226                bool IsOptimized, ArrayRef<Metadata *> Ops)
1227       : DILocalScope(C, DISubprogramKind, Storage, dwarf::DW_TAG_subprogram,
1228                      Ops),
1229         Line(Line), ScopeLine(ScopeLine), Virtuality(Virtuality),
1230         VirtualIndex(VirtualIndex), Flags(Flags), IsLocalToUnit(IsLocalToUnit),
1231         IsDefinition(IsDefinition), IsOptimized(IsOptimized) {}
1232   ~DISubprogram() = default;
1233
1234   static DISubprogram *
1235   getImpl(LLVMContext &Context, DIScopeRef Scope, StringRef Name,
1236           StringRef LinkageName, DIFile *File, unsigned Line,
1237           DISubroutineType *Type, bool IsLocalToUnit, bool IsDefinition,
1238           unsigned ScopeLine, DITypeRef ContainingType, unsigned Virtuality,
1239           unsigned VirtualIndex, unsigned Flags, bool IsOptimized,
1240           Constant *Function, DITemplateParameterArray TemplateParams,
1241           DISubprogram *Declaration, DILocalVariableArray Variables,
1242           StorageType Storage, bool ShouldCreate = true) {
1243     return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
1244                    getCanonicalMDString(Context, LinkageName), File, Line, Type,
1245                    IsLocalToUnit, IsDefinition, ScopeLine, ContainingType,
1246                    Virtuality, VirtualIndex, Flags, IsOptimized,
1247                    Function ? ConstantAsMetadata::get(Function) : nullptr,
1248                    TemplateParams.get(), Declaration, Variables.get(), Storage,
1249                    ShouldCreate);
1250   }
1251   static DISubprogram *
1252   getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name,
1253           MDString *LinkageName, Metadata *File, unsigned Line, Metadata *Type,
1254           bool IsLocalToUnit, bool IsDefinition, unsigned ScopeLine,
1255           Metadata *ContainingType, unsigned Virtuality, unsigned VirtualIndex,
1256           unsigned Flags, bool IsOptimized, Metadata *Function,
1257           Metadata *TemplateParams, Metadata *Declaration, Metadata *Variables,
1258           StorageType Storage, bool ShouldCreate = true);
1259
1260   TempDISubprogram cloneImpl() const {
1261     return getTemporary(getContext(), getScope(), getName(), getLinkageName(),
1262                         getFile(), getLine(), getType(), isLocalToUnit(),
1263                         isDefinition(), getScopeLine(), getContainingType(),
1264                         getVirtuality(), getVirtualIndex(), getFlags(),
1265                         isOptimized(), getFunctionConstant(),
1266                         getTemplateParams(), getDeclaration(), getVariables());
1267   }
1268
1269 public:
1270   DEFINE_MDNODE_GET(DISubprogram,
1271                     (DIScopeRef Scope, StringRef Name, StringRef LinkageName,
1272                      DIFile *File, unsigned Line, DISubroutineType *Type,
1273                      bool IsLocalToUnit, bool IsDefinition, unsigned ScopeLine,
1274                      DITypeRef ContainingType, unsigned Virtuality,
1275                      unsigned VirtualIndex, unsigned Flags, bool IsOptimized,
1276                      Constant *Function = nullptr,
1277                      DITemplateParameterArray TemplateParams = nullptr,
1278                      DISubprogram *Declaration = nullptr,
1279                      DILocalVariableArray Variables = nullptr),
1280                     (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit,
1281                      IsDefinition, ScopeLine, ContainingType, Virtuality,
1282                      VirtualIndex, Flags, IsOptimized, Function, TemplateParams,
1283                      Declaration, Variables))
1284   DEFINE_MDNODE_GET(
1285       DISubprogram,
1286       (Metadata * Scope, MDString *Name, MDString *LinkageName, Metadata *File,
1287        unsigned Line, Metadata *Type, bool IsLocalToUnit, bool IsDefinition,
1288        unsigned ScopeLine, Metadata *ContainingType, unsigned Virtuality,
1289        unsigned VirtualIndex, unsigned Flags, bool IsOptimized,
1290        Metadata *Function = nullptr, Metadata *TemplateParams = nullptr,
1291        Metadata *Declaration = nullptr, Metadata *Variables = nullptr),
1292       (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
1293        ScopeLine, ContainingType, Virtuality, VirtualIndex, Flags, IsOptimized,
1294        Function, TemplateParams, Declaration, Variables))
1295
1296   TempDISubprogram clone() const { return cloneImpl(); }
1297
1298 public:
1299   unsigned getLine() const { return Line; }
1300   unsigned getVirtuality() const { return Virtuality; }
1301   unsigned getVirtualIndex() const { return VirtualIndex; }
1302   unsigned getScopeLine() const { return ScopeLine; }
1303   unsigned getFlags() const { return Flags; }
1304   bool isLocalToUnit() const { return IsLocalToUnit; }
1305   bool isDefinition() const { return IsDefinition; }
1306   bool isOptimized() const { return IsOptimized; }
1307
1308   unsigned isArtificial() const { return getFlags() & FlagArtificial; }
1309   bool isPrivate() const {
1310     return (getFlags() & FlagAccessibility) == FlagPrivate;
1311   }
1312   bool isProtected() const {
1313     return (getFlags() & FlagAccessibility) == FlagProtected;
1314   }
1315   bool isPublic() const {
1316     return (getFlags() & FlagAccessibility) == FlagPublic;
1317   }
1318   bool isExplicit() const { return getFlags() & FlagExplicit; }
1319   bool isPrototyped() const { return getFlags() & FlagPrototyped; }
1320
1321   /// \brief Check if this is reference-qualified.
1322   ///
1323   /// Return true if this subprogram is a C++11 reference-qualified non-static
1324   /// member function (void foo() &).
1325   unsigned isLValueReference() const {
1326     return getFlags() & FlagLValueReference;
1327   }
1328
1329   /// \brief Check if this is rvalue-reference-qualified.
1330   ///
1331   /// Return true if this subprogram is a C++11 rvalue-reference-qualified
1332   /// non-static member function (void foo() &&).
1333   unsigned isRValueReference() const {
1334     return getFlags() & FlagRValueReference;
1335   }
1336
1337   DIScopeRef getScope() const { return DIScopeRef(getRawScope()); }
1338
1339   StringRef getName() const { return getStringOperand(2); }
1340   StringRef getDisplayName() const { return getStringOperand(3); }
1341   StringRef getLinkageName() const { return getStringOperand(4); }
1342
1343   MDString *getRawName() const { return getOperandAs<MDString>(2); }
1344   MDString *getRawLinkageName() const { return getOperandAs<MDString>(4); }
1345
1346   DISubroutineType *getType() const {
1347     return cast_or_null<DISubroutineType>(getRawType());
1348   }
1349   DITypeRef getContainingType() const {
1350     return DITypeRef(getRawContainingType());
1351   }
1352
1353   Constant *getFunctionConstant() const {
1354     if (auto *C = cast_or_null<ConstantAsMetadata>(getRawFunction()))
1355       return C->getValue();
1356     return nullptr;
1357   }
1358   DITemplateParameterArray getTemplateParams() const {
1359     return cast_or_null<MDTuple>(getRawTemplateParams());
1360   }
1361   DISubprogram *getDeclaration() const {
1362     return cast_or_null<DISubprogram>(getRawDeclaration());
1363   }
1364   DILocalVariableArray getVariables() const {
1365     return cast_or_null<MDTuple>(getRawVariables());
1366   }
1367
1368   Metadata *getRawScope() const { return getOperand(1); }
1369   Metadata *getRawType() const { return getOperand(5); }
1370   Metadata *getRawContainingType() const { return getOperand(6); }
1371   Metadata *getRawFunction() const { return getOperand(7); }
1372   Metadata *getRawTemplateParams() const { return getOperand(8); }
1373   Metadata *getRawDeclaration() const { return getOperand(9); }
1374   Metadata *getRawVariables() const { return getOperand(10); }
1375
1376   /// \brief Get a pointer to the function this subprogram describes.
1377   ///
1378   /// This dyn_casts \a getFunctionConstant() to \a Function.
1379   ///
1380   /// FIXME: Should this be looking through bitcasts?
1381   Function *getFunction() const;
1382
1383   /// \brief Replace the function.
1384   ///
1385   /// If \a isUniqued() and not \a isResolved(), this could node will be
1386   /// RAUW'ed and deleted out from under the caller.  Use a \a TrackingMDRef if
1387   /// that's a problem.
1388   /// @{
1389   void replaceFunction(Function *F);
1390   void replaceFunction(ConstantAsMetadata *MD) { replaceOperandWith(7, MD); }
1391   void replaceFunction(std::nullptr_t) { replaceOperandWith(7, nullptr); }
1392   /// @}
1393
1394   /// \brief Check if this subprogram describes the given function.
1395   ///
1396   /// FIXME: Should this be looking through bitcasts?
1397   bool describes(const Function *F) const;
1398
1399   static bool classof(const Metadata *MD) {
1400     return MD->getMetadataID() == DISubprogramKind;
1401   }
1402 };
1403
1404 class DILexicalBlockBase : public DILocalScope {
1405 protected:
1406   DILexicalBlockBase(LLVMContext &C, unsigned ID, StorageType Storage,
1407                      ArrayRef<Metadata *> Ops)
1408       : DILocalScope(C, ID, Storage, dwarf::DW_TAG_lexical_block, Ops) {}
1409   ~DILexicalBlockBase() = default;
1410
1411 public:
1412   DILocalScope *getScope() const { return cast<DILocalScope>(getRawScope()); }
1413
1414   Metadata *getRawScope() const { return getOperand(1); }
1415
1416   /// \brief Forwarding accessors to LexicalBlock.
1417   ///
1418   /// TODO: Remove these and update code to use \a DILexicalBlock directly.
1419   /// @{
1420   inline unsigned getLine() const;
1421   inline unsigned getColumn() const;
1422   /// @}
1423   static bool classof(const Metadata *MD) {
1424     return MD->getMetadataID() == DILexicalBlockKind ||
1425            MD->getMetadataID() == DILexicalBlockFileKind;
1426   }
1427 };
1428
1429 class DILexicalBlock : public DILexicalBlockBase {
1430   friend class LLVMContextImpl;
1431   friend class MDNode;
1432
1433   unsigned Line;
1434   uint16_t Column;
1435
1436   DILexicalBlock(LLVMContext &C, StorageType Storage, unsigned Line,
1437                  unsigned Column, ArrayRef<Metadata *> Ops)
1438       : DILexicalBlockBase(C, DILexicalBlockKind, Storage, Ops), Line(Line),
1439         Column(Column) {
1440     assert(Column < (1u << 16) && "Expected 16-bit column");
1441   }
1442   ~DILexicalBlock() = default;
1443
1444   static DILexicalBlock *getImpl(LLVMContext &Context, DILocalScope *Scope,
1445                                  DIFile *File, unsigned Line, unsigned Column,
1446                                  StorageType Storage,
1447                                  bool ShouldCreate = true) {
1448     return getImpl(Context, static_cast<Metadata *>(Scope),
1449                    static_cast<Metadata *>(File), Line, Column, Storage,
1450                    ShouldCreate);
1451   }
1452
1453   static DILexicalBlock *getImpl(LLVMContext &Context, Metadata *Scope,
1454                                  Metadata *File, unsigned Line, unsigned Column,
1455                                  StorageType Storage, bool ShouldCreate = true);
1456
1457   TempDILexicalBlock cloneImpl() const {
1458     return getTemporary(getContext(), getScope(), getFile(), getLine(),
1459                         getColumn());
1460   }
1461
1462 public:
1463   DEFINE_MDNODE_GET(DILexicalBlock, (DILocalScope * Scope, DIFile *File,
1464                                      unsigned Line, unsigned Column),
1465                     (Scope, File, Line, Column))
1466   DEFINE_MDNODE_GET(DILexicalBlock, (Metadata * Scope, Metadata *File,
1467                                      unsigned Line, unsigned Column),
1468                     (Scope, File, Line, Column))
1469
1470   TempDILexicalBlock clone() const { return cloneImpl(); }
1471
1472   unsigned getLine() const { return Line; }
1473   unsigned getColumn() const { return Column; }
1474
1475   static bool classof(const Metadata *MD) {
1476     return MD->getMetadataID() == DILexicalBlockKind;
1477   }
1478 };
1479
1480 unsigned DILexicalBlockBase::getLine() const {
1481   if (auto *N = dyn_cast<DILexicalBlock>(this))
1482     return N->getLine();
1483   return 0;
1484 }
1485
1486 unsigned DILexicalBlockBase::getColumn() const {
1487   if (auto *N = dyn_cast<DILexicalBlock>(this))
1488     return N->getColumn();
1489   return 0;
1490 }
1491
1492 class DILexicalBlockFile : public DILexicalBlockBase {
1493   friend class LLVMContextImpl;
1494   friend class MDNode;
1495
1496   unsigned Discriminator;
1497
1498   DILexicalBlockFile(LLVMContext &C, StorageType Storage,
1499                      unsigned Discriminator, ArrayRef<Metadata *> Ops)
1500       : DILexicalBlockBase(C, DILexicalBlockFileKind, Storage, Ops),
1501         Discriminator(Discriminator) {}
1502   ~DILexicalBlockFile() = default;
1503
1504   static DILexicalBlockFile *getImpl(LLVMContext &Context, DILocalScope *Scope,
1505                                      DIFile *File, unsigned Discriminator,
1506                                      StorageType Storage,
1507                                      bool ShouldCreate = true) {
1508     return getImpl(Context, static_cast<Metadata *>(Scope),
1509                    static_cast<Metadata *>(File), Discriminator, Storage,
1510                    ShouldCreate);
1511   }
1512
1513   static DILexicalBlockFile *getImpl(LLVMContext &Context, Metadata *Scope,
1514                                      Metadata *File, unsigned Discriminator,
1515                                      StorageType Storage,
1516                                      bool ShouldCreate = true);
1517
1518   TempDILexicalBlockFile cloneImpl() const {
1519     return getTemporary(getContext(), getScope(), getFile(),
1520                         getDiscriminator());
1521   }
1522
1523 public:
1524   DEFINE_MDNODE_GET(DILexicalBlockFile, (DILocalScope * Scope, DIFile *File,
1525                                          unsigned Discriminator),
1526                     (Scope, File, Discriminator))
1527   DEFINE_MDNODE_GET(DILexicalBlockFile,
1528                     (Metadata * Scope, Metadata *File, unsigned Discriminator),
1529                     (Scope, File, Discriminator))
1530
1531   TempDILexicalBlockFile clone() const { return cloneImpl(); }
1532
1533   // TODO: Remove these once they're gone from DILexicalBlockBase.
1534   unsigned getLine() const = delete;
1535   unsigned getColumn() const = delete;
1536
1537   unsigned getDiscriminator() const { return Discriminator; }
1538
1539   static bool classof(const Metadata *MD) {
1540     return MD->getMetadataID() == DILexicalBlockFileKind;
1541   }
1542 };
1543
1544 unsigned DILocation::getDiscriminator() const {
1545   if (auto *F = dyn_cast<DILexicalBlockFile>(getScope()))
1546     return F->getDiscriminator();
1547   return 0;
1548 }
1549
1550 class DINamespace : public DIScope {
1551   friend class LLVMContextImpl;
1552   friend class MDNode;
1553
1554   unsigned Line;
1555
1556   DINamespace(LLVMContext &Context, StorageType Storage, unsigned Line,
1557               ArrayRef<Metadata *> Ops)
1558       : DIScope(Context, DINamespaceKind, Storage, dwarf::DW_TAG_namespace,
1559                 Ops),
1560         Line(Line) {}
1561   ~DINamespace() = default;
1562
1563   static DINamespace *getImpl(LLVMContext &Context, DIScope *Scope,
1564                               DIFile *File, StringRef Name, unsigned Line,
1565                               StorageType Storage, bool ShouldCreate = true) {
1566     return getImpl(Context, Scope, File, getCanonicalMDString(Context, Name),
1567                    Line, Storage, ShouldCreate);
1568   }
1569   static DINamespace *getImpl(LLVMContext &Context, Metadata *Scope,
1570                               Metadata *File, MDString *Name, unsigned Line,
1571                               StorageType Storage, bool ShouldCreate = true);
1572
1573   TempDINamespace cloneImpl() const {
1574     return getTemporary(getContext(), getScope(), getFile(), getName(),
1575                         getLine());
1576   }
1577
1578 public:
1579   DEFINE_MDNODE_GET(DINamespace, (DIScope * Scope, DIFile *File, StringRef Name,
1580                                   unsigned Line),
1581                     (Scope, File, Name, Line))
1582   DEFINE_MDNODE_GET(DINamespace, (Metadata * Scope, Metadata *File,
1583                                   MDString *Name, unsigned Line),
1584                     (Scope, File, Name, Line))
1585
1586   TempDINamespace clone() const { return cloneImpl(); }
1587
1588   unsigned getLine() const { return Line; }
1589   DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
1590   StringRef getName() const { return getStringOperand(2); }
1591
1592   Metadata *getRawScope() const { return getOperand(1); }
1593   MDString *getRawName() const { return getOperandAs<MDString>(2); }
1594
1595   static bool classof(const Metadata *MD) {
1596     return MD->getMetadataID() == DINamespaceKind;
1597   }
1598 };
1599
1600 /// \brief A (clang) module that has been imported by the compile unit.
1601 ///
1602 class DIModule : public DIScope {
1603   friend class LLVMContextImpl;
1604   friend class MDNode;
1605
1606   DIModule(LLVMContext &Context, StorageType Storage, ArrayRef<Metadata *> Ops)
1607       : DIScope(Context, DIModuleKind, Storage, dwarf::DW_TAG_module, Ops) {}
1608   ~DIModule() {}
1609
1610   static DIModule *getImpl(LLVMContext &Context, DIScope *Scope,
1611                            StringRef Name, StringRef ConfigurationMacros,
1612                            StringRef IncludePath, StringRef ISysRoot,
1613                            StorageType Storage, bool ShouldCreate = true) {
1614     return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
1615                    getCanonicalMDString(Context, ConfigurationMacros),
1616                    getCanonicalMDString(Context, IncludePath),
1617                    getCanonicalMDString(Context, ISysRoot),
1618                    Storage, ShouldCreate);
1619   }
1620   static DIModule *getImpl(LLVMContext &Context, Metadata *Scope,
1621                            MDString *Name, MDString *ConfigurationMacros,
1622                            MDString *IncludePath, MDString *ISysRoot,
1623                            StorageType Storage, bool ShouldCreate = true);
1624
1625   TempDIModule cloneImpl() const {
1626     return getTemporary(getContext(), getScope(), getName(),
1627                         getConfigurationMacros(), getIncludePath(),
1628                         getISysRoot());
1629   }
1630
1631 public:
1632   DEFINE_MDNODE_GET(DIModule, (DIScope *Scope, StringRef Name,
1633                                StringRef ConfigurationMacros, StringRef IncludePath,
1634                                StringRef ISysRoot),
1635                     (Scope, Name, ConfigurationMacros, IncludePath, ISysRoot))
1636   DEFINE_MDNODE_GET(DIModule,
1637                     (Metadata *Scope, MDString *Name, MDString *ConfigurationMacros,
1638                      MDString *IncludePath, MDString *ISysRoot),
1639                     (Scope, Name, ConfigurationMacros, IncludePath, ISysRoot))
1640
1641   TempDIModule clone() const { return cloneImpl(); }
1642
1643   DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
1644   StringRef getName() const { return getStringOperand(1); }
1645   StringRef getConfigurationMacros() const { return getStringOperand(2); }
1646   StringRef getIncludePath() const { return getStringOperand(3); }
1647   StringRef getISysRoot() const { return getStringOperand(4); }
1648
1649   Metadata *getRawScope() const { return getOperand(0); }
1650   MDString *getRawName() const { return getOperandAs<MDString>(1); }
1651   MDString *getRawConfigurationMacros() const { return getOperandAs<MDString>(2); }
1652   MDString *getRawIncludePath() const { return getOperandAs<MDString>(3); }
1653   MDString *getRawISysRoot() const { return getOperandAs<MDString>(4); }
1654
1655   static bool classof(const Metadata *MD) {
1656     return MD->getMetadataID() == DIModuleKind;
1657   }
1658 };
1659
1660 /// \brief Base class for template parameters.
1661 class DITemplateParameter : public DINode {
1662 protected:
1663   DITemplateParameter(LLVMContext &Context, unsigned ID, StorageType Storage,
1664                       unsigned Tag, ArrayRef<Metadata *> Ops)
1665       : DINode(Context, ID, Storage, Tag, Ops) {}
1666   ~DITemplateParameter() = default;
1667
1668 public:
1669   StringRef getName() const { return getStringOperand(0); }
1670   DITypeRef getType() const { return DITypeRef(getRawType()); }
1671
1672   MDString *getRawName() const { return getOperandAs<MDString>(0); }
1673   Metadata *getRawType() const { return getOperand(1); }
1674
1675   static bool classof(const Metadata *MD) {
1676     return MD->getMetadataID() == DITemplateTypeParameterKind ||
1677            MD->getMetadataID() == DITemplateValueParameterKind;
1678   }
1679 };
1680
1681 class DITemplateTypeParameter : public DITemplateParameter {
1682   friend class LLVMContextImpl;
1683   friend class MDNode;
1684
1685   DITemplateTypeParameter(LLVMContext &Context, StorageType Storage,
1686                           ArrayRef<Metadata *> Ops)
1687       : DITemplateParameter(Context, DITemplateTypeParameterKind, Storage,
1688                             dwarf::DW_TAG_template_type_parameter, Ops) {}
1689   ~DITemplateTypeParameter() = default;
1690
1691   static DITemplateTypeParameter *getImpl(LLVMContext &Context, StringRef Name,
1692                                           DITypeRef Type, StorageType Storage,
1693                                           bool ShouldCreate = true) {
1694     return getImpl(Context, getCanonicalMDString(Context, Name), Type, Storage,
1695                    ShouldCreate);
1696   }
1697   static DITemplateTypeParameter *getImpl(LLVMContext &Context, MDString *Name,
1698                                           Metadata *Type, StorageType Storage,
1699                                           bool ShouldCreate = true);
1700
1701   TempDITemplateTypeParameter cloneImpl() const {
1702     return getTemporary(getContext(), getName(), getType());
1703   }
1704
1705 public:
1706   DEFINE_MDNODE_GET(DITemplateTypeParameter, (StringRef Name, DITypeRef Type),
1707                     (Name, Type))
1708   DEFINE_MDNODE_GET(DITemplateTypeParameter, (MDString * Name, Metadata *Type),
1709                     (Name, Type))
1710
1711   TempDITemplateTypeParameter clone() const { return cloneImpl(); }
1712
1713   static bool classof(const Metadata *MD) {
1714     return MD->getMetadataID() == DITemplateTypeParameterKind;
1715   }
1716 };
1717
1718 class DITemplateValueParameter : public DITemplateParameter {
1719   friend class LLVMContextImpl;
1720   friend class MDNode;
1721
1722   DITemplateValueParameter(LLVMContext &Context, StorageType Storage,
1723                            unsigned Tag, ArrayRef<Metadata *> Ops)
1724       : DITemplateParameter(Context, DITemplateValueParameterKind, Storage, Tag,
1725                             Ops) {}
1726   ~DITemplateValueParameter() = default;
1727
1728   static DITemplateValueParameter *getImpl(LLVMContext &Context, unsigned Tag,
1729                                            StringRef Name, DITypeRef Type,
1730                                            Metadata *Value, StorageType Storage,
1731                                            bool ShouldCreate = true) {
1732     return getImpl(Context, Tag, getCanonicalMDString(Context, Name), Type,
1733                    Value, Storage, ShouldCreate);
1734   }
1735   static DITemplateValueParameter *getImpl(LLVMContext &Context, unsigned Tag,
1736                                            MDString *Name, Metadata *Type,
1737                                            Metadata *Value, StorageType Storage,
1738                                            bool ShouldCreate = true);
1739
1740   TempDITemplateValueParameter cloneImpl() const {
1741     return getTemporary(getContext(), getTag(), getName(), getType(),
1742                         getValue());
1743   }
1744
1745 public:
1746   DEFINE_MDNODE_GET(DITemplateValueParameter, (unsigned Tag, StringRef Name,
1747                                                DITypeRef Type, Metadata *Value),
1748                     (Tag, Name, Type, Value))
1749   DEFINE_MDNODE_GET(DITemplateValueParameter, (unsigned Tag, MDString *Name,
1750                                                Metadata *Type, Metadata *Value),
1751                     (Tag, Name, Type, Value))
1752
1753   TempDITemplateValueParameter clone() const { return cloneImpl(); }
1754
1755   Metadata *getValue() const { return getOperand(2); }
1756
1757   static bool classof(const Metadata *MD) {
1758     return MD->getMetadataID() == DITemplateValueParameterKind;
1759   }
1760 };
1761
1762 /// \brief Base class for variables.
1763 class DIVariable : public DINode {
1764   unsigned Line;
1765
1766 protected:
1767   DIVariable(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Line,
1768              ArrayRef<Metadata *> Ops)
1769       : DINode(C, ID, Storage, dwarf::DW_TAG_variable, Ops), Line(Line) {}
1770   ~DIVariable() = default;
1771
1772 public:
1773   unsigned getLine() const { return Line; }
1774   DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
1775   StringRef getName() const { return getStringOperand(1); }
1776   DIFile *getFile() const { return cast_or_null<DIFile>(getRawFile()); }
1777   DITypeRef getType() const { return DITypeRef(getRawType()); }
1778
1779   StringRef getFilename() const {
1780     if (auto *F = getFile())
1781       return F->getFilename();
1782     return "";
1783   }
1784   StringRef getDirectory() const {
1785     if (auto *F = getFile())
1786       return F->getDirectory();
1787     return "";
1788   }
1789
1790   Metadata *getRawScope() const { return getOperand(0); }
1791   MDString *getRawName() const { return getOperandAs<MDString>(1); }
1792   Metadata *getRawFile() const { return getOperand(2); }
1793   Metadata *getRawType() const { return getOperand(3); }
1794
1795   static bool classof(const Metadata *MD) {
1796     return MD->getMetadataID() == DILocalVariableKind ||
1797            MD->getMetadataID() == DIGlobalVariableKind;
1798   }
1799 };
1800
1801 /// \brief Global variables.
1802 ///
1803 /// TODO: Remove DisplayName.  It's always equal to Name.
1804 class DIGlobalVariable : public DIVariable {
1805   friend class LLVMContextImpl;
1806   friend class MDNode;
1807
1808   bool IsLocalToUnit;
1809   bool IsDefinition;
1810
1811   DIGlobalVariable(LLVMContext &C, StorageType Storage, unsigned Line,
1812                    bool IsLocalToUnit, bool IsDefinition,
1813                    ArrayRef<Metadata *> Ops)
1814       : DIVariable(C, DIGlobalVariableKind, Storage, Line, Ops),
1815         IsLocalToUnit(IsLocalToUnit), IsDefinition(IsDefinition) {}
1816   ~DIGlobalVariable() = default;
1817
1818   static DIGlobalVariable *
1819   getImpl(LLVMContext &Context, DIScope *Scope, StringRef Name,
1820           StringRef LinkageName, DIFile *File, unsigned Line, DITypeRef Type,
1821           bool IsLocalToUnit, bool IsDefinition, Constant *Variable,
1822           DIDerivedType *StaticDataMemberDeclaration, StorageType Storage,
1823           bool ShouldCreate = true) {
1824     return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
1825                    getCanonicalMDString(Context, LinkageName), File, Line, Type,
1826                    IsLocalToUnit, IsDefinition,
1827                    Variable ? ConstantAsMetadata::get(Variable) : nullptr,
1828                    StaticDataMemberDeclaration, Storage, ShouldCreate);
1829   }
1830   static DIGlobalVariable *
1831   getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name,
1832           MDString *LinkageName, Metadata *File, unsigned Line, Metadata *Type,
1833           bool IsLocalToUnit, bool IsDefinition, Metadata *Variable,
1834           Metadata *StaticDataMemberDeclaration, StorageType Storage,
1835           bool ShouldCreate = true);
1836
1837   TempDIGlobalVariable cloneImpl() const {
1838     return getTemporary(getContext(), getScope(), getName(), getLinkageName(),
1839                         getFile(), getLine(), getType(), isLocalToUnit(),
1840                         isDefinition(), getVariable(),
1841                         getStaticDataMemberDeclaration());
1842   }
1843
1844 public:
1845   DEFINE_MDNODE_GET(DIGlobalVariable,
1846                     (DIScope * Scope, StringRef Name, StringRef LinkageName,
1847                      DIFile *File, unsigned Line, DITypeRef Type,
1848                      bool IsLocalToUnit, bool IsDefinition, Constant *Variable,
1849                      DIDerivedType *StaticDataMemberDeclaration),
1850                     (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit,
1851                      IsDefinition, Variable, StaticDataMemberDeclaration))
1852   DEFINE_MDNODE_GET(DIGlobalVariable,
1853                     (Metadata * Scope, MDString *Name, MDString *LinkageName,
1854                      Metadata *File, unsigned Line, Metadata *Type,
1855                      bool IsLocalToUnit, bool IsDefinition, Metadata *Variable,
1856                      Metadata *StaticDataMemberDeclaration),
1857                     (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit,
1858                      IsDefinition, Variable, StaticDataMemberDeclaration))
1859
1860   TempDIGlobalVariable clone() const { return cloneImpl(); }
1861
1862   bool isLocalToUnit() const { return IsLocalToUnit; }
1863   bool isDefinition() const { return IsDefinition; }
1864   StringRef getDisplayName() const { return getStringOperand(4); }
1865   StringRef getLinkageName() const { return getStringOperand(5); }
1866   Constant *getVariable() const {
1867     if (auto *C = cast_or_null<ConstantAsMetadata>(getRawVariable()))
1868       return dyn_cast<Constant>(C->getValue());
1869     return nullptr;
1870   }
1871   DIDerivedType *getStaticDataMemberDeclaration() const {
1872     return cast_or_null<DIDerivedType>(getRawStaticDataMemberDeclaration());
1873   }
1874
1875   MDString *getRawLinkageName() const { return getOperandAs<MDString>(5); }
1876   Metadata *getRawVariable() const { return getOperand(6); }
1877   Metadata *getRawStaticDataMemberDeclaration() const { return getOperand(7); }
1878
1879   static bool classof(const Metadata *MD) {
1880     return MD->getMetadataID() == DIGlobalVariableKind;
1881   }
1882 };
1883
1884 /// \brief Local variable.
1885 ///
1886 /// TODO: Split up flags.
1887 class DILocalVariable : public DIVariable {
1888   friend class LLVMContextImpl;
1889   friend class MDNode;
1890
1891   unsigned Arg;
1892   unsigned Flags;
1893
1894   DILocalVariable(LLVMContext &C, StorageType Storage, unsigned Line,
1895                   unsigned Arg, unsigned Flags, ArrayRef<Metadata *> Ops)
1896       : DIVariable(C, DILocalVariableKind, Storage, Line, Ops), Arg(Arg),
1897         Flags(Flags) {}
1898   ~DILocalVariable() = default;
1899
1900   static DILocalVariable *getImpl(LLVMContext &Context, DIScope *Scope,
1901                                   StringRef Name, DIFile *File, unsigned Line,
1902                                   DITypeRef Type, unsigned Arg, unsigned Flags,
1903                                   StorageType Storage,
1904                                   bool ShouldCreate = true) {
1905     return getImpl(Context, Scope, getCanonicalMDString(Context, Name), File,
1906                    Line, Type, Arg, Flags, Storage, ShouldCreate);
1907   }
1908   static DILocalVariable *getImpl(LLVMContext &Context, Metadata *Scope,
1909                                   MDString *Name, Metadata *File, unsigned Line,
1910                                   Metadata *Type, unsigned Arg, unsigned Flags,
1911                                   StorageType Storage,
1912                                   bool ShouldCreate = true);
1913
1914   TempDILocalVariable cloneImpl() const {
1915     return getTemporary(getContext(), getScope(), getName(), getFile(),
1916                         getLine(), getType(), getArg(), getFlags());
1917   }
1918
1919 public:
1920   DEFINE_MDNODE_GET(DILocalVariable,
1921                     (DILocalScope * Scope, StringRef Name, DIFile *File,
1922                      unsigned Line, DITypeRef Type, unsigned Arg,
1923                      unsigned Flags),
1924                     (Scope, Name, File, Line, Type, Arg, Flags))
1925   DEFINE_MDNODE_GET(DILocalVariable,
1926                     (Metadata * Scope, MDString *Name, Metadata *File,
1927                      unsigned Line, Metadata *Type, unsigned Arg,
1928                      unsigned Flags),
1929                     (Scope, Name, File, Line, Type, Arg, Flags))
1930
1931   TempDILocalVariable clone() const { return cloneImpl(); }
1932
1933   /// \brief Get the local scope for this variable.
1934   ///
1935   /// Variables must be defined in a local scope.
1936   DILocalScope *getScope() const {
1937     return cast<DILocalScope>(DIVariable::getScope());
1938   }
1939
1940   bool isParameter() const { return Arg; }
1941   unsigned getArg() const { return Arg; }
1942   unsigned getFlags() const { return Flags; }
1943
1944   bool isArtificial() const { return getFlags() & FlagArtificial; }
1945   bool isObjectPointer() const { return getFlags() & FlagObjectPointer; }
1946
1947   /// \brief Check that a location is valid for this variable.
1948   ///
1949   /// Check that \c DL exists, is in the same subprogram, and has the same
1950   /// inlined-at location as \c this.  (Otherwise, it's not a valid attachment
1951   /// to a \a DbgInfoIntrinsic.)
1952   bool isValidLocationForIntrinsic(const DILocation *DL) const {
1953     return DL && getScope()->getSubprogram() == DL->getScope()->getSubprogram();
1954   }
1955
1956   static bool classof(const Metadata *MD) {
1957     return MD->getMetadataID() == DILocalVariableKind;
1958   }
1959 };
1960
1961 /// \brief DWARF expression.
1962 ///
1963 /// This is (almost) a DWARF expression that modifies the location of a
1964 /// variable or (or the location of a single piece of a variable).
1965 ///
1966 /// FIXME: Instead of DW_OP_plus taking an argument, this should use DW_OP_const
1967 /// and have DW_OP_plus consume the topmost elements on the stack.
1968 ///
1969 /// TODO: Co-allocate the expression elements.
1970 /// TODO: Separate from MDNode, or otherwise drop Distinct and Temporary
1971 /// storage types.
1972 class DIExpression : public MDNode {
1973   friend class LLVMContextImpl;
1974   friend class MDNode;
1975
1976   std::vector<uint64_t> Elements;
1977
1978   DIExpression(LLVMContext &C, StorageType Storage, ArrayRef<uint64_t> Elements)
1979       : MDNode(C, DIExpressionKind, Storage, None),
1980         Elements(Elements.begin(), Elements.end()) {}
1981   ~DIExpression() = default;
1982
1983   static DIExpression *getImpl(LLVMContext &Context,
1984                                ArrayRef<uint64_t> Elements, StorageType Storage,
1985                                bool ShouldCreate = true);
1986
1987   TempDIExpression cloneImpl() const {
1988     return getTemporary(getContext(), getElements());
1989   }
1990
1991 public:
1992   DEFINE_MDNODE_GET(DIExpression, (ArrayRef<uint64_t> Elements), (Elements))
1993
1994   TempDIExpression clone() const { return cloneImpl(); }
1995
1996   ArrayRef<uint64_t> getElements() const { return Elements; }
1997
1998   unsigned getNumElements() const { return Elements.size(); }
1999   uint64_t getElement(unsigned I) const {
2000     assert(I < Elements.size() && "Index out of range");
2001     return Elements[I];
2002   }
2003
2004   /// \brief Return whether this is a piece of an aggregate variable.
2005   bool isBitPiece() const;
2006
2007   /// \brief Return the offset of this piece in bits.
2008   uint64_t getBitPieceOffset() const;
2009
2010   /// \brief Return the size of this piece in bits.
2011   uint64_t getBitPieceSize() const;
2012
2013   typedef ArrayRef<uint64_t>::iterator element_iterator;
2014   element_iterator elements_begin() const { return getElements().begin(); }
2015   element_iterator elements_end() const { return getElements().end(); }
2016
2017   /// \brief A lightweight wrapper around an expression operand.
2018   ///
2019   /// TODO: Store arguments directly and change \a DIExpression to store a
2020   /// range of these.
2021   class ExprOperand {
2022     const uint64_t *Op;
2023
2024   public:
2025     explicit ExprOperand(const uint64_t *Op) : Op(Op) {}
2026
2027     const uint64_t *get() const { return Op; }
2028
2029     /// \brief Get the operand code.
2030     uint64_t getOp() const { return *Op; }
2031
2032     /// \brief Get an argument to the operand.
2033     ///
2034     /// Never returns the operand itself.
2035     uint64_t getArg(unsigned I) const { return Op[I + 1]; }
2036
2037     unsigned getNumArgs() const { return getSize() - 1; }
2038
2039     /// \brief Return the size of the operand.
2040     ///
2041     /// Return the number of elements in the operand (1 + args).
2042     unsigned getSize() const;
2043   };
2044
2045   /// \brief An iterator for expression operands.
2046   class expr_op_iterator
2047       : public std::iterator<std::input_iterator_tag, ExprOperand> {
2048     ExprOperand Op;
2049
2050   public:
2051     explicit expr_op_iterator(element_iterator I) : Op(I) {}
2052
2053     element_iterator getBase() const { return Op.get(); }
2054     const ExprOperand &operator*() const { return Op; }
2055     const ExprOperand *operator->() const { return &Op; }
2056
2057     expr_op_iterator &operator++() {
2058       increment();
2059       return *this;
2060     }
2061     expr_op_iterator operator++(int) {
2062       expr_op_iterator T(*this);
2063       increment();
2064       return T;
2065     }
2066
2067     /// \brief Get the next iterator.
2068     ///
2069     /// \a std::next() doesn't work because this is technically an
2070     /// input_iterator, but it's a perfectly valid operation.  This is an
2071     /// accessor to provide the same functionality.
2072     expr_op_iterator getNext() const { return ++expr_op_iterator(*this); }
2073
2074     bool operator==(const expr_op_iterator &X) const {
2075       return getBase() == X.getBase();
2076     }
2077     bool operator!=(const expr_op_iterator &X) const {
2078       return getBase() != X.getBase();
2079     }
2080
2081   private:
2082     void increment() { Op = ExprOperand(getBase() + Op.getSize()); }
2083   };
2084
2085   /// \brief Visit the elements via ExprOperand wrappers.
2086   ///
2087   /// These range iterators visit elements through \a ExprOperand wrappers.
2088   /// This is not guaranteed to be a valid range unless \a isValid() gives \c
2089   /// true.
2090   ///
2091   /// \pre \a isValid() gives \c true.
2092   /// @{
2093   expr_op_iterator expr_op_begin() const {
2094     return expr_op_iterator(elements_begin());
2095   }
2096   expr_op_iterator expr_op_end() const {
2097     return expr_op_iterator(elements_end());
2098   }
2099   /// @}
2100
2101   bool isValid() const;
2102
2103   static bool classof(const Metadata *MD) {
2104     return MD->getMetadataID() == DIExpressionKind;
2105   }
2106 };
2107
2108 class DIObjCProperty : public DINode {
2109   friend class LLVMContextImpl;
2110   friend class MDNode;
2111
2112   unsigned Line;
2113   unsigned Attributes;
2114
2115   DIObjCProperty(LLVMContext &C, StorageType Storage, unsigned Line,
2116                  unsigned Attributes, ArrayRef<Metadata *> Ops)
2117       : DINode(C, DIObjCPropertyKind, Storage, dwarf::DW_TAG_APPLE_property,
2118                Ops),
2119         Line(Line), Attributes(Attributes) {}
2120   ~DIObjCProperty() = default;
2121
2122   static DIObjCProperty *
2123   getImpl(LLVMContext &Context, StringRef Name, DIFile *File, unsigned Line,
2124           StringRef GetterName, StringRef SetterName, unsigned Attributes,
2125           DITypeRef Type, StorageType Storage, bool ShouldCreate = true) {
2126     return getImpl(Context, getCanonicalMDString(Context, Name), File, Line,
2127                    getCanonicalMDString(Context, GetterName),
2128                    getCanonicalMDString(Context, SetterName), Attributes, Type,
2129                    Storage, ShouldCreate);
2130   }
2131   static DIObjCProperty *getImpl(LLVMContext &Context, MDString *Name,
2132                                  Metadata *File, unsigned Line,
2133                                  MDString *GetterName, MDString *SetterName,
2134                                  unsigned Attributes, Metadata *Type,
2135                                  StorageType Storage, bool ShouldCreate = true);
2136
2137   TempDIObjCProperty cloneImpl() const {
2138     return getTemporary(getContext(), getName(), getFile(), getLine(),
2139                         getGetterName(), getSetterName(), getAttributes(),
2140                         getType());
2141   }
2142
2143 public:
2144   DEFINE_MDNODE_GET(DIObjCProperty,
2145                     (StringRef Name, DIFile *File, unsigned Line,
2146                      StringRef GetterName, StringRef SetterName,
2147                      unsigned Attributes, DITypeRef Type),
2148                     (Name, File, Line, GetterName, SetterName, Attributes,
2149                      Type))
2150   DEFINE_MDNODE_GET(DIObjCProperty,
2151                     (MDString * Name, Metadata *File, unsigned Line,
2152                      MDString *GetterName, MDString *SetterName,
2153                      unsigned Attributes, Metadata *Type),
2154                     (Name, File, Line, GetterName, SetterName, Attributes,
2155                      Type))
2156
2157   TempDIObjCProperty clone() const { return cloneImpl(); }
2158
2159   unsigned getLine() const { return Line; }
2160   unsigned getAttributes() const { return Attributes; }
2161   StringRef getName() const { return getStringOperand(0); }
2162   DIFile *getFile() const { return cast_or_null<DIFile>(getRawFile()); }
2163   StringRef getGetterName() const { return getStringOperand(2); }
2164   StringRef getSetterName() const { return getStringOperand(3); }
2165   DITypeRef getType() const { return DITypeRef(getRawType()); }
2166
2167   StringRef getFilename() const {
2168     if (auto *F = getFile())
2169       return F->getFilename();
2170     return "";
2171   }
2172   StringRef getDirectory() const {
2173     if (auto *F = getFile())
2174       return F->getDirectory();
2175     return "";
2176   }
2177
2178   MDString *getRawName() const { return getOperandAs<MDString>(0); }
2179   Metadata *getRawFile() const { return getOperand(1); }
2180   MDString *getRawGetterName() const { return getOperandAs<MDString>(2); }
2181   MDString *getRawSetterName() const { return getOperandAs<MDString>(3); }
2182   Metadata *getRawType() const { return getOperand(4); }
2183
2184   static bool classof(const Metadata *MD) {
2185     return MD->getMetadataID() == DIObjCPropertyKind;
2186   }
2187 };
2188
2189 /// \brief An imported module (C++ using directive or similar).
2190 class DIImportedEntity : public DINode {
2191   friend class LLVMContextImpl;
2192   friend class MDNode;
2193
2194   unsigned Line;
2195
2196   DIImportedEntity(LLVMContext &C, StorageType Storage, unsigned Tag,
2197                    unsigned Line, ArrayRef<Metadata *> Ops)
2198       : DINode(C, DIImportedEntityKind, Storage, Tag, Ops), Line(Line) {}
2199   ~DIImportedEntity() = default;
2200
2201   static DIImportedEntity *getImpl(LLVMContext &Context, unsigned Tag,
2202                                    DIScope *Scope, DINodeRef Entity,
2203                                    unsigned Line, StringRef Name,
2204                                    StorageType Storage,
2205                                    bool ShouldCreate = true) {
2206     return getImpl(Context, Tag, Scope, Entity, Line,
2207                    getCanonicalMDString(Context, Name), Storage, ShouldCreate);
2208   }
2209   static DIImportedEntity *getImpl(LLVMContext &Context, unsigned Tag,
2210                                    Metadata *Scope, Metadata *Entity,
2211                                    unsigned Line, MDString *Name,
2212                                    StorageType Storage,
2213                                    bool ShouldCreate = true);
2214
2215   TempDIImportedEntity cloneImpl() const {
2216     return getTemporary(getContext(), getTag(), getScope(), getEntity(),
2217                         getLine(), getName());
2218   }
2219
2220 public:
2221   DEFINE_MDNODE_GET(DIImportedEntity,
2222                     (unsigned Tag, DIScope *Scope, DINodeRef Entity,
2223                      unsigned Line, StringRef Name = ""),
2224                     (Tag, Scope, Entity, Line, Name))
2225   DEFINE_MDNODE_GET(DIImportedEntity,
2226                     (unsigned Tag, Metadata *Scope, Metadata *Entity,
2227                      unsigned Line, MDString *Name),
2228                     (Tag, Scope, Entity, Line, Name))
2229
2230   TempDIImportedEntity clone() const { return cloneImpl(); }
2231
2232   unsigned getLine() const { return Line; }
2233   DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
2234   DINodeRef getEntity() const { return DINodeRef(getRawEntity()); }
2235   StringRef getName() const { return getStringOperand(2); }
2236
2237   Metadata *getRawScope() const { return getOperand(0); }
2238   Metadata *getRawEntity() const { return getOperand(1); }
2239   MDString *getRawName() const { return getOperandAs<MDString>(2); }
2240
2241   static bool classof(const Metadata *MD) {
2242     return MD->getMetadataID() == DIImportedEntityKind;
2243   }
2244 };
2245
2246 } // end namespace llvm
2247
2248 #undef DEFINE_MDNODE_GET_UNPACK_IMPL
2249 #undef DEFINE_MDNODE_GET_UNPACK
2250 #undef DEFINE_MDNODE_GET
2251
2252 #endif