LLVM API Documentation

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
ValueTypes.cpp
Go to the documentation of this file.
1 //===----------- ValueTypes.cpp - Implementation of EVT methods -----------===//
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 //===----------------------------------------------------------------------===//
9 //
10 // This file implements methods in the CodeGen/ValueTypes.h header.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "llvm/CodeGen/ValueTypes.h"
15 #include "llvm/ADT/StringExtras.h"
16 #include "llvm/IR/DerivedTypes.h"
17 #include "llvm/IR/LLVMContext.h"
18 #include "llvm/IR/Type.h"
19 #include "llvm/Support/ErrorHandling.h"
20 using namespace llvm;
21 
22 EVT EVT::changeExtendedVectorElementTypeToInteger() const {
23  LLVMContext &Context = LLVMTy->getContext();
24  EVT IntTy = getIntegerVT(Context, getVectorElementType().getSizeInBits());
25  return getVectorVT(Context, IntTy, getVectorNumElements());
26 }
27 
28 EVT EVT::getExtendedIntegerVT(LLVMContext &Context, unsigned BitWidth) {
29  EVT VT;
30  VT.LLVMTy = IntegerType::get(Context, BitWidth);
31  assert(VT.isExtended() && "Type is not extended!");
32  return VT;
33 }
34 
35 EVT EVT::getExtendedVectorVT(LLVMContext &Context, EVT VT,
36  unsigned NumElements) {
37  EVT ResultVT;
38  ResultVT.LLVMTy = VectorType::get(VT.getTypeForEVT(Context), NumElements);
39  assert(ResultVT.isExtended() && "Type is not extended!");
40  return ResultVT;
41 }
42 
43 bool EVT::isExtendedFloatingPoint() const {
44  assert(isExtended() && "Type is not extended!");
45  return LLVMTy->isFPOrFPVectorTy();
46 }
47 
48 bool EVT::isExtendedInteger() const {
49  assert(isExtended() && "Type is not extended!");
50  return LLVMTy->isIntOrIntVectorTy();
51 }
52 
53 bool EVT::isExtendedVector() const {
54  assert(isExtended() && "Type is not extended!");
55  return LLVMTy->isVectorTy();
56 }
57 
58 bool EVT::isExtended16BitVector() const {
59  return isExtendedVector() && getExtendedSizeInBits() == 16;
60 }
61 
62 bool EVT::isExtended32BitVector() const {
63  return isExtendedVector() && getExtendedSizeInBits() == 32;
64 }
65 
66 bool EVT::isExtended64BitVector() const {
67  return isExtendedVector() && getExtendedSizeInBits() == 64;
68 }
69 
70 bool EVT::isExtended128BitVector() const {
71  return isExtendedVector() && getExtendedSizeInBits() == 128;
72 }
73 
74 bool EVT::isExtended256BitVector() const {
75  return isExtendedVector() && getExtendedSizeInBits() == 256;
76 }
77 
78 bool EVT::isExtended512BitVector() const {
79  return isExtendedVector() && getExtendedSizeInBits() == 512;
80 }
81 
82 bool EVT::isExtended1024BitVector() const {
83  return isExtendedVector() && getExtendedSizeInBits() == 1024;
84 }
85 
86 EVT EVT::getExtendedVectorElementType() const {
87  assert(isExtended() && "Type is not extended!");
88  return EVT::getEVT(cast<VectorType>(LLVMTy)->getElementType());
89 }
90 
91 unsigned EVT::getExtendedVectorNumElements() const {
92  assert(isExtended() && "Type is not extended!");
93  return cast<VectorType>(LLVMTy)->getNumElements();
94 }
95 
96 unsigned EVT::getExtendedSizeInBits() const {
97  assert(isExtended() && "Type is not extended!");
98  if (IntegerType *ITy = dyn_cast<IntegerType>(LLVMTy))
99  return ITy->getBitWidth();
100  if (VectorType *VTy = dyn_cast<VectorType>(LLVMTy))
101  return VTy->getBitWidth();
102  llvm_unreachable("Unrecognized extended type!");
103 }
104 
105 /// getEVTString - This function returns value type as a string, e.g. "i32".
106 std::string EVT::getEVTString() const {
107  switch (V.SimpleTy) {
108  default:
109  if (isVector())
110  return "v" + utostr(getVectorNumElements()) +
111  getVectorElementType().getEVTString();
112  if (isInteger())
113  return "i" + utostr(getSizeInBits());
114  llvm_unreachable("Invalid EVT!");
115  case MVT::i1: return "i1";
116  case MVT::i8: return "i8";
117  case MVT::i16: return "i16";
118  case MVT::i32: return "i32";
119  case MVT::i64: return "i64";
120  case MVT::i128: return "i128";
121  case MVT::f16: return "f16";
122  case MVT::f32: return "f32";
123  case MVT::f64: return "f64";
124  case MVT::f80: return "f80";
125  case MVT::f128: return "f128";
126  case MVT::ppcf128: return "ppcf128";
127  case MVT::isVoid: return "isVoid";
128  case MVT::Other: return "ch";
129  case MVT::Glue: return "glue";
130  case MVT::x86mmx: return "x86mmx";
131  case MVT::v2i1: return "v2i1";
132  case MVT::v4i1: return "v4i1";
133  case MVT::v8i1: return "v8i1";
134  case MVT::v16i1: return "v16i1";
135  case MVT::v32i1: return "v32i1";
136  case MVT::v64i1: return "v64i1";
137  case MVT::v1i8: return "v1i8";
138  case MVT::v2i8: return "v2i8";
139  case MVT::v4i8: return "v4i8";
140  case MVT::v8i8: return "v8i8";
141  case MVT::v16i8: return "v16i8";
142  case MVT::v32i8: return "v32i8";
143  case MVT::v64i8: return "v64i8";
144  case MVT::v1i16: return "v1i16";
145  case MVT::v2i16: return "v2i16";
146  case MVT::v4i16: return "v4i16";
147  case MVT::v8i16: return "v8i16";
148  case MVT::v16i16: return "v16i16";
149  case MVT::v32i16: return "v32i16";
150  case MVT::v1i32: return "v1i32";
151  case MVT::v2i32: return "v2i32";
152  case MVT::v4i32: return "v4i32";
153  case MVT::v8i32: return "v8i32";
154  case MVT::v16i32: return "v16i32";
155  case MVT::v1i64: return "v1i64";
156  case MVT::v2i64: return "v2i64";
157  case MVT::v4i64: return "v4i64";
158  case MVT::v8i64: return "v8i64";
159  case MVT::v16i64: return "v16i64";
160  case MVT::v1f32: return "v1f32";
161  case MVT::v2f32: return "v2f32";
162  case MVT::v2f16: return "v2f16";
163  case MVT::v4f16: return "v4f16";
164  case MVT::v8f16: return "v8f16";
165  case MVT::v4f32: return "v4f32";
166  case MVT::v8f32: return "v8f32";
167  case MVT::v16f32: return "v16f32";
168  case MVT::v1f64: return "v1f64";
169  case MVT::v2f64: return "v2f64";
170  case MVT::v4f64: return "v4f64";
171  case MVT::v8f64: return "v8f64";
172  case MVT::Metadata:return "Metadata";
173  case MVT::Untyped: return "Untyped";
174  }
175 }
176 
177 /// getTypeForEVT - This method returns an LLVM type corresponding to the
178 /// specified EVT. For integer types, this returns an unsigned type. Note
179 /// that this will abort for types that cannot be represented.
180 Type *EVT::getTypeForEVT(LLVMContext &Context) const {
181  switch (V.SimpleTy) {
182  default:
183  assert(isExtended() && "Type is not extended!");
184  return LLVMTy;
185  case MVT::isVoid: return Type::getVoidTy(Context);
186  case MVT::i1: return Type::getInt1Ty(Context);
187  case MVT::i8: return Type::getInt8Ty(Context);
188  case MVT::i16: return Type::getInt16Ty(Context);
189  case MVT::i32: return Type::getInt32Ty(Context);
190  case MVT::i64: return Type::getInt64Ty(Context);
191  case MVT::i128: return IntegerType::get(Context, 128);
192  case MVT::f16: return Type::getHalfTy(Context);
193  case MVT::f32: return Type::getFloatTy(Context);
194  case MVT::f64: return Type::getDoubleTy(Context);
195  case MVT::f80: return Type::getX86_FP80Ty(Context);
196  case MVT::f128: return Type::getFP128Ty(Context);
197  case MVT::ppcf128: return Type::getPPC_FP128Ty(Context);
198  case MVT::x86mmx: return Type::getX86_MMXTy(Context);
199  case MVT::v2i1: return VectorType::get(Type::getInt1Ty(Context), 2);
200  case MVT::v4i1: return VectorType::get(Type::getInt1Ty(Context), 4);
201  case MVT::v8i1: return VectorType::get(Type::getInt1Ty(Context), 8);
202  case MVT::v16i1: return VectorType::get(Type::getInt1Ty(Context), 16);
203  case MVT::v32i1: return VectorType::get(Type::getInt1Ty(Context), 32);
204  case MVT::v64i1: return VectorType::get(Type::getInt1Ty(Context), 64);
205  case MVT::v1i8: return VectorType::get(Type::getInt8Ty(Context), 1);
206  case MVT::v2i8: return VectorType::get(Type::getInt8Ty(Context), 2);
207  case MVT::v4i8: return VectorType::get(Type::getInt8Ty(Context), 4);
208  case MVT::v8i8: return VectorType::get(Type::getInt8Ty(Context), 8);
209  case MVT::v16i8: return VectorType::get(Type::getInt8Ty(Context), 16);
210  case MVT::v32i8: return VectorType::get(Type::getInt8Ty(Context), 32);
211  case MVT::v64i8: return VectorType::get(Type::getInt8Ty(Context), 64);
212  case MVT::v1i16: return VectorType::get(Type::getInt16Ty(Context), 1);
213  case MVT::v2i16: return VectorType::get(Type::getInt16Ty(Context), 2);
214  case MVT::v4i16: return VectorType::get(Type::getInt16Ty(Context), 4);
215  case MVT::v8i16: return VectorType::get(Type::getInt16Ty(Context), 8);
216  case MVT::v16i16: return VectorType::get(Type::getInt16Ty(Context), 16);
217  case MVT::v32i16: return VectorType::get(Type::getInt16Ty(Context), 32);
218  case MVT::v1i32: return VectorType::get(Type::getInt32Ty(Context), 1);
219  case MVT::v2i32: return VectorType::get(Type::getInt32Ty(Context), 2);
220  case MVT::v4i32: return VectorType::get(Type::getInt32Ty(Context), 4);
221  case MVT::v8i32: return VectorType::get(Type::getInt32Ty(Context), 8);
222  case MVT::v16i32: return VectorType::get(Type::getInt32Ty(Context), 16);
223  case MVT::v1i64: return VectorType::get(Type::getInt64Ty(Context), 1);
224  case MVT::v2i64: return VectorType::get(Type::getInt64Ty(Context), 2);
225  case MVT::v4i64: return VectorType::get(Type::getInt64Ty(Context), 4);
226  case MVT::v8i64: return VectorType::get(Type::getInt64Ty(Context), 8);
227  case MVT::v16i64: return VectorType::get(Type::getInt64Ty(Context), 16);
228  case MVT::v2f16: return VectorType::get(Type::getHalfTy(Context), 2);
229  case MVT::v4f16: return VectorType::get(Type::getHalfTy(Context), 4);
230  case MVT::v8f16: return VectorType::get(Type::getHalfTy(Context), 8);
231  case MVT::v1f32: return VectorType::get(Type::getFloatTy(Context), 1);
232  case MVT::v2f32: return VectorType::get(Type::getFloatTy(Context), 2);
233  case MVT::v4f32: return VectorType::get(Type::getFloatTy(Context), 4);
234  case MVT::v8f32: return VectorType::get(Type::getFloatTy(Context), 8);
235  case MVT::v16f32: return VectorType::get(Type::getFloatTy(Context), 16);
236  case MVT::v1f64: return VectorType::get(Type::getDoubleTy(Context), 1);
237  case MVT::v2f64: return VectorType::get(Type::getDoubleTy(Context), 2);
238  case MVT::v4f64: return VectorType::get(Type::getDoubleTy(Context), 4);
239  case MVT::v8f64: return VectorType::get(Type::getDoubleTy(Context), 8);
240  case MVT::Metadata: return Type::getMetadataTy(Context);
241  }
242 }
243 
244 /// Return the value type corresponding to the specified type. This returns all
245 /// pointers as MVT::iPTR. If HandleUnknown is true, unknown types are returned
246 /// as Other, otherwise they are invalid.
247 MVT MVT::getVT(Type *Ty, bool HandleUnknown){
248  switch (Ty->getTypeID()) {
249  default:
250  if (HandleUnknown) return MVT(MVT::Other);
251  llvm_unreachable("Unknown type!");
252  case Type::VoidTyID:
253  return MVT::isVoid;
254  case Type::IntegerTyID:
255  return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth());
256  case Type::HalfTyID: return MVT(MVT::f16);
257  case Type::FloatTyID: return MVT(MVT::f32);
258  case Type::DoubleTyID: return MVT(MVT::f64);
259  case Type::X86_FP80TyID: return MVT(MVT::f80);
260  case Type::X86_MMXTyID: return MVT(MVT::x86mmx);
261  case Type::FP128TyID: return MVT(MVT::f128);
262  case Type::PPC_FP128TyID: return MVT(MVT::ppcf128);
263  case Type::PointerTyID: return MVT(MVT::iPTR);
264  case Type::VectorTyID: {
265  VectorType *VTy = cast<VectorType>(Ty);
266  return getVectorVT(
267  getVT(VTy->getElementType(), false), VTy->getNumElements());
268  }
269  }
270 }
271 
272 /// getEVT - Return the value type corresponding to the specified type. This
273 /// returns all pointers as MVT::iPTR. If HandleUnknown is true, unknown types
274 /// are returned as Other, otherwise they are invalid.
275 EVT EVT::getEVT(Type *Ty, bool HandleUnknown){
276  switch (Ty->getTypeID()) {
277  default:
278  return MVT::getVT(Ty, HandleUnknown);
279  case Type::IntegerTyID:
280  return getIntegerVT(Ty->getContext(), cast<IntegerType>(Ty)->getBitWidth());
281  case Type::VectorTyID: {
282  VectorType *VTy = cast<VectorType>(Ty);
283  return getVectorVT(Ty->getContext(), getEVT(VTy->getElementType(), false),
284  VTy->getNumElements());
285  }
286  }
287 }
llvm::MVT::getIntegerVT
static MVT getIntegerVT(unsigned BitWidth)
Definition: ValueTypes.h:481
llvm::Type::getDoubleTy
static Type * getDoubleTy(LLVMContext &C)
Definition: Type.cpp:231
llvm::Type::getInt1Ty
static IntegerType * getInt1Ty(LLVMContext &C)
Definition: Type.cpp:238
llvm::MVT::getVectorVT
static MVT getVectorVT(MVT VT, unsigned NumElements)
Definition: ValueTypes.h:500
llvm::Type::FloatTyID
2: 32-bit floating point type
Definition: Type.h:57
llvm::EVT::isExtended
bool isExtended() const
Definition: ValueTypes.h:646
llvm::EVT::getTypeForEVT
Type * getTypeForEVT(LLVMContext &Context) const
Definition: ValueTypes.cpp:180
llvm::Type::X86_FP80TyID
4: 80-bit floating point type (X87)
Definition: Type.h:59
llvm::Type::HalfTyID
1: 16-bit floating point type
Definition: Type.h:56
llvm::Type::getInt64Ty
static IntegerType * getInt64Ty(LLVMContext &C)
Definition: Type.cpp:242
llvm::Type::getMetadataTy
static Type * getMetadataTy(LLVMContext &C)
Definition: Type.cpp:232
llvm::Type::PointerTyID
14: Pointers
Definition: Type.h:72
llvm::Type::getInt16Ty
static IntegerType * getInt16Ty(LLVMContext &C)
Definition: Type.cpp:240
llvm::Type::getX86_MMXTy
static Type * getX86_MMXTy(LLVMContext &C)
Definition: Type.cpp:236
llvm::Type::getX86_FP80Ty
static Type * getX86_FP80Ty(LLVMContext &C)
Definition: Type.cpp:233
llvm::EVT::isVector
bool isVector() const
isVector - Return true if this is a vector value type.
Definition: ValueTypes.h:661
getBitWidth
static unsigned getBitWidth(Type *Ty, const DataLayout *TD)
Definition: ValueTracking.cpp:40
llvm::EVT::getEVTString
std::string getEVTString() const
getEVTString - This function returns value type as a string, e.g. "i32".
Definition: ValueTypes.cpp:106
llvm::Type::getFloatTy
static Type * getFloatTy(LLVMContext &C)
Definition: Type.cpp:230
llvm_unreachable
#define llvm_unreachable(msg)
Definition: ErrorHandling.h:103
llvm::MVT::SimpleTy
SimpleValueType SimpleTy
Definition: ValueTypes.h:161
llvm::Type::getPPC_FP128Ty
static Type * getPPC_FP128Ty(LLVMContext &C)
Definition: Type.cpp:235
llvm::EVT::isInteger
bool isInteger() const
isInteger - Return true if this is an integer, or a vector integer type.
Definition: ValueTypes.h:656
llvm::EVT::getVectorElementType
EVT getVectorElementType() const
Definition: ValueTypes.h:762
llvm::Type::getContext
LLVMContext & getContext() const
getContext - Return the LLVMContext in which this type was uniqued.
Definition: Type.h:128
llvm::utostr
static std::string utostr(uint64_t X, bool isNeg=false)
Definition: StringExtras.h:88
llvm::Type::getTypeID
TypeID getTypeID() const
Definition: Type.h:137
llvm::VectorType::getNumElements
unsigned getNumElements() const
Return the number of elements in the Vector type.
Definition: DerivedTypes.h:408
llvm::SequentialType::getElementType
Type * getElementType() const
Definition: DerivedTypes.h:319
llvm::Type::IntegerTyID
10: Arbitrary bit width integers
Definition: Type.h:68
llvm::Type::VoidTyID
0: type with no size
Definition: Type.h:55
llvm::Type::isIntOrIntVectorTy
bool isIntOrIntVectorTy() const
Definition: Type.h:204
llvm::Type::isVectorTy
bool isVectorTy() const
Definition: Type.h:229
llvm::Type::getVoidTy
static Type * getVoidTy(LLVMContext &C)
Definition: Type.cpp:227
llvm::Type::PPC_FP128TyID
6: 128-bit floating point type (two 64-bits, PowerPC)
Definition: Type.h:61
llvm::IntegerType
Integer representation type.
Definition: DerivedTypes.h:37
llvm::MVT::getVT
static MVT getVT(Type *Ty, bool HandleUnknown=false)
Definition: ValueTypes.cpp:247
llvm::Type::isFPOrFPVectorTy
bool isFPOrFPVectorTy() const
Definition: Type.h:186
llvm::EVT::getVectorVT
static EVT getVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements)
Definition: ValueTypes.h:616
llvm::Type::getFP128Ty
static Type * getFP128Ty(LLVMContext &C)
Definition: Type.cpp:234
llvm::Type::getHalfTy
static Type * getHalfTy(LLVMContext &C)
Definition: Type.cpp:229
llvm::IntegerType::get
static IntegerType * get(LLVMContext &C, unsigned NumBits)
Get or create an IntegerType instance.
Definition: Type.cpp:305
llvm::Type::VectorTyID
15: SIMD 'packed' format, or other vector type
Definition: Type.h:73
llvm::Type::getInt32Ty
static IntegerType * getInt32Ty(LLVMContext &C)
Definition: Type.cpp:241
llvm::EVT::getSizeInBits
unsigned getSizeInBits() const
getSizeInBits - Return the size of the specified value type in bits.
Definition: ValueTypes.h:779
llvm::EVT::getEVT
static EVT getEVT(Type *Ty, bool HandleUnknown=false)
Definition: ValueTypes.cpp:275
llvm::Type::DoubleTyID
3: 64-bit floating point type
Definition: Type.h:58
llvm::VectorType::get
static VectorType * get(Type *ElementType, unsigned NumElements)
Definition: Type.cpp:706
llvm::Type::X86_MMXTyID
9: MMX vectors (64 bits, X86 specific)
Definition: Type.h:64
llvm::EVT::getIntegerVT
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Definition: ValueTypes.h:607
llvm::Type::getInt8Ty
static IntegerType * getInt8Ty(LLVMContext &C)
Definition: Type.cpp:239
llvm::Type::FP128TyID
5: 128-bit floating point type (112-bit mantissa)
Definition: Type.h:60
llvm::EVT::getVectorNumElements
unsigned getVectorNumElements() const
Definition: ValueTypes.h:771

Generated on Tue Mar 18 2014 10:39:14 for LLVM by Doxygen1.8.6
Copyright © 2003-2013 University of Illinois at Urbana-Champaign. All Rights Reserved.