blob: 5e009ea6dffef65dfc1894d98bcb5ac66dcccb8d [file] [log] [blame]
Owen Anderson8e66e0b2009-06-30 00:48:55 +00001//===-- LLVMContext.cpp - Implement LLVMContext -----------------------===//
2//
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 implements LLVMContext, as a wrapper around the opaque
11// class LLVMContextImpl.
12//
13//===----------------------------------------------------------------------===//
Owen Anderson8e66e0b2009-06-30 00:48:55 +000014
15#include "llvm/LLVMContext.h"
16#include "llvm/Constants.h"
Owen Andersona8560212009-06-30 17:50:28 +000017#include "llvm/DerivedTypes.h"
Owen Anderson53a52212009-07-13 04:09:18 +000018#include "llvm/Instruction.h"
Owen Andersone792c902009-07-02 17:12:48 +000019#include "llvm/MDNode.h"
Owen Anderson1938fb12009-06-30 23:39:59 +000020#include "llvm/Support/ManagedStatic.h"
Owen Anderson8e66e0b2009-06-30 00:48:55 +000021#include "LLVMContextImpl.h"
Nick Lewyckyc07adb72009-07-13 05:49:04 +000022#include <cstdarg>
Owen Anderson8e66e0b2009-06-30 00:48:55 +000023
24using namespace llvm;
25
Owen Anderson1938fb12009-06-30 23:39:59 +000026static ManagedStatic<LLVMContext> GlobalContext;
27
Owen Anderson2a154432009-07-01 23:13:44 +000028LLVMContext& llvm::getGlobalContext() {
Owen Anderson1cf085d2009-07-01 21:22:36 +000029 return *GlobalContext;
Owen Anderson1938fb12009-06-30 23:39:59 +000030}
31
Owen Anderson20b34ac2009-07-16 18:04:31 +000032LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl(*this)) { }
Owen Anderson8e66e0b2009-06-30 00:48:55 +000033LLVMContext::~LLVMContext() { delete pImpl; }
34
Owen Anderson7d128072009-07-01 23:56:45 +000035// Constant accessors
Owen Anderson53a52212009-07-13 04:09:18 +000036
37// Constructor to create a '0' constant of arbitrary type...
38static const uint64_t zero[2] = {0, 0};
Owen Anderson7d128072009-07-01 23:56:45 +000039Constant* LLVMContext::getNullValue(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +000040 switch (Ty->getTypeID()) {
41 case Type::IntegerTyID:
42 return getConstantInt(Ty, 0);
43 case Type::FloatTyID:
44 return getConstantFP(APFloat(APInt(32, 0)));
45 case Type::DoubleTyID:
46 return getConstantFP(APFloat(APInt(64, 0)));
47 case Type::X86_FP80TyID:
48 return getConstantFP(APFloat(APInt(80, 2, zero)));
49 case Type::FP128TyID:
50 return getConstantFP(APFloat(APInt(128, 2, zero), true));
51 case Type::PPC_FP128TyID:
52 return getConstantFP(APFloat(APInt(128, 2, zero)));
53 case Type::PointerTyID:
54 return getConstantPointerNull(cast<PointerType>(Ty));
55 case Type::StructTyID:
56 case Type::ArrayTyID:
57 case Type::VectorTyID:
58 return getConstantAggregateZero(Ty);
59 default:
60 // Function, Label, or Opaque type?
61 assert(!"Cannot create a null constant of that type!");
62 return 0;
63 }
Owen Anderson7d128072009-07-01 23:56:45 +000064}
65
66Constant* LLVMContext::getAllOnesValue(const Type* Ty) {
Owen Anderson542619e2009-07-13 20:58:05 +000067 if (const IntegerType* ITy = dyn_cast<IntegerType>(Ty))
68 return getConstantInt(APInt::getAllOnesValue(ITy->getBitWidth()));
69
70 std::vector<Constant*> Elts;
71 const VectorType* VTy = cast<VectorType>(Ty);
72 Elts.resize(VTy->getNumElements(), getAllOnesValue(VTy->getElementType()));
73 assert(Elts[0] && "Not a vector integer type!");
74 return cast<ConstantVector>(getConstantVector(Elts));
Owen Anderson7d128072009-07-01 23:56:45 +000075}
76
Owen Andersonf85afb22009-07-02 16:51:51 +000077// UndefValue accessors.
78UndefValue* LLVMContext::getUndef(const Type* Ty) {
79 return UndefValue::get(Ty);
80}
81
Owen Anderson8e66e0b2009-06-30 00:48:55 +000082// ConstantInt accessors.
Owen Andersonc37bc692009-07-21 18:03:38 +000083ConstantInt* LLVMContext::getTrue() {
Owen Anderson2ad52172009-07-21 02:47:59 +000084 assert(this && "Context not initialized!");
85 assert(pImpl && "Context not initialized!");
Owen Andersonc37bc692009-07-21 18:03:38 +000086 return pImpl->getTrue();
Owen Anderson8e66e0b2009-06-30 00:48:55 +000087}
88
Owen Andersonc37bc692009-07-21 18:03:38 +000089ConstantInt* LLVMContext::getFalse() {
Owen Anderson2ad52172009-07-21 02:47:59 +000090 assert(this && "Context not initialized!");
91 assert(pImpl && "Context not initialized!");
Owen Andersonc37bc692009-07-21 18:03:38 +000092 return pImpl->getFalse();
Owen Anderson8e66e0b2009-06-30 00:48:55 +000093}
94
Owen Anderson39a7aed2009-07-02 23:58:19 +000095Constant* LLVMContext::getConstantInt(const Type* Ty, uint64_t V,
96 bool isSigned) {
Owen Andersonb6b25302009-07-14 23:09:55 +000097 Constant *C = getConstantInt(cast<IntegerType>(Ty->getScalarType()),
98 V, isSigned);
99
100 // For vectors, broadcast the value.
101 if (const VectorType *VTy = dyn_cast<VectorType>(Ty))
102 return
103 getConstantVector(std::vector<Constant *>(VTy->getNumElements(), C));
104
105 return C;
Owen Anderson39a7aed2009-07-02 23:58:19 +0000106}
107
108
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000109ConstantInt* LLVMContext::getConstantInt(const IntegerType* Ty, uint64_t V,
Bill Wendling4534d252009-07-01 22:33:26 +0000110 bool isSigned) {
Owen Andersonb6b25302009-07-14 23:09:55 +0000111 return getConstantInt(APInt(Ty->getBitWidth(), V, isSigned));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000112}
113
114ConstantInt* LLVMContext::getConstantIntSigned(const IntegerType* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000115 int64_t V) {
Owen Andersonb6b25302009-07-14 23:09:55 +0000116 return getConstantInt(Ty, V, true);
117}
118
119Constant *LLVMContext::getConstantIntSigned(const Type *Ty, int64_t V) {
120 return getConstantInt(Ty, V, true);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000121}
122
Bill Wendling4534d252009-07-01 22:33:26 +0000123ConstantInt* LLVMContext::getConstantInt(const APInt& V) {
Owen Anderson20b34ac2009-07-16 18:04:31 +0000124 return pImpl->getConstantInt(V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000125}
126
Bill Wendling4534d252009-07-01 22:33:26 +0000127Constant* LLVMContext::getConstantInt(const Type* Ty, const APInt& V) {
Owen Andersonb6b25302009-07-14 23:09:55 +0000128 ConstantInt *C = getConstantInt(V);
129 assert(C->getType() == Ty->getScalarType() &&
130 "ConstantInt type doesn't match the type implied by its value!");
131
132 // For vectors, broadcast the value.
133 if (const VectorType *VTy = dyn_cast<VectorType>(Ty))
134 return
Owen Andersonf945a9e2009-07-15 21:51:10 +0000135 getConstantVector(std::vector<Constant *>(VTy->getNumElements(), C));
Owen Andersonb6b25302009-07-14 23:09:55 +0000136
137 return C;
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000138}
139
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000140// ConstantPointerNull accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000141ConstantPointerNull* LLVMContext::getConstantPointerNull(const PointerType* T) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000142 return ConstantPointerNull::get(T);
143}
144
145
146// ConstantStruct accessors.
147Constant* LLVMContext::getConstantStruct(const StructType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000148 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000149 return ConstantStruct::get(T, V);
150}
151
152Constant* LLVMContext::getConstantStruct(const std::vector<Constant*>& V,
Owen Anderson8ee7e402009-07-15 21:00:46 +0000153 bool packed) {
154 std::vector<const Type*> StructEls;
155 StructEls.reserve(V.size());
156 for (unsigned i = 0, e = V.size(); i != e; ++i)
157 StructEls.push_back(V[i]->getType());
158 return getConstantStruct(getStructType(StructEls, packed), V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000159}
160
161Constant* LLVMContext::getConstantStruct(Constant* const *Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000162 unsigned NumVals, bool Packed) {
Owen Anderson8ee7e402009-07-15 21:00:46 +0000163 // FIXME: make this the primary ctor method.
164 return getConstantStruct(std::vector<Constant*>(Vals, Vals+NumVals), Packed);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000165}
166
167
168// ConstantAggregateZero accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000169ConstantAggregateZero* LLVMContext::getConstantAggregateZero(const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000170 return ConstantAggregateZero::get(Ty);
171}
172
173
174// ConstantArray accessors.
175Constant* LLVMContext::getConstantArray(const ArrayType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000176 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000177 return ConstantArray::get(T, V);
178}
179
180Constant* LLVMContext::getConstantArray(const ArrayType* T,
181 Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000182 unsigned NumVals) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000183 // FIXME: make this the primary ctor method.
184 return getConstantArray(T, std::vector<Constant*>(Vals, Vals+NumVals));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000185}
186
Owen Andersonb6b25302009-07-14 23:09:55 +0000187/// ConstantArray::get(const string&) - Return an array that is initialized to
188/// contain the specified string. If length is zero then a null terminator is
189/// added to the specified string so that it may be used in a natural way.
190/// Otherwise, the length parameter specifies how much of the string to use
191/// and it won't be null terminated.
192///
193Constant* LLVMContext::getConstantArray(const std::string& Str,
Bill Wendling4534d252009-07-01 22:33:26 +0000194 bool AddNull) {
Owen Andersonb6b25302009-07-14 23:09:55 +0000195 std::vector<Constant*> ElementVals;
196 for (unsigned i = 0; i < Str.length(); ++i)
197 ElementVals.push_back(getConstantInt(Type::Int8Ty, Str[i]));
198
199 // Add a null terminator to the string...
200 if (AddNull) {
201 ElementVals.push_back(getConstantInt(Type::Int8Ty, 0));
202 }
203
204 ArrayType *ATy = getArrayType(Type::Int8Ty, ElementVals.size());
205 return getConstantArray(ATy, ElementVals);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000206}
207
208
209// ConstantExpr accessors.
210Constant* LLVMContext::getConstantExpr(unsigned Opcode, Constant* C1,
Bill Wendling4534d252009-07-01 22:33:26 +0000211 Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000212 return ConstantExpr::get(Opcode, C1, C2);
213}
214
Bill Wendling4534d252009-07-01 22:33:26 +0000215Constant* LLVMContext::getConstantExprTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000216 return ConstantExpr::getTrunc(C, Ty);
217}
218
Bill Wendling4534d252009-07-01 22:33:26 +0000219Constant* LLVMContext::getConstantExprSExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000220 return ConstantExpr::getSExt(C, Ty);
221}
222
Bill Wendling4534d252009-07-01 22:33:26 +0000223Constant* LLVMContext::getConstantExprZExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000224 return ConstantExpr::getZExt(C, Ty);
225}
226
Bill Wendling4534d252009-07-01 22:33:26 +0000227Constant* LLVMContext::getConstantExprFPTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000228 return ConstantExpr::getFPTrunc(C, Ty);
229}
230
Bill Wendling4534d252009-07-01 22:33:26 +0000231Constant* LLVMContext::getConstantExprFPExtend(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000232 return ConstantExpr::getFPExtend(C, Ty);
233}
234
Bill Wendling4534d252009-07-01 22:33:26 +0000235Constant* LLVMContext::getConstantExprUIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000236 return ConstantExpr::getUIToFP(C, Ty);
237}
238
Bill Wendling4534d252009-07-01 22:33:26 +0000239Constant* LLVMContext::getConstantExprSIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000240 return ConstantExpr::getSIToFP(C, Ty);
241}
242
Bill Wendling4534d252009-07-01 22:33:26 +0000243Constant* LLVMContext::getConstantExprFPToUI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000244 return ConstantExpr::getFPToUI(C, Ty);
245}
246
Bill Wendling4534d252009-07-01 22:33:26 +0000247Constant* LLVMContext::getConstantExprFPToSI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000248 return ConstantExpr::getFPToSI(C, Ty);
249}
250
Bill Wendling4534d252009-07-01 22:33:26 +0000251Constant* LLVMContext::getConstantExprPtrToInt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000252 return ConstantExpr::getPtrToInt(C, Ty);
253}
254
Bill Wendling4534d252009-07-01 22:33:26 +0000255Constant* LLVMContext::getConstantExprIntToPtr(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000256 return ConstantExpr::getIntToPtr(C, Ty);
257}
258
Bill Wendling4534d252009-07-01 22:33:26 +0000259Constant* LLVMContext::getConstantExprBitCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000260 return ConstantExpr::getBitCast(C, Ty);
261}
262
263Constant* LLVMContext::getConstantExprCast(unsigned ops, Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000264 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000265 return ConstantExpr::getCast(ops, C, Ty);
266}
267
268Constant* LLVMContext::getConstantExprZExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000269 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000270 return ConstantExpr::getZExtOrBitCast(C, Ty);
271}
272
273Constant* LLVMContext::getConstantExprSExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000274 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000275 return ConstantExpr::getSExtOrBitCast(C, Ty);
276}
277
278Constant* LLVMContext::getConstantExprTruncOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000279 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000280 return ConstantExpr::getTruncOrBitCast(C, Ty);
281}
282
Bill Wendling4534d252009-07-01 22:33:26 +0000283Constant* LLVMContext::getConstantExprPointerCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000284 return ConstantExpr::getPointerCast(C, Ty);
285}
286
287Constant* LLVMContext::getConstantExprIntegerCast(Constant* C, const Type* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000288 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000289 return ConstantExpr::getIntegerCast(C, Ty, isSigned);
290}
291
Bill Wendling4534d252009-07-01 22:33:26 +0000292Constant* LLVMContext::getConstantExprFPCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000293 return ConstantExpr::getFPCast(C, Ty);
294}
295
296Constant* LLVMContext::getConstantExprSelect(Constant* C, Constant* V1,
Bill Wendling4534d252009-07-01 22:33:26 +0000297 Constant* V2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000298 return ConstantExpr::getSelect(C, V1, V2);
299}
300
Bill Wendling4534d252009-07-01 22:33:26 +0000301Constant* LLVMContext::getConstantExprAlignOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000302 // alignof is implemented as: (i64) gep ({i8,Ty}*)null, 0, 1
303 const Type *AligningTy = getStructType(Type::Int8Ty, Ty, NULL);
304 Constant *NullPtr = getNullValue(AligningTy->getPointerTo());
305 Constant *Zero = getConstantInt(Type::Int32Ty, 0);
306 Constant *One = getConstantInt(Type::Int32Ty, 1);
307 Constant *Indices[2] = { Zero, One };
308 Constant *GEP = getConstantExprGetElementPtr(NullPtr, Indices, 2);
309 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int32Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000310}
311
312Constant* LLVMContext::getConstantExprCompare(unsigned short pred,
Bill Wendling4534d252009-07-01 22:33:26 +0000313 Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000314 return ConstantExpr::getCompare(pred, C1, C2);
315}
316
Bill Wendling4534d252009-07-01 22:33:26 +0000317Constant* LLVMContext::getConstantExprNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000318 // API compatibility: Adjust integer opcodes to floating-point opcodes.
319 if (C->getType()->isFPOrFPVector())
320 return getConstantExprFNeg(C);
321 assert(C->getType()->isIntOrIntVector() &&
322 "Cannot NEG a nonintegral value!");
323 return getConstantExpr(Instruction::Sub,
324 getZeroValueForNegation(C->getType()),
325 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000326}
327
Bill Wendling4534d252009-07-01 22:33:26 +0000328Constant* LLVMContext::getConstantExprFNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000329 assert(C->getType()->isFPOrFPVector() &&
330 "Cannot FNEG a non-floating-point value!");
331 return getConstantExpr(Instruction::FSub,
332 getZeroValueForNegation(C->getType()),
333 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000334}
335
Bill Wendling4534d252009-07-01 22:33:26 +0000336Constant* LLVMContext::getConstantExprNot(Constant* C) {
Owen Anderson542619e2009-07-13 20:58:05 +0000337 assert(C->getType()->isIntOrIntVector() &&
338 "Cannot NOT a nonintegral value!");
339 return getConstantExpr(Instruction::Xor, C, getAllOnesValue(C->getType()));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000340}
341
Bill Wendling4534d252009-07-01 22:33:26 +0000342Constant* LLVMContext::getConstantExprAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000343 return getConstantExpr(Instruction::Add, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000344}
345
Bill Wendling4534d252009-07-01 22:33:26 +0000346Constant* LLVMContext::getConstantExprFAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000347 return getConstantExpr(Instruction::FAdd, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000348}
349
Bill Wendling4534d252009-07-01 22:33:26 +0000350Constant* LLVMContext::getConstantExprSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000351 return getConstantExpr(Instruction::Sub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000352}
353
Bill Wendling4534d252009-07-01 22:33:26 +0000354Constant* LLVMContext::getConstantExprFSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000355 return getConstantExpr(Instruction::FSub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000356}
357
Bill Wendling4534d252009-07-01 22:33:26 +0000358Constant* LLVMContext::getConstantExprMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000359 return getConstantExpr(Instruction::Mul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000360}
361
Bill Wendling4534d252009-07-01 22:33:26 +0000362Constant* LLVMContext::getConstantExprFMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000363 return getConstantExpr(Instruction::FMul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000364}
365
Bill Wendling4534d252009-07-01 22:33:26 +0000366Constant* LLVMContext::getConstantExprUDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000367 return getConstantExpr(Instruction::UDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000368}
369
Bill Wendling4534d252009-07-01 22:33:26 +0000370Constant* LLVMContext::getConstantExprSDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000371 return getConstantExpr(Instruction::SDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000372}
373
Bill Wendling4534d252009-07-01 22:33:26 +0000374Constant* LLVMContext::getConstantExprFDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000375 return getConstantExpr(Instruction::FDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000376}
377
Bill Wendling4534d252009-07-01 22:33:26 +0000378Constant* LLVMContext::getConstantExprURem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000379 return getConstantExpr(Instruction::URem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000380}
381
Bill Wendling4534d252009-07-01 22:33:26 +0000382Constant* LLVMContext::getConstantExprSRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000383 return getConstantExpr(Instruction::SRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000384}
385
Bill Wendling4534d252009-07-01 22:33:26 +0000386Constant* LLVMContext::getConstantExprFRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000387 return getConstantExpr(Instruction::FRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000388}
389
Bill Wendling4534d252009-07-01 22:33:26 +0000390Constant* LLVMContext::getConstantExprAnd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000391 return getConstantExpr(Instruction::And, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000392}
393
Bill Wendling4534d252009-07-01 22:33:26 +0000394Constant* LLVMContext::getConstantExprOr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000395 return getConstantExpr(Instruction::Or, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000396}
397
Bill Wendling4534d252009-07-01 22:33:26 +0000398Constant* LLVMContext::getConstantExprXor(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000399 return getConstantExpr(Instruction::Xor, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000400}
401
402Constant* LLVMContext::getConstantExprICmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000403 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000404 return ConstantExpr::getICmp(pred, LHS, RHS);
405}
406
407Constant* LLVMContext::getConstantExprFCmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000408 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000409 return ConstantExpr::getFCmp(pred, LHS, RHS);
410}
411
Bill Wendling4534d252009-07-01 22:33:26 +0000412Constant* LLVMContext::getConstantExprShl(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000413 return getConstantExpr(Instruction::Shl, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000414}
415
Bill Wendling4534d252009-07-01 22:33:26 +0000416Constant* LLVMContext::getConstantExprLShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000417 return getConstantExpr(Instruction::LShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000418}
419
Bill Wendling4534d252009-07-01 22:33:26 +0000420Constant* LLVMContext::getConstantExprAShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000421 return getConstantExpr(Instruction::AShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000422}
423
424Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
425 Constant* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000426 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000427 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
428}
429
430Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
431 Value* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000432 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000433 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
434}
435
436Constant* LLVMContext::getConstantExprExtractElement(Constant* Vec,
Bill Wendling4534d252009-07-01 22:33:26 +0000437 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000438 return ConstantExpr::getExtractElement(Vec, Idx);
439}
440
441Constant* LLVMContext::getConstantExprInsertElement(Constant* Vec,
442 Constant* Elt,
Bill Wendling4534d252009-07-01 22:33:26 +0000443 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000444 return ConstantExpr::getInsertElement(Vec, Elt, Idx);
445}
446
447Constant* LLVMContext::getConstantExprShuffleVector(Constant* V1, Constant* V2,
Bill Wendling4534d252009-07-01 22:33:26 +0000448 Constant* Mask) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000449 return ConstantExpr::getShuffleVector(V1, V2, Mask);
450}
451
452Constant* LLVMContext::getConstantExprExtractValue(Constant* Agg,
453 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000454 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000455 return ConstantExpr::getExtractValue(Agg, IdxList, NumIdx);
456}
457
458Constant* LLVMContext::getConstantExprInsertValue(Constant* Agg, Constant* Val,
459 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000460 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000461 return ConstantExpr::getInsertValue(Agg, Val, IdxList, NumIdx);
462}
463
Owen Andersone70b6372009-07-05 22:41:43 +0000464Constant* LLVMContext::getConstantExprSizeOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000465 // sizeof is implemented as: (i64) gep (Ty*)null, 1
466 Constant *GEPIdx = getConstantInt(Type::Int32Ty, 1);
467 Constant *GEP = getConstantExprGetElementPtr(
468 getNullValue(getPointerTypeUnqual(Ty)), &GEPIdx, 1);
469 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int64Ty);
Owen Andersone70b6372009-07-05 22:41:43 +0000470}
471
Bill Wendling4534d252009-07-01 22:33:26 +0000472Constant* LLVMContext::getZeroValueForNegation(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000473 if (const VectorType *PTy = dyn_cast<VectorType>(Ty))
474 if (PTy->getElementType()->isFloatingPoint()) {
475 std::vector<Constant*> zeros(PTy->getNumElements(),
476 getConstantFPNegativeZero(PTy->getElementType()));
477 return getConstantVector(PTy, zeros);
478 }
479
480 if (Ty->isFloatingPoint())
481 return getConstantFPNegativeZero(Ty);
482
483 return getNullValue(Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000484}
485
486
487// ConstantFP accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000488ConstantFP* LLVMContext::getConstantFP(const APFloat& V) {
Owen Andersonc277dc42009-07-16 19:05:41 +0000489 return pImpl->getConstantFP(V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000490}
491
Owen Anderson13c240a2009-07-13 23:16:26 +0000492static const fltSemantics *TypeToFloatSemantics(const Type *Ty) {
493 if (Ty == Type::FloatTy)
494 return &APFloat::IEEEsingle;
495 if (Ty == Type::DoubleTy)
496 return &APFloat::IEEEdouble;
497 if (Ty == Type::X86_FP80Ty)
498 return &APFloat::x87DoubleExtended;
499 else if (Ty == Type::FP128Ty)
500 return &APFloat::IEEEquad;
501
502 assert(Ty == Type::PPC_FP128Ty && "Unknown FP format");
503 return &APFloat::PPCDoubleDouble;
504}
505
506/// get() - This returns a constant fp for the specified value in the
507/// specified type. This should only be used for simple constant values like
508/// 2.0/1.0 etc, that are known-valid both as double and as the target format.
Bill Wendling4534d252009-07-01 22:33:26 +0000509Constant* LLVMContext::getConstantFP(const Type* Ty, double V) {
Owen Anderson13c240a2009-07-13 23:16:26 +0000510 APFloat FV(V);
511 bool ignored;
512 FV.convert(*TypeToFloatSemantics(Ty->getScalarType()),
513 APFloat::rmNearestTiesToEven, &ignored);
514 Constant *C = getConstantFP(FV);
515
516 // For vectors, broadcast the value.
517 if (const VectorType *VTy = dyn_cast<VectorType>(Ty))
518 return
519 getConstantVector(std::vector<Constant *>(VTy->getNumElements(), C));
520
521 return C;
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000522}
523
Bill Wendling4534d252009-07-01 22:33:26 +0000524ConstantFP* LLVMContext::getConstantFPNegativeZero(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000525 APFloat apf = cast <ConstantFP>(getNullValue(Ty))->getValueAPF();
526 apf.changeSign();
527 return getConstantFP(apf);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000528}
529
530
531// ConstantVector accessors.
532Constant* LLVMContext::getConstantVector(const VectorType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000533 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000534 return ConstantVector::get(T, V);
535}
536
Bill Wendling4534d252009-07-01 22:33:26 +0000537Constant* LLVMContext::getConstantVector(const std::vector<Constant*>& V) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000538 assert(!V.empty() && "Cannot infer type if V is empty");
539 return getConstantVector(getVectorType(V.front()->getType(),V.size()), V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000540}
541
542Constant* LLVMContext::getConstantVector(Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000543 unsigned NumVals) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000544 // FIXME: make this the primary ctor method.
545 return getConstantVector(std::vector<Constant*>(Vals, Vals+NumVals));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000546}
547
Owen Andersone792c902009-07-02 17:12:48 +0000548// MDNode accessors
549MDNode* LLVMContext::getMDNode(Value* const* Vals, unsigned NumVals) {
Owen Anderson4118dde2009-07-16 23:44:30 +0000550 return pImpl->getMDNode(Vals, NumVals);
Owen Andersone792c902009-07-02 17:12:48 +0000551}
552
Owen Andersonfea7ae82009-07-02 17:19:47 +0000553// MDString accessors
554MDString* LLVMContext::getMDString(const char *StrBegin, const char *StrEnd) {
Owen Anderson69ab4162009-07-16 22:11:26 +0000555 return pImpl->getMDString(StrBegin, StrEnd);
Owen Andersonfea7ae82009-07-02 17:19:47 +0000556}
557
558MDString* LLVMContext::getMDString(const std::string &Str) {
Owen Anderson69ab4162009-07-16 22:11:26 +0000559 return getMDString(Str.data(), Str.data()+Str.size());
Owen Andersonfea7ae82009-07-02 17:19:47 +0000560}
561
Owen Andersona8560212009-06-30 17:50:28 +0000562// FunctionType accessors
Owen Andersone70b6372009-07-05 22:41:43 +0000563FunctionType* LLVMContext::getFunctionType(const Type* Result, bool isVarArg) {
564 return FunctionType::get(Result, isVarArg);
565}
566
Owen Andersona8560212009-06-30 17:50:28 +0000567FunctionType* LLVMContext::getFunctionType(const Type* Result,
568 const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000569 bool isVarArg) {
Owen Andersona8560212009-06-30 17:50:28 +0000570 return FunctionType::get(Result, Params, isVarArg);
571}
572
573// IntegerType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000574const IntegerType* LLVMContext::getIntegerType(unsigned NumBits) {
Owen Andersona8560212009-06-30 17:50:28 +0000575 return IntegerType::get(NumBits);
576}
577
578// OpaqueType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000579OpaqueType* LLVMContext::getOpaqueType() {
Owen Andersona8560212009-06-30 17:50:28 +0000580 return OpaqueType::get();
581}
582
583// StructType accessors
Owen Anderson7d128072009-07-01 23:56:45 +0000584StructType* LLVMContext::getStructType(bool isPacked) {
585 return StructType::get(isPacked);
586}
587
Owen Andersona8560212009-06-30 17:50:28 +0000588StructType* LLVMContext::getStructType(const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000589 bool isPacked) {
Owen Andersona8560212009-06-30 17:50:28 +0000590 return StructType::get(Params, isPacked);
591}
592
Owen Anderson53a52212009-07-13 04:09:18 +0000593StructType *LLVMContext::getStructType(const Type *type, ...) {
594 va_list ap;
595 std::vector<const llvm::Type*> StructFields;
596 va_start(ap, type);
597 while (type) {
598 StructFields.push_back(type);
599 type = va_arg(ap, llvm::Type*);
600 }
601 return StructType::get(StructFields);
602}
603
Owen Andersona8560212009-06-30 17:50:28 +0000604// ArrayType accessors
605ArrayType* LLVMContext::getArrayType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000606 uint64_t NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000607 return ArrayType::get(ElementType, NumElements);
608}
609
610// PointerType accessors
611PointerType* LLVMContext::getPointerType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000612 unsigned AddressSpace) {
Owen Andersona8560212009-06-30 17:50:28 +0000613 return PointerType::get(ElementType, AddressSpace);
614}
615
Owen Anderson7d128072009-07-01 23:56:45 +0000616PointerType* LLVMContext::getPointerTypeUnqual(const Type* ElementType) {
Owen Andersona8560212009-06-30 17:50:28 +0000617 return PointerType::getUnqual(ElementType);
618}
619
620// VectorType accessors
621VectorType* LLVMContext::getVectorType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000622 unsigned NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000623 return VectorType::get(ElementType, NumElements);
624}
625
Bill Wendling4534d252009-07-01 22:33:26 +0000626VectorType* LLVMContext::getVectorTypeInteger(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000627 return VectorType::getInteger(VTy);
628}
629
Bill Wendling4534d252009-07-01 22:33:26 +0000630VectorType* LLVMContext::getVectorTypeExtendedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000631 return VectorType::getExtendedElementVectorType(VTy);
632}
633
Bill Wendling4534d252009-07-01 22:33:26 +0000634VectorType* LLVMContext::getVectorTypeTruncatedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000635 return VectorType::getTruncatedElementVectorType(VTy);
636}
Owen Anderson1e5f00e2009-07-09 23:48:35 +0000637
638const Type* LLVMContext::makeCmpResultType(const Type* opnd_type) {
639 if (const VectorType* vt = dyn_cast<const VectorType>(opnd_type)) {
640 return getVectorType(Type::Int1Ty, vt->getNumElements());
641 }
642 return Type::Int1Ty;
643}
Owen Anderson69ab4162009-07-16 22:11:26 +0000644
645void LLVMContext::erase(MDString *M) {
646 pImpl->erase(M);
Owen Anderson4118dde2009-07-16 23:44:30 +0000647}
648
649void LLVMContext::erase(MDNode *M) {
650 pImpl->erase(M);
Jeffrey Yasskin06285352009-07-16 23:58:14 +0000651}