blob: 7e436921e18c7d892db99ce82a29365f4ea26291 [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) {
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.
Bill Wendling4534d252009-07-01 22:33:26 +000083ConstantInt* LLVMContext::getConstantIntTrue() {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000084 return ConstantInt::getTrue();
85}
86
Bill Wendling4534d252009-07-01 22:33:26 +000087ConstantInt* LLVMContext::getConstantIntFalse() {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000088 return ConstantInt::getFalse();
89}
90
Owen Anderson39a7aed2009-07-02 23:58:19 +000091Constant* LLVMContext::getConstantInt(const Type* Ty, uint64_t V,
92 bool isSigned) {
93 return ConstantInt::get(Ty, V, isSigned);
94}
95
96
Owen Anderson8e66e0b2009-06-30 00:48:55 +000097ConstantInt* LLVMContext::getConstantInt(const IntegerType* Ty, uint64_t V,
Bill Wendling4534d252009-07-01 22:33:26 +000098 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +000099 return ConstantInt::get(Ty, V, isSigned);
100}
101
102ConstantInt* LLVMContext::getConstantIntSigned(const IntegerType* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000103 int64_t V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000104 return ConstantInt::getSigned(Ty, V);
105}
106
Bill Wendling4534d252009-07-01 22:33:26 +0000107ConstantInt* LLVMContext::getConstantInt(const APInt& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000108 return ConstantInt::get(V);
109}
110
Bill Wendling4534d252009-07-01 22:33:26 +0000111Constant* LLVMContext::getConstantInt(const Type* Ty, const APInt& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000112 return ConstantInt::get(Ty, V);
113}
114
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000115// ConstantPointerNull accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000116ConstantPointerNull* LLVMContext::getConstantPointerNull(const PointerType* T) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000117 return ConstantPointerNull::get(T);
118}
119
120
121// ConstantStruct accessors.
122Constant* LLVMContext::getConstantStruct(const StructType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000123 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000124 return ConstantStruct::get(T, V);
125}
126
127Constant* LLVMContext::getConstantStruct(const std::vector<Constant*>& V,
Bill Wendling4534d252009-07-01 22:33:26 +0000128 bool Packed) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000129 return ConstantStruct::get(V, Packed);
130}
131
132Constant* LLVMContext::getConstantStruct(Constant* const *Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000133 unsigned NumVals, bool Packed) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000134 return ConstantStruct::get(Vals, NumVals, Packed);
135}
136
137
138// ConstantAggregateZero accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000139ConstantAggregateZero* LLVMContext::getConstantAggregateZero(const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000140 return ConstantAggregateZero::get(Ty);
141}
142
143
144// ConstantArray accessors.
145Constant* LLVMContext::getConstantArray(const ArrayType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000146 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000147 return ConstantArray::get(T, V);
148}
149
150Constant* LLVMContext::getConstantArray(const ArrayType* T,
151 Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000152 unsigned NumVals) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000153 return ConstantArray::get(T, Vals, NumVals);
154}
155
156Constant* LLVMContext::getConstantArray(const std::string& Initializer,
Bill Wendling4534d252009-07-01 22:33:26 +0000157 bool AddNull) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000158 return ConstantArray::get(Initializer, AddNull);
159}
160
161
162// ConstantExpr accessors.
163Constant* LLVMContext::getConstantExpr(unsigned Opcode, Constant* C1,
Bill Wendling4534d252009-07-01 22:33:26 +0000164 Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000165 return ConstantExpr::get(Opcode, C1, C2);
166}
167
Bill Wendling4534d252009-07-01 22:33:26 +0000168Constant* LLVMContext::getConstantExprTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000169 return ConstantExpr::getTrunc(C, Ty);
170}
171
Bill Wendling4534d252009-07-01 22:33:26 +0000172Constant* LLVMContext::getConstantExprSExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000173 return ConstantExpr::getSExt(C, Ty);
174}
175
Bill Wendling4534d252009-07-01 22:33:26 +0000176Constant* LLVMContext::getConstantExprZExt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000177 return ConstantExpr::getZExt(C, Ty);
178}
179
Bill Wendling4534d252009-07-01 22:33:26 +0000180Constant* LLVMContext::getConstantExprFPTrunc(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000181 return ConstantExpr::getFPTrunc(C, Ty);
182}
183
Bill Wendling4534d252009-07-01 22:33:26 +0000184Constant* LLVMContext::getConstantExprFPExtend(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000185 return ConstantExpr::getFPExtend(C, Ty);
186}
187
Bill Wendling4534d252009-07-01 22:33:26 +0000188Constant* LLVMContext::getConstantExprUIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000189 return ConstantExpr::getUIToFP(C, Ty);
190}
191
Bill Wendling4534d252009-07-01 22:33:26 +0000192Constant* LLVMContext::getConstantExprSIToFP(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000193 return ConstantExpr::getSIToFP(C, Ty);
194}
195
Bill Wendling4534d252009-07-01 22:33:26 +0000196Constant* LLVMContext::getConstantExprFPToUI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000197 return ConstantExpr::getFPToUI(C, Ty);
198}
199
Bill Wendling4534d252009-07-01 22:33:26 +0000200Constant* LLVMContext::getConstantExprFPToSI(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000201 return ConstantExpr::getFPToSI(C, Ty);
202}
203
Bill Wendling4534d252009-07-01 22:33:26 +0000204Constant* LLVMContext::getConstantExprPtrToInt(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000205 return ConstantExpr::getPtrToInt(C, Ty);
206}
207
Bill Wendling4534d252009-07-01 22:33:26 +0000208Constant* LLVMContext::getConstantExprIntToPtr(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000209 return ConstantExpr::getIntToPtr(C, Ty);
210}
211
Bill Wendling4534d252009-07-01 22:33:26 +0000212Constant* LLVMContext::getConstantExprBitCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000213 return ConstantExpr::getBitCast(C, Ty);
214}
215
216Constant* LLVMContext::getConstantExprCast(unsigned ops, Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000217 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000218 return ConstantExpr::getCast(ops, C, Ty);
219}
220
221Constant* LLVMContext::getConstantExprZExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000222 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000223 return ConstantExpr::getZExtOrBitCast(C, Ty);
224}
225
226Constant* LLVMContext::getConstantExprSExtOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000227 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000228 return ConstantExpr::getSExtOrBitCast(C, Ty);
229}
230
231Constant* LLVMContext::getConstantExprTruncOrBitCast(Constant* C,
Bill Wendling4534d252009-07-01 22:33:26 +0000232 const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000233 return ConstantExpr::getTruncOrBitCast(C, Ty);
234}
235
Bill Wendling4534d252009-07-01 22:33:26 +0000236Constant* LLVMContext::getConstantExprPointerCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000237 return ConstantExpr::getPointerCast(C, Ty);
238}
239
240Constant* LLVMContext::getConstantExprIntegerCast(Constant* C, const Type* Ty,
Bill Wendling4534d252009-07-01 22:33:26 +0000241 bool isSigned) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000242 return ConstantExpr::getIntegerCast(C, Ty, isSigned);
243}
244
Bill Wendling4534d252009-07-01 22:33:26 +0000245Constant* LLVMContext::getConstantExprFPCast(Constant* C, const Type* Ty) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000246 return ConstantExpr::getFPCast(C, Ty);
247}
248
249Constant* LLVMContext::getConstantExprSelect(Constant* C, Constant* V1,
Bill Wendling4534d252009-07-01 22:33:26 +0000250 Constant* V2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000251 return ConstantExpr::getSelect(C, V1, V2);
252}
253
Bill Wendling4534d252009-07-01 22:33:26 +0000254Constant* LLVMContext::getConstantExprAlignOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000255 // alignof is implemented as: (i64) gep ({i8,Ty}*)null, 0, 1
256 const Type *AligningTy = getStructType(Type::Int8Ty, Ty, NULL);
257 Constant *NullPtr = getNullValue(AligningTy->getPointerTo());
258 Constant *Zero = getConstantInt(Type::Int32Ty, 0);
259 Constant *One = getConstantInt(Type::Int32Ty, 1);
260 Constant *Indices[2] = { Zero, One };
261 Constant *GEP = getConstantExprGetElementPtr(NullPtr, Indices, 2);
262 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int32Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000263}
264
265Constant* LLVMContext::getConstantExprCompare(unsigned short pred,
Bill Wendling4534d252009-07-01 22:33:26 +0000266 Constant* C1, Constant* C2) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000267 return ConstantExpr::getCompare(pred, C1, C2);
268}
269
Bill Wendling4534d252009-07-01 22:33:26 +0000270Constant* LLVMContext::getConstantExprNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000271 // API compatibility: Adjust integer opcodes to floating-point opcodes.
272 if (C->getType()->isFPOrFPVector())
273 return getConstantExprFNeg(C);
274 assert(C->getType()->isIntOrIntVector() &&
275 "Cannot NEG a nonintegral value!");
276 return getConstantExpr(Instruction::Sub,
277 getZeroValueForNegation(C->getType()),
278 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000279}
280
Bill Wendling4534d252009-07-01 22:33:26 +0000281Constant* LLVMContext::getConstantExprFNeg(Constant* C) {
Owen Anderson53a52212009-07-13 04:09:18 +0000282 assert(C->getType()->isFPOrFPVector() &&
283 "Cannot FNEG a non-floating-point value!");
284 return getConstantExpr(Instruction::FSub,
285 getZeroValueForNegation(C->getType()),
286 C);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000287}
288
Bill Wendling4534d252009-07-01 22:33:26 +0000289Constant* LLVMContext::getConstantExprNot(Constant* C) {
Owen Anderson542619e2009-07-13 20:58:05 +0000290 assert(C->getType()->isIntOrIntVector() &&
291 "Cannot NOT a nonintegral value!");
292 return getConstantExpr(Instruction::Xor, C, getAllOnesValue(C->getType()));
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000293}
294
Bill Wendling4534d252009-07-01 22:33:26 +0000295Constant* LLVMContext::getConstantExprAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000296 return getConstantExpr(Instruction::Add, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000297}
298
Bill Wendling4534d252009-07-01 22:33:26 +0000299Constant* LLVMContext::getConstantExprFAdd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000300 return getConstantExpr(Instruction::FAdd, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000301}
302
Bill Wendling4534d252009-07-01 22:33:26 +0000303Constant* LLVMContext::getConstantExprSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000304 return getConstantExpr(Instruction::Sub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000305}
306
Bill Wendling4534d252009-07-01 22:33:26 +0000307Constant* LLVMContext::getConstantExprFSub(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000308 return getConstantExpr(Instruction::FSub, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000309}
310
Bill Wendling4534d252009-07-01 22:33:26 +0000311Constant* LLVMContext::getConstantExprMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000312 return getConstantExpr(Instruction::Mul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000313}
314
Bill Wendling4534d252009-07-01 22:33:26 +0000315Constant* LLVMContext::getConstantExprFMul(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000316 return getConstantExpr(Instruction::FMul, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000317}
318
Bill Wendling4534d252009-07-01 22:33:26 +0000319Constant* LLVMContext::getConstantExprUDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000320 return getConstantExpr(Instruction::UDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000321}
322
Bill Wendling4534d252009-07-01 22:33:26 +0000323Constant* LLVMContext::getConstantExprSDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000324 return getConstantExpr(Instruction::SDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000325}
326
Bill Wendling4534d252009-07-01 22:33:26 +0000327Constant* LLVMContext::getConstantExprFDiv(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000328 return getConstantExpr(Instruction::FDiv, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000329}
330
Bill Wendling4534d252009-07-01 22:33:26 +0000331Constant* LLVMContext::getConstantExprURem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000332 return getConstantExpr(Instruction::URem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000333}
334
Bill Wendling4534d252009-07-01 22:33:26 +0000335Constant* LLVMContext::getConstantExprSRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000336 return getConstantExpr(Instruction::SRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000337}
338
Bill Wendling4534d252009-07-01 22:33:26 +0000339Constant* LLVMContext::getConstantExprFRem(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000340 return getConstantExpr(Instruction::FRem, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000341}
342
Bill Wendling4534d252009-07-01 22:33:26 +0000343Constant* LLVMContext::getConstantExprAnd(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000344 return getConstantExpr(Instruction::And, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000345}
346
Bill Wendling4534d252009-07-01 22:33:26 +0000347Constant* LLVMContext::getConstantExprOr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000348 return getConstantExpr(Instruction::Or, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000349}
350
Bill Wendling4534d252009-07-01 22:33:26 +0000351Constant* LLVMContext::getConstantExprXor(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000352 return getConstantExpr(Instruction::Xor, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000353}
354
355Constant* LLVMContext::getConstantExprICmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000356 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000357 return ConstantExpr::getICmp(pred, LHS, RHS);
358}
359
360Constant* LLVMContext::getConstantExprFCmp(unsigned short pred, Constant* LHS,
Bill Wendling4534d252009-07-01 22:33:26 +0000361 Constant* RHS) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000362 return ConstantExpr::getFCmp(pred, LHS, RHS);
363}
364
Bill Wendling4534d252009-07-01 22:33:26 +0000365Constant* LLVMContext::getConstantExprShl(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000366 return getConstantExpr(Instruction::Shl, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000367}
368
Bill Wendling4534d252009-07-01 22:33:26 +0000369Constant* LLVMContext::getConstantExprLShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000370 return getConstantExpr(Instruction::LShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000371}
372
Bill Wendling4534d252009-07-01 22:33:26 +0000373Constant* LLVMContext::getConstantExprAShr(Constant* C1, Constant* C2) {
Owen Anderson3e42e9f2009-07-13 23:50:59 +0000374 return getConstantExpr(Instruction::AShr, C1, C2);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000375}
376
377Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
378 Constant* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000379 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000380 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
381}
382
383Constant* LLVMContext::getConstantExprGetElementPtr(Constant* C,
384 Value* const* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000385 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000386 return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
387}
388
389Constant* LLVMContext::getConstantExprExtractElement(Constant* Vec,
Bill Wendling4534d252009-07-01 22:33:26 +0000390 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000391 return ConstantExpr::getExtractElement(Vec, Idx);
392}
393
394Constant* LLVMContext::getConstantExprInsertElement(Constant* Vec,
395 Constant* Elt,
Bill Wendling4534d252009-07-01 22:33:26 +0000396 Constant* Idx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000397 return ConstantExpr::getInsertElement(Vec, Elt, Idx);
398}
399
400Constant* LLVMContext::getConstantExprShuffleVector(Constant* V1, Constant* V2,
Bill Wendling4534d252009-07-01 22:33:26 +0000401 Constant* Mask) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000402 return ConstantExpr::getShuffleVector(V1, V2, Mask);
403}
404
405Constant* LLVMContext::getConstantExprExtractValue(Constant* Agg,
406 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000407 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000408 return ConstantExpr::getExtractValue(Agg, IdxList, NumIdx);
409}
410
411Constant* LLVMContext::getConstantExprInsertValue(Constant* Agg, Constant* Val,
412 const unsigned* IdxList,
Bill Wendling4534d252009-07-01 22:33:26 +0000413 unsigned NumIdx) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000414 return ConstantExpr::getInsertValue(Agg, Val, IdxList, NumIdx);
415}
416
Owen Andersone70b6372009-07-05 22:41:43 +0000417Constant* LLVMContext::getConstantExprSizeOf(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000418 // sizeof is implemented as: (i64) gep (Ty*)null, 1
419 Constant *GEPIdx = getConstantInt(Type::Int32Ty, 1);
420 Constant *GEP = getConstantExprGetElementPtr(
421 getNullValue(getPointerTypeUnqual(Ty)), &GEPIdx, 1);
422 return getConstantExprCast(Instruction::PtrToInt, GEP, Type::Int64Ty);
Owen Andersone70b6372009-07-05 22:41:43 +0000423}
424
Bill Wendling4534d252009-07-01 22:33:26 +0000425Constant* LLVMContext::getZeroValueForNegation(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000426 if (const VectorType *PTy = dyn_cast<VectorType>(Ty))
427 if (PTy->getElementType()->isFloatingPoint()) {
428 std::vector<Constant*> zeros(PTy->getNumElements(),
429 getConstantFPNegativeZero(PTy->getElementType()));
430 return getConstantVector(PTy, zeros);
431 }
432
433 if (Ty->isFloatingPoint())
434 return getConstantFPNegativeZero(Ty);
435
436 return getNullValue(Ty);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000437}
438
439
440// ConstantFP accessors.
Bill Wendling4534d252009-07-01 22:33:26 +0000441ConstantFP* LLVMContext::getConstantFP(const APFloat& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000442 return ConstantFP::get(V);
443}
444
Owen Anderson13c240a2009-07-13 23:16:26 +0000445static const fltSemantics *TypeToFloatSemantics(const Type *Ty) {
446 if (Ty == Type::FloatTy)
447 return &APFloat::IEEEsingle;
448 if (Ty == Type::DoubleTy)
449 return &APFloat::IEEEdouble;
450 if (Ty == Type::X86_FP80Ty)
451 return &APFloat::x87DoubleExtended;
452 else if (Ty == Type::FP128Ty)
453 return &APFloat::IEEEquad;
454
455 assert(Ty == Type::PPC_FP128Ty && "Unknown FP format");
456 return &APFloat::PPCDoubleDouble;
457}
458
459/// get() - This returns a constant fp for the specified value in the
460/// specified type. This should only be used for simple constant values like
461/// 2.0/1.0 etc, that are known-valid both as double and as the target format.
Bill Wendling4534d252009-07-01 22:33:26 +0000462Constant* LLVMContext::getConstantFP(const Type* Ty, double V) {
Owen Anderson13c240a2009-07-13 23:16:26 +0000463 APFloat FV(V);
464 bool ignored;
465 FV.convert(*TypeToFloatSemantics(Ty->getScalarType()),
466 APFloat::rmNearestTiesToEven, &ignored);
467 Constant *C = getConstantFP(FV);
468
469 // For vectors, broadcast the value.
470 if (const VectorType *VTy = dyn_cast<VectorType>(Ty))
471 return
472 getConstantVector(std::vector<Constant *>(VTy->getNumElements(), C));
473
474 return C;
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000475}
476
Bill Wendling4534d252009-07-01 22:33:26 +0000477ConstantFP* LLVMContext::getConstantFPNegativeZero(const Type* Ty) {
Owen Anderson53a52212009-07-13 04:09:18 +0000478 APFloat apf = cast <ConstantFP>(getNullValue(Ty))->getValueAPF();
479 apf.changeSign();
480 return getConstantFP(apf);
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000481}
482
483
484// ConstantVector accessors.
485Constant* LLVMContext::getConstantVector(const VectorType* T,
Bill Wendling4534d252009-07-01 22:33:26 +0000486 const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000487 return ConstantVector::get(T, V);
488}
489
Bill Wendling4534d252009-07-01 22:33:26 +0000490Constant* LLVMContext::getConstantVector(const std::vector<Constant*>& V) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000491 return ConstantVector::get(V);
492}
493
494Constant* LLVMContext::getConstantVector(Constant* const* Vals,
Bill Wendling4534d252009-07-01 22:33:26 +0000495 unsigned NumVals) {
Owen Anderson8e66e0b2009-06-30 00:48:55 +0000496 return ConstantVector::get(Vals, NumVals);
497}
498
Owen Andersone792c902009-07-02 17:12:48 +0000499// MDNode accessors
500MDNode* LLVMContext::getMDNode(Value* const* Vals, unsigned NumVals) {
501 return MDNode::get(Vals, NumVals);
502}
503
Owen Andersonfea7ae82009-07-02 17:19:47 +0000504// MDString accessors
505MDString* LLVMContext::getMDString(const char *StrBegin, const char *StrEnd) {
506 return MDString::get(StrBegin, StrEnd);
507}
508
509MDString* LLVMContext::getMDString(const std::string &Str) {
510 return MDString::get(Str);
511}
512
Owen Andersona8560212009-06-30 17:50:28 +0000513// FunctionType accessors
Owen Andersone70b6372009-07-05 22:41:43 +0000514FunctionType* LLVMContext::getFunctionType(const Type* Result, bool isVarArg) {
515 return FunctionType::get(Result, isVarArg);
516}
517
Owen Andersona8560212009-06-30 17:50:28 +0000518FunctionType* LLVMContext::getFunctionType(const Type* Result,
519 const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000520 bool isVarArg) {
Owen Andersona8560212009-06-30 17:50:28 +0000521 return FunctionType::get(Result, Params, isVarArg);
522}
523
524// IntegerType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000525const IntegerType* LLVMContext::getIntegerType(unsigned NumBits) {
Owen Andersona8560212009-06-30 17:50:28 +0000526 return IntegerType::get(NumBits);
527}
528
529// OpaqueType accessors
Bill Wendling4534d252009-07-01 22:33:26 +0000530OpaqueType* LLVMContext::getOpaqueType() {
Owen Andersona8560212009-06-30 17:50:28 +0000531 return OpaqueType::get();
532}
533
534// StructType accessors
Owen Anderson7d128072009-07-01 23:56:45 +0000535StructType* LLVMContext::getStructType(bool isPacked) {
536 return StructType::get(isPacked);
537}
538
Owen Andersona8560212009-06-30 17:50:28 +0000539StructType* LLVMContext::getStructType(const std::vector<const Type*>& Params,
Bill Wendling4534d252009-07-01 22:33:26 +0000540 bool isPacked) {
Owen Andersona8560212009-06-30 17:50:28 +0000541 return StructType::get(Params, isPacked);
542}
543
Owen Anderson53a52212009-07-13 04:09:18 +0000544StructType *LLVMContext::getStructType(const Type *type, ...) {
545 va_list ap;
546 std::vector<const llvm::Type*> StructFields;
547 va_start(ap, type);
548 while (type) {
549 StructFields.push_back(type);
550 type = va_arg(ap, llvm::Type*);
551 }
552 return StructType::get(StructFields);
553}
554
Owen Andersona8560212009-06-30 17:50:28 +0000555// ArrayType accessors
556ArrayType* LLVMContext::getArrayType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000557 uint64_t NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000558 return ArrayType::get(ElementType, NumElements);
559}
560
561// PointerType accessors
562PointerType* LLVMContext::getPointerType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000563 unsigned AddressSpace) {
Owen Andersona8560212009-06-30 17:50:28 +0000564 return PointerType::get(ElementType, AddressSpace);
565}
566
Owen Anderson7d128072009-07-01 23:56:45 +0000567PointerType* LLVMContext::getPointerTypeUnqual(const Type* ElementType) {
Owen Andersona8560212009-06-30 17:50:28 +0000568 return PointerType::getUnqual(ElementType);
569}
570
571// VectorType accessors
572VectorType* LLVMContext::getVectorType(const Type* ElementType,
Bill Wendling4534d252009-07-01 22:33:26 +0000573 unsigned NumElements) {
Owen Andersona8560212009-06-30 17:50:28 +0000574 return VectorType::get(ElementType, NumElements);
575}
576
Bill Wendling4534d252009-07-01 22:33:26 +0000577VectorType* LLVMContext::getVectorTypeInteger(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000578 return VectorType::getInteger(VTy);
579}
580
Bill Wendling4534d252009-07-01 22:33:26 +0000581VectorType* LLVMContext::getVectorTypeExtendedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000582 return VectorType::getExtendedElementVectorType(VTy);
583}
584
Bill Wendling4534d252009-07-01 22:33:26 +0000585VectorType* LLVMContext::getVectorTypeTruncatedElement(const VectorType* VTy) {
Owen Andersona8560212009-06-30 17:50:28 +0000586 return VectorType::getTruncatedElementVectorType(VTy);
587}
Owen Anderson1e5f00e2009-07-09 23:48:35 +0000588
589const Type* LLVMContext::makeCmpResultType(const Type* opnd_type) {
590 if (const VectorType* vt = dyn_cast<const VectorType>(opnd_type)) {
591 return getVectorType(Type::Int1Ty, vt->getNumElements());
592 }
593 return Type::Int1Ty;
594}