blob: 729e48be083857154e29b1b180ce4ec639de1390 [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 Anderson6d549d62009-08-19 17:07:46 +000020#include "LeaksContext.h"
Owen Andersonc277dc42009-07-16 19:05:41 +000021#include "llvm/ADT/APFloat.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000022#include "llvm/ADT/APInt.h"
Jay Foadc365eea2011-06-22 08:50:06 +000023#include "llvm/ADT/ArrayRef.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000024#include "llvm/ADT/DenseMap.h"
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +000025#include "llvm/ADT/DenseSet.h"
Owen Anderson4118dde2009-07-16 23:44:30 +000026#include "llvm/ADT/FoldingSet.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000027#include "llvm/ADT/Hashing.h"
Jeffrey Yasskin28f24482009-12-17 19:55:06 +000028#include "llvm/ADT/SmallPtrSet.h"
Owen Anderson69ab4162009-07-16 22:11:26 +000029#include "llvm/ADT/StringMap.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000030#include "llvm/IR/Constants.h"
31#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>
182 MDNodeOpsKey(NodeTy *N)
183 : Ops(N->op_begin(), N->op_end()), Hash(N->getHash()) {}
184
185 template <class NodeTy> bool compareOps(const NodeTy *RHS) const {
186 if (getHash() != RHS->getHash())
187 return false;
188
189 assert((RawOps.empty() || Ops.empty()) && "Two sets of operands?");
190 return RawOps.empty() ? compareOps(Ops, RHS) : compareOps(RawOps, RHS);
191 }
192
193 static unsigned calculateHash(MDNode *N);
194
195private:
196 template <class T>
197 static bool compareOps(ArrayRef<T> Ops, const MDNode *RHS) {
198 if (Ops.size() != RHS->getNumOperands())
199 return false;
200 return std::equal(Ops.begin(), Ops.end(), RHS->op_begin());
201 }
202
203 static unsigned calculateHash(ArrayRef<Metadata *> Ops);
204
205public:
206 unsigned getHash() const { return Hash; }
207};
208
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000209/// \brief DenseMapInfo for MDTuple.
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000210///
211/// Note that we don't need the is-function-local bit, since that's implicit in
212/// the operands.
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000213struct MDTupleInfo {
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000214 struct KeyTy : MDNodeOpsKey {
215 KeyTy(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {}
216 KeyTy(MDTuple *N) : MDNodeOpsKey(N) {}
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000217
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000218 bool operator==(const MDTuple *RHS) const {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000219 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
220 return false;
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000221 return compareOps(RHS);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000222 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000223
224 static unsigned calculateHash(MDTuple *N) {
225 return MDNodeOpsKey::calculateHash(N);
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000226 }
227 };
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000228 static inline MDTuple *getEmptyKey() {
229 return DenseMapInfo<MDTuple *>::getEmptyKey();
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000230 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000231 static inline MDTuple *getTombstoneKey() {
232 return DenseMapInfo<MDTuple *>::getTombstoneKey();
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000233 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000234 static unsigned getHashValue(const KeyTy &Key) { return Key.getHash(); }
235 static unsigned getHashValue(const MDTuple *U) { return U->getHash(); }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000236 static bool isEqual(const KeyTy &LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000237 return LHS == RHS;
238 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000239 static bool isEqual(const MDTuple *LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000240 return LHS == RHS;
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000241 }
242};
243
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000244/// \brief DenseMapInfo for MDLocation.
245struct MDLocationInfo {
246 struct KeyTy {
247 unsigned Line;
248 unsigned Column;
249 Metadata *Scope;
250 Metadata *InlinedAt;
251
252 KeyTy(unsigned Line, unsigned Column, Metadata *Scope, Metadata *InlinedAt)
253 : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt) {}
254
255 KeyTy(const MDLocation *L)
256 : Line(L->getLine()), Column(L->getColumn()), Scope(L->getScope()),
257 InlinedAt(L->getInlinedAt()) {}
258
259 bool operator==(const MDLocation *RHS) const {
260 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
261 return false;
262 return Line == RHS->getLine() && Column == RHS->getColumn() &&
263 Scope == RHS->getScope() && InlinedAt == RHS->getInlinedAt();
264 }
265 };
266 static inline MDLocation *getEmptyKey() {
267 return DenseMapInfo<MDLocation *>::getEmptyKey();
268 }
269 static inline MDLocation *getTombstoneKey() {
270 return DenseMapInfo<MDLocation *>::getTombstoneKey();
271 }
272 static unsigned getHashValue(const KeyTy &Key) {
273 return hash_combine(Key.Line, Key.Column, Key.Scope, Key.InlinedAt);
274 }
275 static unsigned getHashValue(const MDLocation *U) {
276 return getHashValue(KeyTy(U));
277 }
278 static bool isEqual(const KeyTy &LHS, const MDLocation *RHS) {
279 return LHS == RHS;
280 }
281 static bool isEqual(const MDLocation *LHS, const MDLocation *RHS) {
282 return LHS == RHS;
283 }
284};
285
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000286class LLVMContextImpl {
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +0000287public:
Owen Anderson8e89e412010-09-08 18:03:32 +0000288 /// OwnedModules - The set of modules instantiated in this context, and which
289 /// will be automatically deleted if this context is deleted.
290 SmallPtrSet<Module*, 4> OwnedModules;
291
Bob Wilsona594fab2013-02-11 05:37:07 +0000292 LLVMContext::InlineAsmDiagHandlerTy InlineAsmDiagHandler;
293 void *InlineAsmDiagContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000294
295 LLVMContext::DiagnosticHandlerTy DiagnosticHandler;
296 void *DiagnosticContext;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000297 bool RespectDiagnosticFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000298
Juergen Ributzka34390c72014-05-16 02:33:15 +0000299 LLVMContext::YieldCallbackTy YieldCallback;
300 void *YieldOpaqueHandle;
301
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000302 typedef DenseMap<APInt, ConstantInt *, DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +0000303 IntMapTy IntConstants;
NAKAMURA Takumifc3062f2014-12-06 05:57:06 +0000304
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000305 typedef DenseMap<APFloat, ConstantFP *, DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000306 FPMapTy FPConstants;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000307
Bill Wendling4607f4b2012-12-20 01:36:59 +0000308 FoldingSet<AttributeImpl> AttrsSet;
Bill Wendling6848e382012-12-19 22:42:22 +0000309 FoldingSet<AttributeSetImpl> AttrsLists;
Bill Wendlingd2e493b2013-01-24 00:06:56 +0000310 FoldingSet<AttributeSetNode> AttrsSetNodes;
Bill Wendlingf86efb92012-11-20 05:09:20 +0000311
Duncan P. N. Exon Smithf17e7402014-11-14 01:17:09 +0000312 StringMap<MDString> MDStringCache;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000313 DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata;
314 DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000315
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000316 DenseSet<MDTuple *, MDTupleInfo> MDTuples;
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000317 DenseSet<MDLocation *, MDLocationInfo> MDLocations;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000318
Jeffrey Yasskin2cc24762010-03-13 01:26:15 +0000319 // MDNodes may be uniqued or not uniqued. When they're not uniqued, they
320 // aren't in the MDNodeSet, but they're still shared between objects, so no
321 // one object can destroy them. This set allows us to at least destroy them
322 // on Context destruction.
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000323 SmallPtrSet<UniquableMDNode *, 1> DistinctMDNodes;
Duncan P. N. Exon Smith50846f82014-11-18 00:37:17 +0000324
David Blaikiecb2818f2014-11-25 02:26:22 +0000325 DenseMap<Type*, ConstantAggregateZero*> CAZConstants;
Owen Anderson13234f82009-08-10 18:16:08 +0000326
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000327 typedef ConstantUniqueMap<ConstantArray> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000328 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000329
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000330 typedef ConstantUniqueMap<ConstantStruct> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000331 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000332
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000333 typedef ConstantUniqueMap<ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000334 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000335
Chris Lattnerc7f9fd42012-01-23 15:20:12 +0000336 DenseMap<PointerType*, ConstantPointerNull*> CPNConstants;
337
338 DenseMap<Type*, UndefValue*> UVConstants;
Owen Andersonc8c30262009-07-31 22:45:43 +0000339
Chris Lattner3756b912012-01-23 22:57:10 +0000340 StringMap<ConstantDataSequential*> CDSConstants;
341
Chandler Carruth6a936922014-01-19 02:13:50 +0000342 DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *>
343 BlockAddresses;
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000344 ConstantUniqueMap<ConstantExpr> ExprConstants;
Jeffrey Yasskinade270e2010-03-21 20:37:19 +0000345
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000346 ConstantUniqueMap<InlineAsm> InlineAsms;
347
Owen Anderson2ad52172009-07-21 02:47:59 +0000348 ConstantInt *TheTrueVal;
349 ConstantInt *TheFalseVal;
350
Owen Anderson6d549d62009-08-19 17:07:46 +0000351 LeakDetectorImpl<Value> LLVMObjects;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000352 LeakDetectorImpl<Metadata> LLVMMDObjects;
353
Dan Gohman97d2cb82009-08-25 16:00:35 +0000354 // Basic type instances.
Dan Gohman518cda42011-12-17 00:04:22 +0000355 Type VoidTy, LabelTy, HalfTy, FloatTy, DoubleTy, MetadataTy;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000356 Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy;
357 IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty;
Dan Gohman97d2cb82009-08-25 16:00:35 +0000358
Chris Lattner07bd69c2011-07-15 05:49:15 +0000359
360 /// TypeAllocator - All dynamically allocated types are allocated from this.
361 /// They live forever until the context is torn down.
362 BumpPtrAllocator TypeAllocator;
363
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000364 DenseMap<unsigned, IntegerType*> IntegerTypes;
Benjamin Kramer3280a5d2014-12-06 19:22:54 +0000365
366 typedef DenseSet<FunctionType *, FunctionTypeKeyInfo> FunctionTypeSet;
367 FunctionTypeSet FunctionTypes;
368 typedef DenseSet<StructType *, AnonStructTypeKeyInfo> StructTypeSet;
369 StructTypeSet AnonStructTypes;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000370 StringMap<StructType*> NamedStructTypes;
371 unsigned NamedStructTypesUniqueID;
372
373 DenseMap<std::pair<Type *, uint64_t>, ArrayType*> ArrayTypes;
374 DenseMap<std::pair<Type *, unsigned>, VectorType*> VectorTypes;
375 DenseMap<Type*, PointerType*> PointerTypes; // Pointers in AddrSpace = 0
376 DenseMap<std::pair<Type*, unsigned>, PointerType*> ASPointerTypes;
Jeffrey Yasskinc660b232010-02-11 06:41:30 +0000377
Jeffrey Yasskin28f24482009-12-17 19:55:06 +0000378
Owen Andersone8f21852009-08-18 18:28:58 +0000379 /// ValueHandles - This map keeps track of all of the value handles that are
380 /// watching a Value*. The Value::HasValueHandle bit is used to know
Michael Ilseman516d7032013-03-01 18:48:54 +0000381 /// whether or not a value has an entry in this map.
Owen Andersone8f21852009-08-18 18:28:58 +0000382 typedef DenseMap<Value*, ValueHandleBase*> ValueHandlesTy;
383 ValueHandlesTy ValueHandles;
384
Chris Lattnera0566972009-12-29 09:01:33 +0000385 /// CustomMDKindNames - Map to hold the metadata string to ID mapping.
386 StringMap<unsigned> CustomMDKindNames;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000387
388 typedef std::pair<unsigned, TrackingMDNodeRef> MDPairTy;
Chris Lattnera0566972009-12-29 09:01:33 +0000389 typedef SmallVector<MDPairTy, 2> MDMapTy;
390
391 /// MetadataStore - Collection of per-instruction metadata used in this
392 /// context.
393 DenseMap<const Instruction *, MDMapTy> MetadataStore;
394
Diego Novillof5041ce2014-03-03 20:06:11 +0000395 /// DiscriminatorTable - This table maps file:line locations to an
396 /// integer representing the next DWARF path discriminator to assign to
397 /// instructions in different blocks at the same location.
398 DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable;
399
Michael Ilseman516d7032013-03-01 18:48:54 +0000400 /// IntrinsicIDCache - Cache of intrinsic name (string) to numeric ID mappings
401 /// requested in this context
402 typedef DenseMap<const Function*, unsigned> IntrinsicIDCacheTy;
403 IntrinsicIDCacheTy IntrinsicIDCache;
404
Peter Collingbourne3fa50f92013-09-16 01:08:15 +0000405 /// \brief Mapping from a function to its prefix data, which is stored as the
406 /// operand of an unparented ReturnInst so that the prefix data has a Use.
407 typedef DenseMap<const Function *, ReturnInst *> PrefixDataMapTy;
408 PrefixDataMapTy PrefixDataMap;
409
Peter Collingbourne51d2de72014-12-03 02:08:38 +0000410 /// \brief Mapping from a function to its prologue data, which is stored as
411 /// the operand of an unparented ReturnInst so that the prologue data has a
412 /// Use.
413 typedef DenseMap<const Function *, ReturnInst *> PrologueDataMapTy;
414 PrologueDataMapTy PrologueDataMap;
415
Chris Lattner8cb2aeb2010-04-01 00:37:44 +0000416 int getOrAddScopeRecordIdxEntry(MDNode *N, int ExistingIdx);
417 int getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA,int ExistingIdx);
Philip Reames2b453952015-01-16 20:07:33 +0000418
419 /// An owning list of all GCStrategies which have been created
420 SmallVector<std::unique_ptr<GCStrategy>, 1> GCStrategyList;
421 /// A helper map to speedup lookups into the above list
422 StringMap<GCStrategy*> GCStrategyMap;
423
424 /// Lookup the GCStrategy object associated with the given gc name. If one
425 /// can't be found, returns nullptr. The lifetime of the returned objects
426 /// is dictated by the lifetime of the associated context. No caller should
427 /// attempt to delete the returned objects.
428 GCStrategy *getGCStrategy(const StringRef Name);
Juergen Ributzkabcbed0a2014-05-15 17:49:20 +0000429
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +0000430 LLVMContextImpl(LLVMContext &C);
431 ~LLVMContextImpl();
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000432};
433
434}
435
Owen Anderson36f62e52009-06-30 17:06:46 +0000436#endif