blob: ee6c93bfd6d02c258919f52881522d00a910e4c1 [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 Smith8af6cfc2015-02-04 22:08:30 +0000222 bool operator==(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)
243 : Line(L->getLine()), Column(L->getColumn()), Scope(L->getScope()),
244 InlinedAt(L->getInlinedAt()) {}
Duncan P. N. Exon Smithde03ff52015-01-13 20:44:56 +0000245
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000246 bool operator==(const MDLocation *RHS) const {
247 return Line == RHS->getLine() && Column == RHS->getColumn() &&
248 Scope == RHS->getScope() && InlinedAt == RHS->getInlinedAt();
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 Smith8af6cfc2015-02-04 22:08:30 +0000264 bool operator==(const GenericDebugNode *RHS) const {
265 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
276/// \brief DenseMapInfo for MDNode subclasses.
277template <class NodeTy> struct MDNodeInfo {
278 typedef MDNodeKeyImpl<NodeTy> KeyTy;
279 static inline NodeTy *getEmptyKey() {
280 return DenseMapInfo<NodeTy *>::getEmptyKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000281 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000282 static inline NodeTy *getTombstoneKey() {
283 return DenseMapInfo<NodeTy *>::getTombstoneKey();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000284 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000285 static unsigned getHashValue(const KeyTy &Key) { return Key.getHashValue(); }
286 static unsigned getHashValue(const NodeTy *N) {
287 return KeyTy(N).getHashValue();
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000288 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000289 static bool isEqual(const KeyTy &LHS, const NodeTy *RHS) {
290 if (RHS == getEmptyKey() || RHS == getTombstoneKey())
291 return false;
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000292 return LHS == RHS;
293 }
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000294 static bool isEqual(const NodeTy *LHS, const NodeTy *RHS) {
Duncan P. N. Exon Smithfed199a2015-01-20 00:01:43 +0000295 return LHS == RHS;
296 }
297};
298
Duncan P. N. Exon Smith8af6cfc2015-02-04 22:08:30 +0000299#define HANDLE_MDNODE_LEAF(CLASS) typedef MDNodeInfo<CLASS> CLASS##Info;
300#include "llvm/IR/Metadata.def"
301
Benjamin Kramer079b96e2013-09-11 18:05:11 +0000302class LLVMContextImpl {
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +0000303public:
Owen Anderson8e89e412010-09-08 18:03:32 +0000304 /// OwnedModules - The set of modules instantiated in this context, and which
305 /// will be automatically deleted if this context is deleted.
306 SmallPtrSet<Module*, 4> OwnedModules;
307
Bob Wilsona594fab2013-02-11 05:37:07 +0000308 LLVMContext::InlineAsmDiagHandlerTy InlineAsmDiagHandler;
309 void *InlineAsmDiagContext;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000310
311 LLVMContext::DiagnosticHandlerTy DiagnosticHandler;
312 void *DiagnosticContext;
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000313 bool RespectDiagnosticFilters;
Quentin Colombetb4c44d22013-12-17 17:47:22 +0000314
Juergen Ributzka34390c72014-05-16 02:33:15 +0000315 LLVMContext::YieldCallbackTy YieldCallback;
316 void *YieldOpaqueHandle;
317
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000318 typedef DenseMap<APInt, ConstantInt *, DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +0000319 IntMapTy IntConstants;
NAKAMURA Takumifc3062f2014-12-06 05:57:06 +0000320
Benjamin Kramer8e5dc532014-12-06 13:12:56 +0000321 typedef DenseMap<APFloat, ConstantFP *, DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000322 FPMapTy FPConstants;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000323
Bill Wendling4607f4b2012-12-20 01:36:59 +0000324 FoldingSet<AttributeImpl> AttrsSet;
Bill Wendling6848e382012-12-19 22:42:22 +0000325 FoldingSet<AttributeSetImpl> AttrsLists;
Bill Wendlingd2e493b2013-01-24 00:06:56 +0000326 FoldingSet<AttributeSetNode> AttrsSetNodes;
Bill Wendlingf86efb92012-11-20 05:09:20 +0000327
Duncan P. N. Exon Smithf17e7402014-11-14 01:17:09 +0000328 StringMap<MDString> MDStringCache;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000329 DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata;
330 DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues;
Bill Wendlinge38b8042012-09-26 21:07:29 +0000331
Duncan P. N. Exon Smith104e4022015-02-04 21:46:12 +0000332#define HANDLE_MDNODE_LEAF(CLASS) DenseSet<CLASS *, CLASS##Info> CLASS##s;
333#include "llvm/IR/Metadata.def"
Bill Wendlinge38b8042012-09-26 21:07:29 +0000334
Jeffrey Yasskin2cc24762010-03-13 01:26:15 +0000335 // MDNodes may be uniqued or not uniqued. When they're not uniqued, they
336 // aren't in the MDNodeSet, but they're still shared between objects, so no
337 // one object can destroy them. This set allows us to at least destroy them
338 // on Context destruction.
Duncan P. N. Exon Smith2bc00f42015-01-19 23:13:14 +0000339 SmallPtrSet<MDNode *, 1> DistinctMDNodes;
Duncan P. N. Exon Smith50846f82014-11-18 00:37:17 +0000340
David Blaikiecb2818f2014-11-25 02:26:22 +0000341 DenseMap<Type*, ConstantAggregateZero*> CAZConstants;
Owen Anderson13234f82009-08-10 18:16:08 +0000342
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000343 typedef ConstantUniqueMap<ConstantArray> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000344 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000345
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000346 typedef ConstantUniqueMap<ConstantStruct> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000347 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000348
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000349 typedef ConstantUniqueMap<ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000350 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000351
Chris Lattnerc7f9fd42012-01-23 15:20:12 +0000352 DenseMap<PointerType*, ConstantPointerNull*> CPNConstants;
353
354 DenseMap<Type*, UndefValue*> UVConstants;
Owen Andersonc8c30262009-07-31 22:45:43 +0000355
Chris Lattner3756b912012-01-23 22:57:10 +0000356 StringMap<ConstantDataSequential*> CDSConstants;
357
Chandler Carruth6a936922014-01-19 02:13:50 +0000358 DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *>
359 BlockAddresses;
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000360 ConstantUniqueMap<ConstantExpr> ExprConstants;
Jeffrey Yasskinade270e2010-03-21 20:37:19 +0000361
Duncan P. N. Exon Smith317c1392014-08-19 16:39:58 +0000362 ConstantUniqueMap<InlineAsm> InlineAsms;
363
Owen Anderson2ad52172009-07-21 02:47:59 +0000364 ConstantInt *TheTrueVal;
365 ConstantInt *TheFalseVal;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000366
Dan Gohman97d2cb82009-08-25 16:00:35 +0000367 // Basic type instances.
Dan Gohman518cda42011-12-17 00:04:22 +0000368 Type VoidTy, LabelTy, HalfTy, FloatTy, DoubleTy, MetadataTy;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000369 Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy;
370 IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty;
Dan Gohman97d2cb82009-08-25 16:00:35 +0000371
Chris Lattner07bd69c2011-07-15 05:49:15 +0000372
373 /// TypeAllocator - All dynamically allocated types are allocated from this.
374 /// They live forever until the context is torn down.
375 BumpPtrAllocator TypeAllocator;
376
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000377 DenseMap<unsigned, IntegerType*> IntegerTypes;
Benjamin Kramer3280a5d2014-12-06 19:22:54 +0000378
379 typedef DenseSet<FunctionType *, FunctionTypeKeyInfo> FunctionTypeSet;
380 FunctionTypeSet FunctionTypes;
381 typedef DenseSet<StructType *, AnonStructTypeKeyInfo> StructTypeSet;
382 StructTypeSet AnonStructTypes;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000383 StringMap<StructType*> NamedStructTypes;
384 unsigned NamedStructTypesUniqueID;
385
386 DenseMap<std::pair<Type *, uint64_t>, ArrayType*> ArrayTypes;
387 DenseMap<std::pair<Type *, unsigned>, VectorType*> VectorTypes;
388 DenseMap<Type*, PointerType*> PointerTypes; // Pointers in AddrSpace = 0
389 DenseMap<std::pair<Type*, unsigned>, PointerType*> ASPointerTypes;
Jeffrey Yasskinc660b232010-02-11 06:41:30 +0000390
Jeffrey Yasskin28f24482009-12-17 19:55:06 +0000391
Owen Andersone8f21852009-08-18 18:28:58 +0000392 /// ValueHandles - This map keeps track of all of the value handles that are
393 /// watching a Value*. The Value::HasValueHandle bit is used to know
Michael Ilseman516d7032013-03-01 18:48:54 +0000394 /// whether or not a value has an entry in this map.
Owen Andersone8f21852009-08-18 18:28:58 +0000395 typedef DenseMap<Value*, ValueHandleBase*> ValueHandlesTy;
396 ValueHandlesTy ValueHandles;
397
Chris Lattnera0566972009-12-29 09:01:33 +0000398 /// CustomMDKindNames - Map to hold the metadata string to ID mapping.
399 StringMap<unsigned> CustomMDKindNames;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000400
401 typedef std::pair<unsigned, TrackingMDNodeRef> MDPairTy;
Chris Lattnera0566972009-12-29 09:01:33 +0000402 typedef SmallVector<MDPairTy, 2> MDMapTy;
403
404 /// MetadataStore - Collection of per-instruction metadata used in this
405 /// context.
406 DenseMap<const Instruction *, MDMapTy> MetadataStore;
407
Diego Novillof5041ce2014-03-03 20:06:11 +0000408 /// DiscriminatorTable - This table maps file:line locations to an
409 /// integer representing the next DWARF path discriminator to assign to
410 /// instructions in different blocks at the same location.
411 DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable;
412
Michael Ilseman516d7032013-03-01 18:48:54 +0000413 /// IntrinsicIDCache - Cache of intrinsic name (string) to numeric ID mappings
414 /// requested in this context
415 typedef DenseMap<const Function*, unsigned> IntrinsicIDCacheTy;
416 IntrinsicIDCacheTy IntrinsicIDCache;
417
Peter Collingbourne3fa50f92013-09-16 01:08:15 +0000418 /// \brief Mapping from a function to its prefix data, which is stored as the
419 /// operand of an unparented ReturnInst so that the prefix data has a Use.
420 typedef DenseMap<const Function *, ReturnInst *> PrefixDataMapTy;
421 PrefixDataMapTy PrefixDataMap;
422
Peter Collingbourne51d2de72014-12-03 02:08:38 +0000423 /// \brief Mapping from a function to its prologue data, which is stored as
424 /// the operand of an unparented ReturnInst so that the prologue data has a
425 /// Use.
426 typedef DenseMap<const Function *, ReturnInst *> PrologueDataMapTy;
427 PrologueDataMapTy PrologueDataMap;
428
Chris Lattner8cb2aeb2010-04-01 00:37:44 +0000429 int getOrAddScopeRecordIdxEntry(MDNode *N, int ExistingIdx);
430 int getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA,int ExistingIdx);
Philip Reames2b453952015-01-16 20:07:33 +0000431
Jeffrey Yasskin4cfb3a72010-03-21 21:17:34 +0000432 LLVMContextImpl(LLVMContext &C);
433 ~LLVMContextImpl();
Manman Rendab999d2015-01-20 19:24:59 +0000434
435 /// Destroy the ConstantArrays if they are not used.
436 void dropTriviallyDeadConstantArrays();
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000437};
438
439}
440
Owen Anderson36f62e52009-06-30 17:06:46 +0000441#endif