Bug Summary

File:lib/IR/DebugInfoMetadata.cpp
Warning:line 716, column 28
Called C++ object pointer is null

Annotated Source Code

1//===- DebugInfoMetadata.cpp - Implement debug info metadata --------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the debug info Metadata classes.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/IR/DebugInfoMetadata.h"
15#include "LLVMContextImpl.h"
16#include "MetadataImpl.h"
17#include "llvm/ADT/StringSwitch.h"
18#include "llvm/IR/DIBuilder.h"
19#include "llvm/IR/Function.h"
20
21using namespace llvm;
22
23DILocation::DILocation(LLVMContext &C, StorageType Storage, unsigned Line,
24 unsigned Column, ArrayRef<Metadata *> MDs)
25 : MDNode(C, DILocationKind, Storage, MDs) {
26 assert((MDs.size() == 1 || MDs.size() == 2) &&(((MDs.size() == 1 || MDs.size() == 2) && "Expected a scope and optional inlined-at"
) ? static_cast<void> (0) : __assert_fail ("(MDs.size() == 1 || MDs.size() == 2) && \"Expected a scope and optional inlined-at\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 27, __PRETTY_FUNCTION__))
27 "Expected a scope and optional inlined-at")(((MDs.size() == 1 || MDs.size() == 2) && "Expected a scope and optional inlined-at"
) ? static_cast<void> (0) : __assert_fail ("(MDs.size() == 1 || MDs.size() == 2) && \"Expected a scope and optional inlined-at\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 27, __PRETTY_FUNCTION__))
;
28
29 // Set line and column.
30 assert(Column < (1u << 16) && "Expected 16-bit column")((Column < (1u << 16) && "Expected 16-bit column"
) ? static_cast<void> (0) : __assert_fail ("Column < (1u << 16) && \"Expected 16-bit column\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 30, __PRETTY_FUNCTION__))
;
31
32 SubclassData32 = Line;
33 SubclassData16 = Column;
34}
35
36static void adjustColumn(unsigned &Column) {
37 // Set to unknown on overflow. We only have 16 bits to play with here.
38 if (Column >= (1u << 16))
39 Column = 0;
40}
41
42DILocation *DILocation::getImpl(LLVMContext &Context, unsigned Line,
43 unsigned Column, Metadata *Scope,
44 Metadata *InlinedAt, StorageType Storage,
45 bool ShouldCreate) {
46 // Fixup column.
47 adjustColumn(Column);
48
49 if (Storage == Uniqued) {
50 if (auto *N =
51 getUniqued(Context.pImpl->DILocations,
52 DILocationInfo::KeyTy(Line, Column, Scope, InlinedAt)))
53 return N;
54 if (!ShouldCreate)
55 return nullptr;
56 } else {
57 assert(ShouldCreate && "Expected non-uniqued nodes to always be created")((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 57, __PRETTY_FUNCTION__))
;
58 }
59
60 SmallVector<Metadata *, 2> Ops;
61 Ops.push_back(Scope);
62 if (InlinedAt)
63 Ops.push_back(InlinedAt);
64 return storeImpl(new (Ops.size())
65 DILocation(Context, Storage, Line, Column, Ops),
66 Storage, Context.pImpl->DILocations);
67}
68
69DINode::DIFlags DINode::getFlag(StringRef Flag) {
70 return StringSwitch<DIFlags>(Flag)
71#define HANDLE_DI_FLAG(ID, NAME) .Case("DIFlag" #NAME, Flag##NAME)
72#include "llvm/IR/DebugInfoFlags.def"
73 .Default(DINode::FlagZero);
74}
75
76StringRef DINode::getFlagString(DIFlags Flag) {
77 switch (Flag) {
78#define HANDLE_DI_FLAG(ID, NAME) \
79 case Flag##NAME: \
80 return "DIFlag" #NAME;
81#include "llvm/IR/DebugInfoFlags.def"
82 }
83 return "";
84}
85
86DINode::DIFlags DINode::splitFlags(DIFlags Flags,
87 SmallVectorImpl<DIFlags> &SplitFlags) {
88 // Flags that are packed together need to be specially handled, so
89 // that, for example, we emit "DIFlagPublic" and not
90 // "DIFlagPrivate | DIFlagProtected".
91 if (DIFlags A = Flags & FlagAccessibility) {
92 if (A == FlagPrivate)
93 SplitFlags.push_back(FlagPrivate);
94 else if (A == FlagProtected)
95 SplitFlags.push_back(FlagProtected);
96 else
97 SplitFlags.push_back(FlagPublic);
98 Flags &= ~A;
99 }
100 if (DIFlags R = Flags & FlagPtrToMemberRep) {
101 if (R == FlagSingleInheritance)
102 SplitFlags.push_back(FlagSingleInheritance);
103 else if (R == FlagMultipleInheritance)
104 SplitFlags.push_back(FlagMultipleInheritance);
105 else
106 SplitFlags.push_back(FlagVirtualInheritance);
107 Flags &= ~R;
108 }
109 if ((Flags & FlagIndirectVirtualBase) == FlagIndirectVirtualBase) {
110 Flags &= ~FlagIndirectVirtualBase;
111 SplitFlags.push_back(FlagIndirectVirtualBase);
112 }
113
114#define HANDLE_DI_FLAG(ID, NAME) \
115 if (DIFlags Bit = Flags & Flag##NAME) { \
116 SplitFlags.push_back(Bit); \
117 Flags &= ~Bit; \
118 }
119#include "llvm/IR/DebugInfoFlags.def"
120 return Flags;
121}
122
123DIScopeRef DIScope::getScope() const {
124 if (auto *T = dyn_cast<DIType>(this))
125 return T->getScope();
126
127 if (auto *SP = dyn_cast<DISubprogram>(this))
128 return SP->getScope();
129
130 if (auto *LB = dyn_cast<DILexicalBlockBase>(this))
131 return LB->getScope();
132
133 if (auto *NS = dyn_cast<DINamespace>(this))
134 return NS->getScope();
135
136 if (auto *M = dyn_cast<DIModule>(this))
137 return M->getScope();
138
139 assert((isa<DIFile>(this) || isa<DICompileUnit>(this)) &&(((isa<DIFile>(this) || isa<DICompileUnit>(this))
&& "Unhandled type of scope.") ? static_cast<void
> (0) : __assert_fail ("(isa<DIFile>(this) || isa<DICompileUnit>(this)) && \"Unhandled type of scope.\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 140, __PRETTY_FUNCTION__))
140 "Unhandled type of scope.")(((isa<DIFile>(this) || isa<DICompileUnit>(this))
&& "Unhandled type of scope.") ? static_cast<void
> (0) : __assert_fail ("(isa<DIFile>(this) || isa<DICompileUnit>(this)) && \"Unhandled type of scope.\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 140, __PRETTY_FUNCTION__))
;
141 return nullptr;
142}
143
144StringRef DIScope::getName() const {
145 if (auto *T = dyn_cast<DIType>(this))
146 return T->getName();
147 if (auto *SP = dyn_cast<DISubprogram>(this))
148 return SP->getName();
149 if (auto *NS = dyn_cast<DINamespace>(this))
150 return NS->getName();
151 if (auto *M = dyn_cast<DIModule>(this))
152 return M->getName();
153 assert((isa<DILexicalBlockBase>(this) || isa<DIFile>(this) ||(((isa<DILexicalBlockBase>(this) || isa<DIFile>(this
) || isa<DICompileUnit>(this)) && "Unhandled type of scope."
) ? static_cast<void> (0) : __assert_fail ("(isa<DILexicalBlockBase>(this) || isa<DIFile>(this) || isa<DICompileUnit>(this)) && \"Unhandled type of scope.\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 155, __PRETTY_FUNCTION__))
154 isa<DICompileUnit>(this)) &&(((isa<DILexicalBlockBase>(this) || isa<DIFile>(this
) || isa<DICompileUnit>(this)) && "Unhandled type of scope."
) ? static_cast<void> (0) : __assert_fail ("(isa<DILexicalBlockBase>(this) || isa<DIFile>(this) || isa<DICompileUnit>(this)) && \"Unhandled type of scope.\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 155, __PRETTY_FUNCTION__))
155 "Unhandled type of scope.")(((isa<DILexicalBlockBase>(this) || isa<DIFile>(this
) || isa<DICompileUnit>(this)) && "Unhandled type of scope."
) ? static_cast<void> (0) : __assert_fail ("(isa<DILexicalBlockBase>(this) || isa<DIFile>(this) || isa<DICompileUnit>(this)) && \"Unhandled type of scope.\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 155, __PRETTY_FUNCTION__))
;
156 return "";
157}
158
159#ifndef NDEBUG
160static bool isCanonical(const MDString *S) {
161 return !S || !S->getString().empty();
162}
163#endif
164
165GenericDINode *GenericDINode::getImpl(LLVMContext &Context, unsigned Tag,
166 MDString *Header,
167 ArrayRef<Metadata *> DwarfOps,
168 StorageType Storage, bool ShouldCreate) {
169 unsigned Hash = 0;
170 if (Storage == Uniqued) {
171 GenericDINodeInfo::KeyTy Key(Tag, Header, DwarfOps);
172 if (auto *N = getUniqued(Context.pImpl->GenericDINodes, Key))
173 return N;
174 if (!ShouldCreate)
175 return nullptr;
176 Hash = Key.getHash();
177 } else {
178 assert(ShouldCreate && "Expected non-uniqued nodes to always be created")((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 178, __PRETTY_FUNCTION__))
;
179 }
180
181 // Use a nullptr for empty headers.
182 assert(isCanonical(Header) && "Expected canonical MDString")((isCanonical(Header) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Header) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 182, __PRETTY_FUNCTION__))
;
183 Metadata *PreOps[] = {Header};
184 return storeImpl(new (DwarfOps.size() + 1) GenericDINode(
185 Context, Storage, Hash, Tag, PreOps, DwarfOps),
186 Storage, Context.pImpl->GenericDINodes);
187}
188
189void GenericDINode::recalculateHash() {
190 setHash(GenericDINodeInfo::KeyTy::calculateHash(this));
191}
192
193#define UNWRAP_ARGS_IMPL(...)... __VA_ARGS__
194#define UNWRAP_ARGS(ARGS)UNWRAP_ARGS_IMPL ARGS UNWRAP_ARGS_IMPL ARGS
195#define DEFINE_GETIMPL_LOOKUP(CLASS, ARGS)do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->CLASSs, CLASSInfo::KeyTy(UNWRAP_ARGS_IMPL ARGS))) return
N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 195, __PRETTY_FUNCTION__)); } } while (false)
\
196 do { \
197 if (Storage == Uniqued) { \
198 if (auto *N = getUniqued(Context.pImpl->CLASS##s, \
199 CLASS##Info::KeyTy(UNWRAP_ARGS(ARGS)UNWRAP_ARGS_IMPL ARGS))) \
200 return N; \
201 if (!ShouldCreate) \
202 return nullptr; \
203 } else { \
204 assert(ShouldCreate && \((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 205, __PRETTY_FUNCTION__))
205 "Expected non-uniqued nodes to always be created")((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 205, __PRETTY_FUNCTION__))
; \
206 } \
207 } while (false)
208#define DEFINE_GETIMPL_STORE(CLASS, ARGS, OPS)return storeImpl(new (array_lengthof(OPS)) CLASS(Context, Storage
, UNWRAP_ARGS_IMPL ARGS, OPS), Storage, Context.pImpl->CLASSs
)
\
209 return storeImpl(new (array_lengthof(OPS)) \
210 CLASS(Context, Storage, UNWRAP_ARGS(ARGS)UNWRAP_ARGS_IMPL ARGS, OPS), \
211 Storage, Context.pImpl->CLASS##s)
212#define DEFINE_GETIMPL_STORE_NO_OPS(CLASS, ARGS)return storeImpl(new (0u) CLASS(Context, Storage, UNWRAP_ARGS_IMPL
ARGS), Storage, Context.pImpl->CLASSs)
\
213 return storeImpl(new (0u) CLASS(Context, Storage, UNWRAP_ARGS(ARGS)UNWRAP_ARGS_IMPL ARGS), \
214 Storage, Context.pImpl->CLASS##s)
215#define DEFINE_GETIMPL_STORE_NO_CONSTRUCTOR_ARGS(CLASS, OPS)return storeImpl(new (array_lengthof(OPS)) CLASS(Context, Storage
, OPS), Storage, Context.pImpl->CLASSs)
\
216 return storeImpl(new (array_lengthof(OPS)) CLASS(Context, Storage, OPS), \
217 Storage, Context.pImpl->CLASS##s)
218#define DEFINE_GETIMPL_STORE_N(CLASS, ARGS, OPS, NUM_OPS)return storeImpl(new (NUM_OPS) CLASS(Context, Storage, UNWRAP_ARGS_IMPL
ARGS, OPS), Storage, Context.pImpl->CLASSs)
\
219 return storeImpl(new (NUM_OPS) \
220 CLASS(Context, Storage, UNWRAP_ARGS(ARGS)UNWRAP_ARGS_IMPL ARGS, OPS), \
221 Storage, Context.pImpl->CLASS##s)
222
223DISubrange *DISubrange::getImpl(LLVMContext &Context, int64_t Count, int64_t Lo,
224 StorageType Storage, bool ShouldCreate) {
225 DEFINE_GETIMPL_LOOKUP(DISubrange, (Count, Lo))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubranges, DISubrangeInfo::KeyTy(Count, Lo))) return
N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 225, __PRETTY_FUNCTION__)); } } while (false)
;
226 DEFINE_GETIMPL_STORE_NO_OPS(DISubrange, (Count, Lo))return storeImpl(new (0u) DISubrange(Context, Storage, Count,
Lo), Storage, Context.pImpl->DISubranges)
;
227}
228
229DIEnumerator *DIEnumerator::getImpl(LLVMContext &Context, int64_t Value,
230 MDString *Name, StorageType Storage,
231 bool ShouldCreate) {
232 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 232, __PRETTY_FUNCTION__))
;
233 DEFINE_GETIMPL_LOOKUP(DIEnumerator, (Value, Name))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIEnumerators, DIEnumeratorInfo::KeyTy(Value, Name
))) return N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 233, __PRETTY_FUNCTION__)); } } while (false)
;
234 Metadata *Ops[] = {Name};
235 DEFINE_GETIMPL_STORE(DIEnumerator, (Value), Ops)return storeImpl(new (array_lengthof(Ops)) DIEnumerator(Context
, Storage, Value, Ops), Storage, Context.pImpl->DIEnumerators
)
;
236}
237
238DIBasicType *DIBasicType::getImpl(LLVMContext &Context, unsigned Tag,
239 MDString *Name, uint64_t SizeInBits,
240 uint32_t AlignInBits, unsigned Encoding,
241 StorageType Storage, bool ShouldCreate) {
242 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 242, __PRETTY_FUNCTION__))
;
243 DEFINE_GETIMPL_LOOKUP(DIBasicType,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIBasicTypes, DIBasicTypeInfo::KeyTy(Tag, Name, SizeInBits
, AlignInBits, Encoding))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 244, __PRETTY_FUNCTION__)); } } while (false)
244 (Tag, Name, SizeInBits, AlignInBits, Encoding))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIBasicTypes, DIBasicTypeInfo::KeyTy(Tag, Name, SizeInBits
, AlignInBits, Encoding))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 244, __PRETTY_FUNCTION__)); } } while (false)
;
245 Metadata *Ops[] = {nullptr, nullptr, Name};
246 DEFINE_GETIMPL_STORE(DIBasicType, (Tag, SizeInBits, AlignInBits, Encoding),return storeImpl(new (array_lengthof(Ops)) DIBasicType(Context
, Storage, Tag, SizeInBits, AlignInBits, Encoding, Ops), Storage
, Context.pImpl->DIBasicTypes)
247 Ops)return storeImpl(new (array_lengthof(Ops)) DIBasicType(Context
, Storage, Tag, SizeInBits, AlignInBits, Encoding, Ops), Storage
, Context.pImpl->DIBasicTypes)
;
248}
249
250DIDerivedType *DIDerivedType::getImpl(
251 LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
252 unsigned Line, Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits,
253 uint32_t AlignInBits, uint64_t OffsetInBits,
254 Optional<unsigned> DWARFAddressSpace, DIFlags Flags, Metadata *ExtraData,
255 StorageType Storage, bool ShouldCreate) {
256 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 256, __PRETTY_FUNCTION__))
;
257 DEFINE_GETIMPL_LOOKUP(DIDerivedType,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIDerivedTypes, DIDerivedTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, DWARFAddressSpace, Flags, ExtraData))) return N; if (!ShouldCreate
) return nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 260, __PRETTY_FUNCTION__)); } } while (false)
258 (Tag, Name, File, Line, Scope, BaseType, SizeInBits,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIDerivedTypes, DIDerivedTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, DWARFAddressSpace, Flags, ExtraData))) return N; if (!ShouldCreate
) return nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 260, __PRETTY_FUNCTION__)); } } while (false)
259 AlignInBits, OffsetInBits, DWARFAddressSpace, Flags,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIDerivedTypes, DIDerivedTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, DWARFAddressSpace, Flags, ExtraData))) return N; if (!ShouldCreate
) return nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 260, __PRETTY_FUNCTION__)); } } while (false)
260 ExtraData))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIDerivedTypes, DIDerivedTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, DWARFAddressSpace, Flags, ExtraData))) return N; if (!ShouldCreate
) return nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 260, __PRETTY_FUNCTION__)); } } while (false)
;
261 Metadata *Ops[] = {File, Scope, Name, BaseType, ExtraData};
262 DEFINE_GETIMPL_STORE(return storeImpl(new (array_lengthof(Ops)) DIDerivedType(Context
, Storage, Tag, Line, SizeInBits, AlignInBits, OffsetInBits, DWARFAddressSpace
, Flags, Ops), Storage, Context.pImpl->DIDerivedTypes)
263 DIDerivedType, (Tag, Line, SizeInBits, AlignInBits, OffsetInBits,return storeImpl(new (array_lengthof(Ops)) DIDerivedType(Context
, Storage, Tag, Line, SizeInBits, AlignInBits, OffsetInBits, DWARFAddressSpace
, Flags, Ops), Storage, Context.pImpl->DIDerivedTypes)
264 DWARFAddressSpace, Flags), Ops)return storeImpl(new (array_lengthof(Ops)) DIDerivedType(Context
, Storage, Tag, Line, SizeInBits, AlignInBits, OffsetInBits, DWARFAddressSpace
, Flags, Ops), Storage, Context.pImpl->DIDerivedTypes)
;
265}
266
267DICompositeType *DICompositeType::getImpl(
268 LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *File,
269 unsigned Line, Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits,
270 uint32_t AlignInBits, uint64_t OffsetInBits, DIFlags Flags,
271 Metadata *Elements, unsigned RuntimeLang, Metadata *VTableHolder,
272 Metadata *TemplateParams, MDString *Identifier, StorageType Storage,
273 bool ShouldCreate) {
274 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 274, __PRETTY_FUNCTION__))
;
275
276 // Keep this in sync with buildODRType.
277 DEFINE_GETIMPL_LOOKUP(do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DICompositeTypes, DICompositeTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, Flags, Elements, RuntimeLang, VTableHolder, TemplateParams,
Identifier))) return N; if (!ShouldCreate) return nullptr; }
else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 280, __PRETTY_FUNCTION__)); } } while (false)
278 DICompositeType, (Tag, Name, File, Line, Scope, BaseType, SizeInBits,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DICompositeTypes, DICompositeTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, Flags, Elements, RuntimeLang, VTableHolder, TemplateParams,
Identifier))) return N; if (!ShouldCreate) return nullptr; }
else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 280, __PRETTY_FUNCTION__)); } } while (false)
279 AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DICompositeTypes, DICompositeTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, Flags, Elements, RuntimeLang, VTableHolder, TemplateParams,
Identifier))) return N; if (!ShouldCreate) return nullptr; }
else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 280, __PRETTY_FUNCTION__)); } } while (false)
280 VTableHolder, TemplateParams, Identifier))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DICompositeTypes, DICompositeTypeInfo::KeyTy(Tag, Name
, File, Line, Scope, BaseType, SizeInBits, AlignInBits, OffsetInBits
, Flags, Elements, RuntimeLang, VTableHolder, TemplateParams,
Identifier))) return N; if (!ShouldCreate) return nullptr; }
else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 280, __PRETTY_FUNCTION__)); } } while (false)
;
281 Metadata *Ops[] = {File, Scope, Name, BaseType,
282 Elements, VTableHolder, TemplateParams, Identifier};
283 DEFINE_GETIMPL_STORE(DICompositeType, (Tag, Line, RuntimeLang, SizeInBits,return storeImpl(new (array_lengthof(Ops)) DICompositeType(Context
, Storage, Tag, Line, RuntimeLang, SizeInBits, AlignInBits, OffsetInBits
, Flags, Ops), Storage, Context.pImpl->DICompositeTypes)
284 AlignInBits, OffsetInBits, Flags),return storeImpl(new (array_lengthof(Ops)) DICompositeType(Context
, Storage, Tag, Line, RuntimeLang, SizeInBits, AlignInBits, OffsetInBits
, Flags, Ops), Storage, Context.pImpl->DICompositeTypes)
285 Ops)return storeImpl(new (array_lengthof(Ops)) DICompositeType(Context
, Storage, Tag, Line, RuntimeLang, SizeInBits, AlignInBits, OffsetInBits
, Flags, Ops), Storage, Context.pImpl->DICompositeTypes)
;
286}
287
288DICompositeType *DICompositeType::buildODRType(
289 LLVMContext &Context, MDString &Identifier, unsigned Tag, MDString *Name,
290 Metadata *File, unsigned Line, Metadata *Scope, Metadata *BaseType,
291 uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits,
292 DIFlags Flags, Metadata *Elements, unsigned RuntimeLang,
293 Metadata *VTableHolder, Metadata *TemplateParams) {
294 assert(!Identifier.getString().empty() && "Expected valid identifier")((!Identifier.getString().empty() && "Expected valid identifier"
) ? static_cast<void> (0) : __assert_fail ("!Identifier.getString().empty() && \"Expected valid identifier\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 294, __PRETTY_FUNCTION__))
;
295 if (!Context.isODRUniquingDebugTypes())
296 return nullptr;
297 auto *&CT = (*Context.pImpl->DITypeMap)[&Identifier];
298 if (!CT)
299 return CT = DICompositeType::getDistinct(
300 Context, Tag, Name, File, Line, Scope, BaseType, SizeInBits,
301 AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,
302 VTableHolder, TemplateParams, &Identifier);
303
304 // Only mutate CT if it's a forward declaration and the new operands aren't.
305 assert(CT->getRawIdentifier() == &Identifier && "Wrong ODR identifier?")((CT->getRawIdentifier() == &Identifier && "Wrong ODR identifier?"
) ? static_cast<void> (0) : __assert_fail ("CT->getRawIdentifier() == &Identifier && \"Wrong ODR identifier?\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 305, __PRETTY_FUNCTION__))
;
306 if (!CT->isForwardDecl() || (Flags & DINode::FlagFwdDecl))
307 return CT;
308
309 // Mutate CT in place. Keep this in sync with getImpl.
310 CT->mutate(Tag, Line, RuntimeLang, SizeInBits, AlignInBits, OffsetInBits,
311 Flags);
312 Metadata *Ops[] = {File, Scope, Name, BaseType,
313 Elements, VTableHolder, TemplateParams, &Identifier};
314 assert((std::end(Ops) - std::begin(Ops)) == (int)CT->getNumOperands() &&(((std::end(Ops) - std::begin(Ops)) == (int)CT->getNumOperands
() && "Mismatched number of operands") ? static_cast<
void> (0) : __assert_fail ("(std::end(Ops) - std::begin(Ops)) == (int)CT->getNumOperands() && \"Mismatched number of operands\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 315, __PRETTY_FUNCTION__))
315 "Mismatched number of operands")(((std::end(Ops) - std::begin(Ops)) == (int)CT->getNumOperands
() && "Mismatched number of operands") ? static_cast<
void> (0) : __assert_fail ("(std::end(Ops) - std::begin(Ops)) == (int)CT->getNumOperands() && \"Mismatched number of operands\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 315, __PRETTY_FUNCTION__))
;
316 for (unsigned I = 0, E = CT->getNumOperands(); I != E; ++I)
317 if (Ops[I] != CT->getOperand(I))
318 CT->setOperand(I, Ops[I]);
319 return CT;
320}
321
322DICompositeType *DICompositeType::getODRType(
323 LLVMContext &Context, MDString &Identifier, unsigned Tag, MDString *Name,
324 Metadata *File, unsigned Line, Metadata *Scope, Metadata *BaseType,
325 uint64_t SizeInBits, uint32_t AlignInBits, uint64_t OffsetInBits,
326 DIFlags Flags, Metadata *Elements, unsigned RuntimeLang,
327 Metadata *VTableHolder, Metadata *TemplateParams) {
328 assert(!Identifier.getString().empty() && "Expected valid identifier")((!Identifier.getString().empty() && "Expected valid identifier"
) ? static_cast<void> (0) : __assert_fail ("!Identifier.getString().empty() && \"Expected valid identifier\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 328, __PRETTY_FUNCTION__))
;
329 if (!Context.isODRUniquingDebugTypes())
330 return nullptr;
331 auto *&CT = (*Context.pImpl->DITypeMap)[&Identifier];
332 if (!CT)
333 CT = DICompositeType::getDistinct(
334 Context, Tag, Name, File, Line, Scope, BaseType, SizeInBits,
335 AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang, VTableHolder,
336 TemplateParams, &Identifier);
337 return CT;
338}
339
340DICompositeType *DICompositeType::getODRTypeIfExists(LLVMContext &Context,
341 MDString &Identifier) {
342 assert(!Identifier.getString().empty() && "Expected valid identifier")((!Identifier.getString().empty() && "Expected valid identifier"
) ? static_cast<void> (0) : __assert_fail ("!Identifier.getString().empty() && \"Expected valid identifier\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 342, __PRETTY_FUNCTION__))
;
343 if (!Context.isODRUniquingDebugTypes())
344 return nullptr;
345 return Context.pImpl->DITypeMap->lookup(&Identifier);
346}
347
348DISubroutineType *DISubroutineType::getImpl(LLVMContext &Context, DIFlags Flags,
349 uint8_t CC, Metadata *TypeArray,
350 StorageType Storage,
351 bool ShouldCreate) {
352 DEFINE_GETIMPL_LOOKUP(DISubroutineType, (Flags, CC, TypeArray))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubroutineTypes, DISubroutineTypeInfo::KeyTy(Flags
, CC, TypeArray))) return N; if (!ShouldCreate) return nullptr
; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 352, __PRETTY_FUNCTION__)); } } while (false)
;
353 Metadata *Ops[] = {nullptr, nullptr, nullptr, TypeArray};
354 DEFINE_GETIMPL_STORE(DISubroutineType, (Flags, CC), Ops)return storeImpl(new (array_lengthof(Ops)) DISubroutineType(Context
, Storage, Flags, CC, Ops), Storage, Context.pImpl->DISubroutineTypes
)
;
355}
356
357static const char *ChecksumKindName[DIFile::CSK_Last + 1] = {
358 "CSK_None",
359 "CSK_MD5",
360 "CSK_SHA1"
361};
362
363DIFile::ChecksumKind DIFile::getChecksumKind(StringRef CSKindStr) {
364 return StringSwitch<DIFile::ChecksumKind>(CSKindStr)
365 .Case("CSK_MD5", DIFile::CSK_MD5)
366 .Case("CSK_SHA1", DIFile::CSK_SHA1)
367 .Default(DIFile::CSK_None);
368}
369
370StringRef DIFile::getChecksumKindAsString() const {
371 assert(CSKind <= DIFile::CSK_Last && "Invalid checksum kind")((CSKind <= DIFile::CSK_Last && "Invalid checksum kind"
) ? static_cast<void> (0) : __assert_fail ("CSKind <= DIFile::CSK_Last && \"Invalid checksum kind\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 371, __PRETTY_FUNCTION__))
;
372 return ChecksumKindName[CSKind];
373}
374
375DIFile *DIFile::getImpl(LLVMContext &Context, MDString *Filename,
376 MDString *Directory, DIFile::ChecksumKind CSKind,
377 MDString *Checksum, StorageType Storage,
378 bool ShouldCreate) {
379 assert(isCanonical(Filename) && "Expected canonical MDString")((isCanonical(Filename) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Filename) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 379, __PRETTY_FUNCTION__))
;
380 assert(isCanonical(Directory) && "Expected canonical MDString")((isCanonical(Directory) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Directory) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 380, __PRETTY_FUNCTION__))
;
381 assert(isCanonical(Checksum) && "Expected canonical MDString")((isCanonical(Checksum) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Checksum) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 381, __PRETTY_FUNCTION__))
;
382 DEFINE_GETIMPL_LOOKUP(DIFile, (Filename, Directory, CSKind, Checksum))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIFiles, DIFileInfo::KeyTy(Filename, Directory, CSKind
, Checksum))) return N; if (!ShouldCreate) return nullptr; } else
{ ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 382, __PRETTY_FUNCTION__)); } } while (false)
;
383 Metadata *Ops[] = {Filename, Directory, Checksum};
384 DEFINE_GETIMPL_STORE(DIFile, (CSKind), Ops)return storeImpl(new (array_lengthof(Ops)) DIFile(Context, Storage
, CSKind, Ops), Storage, Context.pImpl->DIFiles)
;
385}
386
387DICompileUnit *DICompileUnit::getImpl(
388 LLVMContext &Context, unsigned SourceLanguage, Metadata *File,
389 MDString *Producer, bool IsOptimized, MDString *Flags,
390 unsigned RuntimeVersion, MDString *SplitDebugFilename,
391 unsigned EmissionKind, Metadata *EnumTypes, Metadata *RetainedTypes,
392 Metadata *GlobalVariables, Metadata *ImportedEntities, Metadata *Macros,
393 uint64_t DWOId, bool SplitDebugInlining, bool DebugInfoForProfiling,
394 StorageType Storage, bool ShouldCreate) {
395 assert(Storage != Uniqued && "Cannot unique DICompileUnit")((Storage != Uniqued && "Cannot unique DICompileUnit"
) ? static_cast<void> (0) : __assert_fail ("Storage != Uniqued && \"Cannot unique DICompileUnit\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 395, __PRETTY_FUNCTION__))
;
396 assert(isCanonical(Producer) && "Expected canonical MDString")((isCanonical(Producer) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Producer) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 396, __PRETTY_FUNCTION__))
;
397 assert(isCanonical(Flags) && "Expected canonical MDString")((isCanonical(Flags) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(Flags) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 397, __PRETTY_FUNCTION__))
;
398 assert(isCanonical(SplitDebugFilename) && "Expected canonical MDString")((isCanonical(SplitDebugFilename) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(SplitDebugFilename) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 398, __PRETTY_FUNCTION__))
;
399
400 Metadata *Ops[] = {
401 File, Producer, Flags, SplitDebugFilename,
402 EnumTypes, RetainedTypes, GlobalVariables, ImportedEntities,
403 Macros};
404 return storeImpl(new (array_lengthof(Ops))
405 DICompileUnit(Context, Storage, SourceLanguage,
406 IsOptimized, RuntimeVersion, EmissionKind,
407 DWOId, SplitDebugInlining,
408 DebugInfoForProfiling, Ops),
409 Storage);
410}
411
412Optional<DICompileUnit::DebugEmissionKind>
413DICompileUnit::getEmissionKind(StringRef Str) {
414 return StringSwitch<Optional<DebugEmissionKind>>(Str)
415 .Case("NoDebug", NoDebug)
416 .Case("FullDebug", FullDebug)
417 .Case("LineTablesOnly", LineTablesOnly)
418 .Default(None);
419}
420
421const char *DICompileUnit::EmissionKindString(DebugEmissionKind EK) {
422 switch (EK) {
423 case NoDebug: return "NoDebug";
424 case FullDebug: return "FullDebug";
425 case LineTablesOnly: return "LineTablesOnly";
426 }
427 return nullptr;
428}
429
430DISubprogram *DILocalScope::getSubprogram() const {
431 if (auto *Block = dyn_cast<DILexicalBlockBase>(this))
432 return Block->getScope()->getSubprogram();
433 return const_cast<DISubprogram *>(cast<DISubprogram>(this));
434}
435
436DILocalScope *DILocalScope::getNonLexicalBlockFileScope() const {
437 if (auto *File = dyn_cast<DILexicalBlockFile>(this))
438 return File->getScope()->getNonLexicalBlockFileScope();
439 return const_cast<DILocalScope *>(this);
440}
441
442DISubprogram *DISubprogram::getImpl(
443 LLVMContext &Context, Metadata *Scope, MDString *Name,
444 MDString *LinkageName, Metadata *File, unsigned Line, Metadata *Type,
445 bool IsLocalToUnit, bool IsDefinition, unsigned ScopeLine,
446 Metadata *ContainingType, unsigned Virtuality, unsigned VirtualIndex,
447 int ThisAdjustment, DIFlags Flags, bool IsOptimized, Metadata *Unit,
448 Metadata *TemplateParams, Metadata *Declaration, Metadata *Variables,
449 Metadata *ThrownTypes, StorageType Storage, bool ShouldCreate) {
450 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 450, __PRETTY_FUNCTION__))
;
451 assert(isCanonical(LinkageName) && "Expected canonical MDString")((isCanonical(LinkageName) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(LinkageName) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 451, __PRETTY_FUNCTION__))
;
452 DEFINE_GETIMPL_LOOKUP(do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubprograms, DISubprogramInfo::KeyTy(Scope, Name
, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
ScopeLine, ContainingType, Virtuality, VirtualIndex, ThisAdjustment
, Flags, IsOptimized, Unit, TemplateParams, Declaration, Variables
, ThrownTypes))) return N; if (!ShouldCreate) return nullptr;
} else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 456, __PRETTY_FUNCTION__)); } } while (false)
453 DISubprogram, (Scope, Name, LinkageName, File, Line, Type, IsLocalToUnit,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubprograms, DISubprogramInfo::KeyTy(Scope, Name
, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
ScopeLine, ContainingType, Virtuality, VirtualIndex, ThisAdjustment
, Flags, IsOptimized, Unit, TemplateParams, Declaration, Variables
, ThrownTypes))) return N; if (!ShouldCreate) return nullptr;
} else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 456, __PRETTY_FUNCTION__)); } } while (false)
454 IsDefinition, ScopeLine, ContainingType, Virtuality,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubprograms, DISubprogramInfo::KeyTy(Scope, Name
, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
ScopeLine, ContainingType, Virtuality, VirtualIndex, ThisAdjustment
, Flags, IsOptimized, Unit, TemplateParams, Declaration, Variables
, ThrownTypes))) return N; if (!ShouldCreate) return nullptr;
} else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 456, __PRETTY_FUNCTION__)); } } while (false)
455 VirtualIndex, ThisAdjustment, Flags, IsOptimized, Unit,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubprograms, DISubprogramInfo::KeyTy(Scope, Name
, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
ScopeLine, ContainingType, Virtuality, VirtualIndex, ThisAdjustment
, Flags, IsOptimized, Unit, TemplateParams, Declaration, Variables
, ThrownTypes))) return N; if (!ShouldCreate) return nullptr;
} else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 456, __PRETTY_FUNCTION__)); } } while (false)
456 TemplateParams, Declaration, Variables, ThrownTypes))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DISubprograms, DISubprogramInfo::KeyTy(Scope, Name
, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition,
ScopeLine, ContainingType, Virtuality, VirtualIndex, ThisAdjustment
, Flags, IsOptimized, Unit, TemplateParams, Declaration, Variables
, ThrownTypes))) return N; if (!ShouldCreate) return nullptr;
} else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 456, __PRETTY_FUNCTION__)); } } while (false)
;
457 SmallVector<Metadata *, 11> Ops = {
458 File, Scope, Name, LinkageName, Type, Unit,
459 Declaration, Variables, ContainingType, TemplateParams, ThrownTypes};
460 if (!ThrownTypes) {
461 Ops.pop_back();
462 if (!TemplateParams) {
463 Ops.pop_back();
464 if (!ContainingType)
465 Ops.pop_back();
466 }
467 }
468 DEFINE_GETIMPL_STORE_N(DISubprogram,return storeImpl(new (Ops.size()) DISubprogram(Context, Storage
, Line, ScopeLine, Virtuality, VirtualIndex, ThisAdjustment, Flags
, IsLocalToUnit, IsDefinition, IsOptimized, Ops), Storage, Context
.pImpl->DISubprograms)
469 (Line, ScopeLine, Virtuality, VirtualIndex,return storeImpl(new (Ops.size()) DISubprogram(Context, Storage
, Line, ScopeLine, Virtuality, VirtualIndex, ThisAdjustment, Flags
, IsLocalToUnit, IsDefinition, IsOptimized, Ops), Storage, Context
.pImpl->DISubprograms)
470 ThisAdjustment, Flags, IsLocalToUnit, IsDefinition,return storeImpl(new (Ops.size()) DISubprogram(Context, Storage
, Line, ScopeLine, Virtuality, VirtualIndex, ThisAdjustment, Flags
, IsLocalToUnit, IsDefinition, IsOptimized, Ops), Storage, Context
.pImpl->DISubprograms)
471 IsOptimized),return storeImpl(new (Ops.size()) DISubprogram(Context, Storage
, Line, ScopeLine, Virtuality, VirtualIndex, ThisAdjustment, Flags
, IsLocalToUnit, IsDefinition, IsOptimized, Ops), Storage, Context
.pImpl->DISubprograms)
472 Ops, Ops.size())return storeImpl(new (Ops.size()) DISubprogram(Context, Storage
, Line, ScopeLine, Virtuality, VirtualIndex, ThisAdjustment, Flags
, IsLocalToUnit, IsDefinition, IsOptimized, Ops), Storage, Context
.pImpl->DISubprograms)
;
473}
474
475bool DISubprogram::describes(const Function *F) const {
476 assert(F && "Invalid function")((F && "Invalid function") ? static_cast<void> (
0) : __assert_fail ("F && \"Invalid function\"", "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 476, __PRETTY_FUNCTION__))
;
477 if (F->getSubprogram() == this)
478 return true;
479 StringRef Name = getLinkageName();
480 if (Name.empty())
481 Name = getName();
482 return F->getName() == Name;
483}
484
485DILexicalBlock *DILexicalBlock::getImpl(LLVMContext &Context, Metadata *Scope,
486 Metadata *File, unsigned Line,
487 unsigned Column, StorageType Storage,
488 bool ShouldCreate) {
489 // Fixup column.
490 adjustColumn(Column);
491
492 assert(Scope && "Expected scope")((Scope && "Expected scope") ? static_cast<void>
(0) : __assert_fail ("Scope && \"Expected scope\"", "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 492, __PRETTY_FUNCTION__))
;
493 DEFINE_GETIMPL_LOOKUP(DILexicalBlock, (Scope, File, Line, Column))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DILexicalBlocks, DILexicalBlockInfo::KeyTy(Scope, File
, Line, Column))) return N; if (!ShouldCreate) return nullptr
; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 493, __PRETTY_FUNCTION__)); } } while (false)
;
494 Metadata *Ops[] = {File, Scope};
495 DEFINE_GETIMPL_STORE(DILexicalBlock, (Line, Column), Ops)return storeImpl(new (array_lengthof(Ops)) DILexicalBlock(Context
, Storage, Line, Column, Ops), Storage, Context.pImpl->DILexicalBlocks
)
;
496}
497
498DILexicalBlockFile *DILexicalBlockFile::getImpl(LLVMContext &Context,
499 Metadata *Scope, Metadata *File,
500 unsigned Discriminator,
501 StorageType Storage,
502 bool ShouldCreate) {
503 assert(Scope && "Expected scope")((Scope && "Expected scope") ? static_cast<void>
(0) : __assert_fail ("Scope && \"Expected scope\"", "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 503, __PRETTY_FUNCTION__))
;
504 DEFINE_GETIMPL_LOOKUP(DILexicalBlockFile, (Scope, File, Discriminator))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DILexicalBlockFiles, DILexicalBlockFileInfo::KeyTy
(Scope, File, Discriminator))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 504, __PRETTY_FUNCTION__)); } } while (false)
;
505 Metadata *Ops[] = {File, Scope};
506 DEFINE_GETIMPL_STORE(DILexicalBlockFile, (Discriminator), Ops)return storeImpl(new (array_lengthof(Ops)) DILexicalBlockFile
(Context, Storage, Discriminator, Ops), Storage, Context.pImpl
->DILexicalBlockFiles)
;
507}
508
509DINamespace *DINamespace::getImpl(LLVMContext &Context, Metadata *Scope,
510 MDString *Name, bool ExportSymbols,
511 StorageType Storage, bool ShouldCreate) {
512 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 512, __PRETTY_FUNCTION__))
;
513 DEFINE_GETIMPL_LOOKUP(DINamespace, (Scope, Name, ExportSymbols))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DINamespaces, DINamespaceInfo::KeyTy(Scope, Name, ExportSymbols
))) return N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 513, __PRETTY_FUNCTION__)); } } while (false)
;
514 // The nullptr is for DIScope's File operand. This should be refactored.
515 Metadata *Ops[] = {nullptr, Scope, Name};
516 DEFINE_GETIMPL_STORE(DINamespace, (ExportSymbols), Ops)return storeImpl(new (array_lengthof(Ops)) DINamespace(Context
, Storage, ExportSymbols, Ops), Storage, Context.pImpl->DINamespaces
)
;
517}
518
519DIModule *DIModule::getImpl(LLVMContext &Context, Metadata *Scope,
520 MDString *Name, MDString *ConfigurationMacros,
521 MDString *IncludePath, MDString *ISysRoot,
522 StorageType Storage, bool ShouldCreate) {
523 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 523, __PRETTY_FUNCTION__))
;
524 DEFINE_GETIMPL_LOOKUP(do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIModules, DIModuleInfo::KeyTy(Scope, Name, ConfigurationMacros
, IncludePath, ISysRoot))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 525, __PRETTY_FUNCTION__)); } } while (false)
525 DIModule, (Scope, Name, ConfigurationMacros, IncludePath, ISysRoot))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIModules, DIModuleInfo::KeyTy(Scope, Name, ConfigurationMacros
, IncludePath, ISysRoot))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 525, __PRETTY_FUNCTION__)); } } while (false)
;
526 Metadata *Ops[] = {Scope, Name, ConfigurationMacros, IncludePath, ISysRoot};
527 DEFINE_GETIMPL_STORE_NO_CONSTRUCTOR_ARGS(DIModule, Ops)return storeImpl(new (array_lengthof(Ops)) DIModule(Context, Storage
, Ops), Storage, Context.pImpl->DIModules)
;
528}
529
530DITemplateTypeParameter *DITemplateTypeParameter::getImpl(LLVMContext &Context,
531 MDString *Name,
532 Metadata *Type,
533 StorageType Storage,
534 bool ShouldCreate) {
535 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 535, __PRETTY_FUNCTION__))
;
536 DEFINE_GETIMPL_LOOKUP(DITemplateTypeParameter, (Name, Type))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DITemplateTypeParameters, DITemplateTypeParameterInfo
::KeyTy(Name, Type))) return N; if (!ShouldCreate) return nullptr
; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 536, __PRETTY_FUNCTION__)); } } while (false)
;
537 Metadata *Ops[] = {Name, Type};
538 DEFINE_GETIMPL_STORE_NO_CONSTRUCTOR_ARGS(DITemplateTypeParameter, Ops)return storeImpl(new (array_lengthof(Ops)) DITemplateTypeParameter
(Context, Storage, Ops), Storage, Context.pImpl->DITemplateTypeParameters
)
;
539}
540
541DITemplateValueParameter *DITemplateValueParameter::getImpl(
542 LLVMContext &Context, unsigned Tag, MDString *Name, Metadata *Type,
543 Metadata *Value, StorageType Storage, bool ShouldCreate) {
544 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 544, __PRETTY_FUNCTION__))
;
545 DEFINE_GETIMPL_LOOKUP(DITemplateValueParameter, (Tag, Name, Type, Value))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DITemplateValueParameters, DITemplateValueParameterInfo
::KeyTy(Tag, Name, Type, Value))) return N; if (!ShouldCreate
) return nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 545, __PRETTY_FUNCTION__)); } } while (false)
;
546 Metadata *Ops[] = {Name, Type, Value};
547 DEFINE_GETIMPL_STORE(DITemplateValueParameter, (Tag), Ops)return storeImpl(new (array_lengthof(Ops)) DITemplateValueParameter
(Context, Storage, Tag, Ops), Storage, Context.pImpl->DITemplateValueParameters
)
;
548}
549
550DIGlobalVariable *
551DIGlobalVariable::getImpl(LLVMContext &Context, Metadata *Scope, MDString *Name,
552 MDString *LinkageName, Metadata *File, unsigned Line,
553 Metadata *Type, bool IsLocalToUnit, bool IsDefinition,
554 Metadata *StaticDataMemberDeclaration,
555 uint32_t AlignInBits, StorageType Storage,
556 bool ShouldCreate) {
557 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 557, __PRETTY_FUNCTION__))
;
558 assert(isCanonical(LinkageName) && "Expected canonical MDString")((isCanonical(LinkageName) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(LinkageName) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 558, __PRETTY_FUNCTION__))
;
559 DEFINE_GETIMPL_LOOKUP(DIGlobalVariable,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIGlobalVariables, DIGlobalVariableInfo::KeyTy(Scope
, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition
, StaticDataMemberDeclaration, AlignInBits))) return N; if (!
ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 562, __PRETTY_FUNCTION__)); } } while (false)
560 (Scope, Name, LinkageName, File, Line, Type,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIGlobalVariables, DIGlobalVariableInfo::KeyTy(Scope
, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition
, StaticDataMemberDeclaration, AlignInBits))) return N; if (!
ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 562, __PRETTY_FUNCTION__)); } } while (false)
561 IsLocalToUnit, IsDefinition,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIGlobalVariables, DIGlobalVariableInfo::KeyTy(Scope
, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition
, StaticDataMemberDeclaration, AlignInBits))) return N; if (!
ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 562, __PRETTY_FUNCTION__)); } } while (false)
562 StaticDataMemberDeclaration, AlignInBits))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIGlobalVariables, DIGlobalVariableInfo::KeyTy(Scope
, Name, LinkageName, File, Line, Type, IsLocalToUnit, IsDefinition
, StaticDataMemberDeclaration, AlignInBits))) return N; if (!
ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 562, __PRETTY_FUNCTION__)); } } while (false)
;
563 Metadata *Ops[] = {
564 Scope, Name, File, Type, Name, LinkageName, StaticDataMemberDeclaration};
565 DEFINE_GETIMPL_STORE(DIGlobalVariable,return storeImpl(new (array_lengthof(Ops)) DIGlobalVariable(Context
, Storage, Line, IsLocalToUnit, IsDefinition, AlignInBits, Ops
), Storage, Context.pImpl->DIGlobalVariables)
566 (Line, IsLocalToUnit, IsDefinition, AlignInBits),return storeImpl(new (array_lengthof(Ops)) DIGlobalVariable(Context
, Storage, Line, IsLocalToUnit, IsDefinition, AlignInBits, Ops
), Storage, Context.pImpl->DIGlobalVariables)
567 Ops)return storeImpl(new (array_lengthof(Ops)) DIGlobalVariable(Context
, Storage, Line, IsLocalToUnit, IsDefinition, AlignInBits, Ops
), Storage, Context.pImpl->DIGlobalVariables)
;
568}
569
570DILocalVariable *DILocalVariable::getImpl(LLVMContext &Context, Metadata *Scope,
571 MDString *Name, Metadata *File,
572 unsigned Line, Metadata *Type,
573 unsigned Arg, DIFlags Flags,
574 uint32_t AlignInBits,
575 StorageType Storage,
576 bool ShouldCreate) {
577 // 64K ought to be enough for any frontend.
578 assert(Arg <= UINT16_MAX && "Expected argument number to fit in 16-bits")((Arg <= (65535) && "Expected argument number to fit in 16-bits"
) ? static_cast<void> (0) : __assert_fail ("Arg <= UINT16_MAX && \"Expected argument number to fit in 16-bits\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 578, __PRETTY_FUNCTION__))
;
579
580 assert(Scope && "Expected scope")((Scope && "Expected scope") ? static_cast<void>
(0) : __assert_fail ("Scope && \"Expected scope\"", "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 580, __PRETTY_FUNCTION__))
;
581 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 581, __PRETTY_FUNCTION__))
;
582 DEFINE_GETIMPL_LOOKUP(DILocalVariable,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DILocalVariables, DILocalVariableInfo::KeyTy(Scope
, Name, File, Line, Type, Arg, Flags, AlignInBits))) return N
; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 584, __PRETTY_FUNCTION__)); } } while (false)
583 (Scope, Name, File, Line, Type, Arg, Flags,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DILocalVariables, DILocalVariableInfo::KeyTy(Scope
, Name, File, Line, Type, Arg, Flags, AlignInBits))) return N
; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 584, __PRETTY_FUNCTION__)); } } while (false)
584 AlignInBits))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DILocalVariables, DILocalVariableInfo::KeyTy(Scope
, Name, File, Line, Type, Arg, Flags, AlignInBits))) return N
; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 584, __PRETTY_FUNCTION__)); } } while (false)
;
585 Metadata *Ops[] = {Scope, Name, File, Type};
586 DEFINE_GETIMPL_STORE(DILocalVariable, (Line, Arg, Flags, AlignInBits), Ops)return storeImpl(new (array_lengthof(Ops)) DILocalVariable(Context
, Storage, Line, Arg, Flags, AlignInBits, Ops), Storage, Context
.pImpl->DILocalVariables)
;
587}
588
589DIExpression *DIExpression::getImpl(LLVMContext &Context,
590 ArrayRef<uint64_t> Elements,
591 StorageType Storage, bool ShouldCreate) {
592 DEFINE_GETIMPL_LOOKUP(DIExpression, (Elements))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIExpressions, DIExpressionInfo::KeyTy(Elements)))
return N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 592, __PRETTY_FUNCTION__)); } } while (false)
;
593 DEFINE_GETIMPL_STORE_NO_OPS(DIExpression, (Elements))return storeImpl(new (0u) DIExpression(Context, Storage, Elements
), Storage, Context.pImpl->DIExpressions)
;
594}
595
596unsigned DIExpression::ExprOperand::getSize() const {
597 switch (getOp()) {
598 case dwarf::DW_OP_LLVM_fragment:
599 return 3;
600 case dwarf::DW_OP_constu:
601 case dwarf::DW_OP_plus:
602 case dwarf::DW_OP_minus:
603 return 2;
604 default:
605 return 1;
606 }
607}
608
609bool DIExpression::isValid() const {
610 for (auto I = expr_op_begin(), E = expr_op_end(); I != E; ++I) {
611 // Check that there's space for the operand.
612 if (I->get() + I->getSize() > E->get())
613 return false;
614
615 // Check that the operand is valid.
616 switch (I->getOp()) {
617 default:
618 return false;
619 case dwarf::DW_OP_LLVM_fragment:
620 // A fragment operator must appear at the end.
621 return I->get() + I->getSize() == E->get();
622 case dwarf::DW_OP_stack_value: {
623 // Must be the last one or followed by a DW_OP_LLVM_fragment.
624 if (I->get() + I->getSize() == E->get())
625 break;
626 auto J = I;
627 if ((++J)->getOp() != dwarf::DW_OP_LLVM_fragment)
628 return false;
629 break;
630 }
631 case dwarf::DW_OP_swap: {
632 // Must be more than one implicit element on the stack.
633
634 // FIXME: A better way to implement this would be to add a local variable
635 // that keeps track of the stack depth and introduce something like a
636 // DW_LLVM_OP_implicit_location as a placeholder for the location this
637 // DIExpression is attached to, or else pass the number of implicit stack
638 // elements into isValid.
639 if (getNumElements() == 1)
640 return false;
641 break;
642 }
643 case dwarf::DW_OP_constu:
644 case dwarf::DW_OP_plus:
645 case dwarf::DW_OP_minus:
646 case dwarf::DW_OP_deref:
647 case dwarf::DW_OP_xderef:
648 break;
649 }
650 }
651 return true;
652}
653
654Optional<DIExpression::FragmentInfo>
655DIExpression::getFragmentInfo(expr_op_iterator Start, expr_op_iterator End) {
656 for (auto I = Start; I != End; ++I)
657 if (I->getOp() == dwarf::DW_OP_LLVM_fragment) {
658 DIExpression::FragmentInfo Info = {I->getArg(1), I->getArg(0)};
659 return Info;
660 }
661 return None;
662}
663
664void DIExpression::appendOffset(SmallVectorImpl<uint64_t> &Ops,
665 int64_t Offset) {
666 if (Offset > 0) {
667 Ops.push_back(dwarf::DW_OP_plus);
668 Ops.push_back(Offset);
669 } else if (Offset < 0) {
670 Ops.push_back(dwarf::DW_OP_minus);
671 Ops.push_back(-Offset);
672 }
673}
674
675bool DIExpression::extractIfOffset(int64_t &Offset) const {
676 if (getNumElements() == 0) {
677 Offset = 0;
678 return true;
679 }
680 if (getNumElements() != 2)
681 return false;
682 if (Elements[0] == dwarf::DW_OP_plus) {
683 Offset = Elements[1];
684 return true;
685 }
686 if (Elements[0] == dwarf::DW_OP_minus) {
687 Offset = -Elements[1];
688 return true;
689 }
690 return false;
691}
692
693DIExpression *DIExpression::prepend(const DIExpression *Expr, bool Deref,
694 int64_t Offset, bool StackValue) {
695 SmallVector<uint64_t, 8> Ops;
696 appendOffset(Ops, Offset);
697 if (Deref)
1
Assuming 'Deref' is 0
2
Taking false branch
698 Ops.push_back(dwarf::DW_OP_deref);
699 if (Expr)
3
Assuming 'Expr' is null
4
Taking false branch
700 for (auto Op : Expr->expr_ops()) {
701 // A DW_OP_stack_value comes at the end, but before a DW_OP_LLVM_fragment.
702 if (StackValue) {
703 if (Op.getOp() == dwarf::DW_OP_stack_value)
704 StackValue = false;
705 else if (Op.getOp() == dwarf::DW_OP_LLVM_fragment) {
706 Ops.push_back(dwarf::DW_OP_stack_value);
707 StackValue = false;
708 }
709 }
710 Ops.push_back(Op.getOp());
711 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
712 Ops.push_back(Op.getArg(I));
713 }
714 if (StackValue)
5
Assuming 'StackValue' is 0
6
Taking false branch
715 Ops.push_back(dwarf::DW_OP_stack_value);
716 return DIExpression::get(Expr->getContext(), Ops);
7
Called C++ object pointer is null
717}
718
719bool DIExpression::isConstant() const {
720 // Recognize DW_OP_constu C DW_OP_stack_value (DW_OP_LLVM_fragment Len Ofs)?.
721 if (getNumElements() != 3 && getNumElements() != 6)
722 return false;
723 if (getElement(0) != dwarf::DW_OP_constu ||
724 getElement(2) != dwarf::DW_OP_stack_value)
725 return false;
726 if (getNumElements() == 6 && getElement(3) != dwarf::DW_OP_LLVM_fragment)
727 return false;
728 return true;
729}
730
731DIGlobalVariableExpression *
732DIGlobalVariableExpression::getImpl(LLVMContext &Context, Metadata *Variable,
733 Metadata *Expression, StorageType Storage,
734 bool ShouldCreate) {
735 DEFINE_GETIMPL_LOOKUP(DIGlobalVariableExpression, (Variable, Expression))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIGlobalVariableExpressions, DIGlobalVariableExpressionInfo
::KeyTy(Variable, Expression))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 735, __PRETTY_FUNCTION__)); } } while (false)
;
736 Metadata *Ops[] = {Variable, Expression};
737 DEFINE_GETIMPL_STORE_NO_CONSTRUCTOR_ARGS(DIGlobalVariableExpression, Ops)return storeImpl(new (array_lengthof(Ops)) DIGlobalVariableExpression
(Context, Storage, Ops), Storage, Context.pImpl->DIGlobalVariableExpressions
)
;
738}
739
740DIObjCProperty *DIObjCProperty::getImpl(
741 LLVMContext &Context, MDString *Name, Metadata *File, unsigned Line,
742 MDString *GetterName, MDString *SetterName, unsigned Attributes,
743 Metadata *Type, StorageType Storage, bool ShouldCreate) {
744 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 744, __PRETTY_FUNCTION__))
;
745 assert(isCanonical(GetterName) && "Expected canonical MDString")((isCanonical(GetterName) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(GetterName) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 745, __PRETTY_FUNCTION__))
;
746 assert(isCanonical(SetterName) && "Expected canonical MDString")((isCanonical(SetterName) && "Expected canonical MDString"
) ? static_cast<void> (0) : __assert_fail ("isCanonical(SetterName) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 746, __PRETTY_FUNCTION__))
;
747 DEFINE_GETIMPL_LOOKUP(DIObjCProperty, (Name, File, Line, GetterName,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIObjCPropertys, DIObjCPropertyInfo::KeyTy(Name, File
, Line, GetterName, SetterName, Attributes, Type))) return N;
if (!ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 748, __PRETTY_FUNCTION__)); } } while (false)
748 SetterName, Attributes, Type))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIObjCPropertys, DIObjCPropertyInfo::KeyTy(Name, File
, Line, GetterName, SetterName, Attributes, Type))) return N;
if (!ShouldCreate) return nullptr; } else { ((ShouldCreate &&
"Expected non-uniqued nodes to always be created") ? static_cast
<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 748, __PRETTY_FUNCTION__)); } } while (false)
;
749 Metadata *Ops[] = {Name, File, GetterName, SetterName, Type};
750 DEFINE_GETIMPL_STORE(DIObjCProperty, (Line, Attributes), Ops)return storeImpl(new (array_lengthof(Ops)) DIObjCProperty(Context
, Storage, Line, Attributes, Ops), Storage, Context.pImpl->
DIObjCPropertys)
;
751}
752
753DIImportedEntity *DIImportedEntity::getImpl(LLVMContext &Context, unsigned Tag,
754 Metadata *Scope, Metadata *Entity,
755 unsigned Line, MDString *Name,
756 StorageType Storage,
757 bool ShouldCreate) {
758 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 758, __PRETTY_FUNCTION__))
;
759 DEFINE_GETIMPL_LOOKUP(DIImportedEntity, (Tag, Scope, Entity, Line, Name))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIImportedEntitys, DIImportedEntityInfo::KeyTy(Tag
, Scope, Entity, Line, Name))) return N; if (!ShouldCreate) return
nullptr; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 759, __PRETTY_FUNCTION__)); } } while (false)
;
760 Metadata *Ops[] = {Scope, Entity, Name};
761 DEFINE_GETIMPL_STORE(DIImportedEntity, (Tag, Line), Ops)return storeImpl(new (array_lengthof(Ops)) DIImportedEntity(Context
, Storage, Tag, Line, Ops), Storage, Context.pImpl->DIImportedEntitys
)
;
762}
763
764DIMacro *DIMacro::getImpl(LLVMContext &Context, unsigned MIType,
765 unsigned Line, MDString *Name, MDString *Value,
766 StorageType Storage, bool ShouldCreate) {
767 assert(isCanonical(Name) && "Expected canonical MDString")((isCanonical(Name) && "Expected canonical MDString")
? static_cast<void> (0) : __assert_fail ("isCanonical(Name) && \"Expected canonical MDString\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 767, __PRETTY_FUNCTION__))
;
768 DEFINE_GETIMPL_LOOKUP(DIMacro, (MIType, Line, Name, Value))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIMacros, DIMacroInfo::KeyTy(MIType, Line, Name, Value
))) return N; if (!ShouldCreate) return nullptr; } else { ((ShouldCreate
&& "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 768, __PRETTY_FUNCTION__)); } } while (false)
;
769 Metadata *Ops[] = { Name, Value };
770 DEFINE_GETIMPL_STORE(DIMacro, (MIType, Line), Ops)return storeImpl(new (array_lengthof(Ops)) DIMacro(Context, Storage
, MIType, Line, Ops), Storage, Context.pImpl->DIMacros)
;
771}
772
773DIMacroFile *DIMacroFile::getImpl(LLVMContext &Context, unsigned MIType,
774 unsigned Line, Metadata *File,
775 Metadata *Elements, StorageType Storage,
776 bool ShouldCreate) {
777 DEFINE_GETIMPL_LOOKUP(DIMacroFile,do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIMacroFiles, DIMacroFileInfo::KeyTy(MIType, Line,
File, Elements))) return N; if (!ShouldCreate) return nullptr
; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 778, __PRETTY_FUNCTION__)); } } while (false)
778 (MIType, Line, File, Elements))do { if (Storage == Uniqued) { if (auto *N = getUniqued(Context
.pImpl->DIMacroFiles, DIMacroFileInfo::KeyTy(MIType, Line,
File, Elements))) return N; if (!ShouldCreate) return nullptr
; } else { ((ShouldCreate && "Expected non-uniqued nodes to always be created"
) ? static_cast<void> (0) : __assert_fail ("ShouldCreate && \"Expected non-uniqued nodes to always be created\""
, "/tmp/buildd/llvm-toolchain-snapshot-5.0~svn303373/lib/IR/DebugInfoMetadata.cpp"
, 778, __PRETTY_FUNCTION__)); } } while (false)
;
779 Metadata *Ops[] = { File, Elements };
780 DEFINE_GETIMPL_STORE(DIMacroFile, (MIType, Line), Ops)return storeImpl(new (array_lengthof(Ops)) DIMacroFile(Context
, Storage, MIType, Line, Ops), Storage, Context.pImpl->DIMacroFiles
)
;
781}
782