blob: a009262f80ebeea76c9db8fc6588750d555be860 [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"
30#include "llvm/IR/DerivedTypes.h"
31#include "llvm/IR/LLVMContext.h"
32#include "llvm/IR/Metadata.h"
Chandler Carruth4220e9c2014-03-04 11:17:44 +000033#include "llvm/IR/ValueHandle.h"
Owen Anderson909f6002009-07-23 23:25:33 +000034#include <vector>
Owen Anderson39ede7b2009-07-21 20:13:12 +000035
Owen Anderson20b34ac2009-07-16 18:04:31 +000036namespace llvm {
Owen Andersonedb4a702009-07-24 23:12:02 +000037
Owen Anderson20b34ac2009-07-16 18:04:31 +000038class ConstantInt;
Owen Andersonc277dc42009-07-16 19:05:41 +000039class ConstantFP;
Diego Novillo7f8af8b2014-05-22 14:19:46 +000040class DiagnosticInfoOptimizationRemark;
41class DiagnosticInfoOptimizationRemarkMissed;
42class DiagnosticInfoOptimizationRemarkAnalysis;
Philip Reames2b453952015-01-16 20:07:33 +000043class GCStrategy;
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +000044class LLVMContext;
Owen Anderson20b34ac2009-07-16 18:04:31 +000045class Type;
Owen Anderson4118dde2009-07-16 23:44:30 +000046class Value;
Owen Anderson20b34ac2009-07-16 18:04:31 +000047
Benjamin Kramer079b96e2013-09-11 18:05:11 +000048struct DenseMapAPIntKeyInfo {
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000049 static inline APInt getEmptyKey() {
50 APInt V(nullptr, 0);
51 V.VAL = 0;
52 return V;
53 }
54 static inline APInt getTombstoneKey() {
55 APInt V(nullptr, 0);
56 V.VAL = 1;
57 return V;
58 }
59 static unsigned getHashValue(const APInt &Key) {
Chandler Carruth71bd7d12012-03-04 12:02:57 +000060 return static_cast<unsigned>(hash_value(Key));
Owen Anderson20b34ac2009-07-16 18:04:31 +000061 }
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000062 static bool isEqual(const APInt &LHS, const APInt &RHS) {
63 return LHS.getBitWidth() == RHS.getBitWidth() && LHS == RHS;
64 }
Owen Anderson20b34ac2009-07-16 18:04:31 +000065};
66
Benjamin Kramer079b96e2013-09-11 18:05:11 +000067struct DenseMapAPFloatKeyInfo {
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000068 static inline APFloat getEmptyKey() { return APFloat(APFloat::Bogus, 1); }
69 static inline APFloat getTombstoneKey() { return APFloat(APFloat::Bogus, 2); }
70 static unsigned getHashValue(const APFloat &Key) {
Chandler Carruth71bd7d12012-03-04 12:02:57 +000071 return static_cast<unsigned>(hash_value(Key));
Owen Andersonc277dc42009-07-16 19:05:41 +000072 }
Benjamin Kramer8e5dc532014-12-06 13:12:56 +000073 static bool isEqual(const APFloat &LHS, const APFloat &RHS) {
74 return LHS.bitwiseIsEqual(RHS);
75 }
Owen Andersonc277dc42009-07-16 19:05:41 +000076};
77
Benjamin Kramer079b96e2013-09-11 18:05:11 +000078struct AnonStructTypeKeyInfo {
Jay Foad529776c2012-02-23 09:17:40 +000079 struct KeyTy {
80 ArrayRef<Type*> ETypes;
81 bool isPacked;
82 KeyTy(const ArrayRef<Type*>& E, bool P) :
83 ETypes(E), isPacked(P) {}
Rafael Espindola334b73f2014-11-21 18:53:05 +000084 KeyTy(const StructType *ST)
85 : ETypes(ST->elements()), isPacked(ST->isPacked()) {}
Jay Foad529776c2012-02-23 09:17:40 +000086 bool operator==(const KeyTy& that) const {
87 if (isPacked != that.isPacked)
88 return false;
89 if (ETypes != that.ETypes)
90 return false;
91 return true;
92 }
93 bool operator!=(const KeyTy& that) const {
94 return !this->operator==(that);
95 }
96 };
97 static inline StructType* getEmptyKey() {
98 return DenseMapInfo<StructType*>::getEmptyKey();
99 }
100 static inline StructType* getTombstoneKey() {
101 return DenseMapInfo<StructType*>::getTombstoneKey();
102 }
103 static unsigned getHashValue(const KeyTy& Key) {
Chandler Carruth1d03a3b2012-03-01 18:55:25 +0000104 return hash_combine(hash_combine_range(Key.ETypes.begin(),
105 Key.ETypes.end()),
106 Key.isPacked);
Jay Foad529776c2012-02-23 09:17:40 +0000107 }
108 static unsigned getHashValue(const StructType *ST) {
109 return getHashValue(KeyTy(ST));
110 }
111 static bool isEqual(const KeyTy& LHS, const StructType *RHS) {
112 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
113 return false;
114 return LHS == KeyTy(RHS);
115 }
116 static bool isEqual(const StructType *LHS, const StructType *RHS) {
117 return LHS == RHS;
118 }
119};
120
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000121struct FunctionTypeKeyInfo {
Jay Foad529776c2012-02-23 09:17:40 +0000122 struct KeyTy {
123 const Type *ReturnType;
124 ArrayRef<Type*> Params;
125 bool isVarArg;
126 KeyTy(const Type* R, const ArrayRef<Type*>& P, bool V) :
127 ReturnType(R), Params(P), isVarArg(V) {}
Rafael Espindolae973fd42014-11-21 19:03:35 +0000128 KeyTy(const FunctionType *FT)
129 : ReturnType(FT->getReturnType()), Params(FT->params()),
130 isVarArg(FT->isVarArg()) {}
Jay Foad529776c2012-02-23 09:17:40 +0000131 bool operator==(const KeyTy& that) const {
132 if (ReturnType != that.ReturnType)
133 return false;
134 if (isVarArg != that.isVarArg)
135 return false;
136 if (Params != that.Params)
137 return false;
138 return true;
139 }
140 bool operator!=(const KeyTy& that) const {
141 return !this->operator==(that);
142 }
143 };
144 static inline FunctionType* getEmptyKey() {
145 return DenseMapInfo<FunctionType*>::getEmptyKey();
146 }
147 static inline FunctionType* getTombstoneKey() {
148 return DenseMapInfo<FunctionType*>::getTombstoneKey();
149 }
150 static unsigned getHashValue(const KeyTy& Key) {
Chandler Carruth1d03a3b2012-03-01 18:55:25 +0000151 return hash_combine(Key.ReturnType,
152 hash_combine_range(Key.Params.begin(),
153 Key.Params.end()),
154 Key.isVarArg);
Jay Foad529776c2012-02-23 09:17:40 +0000155 }
156 static unsigned getHashValue(const FunctionType *FT) {
157 return getHashValue(KeyTy(FT));
158 }
159 static bool isEqual(const KeyTy& LHS, const FunctionType *RHS) {
160 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
161 return false;
162 return LHS == KeyTy(RHS);
163 }
164 static bool isEqual(const FunctionType *LHS, const FunctionType *RHS) {
165 return LHS == RHS;
166 }
167};
168
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000169/// \brief Structure for hashing arbitrary MDNode operands.
170class MDNodeOpsKey {
171 ArrayRef<Metadata *> RawOps;
172 ArrayRef<MDOperand> Ops;
173
174 unsigned Hash;
175
176protected:
177 MDNodeOpsKey(ArrayRef<Metadata *> Ops)
178 : RawOps(Ops), Hash(calculateHash(Ops)) {}
179
180 template <class NodeTy>
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000181 MDNodeOpsKey(NodeTy *N, unsigned Offset = 0)
182 : Ops(N->op_begin() + Offset, N->op_end()), Hash(N->getHash()) {}
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000183
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000184 template <class NodeTy>
185 bool compareOps(const NodeTy *RHS, unsigned Offset = 0) const {
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000186 if (getHash() != RHS->getHash())
187 return false;
188
189 assert((RawOps.empty() || Ops.empty()) && "Two sets of operands?");
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000190 return RawOps.empty() ? compareOps(Ops, RHS, Offset)
191 : compareOps(RawOps, RHS, Offset);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000192 }
193
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000194 static unsigned calculateHash(MDNode *N, unsigned Offset = 0);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000195
196private:
197 template <class T>
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000198 static bool compareOps(ArrayRef<T> Ops, const MDNode *RHS, unsigned Offset) {
199 if (Ops.size() != RHS->getNumOperands() - Offset)
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000200 return false;
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000201 return std::equal(Ops.begin(), Ops.end(), RHS->op_begin() + Offset);
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000202 }
203
204 static unsigned calculateHash(ArrayRef<Metadata *> Ops);
205
206public:
207 unsigned getHash() const { return Hash; }
208};
209
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000210/// \brief DenseMapInfo for MDTuple.
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000211///
212/// Note that we don't need the is-function-local bit, since that's implicit in
213/// the operands.
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000214struct MDTupleInfo {
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000215 struct KeyTy : MDNodeOpsKey {
216 KeyTy(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {}
217 KeyTy(MDTuple *N) : MDNodeOpsKey(N) {}
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000218
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000219 bool operator==(const MDTuple *RHS) const {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000220 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
221 return false;
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000222 return compareOps(RHS);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000223 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000224
225 static unsigned calculateHash(MDTuple *N) {
226 return MDNodeOpsKey::calculateHash(N);
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000227 }
228 };
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000229 static inline MDTuple *getEmptyKey() {
230 return DenseMapInfo<MDTuple *>::getEmptyKey();
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000231 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000232 static inline MDTuple *getTombstoneKey() {
233 return DenseMapInfo<MDTuple *>::getTombstoneKey();
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000234 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000235 static unsigned getHashValue(const KeyTy &Key) { return Key.getHash(); }
236 static unsigned getHashValue(const MDTuple *U) { return U->getHash(); }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000237 static bool isEqual(const KeyTy &LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000238 return LHS == RHS;
239 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000240 static bool isEqual(const MDTuple *LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000241 return LHS == RHS;
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000242 }
243};
244
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000245/// \brief DenseMapInfo for MDLocation.
246struct MDLocationInfo {
247 struct KeyTy {
248 unsigned Line;
249 unsigned Column;
250 Metadata *Scope;
251 Metadata *InlinedAt;
252
253 KeyTy(unsigned Line, unsigned Column, Metadata *Scope, Metadata *InlinedAt)
254 : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt) {}
255
256 KeyTy(const MDLocation *L)
257 : Line(L->getLine()), Column(L->getColumn()), Scope(L->getScope()),
258 InlinedAt(L->getInlinedAt()) {}
259
260 bool operator==(const MDLocation *RHS) const {
261 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
262 return false;
263 return Line == RHS->getLine() && Column == RHS->getColumn() &&
264 Scope == RHS->getScope() && InlinedAt == RHS->getInlinedAt();
265 }
266 };
267 static inline MDLocation *getEmptyKey() {
268 return DenseMapInfo<MDLocation *>::getEmptyKey();
269 }
270 static inline MDLocation *getTombstoneKey() {
271 return DenseMapInfo<MDLocation *>::getTombstoneKey();
272 }
273 static unsigned getHashValue(const KeyTy &Key) {
274 return hash_combine(Key.Line, Key.Column, Key.Scope, Key.InlinedAt);
275 }
276 static unsigned getHashValue(const MDLocation *U) {
277 return getHashValue(KeyTy(U));
278 }
279 static bool isEqual(const KeyTy &LHS, const MDLocation *RHS) {
280 return LHS == RHS;
281 }
282 static bool isEqual(const MDLocation *LHS, const MDLocation *RHS) {
283 return LHS == RHS;
284 }
285};
286
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000287/// \brief DenseMapInfo for GenericDebugNode.
288struct GenericDebugNodeInfo {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000289 struct KeyTy : MDNodeOpsKey {
290 unsigned Tag;
291 MDString *Header;
292 KeyTy(unsigned Tag, MDString *Header, ArrayRef<Metadata *> DwarfOps)
293 : MDNodeOpsKey(DwarfOps), Tag(Tag), Header(Header) {}
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000294 KeyTy(GenericDebugNode *N)
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000295 : MDNodeOpsKey(N, 1), Tag(N->getTag()), Header(N->getHeader()) {}
296
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000297 bool operator==(const GenericDebugNode *RHS) const {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000298 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
299 return false;
300 return Tag == RHS->getTag() && Header == RHS->getHeader() &&
301 compareOps(RHS, 1);
302 }
303
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000304 static unsigned calculateHash(GenericDebugNode *N) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000305 return MDNodeOpsKey::calculateHash(N, 1);
306 }
307 };
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000308 static inline GenericDebugNode *getEmptyKey() {
309 return DenseMapInfo<GenericDebugNode *>::getEmptyKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000310 }
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000311 static inline GenericDebugNode *getTombstoneKey() {
312 return DenseMapInfo<GenericDebugNode *>::getTombstoneKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000313 }
314 static unsigned getHashValue(const KeyTy &Key) {
315 return hash_combine(Key.getHash(), Key.Tag, Key.Header);
316 }
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000317 static unsigned getHashValue(const GenericDebugNode *U) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000318 return hash_combine(U->getHash(), U->getTag(), U->getHeader());
319 }
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000320 static bool isEqual(const KeyTy &LHS, const GenericDebugNode *RHS) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000321 return LHS == RHS;
322 }
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000323 static bool isEqual(const GenericDebugNode *LHS,
324 const GenericDebugNode *RHS) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000325 return LHS == RHS;
326 }
327};
328
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000329class LLVMContextImpl {
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +0000330public:
Owen Anderson8e89e412010-09-08 18:03:32 +0000331 /// OwnedModules - The set of modules instantiated in this context, and which
332 /// will be automatically deleted if this context is deleted.
333 SmallPtrSet<Module*, 4> OwnedModules;
334
Bob Wilsona594fab2013-02-11 05:37:07 +0000335 LLVMContext::InlineAsmDiagHandlerTy InlineAsmDiagHandler;
336 void *InlineAsmDiagContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000337
338 LLVMContext::DiagnosticHandlerTy DiagnosticHandler;
339 void *DiagnosticContext;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000340 bool RespectDiagnosticFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000341
Juergen Ributzka34390c72014-05-16 02:33:15 +0000342 LLVMContext::YieldCallbackTy YieldCallback;
343 void *YieldOpaqueHandle;
344
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000345 typedef DenseMap<APInt, ConstantInt *, DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +0000346 IntMapTy IntConstants;
NAKAMURA Takumifc3062f2014-12-06 05:57:06 +0000347
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000348 typedef DenseMap<APFloat, ConstantFP *, DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000349 FPMapTy FPConstants;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000350
Bill Wendling4607f4b2012-12-20 01:36:59 +0000351 FoldingSet<AttributeImpl> AttrsSet;
Bill Wendling6848e382012-12-19 22:42:22 +0000352 FoldingSet<AttributeSetImpl> AttrsLists;
Bill Wendlingd2e493b2013-01-24 00:06:56 +0000353 FoldingSet<AttributeSetNode> AttrsSetNodes;
Bill Wendlingf86efb92012-11-20 05:09:20 +0000354
Duncan P. N. Exon Smithf17e7402014-11-14 01:17:09 +0000355 StringMap<MDString> MDStringCache;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000356 DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata;
357 DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000358
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000359 DenseSet<MDTuple *, MDTupleInfo> MDTuples;
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000360 DenseSet<MDLocation *, MDLocationInfo> MDLocations;
Duncan P. N. Exon Smithe8b5e492015-01-22 22:47:44 +0000361 DenseSet<GenericDebugNode *, GenericDebugNodeInfo> GenericDebugNodes;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000362
Jeffrey Yasskin2cc24762010-03-13 01:26:15 +0000363 // MDNodes may be uniqued or not uniqued. When they're not uniqued, they
364 // aren't in the MDNodeSet, but they're still shared between objects, so no
365 // one object can destroy them. This set allows us to at least destroy them
366 // on Context destruction.
Duncan P. N. Exon Smith2bc00f42015-01-19 23:13:14 +0000367 SmallPtrSet<MDNode *, 1> DistinctMDNodes;
Duncan P. N. Exon Smith50846f82014-11-18 00:37:17 +0000368
David Blaikiecb2818f2014-11-25 02:26:22 +0000369 DenseMap<Type*, ConstantAggregateZero*> CAZConstants;
Owen Anderson13234f82009-08-10 18:16:08 +0000370
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000371 typedef ConstantUniqueMap<ConstantArray> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000372 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000373
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000374 typedef ConstantUniqueMap<ConstantStruct> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000375 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000376
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000377 typedef ConstantUniqueMap<ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000378 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000379
Chris Lattnerc7f9fd42012-01-23 15:20:12 +0000380 DenseMap<PointerType*, ConstantPointerNull*> CPNConstants;
381
382 DenseMap<Type*, UndefValue*> UVConstants;
Owen Andersonc8c30262009-07-31 22:45:43 +0000383
Chris Lattner3756b912012-01-23 22:57:10 +0000384 StringMap<ConstantDataSequential*> CDSConstants;
385
Chandler Carruth6a936922014-01-19 02:13:50 +0000386 DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *>
387 BlockAddresses;
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000388 ConstantUniqueMap<ConstantExpr> ExprConstants;
Jeffrey Yasskinade270e2010-03-21 20:37:19 +0000389
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000390 ConstantUniqueMap<InlineAsm> InlineAsms;
391
Owen Anderson2ad52172009-07-21 02:47:59 +0000392 ConstantInt *TheTrueVal;
393 ConstantInt *TheFalseVal;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000394
Dan Gohman97d2cb82009-08-25 16:00:35 +0000395 // Basic type instances.
Dan Gohman518cda42011-12-17 00:04:22 +0000396 Type VoidTy, LabelTy, HalfTy, FloatTy, DoubleTy, MetadataTy;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000397 Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy;
398 IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty;
Dan Gohman97d2cb82009-08-25 16:00:35 +0000399
Chris Lattner07bd69c2011-07-15 05:49:15 +0000400
401 /// TypeAllocator - All dynamically allocated types are allocated from this.
402 /// They live forever until the context is torn down.
403 BumpPtrAllocator TypeAllocator;
404
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000405 DenseMap<unsigned, IntegerType*> IntegerTypes;
Benjamin Kramer3280a5d2014-12-06 19:22:54 +0000406
407 typedef DenseSet<FunctionType *, FunctionTypeKeyInfo> FunctionTypeSet;
408 FunctionTypeSet FunctionTypes;
409 typedef DenseSet<StructType *, AnonStructTypeKeyInfo> StructTypeSet;
410 StructTypeSet AnonStructTypes;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000411 StringMap<StructType*> NamedStructTypes;
412 unsigned NamedStructTypesUniqueID;
413
414 DenseMap<std::pair<Type *, uint64_t>, ArrayType*> ArrayTypes;
415 DenseMap<std::pair<Type *, unsigned>, VectorType*> VectorTypes;
416 DenseMap<Type*, PointerType*> PointerTypes; // Pointers in AddrSpace = 0
417 DenseMap<std::pair<Type*, unsigned>, PointerType*> ASPointerTypes;
Jeffrey Yasskinc660b232010-02-11 06:41:30 +0000418
Jeffrey Yasskin28f24482009-12-17 19:55:06 +0000419
Owen Andersone8f21852009-08-18 18:28:58 +0000420 /// ValueHandles - This map keeps track of all of the value handles that are
421 /// watching a Value*. The Value::HasValueHandle bit is used to know
Michael Ilseman516d7032013-03-01 18:48:54 +0000422 /// whether or not a value has an entry in this map.
Owen Andersone8f21852009-08-18 18:28:58 +0000423 typedef DenseMap<Value*, ValueHandleBase*> ValueHandlesTy;
424 ValueHandlesTy ValueHandles;
425
Chris Lattnera0566972009-12-29 09:01:33 +0000426 /// CustomMDKindNames - Map to hold the metadata string to ID mapping.
427 StringMap<unsigned> CustomMDKindNames;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000428
429 typedef std::pair<unsigned, TrackingMDNodeRef> MDPairTy;
Chris Lattnera0566972009-12-29 09:01:33 +0000430 typedef SmallVector<MDPairTy, 2> MDMapTy;
431
432 /// MetadataStore - Collection of per-instruction metadata used in this
433 /// context.
434 DenseMap<const Instruction *, MDMapTy> MetadataStore;
435
Diego Novillof5041ce2014-03-03 20:06:11 +0000436 /// DiscriminatorTable - This table maps file:line locations to an
437 /// integer representing the next DWARF path discriminator to assign to
438 /// instructions in different blocks at the same location.
439 DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable;
440
Michael Ilseman516d7032013-03-01 18:48:54 +0000441 /// IntrinsicIDCache - Cache of intrinsic name (string) to numeric ID mappings
442 /// requested in this context
443 typedef DenseMap<const Function*, unsigned> IntrinsicIDCacheTy;
444 IntrinsicIDCacheTy IntrinsicIDCache;
445
Peter Collingbourne3fa50f92013-09-16 01:08:15 +0000446 /// \brief Mapping from a function to its prefix data, which is stored as the
447 /// operand of an unparented ReturnInst so that the prefix data has a Use.
448 typedef DenseMap<const Function *, ReturnInst *> PrefixDataMapTy;
449 PrefixDataMapTy PrefixDataMap;
450
Peter Collingbourne51d2de72014-12-03 02:08:38 +0000451 /// \brief Mapping from a function to its prologue data, which is stored as
452 /// the operand of an unparented ReturnInst so that the prologue data has a
453 /// Use.
454 typedef DenseMap<const Function *, ReturnInst *> PrologueDataMapTy;
455 PrologueDataMapTy PrologueDataMap;
456
Chris Lattner8cb2aeb2010-04-01 00:37:44 +0000457 int getOrAddScopeRecordIdxEntry(MDNode *N, int ExistingIdx);
458 int getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA,int ExistingIdx);
Philip Reames2b453952015-01-16 20:07:33 +0000459
460 /// An owning list of all GCStrategies which have been created
461 SmallVector<std::unique_ptr<GCStrategy>, 1> GCStrategyList;
462 /// A helper map to speedup lookups into the above list
463 StringMap<GCStrategy*> GCStrategyMap;
464
465 /// Lookup the GCStrategy object associated with the given gc name. If one
466 /// can't be found, returns nullptr. The lifetime of the returned objects
467 /// is dictated by the lifetime of the associated context. No caller should
468 /// attempt to delete the returned objects.
469 GCStrategy *getGCStrategy(const StringRef Name);
Juergen Ributzkabcbed0a2014-05-15 17:49:20 +0000470
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +0000471 LLVMContextImpl(LLVMContext &C);
472 ~LLVMContextImpl();
Manman Rendab999d2015-01-20 19:24:59 +0000473
474 /// Destroy the ConstantArrays if they are not used.
475 void dropTriviallyDeadConstantArrays();
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000476};
477
478}
479
Owen Anderson36f62e52009-06-30 17:06:46 +0000480#endif