blob: e3806652830e7a2553677721944532698c721c69 [file] [log] [blame]
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +00001//===-- LLVMContextImpl.h - The LLVMContextImpl opaque class ----*- C++ -*-===//
Owen Anderson8e66e0b2009-06-30 00:48:55 +00002//
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//===----------------------------------------------------------------------===//
Owen Anderson36f62e52009-06-30 17:06:46 +00009//
10// This file declares LLVMContextImpl, the opaque implementation
11// of LLVMContext.
12//
13//===----------------------------------------------------------------------===//
Owen Anderson8e66e0b2009-06-30 00:48:55 +000014
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000015#ifndef LLVM_LIB_IR_LLVMCONTEXTIMPL_H
16#define LLVM_LIB_IR_LLVMCONTEXTIMPL_H
Owen Anderson8e66e0b2009-06-30 00:48:55 +000017
Bill Wendling4607f4b2012-12-20 01:36:59 +000018#include "AttributeImpl.h"
Owen Andersonafd0c4c2009-08-04 22:41:48 +000019#include "ConstantsContext.h"
Owen Andersonc277dc42009-07-16 19:05:41 +000020#include "llvm/ADT/APFloat.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000021#include "llvm/ADT/APInt.h"
Jay Foadc365eea2011-06-22 08:50:06 +000022#include "llvm/ADT/ArrayRef.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000023#include "llvm/ADT/DenseMap.h"
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +000024#include "llvm/ADT/DenseSet.h"
Owen Anderson4118dde2009-07-16 23:44:30 +000025#include "llvm/ADT/FoldingSet.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000026#include "llvm/ADT/Hashing.h"
Jeffrey Yasskin28f24482009-12-17 19:55:06 +000027#include "llvm/ADT/SmallPtrSet.h"
Owen Anderson69ab4162009-07-16 22:11:26 +000028#include "llvm/ADT/StringMap.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000029#include "llvm/IR/Constants.h"
Duncan P. N. Exon Smithd9901ff2015-02-02 18:53:21 +000030#include "llvm/IR/DebugInfoMetadata.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000031#include "llvm/IR/DerivedTypes.h"
32#include "llvm/IR/LLVMContext.h"
33#include "llvm/IR/Metadata.h"
Chandler Carruth4220e9c2014-03-04 11:17:44 +000034#include "llvm/IR/ValueHandle.h"
Owen Anderson909f6002009-07-23 23:25:33 +000035#include <vector>
Owen Anderson39ede7b2009-07-21 20:13:12 +000036
Owen Anderson20b34ac2009-07-16 18:04:31 +000037namespace llvm {
Owen Andersonedb4a702009-07-24 23:12:02 +000038
Owen Anderson20b34ac2009-07-16 18:04:31 +000039class ConstantInt;
Owen Andersonc277dc42009-07-16 19:05:41 +000040class ConstantFP;
Diego Novillo7f8af8b2014-05-22 14:19:46 +000041class DiagnosticInfoOptimizationRemark;
42class DiagnosticInfoOptimizationRemarkMissed;
43class DiagnosticInfoOptimizationRemarkAnalysis;
Philip Reames2b453952015-01-16 20:07:33 +000044class GCStrategy;
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +000045class LLVMContext;
Owen Anderson20b34ac2009-07-16 18:04:31 +000046class Type;
Owen Anderson4118dde2009-07-16 23:44:30 +000047class Value;
Owen Anderson20b34ac2009-07-16 18:04:31 +000048
Benjamin Kramer079b96e2013-09-11 18:05:11 +000049struct DenseMapAPIntKeyInfo {
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000050 static inline APInt getEmptyKey() {
51 APInt V(nullptr, 0);
52 V.VAL = 0;
53 return V;
54 }
55 static inline APInt getTombstoneKey() {
56 APInt V(nullptr, 0);
57 V.VAL = 1;
58 return V;
59 }
60 static unsigned getHashValue(const APInt &Key) {
Chandler Carruth71bd7d12012-03-04 12:02:57 +000061 return static_cast<unsigned>(hash_value(Key));
Owen Anderson20b34ac2009-07-16 18:04:31 +000062 }
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000063 static bool isEqual(const APInt &LHS, const APInt &RHS) {
64 return LHS.getBitWidth() == RHS.getBitWidth() && LHS == RHS;
65 }
Owen Anderson20b34ac2009-07-16 18:04:31 +000066};
67
Benjamin Kramer079b96e2013-09-11 18:05:11 +000068struct DenseMapAPFloatKeyInfo {
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000069 static inline APFloat getEmptyKey() { return APFloat(APFloat::Bogus, 1); }
70 static inline APFloat getTombstoneKey() { return APFloat(APFloat::Bogus, 2); }
71 static unsigned getHashValue(const APFloat &Key) {
Chandler Carruth71bd7d12012-03-04 12:02:57 +000072 return static_cast<unsigned>(hash_value(Key));
Owen Andersonc277dc42009-07-16 19:05:41 +000073 }
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000074 static bool isEqual(const APFloat &LHS, const APFloat &RHS) {
75 return LHS.bitwiseIsEqual(RHS);
76 }
Owen Andersonc277dc42009-07-16 19:05:41 +000077};
78
Benjamin Kramer079b96e2013-09-11 18:05:11 +000079struct AnonStructTypeKeyInfo {
Jay Foad529776c2012-02-23 09:17:40 +000080 struct KeyTy {
81 ArrayRef<Type*> ETypes;
82 bool isPacked;
83 KeyTy(const ArrayRef<Type*>& E, bool P) :
84 ETypes(E), isPacked(P) {}
Rafael Espindola334b73f2014-11-21 18:53:05 +000085 KeyTy(const StructType *ST)
86 : ETypes(ST->elements()), isPacked(ST->isPacked()) {}
Jay Foad529776c2012-02-23 09:17:40 +000087 bool operator==(const KeyTy& that) const {
88 if (isPacked != that.isPacked)
89 return false;
90 if (ETypes != that.ETypes)
91 return false;
92 return true;
93 }
94 bool operator!=(const KeyTy& that) const {
95 return !this->operator==(that);
96 }
97 };
98 static inline StructType* getEmptyKey() {
99 return DenseMapInfo<StructType*>::getEmptyKey();
100 }
101 static inline StructType* getTombstoneKey() {
102 return DenseMapInfo<StructType*>::getTombstoneKey();
103 }
104 static unsigned getHashValue(const KeyTy& Key) {
Chandler Carruth1d03a3b2012-03-01 18:55:25 +0000105 return hash_combine(hash_combine_range(Key.ETypes.begin(),
106 Key.ETypes.end()),
107 Key.isPacked);
Jay Foad529776c2012-02-23 09:17:40 +0000108 }
109 static unsigned getHashValue(const StructType *ST) {
110 return getHashValue(KeyTy(ST));
111 }
112 static bool isEqual(const KeyTy& LHS, const StructType *RHS) {
113 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
114 return false;
115 return LHS == KeyTy(RHS);
116 }
117 static bool isEqual(const StructType *LHS, const StructType *RHS) {
118 return LHS == RHS;
119 }
120};
121
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000122struct FunctionTypeKeyInfo {
Jay Foad529776c2012-02-23 09:17:40 +0000123 struct KeyTy {
124 const Type *ReturnType;
125 ArrayRef<Type*> Params;
126 bool isVarArg;
127 KeyTy(const Type* R, const ArrayRef<Type*>& P, bool V) :
128 ReturnType(R), Params(P), isVarArg(V) {}
Rafael Espindolae973fd42014-11-21 19:03:35 +0000129 KeyTy(const FunctionType *FT)
130 : ReturnType(FT->getReturnType()), Params(FT->params()),
131 isVarArg(FT->isVarArg()) {}
Jay Foad529776c2012-02-23 09:17:40 +0000132 bool operator==(const KeyTy& that) const {
133 if (ReturnType != that.ReturnType)
134 return false;
135 if (isVarArg != that.isVarArg)
136 return false;
137 if (Params != that.Params)
138 return false;
139 return true;
140 }
141 bool operator!=(const KeyTy& that) const {
142 return !this->operator==(that);
143 }
144 };
145 static inline FunctionType* getEmptyKey() {
146 return DenseMapInfo<FunctionType*>::getEmptyKey();
147 }
148 static inline FunctionType* getTombstoneKey() {
149 return DenseMapInfo<FunctionType*>::getTombstoneKey();
150 }
151 static unsigned getHashValue(const KeyTy& Key) {
Chandler Carruth1d03a3b2012-03-01 18:55:25 +0000152 return hash_combine(Key.ReturnType,
153 hash_combine_range(Key.Params.begin(),
154 Key.Params.end()),
155 Key.isVarArg);
Jay Foad529776c2012-02-23 09:17:40 +0000156 }
157 static unsigned getHashValue(const FunctionType *FT) {
158 return getHashValue(KeyTy(FT));
159 }
160 static bool isEqual(const KeyTy& LHS, const FunctionType *RHS) {
161 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
162 return false;
163 return LHS == KeyTy(RHS);
164 }
165 static bool isEqual(const FunctionType *LHS, const FunctionType *RHS) {
166 return LHS == RHS;
167 }
168};
169
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000170/// \brief Structure for hashing arbitrary MDNode operands.
171class MDNodeOpsKey {
172 ArrayRef<Metadata *> RawOps;
173 ArrayRef<MDOperand> Ops;
174
175 unsigned Hash;
176
177protected:
178 MDNodeOpsKey(ArrayRef<Metadata *> Ops)
179 : RawOps(Ops), Hash(calculateHash(Ops)) {}
180
181 template <class NodeTy>
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000182 MDNodeOpsKey(const NodeTy *N, unsigned Offset = 0)
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000183 : Ops(N->op_begin() + Offset, N->op_end()), Hash(N->getHash()) {}
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000184
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000185 template <class NodeTy>
186 bool compareOps(const NodeTy *RHS, unsigned Offset = 0) const {
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000187 if (getHash() != RHS->getHash())
188 return false;
189
190 assert((RawOps.empty() || Ops.empty()) && "Two sets of operands?");
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000191 return RawOps.empty() ? compareOps(Ops, RHS, Offset)
192 : compareOps(RawOps, RHS, Offset);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000193 }
194
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000195 static unsigned calculateHash(MDNode *N, unsigned Offset = 0);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000196
197private:
198 template <class T>
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000199 static bool compareOps(ArrayRef<T> Ops, const MDNode *RHS, unsigned Offset) {
200 if (Ops.size() != RHS->getNumOperands() - Offset)
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000201 return false;
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000202 return std::equal(Ops.begin(), Ops.end(), RHS->op_begin() + Offset);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000203 }
204
205 static unsigned calculateHash(ArrayRef<Metadata *> Ops);
206
207public:
208 unsigned getHash() const { return Hash; }
209};
210
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000211template <class NodeTy> struct MDNodeKeyImpl;
212template <class NodeTy> struct MDNodeInfo;
213
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000214/// \brief DenseMapInfo for MDTuple.
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000215///
216/// Note that we don't need the is-function-local bit, since that's implicit in
217/// the operands.
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000218template <> struct MDNodeKeyImpl<MDTuple> : MDNodeOpsKey {
219 MDNodeKeyImpl(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {}
220 MDNodeKeyImpl(const MDTuple *N) : MDNodeOpsKey(N) {}
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000221
Duncan P. N. Exon Smith9c26d802015-02-05 00:51:35 +0000222 bool isKeyOf(const MDTuple *RHS) const { return compareOps(RHS); }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000223
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000224 unsigned getHashValue() const { return getHash(); }
225
226 static unsigned calculateHash(MDTuple *N) {
227 return MDNodeOpsKey::calculateHash(N);
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000228 }
229};
230
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000231/// \brief DenseMapInfo for MDLocation.
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000232template <> struct MDNodeKeyImpl<MDLocation> {
233 unsigned Line;
234 unsigned Column;
235 Metadata *Scope;
236 Metadata *InlinedAt;
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000237
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000238 MDNodeKeyImpl(unsigned Line, unsigned Column, Metadata *Scope,
239 Metadata *InlinedAt)
240 : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt) {}
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000241
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000242 MDNodeKeyImpl(const MDLocation *L)
Duncan P. N. Exon Smith26489982015-03-26 22:05:04 +0000243 : Line(L->getLine()), Column(L->getColumn()), Scope(L->getRawScope()),
244 InlinedAt(L->getRawInlinedAt()) {}
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000245
Duncan P. N. Exon Smith9c26d802015-02-05 00:51:35 +0000246 bool isKeyOf(const MDLocation *RHS) const {
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000247 return Line == RHS->getLine() && Column == RHS->getColumn() &&
Duncan P. N. Exon Smith26489982015-03-26 22:05:04 +0000248 Scope == RHS->getRawScope() && InlinedAt == RHS->getRawInlinedAt();
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000249 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000250 unsigned getHashValue() const {
251 return hash_combine(Line, Column, Scope, InlinedAt);
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000252 }
253};
254
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000255/// \brief DenseMapInfo for GenericDebugNode.
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000256template <> struct MDNodeKeyImpl<GenericDebugNode> : MDNodeOpsKey {
257 unsigned Tag;
258 StringRef Header;
259 MDNodeKeyImpl(unsigned Tag, StringRef Header, ArrayRef<Metadata *> DwarfOps)
260 : MDNodeOpsKey(DwarfOps), Tag(Tag), Header(Header) {}
261 MDNodeKeyImpl(const GenericDebugNode *N)
262 : MDNodeOpsKey(N, 1), Tag(N->getTag()), Header(N->getHeader()) {}
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000263
Duncan P. N. Exon Smith9c26d802015-02-05 00:51:35 +0000264 bool isKeyOf(const GenericDebugNode *RHS) const {
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000265 return Tag == RHS->getTag() && Header == RHS->getHeader() &&
266 compareOps(RHS, 1);
267 }
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000268
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000269 unsigned getHashValue() const { return hash_combine(getHash(), Tag, Header); }
270
271 static unsigned calculateHash(GenericDebugNode *N) {
272 return MDNodeOpsKey::calculateHash(N, 1);
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000273 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000274};
275
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000276template <> struct MDNodeKeyImpl<MDSubrange> {
277 int64_t Count;
278 int64_t Lo;
279
280 MDNodeKeyImpl(int64_t Count, int64_t Lo) : Count(Count), Lo(Lo) {}
281 MDNodeKeyImpl(const MDSubrange *N) : Count(N->getCount()), Lo(N->getLo()) {}
282
283 bool isKeyOf(const MDSubrange *RHS) const {
284 return Count == RHS->getCount() && Lo == RHS->getLo();
285 }
286 unsigned getHashValue() const { return hash_combine(Count, Lo); }
287};
288
289template <> struct MDNodeKeyImpl<MDEnumerator> {
290 int64_t Value;
291 StringRef Name;
292
293 MDNodeKeyImpl(int64_t Value, StringRef Name) : Value(Value), Name(Name) {}
294 MDNodeKeyImpl(const MDEnumerator *N)
295 : Value(N->getValue()), Name(N->getName()) {}
296
297 bool isKeyOf(const MDEnumerator *RHS) const {
298 return Value == RHS->getValue() && Name == RHS->getName();
299 }
300 unsigned getHashValue() const { return hash_combine(Value, Name); }
301};
302
303template <> struct MDNodeKeyImpl<MDBasicType> {
304 unsigned Tag;
305 StringRef Name;
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000306 uint64_t SizeInBits;
307 uint64_t AlignInBits;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000308 unsigned Encoding;
309
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000310 MDNodeKeyImpl(unsigned Tag, StringRef Name, uint64_t SizeInBits,
311 uint64_t AlignInBits, unsigned Encoding)
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000312 : Tag(Tag), Name(Name), SizeInBits(SizeInBits), AlignInBits(AlignInBits),
313 Encoding(Encoding) {}
314 MDNodeKeyImpl(const MDBasicType *N)
315 : Tag(N->getTag()), Name(N->getName()), SizeInBits(N->getSizeInBits()),
316 AlignInBits(N->getAlignInBits()), Encoding(N->getEncoding()) {}
317
318 bool isKeyOf(const MDBasicType *RHS) const {
319 return Tag == RHS->getTag() && Name == RHS->getName() &&
320 SizeInBits == RHS->getSizeInBits() &&
321 AlignInBits == RHS->getAlignInBits() &&
322 Encoding == RHS->getEncoding();
323 }
324 unsigned getHashValue() const {
325 return hash_combine(Tag, Name, SizeInBits, AlignInBits, Encoding);
326 }
327};
328
329template <> struct MDNodeKeyImpl<MDDerivedType> {
330 unsigned Tag;
331 StringRef Name;
332 Metadata *File;
333 unsigned Line;
334 Metadata *Scope;
335 Metadata *BaseType;
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000336 uint64_t SizeInBits;
337 uint64_t AlignInBits;
338 uint64_t OffsetInBits;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000339 unsigned Flags;
340 Metadata *ExtraData;
341
342 MDNodeKeyImpl(unsigned Tag, StringRef Name, Metadata *File, unsigned Line,
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000343 Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits,
344 uint64_t AlignInBits, uint64_t OffsetInBits, unsigned Flags,
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000345 Metadata *ExtraData)
346 : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope),
347 BaseType(BaseType), SizeInBits(SizeInBits), AlignInBits(AlignInBits),
348 OffsetInBits(OffsetInBits), Flags(Flags), ExtraData(ExtraData) {}
349 MDNodeKeyImpl(const MDDerivedType *N)
350 : Tag(N->getTag()), Name(N->getName()), File(N->getFile()),
351 Line(N->getLine()), Scope(N->getScope()), BaseType(N->getBaseType()),
352 SizeInBits(N->getSizeInBits()), AlignInBits(N->getAlignInBits()),
353 OffsetInBits(N->getOffsetInBits()), Flags(N->getFlags()),
354 ExtraData(N->getExtraData()) {}
355
356 bool isKeyOf(const MDDerivedType *RHS) const {
357 return Tag == RHS->getTag() && Name == RHS->getName() &&
358 File == RHS->getFile() && Line == RHS->getLine() &&
359 Scope == RHS->getScope() && BaseType == RHS->getBaseType() &&
360 SizeInBits == RHS->getSizeInBits() &&
361 AlignInBits == RHS->getAlignInBits() &&
362 OffsetInBits == RHS->getOffsetInBits() && Flags == RHS->getFlags() &&
363 ExtraData == RHS->getExtraData();
364 }
365 unsigned getHashValue() const {
366 return hash_combine(Tag, Name, File, Line, Scope, BaseType, SizeInBits,
367 AlignInBits, OffsetInBits, Flags, ExtraData);
368 }
369};
370
371template <> struct MDNodeKeyImpl<MDCompositeType> {
372 unsigned Tag;
373 StringRef Name;
374 Metadata *File;
375 unsigned Line;
376 Metadata *Scope;
377 Metadata *BaseType;
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000378 uint64_t SizeInBits;
379 uint64_t AlignInBits;
380 uint64_t OffsetInBits;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000381 unsigned Flags;
382 Metadata *Elements;
383 unsigned RuntimeLang;
384 Metadata *VTableHolder;
385 Metadata *TemplateParams;
386 StringRef Identifier;
387
388 MDNodeKeyImpl(unsigned Tag, StringRef Name, Metadata *File, unsigned Line,
Duncan P. N. Exon Smithd34db172015-02-19 23:56:07 +0000389 Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits,
390 uint64_t AlignInBits, uint64_t OffsetInBits, unsigned Flags,
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000391 Metadata *Elements, unsigned RuntimeLang,
392 Metadata *VTableHolder, Metadata *TemplateParams,
393 StringRef Identifier)
394 : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope),
395 BaseType(BaseType), SizeInBits(SizeInBits), AlignInBits(AlignInBits),
396 OffsetInBits(OffsetInBits), Flags(Flags), Elements(Elements),
397 RuntimeLang(RuntimeLang), VTableHolder(VTableHolder),
398 TemplateParams(TemplateParams), Identifier(Identifier) {}
399 MDNodeKeyImpl(const MDCompositeType *N)
400 : Tag(N->getTag()), Name(N->getName()), File(N->getFile()),
401 Line(N->getLine()), Scope(N->getScope()), BaseType(N->getBaseType()),
402 SizeInBits(N->getSizeInBits()), AlignInBits(N->getAlignInBits()),
403 OffsetInBits(N->getOffsetInBits()), Flags(N->getFlags()),
404 Elements(N->getElements()), RuntimeLang(N->getRuntimeLang()),
405 VTableHolder(N->getVTableHolder()),
406 TemplateParams(N->getTemplateParams()), Identifier(N->getIdentifier()) {
407 }
408
409 bool isKeyOf(const MDCompositeType *RHS) const {
410 return Tag == RHS->getTag() && Name == RHS->getName() &&
411 File == RHS->getFile() && Line == RHS->getLine() &&
412 Scope == RHS->getScope() && BaseType == RHS->getBaseType() &&
413 SizeInBits == RHS->getSizeInBits() &&
414 AlignInBits == RHS->getAlignInBits() &&
415 OffsetInBits == RHS->getOffsetInBits() && Flags == RHS->getFlags() &&
416 Elements == RHS->getElements() &&
417 RuntimeLang == RHS->getRuntimeLang() &&
418 VTableHolder == RHS->getVTableHolder() &&
419 TemplateParams == RHS->getTemplateParams() &&
420 Identifier == RHS->getIdentifier();
421 }
422 unsigned getHashValue() const {
423 return hash_combine(Tag, Name, File, Line, Scope, BaseType, SizeInBits,
424 AlignInBits, OffsetInBits, Flags, Elements, RuntimeLang,
425 VTableHolder, TemplateParams, Identifier);
426 }
427};
428
429template <> struct MDNodeKeyImpl<MDSubroutineType> {
430 unsigned Flags;
431 Metadata *TypeArray;
432
433 MDNodeKeyImpl(int64_t Flags, Metadata *TypeArray)
434 : Flags(Flags), TypeArray(TypeArray) {}
435 MDNodeKeyImpl(const MDSubroutineType *N)
436 : Flags(N->getFlags()), TypeArray(N->getTypeArray()) {}
437
438 bool isKeyOf(const MDSubroutineType *RHS) const {
439 return Flags == RHS->getFlags() && TypeArray == RHS->getTypeArray();
440 }
441 unsigned getHashValue() const { return hash_combine(Flags, TypeArray); }
442};
443
444template <> struct MDNodeKeyImpl<MDFile> {
445 StringRef Filename;
446 StringRef Directory;
447
448 MDNodeKeyImpl(StringRef Filename, StringRef Directory)
449 : Filename(Filename), Directory(Directory) {}
450 MDNodeKeyImpl(const MDFile *N)
451 : Filename(N->getFilename()), Directory(N->getDirectory()) {}
452
453 bool isKeyOf(const MDFile *RHS) const {
454 return Filename == RHS->getFilename() && Directory == RHS->getDirectory();
455 }
456 unsigned getHashValue() const { return hash_combine(Filename, Directory); }
457};
458
459template <> struct MDNodeKeyImpl<MDCompileUnit> {
460 unsigned SourceLanguage;
461 Metadata *File;
462 StringRef Producer;
463 bool IsOptimized;
464 StringRef Flags;
465 unsigned RuntimeVersion;
466 StringRef SplitDebugFilename;
467 unsigned EmissionKind;
468 Metadata *EnumTypes;
469 Metadata *RetainedTypes;
470 Metadata *Subprograms;
471 Metadata *GlobalVariables;
472 Metadata *ImportedEntities;
473
474 MDNodeKeyImpl(unsigned SourceLanguage, Metadata *File, StringRef Producer,
475 bool IsOptimized, StringRef Flags, unsigned RuntimeVersion,
476 StringRef SplitDebugFilename, unsigned EmissionKind,
477 Metadata *EnumTypes, Metadata *RetainedTypes,
478 Metadata *Subprograms, Metadata *GlobalVariables,
479 Metadata *ImportedEntities)
480 : SourceLanguage(SourceLanguage), File(File), Producer(Producer),
481 IsOptimized(IsOptimized), Flags(Flags), RuntimeVersion(RuntimeVersion),
482 SplitDebugFilename(SplitDebugFilename), EmissionKind(EmissionKind),
483 EnumTypes(EnumTypes), RetainedTypes(RetainedTypes),
484 Subprograms(Subprograms), GlobalVariables(GlobalVariables),
485 ImportedEntities(ImportedEntities) {}
486 MDNodeKeyImpl(const MDCompileUnit *N)
487 : SourceLanguage(N->getSourceLanguage()), File(N->getFile()),
488 Producer(N->getProducer()), IsOptimized(N->isOptimized()),
489 Flags(N->getFlags()), RuntimeVersion(N->getRuntimeVersion()),
490 SplitDebugFilename(N->getSplitDebugFilename()),
491 EmissionKind(N->getEmissionKind()), EnumTypes(N->getEnumTypes()),
492 RetainedTypes(N->getRetainedTypes()), Subprograms(N->getSubprograms()),
493 GlobalVariables(N->getGlobalVariables()),
494 ImportedEntities(N->getImportedEntities()) {}
495
496 bool isKeyOf(const MDCompileUnit *RHS) const {
497 return SourceLanguage == RHS->getSourceLanguage() &&
498 File == RHS->getFile() && Producer == RHS->getProducer() &&
499 IsOptimized == RHS->isOptimized() && Flags == RHS->getFlags() &&
500 RuntimeVersion == RHS->getRuntimeVersion() &&
501 SplitDebugFilename == RHS->getSplitDebugFilename() &&
502 EmissionKind == RHS->getEmissionKind() &&
503 EnumTypes == RHS->getEnumTypes() &&
504 RetainedTypes == RHS->getRetainedTypes() &&
505 Subprograms == RHS->getSubprograms() &&
506 GlobalVariables == RHS->getGlobalVariables() &&
507 ImportedEntities == RHS->getImportedEntities();
508 }
509 unsigned getHashValue() const {
510 return hash_combine(SourceLanguage, File, Producer, IsOptimized, Flags,
511 RuntimeVersion, SplitDebugFilename, EmissionKind,
512 EnumTypes, RetainedTypes, Subprograms, GlobalVariables,
513 ImportedEntities);
514 }
515};
516
517template <> struct MDNodeKeyImpl<MDSubprogram> {
518 Metadata *Scope;
519 StringRef Name;
520 StringRef LinkageName;
521 Metadata *File;
522 unsigned Line;
523 Metadata *Type;
524 bool IsLocalToUnit;
525 bool IsDefinition;
526 unsigned ScopeLine;
527 Metadata *ContainingType;
528 unsigned Virtuality;
529 unsigned VirtualIndex;
530 unsigned Flags;
531 bool IsOptimized;
532 Metadata *Function;
533 Metadata *TemplateParams;
534 Metadata *Declaration;
535 Metadata *Variables;
536
537 MDNodeKeyImpl(Metadata *Scope, StringRef Name, StringRef LinkageName,
538 Metadata *File, unsigned Line, Metadata *Type,
539 bool IsLocalToUnit, bool IsDefinition, unsigned ScopeLine,
540 Metadata *ContainingType, unsigned Virtuality,
541 unsigned VirtualIndex, unsigned Flags, bool IsOptimized,
542 Metadata *Function, Metadata *TemplateParams,
543 Metadata *Declaration, Metadata *Variables)
544 : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File),
545 Line(Line), Type(Type), IsLocalToUnit(IsLocalToUnit),
546 IsDefinition(IsDefinition), ScopeLine(ScopeLine),
547 ContainingType(ContainingType), Virtuality(Virtuality),
548 VirtualIndex(VirtualIndex), Flags(Flags), IsOptimized(IsOptimized),
549 Function(Function), TemplateParams(TemplateParams),
550 Declaration(Declaration), Variables(Variables) {}
551 MDNodeKeyImpl(const MDSubprogram *N)
552 : Scope(N->getScope()), Name(N->getName()),
553 LinkageName(N->getLinkageName()), File(N->getFile()),
554 Line(N->getLine()), Type(N->getType()),
555 IsLocalToUnit(N->isLocalToUnit()), IsDefinition(N->isDefinition()),
556 ScopeLine(N->getScopeLine()), ContainingType(N->getContainingType()),
557 Virtuality(N->getVirtuality()), VirtualIndex(N->getVirtualIndex()),
558 Flags(N->getFlags()), IsOptimized(N->isOptimized()),
559 Function(N->getFunction()), TemplateParams(N->getTemplateParams()),
560 Declaration(N->getDeclaration()), Variables(N->getVariables()) {}
561
562 bool isKeyOf(const MDSubprogram *RHS) const {
563 return Scope == RHS->getScope() && Name == RHS->getName() &&
564 LinkageName == RHS->getLinkageName() && File == RHS->getFile() &&
565 Line == RHS->getLine() && Type == RHS->getType() &&
566 IsLocalToUnit == RHS->isLocalToUnit() &&
567 IsDefinition == RHS->isDefinition() &&
568 ScopeLine == RHS->getScopeLine() &&
569 ContainingType == RHS->getContainingType() &&
570 Virtuality == RHS->getVirtuality() &&
571 VirtualIndex == RHS->getVirtualIndex() && Flags == RHS->getFlags() &&
572 IsOptimized == RHS->isOptimized() &&
573 Function == RHS->getFunction() &&
574 TemplateParams == RHS->getTemplateParams() &&
575 Declaration == RHS->getDeclaration() &&
576 Variables == RHS->getVariables();
577 }
578 unsigned getHashValue() const {
579 return hash_combine(Scope, Name, LinkageName, File, Line, Type,
580 IsLocalToUnit, IsDefinition, ScopeLine, ContainingType,
581 Virtuality, VirtualIndex, Flags, IsOptimized, Function,
582 TemplateParams, Declaration, Variables);
583 }
584};
585
586template <> struct MDNodeKeyImpl<MDLexicalBlock> {
587 Metadata *Scope;
588 Metadata *File;
589 unsigned Line;
590 unsigned Column;
591
592 MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Line, unsigned Column)
593 : Scope(Scope), File(File), Line(Line), Column(Column) {}
594 MDNodeKeyImpl(const MDLexicalBlock *N)
595 : Scope(N->getScope()), File(N->getFile()), Line(N->getLine()),
596 Column(N->getColumn()) {}
597
598 bool isKeyOf(const MDLexicalBlock *RHS) const {
599 return Scope == RHS->getScope() && File == RHS->getFile() &&
600 Line == RHS->getLine() && Column == RHS->getColumn();
601 }
602 unsigned getHashValue() const {
603 return hash_combine(Scope, File, Line, Column);
604 }
605};
606
607template <> struct MDNodeKeyImpl<MDLexicalBlockFile> {
608 Metadata *Scope;
609 Metadata *File;
610 unsigned Discriminator;
611
612 MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Discriminator)
613 : Scope(Scope), File(File), Discriminator(Discriminator) {}
614 MDNodeKeyImpl(const MDLexicalBlockFile *N)
615 : Scope(N->getScope()), File(N->getFile()),
616 Discriminator(N->getDiscriminator()) {}
617
618 bool isKeyOf(const MDLexicalBlockFile *RHS) const {
619 return Scope == RHS->getScope() && File == RHS->getFile() &&
620 Discriminator == RHS->getDiscriminator();
621 }
622 unsigned getHashValue() const {
623 return hash_combine(Scope, File, Discriminator);
624 }
625};
626
627template <> struct MDNodeKeyImpl<MDNamespace> {
628 Metadata *Scope;
629 Metadata *File;
630 StringRef Name;
631 unsigned Line;
632
633 MDNodeKeyImpl(Metadata *Scope, Metadata *File, StringRef Name, unsigned Line)
634 : Scope(Scope), File(File), Name(Name), Line(Line) {}
635 MDNodeKeyImpl(const MDNamespace *N)
636 : Scope(N->getScope()), File(N->getFile()), Name(N->getName()),
637 Line(N->getLine()) {}
638
639 bool isKeyOf(const MDNamespace *RHS) const {
640 return Scope == RHS->getScope() && File == RHS->getFile() &&
641 Name == RHS->getName() && Line == RHS->getLine();
642 }
643 unsigned getHashValue() const {
644 return hash_combine(Scope, File, Name, Line);
645 }
646};
647
648template <> struct MDNodeKeyImpl<MDTemplateTypeParameter> {
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000649 StringRef Name;
650 Metadata *Type;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000651
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000652 MDNodeKeyImpl(StringRef Name, Metadata *Type) : Name(Name), Type(Type) {}
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000653 MDNodeKeyImpl(const MDTemplateTypeParameter *N)
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000654 : Name(N->getName()), Type(N->getType()) {}
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000655
656 bool isKeyOf(const MDTemplateTypeParameter *RHS) const {
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000657 return Name == RHS->getName() && Type == RHS->getType();
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000658 }
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000659 unsigned getHashValue() const { return hash_combine(Name, Type); }
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000660};
661
662template <> struct MDNodeKeyImpl<MDTemplateValueParameter> {
663 unsigned Tag;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000664 StringRef Name;
665 Metadata *Type;
666 Metadata *Value;
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000667
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000668 MDNodeKeyImpl(unsigned Tag, StringRef Name, Metadata *Type, Metadata *Value)
669 : Tag(Tag), Name(Name), Type(Type), Value(Value) {}
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000670 MDNodeKeyImpl(const MDTemplateValueParameter *N)
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000671 : Tag(N->getTag()), Name(N->getName()), Type(N->getType()),
672 Value(N->getValue()) {}
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000673
674 bool isKeyOf(const MDTemplateValueParameter *RHS) const {
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000675 return Tag == RHS->getTag() && Name == RHS->getName() &&
676 Type == RHS->getType() && Value == RHS->getValue();
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000677 }
Duncan P. N. Exon Smith3d62bba2015-02-19 00:37:21 +0000678 unsigned getHashValue() const { return hash_combine(Tag, Name, Type, Value); }
Duncan P. N. Exon Smith01fc1762015-02-10 00:52:32 +0000679};
680
681template <> struct MDNodeKeyImpl<MDGlobalVariable> {
682 Metadata *Scope;
683 StringRef Name;
684 StringRef LinkageName;
685 Metadata *File;
686 unsigned Line;
687 Metadata *Type;
688 bool IsLocalToUnit;
689 bool IsDefinition;
690 Metadata *Variable;
691 Metadata *StaticDataMemberDeclaration;
692
693 MDNodeKeyImpl(Metadata *Scope, StringRef Name, StringRef LinkageName,
694 Metadata *File, unsigned Line, Metadata *Type,
695 bool IsLocalToUnit, bool IsDefinition, Metadata *Variable,
696 Metadata *StaticDataMemberDeclaration)
697 : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File),
698 Line(Line), Type(Type), IsLocalToUnit(IsLocalToUnit),
699 IsDefinition(IsDefinition), Variable(Variable),
700 StaticDataMemberDeclaration(StaticDataMemberDeclaration) {}
701 MDNodeKeyImpl(const MDGlobalVariable *N)
702 : Scope(N->getScope()), Name(N->getName()),
703 LinkageName(N->getLinkageName()), File(N->getFile()),
704 Line(N->getLine()), Type(N->getType()),
705 IsLocalToUnit(N->isLocalToUnit()), IsDefinition(N->isDefinition()),
706 Variable(N->getVariable()),
707 StaticDataMemberDeclaration(N->getStaticDataMemberDeclaration()) {}
708
709 bool isKeyOf(const MDGlobalVariable *RHS) const {
710 return Scope == RHS->getScope() && Name == RHS->getName() &&
711 LinkageName == RHS->getLinkageName() && File == RHS->getFile() &&
712 Line == RHS->getLine() && Type == RHS->getType() &&
713 IsLocalToUnit == RHS->isLocalToUnit() &&
714 IsDefinition == RHS->isDefinition() &&
715 Variable == RHS->getVariable() &&
716 StaticDataMemberDeclaration == RHS->getStaticDataMemberDeclaration();
717 }
718 unsigned getHashValue() const {
719 return hash_combine(Scope, Name, LinkageName, File, Line, Type,
720 IsLocalToUnit, IsDefinition, Variable,
721 StaticDataMemberDeclaration);
722 }
723};
724
725template <> struct MDNodeKeyImpl<MDLocalVariable> {
726 unsigned Tag;
727 Metadata *Scope;
728 StringRef Name;
729 Metadata *File;
730 unsigned Line;
731 Metadata *Type;
732 unsigned Arg;
733 unsigned Flags;
734 Metadata *InlinedAt;
735
736 MDNodeKeyImpl(unsigned Tag, Metadata *Scope, StringRef Name, Metadata *File,
737 unsigned Line, Metadata *Type, unsigned Arg, unsigned Flags,
738 Metadata *InlinedAt)
739 : Tag(Tag), Scope(Scope), Name(Name), File(File), Line(Line), Type(Type),
740 Arg(Arg), Flags(Flags), InlinedAt(InlinedAt) {}
741 MDNodeKeyImpl(const MDLocalVariable *N)
742 : Tag(N->getTag()), Scope(N->getScope()), Name(N->getName()),
743 File(N->getFile()), Line(N->getLine()), Type(N->getType()),
744 Arg(N->getArg()), Flags(N->getFlags()), InlinedAt(N->getInlinedAt()) {}
745
746 bool isKeyOf(const MDLocalVariable *RHS) const {
747 return Tag == RHS->getTag() && Scope == RHS->getScope() &&
748 Name == RHS->getName() && File == RHS->getFile() &&
749 Line == RHS->getLine() && Type == RHS->getType() &&
750 Arg == RHS->getArg() && Flags == RHS->getFlags() &&
751 InlinedAt == RHS->getInlinedAt();
752 }
753 unsigned getHashValue() const {
754 return hash_combine(Tag, Scope, Name, File, Line, Type, Arg, Flags,
755 InlinedAt);
756 }
757};
758
759template <> struct MDNodeKeyImpl<MDExpression> {
760 ArrayRef<uint64_t> Elements;
761
762 MDNodeKeyImpl(ArrayRef<uint64_t> Elements) : Elements(Elements) {}
763 MDNodeKeyImpl(const MDExpression *N) : Elements(N->getElements()) {}
764
765 bool isKeyOf(const MDExpression *RHS) const {
766 return Elements == RHS->getElements();
767 }
768 unsigned getHashValue() const {
769 return hash_combine_range(Elements.begin(), Elements.end());
770 }
771};
772
773template <> struct MDNodeKeyImpl<MDObjCProperty> {
774 StringRef Name;
775 Metadata *File;
776 unsigned Line;
777 StringRef GetterName;
778 StringRef SetterName;
779 unsigned Attributes;
780 Metadata *Type;
781
782 MDNodeKeyImpl(StringRef Name, Metadata *File, unsigned Line,
783 StringRef GetterName, StringRef SetterName, unsigned Attributes,
784 Metadata *Type)
785 : Name(Name), File(File), Line(Line), GetterName(GetterName),
786 SetterName(SetterName), Attributes(Attributes), Type(Type) {}
787 MDNodeKeyImpl(const MDObjCProperty *N)
788 : Name(N->getName()), File(N->getFile()), Line(N->getLine()),
789 GetterName(N->getGetterName()), SetterName(N->getSetterName()),
790 Attributes(N->getAttributes()), Type(N->getType()) {}
791
792 bool isKeyOf(const MDObjCProperty *RHS) const {
793 return Name == RHS->getName() && File == RHS->getFile() &&
794 Line == RHS->getLine() && GetterName == RHS->getGetterName() &&
795 SetterName == RHS->getSetterName() &&
796 Attributes == RHS->getAttributes() && Type == RHS->getType();
797 }
798 unsigned getHashValue() const {
799 return hash_combine(Name, File, Line, GetterName, SetterName, Attributes,
800 Type);
801 }
802};
803
804template <> struct MDNodeKeyImpl<MDImportedEntity> {
805 unsigned Tag;
806 Metadata *Scope;
807 Metadata *Entity;
808 unsigned Line;
809 StringRef Name;
810
811 MDNodeKeyImpl(unsigned Tag, Metadata *Scope, Metadata *Entity, unsigned Line,
812 StringRef Name)
813 : Tag(Tag), Scope(Scope), Entity(Entity), Line(Line), Name(Name) {}
814 MDNodeKeyImpl(const MDImportedEntity *N)
815 : Tag(N->getTag()), Scope(N->getScope()), Entity(N->getEntity()),
816 Line(N->getLine()), Name(N->getName()) {}
817
818 bool isKeyOf(const MDImportedEntity *RHS) const {
819 return Tag == RHS->getTag() && Scope == RHS->getScope() &&
820 Entity == RHS->getEntity() && Line == RHS->getLine() &&
821 Name == RHS->getName();
822 }
823 unsigned getHashValue() const {
824 return hash_combine(Tag, Scope, Entity, Line, Name);
825 }
826};
827
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000828/// \brief DenseMapInfo for MDNode subclasses.
829template <class NodeTy> struct MDNodeInfo {
830 typedef MDNodeKeyImpl<NodeTy> KeyTy;
831 static inline NodeTy *getEmptyKey() {
832 return DenseMapInfo<NodeTy *>::getEmptyKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000833 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000834 static inline NodeTy *getTombstoneKey() {
835 return DenseMapInfo<NodeTy *>::getTombstoneKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000836 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000837 static unsigned getHashValue(const KeyTy &Key) { return Key.getHashValue(); }
838 static unsigned getHashValue(const NodeTy *N) {
839 return KeyTy(N).getHashValue();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000840 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000841 static bool isEqual(const KeyTy &LHS, const NodeTy *RHS) {
842 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
843 return false;
Duncan P. N. Exon Smith9c26d802015-02-05 00:51:35 +0000844 return LHS.isKeyOf(RHS);
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000845 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000846 static bool isEqual(const NodeTy *LHS, const NodeTy *RHS) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000847 return LHS == RHS;
848 }
849};
850
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000851#define HANDLE_MDNODE_LEAF(CLASS) typedef MDNodeInfo<CLASS> CLASS##Info;
852#include "llvm/IR/Metadata.def"
853
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000854class LLVMContextImpl {
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +0000855public:
Owen Anderson8e89e412010-09-08 18:03:32 +0000856 /// OwnedModules - The set of modules instantiated in this context, and which
857 /// will be automatically deleted if this context is deleted.
858 SmallPtrSet<Module*, 4> OwnedModules;
859
Bob Wilsona594fab2013-02-11 05:37:07 +0000860 LLVMContext::InlineAsmDiagHandlerTy InlineAsmDiagHandler;
861 void *InlineAsmDiagContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000862
863 LLVMContext::DiagnosticHandlerTy DiagnosticHandler;
864 void *DiagnosticContext;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000865 bool RespectDiagnosticFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000866
Juergen Ributzka34390c72014-05-16 02:33:15 +0000867 LLVMContext::YieldCallbackTy YieldCallback;
868 void *YieldOpaqueHandle;
869
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000870 typedef DenseMap<APInt, ConstantInt *, DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +0000871 IntMapTy IntConstants;
NAKAMURA Takumifc3062f2014-12-06 05:57:06 +0000872
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000873 typedef DenseMap<APFloat, ConstantFP *, DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000874 FPMapTy FPConstants;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000875
Bill Wendling4607f4b2012-12-20 01:36:59 +0000876 FoldingSet<AttributeImpl> AttrsSet;
Bill Wendling6848e382012-12-19 22:42:22 +0000877 FoldingSet<AttributeSetImpl> AttrsLists;
Bill Wendlingd2e493b2013-01-24 00:06:56 +0000878 FoldingSet<AttributeSetNode> AttrsSetNodes;
Bill Wendlingf86efb92012-11-20 05:09:20 +0000879
Duncan P. N. Exon Smithf17e7402014-11-14 01:17:09 +0000880 StringMap<MDString> MDStringCache;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000881 DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata;
882 DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000883
Duncan P. N. Exon Smith104e4022015-02-04 21:46:12 +0000884#define HANDLE_MDNODE_LEAF(CLASS) DenseSet<CLASS *, CLASS##Info> CLASS##s;
885#include "llvm/IR/Metadata.def"
Bill Wendlinge38b8042012-09-26 21:07:29 +0000886
Jeffrey Yasskin2cc24762010-03-13 01:26:15 +0000887 // MDNodes may be uniqued or not uniqued. When they're not uniqued, they
888 // aren't in the MDNodeSet, but they're still shared between objects, so no
889 // one object can destroy them. This set allows us to at least destroy them
890 // on Context destruction.
Duncan P. N. Exon Smith2bc00f42015-01-19 23:13:14 +0000891 SmallPtrSet<MDNode *, 1> DistinctMDNodes;
Duncan P. N. Exon Smith50846f82014-11-18 00:37:17 +0000892
David Blaikiecb2818f2014-11-25 02:26:22 +0000893 DenseMap<Type*, ConstantAggregateZero*> CAZConstants;
Owen Anderson13234f82009-08-10 18:16:08 +0000894
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000895 typedef ConstantUniqueMap<ConstantArray> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000896 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000897
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000898 typedef ConstantUniqueMap<ConstantStruct> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000899 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000900
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000901 typedef ConstantUniqueMap<ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000902 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000903
Chris Lattnerc7f9fd42012-01-23 15:20:12 +0000904 DenseMap<PointerType*, ConstantPointerNull*> CPNConstants;
905
906 DenseMap<Type*, UndefValue*> UVConstants;
Owen Andersonc8c30262009-07-31 22:45:43 +0000907
Chris Lattner3756b912012-01-23 22:57:10 +0000908 StringMap<ConstantDataSequential*> CDSConstants;
909
Chandler Carruth6a936922014-01-19 02:13:50 +0000910 DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *>
911 BlockAddresses;
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000912 ConstantUniqueMap<ConstantExpr> ExprConstants;
Jeffrey Yasskinade270e2010-03-21 20:37:19 +0000913
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000914 ConstantUniqueMap<InlineAsm> InlineAsms;
915
Owen Anderson2ad52172009-07-21 02:47:59 +0000916 ConstantInt *TheTrueVal;
917 ConstantInt *TheFalseVal;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000918
Dan Gohman97d2cb82009-08-25 16:00:35 +0000919 // Basic type instances.
Dan Gohman518cda42011-12-17 00:04:22 +0000920 Type VoidTy, LabelTy, HalfTy, FloatTy, DoubleTy, MetadataTy;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000921 Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy;
922 IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty;
Dan Gohman97d2cb82009-08-25 16:00:35 +0000923
Chris Lattner07bd69c2011-07-15 05:49:15 +0000924
925 /// TypeAllocator - All dynamically allocated types are allocated from this.
926 /// They live forever until the context is torn down.
927 BumpPtrAllocator TypeAllocator;
928
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000929 DenseMap<unsigned, IntegerType*> IntegerTypes;
Benjamin Kramer3280a5d2014-12-06 19:22:54 +0000930
931 typedef DenseSet<FunctionType *, FunctionTypeKeyInfo> FunctionTypeSet;
932 FunctionTypeSet FunctionTypes;
933 typedef DenseSet<StructType *, AnonStructTypeKeyInfo> StructTypeSet;
934 StructTypeSet AnonStructTypes;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000935 StringMap<StructType*> NamedStructTypes;
936 unsigned NamedStructTypesUniqueID;
937
938 DenseMap<std::pair<Type *, uint64_t>, ArrayType*> ArrayTypes;
939 DenseMap<std::pair<Type *, unsigned>, VectorType*> VectorTypes;
940 DenseMap<Type*, PointerType*> PointerTypes; // Pointers in AddrSpace = 0
941 DenseMap<std::pair<Type*, unsigned>, PointerType*> ASPointerTypes;
Jeffrey Yasskinc660b232010-02-11 06:41:30 +0000942
Jeffrey Yasskin28f24482009-12-17 19:55:06 +0000943
Owen Andersone8f21852009-08-18 18:28:58 +0000944 /// ValueHandles - This map keeps track of all of the value handles that are
945 /// watching a Value*. The Value::HasValueHandle bit is used to know
Michael Ilseman516d7032013-03-01 18:48:54 +0000946 /// whether or not a value has an entry in this map.
Owen Andersone8f21852009-08-18 18:28:58 +0000947 typedef DenseMap<Value*, ValueHandleBase*> ValueHandlesTy;
948 ValueHandlesTy ValueHandles;
949
Chris Lattnera0566972009-12-29 09:01:33 +0000950 /// CustomMDKindNames - Map to hold the metadata string to ID mapping.
951 StringMap<unsigned> CustomMDKindNames;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000952
953 typedef std::pair<unsigned, TrackingMDNodeRef> MDPairTy;
Chris Lattnera0566972009-12-29 09:01:33 +0000954 typedef SmallVector<MDPairTy, 2> MDMapTy;
955
956 /// MetadataStore - Collection of per-instruction metadata used in this
957 /// context.
958 DenseMap<const Instruction *, MDMapTy> MetadataStore;
959
Diego Novillof5041ce2014-03-03 20:06:11 +0000960 /// DiscriminatorTable - This table maps file:line locations to an
961 /// integer representing the next DWARF path discriminator to assign to
962 /// instructions in different blocks at the same location.
963 DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable;
964
Michael Ilseman516d7032013-03-01 18:48:54 +0000965 /// IntrinsicIDCache - Cache of intrinsic name (string) to numeric ID mappings
966 /// requested in this context
967 typedef DenseMap<const Function*, unsigned> IntrinsicIDCacheTy;
968 IntrinsicIDCacheTy IntrinsicIDCache;
969
Peter Collingbourne3fa50f92013-09-16 01:08:15 +0000970 /// \brief Mapping from a function to its prefix data, which is stored as the
971 /// operand of an unparented ReturnInst so that the prefix data has a Use.
972 typedef DenseMap<const Function *, ReturnInst *> PrefixDataMapTy;
973 PrefixDataMapTy PrefixDataMap;
974
Peter Collingbourne51d2de72014-12-03 02:08:38 +0000975 /// \brief Mapping from a function to its prologue data, which is stored as
976 /// the operand of an unparented ReturnInst so that the prologue data has a
977 /// Use.
978 typedef DenseMap<const Function *, ReturnInst *> PrologueDataMapTy;
979 PrologueDataMapTy PrologueDataMap;
980
Chris Lattner8cb2aeb2010-04-01 00:37:44 +0000981 int getOrAddScopeRecordIdxEntry(MDNode *N, int ExistingIdx);
982 int getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA,int ExistingIdx);
Philip Reames2b453952015-01-16 20:07:33 +0000983
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +0000984 LLVMContextImpl(LLVMContext &C);
985 ~LLVMContextImpl();
Manman Rendab999d2015-01-20 19:24:59 +0000986
987 /// Destroy the ConstantArrays if they are not used.
988 void dropTriviallyDeadConstantArrays();
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000989};
990
991}
992
Owen Anderson36f62e52009-06-30 17:06:46 +0000993#endif