blob: 4604d9babb54024a324cd5ef41b8e7a86e13ecf2 [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>
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000182 MDNodeOpsKey(NodeTy *N, unsigned Offset = 0)
183 : 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 Smith118632d2015-01-12 20:09:34 +0000211/// \brief DenseMapInfo for MDTuple.
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000212///
213/// Note that we don't need the is-function-local bit, since that's implicit in
214/// the operands.
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000215struct MDTupleInfo {
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000216 struct KeyTy : MDNodeOpsKey {
217 KeyTy(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {}
218 KeyTy(MDTuple *N) : MDNodeOpsKey(N) {}
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000219
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000220 bool operator==(const MDTuple *RHS) const {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000221 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
222 return false;
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000223 return compareOps(RHS);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000224 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000225
226 static unsigned calculateHash(MDTuple *N) {
227 return MDNodeOpsKey::calculateHash(N);
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000228 }
229 };
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000230 static inline MDTuple *getEmptyKey() {
231 return DenseMapInfo<MDTuple *>::getEmptyKey();
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000232 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000233 static inline MDTuple *getTombstoneKey() {
234 return DenseMapInfo<MDTuple *>::getTombstoneKey();
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000235 }
Duncan P. N. Exon Smith93e983e2015-01-19 22:53:18 +0000236 static unsigned getHashValue(const KeyTy &Key) { return Key.getHash(); }
237 static unsigned getHashValue(const MDTuple *U) { return U->getHash(); }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000238 static bool isEqual(const KeyTy &LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000239 return LHS == RHS;
240 }
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000241 static bool isEqual(const MDTuple *LHS, const MDTuple *RHS) {
Duncan P. N. Exon Smithf39c3b82014-11-17 23:28:21 +0000242 return LHS == RHS;
Benjamin Kramer2335a5c2012-04-11 14:06:54 +0000243 }
244};
245
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000246/// \brief DenseMapInfo for MDLocation.
247struct MDLocationInfo {
248 struct KeyTy {
249 unsigned Line;
250 unsigned Column;
251 Metadata *Scope;
252 Metadata *InlinedAt;
253
254 KeyTy(unsigned Line, unsigned Column, Metadata *Scope, Metadata *InlinedAt)
255 : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt) {}
256
257 KeyTy(const MDLocation *L)
258 : Line(L->getLine()), Column(L->getColumn()), Scope(L->getScope()),
259 InlinedAt(L->getInlinedAt()) {}
260
261 bool operator==(const MDLocation *RHS) const {
262 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
263 return false;
264 return Line == RHS->getLine() && Column == RHS->getColumn() &&
265 Scope == RHS->getScope() && InlinedAt == RHS->getInlinedAt();
266 }
267 };
268 static inline MDLocation *getEmptyKey() {
269 return DenseMapInfo<MDLocation *>::getEmptyKey();
270 }
271 static inline MDLocation *getTombstoneKey() {
272 return DenseMapInfo<MDLocation *>::getTombstoneKey();
273 }
274 static unsigned getHashValue(const KeyTy &Key) {
275 return hash_combine(Key.Line, Key.Column, Key.Scope, Key.InlinedAt);
276 }
277 static unsigned getHashValue(const MDLocation *U) {
278 return getHashValue(KeyTy(U));
279 }
280 static bool isEqual(const KeyTy &LHS, const MDLocation *RHS) {
281 return LHS == RHS;
282 }
283 static bool isEqual(const MDLocation *LHS, const MDLocation *RHS) {
284 return LHS == RHS;
285 }
286};
287
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000288/// \brief DenseMapInfo for GenericDwarfNode.
289struct GenericDwarfNodeInfo {
290 struct KeyTy : MDNodeOpsKey {
291 unsigned Tag;
292 MDString *Header;
293 KeyTy(unsigned Tag, MDString *Header, ArrayRef<Metadata *> DwarfOps)
294 : MDNodeOpsKey(DwarfOps), Tag(Tag), Header(Header) {}
295 KeyTy(GenericDwarfNode *N)
296 : MDNodeOpsKey(N, 1), Tag(N->getTag()), Header(N->getHeader()) {}
297
298 bool operator==(const GenericDwarfNode *RHS) const {
299 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
300 return false;
301 return Tag == RHS->getTag() && Header == RHS->getHeader() &&
302 compareOps(RHS, 1);
303 }
304
305 static unsigned calculateHash(GenericDwarfNode *N) {
306 return MDNodeOpsKey::calculateHash(N, 1);
307 }
308 };
309 static inline GenericDwarfNode *getEmptyKey() {
310 return DenseMapInfo<GenericDwarfNode *>::getEmptyKey();
311 }
312 static inline GenericDwarfNode *getTombstoneKey() {
313 return DenseMapInfo<GenericDwarfNode *>::getTombstoneKey();
314 }
315 static unsigned getHashValue(const KeyTy &Key) {
316 return hash_combine(Key.getHash(), Key.Tag, Key.Header);
317 }
318 static unsigned getHashValue(const GenericDwarfNode *U) {
319 return hash_combine(U->getHash(), U->getTag(), U->getHeader());
320 }
321 static bool isEqual(const KeyTy &LHS, const GenericDwarfNode *RHS) {
322 return LHS == RHS;
323 }
324 static bool isEqual(const GenericDwarfNode *LHS,
325 const GenericDwarfNode *RHS) {
326 return LHS == RHS;
327 }
328};
329
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000330class LLVMContextImpl {
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +0000331public:
Owen Anderson8e89e412010-09-08 18:03:32 +0000332 /// OwnedModules - The set of modules instantiated in this context, and which
333 /// will be automatically deleted if this context is deleted.
334 SmallPtrSet<Module*, 4> OwnedModules;
335
Bob Wilsona594fab2013-02-11 05:37:07 +0000336 LLVMContext::InlineAsmDiagHandlerTy InlineAsmDiagHandler;
337 void *InlineAsmDiagContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000338
339 LLVMContext::DiagnosticHandlerTy DiagnosticHandler;
340 void *DiagnosticContext;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000341 bool RespectDiagnosticFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000342
Juergen Ributzka34390c72014-05-16 02:33:15 +0000343 LLVMContext::YieldCallbackTy YieldCallback;
344 void *YieldOpaqueHandle;
345
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000346 typedef DenseMap<APInt, ConstantInt *, DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +0000347 IntMapTy IntConstants;
NAKAMURA Takumifc3062f2014-12-06 05:57:06 +0000348
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000349 typedef DenseMap<APFloat, ConstantFP *, DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000350 FPMapTy FPConstants;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000351
Bill Wendling4607f4b2012-12-20 01:36:59 +0000352 FoldingSet<AttributeImpl> AttrsSet;
Bill Wendling6848e382012-12-19 22:42:22 +0000353 FoldingSet<AttributeSetImpl> AttrsLists;
Bill Wendlingd2e493b2013-01-24 00:06:56 +0000354 FoldingSet<AttributeSetNode> AttrsSetNodes;
Bill Wendlingf86efb92012-11-20 05:09:20 +0000355
Duncan P. N. Exon Smithf17e7402014-11-14 01:17:09 +0000356 StringMap<MDString> MDStringCache;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000357 DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata;
358 DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000359
Duncan P. N. Exon Smith118632d2015-01-12 20:09:34 +0000360 DenseSet<MDTuple *, MDTupleInfo> MDTuples;
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000361 DenseSet<MDLocation *, MDLocationInfo> MDLocations;
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000362 DenseSet<GenericDwarfNode *, GenericDwarfNodeInfo> GenericDwarfNodes;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000363
Jeffrey Yasskin2cc24762010-03-13 01:26:15 +0000364 // MDNodes may be uniqued or not uniqued. When they're not uniqued, they
365 // aren't in the MDNodeSet, but they're still shared between objects, so no
366 // one object can destroy them. This set allows us to at least destroy them
367 // on Context destruction.
Duncan P. N. Exon Smith2bc00f42015-01-19 23:13:14 +0000368 SmallPtrSet<MDNode *, 1> DistinctMDNodes;
Duncan P. N. Exon Smith50846f82014-11-18 00:37:17 +0000369
David Blaikiecb2818f2014-11-25 02:26:22 +0000370 DenseMap<Type*, ConstantAggregateZero*> CAZConstants;
Owen Anderson13234f82009-08-10 18:16:08 +0000371
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000372 typedef ConstantUniqueMap<ConstantArray> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000373 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000374
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000375 typedef ConstantUniqueMap<ConstantStruct> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000376 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000377
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000378 typedef ConstantUniqueMap<ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000379 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000380
Chris Lattnerc7f9fd42012-01-23 15:20:12 +0000381 DenseMap<PointerType*, ConstantPointerNull*> CPNConstants;
382
383 DenseMap<Type*, UndefValue*> UVConstants;
Owen Andersonc8c30262009-07-31 22:45:43 +0000384
Chris Lattner3756b912012-01-23 22:57:10 +0000385 StringMap<ConstantDataSequential*> CDSConstants;
386
Chandler Carruth6a936922014-01-19 02:13:50 +0000387 DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *>
388 BlockAddresses;
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000389 ConstantUniqueMap<ConstantExpr> ExprConstants;
Jeffrey Yasskinade270e2010-03-21 20:37:19 +0000390
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000391 ConstantUniqueMap<InlineAsm> InlineAsms;
392
Owen Anderson2ad52172009-07-21 02:47:59 +0000393 ConstantInt *TheTrueVal;
394 ConstantInt *TheFalseVal;
395
Owen Anderson6d549d62009-08-19 17:07:46 +0000396 LeakDetectorImpl<Value> LLVMObjects;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000397 LeakDetectorImpl<Metadata> LLVMMDObjects;
398
Dan Gohman97d2cb82009-08-25 16:00:35 +0000399 // Basic type instances.
Dan Gohman518cda42011-12-17 00:04:22 +0000400 Type VoidTy, LabelTy, HalfTy, FloatTy, DoubleTy, MetadataTy;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000401 Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy;
402 IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty;
Dan Gohman97d2cb82009-08-25 16:00:35 +0000403
Chris Lattner07bd69c2011-07-15 05:49:15 +0000404
405 /// TypeAllocator - All dynamically allocated types are allocated from this.
406 /// They live forever until the context is torn down.
407 BumpPtrAllocator TypeAllocator;
408
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000409 DenseMap<unsigned, IntegerType*> IntegerTypes;
Benjamin Kramer3280a5d2014-12-06 19:22:54 +0000410
411 typedef DenseSet<FunctionType *, FunctionTypeKeyInfo> FunctionTypeSet;
412 FunctionTypeSet FunctionTypes;
413 typedef DenseSet<StructType *, AnonStructTypeKeyInfo> StructTypeSet;
414 StructTypeSet AnonStructTypes;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000415 StringMap<StructType*> NamedStructTypes;
416 unsigned NamedStructTypesUniqueID;
417
418 DenseMap<std::pair<Type *, uint64_t>, ArrayType*> ArrayTypes;
419 DenseMap<std::pair<Type *, unsigned>, VectorType*> VectorTypes;
420 DenseMap<Type*, PointerType*> PointerTypes; // Pointers in AddrSpace = 0
421 DenseMap<std::pair<Type*, unsigned>, PointerType*> ASPointerTypes;
Jeffrey Yasskinc660b232010-02-11 06:41:30 +0000422
Jeffrey Yasskin28f24482009-12-17 19:55:06 +0000423
Owen Andersone8f21852009-08-18 18:28:58 +0000424 /// ValueHandles - This map keeps track of all of the value handles that are
425 /// watching a Value*. The Value::HasValueHandle bit is used to know
Michael Ilseman516d7032013-03-01 18:48:54 +0000426 /// whether or not a value has an entry in this map.
Owen Andersone8f21852009-08-18 18:28:58 +0000427 typedef DenseMap<Value*, ValueHandleBase*> ValueHandlesTy;
428 ValueHandlesTy ValueHandles;
429
Chris Lattnera0566972009-12-29 09:01:33 +0000430 /// CustomMDKindNames - Map to hold the metadata string to ID mapping.
431 StringMap<unsigned> CustomMDKindNames;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000432
433 typedef std::pair<unsigned, TrackingMDNodeRef> MDPairTy;
Chris Lattnera0566972009-12-29 09:01:33 +0000434 typedef SmallVector<MDPairTy, 2> MDMapTy;
435
436 /// MetadataStore - Collection of per-instruction metadata used in this
437 /// context.
438 DenseMap<const Instruction *, MDMapTy> MetadataStore;
439
Diego Novillof5041ce2014-03-03 20:06:11 +0000440 /// DiscriminatorTable - This table maps file:line locations to an
441 /// integer representing the next DWARF path discriminator to assign to
442 /// instructions in different blocks at the same location.
443 DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable;
444
Michael Ilseman516d7032013-03-01 18:48:54 +0000445 /// IntrinsicIDCache - Cache of intrinsic name (string) to numeric ID mappings
446 /// requested in this context
447 typedef DenseMap<const Function*, unsigned> IntrinsicIDCacheTy;
448 IntrinsicIDCacheTy IntrinsicIDCache;
449
Peter Collingbourne3fa50f92013-09-16 01:08:15 +0000450 /// \brief Mapping from a function to its prefix data, which is stored as the
451 /// operand of an unparented ReturnInst so that the prefix data has a Use.
452 typedef DenseMap<const Function *, ReturnInst *> PrefixDataMapTy;
453 PrefixDataMapTy PrefixDataMap;
454
Peter Collingbourne51d2de72014-12-03 02:08:38 +0000455 /// \brief Mapping from a function to its prologue data, which is stored as
456 /// the operand of an unparented ReturnInst so that the prologue data has a
457 /// Use.
458 typedef DenseMap<const Function *, ReturnInst *> PrologueDataMapTy;
459 PrologueDataMapTy PrologueDataMap;
460
Chris Lattner8cb2aeb2010-04-01 00:37:44 +0000461 int getOrAddScopeRecordIdxEntry(MDNode *N, int ExistingIdx);
462 int getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA,int ExistingIdx);
Philip Reames2b453952015-01-16 20:07:33 +0000463
464 /// An owning list of all GCStrategies which have been created
465 SmallVector<std::unique_ptr<GCStrategy>, 1> GCStrategyList;
466 /// A helper map to speedup lookups into the above list
467 StringMap<GCStrategy*> GCStrategyMap;
468
469 /// Lookup the GCStrategy object associated with the given gc name. If one
470 /// can't be found, returns nullptr. The lifetime of the returned objects
471 /// is dictated by the lifetime of the associated context. No caller should
472 /// attempt to delete the returned objects.
473 GCStrategy *getGCStrategy(const StringRef Name);
Juergen Ributzkabcbed0a2014-05-15 17:49:20 +0000474
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +0000475 LLVMContextImpl(LLVMContext &C);
476 ~LLVMContextImpl();
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000477};
478
479}
480
Owen Anderson36f62e52009-06-30 17:06:46 +0000481#endif