LLVM 22.0.0git
DebugInfoMetadata.h
Go to the documentation of this file.
1//===- llvm/IR/DebugInfoMetadata.h - Debug info metadata --------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Declarations for metadata specific to debug info.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_IR_DEBUGINFOMETADATA_H
14#define LLVM_IR_DEBUGINFOMETADATA_H
15
16#include "llvm/ADT/ArrayRef.h"
19#include "llvm/ADT/STLExtras.h"
21#include "llvm/ADT/StringRef.h"
23#include "llvm/IR/Constants.h"
25#include "llvm/IR/Metadata.h"
26#include "llvm/IR/PseudoProbe.h"
31#include <cassert>
32#include <climits>
33#include <cstddef>
34#include <cstdint>
35#include <iterator>
36#include <optional>
37#include <vector>
38
39// Helper macros for defining get() overrides.
40#define DEFINE_MDNODE_GET_UNPACK_IMPL(...) __VA_ARGS__
41#define DEFINE_MDNODE_GET_UNPACK(ARGS) DEFINE_MDNODE_GET_UNPACK_IMPL ARGS
42#define DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(CLASS, FORMAL, ARGS) \
43 static CLASS *getDistinct(LLVMContext &Context, \
44 DEFINE_MDNODE_GET_UNPACK(FORMAL)) { \
45 return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Distinct); \
46 } \
47 static Temp##CLASS getTemporary(LLVMContext &Context, \
48 DEFINE_MDNODE_GET_UNPACK(FORMAL)) { \
49 return Temp##CLASS( \
50 getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Temporary)); \
51 }
52#define DEFINE_MDNODE_GET(CLASS, FORMAL, ARGS) \
53 static CLASS *get(LLVMContext &Context, DEFINE_MDNODE_GET_UNPACK(FORMAL)) { \
54 return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Uniqued); \
55 } \
56 static CLASS *getIfExists(LLVMContext &Context, \
57 DEFINE_MDNODE_GET_UNPACK(FORMAL)) { \
58 return getImpl(Context, DEFINE_MDNODE_GET_UNPACK(ARGS), Uniqued, \
59 /* ShouldCreate */ false); \
60 } \
61 DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(CLASS, FORMAL, ARGS)
62
63namespace llvm {
64
65namespace dwarf {
66enum Tag : uint16_t;
67}
68
69/// Wrapper structure that holds a language name and its version.
70///
71/// Some debug-info formats, particularly DWARF, distniguish between
72/// language codes that include the version name and codes that don't.
73/// DISourceLanguageName may hold either of these.
74///
76 /// Language version. The version scheme is language
77 /// dependent.
78 uint32_t Version = 0;
79
80 /// Language name.
81 /// If \ref HasVersion is \c true, then this name
82 /// is version independent (i.e., doesn't include the language
83 /// version in its name).
84 uint16_t Name;
85
86 /// If \c true, then \ref Version is interpretable and \ref Name
87 /// is a version independent name.
88 bool HasVersion;
89
90public:
91 bool hasVersionedName() const { return HasVersion; }
92
93 /// Returns a versioned or unversioned language name.
94 uint16_t getName() const { return Name; }
95
96 /// Transitional API for cases where we do not yet support
97 /// versioned source language names. Use \ref getName instead.
98 ///
99 /// FIXME: remove once all callers of this API account for versioned
100 /// names.
103 return Name;
104 }
105
106 /// Returns language version. Only valid for versioned language names.
109 return Version;
110 }
111
113 : Version(Version), Name(Lang), HasVersion(true) {};
115 : Version(0), Name(Lang), HasVersion(false) {};
116};
117
118class DbgVariableRecord;
119
121
123 const MDTuple *N = nullptr;
124
125public:
126 DITypeRefArray() = default;
127 DITypeRefArray(const MDTuple *N) : N(N) {}
128
129 explicit operator bool() const { return get(); }
130 explicit operator MDTuple *() const { return get(); }
131
132 MDTuple *get() const { return const_cast<MDTuple *>(N); }
133 MDTuple *operator->() const { return get(); }
134 MDTuple &operator*() const { return *get(); }
135
136 // FIXME: Fix callers and remove condition on N.
137 unsigned size() const { return N ? N->getNumOperands() : 0u; }
138 DIType *operator[](unsigned I) const {
139 return cast_or_null<DIType>(N->getOperand(I));
140 }
141
142 class iterator {
143 MDNode::op_iterator I = nullptr;
144
145 public:
146 using iterator_category = std::input_iterator_tag;
148 using difference_type = std::ptrdiff_t;
149 using pointer = void;
150 using reference = DIType *;
151
152 iterator() = default;
153 explicit iterator(MDNode::op_iterator I) : I(I) {}
154
155 DIType *operator*() const { return cast_or_null<DIType>(*I); }
156
158 ++I;
159 return *this;
160 }
161
163 iterator Temp(*this);
164 ++I;
165 return Temp;
166 }
167
168 bool operator==(const iterator &X) const { return I == X.I; }
169 bool operator!=(const iterator &X) const { return I != X.I; }
170 };
171
172 // FIXME: Fix callers and remove condition on N.
173 iterator begin() const { return N ? iterator(N->op_begin()) : iterator(); }
174 iterator end() const { return N ? iterator(N->op_end()) : iterator(); }
175};
176
177/// Tagged DWARF-like metadata node.
178///
179/// A metadata node with a DWARF tag (i.e., a constant named \c DW_TAG_*,
180/// defined in llvm/BinaryFormat/Dwarf.h). Called \a DINode because it's
181/// potentially used for non-DWARF output.
182///
183/// Uses the SubclassData16 Metadata slot.
184class DINode : public MDNode {
185 friend class LLVMContextImpl;
186 friend class MDNode;
187
188protected:
189 DINode(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
191 : MDNode(C, ID, Storage, Ops1, Ops2) {
192 assert(Tag < 1u << 16);
194 }
195 ~DINode() = default;
196
197 template <class Ty> Ty *getOperandAs(unsigned I) const {
199 }
200
201 StringRef getStringOperand(unsigned I) const {
202 if (auto *S = getOperandAs<MDString>(I))
203 return S->getString();
204 return StringRef();
205 }
206
208 if (S.empty())
209 return nullptr;
210 return MDString::get(Context, S);
211 }
212
213 /// Allow subclasses to mutate the tag.
214 void setTag(unsigned Tag) { SubclassData16 = Tag; }
215
216public:
217 LLVM_ABI dwarf::Tag getTag() const;
218
219 /// Debug info flags.
220 ///
221 /// The three accessibility flags are mutually exclusive and rolled together
222 /// in the first two bits.
224#define HANDLE_DI_FLAG(ID, NAME) Flag##NAME = ID,
225#define DI_FLAG_LARGEST_NEEDED
226#include "llvm/IR/DebugInfoFlags.def"
227 FlagAccessibility = FlagPrivate | FlagProtected | FlagPublic,
228 FlagPtrToMemberRep = FlagSingleInheritance | FlagMultipleInheritance |
229 FlagVirtualInheritance,
230 LLVM_MARK_AS_BITMASK_ENUM(FlagLargest)
231 };
232
233 LLVM_ABI static DIFlags getFlag(StringRef Flag);
234 LLVM_ABI static StringRef getFlagString(DIFlags Flag);
235
236 /// Split up a flags bitfield.
237 ///
238 /// Split \c Flags into \c SplitFlags, a vector of its components. Returns
239 /// any remaining (unrecognized) bits.
240 LLVM_ABI static DIFlags splitFlags(DIFlags Flags,
241 SmallVectorImpl<DIFlags> &SplitFlags);
242
243 static bool classof(const Metadata *MD) {
244 switch (MD->getMetadataID()) {
245 default:
246 return false;
247 case GenericDINodeKind:
248 case DISubrangeKind:
249 case DIEnumeratorKind:
250 case DIBasicTypeKind:
251 case DIFixedPointTypeKind:
252 case DIStringTypeKind:
253 case DISubrangeTypeKind:
254 case DIDerivedTypeKind:
255 case DICompositeTypeKind:
256 case DISubroutineTypeKind:
257 case DIFileKind:
258 case DICompileUnitKind:
259 case DISubprogramKind:
260 case DILexicalBlockKind:
261 case DILexicalBlockFileKind:
262 case DINamespaceKind:
263 case DICommonBlockKind:
264 case DITemplateTypeParameterKind:
265 case DITemplateValueParameterKind:
266 case DIGlobalVariableKind:
267 case DILocalVariableKind:
268 case DILabelKind:
269 case DIObjCPropertyKind:
270 case DIImportedEntityKind:
271 case DIModuleKind:
272 case DIGenericSubrangeKind:
273 case DIAssignIDKind:
274 return true;
275 }
276 }
277};
278
279/// Generic tagged DWARF-like metadata node.
280///
281/// An un-specialized DWARF-like metadata node. The first operand is a
282/// (possibly empty) null-separated \a MDString header that contains arbitrary
283/// fields. The remaining operands are \a dwarf_operands(), and are pointers
284/// to other metadata.
285///
286/// Uses the SubclassData32 Metadata slot.
287class GenericDINode : public DINode {
288 friend class LLVMContextImpl;
289 friend class MDNode;
290
291 GenericDINode(LLVMContext &C, StorageType Storage, unsigned Hash,
292 unsigned Tag, ArrayRef<Metadata *> Ops1,
294 : DINode(C, GenericDINodeKind, Storage, Tag, Ops1, Ops2) {
295 setHash(Hash);
296 }
298
299 void setHash(unsigned Hash) { SubclassData32 = Hash; }
300 void recalculateHash();
301
302 static GenericDINode *getImpl(LLVMContext &Context, unsigned Tag,
304 StorageType Storage, bool ShouldCreate = true) {
305 return getImpl(Context, Tag, getCanonicalMDString(Context, Header),
306 DwarfOps, Storage, ShouldCreate);
307 }
308
309 LLVM_ABI static GenericDINode *getImpl(LLVMContext &Context, unsigned Tag,
310 MDString *Header,
313 bool ShouldCreate = true);
314
315 TempGenericDINode cloneImpl() const {
318 }
319
320public:
321 unsigned getHash() const { return SubclassData32; }
322
323 DEFINE_MDNODE_GET(GenericDINode,
324 (unsigned Tag, StringRef Header,
326 (Tag, Header, DwarfOps))
327 DEFINE_MDNODE_GET(GenericDINode,
328 (unsigned Tag, MDString *Header,
331
332 /// Return a (temporary) clone of this.
333 TempGenericDINode clone() const { return cloneImpl(); }
334
335 LLVM_ABI dwarf::Tag getTag() const;
336 StringRef getHeader() const { return getStringOperand(0); }
338
339 op_iterator dwarf_op_begin() const { return op_begin() + 1; }
340 op_iterator dwarf_op_end() const { return op_end(); }
343 }
344
345 unsigned getNumDwarfOperands() const { return getNumOperands() - 1; }
346 const MDOperand &getDwarfOperand(unsigned I) const {
347 return getOperand(I + 1);
348 }
349 void replaceDwarfOperandWith(unsigned I, Metadata *New) {
350 replaceOperandWith(I + 1, New);
351 }
352
353 static bool classof(const Metadata *MD) {
354 return MD->getMetadataID() == GenericDINodeKind;
355 }
356};
357
358/// Assignment ID.
359/// Used to link stores (as an attachment) and dbg.assigns (as an operand).
360/// DIAssignID metadata is never uniqued as we compare instances using
361/// referential equality (the instance/address is the ID).
362class DIAssignID : public MDNode {
363 friend class LLVMContextImpl;
364 friend class MDNode;
365
367 : MDNode(C, DIAssignIDKind, Storage, {}) {}
368
369 ~DIAssignID() { dropAllReferences(); }
370
371 LLVM_ABI static DIAssignID *getImpl(LLVMContext &Context, StorageType Storage,
372 bool ShouldCreate = true);
373
374 TempDIAssignID cloneImpl() const { return getTemporary(getContext()); }
375
376public:
377 // This node has no operands to replace.
378 void replaceOperandWith(unsigned I, Metadata *New) = delete;
379
381 return Context.getReplaceableUses()->getAllDbgVariableRecordUsers();
382 }
383
384 static DIAssignID *getDistinct(LLVMContext &Context) {
385 return getImpl(Context, Distinct);
386 }
387 static TempDIAssignID getTemporary(LLVMContext &Context) {
388 return TempDIAssignID(getImpl(Context, Temporary));
389 }
390 // NOTE: Do not define get(LLVMContext&) - see class comment.
391
392 static bool classof(const Metadata *MD) {
393 return MD->getMetadataID() == DIAssignIDKind;
394 }
395};
396
397/// Array subrange.
398class DISubrange : public DINode {
399 friend class LLVMContextImpl;
400 friend class MDNode;
401
403
404 ~DISubrange() = default;
405
406 LLVM_ABI static DISubrange *getImpl(LLVMContext &Context, int64_t Count,
408 bool ShouldCreate = true);
409
410 LLVM_ABI static DISubrange *getImpl(LLVMContext &Context, Metadata *CountNode,
412 bool ShouldCreate = true);
413
414 LLVM_ABI static DISubrange *getImpl(LLVMContext &Context, Metadata *CountNode,
416 Metadata *UpperBound, Metadata *Stride,
418 bool ShouldCreate = true);
419
420 TempDISubrange cloneImpl() const {
421 return getTemporary(getContext(), getRawCountNode(), getRawLowerBound(),
422 getRawUpperBound(), getRawStride());
423 }
424
425public:
426 DEFINE_MDNODE_GET(DISubrange, (int64_t Count, int64_t LowerBound = 0),
427 (Count, LowerBound))
428
429 DEFINE_MDNODE_GET(DISubrange, (Metadata * CountNode, int64_t LowerBound = 0),
431
432 DEFINE_MDNODE_GET(DISubrange,
434 Metadata *UpperBound, Metadata *Stride),
435 (CountNode, LowerBound, UpperBound, Stride))
436
437 TempDISubrange clone() const { return cloneImpl(); }
438
439 Metadata *getRawCountNode() const { return getOperand(0).get(); }
440
441 Metadata *getRawLowerBound() const { return getOperand(1).get(); }
442
443 Metadata *getRawUpperBound() const { return getOperand(2).get(); }
444
445 Metadata *getRawStride() const { return getOperand(3).get(); }
446
447 typedef PointerUnion<ConstantInt *, DIVariable *, DIExpression *> BoundType;
448
449 LLVM_ABI BoundType getCount() const;
450
451 LLVM_ABI BoundType getLowerBound() const;
452
453 LLVM_ABI BoundType getUpperBound() const;
454
455 LLVM_ABI BoundType getStride() const;
456
457 static bool classof(const Metadata *MD) {
458 return MD->getMetadataID() == DISubrangeKind;
459 }
460};
461
462class DIGenericSubrange : public DINode {
463 friend class LLVMContextImpl;
464 friend class MDNode;
465
466 DIGenericSubrange(LLVMContext &C, StorageType Storage,
468
469 ~DIGenericSubrange() = default;
470
471 LLVM_ABI static DIGenericSubrange *
472 getImpl(LLVMContext &Context, Metadata *CountNode, Metadata *LowerBound,
473 Metadata *UpperBound, Metadata *Stride, StorageType Storage,
474 bool ShouldCreate = true);
475
476 TempDIGenericSubrange cloneImpl() const {
479 }
480
481public:
482 DEFINE_MDNODE_GET(DIGenericSubrange,
483 (Metadata * CountNode, Metadata *LowerBound,
484 Metadata *UpperBound, Metadata *Stride),
485 (CountNode, LowerBound, UpperBound, Stride))
486
487 TempDIGenericSubrange clone() const { return cloneImpl(); }
488
489 Metadata *getRawCountNode() const { return getOperand(0).get(); }
490 Metadata *getRawLowerBound() const { return getOperand(1).get(); }
491 Metadata *getRawUpperBound() const { return getOperand(2).get(); }
492 Metadata *getRawStride() const { return getOperand(3).get(); }
493
495
500
501 static bool classof(const Metadata *MD) {
502 return MD->getMetadataID() == DIGenericSubrangeKind;
503 }
504};
505
506/// Enumeration value.
507///
508/// TODO: Add a pointer to the context (DW_TAG_enumeration_type) once that no
509/// longer creates a type cycle.
510class DIEnumerator : public DINode {
511 friend class LLVMContextImpl;
512 friend class MDNode;
513
514 APInt Value;
515 LLVM_ABI DIEnumerator(LLVMContext &C, StorageType Storage, const APInt &Value,
517 DIEnumerator(LLVMContext &C, StorageType Storage, int64_t Value,
519 : DIEnumerator(C, Storage, APInt(64, Value, !IsUnsigned), IsUnsigned,
520 Ops) {}
521 ~DIEnumerator() = default;
522
523 static DIEnumerator *getImpl(LLVMContext &Context, const APInt &Value,
525 StorageType Storage, bool ShouldCreate = true) {
526 return getImpl(Context, Value, IsUnsigned,
527 getCanonicalMDString(Context, Name), Storage, ShouldCreate);
528 }
529 LLVM_ABI static DIEnumerator *getImpl(LLVMContext &Context,
530 const APInt &Value, bool IsUnsigned,
531 MDString *Name, StorageType Storage,
532 bool ShouldCreate = true);
533
534 TempDIEnumerator cloneImpl() const {
536 }
537
538public:
539 DEFINE_MDNODE_GET(DIEnumerator,
540 (int64_t Value, bool IsUnsigned, StringRef Name),
541 (APInt(64, Value, !IsUnsigned), IsUnsigned, Name))
542 DEFINE_MDNODE_GET(DIEnumerator,
543 (int64_t Value, bool IsUnsigned, MDString *Name),
544 (APInt(64, Value, !IsUnsigned), IsUnsigned, Name))
545 DEFINE_MDNODE_GET(DIEnumerator,
546 (APInt Value, bool IsUnsigned, StringRef Name),
547 (Value, IsUnsigned, Name))
548 DEFINE_MDNODE_GET(DIEnumerator,
549 (APInt Value, bool IsUnsigned, MDString *Name),
550 (Value, IsUnsigned, Name))
551
552 TempDIEnumerator clone() const { return cloneImpl(); }
553
554 const APInt &getValue() const { return Value; }
555 bool isUnsigned() const { return SubclassData32; }
556 StringRef getName() const { return getStringOperand(0); }
557
559
560 static bool classof(const Metadata *MD) {
561 return MD->getMetadataID() == DIEnumeratorKind;
562 }
563};
564
565/// Base class for scope-like contexts.
566///
567/// Base class for lexical scopes and types (which are also declaration
568/// contexts).
569///
570/// TODO: Separate the concepts of declaration contexts and lexical scopes.
571class DIScope : public DINode {
572protected:
576 ~DIScope() = default;
577
578public:
580
581 inline StringRef getFilename() const;
582 inline StringRef getDirectory() const;
583 inline std::optional<StringRef> getSource() const;
584
585 LLVM_ABI StringRef getName() const;
586 LLVM_ABI DIScope *getScope() const;
587
588 /// Return the raw underlying file.
589 ///
590 /// A \a DIFile is a \a DIScope, but it doesn't point at a separate file (it
591 /// \em is the file). If \c this is an \a DIFile, we need to return \c this.
592 /// Otherwise, return the first operand, which is where all other subclasses
593 /// store their file pointer.
595 return isa<DIFile>(this) ? const_cast<DIScope *>(this)
596 : static_cast<Metadata *>(getOperand(0));
597 }
598
599 static bool classof(const Metadata *MD) {
600 switch (MD->getMetadataID()) {
601 default:
602 return false;
603 case DIBasicTypeKind:
604 case DIFixedPointTypeKind:
605 case DIStringTypeKind:
606 case DISubrangeTypeKind:
607 case DIDerivedTypeKind:
608 case DICompositeTypeKind:
609 case DISubroutineTypeKind:
610 case DIFileKind:
611 case DICompileUnitKind:
612 case DISubprogramKind:
613 case DILexicalBlockKind:
614 case DILexicalBlockFileKind:
615 case DINamespaceKind:
616 case DICommonBlockKind:
617 case DIModuleKind:
618 return true;
619 }
620 }
621};
622
623/// File.
624///
625/// TODO: Merge with directory/file node (including users).
626/// TODO: Canonicalize paths on creation.
627class DIFile : public DIScope {
628 friend class LLVMContextImpl;
629 friend class MDNode;
630
631public:
632 /// Which algorithm (e.g. MD5) a checksum was generated with.
633 ///
634 /// The encoding is explicit because it is used directly in Bitcode. The
635 /// value 0 is reserved to indicate the absence of a checksum in Bitcode.
637 // The first variant was originally CSK_None, encoded as 0. The new
638 // internal representation removes the need for this by wrapping the
639 // ChecksumInfo in an Optional, but to preserve Bitcode compatibility the 0
640 // encoding is reserved.
644 CSK_Last = CSK_SHA256 // Should be last enumeration.
645 };
646
647 /// A single checksum, represented by a \a Kind and a \a Value (a string).
648 template <typename T> struct ChecksumInfo {
649 /// The kind of checksum which \a Value encodes.
651 /// The string value of the checksum.
653
655 ~ChecksumInfo() = default;
656 bool operator==(const ChecksumInfo<T> &X) const {
657 return Kind == X.Kind && Value == X.Value;
658 }
659 bool operator!=(const ChecksumInfo<T> &X) const { return !(*this == X); }
660 StringRef getKindAsString() const { return getChecksumKindAsString(Kind); }
661 };
662
663private:
664 std::optional<ChecksumInfo<MDString *>> Checksum;
665 /// An optional source. A nullptr means none.
667
669 std::optional<ChecksumInfo<MDString *>> CS, MDString *Src,
671 ~DIFile() = default;
672
673 static DIFile *getImpl(LLVMContext &Context, StringRef Filename,
675 std::optional<ChecksumInfo<StringRef>> CS,
676 std::optional<StringRef> Source, StorageType Storage,
677 bool ShouldCreate = true) {
678 std::optional<ChecksumInfo<MDString *>> MDChecksum;
679 if (CS)
680 MDChecksum.emplace(CS->Kind, getCanonicalMDString(Context, CS->Value));
681 return getImpl(Context, getCanonicalMDString(Context, Filename),
682 getCanonicalMDString(Context, Directory), MDChecksum,
683 Source ? MDString::get(Context, *Source) : nullptr, Storage,
684 ShouldCreate);
685 }
686 LLVM_ABI static DIFile *getImpl(LLVMContext &Context, MDString *Filename,
687 MDString *Directory,
688 std::optional<ChecksumInfo<MDString *>> CS,
689 MDString *Source, StorageType Storage,
690 bool ShouldCreate = true);
691
692 TempDIFile cloneImpl() const {
694 getChecksum(), getSource());
695 }
696
697public:
700 std::optional<ChecksumInfo<StringRef>> CS = std::nullopt,
701 std::optional<StringRef> Source = std::nullopt),
702 (Filename, Directory, CS, Source))
703 DEFINE_MDNODE_GET(DIFile,
705 std::optional<ChecksumInfo<MDString *>> CS = std::nullopt,
706 MDString *Source = nullptr),
707 (Filename, Directory, CS, Source))
708
709 TempDIFile clone() const { return cloneImpl(); }
710
711 StringRef getFilename() const { return getStringOperand(0); }
712 StringRef getDirectory() const { return getStringOperand(1); }
713 std::optional<ChecksumInfo<StringRef>> getChecksum() const {
714 std::optional<ChecksumInfo<StringRef>> StringRefChecksum;
715 if (Checksum)
716 StringRefChecksum.emplace(Checksum->Kind, Checksum->Value->getString());
717 return StringRefChecksum;
718 }
719 std::optional<StringRef> getSource() const {
720 return Source ? std::optional<StringRef>(Source->getString())
721 : std::nullopt;
722 }
723
724 MDString *getRawFilename() const { return getOperandAs<MDString>(0); }
725 MDString *getRawDirectory() const { return getOperandAs<MDString>(1); }
726 std::optional<ChecksumInfo<MDString *>> getRawChecksum() const {
727 return Checksum;
728 }
729 MDString *getRawSource() const { return Source; }
730
731 LLVM_ABI static StringRef getChecksumKindAsString(ChecksumKind CSKind);
732 LLVM_ABI static std::optional<ChecksumKind>
733 getChecksumKind(StringRef CSKindStr);
734
735 static bool classof(const Metadata *MD) {
736 return MD->getMetadataID() == DIFileKind;
737 }
738};
739
741 if (auto *F = getFile())
742 return F->getFilename();
743 return "";
744}
745
747 if (auto *F = getFile())
748 return F->getDirectory();
749 return "";
750}
751
752std::optional<StringRef> DIScope::getSource() const {
753 if (auto *F = getFile())
754 return F->getSource();
755 return std::nullopt;
756}
757
758/// Base class for types.
759///
760/// TODO: Remove the hardcoded name and context, since many types don't use
761/// them.
762/// TODO: Split up flags.
763///
764/// Uses the SubclassData32 Metadata slot.
765class DIType : public DIScope {
766 unsigned Line;
767 DIFlags Flags;
768 uint32_t NumExtraInhabitants;
769
770protected:
771 static constexpr unsigned N_OPERANDS = 5;
772
773 DIType(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag,
774 unsigned Line, uint32_t AlignInBits, uint32_t NumExtraInhabitants,
776 : DIScope(C, ID, Storage, Tag, Ops) {
777 init(Line, AlignInBits, NumExtraInhabitants, Flags);
778 }
779 ~DIType() = default;
780
781 void init(unsigned Line, uint32_t AlignInBits, uint32_t NumExtraInhabitants,
782 DIFlags Flags) {
783 this->Line = Line;
784 this->Flags = Flags;
785 this->SubclassData32 = AlignInBits;
786 this->NumExtraInhabitants = NumExtraInhabitants;
787 }
788
789 /// Change fields in place.
790 void mutate(unsigned Tag, unsigned Line, uint32_t AlignInBits,
791 uint32_t NumExtraInhabitants, DIFlags Flags) {
792 assert(isDistinct() && "Only distinct nodes can mutate");
793 setTag(Tag);
794 init(Line, AlignInBits, NumExtraInhabitants, Flags);
795 }
796
797public:
798 TempDIType clone() const {
799 return TempDIType(cast<DIType>(MDNode::clone().release()));
800 }
801
802 unsigned getLine() const { return Line; }
804 uint32_t getAlignInBytes() const { return getAlignInBits() / CHAR_BIT; }
805 uint32_t getNumExtraInhabitants() const { return NumExtraInhabitants; }
806 DIFlags getFlags() const { return Flags; }
807
809 StringRef getName() const { return getStringOperand(2); }
810
811 Metadata *getRawScope() const { return getOperand(1); }
813
814 Metadata *getRawSizeInBits() const { return getOperand(3); }
817 if (ConstantInt *CI = dyn_cast_or_null<ConstantInt>(MD->getValue()))
818 return CI->getZExtValue();
819 }
820 return 0;
821 }
822
823 Metadata *getRawOffsetInBits() const { return getOperand(4); }
826 if (ConstantInt *CI = dyn_cast_or_null<ConstantInt>(MD->getValue()))
827 return CI->getZExtValue();
828 }
829 return 0;
830 }
831
832 /// Returns a new temporary DIType with updated Flags
833 TempDIType cloneWithFlags(DIFlags NewFlags) const {
834 auto NewTy = clone();
835 NewTy->Flags = NewFlags;
836 return NewTy;
837 }
838
839 bool isPrivate() const {
840 return (getFlags() & FlagAccessibility) == FlagPrivate;
841 }
842 bool isProtected() const {
843 return (getFlags() & FlagAccessibility) == FlagProtected;
844 }
845 bool isPublic() const {
846 return (getFlags() & FlagAccessibility) == FlagPublic;
847 }
848 bool isForwardDecl() const { return getFlags() & FlagFwdDecl; }
849 bool isAppleBlockExtension() const { return getFlags() & FlagAppleBlock; }
850 bool isVirtual() const { return getFlags() & FlagVirtual; }
851 bool isArtificial() const { return getFlags() & FlagArtificial; }
852 bool isObjectPointer() const { return getFlags() & FlagObjectPointer; }
853 bool isObjcClassComplete() const {
854 return getFlags() & FlagObjcClassComplete;
855 }
856 bool isVector() const { return getFlags() & FlagVector; }
857 bool isBitField() const { return getFlags() & FlagBitField; }
858 bool isStaticMember() const { return getFlags() & FlagStaticMember; }
859 bool isLValueReference() const { return getFlags() & FlagLValueReference; }
860 bool isRValueReference() const { return getFlags() & FlagRValueReference; }
861 bool isTypePassByValue() const { return getFlags() & FlagTypePassByValue; }
863 return getFlags() & FlagTypePassByReference;
864 }
865 bool isBigEndian() const { return getFlags() & FlagBigEndian; }
866 bool isLittleEndian() const { return getFlags() & FlagLittleEndian; }
867 bool getExportSymbols() const { return getFlags() & FlagExportSymbols; }
868
869 static bool classof(const Metadata *MD) {
870 switch (MD->getMetadataID()) {
871 default:
872 return false;
873 case DIBasicTypeKind:
874 case DIFixedPointTypeKind:
875 case DIStringTypeKind:
876 case DISubrangeTypeKind:
877 case DIDerivedTypeKind:
878 case DICompositeTypeKind:
879 case DISubroutineTypeKind:
880 return true;
881 }
882 }
883};
884
885/// Basic type, like 'int' or 'float'.
886///
887/// TODO: Split out DW_TAG_unspecified_type.
888/// TODO: Drop unused accessors.
889class DIBasicType : public DIType {
890 friend class LLVMContextImpl;
891 friend class MDNode;
892
893 unsigned Encoding;
894 /// Describes the number of bits used by the value of the object. Non-zero
895 /// when the value of an object does not fully occupy the storage size
896 /// specified by SizeInBits.
897 uint32_t DataSizeInBits;
898
899protected:
901 uint32_t AlignInBits, unsigned Encoding,
902 uint32_t NumExtraInhabitants, uint32_t DataSizeInBits,
904 : DIType(C, DIBasicTypeKind, Storage, Tag, 0, AlignInBits,
906 Encoding(Encoding), DataSizeInBits(DataSizeInBits) {}
908 uint32_t AlignInBits, unsigned Encoding,
909 uint32_t NumExtraInhabitants, uint32_t DataSizeInBits,
912 Ops),
913 Encoding(Encoding), DataSizeInBits(DataSizeInBits) {}
914 ~DIBasicType() = default;
915
916 static DIBasicType *getImpl(LLVMContext &Context, unsigned Tag,
918 uint32_t AlignInBits, unsigned Encoding,
920 uint32_t DataSizeInBits, DIFlags Flags,
921 StorageType Storage, bool ShouldCreate = true) {
922 return getImpl(Context, Tag, getCanonicalMDString(Context, Name),
924 DataSizeInBits, Flags, Storage, ShouldCreate);
925 }
926 static DIBasicType *getImpl(LLVMContext &Context, unsigned Tag,
928 uint32_t AlignInBits, unsigned Encoding,
930 uint32_t DataSizeInBits, DIFlags Flags,
931 StorageType Storage, bool ShouldCreate = true) {
932 auto *SizeInBitsNode = ConstantAsMetadata::get(
933 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
934 return getImpl(Context, Tag, Name, SizeInBitsNode, AlignInBits, Encoding,
935 NumExtraInhabitants, DataSizeInBits, Flags, Storage,
936 ShouldCreate);
937 }
938 LLVM_ABI static DIBasicType *
939 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name,
942 StorageType Storage, bool ShouldCreate = true);
943
944 TempDIBasicType cloneImpl() const {
948 getFlags());
949 }
950
951public:
953 (Tag, Name, 0, 0, 0, 0, 0, FlagZero))
956 (Tag, Name, SizeInBits, 0, 0, 0, 0, FlagZero))
958 (unsigned Tag, MDString *Name, uint64_t SizeInBits),
959 (Tag, Name, SizeInBits, 0, 0, 0, 0, FlagZero))
962 uint32_t AlignInBits, unsigned Encoding, DIFlags Flags),
963 (Tag, Name, SizeInBits, AlignInBits, Encoding, 0, 0, Flags))
965 (unsigned Tag, MDString *Name, uint64_t SizeInBits,
966 uint32_t AlignInBits, unsigned Encoding, DIFlags Flags),
967 (Tag, Name, SizeInBits, AlignInBits, Encoding, 0, 0, Flags))
970 uint32_t AlignInBits, unsigned Encoding,
976 uint32_t AlignInBits, unsigned Encoding,
977 uint32_t NumExtraInhabitants, uint32_t DataSizeInBits,
978 DIFlags Flags),
979 (Tag, Name, SizeInBits, AlignInBits, Encoding,
980 NumExtraInhabitants, DataSizeInBits, Flags))
983 uint32_t AlignInBits, unsigned Encoding,
987 NumExtraInhabitants, DataSizeInBits, Flags))
989 (unsigned Tag, MDString *Name, Metadata *SizeInBits,
990 uint32_t AlignInBits, unsigned Encoding,
991 uint32_t NumExtraInhabitants, uint32_t DataSizeInBits,
992 DIFlags Flags),
993 (Tag, Name, SizeInBits, AlignInBits, Encoding,
994 NumExtraInhabitants, DataSizeInBits, Flags))
995
996 TempDIBasicType clone() const { return cloneImpl(); }
997
998 unsigned getEncoding() const { return Encoding; }
999
1000 uint32_t getDataSizeInBits() const { return DataSizeInBits; }
1001
1002 enum class Signedness { Signed, Unsigned };
1003
1004 /// Return the signedness of this type, or std::nullopt if this type is
1005 /// neither signed nor unsigned.
1006 LLVM_ABI std::optional<Signedness> getSignedness() const;
1007
1008 static bool classof(const Metadata *MD) {
1009 return MD->getMetadataID() == DIBasicTypeKind ||
1010 MD->getMetadataID() == DIFixedPointTypeKind;
1011 }
1012};
1013
1014/// Fixed-point type.
1015class DIFixedPointType : public DIBasicType {
1016 friend class LLVMContextImpl;
1017 friend class MDNode;
1018
1019 // Actually FixedPointKind.
1020 unsigned Kind;
1021 // Used for binary and decimal.
1022 int Factor;
1023 // Used for rational.
1024 APInt Numerator;
1025 APInt Denominator;
1026
1027 DIFixedPointType(LLVMContext &C, StorageType Storage, unsigned Tag,
1029 unsigned Kind, int Factor, ArrayRef<Metadata *> Ops)
1030 : DIBasicType(C, DIFixedPointTypeKind, Storage, Tag, AlignInBits,
1031 Encoding, 0, 0, Flags, Ops),
1032 Kind(Kind), Factor(Factor) {
1033 assert(Kind == FixedPointBinary || Kind == FixedPointDecimal);
1034 }
1036 uint32_t AlignInBits, unsigned Encoding, DIFlags Flags,
1037 unsigned Kind, APInt Numerator, APInt Denominator,
1039 : DIBasicType(C, DIFixedPointTypeKind, Storage, Tag, AlignInBits,
1040 Encoding, 0, 0, Flags, Ops),
1041 Kind(Kind), Factor(0), Numerator(Numerator), Denominator(Denominator) {
1042 assert(Kind == FixedPointRational);
1043 }
1044 DIFixedPointType(LLVMContext &C, StorageType Storage, unsigned Tag,
1045 uint32_t AlignInBits, unsigned Encoding, DIFlags Flags,
1046 unsigned Kind, int Factor, APInt Numerator,
1048 : DIBasicType(C, DIFixedPointTypeKind, Storage, Tag, AlignInBits,
1049 Encoding, 0, 0, Flags, Ops),
1050 Kind(Kind), Factor(Factor), Numerator(Numerator),
1052 ~DIFixedPointType() = default;
1053
1054 static DIFixedPointType *
1055 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name,
1056 uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding,
1057 DIFlags Flags, unsigned Kind, int Factor, APInt Numerator,
1058 APInt Denominator, StorageType Storage, bool ShouldCreate = true) {
1059 auto *SizeInBitsNode = ConstantAsMetadata::get(
1060 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1061 return getImpl(Context, Tag, getCanonicalMDString(Context, Name),
1062 SizeInBitsNode, AlignInBits, Encoding, Flags, Kind, Factor,
1063 Numerator, Denominator, Storage, ShouldCreate);
1064 }
1065 static DIFixedPointType *
1066 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name,
1067 Metadata *SizeInBits, uint32_t AlignInBits, unsigned Encoding,
1068 DIFlags Flags, unsigned Kind, int Factor, APInt Numerator,
1069 APInt Denominator, StorageType Storage, bool ShouldCreate = true) {
1070 return getImpl(Context, Tag, getCanonicalMDString(Context, Name),
1071 SizeInBits, AlignInBits, Encoding, Flags, Kind, Factor,
1072 Numerator, Denominator, Storage, ShouldCreate);
1073 }
1074 static DIFixedPointType *
1075 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name,
1076 uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding,
1077 DIFlags Flags, unsigned Kind, int Factor, APInt Numerator,
1078 APInt Denominator, StorageType Storage, bool ShouldCreate = true) {
1079 auto *SizeInBitsNode = ConstantAsMetadata::get(
1080 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1081 return getImpl(Context, Tag, Name, SizeInBitsNode, AlignInBits, Encoding,
1082 Flags, Kind, Factor, Numerator, Denominator, Storage,
1083 ShouldCreate);
1084 }
1085 LLVM_ABI static DIFixedPointType *
1086 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name,
1087 Metadata *SizeInBits, uint32_t AlignInBits, unsigned Encoding,
1088 DIFlags Flags, unsigned Kind, int Factor, APInt Numerator,
1089 APInt Denominator, StorageType Storage, bool ShouldCreate = true);
1090
1091 TempDIFixedPointType cloneImpl() const {
1094 getFlags(), Kind, Factor, Numerator, Denominator);
1095 }
1096
1097public:
1098 enum FixedPointKind : unsigned {
1099 /// Scale factor 2^Factor.
1101 /// Scale factor 10^Factor.
1103 /// Arbitrary rational scale factor.
1106 };
1107
1108 LLVM_ABI static std::optional<FixedPointKind>
1110 LLVM_ABI static const char *fixedPointKindString(FixedPointKind);
1111
1112 DEFINE_MDNODE_GET(DIFixedPointType,
1113 (unsigned Tag, MDString *Name, uint64_t SizeInBits,
1115 unsigned Kind, int Factor, APInt Numerator,
1116 APInt Denominator),
1118 Factor, Numerator, Denominator))
1119 DEFINE_MDNODE_GET(DIFixedPointType,
1122 unsigned Kind, int Factor, APInt Numerator,
1123 APInt Denominator),
1125 Factor, Numerator, Denominator))
1126 DEFINE_MDNODE_GET(DIFixedPointType,
1127 (unsigned Tag, MDString *Name, Metadata *SizeInBits,
1129 unsigned Kind, int Factor, APInt Numerator,
1130 APInt Denominator),
1132 Factor, Numerator, Denominator))
1133
1134 TempDIFixedPointType clone() const { return cloneImpl(); }
1135
1136 bool isBinary() const { return Kind == FixedPointBinary; }
1137 bool isDecimal() const { return Kind == FixedPointDecimal; }
1138 bool isRational() const { return Kind == FixedPointRational; }
1139
1140 LLVM_ABI bool isSigned() const;
1141
1142 FixedPointKind getKind() const { return static_cast<FixedPointKind>(Kind); }
1143
1144 int getFactorRaw() const { return Factor; }
1145 int getFactor() const {
1146 assert(Kind == FixedPointBinary || Kind == FixedPointDecimal);
1147 return Factor;
1148 }
1149
1150 const APInt &getNumeratorRaw() const { return Numerator; }
1151 const APInt &getNumerator() const {
1152 assert(Kind == FixedPointRational);
1153 return Numerator;
1154 }
1155
1156 const APInt &getDenominatorRaw() const { return Denominator; }
1157 const APInt &getDenominator() const {
1158 assert(Kind == FixedPointRational);
1159 return Denominator;
1160 }
1161
1162 static bool classof(const Metadata *MD) {
1163 return MD->getMetadataID() == DIFixedPointTypeKind;
1164 }
1165};
1166
1167/// String type, Fortran CHARACTER(n)
1168class DIStringType : public DIType {
1169 friend class LLVMContextImpl;
1170 friend class MDNode;
1171
1172 static constexpr unsigned MY_FIRST_OPERAND = DIType::N_OPERANDS;
1173
1174 unsigned Encoding;
1175
1176 DIStringType(LLVMContext &C, StorageType Storage, unsigned Tag,
1177 uint32_t AlignInBits, unsigned Encoding,
1179 : DIType(C, DIStringTypeKind, Storage, Tag, 0, AlignInBits, 0, FlagZero,
1180 Ops),
1181 Encoding(Encoding) {}
1182 ~DIStringType() = default;
1183
1184 static DIStringType *getImpl(LLVMContext &Context, unsigned Tag,
1186 Metadata *StrLenExp, Metadata *StrLocationExp,
1188 unsigned Encoding, StorageType Storage,
1189 bool ShouldCreate = true) {
1190 auto *SizeInBitsNode = ConstantAsMetadata::get(
1191 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1192 return getImpl(Context, Tag, getCanonicalMDString(Context, Name),
1193 StringLength, StrLenExp, StrLocationExp, SizeInBitsNode,
1194 AlignInBits, Encoding, Storage, ShouldCreate);
1195 }
1196 static DIStringType *getImpl(LLVMContext &Context, unsigned Tag,
1197 MDString *Name, Metadata *StringLength,
1198 Metadata *StrLenExp, Metadata *StrLocationExp,
1200 unsigned Encoding, StorageType Storage,
1201 bool ShouldCreate = true) {
1202 auto *SizeInBitsNode = ConstantAsMetadata::get(
1203 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1204 return getImpl(Context, Tag, Name, StringLength, StrLenExp, StrLocationExp,
1205 SizeInBitsNode, AlignInBits, Encoding, Storage,
1206 ShouldCreate);
1207 }
1208 LLVM_ABI static DIStringType *
1209 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name,
1210 Metadata *StringLength, Metadata *StrLenExp, Metadata *StrLocationExp,
1211 Metadata *SizeInBits, uint32_t AlignInBits, unsigned Encoding,
1212 StorageType Storage, bool ShouldCreate = true);
1213
1214 TempDIStringType cloneImpl() const {
1219 }
1220
1221public:
1222 DEFINE_MDNODE_GET(DIStringType,
1223 (unsigned Tag, StringRef Name, uint64_t SizeInBits,
1225 (Tag, Name, nullptr, nullptr, nullptr, SizeInBits,
1226 AlignInBits, 0))
1227 DEFINE_MDNODE_GET(DIStringType,
1231 unsigned Encoding),
1234 DEFINE_MDNODE_GET(DIStringType,
1235 (unsigned Tag, StringRef Name, Metadata *StringLength,
1238 unsigned Encoding),
1241 DEFINE_MDNODE_GET(DIStringType,
1245 unsigned Encoding),
1248
1249 TempDIStringType clone() const { return cloneImpl(); }
1250
1251 static bool classof(const Metadata *MD) {
1252 return MD->getMetadataID() == DIStringTypeKind;
1253 }
1254
1258
1262
1266
1267 unsigned getEncoding() const { return Encoding; }
1268
1269 Metadata *getRawStringLength() const { return getOperand(MY_FIRST_OPERAND); }
1270
1272 return getOperand(MY_FIRST_OPERAND + 1);
1273 }
1274
1276 return getOperand(MY_FIRST_OPERAND + 2);
1277 }
1278};
1279
1280/// Derived types.
1281///
1282/// This includes qualified types, pointers, references, friends, typedefs, and
1283/// class members.
1284///
1285/// TODO: Split out members (inheritance, fields, methods, etc.).
1286class DIDerivedType : public DIType {
1287public:
1288 /// Pointer authentication (__ptrauth) metadata.
1290 // RawData layout:
1291 // - Bits 0..3: Key
1292 // - Bit 4: IsAddressDiscriminated
1293 // - Bits 5..20: ExtraDiscriminator
1294 // - Bit 21: IsaPointer
1295 // - Bit 22: AuthenticatesNullValues
1296 unsigned RawData;
1297
1298 PtrAuthData(unsigned FromRawData) : RawData(FromRawData) {}
1299 PtrAuthData(unsigned Key, bool IsDiscr, unsigned Discriminator,
1300 bool IsaPointer, bool AuthenticatesNullValues) {
1301 assert(Key < 16);
1302 assert(Discriminator <= 0xffff);
1303 RawData = (Key << 0) | (IsDiscr ? (1 << 4) : 0) | (Discriminator << 5) |
1304 (IsaPointer ? (1 << 21) : 0) |
1305 (AuthenticatesNullValues ? (1 << 22) : 0);
1306 }
1307
1308 unsigned key() { return (RawData >> 0) & 0b1111; }
1309 bool isAddressDiscriminated() { return (RawData >> 4) & 1; }
1310 unsigned extraDiscriminator() { return (RawData >> 5) & 0xffff; }
1311 bool isaPointer() { return (RawData >> 21) & 1; }
1312 bool authenticatesNullValues() { return (RawData >> 22) & 1; }
1313 };
1314
1315private:
1316 friend class LLVMContextImpl;
1317 friend class MDNode;
1318
1319 static constexpr unsigned MY_FIRST_OPERAND = DIType::N_OPERANDS;
1320
1321 /// The DWARF address space of the memory pointed to or referenced by a
1322 /// pointer or reference type respectively.
1323 std::optional<unsigned> DWARFAddressSpace;
1324
1325 DIDerivedType(LLVMContext &C, StorageType Storage, unsigned Tag,
1326 unsigned Line, uint32_t AlignInBits,
1327 std::optional<unsigned> DWARFAddressSpace,
1328 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1330 : DIType(C, DIDerivedTypeKind, Storage, Tag, Line, AlignInBits, 0, Flags,
1331 Ops),
1332 DWARFAddressSpace(DWARFAddressSpace) {
1333 if (PtrAuthData)
1335 }
1336 ~DIDerivedType() = default;
1337 static DIDerivedType *
1338 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, DIFile *File,
1339 unsigned Line, DIScope *Scope, DIType *BaseType, uint64_t SizeInBits,
1341 std::optional<unsigned> DWARFAddressSpace,
1342 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1344 bool ShouldCreate = true) {
1345 auto *SizeInBitsNode = ConstantAsMetadata::get(
1346 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1347 auto *OffsetInBitsNode = ConstantAsMetadata::get(
1348 ConstantInt::get(Type::getInt64Ty(Context), OffsetInBits));
1349 return getImpl(Context, Tag, getCanonicalMDString(Context, Name), File,
1350 Line, Scope, BaseType, SizeInBitsNode, AlignInBits,
1351 OffsetInBitsNode, DWARFAddressSpace, PtrAuthData, Flags,
1352 ExtraData, Annotations.get(), Storage, ShouldCreate);
1353 }
1354 static DIDerivedType *
1355 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, DIFile *File,
1356 unsigned Line, DIScope *Scope, DIType *BaseType, uint64_t SizeInBits,
1358 std::optional<unsigned> DWARFAddressSpace,
1359 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1361 bool ShouldCreate = true) {
1362 auto *SizeInBitsNode = ConstantAsMetadata::get(
1363 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1364 auto *OffsetInBitsNode = ConstantAsMetadata::get(
1365 ConstantInt::get(Type::getInt64Ty(Context), OffsetInBits));
1366 return getImpl(Context, Tag, Name, File, Line, Scope, BaseType,
1367 SizeInBitsNode, AlignInBits, OffsetInBitsNode,
1369 Annotations.get(), Storage, ShouldCreate);
1370 }
1371 static DIDerivedType *
1372 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, DIFile *File,
1375 std::optional<unsigned> DWARFAddressSpace,
1376 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1378 bool ShouldCreate = true) {
1379 return getImpl(Context, Tag, getCanonicalMDString(Context, Name), File,
1381 DWARFAddressSpace, PtrAuthData, Flags, ExtraData,
1382 Annotations.get(), Storage, ShouldCreate);
1383 }
1384 LLVM_ABI static DIDerivedType *
1385 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
1386 unsigned Line, Metadata *Scope, Metadata *BaseType,
1388 std::optional<unsigned> DWARFAddressSpace,
1389 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1391 bool ShouldCreate = true);
1392
1393 TempDIDerivedType cloneImpl() const {
1394 return getTemporary(
1397 getRawOffsetInBits(), getDWARFAddressSpace(), getPtrAuthData(),
1399 }
1400
1401public:
1402 DEFINE_MDNODE_GET(DIDerivedType,
1403 (unsigned Tag, MDString *Name, Metadata *File,
1404 unsigned Line, Metadata *Scope, Metadata *BaseType,
1407 std::optional<unsigned> DWARFAddressSpace,
1408 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1409 Metadata *ExtraData = nullptr,
1410 Metadata *Annotations = nullptr),
1412 AlignInBits, OffsetInBits, DWARFAddressSpace, PtrAuthData,
1414 DEFINE_MDNODE_GET(DIDerivedType,
1415 (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
1418 std::optional<unsigned> DWARFAddressSpace,
1419 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1421 DINodeArray Annotations = nullptr),
1423 AlignInBits, OffsetInBits, DWARFAddressSpace, PtrAuthData,
1425 DEFINE_MDNODE_GET(DIDerivedType,
1426 (unsigned Tag, MDString *Name, DIFile *File, unsigned Line,
1429 std::optional<unsigned> DWARFAddressSpace,
1430 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1431 Metadata *ExtraData = nullptr,
1432 DINodeArray Annotations = nullptr),
1434 AlignInBits, OffsetInBits, DWARFAddressSpace, PtrAuthData,
1436 DEFINE_MDNODE_GET(DIDerivedType,
1437 (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
1440 std::optional<unsigned> DWARFAddressSpace,
1441 std::optional<PtrAuthData> PtrAuthData, DIFlags Flags,
1442 Metadata *ExtraData = nullptr,
1443 DINodeArray Annotations = nullptr),
1445 AlignInBits, OffsetInBits, DWARFAddressSpace, PtrAuthData,
1447
1448 TempDIDerivedType clone() const { return cloneImpl(); }
1449
1450 /// Get the base type this is derived from.
1451 DIType *getBaseType() const { return cast_or_null<DIType>(getRawBaseType()); }
1452 Metadata *getRawBaseType() const { return getOperand(MY_FIRST_OPERAND); }
1453
1454 /// \returns The DWARF address space of the memory pointed to or referenced by
1455 /// a pointer or reference type respectively.
1456 std::optional<unsigned> getDWARFAddressSpace() const {
1457 return DWARFAddressSpace;
1458 }
1459
1460 LLVM_ABI std::optional<PtrAuthData> getPtrAuthData() const;
1461
1462 /// Get extra data associated with this derived type.
1463 ///
1464 /// Class type for pointer-to-members, objective-c property node for ivars,
1465 /// global constant wrapper for static members, virtual base pointer offset
1466 /// for inheritance, a tuple of template parameters for template aliases,
1467 /// discriminant for a variant, or storage offset for a bit field.
1468 ///
1469 /// TODO: Separate out types that need this extra operand: pointer-to-member
1470 /// types and member fields (static members and ivars).
1472 Metadata *getRawExtraData() const { return getOperand(MY_FIRST_OPERAND + 1); }
1473
1474 /// Get the template parameters from a template alias.
1475 DITemplateParameterArray getTemplateParams() const {
1477 }
1478
1479 /// Get annotations associated with this derived type.
1480 DINodeArray getAnnotations() const {
1482 }
1484 return getOperand(MY_FIRST_OPERAND + 2);
1485 }
1486
1487 /// Get casted version of extra data.
1488 /// @{
1489 LLVM_ABI DIType *getClassType() const;
1490
1494
1496
1498
1499 LLVM_ABI Constant *getConstant() const;
1500
1502 /// @}
1503
1504 static bool classof(const Metadata *MD) {
1505 return MD->getMetadataID() == DIDerivedTypeKind;
1506 }
1507};
1508
1511 return Lhs.RawData == Rhs.RawData;
1512}
1513
1516 return !(Lhs == Rhs);
1517}
1518
1519/// Subrange type. This is somewhat similar to DISubrange, but it
1520/// is also a DIType.
1521class DISubrangeType : public DIType {
1522public:
1524
1525private:
1526 friend class LLVMContextImpl;
1527 friend class MDNode;
1528
1529 static constexpr unsigned MY_FIRST_OPERAND = DIType::N_OPERANDS;
1530
1531 DISubrangeType(LLVMContext &C, StorageType Storage, unsigned Line,
1533
1534 ~DISubrangeType() = default;
1535
1536 static DISubrangeType *
1537 getImpl(LLVMContext &Context, StringRef Name, DIFile *File, unsigned Line,
1541 StorageType Storage, bool ShouldCreate = true) {
1542 auto *SizeInBitsNode = ConstantAsMetadata::get(
1543 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1544 return getImpl(Context, getCanonicalMDString(Context, Name), File, Line,
1545 Scope, SizeInBitsNode, AlignInBits, Flags, BaseType,
1546 LowerBound, UpperBound, Stride, Bias, Storage, ShouldCreate);
1547 }
1548
1549 LLVM_ABI static DISubrangeType *
1550 getImpl(LLVMContext &Context, MDString *Name, Metadata *File, unsigned Line,
1552 DIFlags Flags, Metadata *BaseType, Metadata *LowerBound,
1554 StorageType Storage, bool ShouldCreate = true);
1555
1556 TempDISubrangeType cloneImpl() const {
1561 }
1562
1563 LLVM_ABI BoundType convertRawToBound(Metadata *IN) const;
1564
1565public:
1566 DEFINE_MDNODE_GET(DISubrangeType,
1567 (MDString * Name, Metadata *File, unsigned Line,
1574 DEFINE_MDNODE_GET(DISubrangeType,
1581
1582 TempDISubrangeType clone() const { return cloneImpl(); }
1583
1584 /// Get the base type this is derived from.
1586 Metadata *getRawBaseType() const { return getOperand(MY_FIRST_OPERAND); }
1587
1589 return getOperand(MY_FIRST_OPERAND + 1).get();
1590 }
1591
1593 return getOperand(MY_FIRST_OPERAND + 2).get();
1594 }
1595
1597 return getOperand(MY_FIRST_OPERAND + 3).get();
1598 }
1599
1601 return getOperand(MY_FIRST_OPERAND + 4).get();
1602 }
1603
1605 return convertRawToBound(getRawLowerBound());
1606 }
1607
1609 return convertRawToBound(getRawUpperBound());
1610 }
1611
1612 BoundType getStride() const { return convertRawToBound(getRawStride()); }
1613
1614 BoundType getBias() const { return convertRawToBound(getRawBias()); }
1615
1616 static bool classof(const Metadata *MD) {
1617 return MD->getMetadataID() == DISubrangeTypeKind;
1618 }
1619};
1620
1621/// Composite types.
1622///
1623/// TODO: Detach from DerivedTypeBase (split out MDEnumType?).
1624/// TODO: Create a custom, unrelated node for DW_TAG_array_type.
1625class DICompositeType : public DIType {
1626 friend class LLVMContextImpl;
1627 friend class MDNode;
1628
1629 static constexpr unsigned MY_FIRST_OPERAND = DIType::N_OPERANDS;
1630
1631 unsigned RuntimeLang;
1632 std::optional<uint32_t> EnumKind;
1633
1634 DICompositeType(LLVMContext &C, StorageType Storage, unsigned Tag,
1635 unsigned Line, unsigned RuntimeLang, uint32_t AlignInBits,
1637 std::optional<uint32_t> EnumKind, DIFlags Flags,
1639 : DIType(C, DICompositeTypeKind, Storage, Tag, Line, AlignInBits,
1641 RuntimeLang(RuntimeLang), EnumKind(EnumKind) {}
1642 ~DICompositeType() = default;
1643
1644 /// Change fields in place.
1645 void mutate(unsigned Tag, unsigned Line, unsigned RuntimeLang,
1647 std::optional<uint32_t> EnumKind, DIFlags Flags) {
1648 assert(isDistinct() && "Only distinct nodes can mutate");
1649 assert(getRawIdentifier() && "Only ODR-uniqued nodes should mutate");
1650 this->RuntimeLang = RuntimeLang;
1651 this->EnumKind = EnumKind;
1653 }
1654
1655 static DICompositeType *
1656 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, Metadata *File,
1657 unsigned Line, DIScope *Scope, DIType *BaseType, uint64_t SizeInBits,
1659 uint32_t NumExtraInhabitants, DIFlags Flags, DINodeArray Elements,
1660 unsigned RuntimeLang, std::optional<uint32_t> EnumKind,
1661 DIType *VTableHolder, DITemplateParameterArray TemplateParams,
1662 StringRef Identifier, DIDerivedType *Discriminator,
1664 Metadata *Rank, DINodeArray Annotations, Metadata *BitStride,
1665 StorageType Storage, bool ShouldCreate = true) {
1666 auto *SizeInBitsNode = ConstantAsMetadata::get(
1667 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1668 auto *OffsetInBitsNode = ConstantAsMetadata::get(
1669 ConstantInt::get(Type::getInt64Ty(Context), OffsetInBits));
1670 return getImpl(Context, Tag, getCanonicalMDString(Context, Name), File,
1671 Line, Scope, BaseType, SizeInBitsNode, AlignInBits,
1672 OffsetInBitsNode, Flags, Elements.get(), RuntimeLang,
1674 getCanonicalMDString(Context, Identifier), Discriminator,
1677 ShouldCreate);
1678 }
1679 static DICompositeType *
1680 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
1681 unsigned Line, Metadata *Scope, Metadata *BaseType,
1682 uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits,
1683 DIFlags Flags, Metadata *Elements, unsigned RuntimeLang,
1684 std::optional<uint32_t> EnumKind, Metadata *VTableHolder,
1689 Metadata *BitStride, StorageType Storage, bool ShouldCreate = true) {
1690 auto *SizeInBitsNode = ConstantAsMetadata::get(
1691 ConstantInt::get(Type::getInt64Ty(Context), SizeInBits));
1692 auto *OffsetInBitsNode = ConstantAsMetadata::get(
1693 ConstantInt::get(Type::getInt64Ty(Context), OffsetInBits));
1694 return getImpl(Context, Tag, Name, File, Line, Scope, BaseType,
1695 SizeInBitsNode, AlignInBits, OffsetInBitsNode, Flags,
1696 Elements, RuntimeLang, EnumKind, VTableHolder,
1699 NumExtraInhabitants, BitStride, Storage, ShouldCreate);
1700 }
1701 static DICompositeType *
1702 getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, Metadata *File,
1705 uint32_t NumExtraInhabitants, DIFlags Flags, DINodeArray Elements,
1706 unsigned RuntimeLang, std::optional<uint32_t> EnumKind,
1707 DIType *VTableHolder, DITemplateParameterArray TemplateParams,
1708 StringRef Identifier, DIDerivedType *Discriminator,
1710 Metadata *Rank, DINodeArray Annotations, Metadata *BitStride,
1711 StorageType Storage, bool ShouldCreate = true) {
1712 return getImpl(
1713 Context, Tag, getCanonicalMDString(Context, Name), File, Line, Scope,
1715 RuntimeLang, EnumKind, VTableHolder, TemplateParams.get(),
1718 NumExtraInhabitants, BitStride, Storage, ShouldCreate);
1719 }
1720 LLVM_ABI static DICompositeType *
1721 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
1722 unsigned Line, Metadata *Scope, Metadata *BaseType,
1724 DIFlags Flags, Metadata *Elements, unsigned RuntimeLang,
1725 std::optional<uint32_t> EnumKind, Metadata *VTableHolder,
1730 Metadata *BitStride, StorageType Storage, bool ShouldCreate = true);
1731
1732 TempDICompositeType cloneImpl() const {
1733 return getTemporary(
1741 getRawBitStride());
1742 }
1743
1744public:
1746 DICompositeType,
1747 (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
1750 DINodeArray Elements, unsigned RuntimeLang,
1751 std::optional<uint32_t> EnumKind, DIType *VTableHolder,
1752 DITemplateParameterArray TemplateParams = nullptr,
1754 Metadata *DataLocation = nullptr, Metadata *Associated = nullptr,
1755 Metadata *Allocated = nullptr, Metadata *Rank = nullptr,
1756 DINodeArray Annotations = nullptr, DIType *Specification = nullptr,
1760 RuntimeLang, EnumKind, VTableHolder, TemplateParams, Identifier,
1762 BitStride))
1764 DICompositeType,
1765 (unsigned Tag, MDString *Name, Metadata *File, unsigned Line,
1768 Metadata *Elements, unsigned RuntimeLang,
1769 std::optional<uint32_t> EnumKind, Metadata *VTableHolder,
1772 Metadata *Associated = nullptr, Metadata *Allocated = nullptr,
1773 Metadata *Rank = nullptr, Metadata *Annotations = nullptr,
1775 Metadata *BitStride = nullptr),
1777 OffsetInBits, Flags, Elements, RuntimeLang, EnumKind, VTableHolder,
1780 BitStride))
1782 DICompositeType,
1783 (unsigned Tag, StringRef Name, DIFile *File, unsigned Line,
1786 DINodeArray Elements, unsigned RuntimeLang,
1787 std::optional<uint32_t> EnumKind, DIType *VTableHolder,
1788 DITemplateParameterArray TemplateParams = nullptr,
1790 Metadata *DataLocation = nullptr, Metadata *Associated = nullptr,
1791 Metadata *Allocated = nullptr, Metadata *Rank = nullptr,
1792 DINodeArray Annotations = nullptr, DIType *Specification = nullptr,
1796 RuntimeLang, EnumKind, VTableHolder, TemplateParams, Identifier,
1798 BitStride))
1800 DICompositeType,
1801 (unsigned Tag, MDString *Name, Metadata *File, unsigned Line,
1804 Metadata *Elements, unsigned RuntimeLang,
1805 std::optional<uint32_t> EnumKind, Metadata *VTableHolder,
1806 Metadata *TemplateParams = nullptr, MDString *Identifier = nullptr,
1807 Metadata *Discriminator = nullptr, Metadata *DataLocation = nullptr,
1808 Metadata *Associated = nullptr, Metadata *Allocated = nullptr,
1809 Metadata *Rank = nullptr, Metadata *Annotations = nullptr,
1811 Metadata *BitStride = nullptr),
1813 OffsetInBits, Flags, Elements, RuntimeLang, EnumKind, VTableHolder,
1816 BitStride))
1817
1818 TempDICompositeType clone() const { return cloneImpl(); }
1819
1820 /// Get a DICompositeType with the given ODR identifier.
1821 ///
1822 /// If \a LLVMContext::isODRUniquingDebugTypes(), gets the mapped
1823 /// DICompositeType for the given ODR \c Identifier. If none exists, creates
1824 /// a new node.
1825 ///
1826 /// Else, returns \c nullptr.
1827 LLVM_ABI static DICompositeType *
1828 getODRType(LLVMContext &Context, MDString &Identifier, unsigned Tag,
1829 MDString *Name, Metadata *File, unsigned Line, Metadata *Scope,
1833 unsigned RuntimeLang, std::optional<uint32_t> EnumKind,
1839 MDString &Identifier);
1840
1841 /// Build a DICompositeType with the given ODR identifier.
1842 ///
1843 /// Looks up the mapped DICompositeType for the given ODR \c Identifier. If
1844 /// it doesn't exist, creates a new one. If it does exist and \a
1845 /// isForwardDecl(), and the new arguments would be a definition, mutates the
1846 /// the type in place. In either case, returns the type.
1847 ///
1848 /// If not \a LLVMContext::isODRUniquingDebugTypes(), this function returns
1849 /// nullptr.
1850 LLVM_ABI static DICompositeType *
1851 buildODRType(LLVMContext &Context, MDString &Identifier, unsigned Tag,
1852 MDString *Name, Metadata *File, unsigned Line, Metadata *Scope,
1856 unsigned RuntimeLang, std::optional<uint32_t> EnumKind,
1861
1863 DINodeArray getElements() const {
1865 }
1869 DITemplateParameterArray getTemplateParams() const {
1871 }
1873 return getStringOperand(MY_FIRST_OPERAND + 4);
1874 }
1875 unsigned getRuntimeLang() const { return RuntimeLang; }
1876 std::optional<uint32_t> getEnumKind() const { return EnumKind; }
1877
1878 Metadata *getRawBaseType() const { return getOperand(MY_FIRST_OPERAND); }
1879 Metadata *getRawElements() const { return getOperand(MY_FIRST_OPERAND + 1); }
1881 return getOperand(MY_FIRST_OPERAND + 2);
1882 }
1884 return getOperand(MY_FIRST_OPERAND + 3);
1885 }
1887 return getOperandAs<MDString>(MY_FIRST_OPERAND + 4);
1888 }
1890 return getOperand(MY_FIRST_OPERAND + 5);
1891 }
1893 return getOperandAs<DIDerivedType>(MY_FIRST_OPERAND + 5);
1894 }
1896 return getOperand(MY_FIRST_OPERAND + 6);
1897 }
1905 return getOperand(MY_FIRST_OPERAND + 7);
1906 }
1913 Metadata *getRawAllocated() const { return getOperand(MY_FIRST_OPERAND + 8); }
1920 Metadata *getRawRank() const { return getOperand(MY_FIRST_OPERAND + 9); }
1923 return dyn_cast_or_null<ConstantInt>(MD->getValue());
1924 return nullptr;
1925 }
1929
1931 return getOperand(MY_FIRST_OPERAND + 10);
1932 }
1933 DINodeArray getAnnotations() const {
1935 }
1936
1938 return getOperand(MY_FIRST_OPERAND + 11);
1939 }
1943
1945 return getOperand(MY_FIRST_OPERAND + 12);
1946 }
1949 return dyn_cast_or_null<ConstantInt>(MD->getValue());
1950 return nullptr;
1951 }
1952
1953 /// Replace operands.
1954 ///
1955 /// If this \a isUniqued() and not \a isResolved(), on a uniquing collision
1956 /// this will be RAUW'ed and deleted. Use a \a TrackingMDRef to keep track
1957 /// of its movement if necessary.
1958 /// @{
1959 void replaceElements(DINodeArray Elements) {
1960#ifndef NDEBUG
1961 for (DINode *Op : getElements())
1962 assert(is_contained(Elements->operands(), Op) &&
1963 "Lost a member during member list replacement");
1964#endif
1965 replaceOperandWith(MY_FIRST_OPERAND + 1, Elements.get());
1966 }
1967
1969 replaceOperandWith(MY_FIRST_OPERAND + 2, VTableHolder);
1970 }
1971
1972 void replaceTemplateParams(DITemplateParameterArray TemplateParams) {
1973 replaceOperandWith(MY_FIRST_OPERAND + 3, TemplateParams.get());
1974 }
1975 /// @}
1976
1977 static bool classof(const Metadata *MD) {
1978 return MD->getMetadataID() == DICompositeTypeKind;
1979 }
1980};
1981
1982/// Type array for a subprogram.
1983///
1984/// TODO: Fold the array of types in directly as operands.
1985class DISubroutineType : public DIType {
1986 friend class LLVMContextImpl;
1987 friend class MDNode;
1988
1989 static constexpr unsigned MY_FIRST_OPERAND = DIType::N_OPERANDS;
1990
1991 /// The calling convention used with DW_AT_calling_convention. Actually of
1992 /// type dwarf::CallingConvention.
1993 uint8_t CC;
1994
1995 DISubroutineType(LLVMContext &C, StorageType Storage, DIFlags Flags,
1997 ~DISubroutineType() = default;
1998
1999 static DISubroutineType *getImpl(LLVMContext &Context, DIFlags Flags,
2002 bool ShouldCreate = true) {
2003 return getImpl(Context, Flags, CC, TypeArray.get(), Storage, ShouldCreate);
2004 }
2005 LLVM_ABI static DISubroutineType *getImpl(LLVMContext &Context, DIFlags Flags,
2008 bool ShouldCreate = true);
2009
2010 TempDISubroutineType cloneImpl() const {
2012 }
2013
2014public:
2015 DEFINE_MDNODE_GET(DISubroutineType,
2017 (Flags, CC, TypeArray))
2018 DEFINE_MDNODE_GET(DISubroutineType,
2021
2022 TempDISubroutineType clone() const { return cloneImpl(); }
2023 // Returns a new temporary DISubroutineType with updated CC
2024 TempDISubroutineType cloneWithCC(uint8_t CC) const {
2025 auto NewTy = clone();
2026 NewTy->CC = CC;
2027 return NewTy;
2028 }
2029
2030 uint8_t getCC() const { return CC; }
2031
2035
2036 Metadata *getRawTypeArray() const { return getOperand(MY_FIRST_OPERAND); }
2037
2038 static bool classof(const Metadata *MD) {
2039 return MD->getMetadataID() == DISubroutineTypeKind;
2040 }
2041};
2042
2043/// Compile unit.
2044class DICompileUnit : public DIScope {
2045 friend class LLVMContextImpl;
2046 friend class MDNode;
2047
2048public:
2056
2064
2065 LLVM_ABI static std::optional<DebugEmissionKind>
2067 LLVM_ABI static const char *emissionKindString(DebugEmissionKind EK);
2068 LLVM_ABI static std::optional<DebugNameTableKind>
2070 LLVM_ABI static const char *nameTableKindString(DebugNameTableKind PK);
2071
2072private:
2074 unsigned RuntimeVersion;
2076 unsigned EmissionKind;
2077 unsigned NameTableKind;
2078 bool IsOptimized;
2079 bool SplitDebugInlining;
2081 bool RangesBaseAddress;
2082
2085 unsigned RuntimeVersion, unsigned EmissionKind, uint64_t DWOId,
2087 unsigned NameTableKind, bool RangesBaseAddress,
2089 ~DICompileUnit() = default;
2090
2091 static DICompileUnit *
2095 unsigned EmissionKind, DICompositeTypeArray EnumTypes,
2096 DIScopeArray RetainedTypes,
2097 DIGlobalVariableExpressionArray GlobalVariables,
2098 DIImportedEntityArray ImportedEntities, DIMacroNodeArray Macros,
2101 StringRef SDK, StorageType Storage, bool ShouldCreate = true) {
2102 return getImpl(
2103 Context, SourceLanguage, File, getCanonicalMDString(Context, Producer),
2106 EnumTypes.get(), RetainedTypes.get(), GlobalVariables.get(),
2109 getCanonicalMDString(Context, SysRoot),
2110 getCanonicalMDString(Context, SDK), Storage, ShouldCreate);
2111 }
2112 LLVM_ABI static DICompileUnit *
2113 getImpl(LLVMContext &Context, DISourceLanguageName SourceLanguage,
2114 Metadata *File, MDString *Producer, bool IsOptimized, MDString *Flags,
2115 unsigned RuntimeVersion, MDString *SplitDebugFilename,
2119 bool DebugInfoForProfiling, unsigned NameTableKind,
2120 bool RangesBaseAddress, MDString *SysRoot, MDString *SDK,
2121 StorageType Storage, bool ShouldCreate = true);
2122
2123 TempDICompileUnit cloneImpl() const {
2124 return getTemporary(
2131 }
2132
2133public:
2134 static void get() = delete;
2135 static void getIfExists() = delete;
2136
2138 DICompileUnit,
2140 bool IsOptimized, StringRef Flags, unsigned RuntimeVersion,
2142 DICompositeTypeArray EnumTypes, DIScopeArray RetainedTypes,
2143 DIGlobalVariableExpressionArray GlobalVariables,
2144 DIImportedEntityArray ImportedEntities, DIMacroNodeArray Macros,
2145 uint64_t DWOId, bool SplitDebugInlining, bool DebugInfoForProfiling,
2146 DebugNameTableKind NameTableKind, bool RangesBaseAddress,
2148 (SourceLanguage, File, Producer, IsOptimized, Flags, RuntimeVersion,
2150 GlobalVariables, ImportedEntities, Macros, DWOId, SplitDebugInlining,
2151 DebugInfoForProfiling, (unsigned)NameTableKind, RangesBaseAddress,
2152 SysRoot, SDK))
2154 DICompileUnit,
2156 bool IsOptimized, MDString *Flags, unsigned RuntimeVersion,
2160 bool SplitDebugInlining, bool DebugInfoForProfiling,
2161 unsigned NameTableKind, bool RangesBaseAddress, MDString *SysRoot,
2163 (SourceLanguage, File, Producer, IsOptimized, Flags, RuntimeVersion,
2165 GlobalVariables, ImportedEntities, Macros, DWOId, SplitDebugInlining,
2166 DebugInfoForProfiling, NameTableKind, RangesBaseAddress, SysRoot, SDK))
2167
2168 TempDICompileUnit clone() const { return cloneImpl(); }
2169
2170 DISourceLanguageName getSourceLanguage() const { return SourceLanguage; }
2171 bool isOptimized() const { return IsOptimized; }
2172 unsigned getRuntimeVersion() const { return RuntimeVersion; }
2174 return (DebugEmissionKind)EmissionKind;
2175 }
2177 return EmissionKind == DebugDirectivesOnly;
2178 }
2179 bool getDebugInfoForProfiling() const { return DebugInfoForProfiling; }
2181 return (DebugNameTableKind)NameTableKind;
2182 }
2183 bool getRangesBaseAddress() const { return RangesBaseAddress; }
2185 StringRef getFlags() const { return getStringOperand(2); }
2187 DICompositeTypeArray getEnumTypes() const {
2189 }
2190 DIScopeArray getRetainedTypes() const {
2192 }
2193 DIGlobalVariableExpressionArray getGlobalVariables() const {
2195 }
2196 DIImportedEntityArray getImportedEntities() const {
2198 }
2199 DIMacroNodeArray getMacros() const {
2201 }
2202 uint64_t getDWOId() const { return DWOId; }
2203 void setDWOId(uint64_t DwoId) { DWOId = DwoId; }
2204 bool getSplitDebugInlining() const { return SplitDebugInlining; }
2205 void setSplitDebugInlining(bool SplitDebugInlining) {
2206 this->SplitDebugInlining = SplitDebugInlining;
2207 }
2209 StringRef getSDK() const { return getStringOperand(10); }
2210
2216 Metadata *getRawEnumTypes() const { return getOperand(4); }
2220 Metadata *getRawMacros() const { return getOperand(8); }
2223
2224 /// Replace arrays.
2225 ///
2226 /// If this \a isUniqued() and not \a isResolved(), it will be RAUW'ed and
2227 /// deleted on a uniquing collision. In practice, uniquing collisions on \a
2228 /// DICompileUnit should be fairly rare.
2229 /// @{
2230 void replaceEnumTypes(DICompositeTypeArray N) {
2231 replaceOperandWith(4, N.get());
2232 }
2233 void replaceRetainedTypes(DITypeArray N) { replaceOperandWith(5, N.get()); }
2234 void replaceGlobalVariables(DIGlobalVariableExpressionArray N) {
2235 replaceOperandWith(6, N.get());
2236 }
2237 void replaceImportedEntities(DIImportedEntityArray N) {
2238 replaceOperandWith(7, N.get());
2239 }
2240 void replaceMacros(DIMacroNodeArray N) { replaceOperandWith(8, N.get()); }
2241 /// @}
2242
2243 static bool classof(const Metadata *MD) {
2244 return MD->getMetadataID() == DICompileUnitKind;
2245 }
2246};
2247
2248/// A scope for locals.
2249///
2250/// A legal scope for lexical blocks, local variables, and debug info
2251/// locations. Subclasses are \a DISubprogram, \a DILexicalBlock, and \a
2252/// DILexicalBlockFile.
2253class DILocalScope : public DIScope {
2254protected:
2258 ~DILocalScope() = default;
2259
2260public:
2261 /// Get the subprogram for this scope.
2262 ///
2263 /// Return this if it's an \a DISubprogram; otherwise, look up the scope
2264 /// chain.
2266
2267 /// Traverses the scope chain rooted at RootScope until it hits a Subprogram,
2268 /// recreating the chain with "NewSP" instead.
2269 LLVM_ABI static DILocalScope *
2271 LLVMContext &Ctx,
2273
2274 /// Get the first non DILexicalBlockFile scope of this scope.
2275 ///
2276 /// Return this if it's not a \a DILexicalBlockFIle; otherwise, look up the
2277 /// scope chain.
2279
2280 static bool classof(const Metadata *MD) {
2281 return MD->getMetadataID() == DISubprogramKind ||
2282 MD->getMetadataID() == DILexicalBlockKind ||
2283 MD->getMetadataID() == DILexicalBlockFileKind;
2284 }
2285};
2286
2287/// Subprogram description. Uses SubclassData1.
2288class DISubprogram : public DILocalScope {
2289 friend class LLVMContextImpl;
2290 friend class MDNode;
2291
2292 unsigned Line;
2293 unsigned ScopeLine;
2294 unsigned VirtualIndex;
2295
2296 /// In the MS ABI, the implicit 'this' parameter is adjusted in the prologue
2297 /// of method overrides from secondary bases by this amount. It may be
2298 /// negative.
2299 int ThisAdjustment;
2300
2301public:
2302 /// Debug info subprogram flags.
2304#define HANDLE_DISP_FLAG(ID, NAME) SPFlag##NAME = ID,
2305#define DISP_FLAG_LARGEST_NEEDED
2306#include "llvm/IR/DebugInfoFlags.def"
2307 SPFlagNonvirtual = SPFlagZero,
2308 SPFlagVirtuality = SPFlagVirtual | SPFlagPureVirtual,
2309 LLVM_MARK_AS_BITMASK_ENUM(SPFlagLargest)
2310 };
2311
2312 LLVM_ABI static DISPFlags getFlag(StringRef Flag);
2313 LLVM_ABI static StringRef getFlagString(DISPFlags Flag);
2314
2315 /// Split up a flags bitfield for easier printing.
2316 ///
2317 /// Split \c Flags into \c SplitFlags, a vector of its components. Returns
2318 /// any remaining (unrecognized) bits.
2319 LLVM_ABI static DISPFlags splitFlags(DISPFlags Flags,
2320 SmallVectorImpl<DISPFlags> &SplitFlags);
2321
2322 // Helper for converting old bitfields to new flags word.
2323 LLVM_ABI static DISPFlags toSPFlags(bool IsLocalToUnit, bool IsDefinition,
2324 bool IsOptimized,
2325 unsigned Virtuality = SPFlagNonvirtual,
2326 bool IsMainSubprogram = false);
2327
2328private:
2329 DIFlags Flags;
2330 DISPFlags SPFlags;
2331
2332 DISubprogram(LLVMContext &C, StorageType Storage, unsigned Line,
2333 unsigned ScopeLine, unsigned VirtualIndex, int ThisAdjustment,
2334 DIFlags Flags, DISPFlags SPFlags, bool UsesKeyInstructions,
2336 ~DISubprogram() = default;
2337
2338 static DISubprogram *
2339 getImpl(LLVMContext &Context, DIScope *Scope, StringRef Name,
2340 StringRef LinkageName, DIFile *File, unsigned Line,
2342 unsigned VirtualIndex, int ThisAdjustment, DIFlags Flags,
2343 DISPFlags SPFlags, DICompileUnit *Unit,
2344 DITemplateParameterArray TemplateParams, DISubprogram *Declaration,
2345 DINodeArray RetainedNodes, DITypeArray ThrownTypes,
2348 bool ShouldCreate = true) {
2349 return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
2350 getCanonicalMDString(Context, LinkageName), File, Line, Type,
2352 Flags, SPFlags, Unit, TemplateParams.get(), Declaration,
2353 RetainedNodes.get(), ThrownTypes.get(), Annotations.get(),
2355 UsesKeyInstructions, Storage, ShouldCreate);
2356 }
2357
2358 LLVM_ABI static DISubprogram *
2359 getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name,
2360 MDString *LinkageName, Metadata *File, unsigned Line, Metadata *Type,
2361 unsigned ScopeLine, Metadata *ContainingType, unsigned VirtualIndex,
2362 int ThisAdjustment, DIFlags Flags, DISPFlags SPFlags, Metadata *Unit,
2365 MDString *TargetFuncName, bool UsesKeyInstructions,
2366 StorageType Storage, bool ShouldCreate = true);
2367
2368 TempDISubprogram cloneImpl() const {
2370 getFile(), getLine(), getType(), getScopeLine(),
2371 getContainingType(), getVirtualIndex(),
2372 getThisAdjustment(), getFlags(), getSPFlags(),
2373 getUnit(), getTemplateParams(), getDeclaration(),
2374 getRetainedNodes(), getThrownTypes(), getAnnotations(),
2375 getTargetFuncName(), getKeyInstructionsEnabled());
2376 }
2377
2378public:
2380 DISubprogram,
2382 unsigned Line, DISubroutineType *Type, unsigned ScopeLine,
2383 DIType *ContainingType, unsigned VirtualIndex, int ThisAdjustment,
2384 DIFlags Flags, DISPFlags SPFlags, DICompileUnit *Unit,
2385 DITemplateParameterArray TemplateParams = nullptr,
2386 DISubprogram *Declaration = nullptr, DINodeArray RetainedNodes = nullptr,
2387 DITypeArray ThrownTypes = nullptr, DINodeArray Annotations = nullptr,
2388 StringRef TargetFuncName = "", bool UsesKeyInstructions = false),
2389 (Scope, Name, LinkageName, File, Line, Type, ScopeLine, ContainingType,
2390 VirtualIndex, ThisAdjustment, Flags, SPFlags, Unit, TemplateParams,
2393
2395 DISubprogram,
2397 unsigned Line, Metadata *Type, unsigned ScopeLine,
2398 Metadata *ContainingType, unsigned VirtualIndex, int ThisAdjustment,
2399 DIFlags Flags, DISPFlags SPFlags, Metadata *Unit,
2403 bool UsesKeyInstructions = false),
2404 (Scope, Name, LinkageName, File, Line, Type, ScopeLine, ContainingType,
2405 VirtualIndex, ThisAdjustment, Flags, SPFlags, Unit, TemplateParams,
2408
2409 TempDISubprogram clone() const { return cloneImpl(); }
2410
2411 /// Returns a new temporary DISubprogram with updated Flags
2412 TempDISubprogram cloneWithFlags(DIFlags NewFlags) const {
2413 auto NewSP = clone();
2414 NewSP->Flags = NewFlags;
2415 return NewSP;
2416 }
2417
2418 bool getKeyInstructionsEnabled() const { return SubclassData1; }
2419
2420public:
2421 unsigned getLine() const { return Line; }
2422 unsigned getVirtuality() const { return getSPFlags() & SPFlagVirtuality; }
2423 unsigned getVirtualIndex() const { return VirtualIndex; }
2424 int getThisAdjustment() const { return ThisAdjustment; }
2425 unsigned getScopeLine() const { return ScopeLine; }
2426 void setScopeLine(unsigned L) {
2427 assert(isDistinct());
2428 ScopeLine = L;
2429 }
2430 DIFlags getFlags() const { return Flags; }
2431 DISPFlags getSPFlags() const { return SPFlags; }
2432 bool isLocalToUnit() const { return getSPFlags() & SPFlagLocalToUnit; }
2433 bool isDefinition() const { return getSPFlags() & SPFlagDefinition; }
2434 bool isOptimized() const { return getSPFlags() & SPFlagOptimized; }
2435 bool isMainSubprogram() const { return getSPFlags() & SPFlagMainSubprogram; }
2436
2437 bool isArtificial() const { return getFlags() & FlagArtificial; }
2438 bool isPrivate() const {
2439 return (getFlags() & FlagAccessibility) == FlagPrivate;
2440 }
2441 bool isProtected() const {
2442 return (getFlags() & FlagAccessibility) == FlagProtected;
2443 }
2444 bool isPublic() const {
2445 return (getFlags() & FlagAccessibility) == FlagPublic;
2446 }
2447 bool isExplicit() const { return getFlags() & FlagExplicit; }
2448 bool isPrototyped() const { return getFlags() & FlagPrototyped; }
2449 bool areAllCallsDescribed() const {
2450 return getFlags() & FlagAllCallsDescribed;
2451 }
2452 bool isPure() const { return getSPFlags() & SPFlagPure; }
2453 bool isElemental() const { return getSPFlags() & SPFlagElemental; }
2454 bool isRecursive() const { return getSPFlags() & SPFlagRecursive; }
2455 bool isObjCDirect() const { return getSPFlags() & SPFlagObjCDirect; }
2456
2457 /// Check if this is deleted member function.
2458 ///
2459 /// Return true if this subprogram is a C++11 special
2460 /// member function declared deleted.
2461 bool isDeleted() const { return getSPFlags() & SPFlagDeleted; }
2462
2463 /// Check if this is reference-qualified.
2464 ///
2465 /// Return true if this subprogram is a C++11 reference-qualified non-static
2466 /// member function (void foo() &).
2467 bool isLValueReference() const { return getFlags() & FlagLValueReference; }
2468
2469 /// Check if this is rvalue-reference-qualified.
2470 ///
2471 /// Return true if this subprogram is a C++11 rvalue-reference-qualified
2472 /// non-static member function (void foo() &&).
2473 bool isRValueReference() const { return getFlags() & FlagRValueReference; }
2474
2475 /// Check if this is marked as noreturn.
2476 ///
2477 /// Return true if this subprogram is C++11 noreturn or C11 _Noreturn
2478 bool isNoReturn() const { return getFlags() & FlagNoReturn; }
2479
2480 // Check if this routine is a compiler-generated thunk.
2481 //
2482 // Returns true if this subprogram is a thunk generated by the compiler.
2483 bool isThunk() const { return getFlags() & FlagThunk; }
2484
2485 DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
2486
2487 StringRef getName() const { return getStringOperand(2); }
2488 StringRef getLinkageName() const { return getStringOperand(3); }
2489 /// Only used by clients of CloneFunction, and only right after the cloning.
2490 void replaceLinkageName(MDString *LN) { replaceOperandWith(3, LN); }
2491
2492 DISubroutineType *getType() const {
2493 return cast_or_null<DISubroutineType>(getRawType());
2494 }
2495 DIType *getContainingType() const {
2496 return cast_or_null<DIType>(getRawContainingType());
2497 }
2498 void replaceType(DISubroutineType *Ty) {
2499 assert(isDistinct() && "Only distinct nodes can mutate");
2500 replaceOperandWith(4, Ty);
2501 }
2502
2503 DICompileUnit *getUnit() const {
2504 return cast_or_null<DICompileUnit>(getRawUnit());
2505 }
2506 void replaceUnit(DICompileUnit *CU) { replaceOperandWith(5, CU); }
2507 DITemplateParameterArray getTemplateParams() const {
2508 return cast_or_null<MDTuple>(getRawTemplateParams());
2509 }
2510 DISubprogram *getDeclaration() const {
2511 return cast_or_null<DISubprogram>(getRawDeclaration());
2512 }
2513 void replaceDeclaration(DISubprogram *Decl) { replaceOperandWith(6, Decl); }
2514 DINodeArray getRetainedNodes() const {
2515 return cast_or_null<MDTuple>(getRawRetainedNodes());
2516 }
2517 DITypeArray getThrownTypes() const {
2518 return cast_or_null<MDTuple>(getRawThrownTypes());
2519 }
2520 DINodeArray getAnnotations() const {
2521 return cast_or_null<MDTuple>(getRawAnnotations());
2522 }
2523 StringRef getTargetFuncName() const {
2524 return (getRawTargetFuncName()) ? getStringOperand(12) : StringRef();
2525 }
2526
2527 Metadata *getRawScope() const { return getOperand(1); }
2528 MDString *getRawName() const { return getOperandAs<MDString>(2); }
2529 MDString *getRawLinkageName() const { return getOperandAs<MDString>(3); }
2530 Metadata *getRawType() const { return getOperand(4); }
2531 Metadata *getRawUnit() const { return getOperand(5); }
2532 Metadata *getRawDeclaration() const { return getOperand(6); }
2533 Metadata *getRawRetainedNodes() const { return getOperand(7); }
2534 Metadata *getRawContainingType() const {
2535 return getNumOperands() > 8 ? getOperandAs<Metadata>(8) : nullptr;
2536 }
2537 Metadata *getRawTemplateParams() const {
2538 return getNumOperands() > 9 ? getOperandAs<Metadata>(9) : nullptr;
2539 }
2540 Metadata *getRawThrownTypes() const {
2541 return getNumOperands() > 10 ? getOperandAs<Metadata>(10) : nullptr;
2542 }
2543 Metadata *getRawAnnotations() const {
2544 return getNumOperands() > 11 ? getOperandAs<Metadata>(11) : nullptr;
2545 }
2546 MDString *getRawTargetFuncName() const {
2547 return getNumOperands() > 12 ? getOperandAs<MDString>(12) : nullptr;
2548 }
2549
2550 void replaceRawLinkageName(MDString *LinkageName) {
2552 }
2553 void replaceRetainedNodes(DINodeArray N) {
2554 replaceOperandWith(7, N.get());
2555 }
2556
2557 /// Check if this subprogram describes the given function.
2558 ///
2559 /// FIXME: Should this be looking through bitcasts?
2560 LLVM_ABI bool describes(const Function *F) const;
2561
2562 static bool classof(const Metadata *MD) {
2563 return MD->getMetadataID() == DISubprogramKind;
2564 }
2565};
2566
2567/// Debug location.
2568///
2569/// A debug location in source code, used for debug info and otherwise.
2570///
2571/// Uses the SubclassData1, SubclassData16 and SubclassData32
2572/// Metadata slots.
2573
2574class DILocation : public MDNode {
2575 friend class LLVMContextImpl;
2576 friend class MDNode;
2577 uint64_t AtomGroup : 61;
2578 uint64_t AtomRank : 3;
2579
2580 DILocation(LLVMContext &C, StorageType Storage, unsigned Line,
2581 unsigned Column, uint64_t AtomGroup, uint8_t AtomRank,
2583 ~DILocation() { dropAllReferences(); }
2584
2585 LLVM_ABI static DILocation *
2586 getImpl(LLVMContext &Context, unsigned Line, unsigned Column, Metadata *Scope,
2588 uint8_t AtomRank, StorageType Storage, bool ShouldCreate = true);
2589 static DILocation *getImpl(LLVMContext &Context, unsigned Line,
2590 unsigned Column, DILocalScope *Scope,
2593 StorageType Storage, bool ShouldCreate = true) {
2594 return getImpl(Context, Line, Column, static_cast<Metadata *>(Scope),
2595 static_cast<Metadata *>(InlinedAt), ImplicitCode, AtomGroup,
2596 AtomRank, Storage, ShouldCreate);
2597 }
2598
2599 TempDILocation cloneImpl() const {
2600 // Get the raw scope/inlinedAt since it is possible to invoke this on
2601 // a DILocation containing temporary metadata.
2602 return getTemporary(getContext(), getLine(), getColumn(), getRawScope(),
2603 getRawInlinedAt(), isImplicitCode(), getAtomGroup(),
2604 getAtomRank());
2605 }
2606
2607public:
2608 uint64_t getAtomGroup() const { return AtomGroup; }
2609 uint8_t getAtomRank() const { return AtomRank; }
2610
2611 const DILocation *getWithoutAtom() const {
2612 if (!getAtomGroup() && !getAtomRank())
2613 return this;
2614 return get(getContext(), getLine(), getColumn(), getScope(), getInlinedAt(),
2615 isImplicitCode());
2616 }
2617
2618 // Disallow replacing operands.
2619 void replaceOperandWith(unsigned I, Metadata *New) = delete;
2620
2622 (unsigned Line, unsigned Column, Metadata *Scope,
2623 Metadata *InlinedAt = nullptr, bool ImplicitCode = false,
2624 uint64_t AtomGroup = 0, uint8_t AtomRank = 0),
2625 (Line, Column, Scope, InlinedAt, ImplicitCode, AtomGroup,
2626 AtomRank))
2627 DEFINE_MDNODE_GET(DILocation,
2628 (unsigned Line, unsigned Column, DILocalScope *Scope,
2629 DILocation *InlinedAt = nullptr, bool ImplicitCode = false,
2630 uint64_t AtomGroup = 0, uint8_t AtomRank = 0),
2631 (Line, Column, Scope, InlinedAt, ImplicitCode, AtomGroup,
2632 AtomRank))
2633
2634 /// Return a (temporary) clone of this.
2635 TempDILocation clone() const { return cloneImpl(); }
2636
2637 unsigned getLine() const { return SubclassData32; }
2638 unsigned getColumn() const { return SubclassData16; }
2639 DILocalScope *getScope() const { return cast<DILocalScope>(getRawScope()); }
2640
2641 /// Return the linkage name of Subprogram. If the linkage name is empty,
2642 /// return scope name (the demangled name).
2643 StringRef getSubprogramLinkageName() const {
2644 DISubprogram *SP = getScope()->getSubprogram();
2645 if (!SP)
2646 return "";
2647 auto Name = SP->getLinkageName();
2648 if (!Name.empty())
2649 return Name;
2650 return SP->getName();
2651 }
2652
2653 DILocation *getInlinedAt() const {
2655 }
2656
2657 /// Check if the location corresponds to an implicit code.
2658 /// When the ImplicitCode flag is true, it means that the Instruction
2659 /// with this DILocation has been added by the front-end but it hasn't been
2660 /// written explicitly by the user (e.g. cleanup stuff in C++ put on a closing
2661 /// bracket). It's useful for code coverage to not show a counter on "empty"
2662 /// lines.
2663 bool isImplicitCode() const { return SubclassData1; }
2664 void setImplicitCode(bool ImplicitCode) { SubclassData1 = ImplicitCode; }
2665
2666 DIFile *getFile() const { return getScope()->getFile(); }
2667 StringRef getFilename() const { return getScope()->getFilename(); }
2668 StringRef getDirectory() const { return getScope()->getDirectory(); }
2669 std::optional<StringRef> getSource() const { return getScope()->getSource(); }
2670
2671 /// Walk through \a getInlinedAt() and return the \a DILocation of the
2672 /// outermost call site in the inlining chain.
2673 const DILocation *getInlinedAtLocation() const {
2674 const DILocation *Current = this;
2675 while (const DILocation *Next = Current->getInlinedAt())
2676 Current = Next;
2677 return Current;
2678 }
2679
2680 // Return the \a DILocalScope of the outermost call site in the inlining
2681 // chain.
2682 DILocalScope *getInlinedAtScope() const {
2683 return getInlinedAtLocation()->getScope();
2684 }
2685
2686 /// Get the DWARF discriminator.
2687 ///
2688 /// DWARF discriminators distinguish identical file locations between
2689 /// instructions that are on different basic blocks.
2690 ///
2691 /// There are 3 components stored in discriminator, from lower bits:
2692 ///
2693 /// Base discriminator: assigned by AddDiscriminators pass to identify IRs
2694 /// that are defined by the same source line, but
2695 /// different basic blocks.
2696 /// Duplication factor: assigned by optimizations that will scale down
2697 /// the execution frequency of the original IR.
2698 /// Copy Identifier: assigned by optimizations that clones the IR.
2699 /// Each copy of the IR will be assigned an identifier.
2700 ///
2701 /// Encoding:
2702 ///
2703 /// The above 3 components are encoded into a 32bit unsigned integer in
2704 /// order. If the lowest bit is 1, the current component is empty, and the
2705 /// next component will start in the next bit. Otherwise, the current
2706 /// component is non-empty, and its content starts in the next bit. The
2707 /// value of each components is either 5 bit or 12 bit: if the 7th bit
2708 /// is 0, the bit 2~6 (5 bits) are used to represent the component; if the
2709 /// 7th bit is 1, the bit 2~6 (5 bits) and 8~14 (7 bits) are combined to
2710 /// represent the component. Thus, the number of bits used for a component
2711 /// is either 0 (if it and all the next components are empty); 1 - if it is
2712 /// empty; 7 - if its value is up to and including 0x1f (lsb and msb are both
2713 /// 0); or 14, if its value is up to and including 0x1ff. Note that the last
2714 /// component is also capped at 0x1ff, even in the case when both first
2715 /// components are 0, and we'd technically have 29 bits available.
2716 ///
2717 /// For precise control over the data being encoded in the discriminator,
2718 /// use encodeDiscriminator/decodeDiscriminator.
2719
2720 inline unsigned getDiscriminator() const;
2721
2722 // For the regular discriminator, it stands for all empty components if all
2723 // the lowest 3 bits are non-zero and all higher 29 bits are unused(zero by
2724 // default). Here we fully leverage the higher 29 bits for pseudo probe use.
2725 // This is the format:
2726 // [2:0] - 0x7
2727 // [31:3] - pseudo probe fields guaranteed to be non-zero as a whole
2728 // So if the lower 3 bits is non-zero and the others has at least one
2729 // non-zero bit, it guarantees to be a pseudo probe discriminator
2730 inline static bool isPseudoProbeDiscriminator(unsigned Discriminator) {
2731 return ((Discriminator & 0x7) == 0x7) && (Discriminator & 0xFFFFFFF8);
2732 }
2733
2734 /// Returns a new DILocation with updated \p Discriminator.
2735 inline const DILocation *cloneWithDiscriminator(unsigned Discriminator) const;
2736
2737 /// Returns a new DILocation with updated base discriminator \p BD. Only the
2738 /// base discriminator is set in the new DILocation, the other encoded values
2739 /// are elided.
2740 /// If the discriminator cannot be encoded, the function returns std::nullopt.
2741 inline std::optional<const DILocation *>
2742 cloneWithBaseDiscriminator(unsigned BD) const;
2743
2744 /// Returns the duplication factor stored in the discriminator, or 1 if no
2745 /// duplication factor (or 0) is encoded.
2746 inline unsigned getDuplicationFactor() const;
2747
2748 /// Returns the copy identifier stored in the discriminator.
2749 inline unsigned getCopyIdentifier() const;
2750
2751 /// Returns the base discriminator stored in the discriminator.
2752 inline unsigned getBaseDiscriminator() const;
2753
2754 /// Returns a new DILocation with duplication factor \p DF * current
2755 /// duplication factor encoded in the discriminator. The current duplication
2756 /// factor is as defined by getDuplicationFactor().
2757 /// Returns std::nullopt if encoding failed.
2758 inline std::optional<const DILocation *>
2760
2761 /// Attempts to merge \p LocA and \p LocB into a single location; see
2762 /// DebugLoc::getMergedLocation for more details.
2763 /// NB: When merging the locations of instructions, prefer to use
2764 /// DebugLoc::getMergedLocation(), as an instruction's DebugLoc may contain
2765 /// additional metadata that will not be preserved when merging the unwrapped
2766 /// DILocations.
2768 DILocation *LocB);
2769
2770 /// Try to combine the vector of locations passed as input in a single one.
2771 /// This function applies getMergedLocation() repeatedly left-to-right.
2772 /// NB: When merging the locations of instructions, prefer to use
2773 /// DebugLoc::getMergedLocations(), as an instruction's DebugLoc may contain
2774 /// additional metadata that will not be preserved when merging the unwrapped
2775 /// DILocations.
2776 ///
2777 /// \p Locs: The locations to be merged.
2779
2780 /// Return the masked discriminator value for an input discrimnator value D
2781 /// (i.e. zero out the (B+1)-th and above bits for D (B is 0-base).
2782 // Example: an input of (0x1FF, 7) returns 0xFF.
2783 static unsigned getMaskedDiscriminator(unsigned D, unsigned B) {
2784 return (D & getN1Bits(B));
2785 }
2786
2787 /// Return the bits used for base discriminators.
2788 static unsigned getBaseDiscriminatorBits() { return getBaseFSBitEnd(); }
2789
2790 /// Returns the base discriminator for a given encoded discriminator \p D.
2791 static unsigned
2793 bool IsFSDiscriminator = false) {
2794 // Extract the dwarf base discriminator if it's encoded in the pseudo probe
2795 // discriminator.
2797 auto DwarfBaseDiscriminator =
2799 if (DwarfBaseDiscriminator)
2800 return *DwarfBaseDiscriminator;
2801 // Return the probe id instead of zero for a pseudo probe discriminator.
2802 // This should help differenciate callsites with same line numbers to
2803 // achieve a decent AutoFDO profile under -fpseudo-probe-for-profiling,
2804 // where the original callsite dwarf discriminator is overwritten by
2805 // callsite probe information.
2807 }
2808
2809 if (IsFSDiscriminator)
2812 }
2813
2814 /// Raw encoding of the discriminator. APIs such as cloneWithDuplicationFactor
2815 /// have certain special case behavior (e.g. treating empty duplication factor
2816 /// as the value '1').
2817 /// This API, in conjunction with cloneWithDiscriminator, may be used to
2818 /// encode the raw values provided.
2819 ///
2820 /// \p BD: base discriminator
2821 /// \p DF: duplication factor
2822 /// \p CI: copy index
2823 ///
2824 /// The return is std::nullopt if the values cannot be encoded in 32 bits -
2825 /// for example, values for BD or DF larger than 12 bits. Otherwise, the
2826 /// return is the encoded value.
2827 LLVM_ABI static std::optional<unsigned>
2828 encodeDiscriminator(unsigned BD, unsigned DF, unsigned CI);
2829
2830 /// Raw decoder for values in an encoded discriminator D.
2831 LLVM_ABI static void decodeDiscriminator(unsigned D, unsigned &BD,
2832 unsigned &DF, unsigned &CI);
2833
2834 /// Returns the duplication factor for a given encoded discriminator \p D, or
2835 /// 1 if no value or 0 is encoded.
2836 static unsigned getDuplicationFactorFromDiscriminator(unsigned D) {
2838 return 1;
2840 unsigned Ret = getUnsignedFromPrefixEncoding(D);
2841 if (Ret == 0)
2842 return 1;
2843 return Ret;
2844 }
2845
2846 /// Returns the copy identifier for a given encoded discriminator \p D.
2851
2852 Metadata *getRawScope() const { return getOperand(0); }
2854 if (getNumOperands() == 2)
2855 return getOperand(1);
2856 return nullptr;
2857 }
2858
2859 static bool classof(const Metadata *MD) {
2860 return MD->getMetadataID() == DILocationKind;
2861 }
2862};
2863
2865protected:
2869
2870public:
2872
2873 Metadata *getRawScope() const { return getOperand(1); }
2874
2875 void replaceScope(DIScope *Scope) {
2876 assert(!isUniqued());
2877 setOperand(1, Scope);
2878 }
2879
2880 static bool classof(const Metadata *MD) {
2881 return MD->getMetadataID() == DILexicalBlockKind ||
2882 MD->getMetadataID() == DILexicalBlockFileKind;
2883 }
2884};
2885
2886/// Debug lexical block.
2887///
2888/// Uses the SubclassData32 Metadata slot.
2889class DILexicalBlock : public DILexicalBlockBase {
2890 friend class LLVMContextImpl;
2891 friend class MDNode;
2892
2893 uint16_t Column;
2894
2895 DILexicalBlock(LLVMContext &C, StorageType Storage, unsigned Line,
2896 unsigned Column, ArrayRef<Metadata *> Ops)
2897 : DILexicalBlockBase(C, DILexicalBlockKind, Storage, Ops),
2898 Column(Column) {
2900 assert(Column < (1u << 16) && "Expected 16-bit column");
2901 }
2902 ~DILexicalBlock() = default;
2903
2904 static DILexicalBlock *getImpl(LLVMContext &Context, DILocalScope *Scope,
2905 DIFile *File, unsigned Line, unsigned Column,
2907 bool ShouldCreate = true) {
2908 return getImpl(Context, static_cast<Metadata *>(Scope),
2909 static_cast<Metadata *>(File), Line, Column, Storage,
2910 ShouldCreate);
2911 }
2912
2913 LLVM_ABI static DILexicalBlock *getImpl(LLVMContext &Context, Metadata *Scope,
2914 Metadata *File, unsigned Line,
2915 unsigned Column, StorageType Storage,
2916 bool ShouldCreate = true);
2917
2918 TempDILexicalBlock cloneImpl() const {
2920 getColumn());
2921 }
2922
2923public:
2924 DEFINE_MDNODE_GET(DILexicalBlock,
2925 (DILocalScope * Scope, DIFile *File, unsigned Line,
2926 unsigned Column),
2927 (Scope, File, Line, Column))
2928 DEFINE_MDNODE_GET(DILexicalBlock,
2930 unsigned Column),
2931 (Scope, File, Line, Column))
2932
2933 TempDILexicalBlock clone() const { return cloneImpl(); }
2934
2935 unsigned getLine() const { return SubclassData32; }
2936 unsigned getColumn() const { return Column; }
2937
2938 static bool classof(const Metadata *MD) {
2939 return MD->getMetadataID() == DILexicalBlockKind;
2940 }
2941};
2942
2943class DILexicalBlockFile : public DILexicalBlockBase {
2944 friend class LLVMContextImpl;
2945 friend class MDNode;
2946
2947 DILexicalBlockFile(LLVMContext &C, StorageType Storage,
2949 : DILexicalBlockBase(C, DILexicalBlockFileKind, Storage, Ops) {
2951 }
2952 ~DILexicalBlockFile() = default;
2953
2954 static DILexicalBlockFile *getImpl(LLVMContext &Context, DILocalScope *Scope,
2955 DIFile *File, unsigned Discriminator,
2957 bool ShouldCreate = true) {
2958 return getImpl(Context, static_cast<Metadata *>(Scope),
2959 static_cast<Metadata *>(File), Discriminator, Storage,
2960 ShouldCreate);
2961 }
2962
2963 LLVM_ABI static DILexicalBlockFile *getImpl(LLVMContext &Context,
2964 Metadata *Scope, Metadata *File,
2965 unsigned Discriminator,
2967 bool ShouldCreate = true);
2968
2969 TempDILexicalBlockFile cloneImpl() const {
2970 return getTemporary(getContext(), getScope(), getFile(),
2972 }
2973
2974public:
2975 DEFINE_MDNODE_GET(DILexicalBlockFile,
2977 unsigned Discriminator),
2979 DEFINE_MDNODE_GET(DILexicalBlockFile,
2982
2983 TempDILexicalBlockFile clone() const { return cloneImpl(); }
2984 unsigned getDiscriminator() const { return SubclassData32; }
2985
2986 static bool classof(const Metadata *MD) {
2987 return MD->getMetadataID() == DILexicalBlockFileKind;
2988 }
2989};
2990
2991unsigned DILocation::getDiscriminator() const {
2992 if (auto *F = dyn_cast<DILexicalBlockFile>(getScope()))
2993 return F->getDiscriminator();
2994 return 0;
2995}
2996
2997const DILocation *
2998DILocation::cloneWithDiscriminator(unsigned Discriminator) const {
2999 DIScope *Scope = getScope();
3000 // Skip all parent DILexicalBlockFile that already have a discriminator
3001 // assigned. We do not want to have nested DILexicalBlockFiles that have
3002 // multiple discriminators because only the leaf DILexicalBlockFile's
3003 // dominator will be used.
3004 for (auto *LBF = dyn_cast<DILexicalBlockFile>(Scope);
3005 LBF && LBF->getDiscriminator() != 0;
3007 Scope = LBF->getScope();
3008 DILexicalBlockFile *NewScope =
3009 DILexicalBlockFile::get(getContext(), Scope, getFile(), Discriminator);
3010 return DILocation::get(getContext(), getLine(), getColumn(), NewScope,
3011 getInlinedAt(), isImplicitCode(), getAtomGroup(),
3012 getAtomRank());
3013}
3014
3016 return getBaseDiscriminatorFromDiscriminator(getDiscriminator(),
3018}
3019
3021 return getDuplicationFactorFromDiscriminator(getDiscriminator());
3022}
3023
3025 return getCopyIdentifierFromDiscriminator(getDiscriminator());
3026}
3027
3028std::optional<const DILocation *>
3030 unsigned BD, DF, CI;
3031
3033 BD = getBaseDiscriminator();
3034 if (D == BD)
3035 return this;
3036 return cloneWithDiscriminator(D);
3037 }
3038
3039 decodeDiscriminator(getDiscriminator(), BD, DF, CI);
3040 if (D == BD)
3041 return this;
3042 if (std::optional<unsigned> Encoded = encodeDiscriminator(D, DF, CI))
3043 return cloneWithDiscriminator(*Encoded);
3044 return std::nullopt;
3045}
3046
3047std::optional<const DILocation *>
3049 assert(!EnableFSDiscriminator && "FSDiscriminator should not call this.");
3050 // Do no interfere with pseudo probes. Pseudo probe doesn't need duplication
3051 // factor support as samples collected on cloned probes will be aggregated.
3052 // Also pseudo probe at a callsite uses the dwarf discriminator to store
3053 // pseudo probe related information, such as the probe id.
3054 if (isPseudoProbeDiscriminator(getDiscriminator()))
3055 return this;
3056
3058 if (DF <= 1)
3059 return this;
3060
3061 unsigned BD = getBaseDiscriminator();
3062 unsigned CI = getCopyIdentifier();
3063 if (std::optional<unsigned> D = encodeDiscriminator(BD, DF, CI))
3064 return cloneWithDiscriminator(*D);
3065 return std::nullopt;
3066}
3067
3068/// Debug lexical block.
3069///
3070/// Uses the SubclassData1 Metadata slot.
3071class DINamespace : public DIScope {
3072 friend class LLVMContextImpl;
3073 friend class MDNode;
3074
3075 DINamespace(LLVMContext &Context, StorageType Storage, bool ExportSymbols,
3077 ~DINamespace() = default;
3078
3079 static DINamespace *getImpl(LLVMContext &Context, DIScope *Scope,
3081 StorageType Storage, bool ShouldCreate = true) {
3082 return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
3083 ExportSymbols, Storage, ShouldCreate);
3084 }
3085 LLVM_ABI static DINamespace *getImpl(LLVMContext &Context, Metadata *Scope,
3088 bool ShouldCreate = true);
3089
3090 TempDINamespace cloneImpl() const {
3091 return getTemporary(getContext(), getScope(), getName(),
3093 }
3094
3095public:
3099 DEFINE_MDNODE_GET(DINamespace,
3102
3103 TempDINamespace clone() const { return cloneImpl(); }
3104
3105 bool getExportSymbols() const { return SubclassData1; }
3107 StringRef getName() const { return getStringOperand(2); }
3108
3109 Metadata *getRawScope() const { return getOperand(1); }
3111
3112 static bool classof(const Metadata *MD) {
3113 return MD->getMetadataID() == DINamespaceKind;
3114 }
3115};
3116
3117/// Represents a module in the programming language, for example, a Clang
3118/// module, or a Fortran module.
3119///
3120/// Uses the SubclassData1 and SubclassData32 Metadata slots.
3121class DIModule : public DIScope {
3122 friend class LLVMContextImpl;
3123 friend class MDNode;
3124
3125 DIModule(LLVMContext &Context, StorageType Storage, unsigned LineNo,
3126 bool IsDecl, ArrayRef<Metadata *> Ops);
3127 ~DIModule() = default;
3128
3129 static DIModule *getImpl(LLVMContext &Context, DIFile *File, DIScope *Scope,
3132 unsigned LineNo, bool IsDecl, StorageType Storage,
3133 bool ShouldCreate = true) {
3134 return getImpl(Context, File, Scope, getCanonicalMDString(Context, Name),
3137 getCanonicalMDString(Context, APINotesFile), LineNo, IsDecl,
3138 Storage, ShouldCreate);
3139 }
3140 LLVM_ABI static DIModule *
3141 getImpl(LLVMContext &Context, Metadata *File, Metadata *Scope, MDString *Name,
3143 MDString *APINotesFile, unsigned LineNo, bool IsDecl,
3144 StorageType Storage, bool ShouldCreate = true);
3145
3146 TempDIModule cloneImpl() const {
3148 getConfigurationMacros(), getIncludePath(),
3149 getAPINotesFile(), getLineNo(), getIsDecl());
3150 }
3151
3152public:
3156 StringRef APINotesFile, unsigned LineNo,
3157 bool IsDecl = false),
3159 APINotesFile, LineNo, IsDecl))
3160 DEFINE_MDNODE_GET(DIModule,
3164 bool IsDecl = false),
3166 APINotesFile, LineNo, IsDecl))
3167
3168 TempDIModule clone() const { return cloneImpl(); }
3169
3170 DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
3171 StringRef getName() const { return getStringOperand(2); }
3172 StringRef getConfigurationMacros() const { return getStringOperand(3); }
3173 StringRef getIncludePath() const { return getStringOperand(4); }
3174 StringRef getAPINotesFile() const { return getStringOperand(5); }
3175 unsigned getLineNo() const { return SubclassData32; }
3176 bool getIsDecl() const { return SubclassData1; }
3177
3178 Metadata *getRawScope() const { return getOperand(1); }
3179 MDString *getRawName() const { return getOperandAs<MDString>(2); }
3180 MDString *getRawConfigurationMacros() const {
3181 return getOperandAs<MDString>(3);
3182 }
3183 MDString *getRawIncludePath() const { return getOperandAs<MDString>(4); }
3184 MDString *getRawAPINotesFile() const { return getOperandAs<MDString>(5); }
3185
3186 static bool classof(const Metadata *MD) {
3187 return MD->getMetadataID() == DIModuleKind;
3188 }
3189};
3190
3191/// Base class for template parameters.
3192///
3193/// Uses the SubclassData1 Metadata slot.
3195protected:
3197 unsigned Tag, bool IsDefault, ArrayRef<Metadata *> Ops)
3198 : DINode(Context, ID, Storage, Tag, Ops) {
3199 SubclassData1 = IsDefault;
3200 }
3202
3203public:
3204 StringRef getName() const { return getStringOperand(0); }
3206
3208 Metadata *getRawType() const { return getOperand(1); }
3209 bool isDefault() const { return SubclassData1; }
3210
3211 static bool classof(const Metadata *MD) {
3212 return MD->getMetadataID() == DITemplateTypeParameterKind ||
3213 MD->getMetadataID() == DITemplateValueParameterKind;
3214 }
3215};
3216
3217class DITemplateTypeParameter : public DITemplateParameter {
3218 friend class LLVMContextImpl;
3219 friend class MDNode;
3220
3221 DITemplateTypeParameter(LLVMContext &Context, StorageType Storage,
3223 ~DITemplateTypeParameter() = default;
3224
3225 static DITemplateTypeParameter *getImpl(LLVMContext &Context, StringRef Name,
3226 DIType *Type, bool IsDefault,
3228 bool ShouldCreate = true) {
3229 return getImpl(Context, getCanonicalMDString(Context, Name), Type,
3230 IsDefault, Storage, ShouldCreate);
3231 }
3233 getImpl(LLVMContext &Context, MDString *Name, Metadata *Type, bool IsDefault,
3234 StorageType Storage, bool ShouldCreate = true);
3235
3236 TempDITemplateTypeParameter cloneImpl() const {
3237 return getTemporary(getContext(), getName(), getType(), isDefault());
3238 }
3239
3240public:
3241 DEFINE_MDNODE_GET(DITemplateTypeParameter,
3243 (Name, Type, IsDefault))
3244 DEFINE_MDNODE_GET(DITemplateTypeParameter,
3247
3248 TempDITemplateTypeParameter clone() const { return cloneImpl(); }
3249
3250 static bool classof(const Metadata *MD) {
3251 return MD->getMetadataID() == DITemplateTypeParameterKind;
3252 }
3253};
3254
3255class DITemplateValueParameter : public DITemplateParameter {
3256 friend class LLVMContextImpl;
3257 friend class MDNode;
3258
3259 DITemplateValueParameter(LLVMContext &Context, StorageType Storage,
3260 unsigned Tag, bool IsDefault,
3262 : DITemplateParameter(Context, DITemplateValueParameterKind, Storage, Tag,
3263 IsDefault, Ops) {}
3264 ~DITemplateValueParameter() = default;
3265
3266 static DITemplateValueParameter *getImpl(LLVMContext &Context, unsigned Tag,
3268 bool IsDefault, Metadata *Value,
3270 bool ShouldCreate = true) {
3271 return getImpl(Context, Tag, getCanonicalMDString(Context, Name), Type,
3272 IsDefault, Value, Storage, ShouldCreate);
3273 }
3274 LLVM_ABI static DITemplateValueParameter *
3275 getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *Type,
3276 bool IsDefault, Metadata *Value, StorageType Storage,
3277 bool ShouldCreate = true);
3278
3279 TempDITemplateValueParameter cloneImpl() const {
3280 return getTemporary(getContext(), getTag(), getName(), getType(),
3281 isDefault(), getValue());
3282 }
3283
3284public:
3285 DEFINE_MDNODE_GET(DITemplateValueParameter,
3286 (unsigned Tag, StringRef Name, DIType *Type, bool IsDefault,
3287 Metadata *Value),
3288 (Tag, Name, Type, IsDefault, Value))
3289 DEFINE_MDNODE_GET(DITemplateValueParameter,
3293
3294 TempDITemplateValueParameter clone() const { return cloneImpl(); }
3295
3296 Metadata *getValue() const { return getOperand(2); }
3297
3298 static bool classof(const Metadata *MD) {
3299 return MD->getMetadataID() == DITemplateValueParameterKind;
3300 }
3301};
3302
3303/// Base class for variables.
3304///
3305/// Uses the SubclassData32 Metadata slot.
3306class DIVariable : public DINode {
3307 unsigned Line;
3308
3309protected:
3311 signed Line, ArrayRef<Metadata *> Ops,
3312 uint32_t AlignInBits = 0);
3313 ~DIVariable() = default;
3314
3315public:
3316 unsigned getLine() const { return Line; }
3318 StringRef getName() const { return getStringOperand(1); }
3322 uint32_t getAlignInBytes() const { return getAlignInBits() / CHAR_BIT; }
3323 /// Determines the size of the variable's type.
3324 LLVM_ABI std::optional<uint64_t> getSizeInBits() const;
3325
3326 /// Return the signedness of this variable's type, or std::nullopt if this
3327 /// type is neither signed nor unsigned.
3328 std::optional<DIBasicType::Signedness> getSignedness() const {
3329 if (auto *BT = dyn_cast<DIBasicType>(getType()))
3330 return BT->getSignedness();
3331 return std::nullopt;
3332 }
3333
3335 if (auto *F = getFile())
3336 return F->getFilename();
3337 return "";
3338 }
3339
3341 if (auto *F = getFile())
3342 return F->getDirectory();
3343 return "";
3344 }
3345
3346 std::optional<StringRef> getSource() const {
3347 if (auto *F = getFile())
3348 return F->getSource();
3349 return std::nullopt;
3350 }
3351
3352 Metadata *getRawScope() const { return getOperand(0); }
3354 Metadata *getRawFile() const { return getOperand(2); }
3355 Metadata *getRawType() const { return getOperand(3); }
3356
3357 static bool classof(const Metadata *MD) {
3358 return MD->getMetadataID() == DILocalVariableKind ||
3359 MD->getMetadataID() == DIGlobalVariableKind;
3360 }
3361};
3362
3363/// DWARF expression.
3364///
3365/// This is (almost) a DWARF expression that modifies the location of a
3366/// variable, or the location of a single piece of a variable, or (when using
3367/// DW_OP_stack_value) is the constant variable value.
3368///
3369/// TODO: Co-allocate the expression elements.
3370/// TODO: Separate from MDNode, or otherwise drop Distinct and Temporary
3371/// storage types.
3372class DIExpression : public MDNode {
3373 friend class LLVMContextImpl;
3374 friend class MDNode;
3375
3376 std::vector<uint64_t> Elements;
3377
3378 DIExpression(LLVMContext &C, StorageType Storage, ArrayRef<uint64_t> Elements)
3379 : MDNode(C, DIExpressionKind, Storage, {}),
3380 Elements(Elements.begin(), Elements.end()) {}
3381 ~DIExpression() = default;
3382
3383 LLVM_ABI static DIExpression *getImpl(LLVMContext &Context,
3384 ArrayRef<uint64_t> Elements,
3386 bool ShouldCreate = true);
3387
3388 TempDIExpression cloneImpl() const {
3389 return getTemporary(getContext(), getElements());
3390 }
3391
3392public:
3393 DEFINE_MDNODE_GET(DIExpression, (ArrayRef<uint64_t> Elements), (Elements))
3394
3395 TempDIExpression clone() const { return cloneImpl(); }
3396
3397 ArrayRef<uint64_t> getElements() const { return Elements; }
3398
3399 unsigned getNumElements() const { return Elements.size(); }
3400
3401 uint64_t getElement(unsigned I) const {
3402 assert(I < Elements.size() && "Index out of range");
3403 return Elements[I];
3404 }
3405
3407 /// Determine whether this represents a constant value, if so
3408 // return it's sign information.
3409 LLVM_ABI std::optional<SignedOrUnsignedConstant> isConstant() const;
3410
3411 /// Return the number of unique location operands referred to (via
3412 /// DW_OP_LLVM_arg) in this expression; this is not necessarily the number of
3413 /// instances of DW_OP_LLVM_arg within the expression.
3414 /// For example, for the expression:
3415 /// (DW_OP_LLVM_arg 0, DW_OP_LLVM_arg 1, DW_OP_plus,
3416 /// DW_OP_LLVM_arg 0, DW_OP_mul)
3417 /// This function would return 2, as there are two unique location operands
3418 /// (0 and 1).
3420
3422
3425
3426 /// A lightweight wrapper around an expression operand.
3427 ///
3428 /// TODO: Store arguments directly and change \a DIExpression to store a
3429 /// range of these.
3431 const uint64_t *Op = nullptr;
3432
3433 public:
3434 ExprOperand() = default;
3435 explicit ExprOperand(const uint64_t *Op) : Op(Op) {}
3436
3437 const uint64_t *get() const { return Op; }
3438
3439 /// Get the operand code.
3440 uint64_t getOp() const { return *Op; }
3441
3442 /// Get an argument to the operand.
3443 ///
3444 /// Never returns the operand itself.
3445 uint64_t getArg(unsigned I) const { return Op[I + 1]; }
3446
3447 unsigned getNumArgs() const { return getSize() - 1; }
3448
3449 /// Return the size of the operand.
3450 ///
3451 /// Return the number of elements in the operand (1 + args).
3452 LLVM_ABI unsigned getSize() const;
3453
3454 /// Append the elements of this operand to \p V.
3456 V.append(get(), get() + getSize());
3457 }
3458 };
3459
3460 /// An iterator for expression operands.
3462 ExprOperand Op;
3463
3464 public:
3465 using iterator_category = std::input_iterator_tag;
3467 using difference_type = std::ptrdiff_t;
3470
3471 expr_op_iterator() = default;
3473
3474 element_iterator getBase() const { return Op.get(); }
3475 const ExprOperand &operator*() const { return Op; }
3476 const ExprOperand *operator->() const { return &Op; }
3477
3479 increment();
3480 return *this;
3481 }
3483 expr_op_iterator T(*this);
3484 increment();
3485 return T;
3486 }
3487
3488 /// Get the next iterator.
3489 ///
3490 /// \a std::next() doesn't work because this is technically an
3491 /// input_iterator, but it's a perfectly valid operation. This is an
3492 /// accessor to provide the same functionality.
3493 expr_op_iterator getNext() const { return ++expr_op_iterator(*this); }
3494
3495 bool operator==(const expr_op_iterator &X) const {
3496 return getBase() == X.getBase();
3497 }
3498 bool operator!=(const expr_op_iterator &X) const {
3499 return getBase() != X.getBase();
3500 }
3501
3502 private:
3503 void increment() { Op = ExprOperand(getBase() + Op.getSize()); }
3504 };
3505
3506 /// Visit the elements via ExprOperand wrappers.
3507 ///
3508 /// These range iterators visit elements through \a ExprOperand wrappers.
3509 /// This is not guaranteed to be a valid range unless \a isValid() gives \c
3510 /// true.
3511 ///
3512 /// \pre \a isValid() gives \c true.
3513 /// @{
3523 /// @}
3524
3525 LLVM_ABI bool isValid() const;
3526
3527 static bool classof(const Metadata *MD) {
3528 return MD->getMetadataID() == DIExpressionKind;
3529 }
3530
3531 /// Return whether the first element a DW_OP_deref.
3532 LLVM_ABI bool startsWithDeref() const;
3533
3534 /// Return whether there is exactly one operator and it is a DW_OP_deref;
3535 LLVM_ABI bool isDeref() const;
3536
3538
3539 /// Return the number of bits that have an active value, i.e. those that
3540 /// aren't known to be zero/sign (depending on the type of Var) and which
3541 /// are within the size of this fragment (if it is one). If we can't deduce
3542 /// anything from the expression this will return the size of Var.
3543 LLVM_ABI std::optional<uint64_t> getActiveBits(DIVariable *Var);
3544
3545 /// Retrieve the details of this fragment expression.
3546 LLVM_ABI static std::optional<FragmentInfo>
3548
3549 /// Retrieve the details of this fragment expression.
3550 std::optional<FragmentInfo> getFragmentInfo() const {
3552 }
3553
3554 /// Return whether this is a piece of an aggregate variable.
3555 bool isFragment() const { return getFragmentInfo().has_value(); }
3556
3557 /// Return whether this is an implicit location description.
3558 LLVM_ABI bool isImplicit() const;
3559
3560 /// Return whether the location is computed on the expression stack, meaning
3561 /// it cannot be a simple register location.
3562 LLVM_ABI bool isComplex() const;
3563
3564 /// Return whether the evaluated expression makes use of a single location at
3565 /// the start of the expression, i.e. if it contains only a single
3566 /// DW_OP_LLVM_arg op as its first operand, or if it contains none.
3568
3569 /// Returns a reference to the elements contained in this expression, skipping
3570 /// past the leading `DW_OP_LLVM_arg, 0` if one is present.
3571 /// Similar to `convertToNonVariadicExpression`, but faster and cheaper - it
3572 /// does not check whether the expression is a single-location expression, and
3573 /// it returns elements rather than creating a new DIExpression.
3574 LLVM_ABI std::optional<ArrayRef<uint64_t>>
3576
3577 /// Removes all elements from \p Expr that do not apply to an undef debug
3578 /// value, which includes every operator that computes the value/location on
3579 /// the DWARF stack, including any DW_OP_LLVM_arg elements (making the result
3580 /// of this function always a single-location expression) while leaving
3581 /// everything that defines what the computed value applies to, i.e. the
3582 /// fragment information.
3583 LLVM_ABI static const DIExpression *
3585
3586 /// If \p Expr is a non-variadic expression (i.e. one that does not contain
3587 /// DW_OP_LLVM_arg), returns \p Expr converted to variadic form by adding a
3588 /// leading [DW_OP_LLVM_arg, 0] to the expression; otherwise returns \p Expr.
3589 LLVM_ABI static const DIExpression *
3591
3592 /// If \p Expr is a valid single-location expression, i.e. it refers to only a
3593 /// single debug operand at the start of the expression, then return that
3594 /// expression in a non-variadic form by removing DW_OP_LLVM_arg from the
3595 /// expression if it is present; otherwise returns std::nullopt.
3596 /// See also `getSingleLocationExpressionElements` above, which skips
3597 /// checking `isSingleLocationExpression` and returns a list of elements
3598 /// rather than a DIExpression.
3599 LLVM_ABI static std::optional<const DIExpression *>
3601
3602 /// Inserts the elements of \p Expr into \p Ops modified to a canonical form,
3603 /// which uses DW_OP_LLVM_arg (i.e. is a variadic expression) and folds the
3604 /// implied derefence from the \p IsIndirect flag into the expression. This
3605 /// allows us to check equivalence between expressions with differing
3606 /// directness or variadicness.
3608 const DIExpression *Expr,
3609 bool IsIndirect);
3610
3611 /// Determines whether two debug values should produce equivalent DWARF
3612 /// expressions, using their DIExpressions and directness, ignoring the
3613 /// differences between otherwise identical expressions in variadic and
3614 /// non-variadic form and not considering the debug operands.
3615 /// \p FirstExpr is the DIExpression for the first debug value.
3616 /// \p FirstIndirect should be true if the first debug value is indirect; in
3617 /// IR this should be true for dbg.declare intrinsics and false for
3618 /// dbg.values, and in MIR this should be true only for DBG_VALUE instructions
3619 /// whose second operand is an immediate value.
3620 /// \p SecondExpr and \p SecondIndirect have the same meaning as the prior
3621 /// arguments, but apply to the second debug value.
3622 LLVM_ABI static bool isEqualExpression(const DIExpression *FirstExpr,
3623 bool FirstIndirect,
3624 const DIExpression *SecondExpr,
3625 bool SecondIndirect);
3626
3627 /// Append \p Ops with operations to apply the \p Offset.
3629 int64_t Offset);
3630
3631 /// If this is a constant offset, extract it. If there is no expression,
3632 /// return true with an offset of zero.
3633 LLVM_ABI bool extractIfOffset(int64_t &Offset) const;
3634
3635 /// Assuming that the expression operates on an address, extract a constant
3636 /// offset and the successive ops. Return false if the expression contains
3637 /// any incompatible ops (including non-zero DW_OP_LLVM_args - only a single
3638 /// address operand to the expression is permitted).
3639 ///
3640 /// We don't try very hard to interpret the expression because we assume that
3641 /// foldConstantMath has canonicalized the expression.
3642 LLVM_ABI bool
3643 extractLeadingOffset(int64_t &OffsetInBytes,
3644 SmallVectorImpl<uint64_t> &RemainingOps) const;
3645
3646 /// Returns true iff this DIExpression contains at least one instance of
3647 /// `DW_OP_LLVM_arg, n` for all n in [0, N).
3648 LLVM_ABI bool hasAllLocationOps(unsigned N) const;
3649
3650 /// Checks if the last 4 elements of the expression are DW_OP_constu <DWARF
3651 /// Address Space> DW_OP_swap DW_OP_xderef and extracts the <DWARF Address
3652 /// Space>.
3653 LLVM_ABI static const DIExpression *
3654 extractAddressClass(const DIExpression *Expr, unsigned &AddrClass);
3655
3656 /// Used for DIExpression::prepend.
3659 DerefBefore = 1 << 0,
3660 DerefAfter = 1 << 1,
3661 StackValue = 1 << 2,
3662 EntryValue = 1 << 3
3663 };
3664
3665 /// Prepend \p DIExpr with a deref and offset operation and optionally turn it
3666 /// into a stack value or/and an entry value.
3667 LLVM_ABI static DIExpression *prepend(const DIExpression *Expr, uint8_t Flags,
3668 int64_t Offset = 0);
3669
3670 /// Prepend \p DIExpr with the given opcodes and optionally turn it into a
3671 /// stack value.
3674 bool StackValue = false,
3675 bool EntryValue = false);
3676
3677 /// Append the opcodes \p Ops to \p DIExpr. Unlike \ref appendToStack, the
3678 /// returned expression is a stack value only if \p DIExpr is a stack value.
3679 /// If \p DIExpr describes a fragment, the returned expression will describe
3680 /// the same fragment.
3681 LLVM_ABI static DIExpression *append(const DIExpression *Expr,
3683
3684 /// Convert \p DIExpr into a stack value if it isn't one already by appending
3685 /// DW_OP_deref if needed, and appending \p Ops to the resulting expression.
3686 /// If \p DIExpr describes a fragment, the returned expression will describe
3687 /// the same fragment.
3688 LLVM_ABI static DIExpression *appendToStack(const DIExpression *Expr,
3690
3691 /// Create a copy of \p Expr by appending the given list of \p Ops to each
3692 /// instance of the operand `DW_OP_LLVM_arg, \p ArgNo`. This is used to
3693 /// modify a specific location used by \p Expr, such as when salvaging that
3694 /// location.
3697 unsigned ArgNo,
3698 bool StackValue = false);
3699
3700 /// Create a copy of \p Expr with each instance of
3701 /// `DW_OP_LLVM_arg, \p OldArg` replaced with `DW_OP_LLVM_arg, \p NewArg`,
3702 /// and each instance of `DW_OP_LLVM_arg, Arg` with `DW_OP_LLVM_arg, Arg - 1`
3703 /// for all Arg > \p OldArg.
3704 /// This is used when replacing one of the operands of a debug value list
3705 /// with another operand in the same list and deleting the old operand.
3706 LLVM_ABI static DIExpression *replaceArg(const DIExpression *Expr,
3707 uint64_t OldArg, uint64_t NewArg);
3708
3709 /// Create a DIExpression to describe one part of an aggregate variable that
3710 /// is fragmented across multiple Values. The DW_OP_LLVM_fragment operation
3711 /// will be appended to the elements of \c Expr. If \c Expr already contains
3712 /// a \c DW_OP_LLVM_fragment \c OffsetInBits is interpreted as an offset
3713 /// into the existing fragment.
3714 ///
3715 /// \param OffsetInBits Offset of the piece in bits.
3716 /// \param SizeInBits Size of the piece in bits.
3717 /// \return Creating a fragment expression may fail if \c Expr
3718 /// contains arithmetic operations that would be
3719 /// truncated.
3720 LLVM_ABI static std::optional<DIExpression *>
3721 createFragmentExpression(const DIExpression *Expr, unsigned OffsetInBits,
3722 unsigned SizeInBits);
3723
3724 /// Determine the relative position of the fragments passed in.
3725 /// Returns -1 if this is entirely before Other, 0 if this and Other overlap,
3726 /// 1 if this is entirely after Other.
3727 static int fragmentCmp(const FragmentInfo &A, const FragmentInfo &B) {
3728 uint64_t l1 = A.OffsetInBits;
3729 uint64_t l2 = B.OffsetInBits;
3730 uint64_t r1 = l1 + A.SizeInBits;
3731 uint64_t r2 = l2 + B.SizeInBits;
3732 if (r1 <= l2)
3733 return -1;
3734 else if (r2 <= l1)
3735 return 1;
3736 else
3737 return 0;
3738 }
3739
3740 /// Computes a fragment, bit-extract operation if needed, and new constant
3741 /// offset to describe a part of a variable covered by some memory.
3742 ///
3743 /// The memory region starts at:
3744 /// \p SliceStart + \p SliceOffsetInBits
3745 /// And is size:
3746 /// \p SliceSizeInBits
3747 ///
3748 /// The location of the existing variable fragment \p VarFrag is:
3749 /// \p DbgPtr + \p DbgPtrOffsetInBits + \p DbgExtractOffsetInBits.
3750 ///
3751 /// It is intended that these arguments are derived from a debug record:
3752 /// - \p DbgPtr is the (single) DIExpression operand.
3753 /// - \p DbgPtrOffsetInBits is the constant offset applied to \p DbgPtr.
3754 /// - \p DbgExtractOffsetInBits is the offset from a
3755 /// DW_OP_LLVM_bit_extract_[sz]ext operation.
3756 ///
3757 /// Results and return value:
3758 /// - Return false if the result can't be calculated for any reason.
3759 /// - \p Result is set to nullopt if the intersect equals \p VarFarg.
3760 /// - \p Result contains a zero-sized fragment if there's no intersect.
3761 /// - \p OffsetFromLocationInBits is set to the difference between the first
3762 /// bit of the variable location and the first bit of the slice. The
3763 /// magnitude of a negative value therefore indicates the number of bits
3764 /// into the variable fragment that the memory region begins.
3765 ///
3766 /// We don't pass in a debug record directly to get the constituent parts
3767 /// and offsets because different debug records store the information in
3768 /// different places (dbg_assign has two DIExpressions - one contains the
3769 /// fragment info for the entire intrinsic).
3771 const DataLayout &DL, const Value *SliceStart, uint64_t SliceOffsetInBits,
3772 uint64_t SliceSizeInBits, const Value *DbgPtr, int64_t DbgPtrOffsetInBits,
3773 int64_t DbgExtractOffsetInBits, DIExpression::FragmentInfo VarFrag,
3774 std::optional<DIExpression::FragmentInfo> &Result,
3775 int64_t &OffsetFromLocationInBits);
3776
3777 using ExtOps = std::array<uint64_t, 6>;
3778
3779 /// Returns the ops for a zero- or sign-extension in a DIExpression.
3780 LLVM_ABI static ExtOps getExtOps(unsigned FromSize, unsigned ToSize,
3781 bool Signed);
3782
3783 /// Append a zero- or sign-extension to \p Expr. Converts the expression to a
3784 /// stack value if it isn't one already.
3785 LLVM_ABI static DIExpression *appendExt(const DIExpression *Expr,
3786 unsigned FromSize, unsigned ToSize,
3787 bool Signed);
3788
3789 /// Check if fragments overlap between a pair of FragmentInfos.
3790 static bool fragmentsOverlap(const FragmentInfo &A, const FragmentInfo &B) {
3791 return fragmentCmp(A, B) == 0;
3792 }
3793
3794 /// Determine the relative position of the fragments described by this
3795 /// DIExpression and \p Other. Calls static fragmentCmp implementation.
3796 int fragmentCmp(const DIExpression *Other) const {
3797 auto Fragment1 = *getFragmentInfo();
3798 auto Fragment2 = *Other->getFragmentInfo();
3799 return fragmentCmp(Fragment1, Fragment2);
3800 }
3801
3802 /// Check if fragments overlap between this DIExpression and \p Other.
3803 bool fragmentsOverlap(const DIExpression *Other) const {
3804 if (!isFragment() || !Other->isFragment())
3805 return true;
3806 return fragmentCmp(Other) == 0;
3807 }
3808
3809 /// Check if the expression consists of exactly one entry value operand.
3810 /// (This is the only configuration of entry values that is supported.)
3811 LLVM_ABI bool isEntryValue() const;
3812
3813 /// Try to shorten an expression with an initial constant operand.
3814 /// Returns a new expression and constant on success, or the original
3815 /// expression and constant on failure.
3816 LLVM_ABI std::pair<DIExpression *, const ConstantInt *>
3817 constantFold(const ConstantInt *CI);
3818
3819 /// Try to shorten an expression with constant math operations that can be
3820 /// evaluated at compile time. Returns a new expression on success, or the old
3821 /// expression if there is nothing to be reduced.
3823};
3824
3827 return std::tie(A.SizeInBits, A.OffsetInBits) ==
3828 std::tie(B.SizeInBits, B.OffsetInBits);
3829}
3830
3833 return std::tie(A.SizeInBits, A.OffsetInBits) <
3834 std::tie(B.SizeInBits, B.OffsetInBits);
3835}
3836
3837template <> struct DenseMapInfo<DIExpression::FragmentInfo> {
3839 static const uint64_t MaxVal = std::numeric_limits<uint64_t>::max();
3840
3841 static inline FragInfo getEmptyKey() { return {MaxVal, MaxVal}; }
3842
3843 static inline FragInfo getTombstoneKey() { return {MaxVal - 1, MaxVal - 1}; }
3844
3845 static unsigned getHashValue(const FragInfo &Frag) {
3846 return (Frag.SizeInBits & 0xffff) << 16 | (Frag.OffsetInBits & 0xffff);
3847 }
3848
3849 static bool isEqual(const FragInfo &A, const FragInfo &B) { return A == B; }
3850};
3851
3852/// Holds a DIExpression and keeps track of how many operands have been consumed
3853/// so far.
3856
3857public:
3859 if (!Expr) {
3860 assert(Start == End);
3861 return;
3862 }
3863 Start = Expr->expr_op_begin();
3864 End = Expr->expr_op_end();
3865 }
3866
3868 : Start(Expr.begin()), End(Expr.end()) {}
3869
3871
3872 /// Consume one operation.
3873 std::optional<DIExpression::ExprOperand> take() {
3874 if (Start == End)
3875 return std::nullopt;
3876 return *(Start++);
3877 }
3878
3879 /// Consume N operations.
3880 void consume(unsigned N) { std::advance(Start, N); }
3881
3882 /// Return the current operation.
3883 std::optional<DIExpression::ExprOperand> peek() const {
3884 if (Start == End)
3885 return std::nullopt;
3886 return *(Start);
3887 }
3888
3889 /// Return the next operation.
3890 std::optional<DIExpression::ExprOperand> peekNext() const {
3891 if (Start == End)
3892 return std::nullopt;
3893
3894 auto Next = Start.getNext();
3895 if (Next == End)
3896 return std::nullopt;
3897
3898 return *Next;
3899 }
3900
3901 std::optional<DIExpression::ExprOperand> peekNextN(unsigned N) const {
3902 if (Start == End)
3903 return std::nullopt;
3905 for (unsigned I = 0; I < N; I++) {
3906 Nth = Nth.getNext();
3907 if (Nth == End)
3908 return std::nullopt;
3909 }
3910 return *Nth;
3911 }
3912
3914 this->Start = DIExpression::expr_op_iterator(Expr.begin());
3915 this->End = DIExpression::expr_op_iterator(Expr.end());
3916 }
3917
3918 /// Determine whether there are any operations left in this expression.
3919 operator bool() const { return Start != End; }
3920
3921 DIExpression::expr_op_iterator begin() const { return Start; }
3922 DIExpression::expr_op_iterator end() const { return End; }
3923
3924 /// Retrieve the fragment information, if any.
3925 std::optional<DIExpression::FragmentInfo> getFragmentInfo() const {
3926 return DIExpression::getFragmentInfo(Start, End);
3927 }
3928};
3929
3930/// Global variables.
3931///
3932/// TODO: Remove DisplayName. It's always equal to Name.
3933class DIGlobalVariable : public DIVariable {
3934 friend class LLVMContextImpl;
3935 friend class MDNode;
3936
3937 bool IsLocalToUnit;
3938 bool IsDefinition;
3939
3940 DIGlobalVariable(LLVMContext &C, StorageType Storage, unsigned Line,
3941 bool IsLocalToUnit, bool IsDefinition, uint32_t AlignInBits,
3943 : DIVariable(C, DIGlobalVariableKind, Storage, Line, Ops, AlignInBits),
3944 IsLocalToUnit(IsLocalToUnit), IsDefinition(IsDefinition) {}
3945 ~DIGlobalVariable() = default;
3946
3947 static DIGlobalVariable *
3948 getImpl(LLVMContext &Context, DIScope *Scope, StringRef Name,
3949 StringRef LinkageName, DIFile *File, unsigned Line, DIType *Type,
3950 bool IsLocalToUnit, bool IsDefinition,
3953 bool ShouldCreate = true) {
3954 return getImpl(Context, Scope, getCanonicalMDString(Context, Name),
3955 getCanonicalMDString(Context, LinkageName), File, Line, Type,
3958 Annotations.get(), Storage, ShouldCreate);
3959 }
3960 LLVM_ABI static DIGlobalVariable *
3961 getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name,
3962 MDString *LinkageName, Metadata *File, unsigned Line, Metadata *Type,
3963 bool IsLocalToUnit, bool IsDefinition,
3966 bool ShouldCreate = true);
3967
3968 TempDIGlobalVariable cloneImpl() const {
3973 getAnnotations());
3974 }
3975
3976public:
3978 DIGlobalVariable,
3980 unsigned Line, DIType *Type, bool IsLocalToUnit, bool IsDefinition,
3982 uint32_t AlignInBits, DINodeArray Annotations),
3983 (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
3986 DIGlobalVariable,
3988 unsigned Line, Metadata *Type, bool IsLocalToUnit, bool IsDefinition,
3991 (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
3993
3994 TempDIGlobalVariable clone() const { return cloneImpl(); }
3995
3996 bool isLocalToUnit() const { return IsLocalToUnit; }
3997 bool isDefinition() const { return IsDefinition; }
4003 DINodeArray getAnnotations() const {
4005 }
4006
4011 Metadata *getRawAnnotations() const { return getOperand(8); }
4012
4013 static bool classof(const Metadata *MD) {
4014 return MD->getMetadataID() == DIGlobalVariableKind;
4015 }
4016};
4017
4018/// Debug common block.
4019///
4020/// Uses the SubclassData32 Metadata slot.
4021class DICommonBlock : public DIScope {
4022 friend class LLVMContextImpl;
4023 friend class MDNode;
4024
4025 DICommonBlock(LLVMContext &Context, StorageType Storage, unsigned LineNo,
4027
4028 static DICommonBlock *getImpl(LLVMContext &Context, DIScope *Scope,
4030 DIFile *File, unsigned LineNo,
4031 StorageType Storage, bool ShouldCreate = true) {
4032 return getImpl(Context, Scope, Decl, getCanonicalMDString(Context, Name),
4033 File, LineNo, Storage, ShouldCreate);
4034 }
4035 LLVM_ABI static DICommonBlock *getImpl(LLVMContext &Context, Metadata *Scope,
4037 Metadata *File, unsigned LineNo,
4039 bool ShouldCreate = true);
4040
4041 TempDICommonBlock cloneImpl() const {
4043 getFile(), getLineNo());
4044 }
4045
4046public:
4047 DEFINE_MDNODE_GET(DICommonBlock,
4049 DIFile *File, unsigned LineNo),
4050 (Scope, Decl, Name, File, LineNo))
4051 DEFINE_MDNODE_GET(DICommonBlock,
4053 Metadata *File, unsigned LineNo),
4055
4056 TempDICommonBlock clone() const { return cloneImpl(); }
4057
4062 StringRef getName() const { return getStringOperand(2); }
4064 unsigned getLineNo() const { return SubclassData32; }
4065
4066 Metadata *getRawScope() const { return getOperand(0); }
4067 Metadata *getRawDecl() const { return getOperand(1); }
4069 Metadata *getRawFile() const { return getOperand(3); }
4070
4071 static bool classof(const Metadata *MD) {
4072 return MD->getMetadataID() == DICommonBlockKind;
4073 }
4074};
4075
4076/// Local variable.
4077///
4078/// TODO: Split up flags.
4079class DILocalVariable : public DIVariable {
4080 friend class LLVMContextImpl;
4081 friend class MDNode;
4082
4083 unsigned Arg : 16;
4084 DIFlags Flags;
4085
4086 DILocalVariable(LLVMContext &C, StorageType Storage, unsigned Line,
4087 unsigned Arg, DIFlags Flags, uint32_t AlignInBits,
4089 : DIVariable(C, DILocalVariableKind, Storage, Line, Ops, AlignInBits),
4090 Arg(Arg), Flags(Flags) {
4091 assert(Arg < (1 << 16) && "DILocalVariable: Arg out of range");
4092 }
4093 ~DILocalVariable() = default;
4094
4095 static DILocalVariable *getImpl(LLVMContext &Context, DIScope *Scope,
4096 StringRef Name, DIFile *File, unsigned Line,
4097 DIType *Type, unsigned Arg, DIFlags Flags,
4098 uint32_t AlignInBits, DINodeArray Annotations,
4100 bool ShouldCreate = true) {
4101 return getImpl(Context, Scope, getCanonicalMDString(Context, Name), File,
4102 Line, Type, Arg, Flags, AlignInBits, Annotations.get(),
4103 Storage, ShouldCreate);
4104 }
4105 LLVM_ABI static DILocalVariable *
4106 getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name, Metadata *File,
4107 unsigned Line, Metadata *Type, unsigned Arg, DIFlags Flags,
4109 bool ShouldCreate = true);
4110
4111 TempDILocalVariable cloneImpl() const {
4113 getLine(), getType(), getArg(), getFlags(),
4115 }
4116
4117public:
4118 DEFINE_MDNODE_GET(DILocalVariable,
4120 unsigned Line, DIType *Type, unsigned Arg, DIFlags Flags,
4121 uint32_t AlignInBits, DINodeArray Annotations),
4122 (Scope, Name, File, Line, Type, Arg, Flags, AlignInBits,
4123 Annotations))
4124 DEFINE_MDNODE_GET(DILocalVariable,
4126 unsigned Line, Metadata *Type, unsigned Arg, DIFlags Flags,
4128 (Scope, Name, File, Line, Type, Arg, Flags, AlignInBits,
4129 Annotations))
4130
4131 TempDILocalVariable clone() const { return cloneImpl(); }
4132
4133 /// Get the local scope for this variable.
4134 ///
4135 /// Variables must be defined in a local scope.
4139
4140 bool isParameter() const { return Arg; }
4141 unsigned getArg() const { return Arg; }
4142 DIFlags getFlags() const { return Flags; }
4143
4144 DINodeArray getAnnotations() const {
4146 }
4147 Metadata *getRawAnnotations() const { return getOperand(4); }
4148
4149 bool isArtificial() const { return getFlags() & FlagArtificial; }
4150 bool isObjectPointer() const { return getFlags() & FlagObjectPointer; }
4151
4152 /// Check that a location is valid for this variable.
4153 ///
4154 /// Check that \c DL exists, is in the same subprogram, and has the same
4155 /// inlined-at location as \c this. (Otherwise, it's not a valid attachment
4156 /// to a \a DbgInfoIntrinsic.)
4158 return DL && getScope()->getSubprogram() == DL->getScope()->getSubprogram();
4159 }
4160
4161 static bool classof(const Metadata *MD) {
4162 return MD->getMetadataID() == DILocalVariableKind;
4163 }
4164};
4165
4166/// Label.
4167///
4168/// Uses the SubclassData32 Metadata slot.
4169class DILabel : public DINode {
4170 friend class LLVMContextImpl;
4171 friend class MDNode;
4172
4173 unsigned Column;
4174 std::optional<unsigned> CoroSuspendIdx;
4175 bool IsArtificial;
4176
4177 DILabel(LLVMContext &C, StorageType Storage, unsigned Line, unsigned Column,
4178 bool IsArtificial, std::optional<unsigned> CoroSuspendIdx,
4180 ~DILabel() = default;
4181
4182 static DILabel *getImpl(LLVMContext &Context, DIScope *Scope, StringRef Name,
4183 DIFile *File, unsigned Line, unsigned Column,
4184 bool IsArtificial,
4185 std::optional<unsigned> CoroSuspendIdx,
4186 StorageType Storage, bool ShouldCreate = true) {
4187 return getImpl(Context, Scope, getCanonicalMDString(Context, Name), File,
4188 Line, Column, IsArtificial, CoroSuspendIdx, Storage,
4189 ShouldCreate);
4190 }
4191 LLVM_ABI static DILabel *
4192 getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name, Metadata *File,
4193 unsigned Line, unsigned Column, bool IsArtificial,
4194 std::optional<unsigned> CoroSuspendIdx, StorageType Storage,
4195 bool ShouldCreate = true);
4196
4197 TempDILabel cloneImpl() const {
4201 }
4202
4203public:
4206 unsigned Line, unsigned Column, bool IsArtificial,
4207 std::optional<unsigned> CoroSuspendIdx),
4208 (Scope, Name, File, Line, Column, IsArtificial,
4209 CoroSuspendIdx))
4210 DEFINE_MDNODE_GET(DILabel,
4212 unsigned Line, unsigned Column, bool IsArtificial,
4213 std::optional<unsigned> CoroSuspendIdx),
4214 (Scope, Name, File, Line, Column, IsArtificial,
4215 CoroSuspendIdx))
4216
4217 TempDILabel clone() const { return cloneImpl(); }
4218
4219 /// Get the local scope for this label.
4220 ///
4221 /// Labels must be defined in a local scope.
4225 unsigned getLine() const { return SubclassData32; }
4226 unsigned getColumn() const { return Column; }
4227 StringRef getName() const { return getStringOperand(1); }
4229 bool isArtificial() const { return IsArtificial; }
4230 std::optional<unsigned> getCoroSuspendIdx() const { return CoroSuspendIdx; }
4231
4232 Metadata *getRawScope() const { return getOperand(0); }
4234 Metadata *getRawFile() const { return getOperand(2); }
4235
4236 /// Check that a location is valid for this label.
4237 ///
4238 /// Check that \c DL exists, is in the same subprogram, and has the same
4239 /// inlined-at location as \c this. (Otherwise, it's not a valid attachment
4240 /// to a \a DbgInfoIntrinsic.)
4242 return DL && getScope()->getSubprogram() == DL->getScope()->getSubprogram();
4243 }
4244
4245 static bool classof(const Metadata *MD) {
4246 return MD->getMetadataID() == DILabelKind;
4247 }
4248};
4249
4250class DIObjCProperty : public DINode {
4251 friend class LLVMContextImpl;
4252 friend class MDNode;
4253
4254 unsigned Line;
4255 unsigned Attributes;
4256
4257 DIObjCProperty(LLVMContext &C, StorageType Storage, unsigned Line,
4258 unsigned Attributes, ArrayRef<Metadata *> Ops);
4259 ~DIObjCProperty() = default;
4260
4261 static DIObjCProperty *
4262 getImpl(LLVMContext &Context, StringRef Name, DIFile *File, unsigned Line,
4263 StringRef GetterName, StringRef SetterName, unsigned Attributes,
4264 DIType *Type, StorageType Storage, bool ShouldCreate = true) {
4265 return getImpl(Context, getCanonicalMDString(Context, Name), File, Line,
4267 getCanonicalMDString(Context, SetterName), Attributes, Type,
4268 Storage, ShouldCreate);
4269 }
4270 LLVM_ABI static DIObjCProperty *
4271 getImpl(LLVMContext &Context, MDString *Name, Metadata *File, unsigned Line,
4272 MDString *GetterName, MDString *SetterName, unsigned Attributes,
4273 Metadata *Type, StorageType Storage, bool ShouldCreate = true);
4274
4275 TempDIObjCProperty cloneImpl() const {
4276 return getTemporary(getContext(), getName(), getFile(), getLine(),
4278 getType());
4279 }
4280
4281public:
4282 DEFINE_MDNODE_GET(DIObjCProperty,
4283 (StringRef Name, DIFile *File, unsigned Line,
4285 unsigned Attributes, DIType *Type),
4286 (Name, File, Line, GetterName, SetterName, Attributes,
4287 Type))
4288 DEFINE_MDNODE_GET(DIObjCProperty,
4289 (MDString * Name, Metadata *File, unsigned Line,
4291 unsigned Attributes, Metadata *Type),
4292 (Name, File, Line, GetterName, SetterName, Attributes,
4293 Type))
4294
4295 TempDIObjCProperty clone() const { return cloneImpl(); }
4296
4297 unsigned getLine() const { return Line; }
4298 unsigned getAttributes() const { return Attributes; }
4299 StringRef getName() const { return getStringOperand(0); }
4304
4306 if (auto *F = getFile())
4307 return F->getFilename();
4308 return "";
4309 }
4310
4312 if (auto *F = getFile())
4313 return F->getDirectory();
4314 return "";
4315 }
4316
4318 Metadata *getRawFile() const { return getOperand(1); }
4321 Metadata *getRawType() const { return getOperand(4); }
4322
4323 static bool classof(const Metadata *MD) {
4324 return MD->getMetadataID() == DIObjCPropertyKind;
4325 }
4326};
4327
4328/// An imported module (C++ using directive or similar).
4329///
4330/// Uses the SubclassData32 Metadata slot.
4331class DIImportedEntity : public DINode {
4332 friend class LLVMContextImpl;
4333 friend class MDNode;
4334
4335 DIImportedEntity(LLVMContext &C, StorageType Storage, unsigned Tag,
4336 unsigned Line, ArrayRef<Metadata *> Ops)
4337 : DINode(C, DIImportedEntityKind, Storage, Tag, Ops) {
4339 }
4340 ~DIImportedEntity() = default;
4341
4342 static DIImportedEntity *getImpl(LLVMContext &Context, unsigned Tag,
4343 DIScope *Scope, DINode *Entity, DIFile *File,
4344 unsigned Line, StringRef Name,
4345 DINodeArray Elements, StorageType Storage,
4346 bool ShouldCreate = true) {
4347 return getImpl(Context, Tag, Scope, Entity, File, Line,
4348 getCanonicalMDString(Context, Name), Elements.get(), Storage,
4349 ShouldCreate);
4350 }
4351 LLVM_ABI static DIImportedEntity *
4352 getImpl(LLVMContext &Context, unsigned Tag, Metadata *Scope, Metadata *Entity,
4353 Metadata *File, unsigned Line, MDString *Name, Metadata *Elements,
4354 StorageType Storage, bool ShouldCreate = true);
4355
4356 TempDIImportedEntity cloneImpl() const {
4357 return getTemporary(getContext(), getTag(), getScope(), getEntity(),
4358 getFile(), getLine(), getName(), getElements());
4359 }
4360
4361public:
4362 DEFINE_MDNODE_GET(DIImportedEntity,
4363 (unsigned Tag, DIScope *Scope, DINode *Entity, DIFile *File,
4364 unsigned Line, StringRef Name = "",
4365 DINodeArray Elements = nullptr),
4366 (Tag, Scope, Entity, File, Line, Name, Elements))
4367 DEFINE_MDNODE_GET(DIImportedEntity,
4370 Metadata *Elements = nullptr),
4371 (Tag, Scope, Entity, File, Line, Name, Elements))
4372
4373 TempDIImportedEntity clone() const { return cloneImpl(); }
4374
4375 unsigned getLine() const { return SubclassData32; }
4376 DIScope *getScope() const { return cast_or_null<DIScope>(getRawScope()); }
4377 DINode *getEntity() const { return cast_or_null<DINode>(getRawEntity()); }
4378 StringRef getName() const { return getStringOperand(2); }
4379 DIFile *getFile() const { return cast_or_null<DIFile>(getRawFile()); }
4380 DINodeArray getElements() const {
4381 return cast_or_null<MDTuple>(getRawElements());
4382 }
4383
4384 Metadata *getRawScope() const { return getOperand(0); }
4385 Metadata *getRawEntity() const { return getOperand(1); }
4386 MDString *getRawName() const { return getOperandAs<MDString>(2); }
4387 Metadata *getRawFile() const { return getOperand(3); }
4388 Metadata *getRawElements() const { return getOperand(4); }
4389
4390 static bool classof(const Metadata *MD) {
4391 return MD->getMetadataID() == DIImportedEntityKind;
4392 }
4393};
4394
4395/// A pair of DIGlobalVariable and DIExpression.
4396class DIGlobalVariableExpression : public MDNode {
4397 friend class LLVMContextImpl;
4398 friend class MDNode;
4399
4400 DIGlobalVariableExpression(LLVMContext &C, StorageType Storage,
4402 : MDNode(C, DIGlobalVariableExpressionKind, Storage, Ops) {}
4403 ~DIGlobalVariableExpression() = default;
4404
4406 getImpl(LLVMContext &Context, Metadata *Variable, Metadata *Expression,
4407 StorageType Storage, bool ShouldCreate = true);
4408
4409 TempDIGlobalVariableExpression cloneImpl() const {
4411 }
4412
4413public:
4414 DEFINE_MDNODE_GET(DIGlobalVariableExpression,
4415 (Metadata * Variable, Metadata *Expression),
4416 (Variable, Expression))
4417
4418 TempDIGlobalVariableExpression clone() const { return cloneImpl(); }
4419
4420 Metadata *getRawVariable() const { return getOperand(0); }
4421
4425
4426 Metadata *getRawExpression() const { return getOperand(1); }
4427
4431
4432 static bool classof(const Metadata *MD) {
4433 return MD->getMetadataID() == DIGlobalVariableExpressionKind;
4434 }
4435};
4436
4437/// Macro Info DWARF-like metadata node.
4438///
4439/// A metadata node with a DWARF macro info (i.e., a constant named
4440/// \c DW_MACINFO_*, defined in llvm/BinaryFormat/Dwarf.h). Called \a
4441/// DIMacroNode
4442/// because it's potentially used for non-DWARF output.
4443///
4444/// Uses the SubclassData16 Metadata slot.
4445class DIMacroNode : public MDNode {
4446 friend class LLVMContextImpl;
4447 friend class MDNode;
4448
4449protected:
4450 DIMacroNode(LLVMContext &C, unsigned ID, StorageType Storage, unsigned MIType,
4452 : MDNode(C, ID, Storage, Ops1, Ops2) {
4453 assert(MIType < 1u << 16);
4454 SubclassData16 = MIType;
4455 }
4456 ~DIMacroNode() = default;
4457
4458 template <class Ty> Ty *getOperandAs(unsigned I) const {
4459 return cast_or_null<Ty>(getOperand(I));
4460 }
4461
4462 StringRef getStringOperand(unsigned I) const {
4463 if (auto *S = getOperandAs<MDString>(I))
4464 return S->getString();
4465 return StringRef();
4466 }
4467
4469 if (S.empty())
4470 return nullptr;
4471 return MDString::get(Context, S);
4472 }
4473
4474public:
4475 unsigned getMacinfoType() const { return SubclassData16; }
4476
4477 static bool classof(const Metadata *MD) {
4478 switch (MD->getMetadataID()) {
4479 default:
4480 return false;
4481 case DIMacroKind:
4482 case DIMacroFileKind:
4483 return true;
4484 }
4485 }
4486};
4487
4488/// Macro
4489///
4490/// Uses the SubclassData32 Metadata slot.
4491class DIMacro : public DIMacroNode {
4492 friend class LLVMContextImpl;
4493 friend class MDNode;
4494
4495 DIMacro(LLVMContext &C, StorageType Storage, unsigned MIType, unsigned Line,
4497 : DIMacroNode(C, DIMacroKind, Storage, MIType, Ops) {
4499 }
4500 ~DIMacro() = default;
4501
4502 static DIMacro *getImpl(LLVMContext &Context, unsigned MIType, unsigned Line,
4504 bool ShouldCreate = true) {
4505 return getImpl(Context, MIType, Line, getCanonicalMDString(Context, Name),
4506 getCanonicalMDString(Context, Value), Storage, ShouldCreate);
4507 }
4508 LLVM_ABI static DIMacro *getImpl(LLVMContext &Context, unsigned MIType,
4509 unsigned Line, MDString *Name,
4510 MDString *Value, StorageType Storage,
4511 bool ShouldCreate = true);
4512
4513 TempDIMacro cloneImpl() const {
4515 getValue());
4516 }
4517
4518public:
4520 (unsigned MIType, unsigned Line, StringRef Name,
4521 StringRef Value = ""),
4522 (MIType, Line, Name, Value))
4523 DEFINE_MDNODE_GET(DIMacro,
4524 (unsigned MIType, unsigned Line, MDString *Name,
4527
4528 TempDIMacro clone() const { return cloneImpl(); }
4529
4530 unsigned getLine() const { return SubclassData32; }
4531
4532 StringRef getName() const { return getStringOperand(0); }
4533 StringRef getValue() const { return getStringOperand(1); }
4534
4537
4538 static bool classof(const Metadata *MD) {
4539 return MD->getMetadataID() == DIMacroKind;
4540 }
4541};
4542
4543/// Macro file
4544///
4545/// Uses the SubclassData32 Metadata slot.
4546class DIMacroFile : public DIMacroNode {
4547 friend class LLVMContextImpl;
4548 friend class MDNode;
4549
4550 DIMacroFile(LLVMContext &C, StorageType Storage, unsigned MIType,
4551 unsigned Line, ArrayRef<Metadata *> Ops)
4552 : DIMacroNode(C, DIMacroFileKind, Storage, MIType, Ops) {
4554 }
4555 ~DIMacroFile() = default;
4556
4557 static DIMacroFile *getImpl(LLVMContext &Context, unsigned MIType,
4558 unsigned Line, DIFile *File,
4559 DIMacroNodeArray Elements, StorageType Storage,
4560 bool ShouldCreate = true) {
4561 return getImpl(Context, MIType, Line, static_cast<Metadata *>(File),
4562 Elements.get(), Storage, ShouldCreate);
4563 }
4564
4565 LLVM_ABI static DIMacroFile *getImpl(LLVMContext &Context, unsigned MIType,
4566 unsigned Line, Metadata *File,
4568 bool ShouldCreate = true);
4569
4570 TempDIMacroFile cloneImpl() const {
4572 getElements());
4573 }
4574
4575public:
4577 (unsigned MIType, unsigned Line, DIFile *File,
4578 DIMacroNodeArray Elements),
4579 (MIType, Line, File, Elements))
4580 DEFINE_MDNODE_GET(DIMacroFile,
4581 (unsigned MIType, unsigned Line, Metadata *File,
4584
4585 TempDIMacroFile clone() const { return cloneImpl(); }
4586
4587 void replaceElements(DIMacroNodeArray Elements) {
4588#ifndef NDEBUG
4589 for (DIMacroNode *Op : getElements())
4590 assert(is_contained(Elements->operands(), Op) &&
4591 "Lost a macro node during macro node list replacement");
4592#endif
4593 replaceOperandWith(1, Elements.get());
4594 }
4595
4596 unsigned getLine() const { return SubclassData32; }
4598
4599 DIMacroNodeArray getElements() const {
4601 }
4602
4603 Metadata *getRawFile() const { return getOperand(0); }
4604 Metadata *getRawElements() const { return getOperand(1); }
4605
4606 static bool classof(const Metadata *MD) {
4607 return MD->getMetadataID() == DIMacroFileKind;
4608 }
4609};
4610
4611/// List of ValueAsMetadata, to be used as an argument to a dbg.value
4612/// intrinsic.
4613class DIArgList : public Metadata, ReplaceableMetadataImpl {
4615 friend class LLVMContextImpl;
4617
4619
4620 DIArgList(LLVMContext &Context, ArrayRef<ValueAsMetadata *> Args)
4621 : Metadata(DIArgListKind, Uniqued), ReplaceableMetadataImpl(Context),
4622 Args(Args) {
4623 track();
4624 }
4625 ~DIArgList() { untrack(); }
4626
4627 LLVM_ABI void track();
4628 LLVM_ABI void untrack();
4629 void dropAllReferences(bool Untrack);
4630
4631public:
4632 LLVM_ABI static DIArgList *get(LLVMContext &Context,
4634
4635 ArrayRef<ValueAsMetadata *> getArgs() const { return Args; }
4636
4637 iterator args_begin() { return Args.begin(); }
4638 iterator args_end() { return Args.end(); }
4639
4640 static bool classof(const Metadata *MD) {
4641 return MD->getMetadataID() == DIArgListKind;
4642 }
4643
4647
4648 LLVM_ABI void handleChangedOperand(void *Ref, Metadata *New);
4649};
4650
4651/// Identifies a unique instance of a variable.
4652///
4653/// Storage for identifying a potentially inlined instance of a variable,
4654/// or a fragment thereof. This guarantees that exactly one variable instance
4655/// may be identified by this class, even when that variable is a fragment of
4656/// an aggregate variable and/or there is another inlined instance of the same
4657/// source code variable nearby.
4658/// This class does not necessarily uniquely identify that variable: it is
4659/// possible that a DebugVariable with different parameters may point to the
4660/// same variable instance, but not that one DebugVariable points to multiple
4661/// variable instances.
4663 using FragmentInfo = DIExpression::FragmentInfo;
4664
4665 const DILocalVariable *Variable;
4666 std::optional<FragmentInfo> Fragment;
4667 const DILocation *InlinedAt;
4668
4669 /// Fragment that will overlap all other fragments. Used as default when
4670 /// caller demands a fragment.
4671 LLVM_ABI static const FragmentInfo DefaultFragment;
4672
4673public:
4675
4677 std::optional<FragmentInfo> FragmentInfo,
4678 const DILocation *InlinedAt)
4679 : Variable(Var), Fragment(FragmentInfo), InlinedAt(InlinedAt) {}
4680
4681 DebugVariable(const DILocalVariable *Var, const DIExpression *DIExpr,
4682 const DILocation *InlinedAt)
4683 : Variable(Var),
4684 Fragment(DIExpr ? DIExpr->getFragmentInfo() : std::nullopt),
4685 InlinedAt(InlinedAt) {}
4686
4687 const DILocalVariable *getVariable() const { return Variable; }
4688 std::optional<FragmentInfo> getFragment() const { return Fragment; }
4689 const DILocation *getInlinedAt() const { return InlinedAt; }
4690
4691 FragmentInfo getFragmentOrDefault() const {
4692 return Fragment.value_or(DefaultFragment);
4693 }
4694
4695 static bool isDefaultFragment(const FragmentInfo F) {
4696 return F == DefaultFragment;
4697 }
4698
4699 bool operator==(const DebugVariable &Other) const {
4700 return std::tie(Variable, Fragment, InlinedAt) ==
4701 std::tie(Other.Variable, Other.Fragment, Other.InlinedAt);
4702 }
4703
4704 bool operator<(const DebugVariable &Other) const {
4705 return std::tie(Variable, Fragment, InlinedAt) <
4706 std::tie(Other.Variable, Other.Fragment, Other.InlinedAt);
4707 }
4708};
4709
4710template <> struct DenseMapInfo<DebugVariable> {
4712
4713 /// Empty key: no key should be generated that has no DILocalVariable.
4714 static inline DebugVariable getEmptyKey() {
4715 return DebugVariable(nullptr, std::nullopt, nullptr);
4716 }
4717
4718 /// Difference in tombstone is that the Optional is meaningful.
4720 return DebugVariable(nullptr, {{0, 0}}, nullptr);
4721 }
4722
4723 static unsigned getHashValue(const DebugVariable &D) {
4724 unsigned HV = 0;
4725 const std::optional<FragmentInfo> Fragment = D.getFragment();
4726 if (Fragment)
4728
4729 return hash_combine(D.getVariable(), HV, D.getInlinedAt());
4730 }
4731
4732 static bool isEqual(const DebugVariable &A, const DebugVariable &B) {
4733 return A == B;
4734 }
4735};
4736
4737/// Identifies a unique instance of a whole variable (discards/ignores fragment
4738/// information).
4745
4746template <>
4748 : public DenseMapInfo<DebugVariable> {};
4749} // end namespace llvm
4750
4751#undef DEFINE_MDNODE_GET_UNPACK_IMPL
4752#undef DEFINE_MDNODE_GET_UNPACK
4753#undef DEFINE_MDNODE_GET
4754
4755#endif // LLVM_IR_DEBUGINFOMETADATA_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static std::string getLinkageName(GlobalValue::LinkageTypes LT)
BitTracker BT
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_ABI
Definition Compiler.h:213
This file contains the declarations for the subclasses of Constant, which represent the different fla...
dxil translate DXIL Translate Metadata
#define DEFINE_MDNODE_GET(CLASS, FORMAL, ARGS)
#define DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(CLASS, FORMAL, ARGS)
static RegisterPass< DebugifyFunctionPass > DF("debugify-function", "Attach debug info to a function")
static unsigned getNextComponentInDiscriminator(unsigned D)
Returns the next component stored in discriminator.
static unsigned getUnsignedFromPrefixEncoding(unsigned U)
Reverse transformation as getPrefixEncodingFromUnsigned.
static SmallString< 128 > getFilename(const DIScope *SP, vfs::FileSystem &VFS)
Extract a filename for a DIScope.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define F(x, y, z)
Definition MD5.cpp:55
#define I(x, y, z)
Definition MD5.cpp:58
This file contains the declarations for metadata subclasses.
#define T
This file defines the PointerUnion class, which is a discriminated union of pointer types.
static StringRef getName(Value *V)
static void r2(uint32_t &A, uint32_t &B, uint32_t &C, uint32_t &D, uint32_t &E, int I, uint32_t *Buf)
Definition SHA1.cpp:51
static void r1(uint32_t &A, uint32_t &B, uint32_t &C, uint32_t &D, uint32_t &E, int I, uint32_t *Buf)
Definition SHA1.cpp:45
This file contains some templates that are useful if you are working with the STL at all.
static enum BaseType getBaseType(const Value *Val)
Return the baseType for Val which states whether Val is exclusively derived from constant/null,...
BaseType
A given derived pointer can have multiple base pointers through phi/selects.
This file defines the SmallVector class.
static TableGen::Emitter::OptClass< SkeletonEmitter > X("gen-skeleton-class", "Generate example skeleton class")
static uint32_t getFlags(const Symbol *Sym)
Definition TapiFile.cpp:26
static SymbolRef::Type getType(const Symbol *Sym)
Definition TapiFile.cpp:39
Class for arbitrary precision integers.
Definition APInt.h:78
Annotations lets you mark points and ranges inside source code, for tests:
Definition Annotations.h:53
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:41
iterator end() const
Definition ArrayRef.h:132
const_pointer iterator
Definition ArrayRef.h:48
iterator begin() const
Definition ArrayRef.h:131
static ConstantAsMetadata * get(Constant *C)
Definition Metadata.h:536
This is the shared class of boolean and integer constants.
Definition Constants.h:87
This is an important base class in LLVM.
Definition Constant.h:43
List of ValueAsMetadata, to be used as an argument to a dbg.value intrinsic.
ArrayRef< ValueAsMetadata * > getArgs() const
LLVM_ABI void handleChangedOperand(void *Ref, Metadata *New)
static bool classof(const Metadata *MD)
static LLVM_ABI DIArgList * get(LLVMContext &Context, ArrayRef< ValueAsMetadata * > Args)
friend class ReplaceableMetadataImpl
friend class LLVMContextImpl
SmallVector< DbgVariableRecord * > getAllDbgVariableRecordUsers()
static bool classof(const Metadata *MD)
SmallVector< DbgVariableRecord * > getAllDbgVariableRecordUsers()
static TempDIAssignID getTemporary(LLVMContext &Context)
static DIAssignID * getDistinct(LLVMContext &Context)
friend class LLVMContextImpl
void replaceOperandWith(unsigned I, Metadata *New)=delete
Basic type, like 'int' or 'float'.
static DIBasicType * getImpl(LLVMContext &Context, unsigned Tag, StringRef Name, uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding, uint32_t NumExtraInhabitants, uint32_t DataSizeInBits, DIFlags Flags, StorageType Storage, bool ShouldCreate=true)
unsigned StringRef uint64_t FlagZero unsigned StringRef uint64_t uint32_t unsigned Encoding
unsigned StringRef uint64_t FlagZero unsigned StringRef uint64_t uint32_t unsigned DIFlags Flags
TempDIBasicType cloneImpl() const
DIBasicType(LLVMContext &C, StorageType Storage, unsigned Tag, uint32_t AlignInBits, unsigned Encoding, uint32_t NumExtraInhabitants, uint32_t DataSizeInBits, DIFlags Flags, ArrayRef< Metadata * > Ops)
unsigned StringRef uint64_t FlagZero unsigned StringRef uint64_t uint32_t unsigned DIFlags Flags unsigned StringRef uint64_t uint32_t unsigned uint32_t DIFlags Flags unsigned MDString uint64_t uint32_t unsigned uint32_t uint32_t DataSizeInBits
~DIBasicType()=default
static bool classof(const Metadata *MD)
DEFINE_MDNODE_GET(DIBasicType,(unsigned Tag, StringRef Name),(Tag, Name, 0, 0, 0, 0, 0, FlagZero)) DEFINE_MDNODE_GET(DIBasicType
static DIBasicType * getImpl(LLVMContext &Context, unsigned Tag, MDString *Name, uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding, uint32_t NumExtraInhabitants, uint32_t DataSizeInBits, DIFlags Flags, StorageType Storage, bool ShouldCreate=true)
uint32_t getDataSizeInBits() const
unsigned StringRef uint64_t SizeInBits
friend class LLVMContextImpl
LLVM_ABI std::optional< Signedness > getSignedness() const
Return the signedness of this type, or std::nullopt if this type is neither signed nor unsigned.
unsigned getEncoding() const
unsigned StringRef uint64_t FlagZero unsigned StringRef uint64_t uint32_t unsigned DIFlags Flags unsigned StringRef uint64_t uint32_t unsigned uint32_t NumExtraInhabitants
DIBasicType(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag, uint32_t AlignInBits, unsigned Encoding, uint32_t NumExtraInhabitants, uint32_t DataSizeInBits, DIFlags Flags, ArrayRef< Metadata * > Ops)
unsigned StringRef Name
unsigned StringRef uint64_t FlagZero unsigned StringRef uint64_t uint32_t AlignInBits
Debug common block.
Metadata * getRawScope() const
Metadata Metadata MDString Metadata unsigned LineNo TempDICommonBlock clone() const
Metadata * getRawDecl() const
Metadata Metadata * Decl
Metadata * getRawFile() const
Metadata Metadata MDString Metadata unsigned LineNo
Metadata Metadata MDString * Name
MDString * getRawName() const
DIFile * getFile() const
static bool classof(const Metadata *MD)
unsigned getLineNo() const
Metadata Metadata MDString Metadata * File
StringRef getName() const
DIScope * getScope() const
DEFINE_MDNODE_GET(DICommonBlock,(DIScope *Scope, DIGlobalVariable *Decl, StringRef Name, DIFile *File, unsigned LineNo),(Scope, Decl, Name, File, LineNo)) DEFINE_MDNODE_GET(DICommonBlock
DIGlobalVariable * getDecl() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool unsigned NameTableKind
MDString * getRawSplitDebugFilename() const
bool getDebugInfoForProfiling() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool DebugInfoForProfiling
Metadata * getRawRetainedTypes() const
static LLVM_ABI const char * nameTableKindString(DebugNameTableKind PK)
static LLVM_ABI const char * emissionKindString(DebugEmissionKind EK)
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool unsigned bool MDString * SysRoot
DISourceLanguageName Metadata MDString bool MDString * Flags
void setSplitDebugInlining(bool SplitDebugInlining)
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool unsigned bool MDString MDString * SDK
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata * GlobalVariables
DICompositeTypeArray getEnumTypes() const
DebugEmissionKind getEmissionKind() const
bool isDebugDirectivesOnly() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t DWOId
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata * EnumTypes
StringRef getFlags() const
MDString * getRawProducer() const
DISourceLanguageName Metadata MDString * Producer
void replaceEnumTypes(DICompositeTypeArray N)
Replace arrays.
MDString * getRawSysRoot() const
DISourceLanguageName Metadata MDString bool MDString unsigned RuntimeVersion
StringRef getSDK() const
static void getIfExists()=delete
bool getRangesBaseAddress() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata * RetainedTypes
DIMacroNodeArray getMacros() const
unsigned getRuntimeVersion() const
Metadata * getRawMacros() const
void replaceRetainedTypes(DITypeArray N)
static bool classof(const Metadata *MD)
DISourceLanguageName Metadata MDString bool MDString unsigned MDString * SplitDebugFilename
void replaceGlobalVariables(DIGlobalVariableExpressionArray N)
void replaceMacros(DIMacroNodeArray N)
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool unsigned bool MDString MDString SDK TempDICompileUnit clone() const
bool getSplitDebugInlining() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata * ImportedEntities
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata * Macros
StringRef getSysRoot() const
DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(DICompileUnit,(DISourceLanguageName SourceLanguage, DIFile *File, StringRef Producer, bool IsOptimized, StringRef Flags, unsigned RuntimeVersion, StringRef SplitDebugFilename, DebugEmissionKind EmissionKind, DICompositeTypeArray EnumTypes, DIScopeArray RetainedTypes, DIGlobalVariableExpressionArray GlobalVariables, DIImportedEntityArray ImportedEntities, DIMacroNodeArray Macros, uint64_t DWOId, bool SplitDebugInlining, bool DebugInfoForProfiling, DebugNameTableKind NameTableKind, bool RangesBaseAddress, StringRef SysRoot, StringRef SDK),(SourceLanguage, File, Producer, IsOptimized, Flags, RuntimeVersion, SplitDebugFilename, EmissionKind, EnumTypes, RetainedTypes, GlobalVariables, ImportedEntities, Macros, DWOId, SplitDebugInlining, DebugInfoForProfiling,(unsigned) NameTableKind, RangesBaseAddress, SysRoot, SDK)) DEFINE_MDNODE_GET_DISTINCT_TEMPORARY(DICompileUnit
DebugNameTableKind getNameTableKind() const
MDString * getRawSDK() const
DISourceLanguageName Metadata MDString bool IsOptimized
DISourceLanguageName Metadata * File
MDString * getRawFlags() const
DIImportedEntityArray getImportedEntities() const
Metadata * getRawEnumTypes() const
StringRef getProducer() const
void setDWOId(uint64_t DwoId)
DIScopeArray getRetainedTypes() const
void replaceImportedEntities(DIImportedEntityArray N)
Metadata * getRawGlobalVariables() const
DIGlobalVariableExpressionArray getGlobalVariables() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool SplitDebugInlining
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned EmissionKind
DISourceLanguageName getSourceLanguage() const
Metadata * getRawImportedEntities() const
DISourceLanguageName Metadata MDString bool MDString unsigned MDString unsigned Metadata Metadata Metadata Metadata Metadata uint64_t bool bool unsigned bool RangesBaseAddress
uint64_t getDWOId() const
StringRef getSplitDebugFilename() const
static void get()=delete
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t AlignInBits
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > EnumKind
Metadata * getRawVTableHolder() const
DIExpression * getRankExp() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata * DataLocation
static LLVM_ABI DICompositeType * buildODRType(LLVMContext &Context, MDString &Identifier, unsigned Tag, MDString *Name, Metadata *File, unsigned Line, Metadata *Scope, Metadata *BaseType, Metadata *SizeInBits, uint32_t AlignInBits, Metadata *OffsetInBits, Metadata *Specification, uint32_t NumExtraInhabitants, DIFlags Flags, Metadata *Elements, unsigned RuntimeLang, std::optional< uint32_t > EnumKind, Metadata *VTableHolder, Metadata *TemplateParams, Metadata *Discriminator, Metadata *DataLocation, Metadata *Associated, Metadata *Allocated, Metadata *Rank, Metadata *Annotations, Metadata *BitStride)
Build a DICompositeType with the given ODR identifier.
unsigned MDString Metadata unsigned Line
Metadata * getRawRank() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata * Elements
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned RuntimeLang
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata Metadata Metadata * Annotations
Metadata * getRawSpecification() const
DIExpression * getAssociatedExp() const
DIVariable * getAllocated() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString * Identifier
DIExpression * getDataLocationExp() const
Metadata * getRawDiscriminator() const
static LLVM_ABI DICompositeType * getODRTypeIfExists(LLVMContext &Context, MDString &Identifier)
DIVariable * getAssociated() const
DIDerivedType * getDiscriminator() const
DIVariable * getDataLocation() const
unsigned getRuntimeLang() const
DIType * getSpecification() const
Metadata * getRawElements() const
unsigned MDString * Name
void replaceVTableHolder(DIType *VTableHolder)
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata * Discriminator
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata * TemplateParams
StringRef getIdentifier() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t OffsetInBits
unsigned MDString Metadata unsigned Metadata * Scope
unsigned MDString Metadata * File
Metadata * getRawDataLocation() const
Metadata * getRawTemplateParams() const
unsigned MDString Metadata unsigned Metadata Metadata * BaseType
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Flags
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata * Allocated
DINodeArray getElements() const
DITemplateParameterArray getTemplateParams() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata Metadata Metadata Metadata * Specification
Metadata * getRawAnnotations() const
Metadata * getRawAllocated() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata * VTableHolder
DIExpression * getAllocatedExp() const
void replaceElements(DINodeArray Elements)
Replace operands.
ConstantInt * getBitStrideConst() const
std::optional< uint32_t > getEnumKind() const
unsigned MDString Metadata unsigned Metadata Metadata uint64_t SizeInBits
DIType * getVTableHolder() const
DINodeArray getAnnotations() const
Metadata * getRawAssociated() const
ConstantInt * getRankConst() const
void replaceTemplateParams(DITemplateParameterArray TemplateParams)
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata * Associated
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata Metadata Metadata Metadata uint32_t NumExtraInhabitants
Metadata * getRawBitStride() const
Metadata * getRawBaseType() const
DEFINE_MDNODE_GET(DICompositeType,(unsigned Tag, StringRef Name, DIFile *File, unsigned Line, DIScope *Scope, DIType *BaseType, uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits, DIFlags Flags, DINodeArray Elements, unsigned RuntimeLang, std::optional< uint32_t > EnumKind, DIType *VTableHolder, DITemplateParameterArray TemplateParams=nullptr, StringRef Identifier="", DIDerivedType *Discriminator=nullptr, Metadata *DataLocation=nullptr, Metadata *Associated=nullptr, Metadata *Allocated=nullptr, Metadata *Rank=nullptr, DINodeArray Annotations=nullptr, DIType *Specification=nullptr, uint32_t NumExtraInhabitants=0, Metadata *BitStride=nullptr),(Tag, Name, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits, Specification, NumExtraInhabitants, Flags, Elements, RuntimeLang, EnumKind, VTableHolder, TemplateParams, Identifier, Discriminator, DataLocation, Associated, Allocated, Rank, Annotations, BitStride)) DEFINE_MDNODE_GET(DICompositeType
MDString * getRawIdentifier() const
static bool classof(const Metadata *MD)
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata Metadata * Rank
unsigned MDString Metadata unsigned Metadata Metadata uint64_t uint32_t uint64_t DIFlags Metadata unsigned std::optional< uint32_t > Metadata Metadata MDString Metadata Metadata Metadata Metadata Metadata Metadata Metadata uint32_t Metadata * BitStride
DIType * getBaseType() const
Metadata * getRawExtraData() const
unsigned StringRef DIFile unsigned DIScope DIType * BaseType
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata * OffsetInBits
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata std::optional< unsigned > std::optional< PtrAuthData > DIFlags Flags
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t AlignInBits
DINodeArray getAnnotations() const
Get annotations associated with this derived type.
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata std::optional< unsigned > std::optional< PtrAuthData > PtrAuthData
DEFINE_MDNODE_GET(DIDerivedType,(unsigned Tag, MDString *Name, Metadata *File, unsigned Line, Metadata *Scope, Metadata *BaseType, Metadata *SizeInBits, uint32_t AlignInBits, Metadata *OffsetInBits, std::optional< unsigned > DWARFAddressSpace, std::optional< PtrAuthData > PtrAuthData, DIFlags Flags, Metadata *ExtraData=nullptr, Metadata *Annotations=nullptr),(Tag, Name, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits, DWARFAddressSpace, PtrAuthData, Flags, ExtraData, Annotations)) DEFINE_MDNODE_GET(DIDerivedType
Metadata * getExtraData() const
Get extra data associated with this derived type.
DITemplateParameterArray getTemplateParams() const
Get the template parameters from a template alias.
unsigned StringRef DIFile * File
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata std::optional< unsigned > std::optional< PtrAuthData > DIFlags Metadata DINodeArray Annotations
DIObjCProperty * getObjCProperty() const
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata std::optional< unsigned > DWARFAddressSpace
unsigned StringRef DIFile unsigned DIScope * Scope
Metadata * getRawAnnotations() const
LLVM_ABI DIType * getClassType() const
Get casted version of extra data.
static bool classof(const Metadata *MD)
LLVM_ABI Constant * getConstant() const
unsigned StringRef DIFile unsigned DIScope DIType Metadata * SizeInBits
LLVM_ABI Constant * getStorageOffsetInBits() const
LLVM_ABI Constant * getDiscriminantValue() const
unsigned StringRef Name
LLVM_ABI uint32_t getVBPtrOffset() const
unsigned StringRef DIFile unsigned DIScope DIType Metadata uint32_t Metadata std::optional< unsigned > std::optional< PtrAuthData > DIFlags Metadata * ExtraData
unsigned StringRef DIFile unsigned Line
Enumeration value.
int64_t bool MDString APInt(64, Value, !IsUnsigned)
const APInt & getValue() const
int64_t bool MDString Name APInt bool MDString Name TempDIEnumerator clone() const
MDString * getRawName() const
StringRef getName() const
friend class LLVMContextImpl
DEFINE_MDNODE_GET(DIEnumerator,(int64_t Value, bool IsUnsigned, StringRef Name),(APInt(64, Value, !IsUnsigned), IsUnsigned, Name)) DEFINE_MDNODE_GET(DIEnumerator
static bool classof(const Metadata *MD)
int64_t bool MDString * Name
std::optional< DIExpression::ExprOperand > peekNext() const
Return the next operation.
std::optional< DIExpression::FragmentInfo > getFragmentInfo() const
Retrieve the fragment information, if any.
DIExpressionCursor(const DIExpressionCursor &)=default
DIExpressionCursor(const DIExpression *Expr)
DIExpression::expr_op_iterator end() const
std::optional< DIExpression::ExprOperand > peekNextN(unsigned N) const
std::optional< DIExpression::ExprOperand > peek() const
Return the current operation.
void consume(unsigned N)
Consume N operations.
std::optional< DIExpression::ExprOperand > take()
Consume one operation.
DIExpressionCursor(ArrayRef< uint64_t > Expr)
DIExpression::expr_op_iterator begin() const
void assignNewExpr(ArrayRef< uint64_t > Expr)
A lightweight wrapper around an expression operand.
LLVM_ABI unsigned getSize() const
Return the size of the operand.
uint64_t getArg(unsigned I) const
Get an argument to the operand.
uint64_t getOp() const
Get the operand code.
void appendToVector(SmallVectorImpl< uint64_t > &V) const
Append the elements of this operand to V.
An iterator for expression operands.
bool operator==(const expr_op_iterator &X) const
const ExprOperand * operator->() const
bool operator!=(const expr_op_iterator &X) const
const ExprOperand & operator*() const
expr_op_iterator getNext() const
Get the next iterator.
DWARF expression.
element_iterator elements_end() const
LLVM_ABI bool isEntryValue() const
Check if the expression consists of exactly one entry value operand.
iterator_range< expr_op_iterator > expr_ops() const
bool isFragment() const
Return whether this is a piece of an aggregate variable.
static LLVM_ABI DIExpression * append(const DIExpression *Expr, ArrayRef< uint64_t > Ops)
Append the opcodes Ops to DIExpr.
std::array< uint64_t, 6 > ExtOps
unsigned getNumElements() const
ArrayRef< uint64_t >::iterator element_iterator
static LLVM_ABI ExtOps getExtOps(unsigned FromSize, unsigned ToSize, bool Signed)
Returns the ops for a zero- or sign-extension in a DIExpression.
expr_op_iterator expr_op_begin() const
Visit the elements via ExprOperand wrappers.
LLVM_ABI bool extractIfOffset(int64_t &Offset) const
If this is a constant offset, extract it.
static LLVM_ABI void appendOffset(SmallVectorImpl< uint64_t > &Ops, int64_t Offset)
Append Ops with operations to apply the Offset.
DbgVariableFragmentInfo FragmentInfo
int fragmentCmp(const DIExpression *Other) const
Determine the relative position of the fragments described by this DIExpression and Other.
LLVM_ABI bool startsWithDeref() const
Return whether the first element a DW_OP_deref.
static LLVM_ABI bool isEqualExpression(const DIExpression *FirstExpr, bool FirstIndirect, const DIExpression *SecondExpr, bool SecondIndirect)
Determines whether two debug values should produce equivalent DWARF expressions, using their DIExpres...
expr_op_iterator expr_op_end() const
LLVM_ABI bool isImplicit() const
Return whether this is an implicit location description.
DEFINE_MDNODE_GET(DIExpression,(ArrayRef< uint64_t > Elements),(Elements)) TempDIExpression clone() const
static bool fragmentsOverlap(const FragmentInfo &A, const FragmentInfo &B)
Check if fragments overlap between a pair of FragmentInfos.
static LLVM_ABI bool calculateFragmentIntersect(const DataLayout &DL, const Value *SliceStart, uint64_t SliceOffsetInBits, uint64_t SliceSizeInBits, const Value *DbgPtr, int64_t DbgPtrOffsetInBits, int64_t DbgExtractOffsetInBits, DIExpression::FragmentInfo VarFrag, std::optional< DIExpression::FragmentInfo > &Result, int64_t &OffsetFromLocationInBits)
Computes a fragment, bit-extract operation if needed, and new constant offset to describe a part of a...
element_iterator elements_begin() const
LLVM_ABI bool hasAllLocationOps(unsigned N) const
Returns true iff this DIExpression contains at least one instance of DW_OP_LLVM_arg,...
std::optional< FragmentInfo > getFragmentInfo() const
Retrieve the details of this fragment expression.
static LLVM_ABI DIExpression * appendOpsToArg(const DIExpression *Expr, ArrayRef< uint64_t > Ops, unsigned ArgNo, bool StackValue=false)
Create a copy of Expr by appending the given list of Ops to each instance of the operand DW_OP_LLVM_a...
PrependOps
Used for DIExpression::prepend.
static int fragmentCmp(const FragmentInfo &A, const FragmentInfo &B)
Determine the relative position of the fragments passed in.
LLVM_ABI bool isComplex() const
Return whether the location is computed on the expression stack, meaning it cannot be a simple regist...
bool fragmentsOverlap(const DIExpression *Other) const
Check if fragments overlap between this DIExpression and Other.
LLVM_ABI DIExpression * foldConstantMath()
Try to shorten an expression with constant math operations that can be evaluated at compile time.
static LLVM_ABI std::optional< const DIExpression * > convertToNonVariadicExpression(const DIExpression *Expr)
If Expr is a valid single-location expression, i.e.
LLVM_ABI std::pair< DIExpression *, const ConstantInt * > constantFold(const ConstantInt *CI)
Try to shorten an expression with an initial constant operand.
LLVM_ABI bool isDeref() const
Return whether there is exactly one operator and it is a DW_OP_deref;.
static LLVM_ABI const DIExpression * convertToVariadicExpression(const DIExpression *Expr)
If Expr is a non-variadic expression (i.e.
LLVM_ABI uint64_t getNumLocationOperands() const
Return the number of unique location operands referred to (via DW_OP_LLVM_arg) in this expression; th...
ArrayRef< uint64_t > getElements() const
static LLVM_ABI DIExpression * replaceArg(const DIExpression *Expr, uint64_t OldArg, uint64_t NewArg)
Create a copy of Expr with each instance of DW_OP_LLVM_arg, \p OldArg replaced with DW_OP_LLVM_arg,...
static bool classof(const Metadata *MD)
LLVM_ABI std::optional< uint64_t > getActiveBits(DIVariable *Var)
Return the number of bits that have an active value, i.e.
static LLVM_ABI void canonicalizeExpressionOps(SmallVectorImpl< uint64_t > &Ops, const DIExpression *Expr, bool IsIndirect)
Inserts the elements of Expr into Ops modified to a canonical form, which uses DW_OP_LLVM_arg (i....
uint64_t getElement(unsigned I) const
static LLVM_ABI std::optional< DIExpression * > createFragmentExpression(const DIExpression *Expr, unsigned OffsetInBits, unsigned SizeInBits)
Create a DIExpression to describe one part of an aggregate variable that is fragmented across multipl...
static LLVM_ABI const DIExpression * convertToUndefExpression(const DIExpression *Expr)
Removes all elements from Expr that do not apply to an undef debug value, which includes every operat...
static LLVM_ABI DIExpression * prepend(const DIExpression *Expr, uint8_t Flags, int64_t Offset=0)
Prepend DIExpr with a deref and offset operation and optionally turn it into a stack value or/and an ...
static LLVM_ABI DIExpression * appendToStack(const DIExpression *Expr, ArrayRef< uint64_t > Ops)
Convert DIExpr into a stack value if it isn't one already by appending DW_OP_deref if needed,...
static LLVM_ABI DIExpression * appendExt(const DIExpression *Expr, unsigned FromSize, unsigned ToSize, bool Signed)
Append a zero- or sign-extension to Expr.
LLVM_ABI std::optional< ArrayRef< uint64_t > > getSingleLocationExpressionElements() const
Returns a reference to the elements contained in this expression, skipping past the leading DW_OP_LLV...
LLVM_ABI bool isSingleLocationExpression() const
Return whether the evaluated expression makes use of a single location at the start of the expression...
LLVM_ABI bool extractLeadingOffset(int64_t &OffsetInBytes, SmallVectorImpl< uint64_t > &RemainingOps) const
Assuming that the expression operates on an address, extract a constant offset and the successive ops...
LLVM_ABI std::optional< SignedOrUnsignedConstant > isConstant() const
Determine whether this represents a constant value, if so.
LLVM_ABI bool isValid() const
static LLVM_ABI const DIExpression * extractAddressClass(const DIExpression *Expr, unsigned &AddrClass)
Checks if the last 4 elements of the expression are DW_OP_constu <DWARFAddress Space> DW_OP_swap DW_O...
static LLVM_ABI DIExpression * prependOpcodes(const DIExpression *Expr, SmallVectorImpl< uint64_t > &Ops, bool StackValue=false, bool EntryValue=false)
Prepend DIExpr with the given opcodes and optionally turn it into a stack value.
static bool classof(const Metadata *MD)
MDString MDString * Directory
MDString MDString std::optional< ChecksumInfo< MDString * > > MDString * Source
DEFINE_MDNODE_GET(DIFile,(StringRef Filename, StringRef Directory, std::optional< ChecksumInfo< StringRef > > CS=std::nullopt, std::optional< StringRef > Source=std::nullopt),(Filename, Directory, CS, Source)) DEFINE_MDNODE_GET(DIFile
MDString * Filename
static LLVM_ABI std::optional< ChecksumKind > getChecksumKind(StringRef CSKindStr)
ChecksumKind
Which algorithm (e.g.
friend class LLVMContextImpl
friend class MDNode
MDString MDString std::optional< ChecksumInfo< MDString * > > CS
unsigned StringRef uint64_t uint32_t unsigned DIFlags unsigned int Factor
static LLVM_ABI std::optional< FixedPointKind > getFixedPointKind(StringRef Str)
static LLVM_ABI const char * fixedPointKindString(FixedPointKind)
const APInt & getNumeratorRaw() const
unsigned StringRef uint64_t uint32_t unsigned Encoding
static bool classof(const Metadata *MD)
const APInt & getDenominator() const
unsigned StringRef uint64_t uint32_t AlignInBits
LLVM_ABI bool isSigned() const
@ FixedPointBinary
Scale factor 2^Factor.
@ FixedPointDecimal
Scale factor 10^Factor.
@ FixedPointRational
Arbitrary rational scale factor.
FixedPointKind getKind() const
const APInt & getNumerator() const
DEFINE_MDNODE_GET(DIFixedPointType,(unsigned Tag, MDString *Name, uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding, DIFlags Flags, unsigned Kind, int Factor, APInt Numerator, APInt Denominator),(Tag, Name, SizeInBits, AlignInBits, Encoding, Flags, Kind, Factor, Numerator, Denominator)) DEFINE_MDNODE_GET(DIFixedPointType
unsigned StringRef uint64_t uint32_t unsigned DIFlags unsigned int APInt Numerator
unsigned StringRef uint64_t uint32_t unsigned DIFlags unsigned int APInt APInt Denominator
unsigned StringRef uint64_t uint32_t unsigned DIFlags Flags
unsigned StringRef uint64_t SizeInBits
const APInt & getDenominatorRaw() const
Metadata * getRawLowerBound() const
Metadata * getRawCountNode() const
Metadata * getRawStride() const
LLVM_ABI BoundType getLowerBound() const
DEFINE_MDNODE_GET(DIGenericSubrange,(Metadata *CountNode, Metadata *LowerBound, Metadata *UpperBound, Metadata *Stride),(CountNode, LowerBound, UpperBound, Stride)) TempDIGenericSubrange clone() const
Metadata * getRawUpperBound() const
static bool classof(const Metadata *MD)
LLVM_ABI BoundType getCount() const
LLVM_ABI BoundType getUpperBound() const
PointerUnion< DIVariable *, DIExpression * > BoundType
LLVM_ABI BoundType getStride() const
A pair of DIGlobalVariable and DIExpression.
DEFINE_MDNODE_GET(DIGlobalVariableExpression,(Metadata *Variable, Metadata *Expression),(Variable, Expression)) TempDIGlobalVariableExpression clone() const
DIGlobalVariable * getVariable() const
static bool classof(const Metadata *MD)
Metadata * getRawAnnotations() const
Metadata MDString MDString Metadata unsigned Metadata bool bool Metadata Metadata * TemplateParams
Metadata MDString MDString Metadata unsigned Metadata bool bool IsDefinition
Metadata MDString MDString Metadata unsigned Line
Metadata MDString MDString Metadata unsigned Metadata * Type
Metadata MDString MDString Metadata unsigned Metadata bool bool Metadata Metadata uint32_t Metadata * Annotations
DIDerivedType * getStaticDataMemberDeclaration() const
DEFINE_MDNODE_GET(DIGlobalVariable,(DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File, unsigned Line, DIType *Type, bool IsLocalToUnit, bool IsDefinition, DIDerivedType *StaticDataMemberDeclaration, MDTuple *TemplateParams, uint32_t AlignInBits, DINodeArray Annotations),(Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition, StaticDataMemberDeclaration, TemplateParams, AlignInBits, Annotations)) DEFINE_MDNODE_GET(DIGlobalVariable
Metadata MDString MDString Metadata unsigned Metadata bool bool Metadata Metadata uint32_t Metadata Annotations TempDIGlobalVariable clone() const
Metadata MDString * Name
MDTuple * getTemplateParams() const
Metadata MDString MDString Metadata unsigned Metadata bool bool Metadata * StaticDataMemberDeclaration
Metadata * getRawStaticDataMemberDeclaration() const
Metadata MDString MDString * LinkageName
MDString * getRawLinkageName() const
StringRef getLinkageName() const
static bool classof(const Metadata *MD)
StringRef getDisplayName() const
Metadata MDString MDString Metadata * File
DINodeArray getAnnotations() const
Metadata MDString MDString Metadata unsigned Metadata bool IsLocalToUnit
Metadata * getRawTemplateParams() const
Metadata MDString MDString Metadata unsigned Metadata bool bool Metadata Metadata uint32_t AlignInBits
An imported module (C++ using directive or similar).
unsigned Metadata Metadata * Entity
DEFINE_MDNODE_GET(DIImportedEntity,(unsigned Tag, DIScope *Scope, DINode *Entity, DIFile *File, unsigned Line, StringRef Name="", DINodeArray Elements=nullptr),(Tag, Scope, Entity, File, Line, Name, Elements)) DEFINE_MDNODE_GET(DIImportedEntity
unsigned Metadata Metadata Metadata unsigned Line
unsigned Metadata Metadata Metadata unsigned MDString * Name
unsigned Metadata Metadata Metadata * File
unsigned Metadata * Scope
Metadata MDString Metadata unsigned unsigned bool std::optional< unsigned > CoroSuspendIdx
DIFile * getFile() const
Metadata MDString Metadata unsigned unsigned bool std::optional< unsigned > CoroSuspendIdx TempDILabel clone() const
StringRef getName() const
static bool classof(const Metadata *MD)
Metadata MDString Metadata unsigned unsigned Column
unsigned getLine() const
bool isArtificial() const
Metadata MDString Metadata unsigned unsigned bool IsArtificial
Metadata * getRawFile() const
unsigned getColumn() const
DILocalScope * getScope() const
Get the local scope for this label.
MDString * getRawName() const
std::optional< unsigned > getCoroSuspendIdx() const
Metadata MDString Metadata unsigned Line
Metadata MDString * Name
DEFINE_MDNODE_GET(DILabel,(DILocalScope *Scope, StringRef Name, DIFile *File, unsigned Line, unsigned Column, bool IsArtificial, std::optional< unsigned > CoroSuspendIdx),(Scope, Name, File, Line, Column, IsArtificial, CoroSuspendIdx)) DEFINE_MDNODE_GET(DILabel
friend class LLVMContextImpl
bool isValidLocationForIntrinsic(const DILocation *DL) const
Check that a location is valid for this label.
Metadata * getRawScope() const
friend class MDNode
Metadata MDString Metadata * File
static bool classof(const Metadata *MD)
void replaceScope(DIScope *Scope)
Metadata * getRawScope() const
LLVM_ABI DILexicalBlockBase(LLVMContext &C, unsigned ID, StorageType Storage, ArrayRef< Metadata * > Ops)
DILocalScope * getScope() const
Metadata Metadata unsigned Discriminator
static bool classof(const Metadata *MD)
unsigned getDiscriminator() const
Metadata Metadata unsigned Discriminator TempDILexicalBlockFile clone() const
DEFINE_MDNODE_GET(DILexicalBlockFile,(DILocalScope *Scope, DIFile *File, unsigned Discriminator),(Scope, File, Discriminator)) DEFINE_MDNODE_GET(DILexicalBlockFile
Debug lexical block.
Metadata Metadata unsigned unsigned Column
Metadata Metadata unsigned Line
DEFINE_MDNODE_GET(DILexicalBlock,(DILocalScope *Scope, DIFile *File, unsigned Line, unsigned Column),(Scope, File, Line, Column)) DEFINE_MDNODE_GET(DILexicalBlock
static bool classof(const Metadata *MD)
Metadata Metadata * File
unsigned getColumn() const
Metadata Metadata unsigned unsigned Column TempDILexicalBlock clone() const
A scope for locals.
LLVM_ABI DISubprogram * getSubprogram() const
Get the subprogram for this scope.
LLVM_ABI DILocalScope * getNonLexicalBlockFileScope() const
Get the first non DILexicalBlockFile scope of this scope.
~DILocalScope()=default
DILocalScope(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag, ArrayRef< Metadata * > Ops)
static bool classof(const Metadata *MD)
static LLVM_ABI DILocalScope * cloneScopeForSubprogram(DILocalScope &RootScope, DISubprogram &NewSP, LLVMContext &Ctx, DenseMap< const MDNode *, MDNode * > &Cache)
Traverses the scope chain rooted at RootScope until it hits a Subprogram, recreating the chain with "...
Metadata MDString Metadata unsigned Metadata * Type
Metadata MDString Metadata * File
static bool classof(const Metadata *MD)
Metadata MDString Metadata unsigned Metadata unsigned DIFlags uint32_t Metadata Annotations TempDILocalVariable clone() const
DILocalScope * getScope() const
Get the local scope for this variable.
Metadata MDString * Name
Metadata MDString Metadata unsigned Metadata unsigned Arg
DINodeArray getAnnotations() const
DEFINE_MDNODE_GET(DILocalVariable,(DILocalScope *Scope, StringRef Name, DIFile *File, unsigned Line, DIType *Type, unsigned Arg, DIFlags Flags, uint32_t AlignInBits, DINodeArray Annotations),(Scope, Name, File, Line, Type, Arg, Flags, AlignInBits, Annotations)) DEFINE_MDNODE_GET(DILocalVariable
Metadata MDString Metadata unsigned Line
Metadata MDString Metadata unsigned Metadata unsigned DIFlags uint32_t Metadata * Annotations
Metadata MDString Metadata unsigned Metadata unsigned DIFlags uint32_t AlignInBits
bool isValidLocationForIntrinsic(const DILocation *DL) const
Check that a location is valid for this variable.
Metadata * getRawAnnotations() const
unsigned unsigned DILocalScope * Scope
const DILocation * getWithoutAtom() const
static unsigned getDuplicationFactorFromDiscriminator(unsigned D)
Returns the duplication factor for a given encoded discriminator D, or 1 if no value or 0 is encoded.
static bool isPseudoProbeDiscriminator(unsigned Discriminator)
unsigned unsigned DILocalScope DILocation bool uint64_t AtomGroup
unsigned getDuplicationFactor() const
Returns the duplication factor stored in the discriminator, or 1 if no duplication factor (or 0) is e...
uint64_t getAtomGroup() const
static LLVM_ABI DILocation * getMergedLocations(ArrayRef< DILocation * > Locs)
Try to combine the vector of locations passed as input in a single one.
static unsigned getBaseDiscriminatorBits()
Return the bits used for base discriminators.
static LLVM_ABI std::optional< unsigned > encodeDiscriminator(unsigned BD, unsigned DF, unsigned CI)
Raw encoding of the discriminator.
unsigned unsigned DILocalScope DILocation bool ImplicitCode
Metadata * getRawScope() const
static LLVM_ABI void decodeDiscriminator(unsigned D, unsigned &BD, unsigned &DF, unsigned &CI)
Raw decoder for values in an encoded discriminator D.
static LLVM_ABI DILocation * getMergedLocation(DILocation *LocA, DILocation *LocB)
Attempts to merge LocA and LocB into a single location; see DebugLoc::getMergedLocation for more deta...
std::optional< const DILocation * > cloneWithBaseDiscriminator(unsigned BD) const
Returns a new DILocation with updated base discriminator BD.
unsigned getBaseDiscriminator() const
Returns the base discriminator stored in the discriminator.
static unsigned getBaseDiscriminatorFromDiscriminator(unsigned D, bool IsFSDiscriminator=false)
Returns the base discriminator for a given encoded discriminator D.
unsigned unsigned Column
Metadata * getRawInlinedAt() const
unsigned unsigned DILocalScope DILocation * InlinedAt
friend class LLVMContextImpl
static unsigned getMaskedDiscriminator(unsigned D, unsigned B)
Return the masked discriminator value for an input discrimnator value D (i.e.
const DILocation * cloneWithDiscriminator(unsigned Discriminator) const
Returns a new DILocation with updated Discriminator.
static unsigned getCopyIdentifierFromDiscriminator(unsigned D)
Returns the copy identifier for a given encoded discriminator D.
uint8_t getAtomRank() const
DEFINE_MDNODE_GET(DILocation,(unsigned Line, unsigned Column, Metadata *Scope, Metadata *InlinedAt=nullptr, bool ImplicitCode=false, uint64_t AtomGroup=0, uint8_t AtomRank=0),(Line, Column, Scope, InlinedAt, ImplicitCode, AtomGroup, AtomRank)) DEFINE_MDNODE_GET(DILocation
void replaceOperandWith(unsigned I, Metadata *New)=delete
std::optional< const DILocation * > cloneByMultiplyingDuplicationFactor(unsigned DF) const
Returns a new DILocation with duplication factor DF * current duplication factor encoded in the discr...
static bool classof(const Metadata *MD)
unsigned getCopyIdentifier() const
Returns the copy identifier stored in the discriminator.
unsigned unsigned DILocalScope DILocation bool uint64_t uint8_t AtomRank
unsigned unsigned Metadata * File
Metadata * getRawElements() const
DEFINE_MDNODE_GET(DIMacroFile,(unsigned MIType, unsigned Line, DIFile *File, DIMacroNodeArray Elements),(MIType, Line, File, Elements)) DEFINE_MDNODE_GET(DIMacroFile
unsigned unsigned Line
DIFile * getFile() const
unsigned getLine() const
unsigned unsigned Metadata Metadata * Elements
Metadata * getRawFile() const
static bool classof(const Metadata *MD)
friend class LLVMContextImpl
void replaceElements(DIMacroNodeArray Elements)
unsigned unsigned Metadata Metadata Elements TempDIMacroFile clone() const
DIMacroNodeArray getElements() const
DIMacroNode(LLVMContext &C, unsigned ID, StorageType Storage, unsigned MIType, ArrayRef< Metadata * > Ops1, ArrayRef< Metadata * > Ops2={})
unsigned getMacinfoType() const
StringRef getStringOperand(unsigned I) const
static bool classof(const Metadata *MD)
static MDString * getCanonicalMDString(LLVMContext &Context, StringRef S)
friend class LLVMContextImpl
Ty * getOperandAs(unsigned I) const
~DIMacroNode()=default
unsigned getLine() const
MDString * getRawName() const
unsigned unsigned MDString MDString Value TempDIMacro clone() const
unsigned unsigned MDString MDString * Value
unsigned unsigned MDString * Name
StringRef getName() const
MDString * getRawValue() const
unsigned unsigned Line
friend class LLVMContextImpl
DEFINE_MDNODE_GET(DIMacro,(unsigned MIType, unsigned Line, StringRef Name, StringRef Value=""),(MIType, Line, Name, Value)) DEFINE_MDNODE_GET(DIMacro
friend class MDNode
StringRef getValue() const
static bool classof(const Metadata *MD)
Represents a module in the programming language, for example, a Clang module, or a Fortran module.
Metadata Metadata * Scope
Metadata Metadata MDString * Name
Metadata Metadata MDString MDString MDString MDString * APINotesFile
Metadata Metadata MDString MDString MDString * IncludePath
Metadata Metadata MDString MDString * ConfigurationMacros
friend class LLVMContextImpl
DEFINE_MDNODE_GET(DIModule,(DIFile *File, DIScope *Scope, StringRef Name, StringRef ConfigurationMacros, StringRef IncludePath, StringRef APINotesFile, unsigned LineNo, bool IsDecl=false),(File, Scope, Name, ConfigurationMacros, IncludePath, APINotesFile, LineNo, IsDecl)) DEFINE_MDNODE_GET(DIModule
Metadata Metadata MDString MDString MDString MDString unsigned LineNo
Debug lexical block.
Metadata MDString bool ExportSymbols TempDINamespace clone() const
static bool classof(const Metadata *MD)
DEFINE_MDNODE_GET(DINamespace,(DIScope *Scope, StringRef Name, bool ExportSymbols),(Scope, Name, ExportSymbols)) DEFINE_MDNODE_GET(DINamespace
DIScope * getScope() const
Metadata MDString bool ExportSymbols
StringRef getName() const
MDString * getRawName() const
Metadata MDString * Name
friend class LLVMContextImpl
bool getExportSymbols() const
Metadata * getRawScope() const
Tagged DWARF-like metadata node.
LLVM_ABI dwarf::Tag getTag() const
static MDString * getCanonicalMDString(LLVMContext &Context, StringRef S)
static LLVM_ABI DIFlags getFlag(StringRef Flag)
static LLVM_ABI DIFlags splitFlags(DIFlags Flags, SmallVectorImpl< DIFlags > &SplitFlags)
Split up a flags bitfield.
void setTag(unsigned Tag)
Allow subclasses to mutate the tag.
DINode(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag, ArrayRef< Metadata * > Ops1, ArrayRef< Metadata * > Ops2={})
StringRef getStringOperand(unsigned I) const
Ty * getOperandAs(unsigned I) const
friend class LLVMContextImpl
static bool classof(const Metadata *MD)
static LLVM_ABI StringRef getFlagString(DIFlags Flag)
friend class MDNode
~DINode()=default
DIFlags
Debug info flags.
MDString Metadata unsigned MDString MDString unsigned Metadata Type TempDIObjCProperty clone() const
unsigned getAttributes() const
StringRef getFilename() const
MDString * getRawName() const
StringRef getDirectory() const
MDString * getRawSetterName() const
Metadata * getRawType() const
StringRef getGetterName() const
MDString Metadata * File
MDString Metadata unsigned MDString MDString unsigned Metadata * Type
static bool classof(const Metadata *MD)
MDString * getRawGetterName() const
Metadata * getRawFile() const
MDString Metadata unsigned MDString * GetterName
MDString Metadata unsigned MDString MDString * SetterName
StringRef getName() const
DEFINE_MDNODE_GET(DIObjCProperty,(StringRef Name, DIFile *File, unsigned Line, StringRef GetterName, StringRef SetterName, unsigned Attributes, DIType *Type),(Name, File, Line, GetterName, SetterName, Attributes, Type)) DEFINE_MDNODE_GET(DIObjCProperty
StringRef getSetterName() const
Base class for scope-like contexts.
~DIScope()=default
StringRef getFilename() const
LLVM_ABI StringRef getName() const
static bool classof(const Metadata *MD)
DIFile * getFile() const
StringRef getDirectory() const
std::optional< StringRef > getSource() const
LLVM_ABI DIScope * getScope() const
Metadata * getRawFile() const
Return the raw underlying file.
DIScope(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag, ArrayRef< Metadata * > Ops)
Wrapper structure that holds a language name and its version.
uint16_t getUnversionedName() const
Transitional API for cases where we do not yet support versioned source language names.
uint32_t getVersion() const
Returns language version. Only valid for versioned language names.
DISourceLanguageName(uint16_t Lang, uint32_t Version)
uint16_t getName() const
Returns a versioned or unversioned language name.
String type, Fortran CHARACTER(n)
unsigned MDString * Name
unsigned MDString Metadata Metadata Metadata uint64_t SizeInBits
unsigned getEncoding() const
unsigned MDString Metadata Metadata Metadata uint64_t uint32_t AlignInBits
static bool classof(const Metadata *MD)
unsigned MDString Metadata Metadata Metadata * StringLocationExp
unsigned MDString Metadata Metadata Metadata uint64_t uint32_t unsigned Encoding unsigned MDString Metadata Metadata Metadata Metadata uint32_t unsigned Encoding TempDIStringType clone() const
DIExpression * getStringLengthExp() const
unsigned MDString Metadata Metadata * StringLengthExp
Metadata * getRawStringLengthExp() const
unsigned MDString Metadata Metadata Metadata uint64_t uint32_t unsigned Encoding
Metadata * getRawStringLength() const
DIVariable * getStringLength() const
DIExpression * getStringLocationExp() const
unsigned MDString Metadata * StringLength
Metadata * getRawStringLocationExp() const
DEFINE_MDNODE_GET(DIStringType,(unsigned Tag, StringRef Name, uint64_t SizeInBits, uint32_t AlignInBits),(Tag, Name, nullptr, nullptr, nullptr, SizeInBits, AlignInBits, 0)) DEFINE_MDNODE_GET(DIStringType
Subprogram description. Uses SubclassData1.
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata * Unit
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata Metadata Metadata Metadata MDString bool UsesKeyInstructions
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata Metadata Metadata Metadata * Annotations
Metadata MDString MDString Metadata unsigned Metadata unsigned ScopeLine
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags SPFlags
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata * ContainingType
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata * TemplateParams
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata * Declaration
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata Metadata Metadata Metadata MDString * TargetFuncName
static LLVM_ABI DISPFlags toSPFlags(bool IsLocalToUnit, bool IsDefinition, bool IsOptimized, unsigned Virtuality=SPFlagNonvirtual, bool IsMainSubprogram=false)
Metadata MDString * Name
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata Metadata Metadata * ThrownTypes
DEFINE_MDNODE_GET(DISubprogram,(DIScope *Scope, StringRef Name, StringRef LinkageName, DIFile *File, unsigned Line, DISubroutineType *Type, unsigned ScopeLine, DIType *ContainingType, unsigned VirtualIndex, int ThisAdjustment, DIFlags Flags, DISPFlags SPFlags, DICompileUnit *Unit, DITemplateParameterArray TemplateParams=nullptr, DISubprogram *Declaration=nullptr, DINodeArray RetainedNodes=nullptr, DITypeArray ThrownTypes=nullptr, DINodeArray Annotations=nullptr, StringRef TargetFuncName="", bool UsesKeyInstructions=false),(Scope, Name, LinkageName, File, Line, Type, ScopeLine, ContainingType, VirtualIndex, ThisAdjustment, Flags, SPFlags, Unit, TemplateParams, Declaration, RetainedNodes, ThrownTypes, Annotations, TargetFuncName, UsesKeyInstructions)) DEFINE_MDNODE_GET(DISubprogram
static LLVM_ABI DISPFlags getFlag(StringRef Flag)
Metadata MDString MDString Metadata * File
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned VirtualIndex
static LLVM_ABI DISPFlags splitFlags(DISPFlags Flags, SmallVectorImpl< DISPFlags > &SplitFlags)
Split up a flags bitfield for easier printing.
static bool classof(const Metadata *MD)
Metadata MDString MDString * LinkageName
static LLVM_ABI StringRef getFlagString(DISPFlags Flag)
Metadata MDString MDString Metadata unsigned Metadata * Type
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int DIFlags DISPFlags Metadata Metadata Metadata Metadata * RetainedNodes
DISPFlags
Debug info subprogram flags.
Metadata MDString MDString Metadata unsigned Metadata unsigned Metadata unsigned int ThisAdjustment
StringRef DIFile unsigned Line
Metadata * getRawUpperBound() const
BoundType getLowerBound() const
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType Metadata Metadata * UpperBound
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType * BaseType
PointerUnion< ConstantInt *, DIVariable *, DIExpression * > BoundType
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType Metadata Metadata Metadata Metadata * Bias
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType Metadata Metadata Metadata * Stride
StringRef DIFile unsigned DIScope uint64_t SizeInBits
static bool classof(const Metadata *MD)
BoundType getBias() const
DEFINE_MDNODE_GET(DISubrangeType,(MDString *Name, Metadata *File, unsigned Line, Metadata *Scope, Metadata *SizeInBits, uint32_t AlignInBits, DIFlags Flags, Metadata *BaseType, Metadata *LowerBound, Metadata *UpperBound, Metadata *Stride, Metadata *Bias),(Name, File, Line, Scope, SizeInBits, AlignInBits, Flags, BaseType, LowerBound, UpperBound, Stride, Bias)) DEFINE_MDNODE_GET(DISubrangeType
Metadata * getRawBias() const
Metadata * getRawBaseType() const
StringRef DIFile * File
StringRef DIFile unsigned DIScope * Scope
BoundType getUpperBound() const
DIType * getBaseType() const
Get the base type this is derived from.
BoundType getStride() const
Metadata * getRawLowerBound() const
StringRef DIFile unsigned DIScope uint64_t uint32_t AlignInBits
Metadata * getRawStride() const
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType Metadata * LowerBound
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags Flags
StringRef DIFile unsigned DIScope uint64_t uint32_t DIFlags DIType Metadata Metadata Metadata Metadata Bias TempDISubrangeType clone() const
static bool classof(const Metadata *MD)
LLVM_ABI BoundType getUpperBound() const
LLVM_ABI BoundType getStride() const
LLVM_ABI BoundType getLowerBound() const
DEFINE_MDNODE_GET(DISubrange,(int64_t Count, int64_t LowerBound=0),(Count, LowerBound)) DEFINE_MDNODE_GET(DISubrange
friend class LLVMContextImpl
LLVM_ABI BoundType getCount() const
Metadata int64_t LowerBound
Type array for a subprogram.
TempDISubroutineType cloneWithCC(uint8_t CC) const
DEFINE_MDNODE_GET(DISubroutineType,(DIFlags Flags, uint8_t CC, DITypeRefArray TypeArray),(Flags, CC, TypeArray)) DEFINE_MDNODE_GET(DISubroutineType
DIFlags uint8_t Metadata * TypeArray
static bool classof(const Metadata *MD)
Metadata * getRawTypeArray() const
DITypeRefArray getTypeArray() const
DIFlags uint8_t Metadata TypeArray TempDISubroutineType clone() const
static bool classof(const Metadata *MD)
DITemplateParameter(LLVMContext &Context, unsigned ID, StorageType Storage, unsigned Tag, bool IsDefault, ArrayRef< Metadata * > Ops)
MDString Metadata bool IsDefault
DEFINE_MDNODE_GET(DITemplateTypeParameter,(StringRef Name, DIType *Type, bool IsDefault),(Name, Type, IsDefault)) DEFINE_MDNODE_GET(DITemplateTypeParameter
MDString Metadata bool IsDefault TempDITemplateTypeParameter clone() const
static bool classof(const Metadata *MD)
unsigned MDString Metadata bool Metadata Value TempDITemplateValueParameter clone() const
unsigned MDString Metadata * Type
static bool classof(const Metadata *MD)
DEFINE_MDNODE_GET(DITemplateValueParameter,(unsigned Tag, StringRef Name, DIType *Type, bool IsDefault, Metadata *Value),(Tag, Name, Type, IsDefault, Value)) DEFINE_MDNODE_GET(DITemplateValueParameter
unsigned MDString Metadata bool IsDefault
unsigned MDString Metadata bool Metadata * Value
bool operator!=(const iterator &X) const
bool operator==(const iterator &X) const
std::input_iterator_tag iterator_category
iterator(MDNode::op_iterator I)
DIType * operator[](unsigned I) const
MDTuple & operator*() const
DITypeRefArray()=default
MDTuple * operator->() const
MDTuple * get() const
DITypeRefArray(const MDTuple *N)
Base class for types.
bool isLittleEndian() const
static constexpr unsigned N_OPERANDS
bool isPublic() const
bool isPrivate() const
uint32_t getNumExtraInhabitants() const
bool isBigEndian() const
bool isLValueReference() const
bool isBitField() const
~DIType()=default
bool isStaticMember() const
bool isVirtual() const
TempDIType cloneWithFlags(DIFlags NewFlags) const
Returns a new temporary DIType with updated Flags.
bool isObjcClassComplete() const
MDString * getRawName() const
bool isAppleBlockExtension() const
uint64_t getOffsetInBits() const
bool isVector() const
bool isProtected() const
bool isObjectPointer() const
DIFlags getFlags() const
Metadata * getRawScope() const
StringRef getName() const
bool isForwardDecl() const
bool isTypePassByValue() const
uint64_t getSizeInBits() const
static bool classof(const Metadata *MD)
DIType(LLVMContext &C, unsigned ID, StorageType Storage, unsigned Tag, unsigned Line, uint32_t AlignInBits, uint32_t NumExtraInhabitants, DIFlags Flags, ArrayRef< Metadata * > Ops)
uint32_t getAlignInBytes() const
void mutate(unsigned Tag, unsigned Line, uint32_t AlignInBits, uint32_t NumExtraInhabitants, DIFlags Flags)
Change fields in place.
void init(unsigned Line, uint32_t AlignInBits, uint32_t NumExtraInhabitants, DIFlags Flags)
LLVM_ABI uint32_t getAlignInBits() const
Metadata * getRawSizeInBits() const
unsigned getLine() const
bool isRValueReference() const
bool isArtificial() const
bool getExportSymbols() const
TempDIType clone() const
DIScope * getScope() const
bool isTypePassByReference() const
Metadata * getRawOffsetInBits() const
Base class for variables.
std::optional< DIBasicType::Signedness > getSignedness() const
Return the signedness of this variable's type, or std::nullopt if this type is neither signed nor uns...
uint32_t getAlignInBits() const
DIFile * getFile() const
MDString * getRawName() const
uint32_t getAlignInBytes() const
DIScope * getScope() const
~DIVariable()=default
StringRef getDirectory() const
LLVM_ABI std::optional< uint64_t > getSizeInBits() const
Determines the size of the variable's type.
Metadata * getRawFile() const
std::optional< StringRef > getSource() const
StringRef getFilename() const
Metadata * getRawType() const
static bool classof(const Metadata *MD)
LLVM_ABI DIVariable(LLVMContext &C, unsigned ID, StorageType Storage, signed Line, ArrayRef< Metadata * > Ops, uint32_t AlignInBits=0)
DIType * getType() const
unsigned getLine() const
StringRef getName() const
Metadata * getRawScope() const
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:63
Record of a variable value-assignment, aka a non instruction representation of the dbg....
Identifies a unique instance of a whole variable (discards/ignores fragment information).
LLVM_ABI DebugVariableAggregate(const DbgVariableRecord *DVR)
DebugVariableAggregate(const DebugVariable &V)
Identifies a unique instance of a variable.
static bool isDefaultFragment(const FragmentInfo F)
DebugVariable(const DILocalVariable *Var, const DIExpression *DIExpr, const DILocation *InlinedAt)
const DILocation * getInlinedAt() const
bool operator<(const DebugVariable &Other) const
DebugVariable(const DILocalVariable *Var, std::optional< FragmentInfo > FragmentInfo, const DILocation *InlinedAt)
bool operator==(const DebugVariable &Other) const
FragmentInfo getFragmentOrDefault() const
std::optional< FragmentInfo > getFragment() const
const DILocalVariable * getVariable() const
LLVM_ABI DebugVariable(const DbgVariableRecord *DVR)
Class representing an expression and its matching format.
Generic tagged DWARF-like metadata node.
static bool classof(const Metadata *MD)
unsigned MDString ArrayRef< Metadata * > DwarfOps TempGenericDINode clone() const
Return a (temporary) clone of this.
LLVM_ABI dwarf::Tag getTag() const
StringRef getHeader() const
MDString * getRawHeader() const
const MDOperand & getDwarfOperand(unsigned I) const
unsigned getHash() const
unsigned getNumDwarfOperands() const
op_iterator dwarf_op_end() const
op_iterator dwarf_op_begin() const
unsigned MDString * Header
op_range dwarf_operands() const
DEFINE_MDNODE_GET(GenericDINode,(unsigned Tag, StringRef Header, ArrayRef< Metadata * > DwarfOps),(Tag, Header, DwarfOps)) DEFINE_MDNODE_GET(GenericDINode
void replaceDwarfOperandWith(unsigned I, Metadata *New)
unsigned MDString ArrayRef< Metadata * > DwarfOps
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
Metadata node.
Definition Metadata.h:1078
friend class DIAssignID
Definition Metadata.h:1081
LLVM_ABI void replaceOperandWith(unsigned I, Metadata *New)
Replace a specific operand.
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1442
static TempMDTuple getTemporary(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Definition Metadata.h:1581
op_iterator op_end() const
Definition Metadata.h:1436
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Definition Metadata.h:1569
bool isUniqued() const
Definition Metadata.h:1260
unsigned getNumOperands() const
Return number of MDNode operands.
Definition Metadata.h:1448
iterator_range< op_iterator > op_range
Definition Metadata.h:1430
LLVM_ABI TempMDNode clone() const
Create a (temporary) clone of this.
Definition Metadata.cpp:669
bool isDistinct() const
Definition Metadata.h:1261
LLVM_ABI void setOperand(unsigned I, Metadata *New)
Set an operand.
op_iterator op_begin() const
Definition Metadata.h:1432
LLVMContext & getContext() const
Definition Metadata.h:1242
LLVM_ABI void dropAllReferences()
Definition Metadata.cpp:909
const MDOperand * op_iterator
Definition Metadata.h:1429
Tracking metadata reference owned by Metadata.
Definition Metadata.h:900
Metadata * get() const
Definition Metadata.h:929
A single uniqued string.
Definition Metadata.h:721
static LLVM_ABI MDString * get(LLVMContext &Context, StringRef Str)
Definition Metadata.cpp:608
Tuple of metadata.
Definition Metadata.h:1497
Root of the metadata hierarchy.
Definition Metadata.h:64
StorageType
Active type of storage.
Definition Metadata.h:72
unsigned short SubclassData16
Definition Metadata.h:78
unsigned SubclassData32
Definition Metadata.h:79
unsigned char Storage
Storage flag for non-uniqued, otherwise unowned, metadata.
Definition Metadata.h:75
unsigned getMetadataID() const
Definition Metadata.h:104
unsigned char SubclassData1
Definition Metadata.h:77
Metadata(unsigned ID, StorageType Storage)
Definition Metadata.h:88
A discriminated union of two or more pointer types, with the discriminator in the low bit of the poin...
LLVM_ABI SmallVector< DbgVariableRecord * > getAllDbgVariableRecordUsers()
Returns the list of all DbgVariableRecord users of this.
Definition Metadata.cpp:273
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
typename SuperClass::iterator iterator
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
constexpr bool empty() const
empty - Check if the string is empty.
Definition StringRef.h:143
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:45
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:298
LLVM Value Representation.
Definition Value.h:75
A range adaptor for a pair of iterators.
LLVM_ABI unsigned getVirtuality(StringRef VirtualityString)
Definition Dwarf.cpp:385
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
template class LLVM_TEMPLATE_ABI opt< bool >
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:477
bool operator<(int64_t V1, const APSInt &V2)
Definition APSInt.h:362
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
bool operator!=(uint64_t V1, const APInt &V2)
Definition APInt.h:2113
auto cast_or_null(const Y &Val)
Definition Casting.h:714
bool operator==(const AddressRangeValuePair &LHS, const AddressRangeValuePair &RHS)
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
LLVM_ABI cl::opt< bool > EnableFSDiscriminator
FunctionAddr VTableAddr Count
Definition InstrProf.h:139
static unsigned getBaseFSBitEnd()
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
@ Ref
The access may reference the value stored in memory.
Definition ModRef.h:32
@ LLVM_MARK_AS_BITMASK_ENUM
Definition ModRef.h:37
@ Other
Any other memory.
Definition ModRef.h:68
static unsigned getN1Bits(int N)
FunctionAddr VTableAddr Next
Definition InstrProf.h:141
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1897
hash_code hash_combine(const Ts &...args)
Combine values into a single hash_code.
Definition Hashing.h:592
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:867
#define N
Pointer authentication (__ptrauth) metadata.
PtrAuthData(unsigned Key, bool IsDiscr, unsigned Discriminator, bool IsaPointer, bool AuthenticatesNullValues)
A single checksum, represented by a Kind and a Value (a string).
bool operator==(const ChecksumInfo< T > &X) const
T Value
The string value of the checksum.
ChecksumKind Kind
The kind of checksum which Value encodes.
ChecksumInfo(ChecksumKind Kind, T Value)
bool operator!=(const ChecksumInfo< T > &X) const
StringRef getKindAsString() const
static bool isEqual(const FragInfo &A, const FragInfo &B)
static unsigned getHashValue(const FragInfo &Frag)
static unsigned getHashValue(const DebugVariable &D)
static DebugVariable getEmptyKey()
Empty key: no key should be generated that has no DILocalVariable.
DIExpression::FragmentInfo FragmentInfo
static DebugVariable getTombstoneKey()
Difference in tombstone is that the Optional is meaningful.
static bool isEqual(const DebugVariable &A, const DebugVariable &B)
An information struct used to provide DenseMap with the various necessary components for a given valu...
static uint32_t extractProbeIndex(uint32_t Value)
Definition PseudoProbe.h:75
static std::optional< uint32_t > extractDwarfBaseDiscriminator(uint32_t Value)
Definition PseudoProbe.h:81