blob: 3ce1234adfa5f309ae2547431dbedf7707ea9288 [file] [log] [blame]
Owen Anderson20b34ac2009-07-16 18:04:31 +00001//===----------------- LLVMContextImpl.h - Implementation ------*- 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
15#ifndef LLVM_LLVMCONTEXT_IMPL_H
16#define LLVM_LLVMCONTEXT_IMPL_H
17
Owen Andersonafd0c4c2009-08-04 22:41:48 +000018#include "ConstantsContext.h"
Owen Anderson542cffc2009-08-04 23:33:01 +000019#include "TypesContext.h"
Owen Anderson2ad52172009-07-21 02:47:59 +000020#include "llvm/LLVMContext.h"
Owen Andersonedb4a702009-07-24 23:12:02 +000021#include "llvm/Constants.h"
Owen Anderson2ad52172009-07-21 02:47:59 +000022#include "llvm/DerivedTypes.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000023#include "llvm/System/RWMutex.h"
Owen Andersonc277dc42009-07-16 19:05:41 +000024#include "llvm/ADT/APFloat.h"
Owen Anderson20b34ac2009-07-16 18:04:31 +000025#include "llvm/ADT/APInt.h"
26#include "llvm/ADT/DenseMap.h"
Owen Anderson4118dde2009-07-16 23:44:30 +000027#include "llvm/ADT/FoldingSet.h"
Owen Anderson69ab4162009-07-16 22:11:26 +000028#include "llvm/ADT/StringMap.h"
Owen Anderson909f6002009-07-23 23:25:33 +000029#include <vector>
Owen Anderson39ede7b2009-07-21 20:13:12 +000030
Owen Anderson20b34ac2009-07-16 18:04:31 +000031namespace llvm {
Owen Andersonedb4a702009-07-24 23:12:02 +000032
Owen Anderson20b34ac2009-07-16 18:04:31 +000033class ConstantInt;
Owen Andersonc277dc42009-07-16 19:05:41 +000034class ConstantFP;
Owen Anderson69ab4162009-07-16 22:11:26 +000035class MDString;
Owen Anderson4118dde2009-07-16 23:44:30 +000036class MDNode;
Owen Andersonafd0c4c2009-08-04 22:41:48 +000037struct LLVMContext;
Owen Anderson20b34ac2009-07-16 18:04:31 +000038class Type;
Owen Anderson4118dde2009-07-16 23:44:30 +000039class Value;
Owen Anderson20b34ac2009-07-16 18:04:31 +000040
41struct DenseMapAPIntKeyInfo {
42 struct KeyTy {
43 APInt val;
44 const Type* type;
45 KeyTy(const APInt& V, const Type* Ty) : val(V), type(Ty) {}
46 KeyTy(const KeyTy& that) : val(that.val), type(that.type) {}
47 bool operator==(const KeyTy& that) const {
48 return type == that.type && this->val == that.val;
49 }
50 bool operator!=(const KeyTy& that) const {
51 return !this->operator==(that);
52 }
53 };
54 static inline KeyTy getEmptyKey() { return KeyTy(APInt(1,0), 0); }
55 static inline KeyTy getTombstoneKey() { return KeyTy(APInt(1,1), 0); }
56 static unsigned getHashValue(const KeyTy &Key) {
57 return DenseMapInfo<void*>::getHashValue(Key.type) ^
58 Key.val.getHashValue();
59 }
60 static bool isEqual(const KeyTy &LHS, const KeyTy &RHS) {
61 return LHS == RHS;
62 }
63 static bool isPod() { return false; }
64};
65
Owen Andersonc277dc42009-07-16 19:05:41 +000066struct DenseMapAPFloatKeyInfo {
67 struct KeyTy {
68 APFloat val;
69 KeyTy(const APFloat& V) : val(V){}
70 KeyTy(const KeyTy& that) : val(that.val) {}
71 bool operator==(const KeyTy& that) const {
72 return this->val.bitwiseIsEqual(that.val);
73 }
74 bool operator!=(const KeyTy& that) const {
75 return !this->operator==(that);
76 }
77 };
78 static inline KeyTy getEmptyKey() {
79 return KeyTy(APFloat(APFloat::Bogus,1));
80 }
81 static inline KeyTy getTombstoneKey() {
82 return KeyTy(APFloat(APFloat::Bogus,2));
83 }
84 static unsigned getHashValue(const KeyTy &Key) {
85 return Key.val.getHashValue();
86 }
87 static bool isEqual(const KeyTy &LHS, const KeyTy &RHS) {
88 return LHS == RHS;
89 }
90 static bool isPod() { return false; }
91};
92
Owen Anderson1584a292009-08-04 20:25:11 +000093struct LLVMContextImpl {
Owen Anderson20b34ac2009-07-16 18:04:31 +000094 sys::SmartRWMutex<true> ConstantsLock;
95
96 typedef DenseMap<DenseMapAPIntKeyInfo::KeyTy, ConstantInt*,
Owen Andersonafd0c4c2009-08-04 22:41:48 +000097 DenseMapAPIntKeyInfo> IntMapTy;
Owen Anderson20b34ac2009-07-16 18:04:31 +000098 IntMapTy IntConstants;
99
Owen Andersonc277dc42009-07-16 19:05:41 +0000100 typedef DenseMap<DenseMapAPFloatKeyInfo::KeyTy, ConstantFP*,
Owen Andersonafd0c4c2009-08-04 22:41:48 +0000101 DenseMapAPFloatKeyInfo> FPMapTy;
Owen Andersonc277dc42009-07-16 19:05:41 +0000102 FPMapTy FPConstants;
103
Owen Anderson69ab4162009-07-16 22:11:26 +0000104 StringMap<MDString*> MDStringCache;
105
Owen Anderson4118dde2009-07-16 23:44:30 +0000106 FoldingSet<MDNode> MDNodeSet;
107
Owen Andersonedb4a702009-07-24 23:12:02 +0000108 ValueMap<char, Type, ConstantAggregateZero> AggZeroConstants;
Owen Anderson3d344922009-07-21 20:55:28 +0000109
110 typedef ValueMap<std::vector<Constant*>, ArrayType,
111 ConstantArray, true /*largekey*/> ArrayConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000112 ArrayConstantsTy ArrayConstants;
Owen Anderson39ede7b2009-07-21 20:13:12 +0000113
Owen Anderson909f6002009-07-23 23:25:33 +0000114 typedef ValueMap<std::vector<Constant*>, StructType,
115 ConstantStruct, true /*largekey*/> StructConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000116 StructConstantsTy StructConstants;
Owen Anderson909f6002009-07-23 23:25:33 +0000117
Owen Anderson0348a132009-07-24 00:36:24 +0000118 typedef ValueMap<std::vector<Constant*>, VectorType,
119 ConstantVector> VectorConstantsTy;
Owen Andersonedb4a702009-07-24 23:12:02 +0000120 VectorConstantsTy VectorConstants;
Owen Anderson0348a132009-07-24 00:36:24 +0000121
Owen Andersonc8c30262009-07-31 22:45:43 +0000122 ValueMap<char, PointerType, ConstantPointerNull> NullPtrConstants;
123
124 ValueMap<char, Type, UndefValue> UndefValueConstants;
125
Owen Anderson1584a292009-08-04 20:25:11 +0000126 ValueMap<ExprMapKeyType, Type, ConstantExpr> ExprConstants;
127
Owen Anderson2ad52172009-07-21 02:47:59 +0000128 ConstantInt *TheTrueVal;
129 ConstantInt *TheFalseVal;
130
Owen Anderson542cffc2009-08-04 23:33:01 +0000131 TypeMap<ArrayValType, ArrayType> ArrayTypes;
Owen Andersond9186492009-08-04 23:47:44 +0000132 TypeMap<VectorValType, VectorType> VectorTypes;
Owen Andersone5659952009-08-05 00:15:12 +0000133 TypeMap<PointerValType, PointerType> PointerTypes;
Owen Anderson4b5c7612009-08-05 18:13:27 +0000134 TypeMap<FunctionValType, FunctionType> FunctionTypes;
Owen Anderson542cffc2009-08-04 23:33:01 +0000135
Owen Andersonafd0c4c2009-08-04 22:41:48 +0000136 LLVMContextImpl() : TheTrueVal(0), TheFalseVal(0) { }
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000137};
138
139}
140
Owen Anderson36f62e52009-06-30 17:06:46 +0000141#endif