2009-06-30 00:48:55 +00:00
|
|
|
//===-- llvm/LLVMContext.h - Class for managing "global" state --*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2009-06-30 17:06:46 +00:00
|
|
|
//
|
|
|
|
// This file declares LLVMContext, a container of "global" state in LLVM, such
|
|
|
|
// as the global type and constant uniquing tables.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
#ifndef LLVM_LLVMCONTEXT_H
|
|
|
|
#define LLVM_LLVMCONTEXT_H
|
|
|
|
|
|
|
|
#include "llvm/Support/DataTypes.h"
|
|
|
|
#include <vector>
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
class LLVMContextImpl;
|
|
|
|
class Constant;
|
|
|
|
class ConstantInt;
|
|
|
|
class ConstantPointerNull;
|
|
|
|
class ConstantStruct;
|
|
|
|
class ConstantAggregateZero;
|
|
|
|
class ConstantArray;
|
|
|
|
class ConstantFP;
|
|
|
|
class ConstantVector;
|
2009-07-02 16:51:51 +00:00
|
|
|
class UndefValue;
|
2009-07-02 17:12:48 +00:00
|
|
|
class MDNode;
|
2009-07-02 17:19:47 +00:00
|
|
|
class MDString;
|
2009-06-30 00:48:55 +00:00
|
|
|
class IntegerType;
|
|
|
|
class PointerType;
|
|
|
|
class StructType;
|
|
|
|
class ArrayType;
|
|
|
|
class VectorType;
|
2009-06-30 17:50:28 +00:00
|
|
|
class OpaqueType;
|
|
|
|
class FunctionType;
|
2009-06-30 00:48:55 +00:00
|
|
|
class Type;
|
|
|
|
class APInt;
|
|
|
|
class APFloat;
|
|
|
|
class Value;
|
2009-07-21 20:55:28 +00:00
|
|
|
class Use;
|
2009-06-30 00:48:55 +00:00
|
|
|
|
2009-06-30 17:06:46 +00:00
|
|
|
/// This is an important class for using LLVM in a threaded context. It
|
|
|
|
/// (opaquely) owns and manages the core "global" data of LLVM's core
|
|
|
|
/// infrastructure, including the type and constant uniquing tables.
|
|
|
|
/// LLVMContext itself provides no locking guarantees, so you should be careful
|
|
|
|
/// to have one context per thread.
|
2009-06-30 00:48:55 +00:00
|
|
|
class LLVMContext {
|
|
|
|
LLVMContextImpl* pImpl;
|
|
|
|
public:
|
|
|
|
LLVMContext();
|
|
|
|
~LLVMContext();
|
|
|
|
|
2009-07-01 23:56:45 +00:00
|
|
|
// Constant accessors
|
|
|
|
Constant* getNullValue(const Type* Ty);
|
2009-07-13 20:58:05 +00:00
|
|
|
|
|
|
|
/// @returns the value for an integer constant of the given type that has all
|
|
|
|
/// its bits set to true.
|
|
|
|
/// @brief Get the all ones value
|
2009-07-01 23:56:45 +00:00
|
|
|
Constant* getAllOnesValue(const Type* Ty);
|
|
|
|
|
2009-07-02 16:51:51 +00:00
|
|
|
// UndefValue accessors
|
|
|
|
UndefValue* getUndef(const Type* Ty);
|
|
|
|
|
2009-06-30 00:48:55 +00:00
|
|
|
// ConstantInt accessors
|
2009-07-21 18:03:38 +00:00
|
|
|
ConstantInt* getTrue();
|
|
|
|
ConstantInt* getFalse();
|
2009-07-14 23:09:55 +00:00
|
|
|
|
|
|
|
/// If Ty is a vector type, return a Constant with a splat of the given
|
|
|
|
/// value. Otherwise return a ConstantInt for the given value.
|
2009-07-02 23:58:19 +00:00
|
|
|
Constant* getConstantInt(const Type* Ty, uint64_t V,
|
|
|
|
bool isSigned = false);
|
2009-07-14 23:09:55 +00:00
|
|
|
|
|
|
|
/// Return a ConstantInt with the specified integer value for the specified
|
|
|
|
/// type. If the type is wider than 64 bits, the value will be zero-extended
|
|
|
|
/// to fit the type, unless isSigned is true, in which case the value will
|
|
|
|
/// be interpreted as a 64-bit signed integer and sign-extended to fit
|
|
|
|
/// the type.
|
|
|
|
/// @brief Get a ConstantInt for a specific value.
|
2009-06-30 00:48:55 +00:00
|
|
|
ConstantInt* getConstantInt(const IntegerType* Ty, uint64_t V,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool isSigned = false);
|
2009-07-14 23:09:55 +00:00
|
|
|
|
|
|
|
/// Return a ConstantInt with the specified value for the specified type. The
|
|
|
|
/// value V will be canonicalized to a an unsigned APInt. Accessing it with
|
|
|
|
/// either getSExtValue() or getZExtValue() will yield a correctly sized and
|
|
|
|
/// signed value for the type Ty.
|
|
|
|
/// @brief Get a ConstantInt for a specific signed value.
|
2009-07-01 22:33:26 +00:00
|
|
|
ConstantInt* getConstantIntSigned(const IntegerType* Ty, int64_t V);
|
2009-07-14 23:09:55 +00:00
|
|
|
Constant *getConstantIntSigned(const Type *Ty, int64_t V);
|
|
|
|
|
2009-07-16 18:04:31 +00:00
|
|
|
/// Return a ConstantInt with the specified value and an implied Type. The
|
|
|
|
/// type is the integer type that corresponds to the bit width of the value.
|
2009-07-01 22:33:26 +00:00
|
|
|
ConstantInt* getConstantInt(const APInt& V);
|
2009-07-14 23:09:55 +00:00
|
|
|
|
|
|
|
/// If Ty is a vector type, return a Constant with a splat of the given
|
|
|
|
/// value. Otherwise return a ConstantInt for the given value.
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* getConstantInt(const Type* Ty, const APInt& V);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantPointerNull accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
ConstantPointerNull* getConstantPointerNull(const PointerType* T);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantStruct accessors
|
|
|
|
Constant* getConstantStruct(const StructType* T,
|
2009-07-01 22:33:26 +00:00
|
|
|
const std::vector<Constant*>& V);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantStruct(const std::vector<Constant*>& V,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool Packed = false);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantStruct(Constant* const *Vals, unsigned NumVals,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool Packed = false);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantAggregateZero accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
ConstantAggregateZero* getConstantAggregateZero(const Type* Ty);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantArray accessors
|
|
|
|
Constant* getConstantArray(const ArrayType* T,
|
2009-07-01 22:33:26 +00:00
|
|
|
const std::vector<Constant*>& V);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantArray(const ArrayType* T, Constant* const* Vals,
|
2009-07-01 22:33:26 +00:00
|
|
|
unsigned NumVals);
|
2009-07-14 23:09:55 +00:00
|
|
|
|
|
|
|
/// This method constructs a ConstantArray and initializes it with a text
|
|
|
|
/// string. The default behavior (AddNull==true) causes a null terminator to
|
|
|
|
/// be placed at the end of the array. This effectively increases the length
|
|
|
|
/// of the array by one (you've been warned). However, in some situations
|
|
|
|
/// this is not desired so if AddNull==false then the string is copied without
|
|
|
|
/// null termination.
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantArray(const std::string& Initializer,
|
2009-07-07 16:56:05 +00:00
|
|
|
bool AddNull = true);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantExpr accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* getConstantExpr(unsigned Opcode, Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprTrunc(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprSExt(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprZExt(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprFPTrunc(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprFPExtend(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprUIToFP(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprSIToFP(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprFPToUI(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprFPToSI(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprPtrToInt(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprIntToPtr(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprBitCast(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprCast(unsigned ops, Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprZExtOrBitCast(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprSExtOrBitCast(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprTruncOrBitCast(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprPointerCast(Constant* C, const Type* Ty);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprIntegerCast(Constant* C, const Type* Ty,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool isSigned);
|
|
|
|
Constant* getConstantExprFPCast(Constant* C, const Type* Ty);
|
|
|
|
Constant* getConstantExprSelect(Constant* C, Constant* V1, Constant* V2);
|
2009-07-13 04:09:18 +00:00
|
|
|
|
|
|
|
/// getAlignOf constant expr - computes the alignment of a type in a target
|
|
|
|
/// independent way (Note: the return type is an i32; Note: assumes that i8
|
|
|
|
/// is byte aligned).
|
|
|
|
///
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* getConstantExprAlignOf(const Type* Ty);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprCompare(unsigned short pred,
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprNeg(Constant* C);
|
|
|
|
Constant* getConstantExprFNeg(Constant* C);
|
|
|
|
Constant* getConstantExprNot(Constant* C);
|
|
|
|
Constant* getConstantExprAdd(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprFAdd(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprSub(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprFSub(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprMul(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprFMul(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprUDiv(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprSDiv(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprFDiv(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprURem(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprSRem(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprFRem(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprAnd(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprOr(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprXor(Constant* C1, Constant* C2);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprICmp(unsigned short pred, Constant* LHS,
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* RHS);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprFCmp(unsigned short pred, Constant* LHS,
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* RHS);
|
|
|
|
Constant* getConstantExprShl(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprLShr(Constant* C1, Constant* C2);
|
|
|
|
Constant* getConstantExprAShr(Constant* C1, Constant* C2);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprGetElementPtr(Constant* C, Constant* const* IdxList,
|
2009-07-01 22:33:26 +00:00
|
|
|
unsigned NumIdx);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprGetElementPtr(Constant* C, Value* const* IdxList,
|
2009-07-01 22:33:26 +00:00
|
|
|
unsigned NumIdx);
|
|
|
|
Constant* getConstantExprExtractElement(Constant* Vec, Constant* Idx);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprInsertElement(Constant* Vec, Constant* Elt,
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* Idx);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprShuffleVector(Constant* V1, Constant* V2,
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* Mask);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprExtractValue(Constant* Agg, const unsigned* IdxList,
|
2009-07-01 22:33:26 +00:00
|
|
|
unsigned NumIdx);
|
2009-06-30 00:48:55 +00:00
|
|
|
Constant* getConstantExprInsertValue(Constant* Agg, Constant* Val,
|
|
|
|
const unsigned* IdxList,
|
2009-07-01 22:33:26 +00:00
|
|
|
unsigned NumIdx);
|
2009-07-13 04:09:18 +00:00
|
|
|
|
|
|
|
/// getSizeOf constant expr - computes the size of a type in a target
|
|
|
|
/// independent way (Note: the return type is an i64).
|
|
|
|
///
|
2009-07-05 22:41:43 +00:00
|
|
|
Constant* getConstantExprSizeOf(const Type* Ty);
|
2009-07-13 04:09:18 +00:00
|
|
|
|
|
|
|
/// Floating point negation must be implemented with f(x) = -0.0 - x. This
|
|
|
|
/// method returns the negative zero constant for floating point or vector
|
|
|
|
/// floating point types; for all other types, it returns the null value.
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* getZeroValueForNegation(const Type* Ty);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantFP accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
ConstantFP* getConstantFP(const APFloat& V);
|
2009-07-13 23:16:26 +00:00
|
|
|
|
|
|
|
/// get() - This returns a ConstantFP, or a vector containing a splat of a
|
|
|
|
/// ConstantFP, for the specified value in the specified type. This should
|
|
|
|
/// only be used for simple constant values like 2.0/1.0 etc, that are
|
|
|
|
/// known-valid both as host double and as the target format.
|
2009-07-01 22:33:26 +00:00
|
|
|
Constant* getConstantFP(const Type* Ty, double V);
|
|
|
|
ConstantFP* getConstantFPNegativeZero(const Type* Ty);
|
2009-06-30 00:48:55 +00:00
|
|
|
|
|
|
|
// ConstantVector accessors
|
|
|
|
Constant* getConstantVector(const VectorType* T,
|
2009-07-01 22:33:26 +00:00
|
|
|
const std::vector<Constant*>& V);
|
|
|
|
Constant* getConstantVector(const std::vector<Constant*>& V);
|
|
|
|
Constant* getConstantVector(Constant* const* Vals, unsigned NumVals);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
2009-07-02 17:12:48 +00:00
|
|
|
// MDNode accessors
|
|
|
|
MDNode* getMDNode(Value* const* Vals, unsigned NumVals);
|
|
|
|
|
2009-07-02 17:19:47 +00:00
|
|
|
// MDString accessors
|
|
|
|
MDString* getMDString(const char *StrBegin, const char *StrEnd);
|
|
|
|
MDString* getMDString(const std::string &Str);
|
|
|
|
|
2009-06-30 17:50:28 +00:00
|
|
|
// FunctionType accessors
|
2009-07-05 22:41:43 +00:00
|
|
|
FunctionType* getFunctionType(const Type* Result, bool isVarArg);
|
2009-06-30 17:50:28 +00:00
|
|
|
FunctionType* getFunctionType(const Type* Result,
|
|
|
|
const std::vector<const Type*>& Params,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool isVarArg);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// IntegerType accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
const IntegerType* getIntegerType(unsigned NumBits);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// OpaqueType accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
OpaqueType* getOpaqueType();
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// StructType accessors
|
2009-07-01 23:56:45 +00:00
|
|
|
StructType* getStructType(bool isPacked=false);
|
2009-06-30 17:50:28 +00:00
|
|
|
StructType* getStructType(const std::vector<const Type*>& Params,
|
2009-07-01 22:33:26 +00:00
|
|
|
bool isPacked = false);
|
2009-07-13 04:09:18 +00:00
|
|
|
StructType* getStructType(const Type* type, ...);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// ArrayType accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
ArrayType* getArrayType(const Type* ElementType, uint64_t NumElements);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// PointerType accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
PointerType* getPointerType(const Type* ElementType, unsigned AddressSpace);
|
2009-07-01 23:56:45 +00:00
|
|
|
PointerType* getPointerTypeUnqual(const Type* ElementType);
|
2009-06-30 17:50:28 +00:00
|
|
|
|
|
|
|
// VectorType accessors
|
2009-07-01 22:33:26 +00:00
|
|
|
VectorType* getVectorType(const Type* ElementType, unsigned NumElements);
|
|
|
|
VectorType* getVectorTypeInteger(const VectorType* VTy);
|
|
|
|
VectorType* getVectorTypeExtendedElement(const VectorType* VTy);
|
|
|
|
VectorType* getVectorTypeTruncatedElement(const VectorType* VTy);
|
2009-07-09 23:48:35 +00:00
|
|
|
|
|
|
|
// Other helpers
|
|
|
|
/// @brief Create a result type for fcmp/icmp
|
|
|
|
const Type* makeCmpResultType(const Type* opnd_type);
|
2009-07-16 22:11:26 +00:00
|
|
|
|
|
|
|
// Methods for erasing constants
|
|
|
|
void erase(MDString *M);
|
2009-07-16 23:44:30 +00:00
|
|
|
void erase(MDNode *M);
|
2009-07-21 20:13:12 +00:00
|
|
|
void erase(ConstantAggregateZero *Z);
|
2009-07-21 20:55:28 +00:00
|
|
|
void erase(ConstantArray *Z);
|
|
|
|
|
|
|
|
// RAUW helpers
|
|
|
|
Constant *replaceUsesOfWithOnConstant(ConstantArray *CA,
|
|
|
|
Value *From, Value *To, Use *U);
|
2009-06-30 00:48:55 +00:00
|
|
|
};
|
|
|
|
|
2009-06-30 23:39:59 +00:00
|
|
|
/// FOR BACKWARDS COMPATIBILITY - Returns a global context.
|
2009-07-01 23:13:44 +00:00
|
|
|
extern LLVMContext& getGlobalContext();
|
2009-06-30 23:39:59 +00:00
|
|
|
|
2009-06-30 00:48:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|