blob: 722e29ee5dca0fce83805451207e4206ab531ad2 [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:
Owen Andersonedb4a702009-07-24 23:12:02 +000042 return ConstantInt::get(Ty, 0);
Owen Anderson53a52212009-07-13 04:09:18 +000043 case Type::FloatTyID:
Owen Anderson69c464d2009-07-27 20:59:43 +000044 return ConstantFP::get(Ty->getContext(), APFloat(APInt(32, 0)));
Owen Anderson53a52212009-07-13 04:09:18 +000045 case Type::DoubleTyID:
Owen Anderson69c464d2009-07-27 20:59:43 +000046 return ConstantFP::get(Ty->getContext(), APFloat(APInt(64, 0)));
Owen Anderson53a52212009-07-13 04:09:18 +000047 case Type::X86_FP80TyID:
Owen Anderson69c464d2009-07-27 20:59:43 +000048 return ConstantFP::get(Ty->getContext(), APFloat(APInt(80, 2, zero)));
Owen Anderson53a52212009-07-13 04:09:18 +000049 case Type::FP128TyID:
Owen Anderson69c464d2009-07-27 20:59:43 +000050 return ConstantFP::get(Ty->getContext(),
51 APFloat(APInt(128, 2, zero), true));
Owen Anderson53a52212009-07-13 04:09:18 +000052 case Type::PPC_FP128TyID:
Owen Anderson69c464d2009-07-27 20:59:43 +000053 return ConstantFP::get(Ty->getContext(), APFloat(APInt(128, 2, zero)));
Owen Anderson53a52212009-07-13 04:09:18 +000054 case Type::PointerTyID:
55 return getConstantPointerNull(cast<PointerType>(Ty));
56 case Type::StructTyID:
57 case Type::ArrayTyID:
58 case Type::VectorTyID:
59 return getConstantAggregateZero(Ty);
60 default:
61 // Function, Label, or Opaque type?
62 assert(!"Cannot create a null constant of that type!");
63 return 0;
64 }
Owen Anderson7d128072009-07-01 23:56:45 +000065}
66
67Constant* LLVMContext::getAllOnesValue(const Type* Ty) {
Owen Anderson542619e2009-07-13 20:58:05 +000068 if (const IntegerType* ITy = dyn_cast<IntegerType>(Ty))
Owen Andersonedb4a702009-07-24 23:12:02 +000069 return ConstantInt::get(*this, APInt::getAllOnesValue(ITy->getBitWidth()));
Owen Anderson542619e2009-07-13 20:58:05 +000070
71 std::vector<Constant*> Elts;
72 const VectorType* VTy = cast<VectorType>(Ty);
73 Elts.resize(VTy->getNumElements(), getAllOnesValue(VTy->getElementType()));
74 assert(Elts[0] && "Not a vector integer type!");
75 return cast<ConstantVector>(getConstantVector(Elts));
Owen Anderson7d128072009-07-01 23:56:45 +000076}
77
Owen Andersonf85afb22009-07-02 16:51:51 +000078// UndefValue accessors.
79UndefValue* LLVMContext::getUndef(const Type* Ty) {
80 return UndefValue::get(Ty);
81}
82
Owen Anderson8e66e0b2009-06-30 00:48:55 +000083// ConstantInt accessors.
Owen Andersonc37bc692009-07-21 18:03:38 +000084ConstantInt* LLVMContext::getTrue() {
Owen Anderson2ad52172009-07-21 02:47:59 +000085 assert(this && "Context not initialized!");
86 assert(pImpl && "Context not initialized!");
Owen Andersonc37bc692009-07-21 18:03:38 +000087 return pImpl->getTrue();
Owen Anderson8e66e0b2009-06-30 00:48:55 +000088}
89
Owen Andersonc37bc692009-07-21 18:03:38 +000090ConstantInt* LLVMContext::getFalse() {
Owen Anderson2ad52172009-07-21 02:47:59 +000091 assert(this && "Context not initialized!");
92 assert(pImpl && "Context not initialized!");
Owen Andersonc37bc692009-07-21 18:03:38 +000093 return pImpl->getFalse();
Owen Anderson8e66e0b2009-06-30 00:48:55 +000094}
95
Owen Anderson8e66e0b2009-06-30 00:48:55 +000096// ConstantPointerNull accessors.
Bill Wendling4534d252009-07-01 22:33:26 +000097ConstantPointerNull* LLVMContext::getConstantPointerNull(const PointerType* T) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000098 return ConstantPointerNull::get(T);
99}
100
101
102// ConstantStruct accessors.
103Constant* LLVMContext::getConstantStruct(const StructType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000104 const std::vector<Constant*>& V) {
Owen Anderson909f6002009-07-23 23:25:33 +0000105 return pImpl->getConstantStruct(T, V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000106}
107
108Constant* LLVMContext::getConstantStruct(const std::vector<Constant*>& V,
Owen Anderson8ee7e402009-07-15 21:00:46 +0000109 bool packed) {
110 std::vector<const Type*> StructEls;
111 StructEls.reserve(V.size());
112 for (unsigned i = 0, e = V.size(); i != e; ++i)
113 StructEls.push_back(V[i]->getType());
114 return getConstantStruct(getStructType(StructEls, packed), V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000115}
116
117Constant* LLVMContext::getConstantStruct(Constant* const *Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000118 unsigned NumVals, bool Packed) {
Owen Anderson8ee7e402009-07-15 21:00:46 +0000119 // FIXME: make this the primary ctor method.
120 return getConstantStruct(std::vector<Constant*>(Vals, Vals+NumVals), Packed);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000121}
122
123
124// ConstantAggregateZero accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000125ConstantAggregateZero* LLVMContext::getConstantAggregateZero(const Type* Ty) {
Owen Anderson39ede7b2009-07-21 20:13:12 +0000126 return pImpl->getConstantAggregateZero(Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000127}
128
129
130// ConstantArray accessors.
131Constant* LLVMContext::getConstantArray(const ArrayType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000132 const std::vector<Constant*>& V) {
Owen Anderson3d344922009-07-21 20:55:28 +0000133 return pImpl->getConstantArray(T, V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000134}
135
136Constant* LLVMContext::getConstantArray(const ArrayType* T,
137 Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000138 unsigned NumVals) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000139 // FIXME: make this the primary ctor method.
140 return getConstantArray(T, std::vector<Constant*>(Vals, Vals+NumVals));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000141}
142
Owen Andersonb6b25302009-07-14 23:09:55 +0000143/// ConstantArray::get(const string&) - Return an array that is initialized to
144/// contain the specified string. If length is zero then a null terminator is
145/// added to the specified string so that it may be used in a natural way.
146/// Otherwise, the length parameter specifies how much of the string to use
147/// and it won't be null terminated.
148///
Daniel Dunbard43b86d2009-07-25 06:02:13 +0000149Constant* LLVMContext::getConstantArray(const StringRef &Str,
Bill Wendling4534d252009-07-01 22:33:26 +0000150 bool AddNull) {
Owen Andersonb6b25302009-07-14 23:09:55 +0000151 std::vector<Constant*> ElementVals;
Daniel Dunbard43b86d2009-07-25 06:02:13 +0000152 for (unsigned i = 0; i < Str.size(); ++i)
Owen Andersonedb4a702009-07-24 23:12:02 +0000153 ElementVals.push_back(ConstantInt::get(Type::Int8Ty, Str[i]));
Owen Andersonb6b25302009-07-14 23:09:55 +0000154
155 // Add a null terminator to the string...
156 if (AddNull) {
Owen Andersonedb4a702009-07-24 23:12:02 +0000157 ElementVals.push_back(ConstantInt::get(Type::Int8Ty, 0));
Owen Andersonb6b25302009-07-14 23:09:55 +0000158 }
159
160 ArrayType *ATy = getArrayType(Type::Int8Ty, ElementVals.size());
161 return getConstantArray(ATy, ElementVals);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000162}
163
164
165// ConstantExpr accessors.
166Constant* LLVMContext::getConstantExpr(unsigned Opcode, Constant* C1,
Bill Wendling4534d252009-07-01 22:33:26 +0000167 Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000168 return ConstantExpr::get(Opcode, C1, C2);
169}
170
Bill Wendling4534d252009-07-01 22:33:26 +0000171Constant* LLVMContext::getConstantExprTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000172 return ConstantExpr::getTrunc(C, Ty);
173}
174
Bill Wendling4534d252009-07-01 22:33:26 +0000175Constant* LLVMContext::getConstantExprSExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000176 return ConstantExpr::getSExt(C, Ty);
177}
178
Bill Wendling4534d252009-07-01 22:33:26 +0000179Constant* LLVMContext::getConstantExprZExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000180 return ConstantExpr::getZExt(C, Ty);
181}
182
Bill Wendling4534d252009-07-01 22:33:26 +0000183Constant* LLVMContext::getConstantExprFPTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000184 return ConstantExpr::getFPTrunc(C, Ty);
185}
186
Bill Wendling4534d252009-07-01 22:33:26 +0000187Constant* LLVMContext::getConstantExprFPExtend(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000188 return ConstantExpr::getFPExtend(C, Ty);
189}
190
Bill Wendling4534d252009-07-01 22:33:26 +0000191Constant* LLVMContext::getConstantExprUIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000192 return ConstantExpr::getUIToFP(C, Ty);
193}
194
Bill Wendling4534d252009-07-01 22:33:26 +0000195Constant* LLVMContext::getConstantExprSIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000196 return ConstantExpr::getSIToFP(C, Ty);
197}
198
Bill Wendling4534d252009-07-01 22:33:26 +0000199Constant* LLVMContext::getConstantExprFPToUI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000200 return ConstantExpr::getFPToUI(C, Ty);
201}
202
Bill Wendling4534d252009-07-01 22:33:26 +0000203Constant* LLVMContext::getConstantExprFPToSI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000204 return ConstantExpr::getFPToSI(C, Ty);
205}
206
Bill Wendling4534d252009-07-01 22:33:26 +0000207Constant* LLVMContext::getConstantExprPtrToInt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000208 return ConstantExpr::getPtrToInt(C, Ty);
209}
210
Bill Wendling4534d252009-07-01 22:33:26 +0000211Constant* LLVMContext::getConstantExprIntToPtr(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000212 return ConstantExpr::getIntToPtr(C, Ty);
213}
214
Bill Wendling4534d252009-07-01 22:33:26 +0000215Constant* LLVMContext::getConstantExprBitCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000216 return ConstantExpr::getBitCast(C, Ty);
217}
218
219Constant* LLVMContext::getConstantExprCast(unsigned ops, Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000220 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000221 return ConstantExpr::getCast(ops, C, Ty);
222}
223
224Constant* LLVMContext::getConstantExprZExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000225 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000226 return ConstantExpr::getZExtOrBitCast(C, Ty);
227}
228
229Constant* LLVMContext::getConstantExprSExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000230 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000231 return ConstantExpr::getSExtOrBitCast(C, Ty);
232}
233
234Constant* LLVMContext::getConstantExprTruncOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000235 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000236 return ConstantExpr::getTruncOrBitCast(C, Ty);
237}
238
Bill Wendling4534d252009-07-01 22:33:26 +0000239Constant* LLVMContext::getConstantExprPointerCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000240 return ConstantExpr::getPointerCast(C, Ty);
241}
242
243Constant* LLVMContext::getConstantExprIntegerCast(Constant* C, const Type* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000244 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000245 return ConstantExpr::getIntegerCast(C, Ty, isSigned);
246}
247
Bill Wendling4534d252009-07-01 22:33:26 +0000248Constant* LLVMContext::getConstantExprFPCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000249 return ConstantExpr::getFPCast(C, Ty);
250}
251
252Constant* LLVMContext::getConstantExprSelect(Constant* C, Constant* V1,
Bill Wendling4534d252009-07-01 22:33:26 +0000253 Constant* V2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000254 return ConstantExpr::getSelect(C, V1, V2);
255}
256
Bill Wendling4534d252009-07-01 22:33:26 +0000257Constant* LLVMContext::getConstantExprAlignOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000258 // alignof is implemented as: (i64) gep ({i8,Ty}*)null, 0, 1
259 const Type *AligningTy = getStructType(Type::Int8Ty, Ty, NULL);
260 Constant *NullPtr = getNullValue(AligningTy->getPointerTo());
Owen Andersonedb4a702009-07-24 23:12:02 +0000261 Constant *Zero = ConstantInt::get(Type::Int32Ty, 0);
262 Constant *One = ConstantInt::get(Type::Int32Ty, 1);
Owen Anderson53a52212009-07-13 04:09:18 +0000263 Constant *Indices[2] = { Zero, One };
264 Constant *GEP = getConstantExprGetElementPtr(NullPtr, Indices, 2);
265 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int32Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000266}
267
268Constant* LLVMContext::getConstantExprCompare(unsigned short pred,
Bill Wendling4534d252009-07-01 22:33:26 +0000269 Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000270 return ConstantExpr::getCompare(pred, C1, C2);
271}
272
Bill Wendling4534d252009-07-01 22:33:26 +0000273Constant* LLVMContext::getConstantExprNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000274 // API compatibility: Adjust integer opcodes to floating-point opcodes.
275 if (C->getType()->isFPOrFPVector())
276 return getConstantExprFNeg(C);
277 assert(C->getType()->isIntOrIntVector() &&
278 "Cannot NEG a nonintegral value!");
279 return getConstantExpr(Instruction::Sub,
Owen Anderson69c464d2009-07-27 20:59:43 +0000280 ConstantFP::getZeroValueForNegation(C->getType()),
Owen Anderson53a52212009-07-13 04:09:18 +0000281 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000282}
283
Bill Wendling4534d252009-07-01 22:33:26 +0000284Constant* LLVMContext::getConstantExprFNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000285 assert(C->getType()->isFPOrFPVector() &&
286 "Cannot FNEG a non-floating-point value!");
287 return getConstantExpr(Instruction::FSub,
Owen Anderson69c464d2009-07-27 20:59:43 +0000288 ConstantFP::getZeroValueForNegation(C->getType()),
Owen Anderson53a52212009-07-13 04:09:18 +0000289 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000290}
291
Bill Wendling4534d252009-07-01 22:33:26 +0000292Constant* LLVMContext::getConstantExprNot(Constant* C) {
Owen Anderson542619e2009-07-13 20:58:05 +0000293 assert(C->getType()->isIntOrIntVector() &&
294 "Cannot NOT a nonintegral value!");
295 return getConstantExpr(Instruction::Xor, C, getAllOnesValue(C->getType()));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000296}
297
Bill Wendling4534d252009-07-01 22:33:26 +0000298Constant* LLVMContext::getConstantExprAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000299 return getConstantExpr(Instruction::Add, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000300}
301
Bill Wendling4534d252009-07-01 22:33:26 +0000302Constant* LLVMContext::getConstantExprFAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000303 return getConstantExpr(Instruction::FAdd, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000304}
305
Bill Wendling4534d252009-07-01 22:33:26 +0000306Constant* LLVMContext::getConstantExprSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000307 return getConstantExpr(Instruction::Sub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000308}
309
Bill Wendling4534d252009-07-01 22:33:26 +0000310Constant* LLVMContext::getConstantExprFSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000311 return getConstantExpr(Instruction::FSub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000312}
313
Bill Wendling4534d252009-07-01 22:33:26 +0000314Constant* LLVMContext::getConstantExprMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000315 return getConstantExpr(Instruction::Mul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000316}
317
Bill Wendling4534d252009-07-01 22:33:26 +0000318Constant* LLVMContext::getConstantExprFMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000319 return getConstantExpr(Instruction::FMul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000320}
321
Bill Wendling4534d252009-07-01 22:33:26 +0000322Constant* LLVMContext::getConstantExprUDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000323 return getConstantExpr(Instruction::UDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000324}
325
Bill Wendling4534d252009-07-01 22:33:26 +0000326Constant* LLVMContext::getConstantExprSDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000327 return getConstantExpr(Instruction::SDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000328}
329
Bill Wendling4534d252009-07-01 22:33:26 +0000330Constant* LLVMContext::getConstantExprFDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000331 return getConstantExpr(Instruction::FDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000332}
333
Bill Wendling4534d252009-07-01 22:33:26 +0000334Constant* LLVMContext::getConstantExprURem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000335 return getConstantExpr(Instruction::URem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000336}
337
Bill Wendling4534d252009-07-01 22:33:26 +0000338Constant* LLVMContext::getConstantExprSRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000339 return getConstantExpr(Instruction::SRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000340}
341
Bill Wendling4534d252009-07-01 22:33:26 +0000342Constant* LLVMContext::getConstantExprFRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000343 return getConstantExpr(Instruction::FRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000344}
345
Bill Wendling4534d252009-07-01 22:33:26 +0000346Constant* LLVMContext::getConstantExprAnd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000347 return getConstantExpr(Instruction::And, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000348}
349
Bill Wendling4534d252009-07-01 22:33:26 +0000350Constant* LLVMContext::getConstantExprOr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000351 return getConstantExpr(Instruction::Or, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000352}
353
Bill Wendling4534d252009-07-01 22:33:26 +0000354Constant* LLVMContext::getConstantExprXor(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000355 return getConstantExpr(Instruction::Xor, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000356}
357
358Constant* LLVMContext::getConstantExprICmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000359 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000360 return ConstantExpr::getICmp(pred, LHS, RHS);
361}
362
363Constant* LLVMContext::getConstantExprFCmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000364 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000365 return ConstantExpr::getFCmp(pred, LHS, RHS);
366}
367
Bill Wendling4534d252009-07-01 22:33:26 +0000368Constant* LLVMContext::getConstantExprShl(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000369 return getConstantExpr(Instruction::Shl, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000370}
371
Bill Wendling4534d252009-07-01 22:33:26 +0000372Constant* LLVMContext::getConstantExprLShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000373 return getConstantExpr(Instruction::LShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000374}
375
Bill Wendling4534d252009-07-01 22:33:26 +0000376Constant* LLVMContext::getConstantExprAShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000377 return getConstantExpr(Instruction::AShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000378}
379
380Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
381 Constant* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000382 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000383 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
384}
385
386Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
387 Value* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000388 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000389 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
390}
391
392Constant* LLVMContext::getConstantExprExtractElement(Constant* Vec,
Bill Wendling4534d252009-07-01 22:33:26 +0000393 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000394 return ConstantExpr::getExtractElement(Vec, Idx);
395}
396
397Constant* LLVMContext::getConstantExprInsertElement(Constant* Vec,
398 Constant* Elt,
Bill Wendling4534d252009-07-01 22:33:26 +0000399 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000400 return ConstantExpr::getInsertElement(Vec, Elt, Idx);
401}
402
403Constant* LLVMContext::getConstantExprShuffleVector(Constant* V1, Constant* V2,
Bill Wendling4534d252009-07-01 22:33:26 +0000404 Constant* Mask) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000405 return ConstantExpr::getShuffleVector(V1, V2, Mask);
406}
407
408Constant* LLVMContext::getConstantExprExtractValue(Constant* Agg,
409 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000410 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000411 return ConstantExpr::getExtractValue(Agg, IdxList, NumIdx);
412}
413
414Constant* LLVMContext::getConstantExprInsertValue(Constant* Agg, Constant* Val,
415 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000416 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000417 return ConstantExpr::getInsertValue(Agg, Val, IdxList, NumIdx);
418}
419
Owen Andersone70b6372009-07-05 22:41:43 +0000420Constant* LLVMContext::getConstantExprSizeOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000421 // sizeof is implemented as: (i64) gep (Ty*)null, 1
Dan Gohman75b7f672009-07-27 21:59:50 +0000422 // Note that a non-inbounds gep is used, as null isn't within any object.
Owen Andersonedb4a702009-07-24 23:12:02 +0000423 Constant *GEPIdx = ConstantInt::get(Type::Int32Ty, 1);
Owen Anderson53a52212009-07-13 04:09:18 +0000424 Constant *GEP = getConstantExprGetElementPtr(
425 getNullValue(getPointerTypeUnqual(Ty)), &GEPIdx, 1);
426 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int64Ty);
Owen Andersone70b6372009-07-05 22:41:43 +0000427}
428
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000429// ConstantVector accessors.
430Constant* LLVMContext::getConstantVector(const VectorType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000431 const std::vector<Constant*>& V) {
Owen Anderson0348a132009-07-24 00:36:24 +0000432 return pImpl->getConstantVector(T, V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000433}
434
Bill Wendling4534d252009-07-01 22:33:26 +0000435Constant* LLVMContext::getConstantVector(const std::vector<Constant*>& V) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000436 assert(!V.empty() && "Cannot infer type if V is empty");
437 return getConstantVector(getVectorType(V.front()->getType(),V.size()), V);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000438}
439
440Constant* LLVMContext::getConstantVector(Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000441 unsigned NumVals) {
Owen Andersonf945a9e2009-07-15 21:51:10 +0000442 // FIXME: make this the primary ctor method.
443 return getConstantVector(std::vector<Constant*>(Vals, Vals+NumVals));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000444}
445
Owen Andersone792c902009-07-02 17:12:48 +0000446// MDNode accessors
447MDNode* LLVMContext::getMDNode(Value* const* Vals, unsigned NumVals) {
Owen Anderson4118dde2009-07-16 23:44:30 +0000448 return pImpl->getMDNode(Vals, NumVals);
Owen Andersone792c902009-07-02 17:12:48 +0000449}
450
Owen Andersonfea7ae82009-07-02 17:19:47 +0000451// MDString accessors
Daniel Dunbard43b86d2009-07-25 06:02:13 +0000452MDString* LLVMContext::getMDString(const StringRef &Str) {
453 return pImpl->getMDString(Str.data(), Str.size());
Owen Andersonfea7ae82009-07-02 17:19:47 +0000454}
455
Owen Andersona8560212009-06-30 17:50:28 +0000456// FunctionType accessors
Owen Andersone70b6372009-07-05 22:41:43 +0000457FunctionType* LLVMContext::getFunctionType(const Type* Result, bool isVarArg) {
458 return FunctionType::get(Result, isVarArg);
459}
460
Owen Andersona8560212009-06-30 17:50:28 +0000461FunctionType* LLVMContext::getFunctionType(const Type* Result,
462 const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000463 bool isVarArg) {
Owen Andersona8560212009-06-30 17:50:28 +0000464 return FunctionType::get(Result, Params, isVarArg);
465}
466
467// IntegerType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000468const IntegerType* LLVMContext::getIntegerType(unsigned NumBits) {
Owen Andersona8560212009-06-30 17:50:28 +0000469 return IntegerType::get(NumBits);
470}
471
472// OpaqueType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000473OpaqueType* LLVMContext::getOpaqueType() {
Owen Andersona8560212009-06-30 17:50:28 +0000474 return OpaqueType::get();
475}
476
477// StructType accessors
Owen Anderson7d128072009-07-01 23:56:45 +0000478StructType* LLVMContext::getStructType(bool isPacked) {
479 return StructType::get(isPacked);
480}
481
Owen Andersona8560212009-06-30 17:50:28 +0000482StructType* LLVMContext::getStructType(const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000483 bool isPacked) {
Owen Andersona8560212009-06-30 17:50:28 +0000484 return StructType::get(Params, isPacked);
485}
486
Owen Anderson53a52212009-07-13 04:09:18 +0000487StructType *LLVMContext::getStructType(const Type *type, ...) {
488 va_list ap;
489 std::vector<const llvm::Type*> StructFields;
490 va_start(ap, type);
491 while (type) {
492 StructFields.push_back(type);
493 type = va_arg(ap, llvm::Type*);
494 }
495 return StructType::get(StructFields);
496}
497
Owen Andersona8560212009-06-30 17:50:28 +0000498// ArrayType accessors
499ArrayType* LLVMContext::getArrayType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000500 uint64_t NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000501 return ArrayType::get(ElementType, NumElements);
502}
503
504// PointerType accessors
505PointerType* LLVMContext::getPointerType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000506 unsigned AddressSpace) {
Owen Andersona8560212009-06-30 17:50:28 +0000507 return PointerType::get(ElementType, AddressSpace);
508}
509
Owen Anderson7d128072009-07-01 23:56:45 +0000510PointerType* LLVMContext::getPointerTypeUnqual(const Type* ElementType) {
Owen Andersona8560212009-06-30 17:50:28 +0000511 return PointerType::getUnqual(ElementType);
512}
513
514// VectorType accessors
515VectorType* LLVMContext::getVectorType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000516 unsigned NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000517 return VectorType::get(ElementType, NumElements);
518}
519
Bill Wendling4534d252009-07-01 22:33:26 +0000520VectorType* LLVMContext::getVectorTypeInteger(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000521 return VectorType::getInteger(VTy);
522}
523
Bill Wendling4534d252009-07-01 22:33:26 +0000524VectorType* LLVMContext::getVectorTypeExtendedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000525 return VectorType::getExtendedElementVectorType(VTy);
526}
527
Bill Wendling4534d252009-07-01 22:33:26 +0000528VectorType* LLVMContext::getVectorTypeTruncatedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000529 return VectorType::getTruncatedElementVectorType(VTy);
530}
Owen Anderson1e5f00e2009-07-09 23:48:35 +0000531
532const Type* LLVMContext::makeCmpResultType(const Type* opnd_type) {
533 if (const VectorType* vt = dyn_cast<const VectorType>(opnd_type)) {
534 return getVectorType(Type::Int1Ty, vt->getNumElements());
535 }
536 return Type::Int1Ty;
537}
Owen Anderson69ab4162009-07-16 22:11:26 +0000538
539void LLVMContext::erase(MDString *M) {
540 pImpl->erase(M);
Owen Anderson4118dde2009-07-16 23:44:30 +0000541}
542
543void LLVMContext::erase(MDNode *M) {
544 pImpl->erase(M);
Jeffrey Yasskin06285352009-07-16 23:58:14 +0000545}
Owen Anderson39ede7b2009-07-21 20:13:12 +0000546
547void LLVMContext::erase(ConstantAggregateZero *Z) {
548 pImpl->erase(Z);
Owen Anderson3d344922009-07-21 20:55:28 +0000549}
550
551void LLVMContext::erase(ConstantArray *C) {
552 pImpl->erase(C);
553}
554
Owen Anderson909f6002009-07-23 23:25:33 +0000555void LLVMContext::erase(ConstantStruct *S) {
556 pImpl->erase(S);
557}
558
Owen Anderson0348a132009-07-24 00:36:24 +0000559void LLVMContext::erase(ConstantVector *V) {
560 pImpl->erase(V);
561}
562
Owen Anderson3d344922009-07-21 20:55:28 +0000563Constant *LLVMContext::replaceUsesOfWithOnConstant(ConstantArray *CA,
564 Value *From, Value *To, Use *U) {
565 return pImpl->replaceUsesOfWithOnConstant(CA, From, To, U);
Duncan Sandsc0647b32009-07-22 13:20:41 +0000566}
Owen Anderson909f6002009-07-23 23:25:33 +0000567
568Constant *LLVMContext::replaceUsesOfWithOnConstant(ConstantStruct *CS,
569 Value *From, Value *To, Use *U) {
570 return pImpl->replaceUsesOfWithOnConstant(CS, From, To, U);
571}