blob: a8a8928cdfe605bf2949bbe26ef2230eccb7de8e [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 Anderson8e66e0b2009-06-30 00:48:55 +000032LLVMContext::LLVMContext() : pImpl(new LLVMContextImpl()) { }
33LLVMContext::~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) {
67 return Constant::getAllOnesValue(Ty);
68}
69
Owen Andersonf85afb22009-07-02 16:51:51 +000070// UndefValue accessors.
71UndefValue* LLVMContext::getUndef(const Type* Ty) {
72 return UndefValue::get(Ty);
73}
74
Owen Anderson8e66e0b2009-06-30 00:48:55 +000075// ConstantInt accessors.
Bill Wendling4534d252009-07-01 22:33:26 +000076ConstantInt* LLVMContext::getConstantIntTrue() {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000077 return ConstantInt::getTrue();
78}
79
Bill Wendling4534d252009-07-01 22:33:26 +000080ConstantInt* LLVMContext::getConstantIntFalse() {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000081 return ConstantInt::getFalse();
82}
83
Owen Anderson39a7aed2009-07-02 23:58:19 +000084Constant* LLVMContext::getConstantInt(const Type* Ty, uint64_t V,
85 bool isSigned) {
86 return ConstantInt::get(Ty, V, isSigned);
87}
88
89
Owen Anderson8e66e0b2009-06-30 00:48:55 +000090ConstantInt* LLVMContext::getConstantInt(const IntegerType* Ty, uint64_t V,
Bill Wendling4534d252009-07-01 22:33:26 +000091 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000092 return ConstantInt::get(Ty, V, isSigned);
93}
94
95ConstantInt* LLVMContext::getConstantIntSigned(const IntegerType* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +000096 int64_t V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000097 return ConstantInt::getSigned(Ty, V);
98}
99
Bill Wendling4534d252009-07-01 22:33:26 +0000100ConstantInt* LLVMContext::getConstantInt(const APInt& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000101 return ConstantInt::get(V);
102}
103
Bill Wendling4534d252009-07-01 22:33:26 +0000104Constant* LLVMContext::getConstantInt(const Type* Ty, const APInt& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000105 return ConstantInt::get(Ty, V);
106}
107
Owen Anderson39a7aed2009-07-02 23:58:19 +0000108ConstantInt* LLVMContext::getConstantIntAllOnesValue(const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000109 return ConstantInt::getAllOnesValue(Ty);
110}
111
112
113// ConstantPointerNull accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000114ConstantPointerNull* LLVMContext::getConstantPointerNull(const PointerType* T) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000115 return ConstantPointerNull::get(T);
116}
117
118
119// ConstantStruct accessors.
120Constant* LLVMContext::getConstantStruct(const StructType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000121 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000122 return ConstantStruct::get(T, V);
123}
124
125Constant* LLVMContext::getConstantStruct(const std::vector<Constant*>& V,
Bill Wendling4534d252009-07-01 22:33:26 +0000126 bool Packed) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000127 return ConstantStruct::get(V, Packed);
128}
129
130Constant* LLVMContext::getConstantStruct(Constant* const *Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000131 unsigned NumVals, bool Packed) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000132 return ConstantStruct::get(Vals, NumVals, Packed);
133}
134
135
136// ConstantAggregateZero accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000137ConstantAggregateZero* LLVMContext::getConstantAggregateZero(const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000138 return ConstantAggregateZero::get(Ty);
139}
140
141
142// ConstantArray accessors.
143Constant* LLVMContext::getConstantArray(const ArrayType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000144 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000145 return ConstantArray::get(T, V);
146}
147
148Constant* LLVMContext::getConstantArray(const ArrayType* T,
149 Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000150 unsigned NumVals) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000151 return ConstantArray::get(T, Vals, NumVals);
152}
153
154Constant* LLVMContext::getConstantArray(const std::string& Initializer,
Bill Wendling4534d252009-07-01 22:33:26 +0000155 bool AddNull) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000156 return ConstantArray::get(Initializer, AddNull);
157}
158
159
160// ConstantExpr accessors.
161Constant* LLVMContext::getConstantExpr(unsigned Opcode, Constant* C1,
Bill Wendling4534d252009-07-01 22:33:26 +0000162 Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000163 return ConstantExpr::get(Opcode, C1, C2);
164}
165
Bill Wendling4534d252009-07-01 22:33:26 +0000166Constant* LLVMContext::getConstantExprTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000167 return ConstantExpr::getTrunc(C, Ty);
168}
169
Bill Wendling4534d252009-07-01 22:33:26 +0000170Constant* LLVMContext::getConstantExprSExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000171 return ConstantExpr::getSExt(C, Ty);
172}
173
Bill Wendling4534d252009-07-01 22:33:26 +0000174Constant* LLVMContext::getConstantExprZExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000175 return ConstantExpr::getZExt(C, Ty);
176}
177
Bill Wendling4534d252009-07-01 22:33:26 +0000178Constant* LLVMContext::getConstantExprFPTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000179 return ConstantExpr::getFPTrunc(C, Ty);
180}
181
Bill Wendling4534d252009-07-01 22:33:26 +0000182Constant* LLVMContext::getConstantExprFPExtend(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000183 return ConstantExpr::getFPExtend(C, Ty);
184}
185
Bill Wendling4534d252009-07-01 22:33:26 +0000186Constant* LLVMContext::getConstantExprUIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000187 return ConstantExpr::getUIToFP(C, Ty);
188}
189
Bill Wendling4534d252009-07-01 22:33:26 +0000190Constant* LLVMContext::getConstantExprSIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000191 return ConstantExpr::getSIToFP(C, Ty);
192}
193
Bill Wendling4534d252009-07-01 22:33:26 +0000194Constant* LLVMContext::getConstantExprFPToUI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000195 return ConstantExpr::getFPToUI(C, Ty);
196}
197
Bill Wendling4534d252009-07-01 22:33:26 +0000198Constant* LLVMContext::getConstantExprFPToSI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000199 return ConstantExpr::getFPToSI(C, Ty);
200}
201
Bill Wendling4534d252009-07-01 22:33:26 +0000202Constant* LLVMContext::getConstantExprPtrToInt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000203 return ConstantExpr::getPtrToInt(C, Ty);
204}
205
Bill Wendling4534d252009-07-01 22:33:26 +0000206Constant* LLVMContext::getConstantExprIntToPtr(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000207 return ConstantExpr::getIntToPtr(C, Ty);
208}
209
Bill Wendling4534d252009-07-01 22:33:26 +0000210Constant* LLVMContext::getConstantExprBitCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000211 return ConstantExpr::getBitCast(C, Ty);
212}
213
214Constant* LLVMContext::getConstantExprCast(unsigned ops, Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000215 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000216 return ConstantExpr::getCast(ops, C, Ty);
217}
218
219Constant* LLVMContext::getConstantExprZExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000220 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000221 return ConstantExpr::getZExtOrBitCast(C, Ty);
222}
223
224Constant* LLVMContext::getConstantExprSExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000225 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000226 return ConstantExpr::getSExtOrBitCast(C, Ty);
227}
228
229Constant* LLVMContext::getConstantExprTruncOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000230 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000231 return ConstantExpr::getTruncOrBitCast(C, Ty);
232}
233
Bill Wendling4534d252009-07-01 22:33:26 +0000234Constant* LLVMContext::getConstantExprPointerCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000235 return ConstantExpr::getPointerCast(C, Ty);
236}
237
238Constant* LLVMContext::getConstantExprIntegerCast(Constant* C, const Type* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000239 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000240 return ConstantExpr::getIntegerCast(C, Ty, isSigned);
241}
242
Bill Wendling4534d252009-07-01 22:33:26 +0000243Constant* LLVMContext::getConstantExprFPCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000244 return ConstantExpr::getFPCast(C, Ty);
245}
246
247Constant* LLVMContext::getConstantExprSelect(Constant* C, Constant* V1,
Bill Wendling4534d252009-07-01 22:33:26 +0000248 Constant* V2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000249 return ConstantExpr::getSelect(C, V1, V2);
250}
251
Bill Wendling4534d252009-07-01 22:33:26 +0000252Constant* LLVMContext::getConstantExprAlignOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000253 // alignof is implemented as: (i64) gep ({i8,Ty}*)null, 0, 1
254 const Type *AligningTy = getStructType(Type::Int8Ty, Ty, NULL);
255 Constant *NullPtr = getNullValue(AligningTy->getPointerTo());
256 Constant *Zero = getConstantInt(Type::Int32Ty, 0);
257 Constant *One = getConstantInt(Type::Int32Ty, 1);
258 Constant *Indices[2] = { Zero, One };
259 Constant *GEP = getConstantExprGetElementPtr(NullPtr, Indices, 2);
260 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int32Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000261}
262
263Constant* LLVMContext::getConstantExprCompare(unsigned short pred,
Bill Wendling4534d252009-07-01 22:33:26 +0000264 Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000265 return ConstantExpr::getCompare(pred, C1, C2);
266}
267
Bill Wendling4534d252009-07-01 22:33:26 +0000268Constant* LLVMContext::getConstantExprNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000269 // API compatibility: Adjust integer opcodes to floating-point opcodes.
270 if (C->getType()->isFPOrFPVector())
271 return getConstantExprFNeg(C);
272 assert(C->getType()->isIntOrIntVector() &&
273 "Cannot NEG a nonintegral value!");
274 return getConstantExpr(Instruction::Sub,
275 getZeroValueForNegation(C->getType()),
276 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000277}
278
Bill Wendling4534d252009-07-01 22:33:26 +0000279Constant* LLVMContext::getConstantExprFNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000280 assert(C->getType()->isFPOrFPVector() &&
281 "Cannot FNEG a non-floating-point value!");
282 return getConstantExpr(Instruction::FSub,
283 getZeroValueForNegation(C->getType()),
284 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000285}
286
Bill Wendling4534d252009-07-01 22:33:26 +0000287Constant* LLVMContext::getConstantExprNot(Constant* C) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000288 return ConstantExpr::getNot(C);
289}
290
Bill Wendling4534d252009-07-01 22:33:26 +0000291Constant* LLVMContext::getConstantExprAdd(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000292 return ConstantExpr::getAdd(C1, C2);
293}
294
Bill Wendling4534d252009-07-01 22:33:26 +0000295Constant* LLVMContext::getConstantExprFAdd(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000296 return ConstantExpr::getFAdd(C1, C2);
297}
298
Bill Wendling4534d252009-07-01 22:33:26 +0000299Constant* LLVMContext::getConstantExprSub(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000300 return ConstantExpr::getSub(C1, C2);
301}
302
Bill Wendling4534d252009-07-01 22:33:26 +0000303Constant* LLVMContext::getConstantExprFSub(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000304 return ConstantExpr::getFSub(C1, C2);
305}
306
Bill Wendling4534d252009-07-01 22:33:26 +0000307Constant* LLVMContext::getConstantExprMul(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000308 return ConstantExpr::getMul(C1, C2);
309}
310
Bill Wendling4534d252009-07-01 22:33:26 +0000311Constant* LLVMContext::getConstantExprFMul(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000312 return ConstantExpr::getFMul(C1, C2);
313}
314
Bill Wendling4534d252009-07-01 22:33:26 +0000315Constant* LLVMContext::getConstantExprUDiv(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000316 return ConstantExpr::getUDiv(C1, C2);
317}
318
Bill Wendling4534d252009-07-01 22:33:26 +0000319Constant* LLVMContext::getConstantExprSDiv(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000320 return ConstantExpr::getSDiv(C1, C2);
321}
322
Bill Wendling4534d252009-07-01 22:33:26 +0000323Constant* LLVMContext::getConstantExprFDiv(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000324 return ConstantExpr::getFDiv(C1, C2);
325}
326
Bill Wendling4534d252009-07-01 22:33:26 +0000327Constant* LLVMContext::getConstantExprURem(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000328 return ConstantExpr::getURem(C1, C2);
329}
330
Bill Wendling4534d252009-07-01 22:33:26 +0000331Constant* LLVMContext::getConstantExprSRem(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000332 return ConstantExpr::getSRem(C1, C2);
333}
334
Bill Wendling4534d252009-07-01 22:33:26 +0000335Constant* LLVMContext::getConstantExprFRem(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000336 return ConstantExpr::getFRem(C1, C2);
337}
338
Bill Wendling4534d252009-07-01 22:33:26 +0000339Constant* LLVMContext::getConstantExprAnd(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000340 return ConstantExpr::getAnd(C1, C2);
341}
342
Bill Wendling4534d252009-07-01 22:33:26 +0000343Constant* LLVMContext::getConstantExprOr(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000344 return ConstantExpr::getOr(C1, C2);
345}
346
Bill Wendling4534d252009-07-01 22:33:26 +0000347Constant* LLVMContext::getConstantExprXor(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000348 return ConstantExpr::getXor(C1, C2);
349}
350
351Constant* LLVMContext::getConstantExprICmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000352 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000353 return ConstantExpr::getICmp(pred, LHS, RHS);
354}
355
356Constant* LLVMContext::getConstantExprFCmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000357 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000358 return ConstantExpr::getFCmp(pred, LHS, RHS);
359}
360
Bill Wendling4534d252009-07-01 22:33:26 +0000361Constant* LLVMContext::getConstantExprShl(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000362 return ConstantExpr::getShl(C1, C2);
363}
364
Bill Wendling4534d252009-07-01 22:33:26 +0000365Constant* LLVMContext::getConstantExprLShr(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000366 return ConstantExpr::getLShr(C1, C2);
367}
368
Bill Wendling4534d252009-07-01 22:33:26 +0000369Constant* LLVMContext::getConstantExprAShr(Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000370 return ConstantExpr::getAShr(C1, C2);
371}
372
373Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
374 Constant* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000375 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000376 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
377}
378
379Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
380 Value* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000381 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000382 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
383}
384
385Constant* LLVMContext::getConstantExprExtractElement(Constant* Vec,
Bill Wendling4534d252009-07-01 22:33:26 +0000386 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000387 return ConstantExpr::getExtractElement(Vec, Idx);
388}
389
390Constant* LLVMContext::getConstantExprInsertElement(Constant* Vec,
391 Constant* Elt,
Bill Wendling4534d252009-07-01 22:33:26 +0000392 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000393 return ConstantExpr::getInsertElement(Vec, Elt, Idx);
394}
395
396Constant* LLVMContext::getConstantExprShuffleVector(Constant* V1, Constant* V2,
Bill Wendling4534d252009-07-01 22:33:26 +0000397 Constant* Mask) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000398 return ConstantExpr::getShuffleVector(V1, V2, Mask);
399}
400
401Constant* LLVMContext::getConstantExprExtractValue(Constant* Agg,
402 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000403 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000404 return ConstantExpr::getExtractValue(Agg, IdxList, NumIdx);
405}
406
407Constant* LLVMContext::getConstantExprInsertValue(Constant* Agg, Constant* Val,
408 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000409 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000410 return ConstantExpr::getInsertValue(Agg, Val, IdxList, NumIdx);
411}
412
Owen Andersone70b6372009-07-05 22:41:43 +0000413Constant* LLVMContext::getConstantExprSizeOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000414 // sizeof is implemented as: (i64) gep (Ty*)null, 1
415 Constant *GEPIdx = getConstantInt(Type::Int32Ty, 1);
416 Constant *GEP = getConstantExprGetElementPtr(
417 getNullValue(getPointerTypeUnqual(Ty)), &GEPIdx, 1);
418 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int64Ty);
Owen Andersone70b6372009-07-05 22:41:43 +0000419}
420
Bill Wendling4534d252009-07-01 22:33:26 +0000421Constant* LLVMContext::getZeroValueForNegation(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000422 if (const VectorType *PTy = dyn_cast<VectorType>(Ty))
423 if (PTy->getElementType()->isFloatingPoint()) {
424 std::vector<Constant*> zeros(PTy->getNumElements(),
425 getConstantFPNegativeZero(PTy->getElementType()));
426 return getConstantVector(PTy, zeros);
427 }
428
429 if (Ty->isFloatingPoint())
430 return getConstantFPNegativeZero(Ty);
431
432 return getNullValue(Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000433}
434
435
436// ConstantFP accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000437ConstantFP* LLVMContext::getConstantFP(const APFloat& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000438 return ConstantFP::get(V);
439}
440
Bill Wendling4534d252009-07-01 22:33:26 +0000441Constant* LLVMContext::getConstantFP(const Type* Ty, double V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000442 return ConstantFP::get(Ty, V);
443}
444
Bill Wendling4534d252009-07-01 22:33:26 +0000445ConstantFP* LLVMContext::getConstantFPNegativeZero(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000446 APFloat apf = cast <ConstantFP>(getNullValue(Ty))->getValueAPF();
447 apf.changeSign();
448 return getConstantFP(apf);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000449}
450
451
452// ConstantVector accessors.
453Constant* LLVMContext::getConstantVector(const VectorType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000454 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000455 return ConstantVector::get(T, V);
456}
457
Bill Wendling4534d252009-07-01 22:33:26 +0000458Constant* LLVMContext::getConstantVector(const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000459 return ConstantVector::get(V);
460}
461
462Constant* LLVMContext::getConstantVector(Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000463 unsigned NumVals) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000464 return ConstantVector::get(Vals, NumVals);
465}
466
Owen Anderson340288c2009-07-03 19:42:02 +0000467ConstantVector* LLVMContext::getConstantVectorAllOnesValue(
468 const VectorType* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000469 return ConstantVector::getAllOnesValue(Ty);
470}
Owen Andersona8560212009-06-30 17:50:28 +0000471
Owen Andersone792c902009-07-02 17:12:48 +0000472// MDNode accessors
473MDNode* LLVMContext::getMDNode(Value* const* Vals, unsigned NumVals) {
474 return MDNode::get(Vals, NumVals);
475}
476
Owen Andersonfea7ae82009-07-02 17:19:47 +0000477// MDString accessors
478MDString* LLVMContext::getMDString(const char *StrBegin, const char *StrEnd) {
479 return MDString::get(StrBegin, StrEnd);
480}
481
482MDString* LLVMContext::getMDString(const std::string &Str) {
483 return MDString::get(Str);
484}
485
Owen Andersona8560212009-06-30 17:50:28 +0000486// FunctionType accessors
Owen Andersone70b6372009-07-05 22:41:43 +0000487FunctionType* LLVMContext::getFunctionType(const Type* Result, bool isVarArg) {
488 return FunctionType::get(Result, isVarArg);
489}
490
Owen Andersona8560212009-06-30 17:50:28 +0000491FunctionType* LLVMContext::getFunctionType(const Type* Result,
492 const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000493 bool isVarArg) {
Owen Andersona8560212009-06-30 17:50:28 +0000494 return FunctionType::get(Result, Params, isVarArg);
495}
496
497// IntegerType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000498const IntegerType* LLVMContext::getIntegerType(unsigned NumBits) {
Owen Andersona8560212009-06-30 17:50:28 +0000499 return IntegerType::get(NumBits);
500}
501
502// OpaqueType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000503OpaqueType* LLVMContext::getOpaqueType() {
Owen Andersona8560212009-06-30 17:50:28 +0000504 return OpaqueType::get();
505}
506
507// StructType accessors
Owen Anderson7d128072009-07-01 23:56:45 +0000508StructType* LLVMContext::getStructType(bool isPacked) {
509 return StructType::get(isPacked);
510}
511
Owen Andersona8560212009-06-30 17:50:28 +0000512StructType* LLVMContext::getStructType(const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000513 bool isPacked) {
Owen Andersona8560212009-06-30 17:50:28 +0000514 return StructType::get(Params, isPacked);
515}
516
Owen Anderson53a52212009-07-13 04:09:18 +0000517StructType *LLVMContext::getStructType(const Type *type, ...) {
518 va_list ap;
519 std::vector<const llvm::Type*> StructFields;
520 va_start(ap, type);
521 while (type) {
522 StructFields.push_back(type);
523 type = va_arg(ap, llvm::Type*);
524 }
525 return StructType::get(StructFields);
526}
527
Owen Andersona8560212009-06-30 17:50:28 +0000528// ArrayType accessors
529ArrayType* LLVMContext::getArrayType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000530 uint64_t NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000531 return ArrayType::get(ElementType, NumElements);
532}
533
534// PointerType accessors
535PointerType* LLVMContext::getPointerType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000536 unsigned AddressSpace) {
Owen Andersona8560212009-06-30 17:50:28 +0000537 return PointerType::get(ElementType, AddressSpace);
538}
539
Owen Anderson7d128072009-07-01 23:56:45 +0000540PointerType* LLVMContext::getPointerTypeUnqual(const Type* ElementType) {
Owen Andersona8560212009-06-30 17:50:28 +0000541 return PointerType::getUnqual(ElementType);
542}
543
544// VectorType accessors
545VectorType* LLVMContext::getVectorType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000546 unsigned NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000547 return VectorType::get(ElementType, NumElements);
548}
549
Bill Wendling4534d252009-07-01 22:33:26 +0000550VectorType* LLVMContext::getVectorTypeInteger(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000551 return VectorType::getInteger(VTy);
552}
553
Bill Wendling4534d252009-07-01 22:33:26 +0000554VectorType* LLVMContext::getVectorTypeExtendedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000555 return VectorType::getExtendedElementVectorType(VTy);
556}
557
Bill Wendling4534d252009-07-01 22:33:26 +0000558VectorType* LLVMContext::getVectorTypeTruncatedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000559 return VectorType::getTruncatedElementVectorType(VTy);
560}
Owen Anderson1e5f00e2009-07-09 23:48:35 +0000561
562const Type* LLVMContext::makeCmpResultType(const Type* opnd_type) {
563 if (const VectorType* vt = dyn_cast<const VectorType>(opnd_type)) {
564 return getVectorType(Type::Int1Ty, vt->getNumElements());
565 }
566 return Type::Int1Ty;
567}