LLVM  9.0.0svn
ValueTypes.cpp
Go to the documentation of this file.
1 //===----------- ValueTypes.cpp - Implementation of EVT methods -----------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
10 #include "llvm/ADT/StringExtras.h"
11 #include "llvm/IR/DerivedTypes.h"
12 #include "llvm/IR/Type.h"
14 using namespace llvm;
15 
16 EVT EVT::changeExtendedTypeToInteger() const {
17  LLVMContext &Context = LLVMTy->getContext();
18  return getIntegerVT(Context, getSizeInBits());
19 }
20 
21 EVT EVT::changeExtendedVectorElementTypeToInteger() const {
22  LLVMContext &Context = LLVMTy->getContext();
23  EVT IntTy = getIntegerVT(Context, getScalarSizeInBits());
24  return getVectorVT(Context, IntTy, getVectorNumElements());
25 }
26 
27 EVT EVT::getExtendedIntegerVT(LLVMContext &Context, unsigned BitWidth) {
28  EVT VT;
29  VT.LLVMTy = IntegerType::get(Context, BitWidth);
30  assert(VT.isExtended() && "Type is not extended!");
31  return VT;
32 }
33 
34 EVT EVT::getExtendedVectorVT(LLVMContext &Context, EVT VT,
35  unsigned NumElements) {
36  EVT ResultVT;
37  ResultVT.LLVMTy = VectorType::get(VT.getTypeForEVT(Context), NumElements);
38  assert(ResultVT.isExtended() && "Type is not extended!");
39  return ResultVT;
40 }
41 
42 bool EVT::isExtendedFloatingPoint() const {
43  assert(isExtended() && "Type is not extended!");
44  return LLVMTy->isFPOrFPVectorTy();
45 }
46 
47 bool EVT::isExtendedInteger() const {
48  assert(isExtended() && "Type is not extended!");
49  return LLVMTy->isIntOrIntVectorTy();
50 }
51 
52 bool EVT::isExtendedScalarInteger() const {
53  assert(isExtended() && "Type is not extended!");
54  return LLVMTy->isIntegerTy();
55 }
56 
57 bool EVT::isExtendedVector() const {
58  assert(isExtended() && "Type is not extended!");
59  return LLVMTy->isVectorTy();
60 }
61 
62 bool EVT::isExtended16BitVector() const {
63  return isExtendedVector() && getExtendedSizeInBits() == 16;
64 }
65 
66 bool EVT::isExtended32BitVector() const {
67  return isExtendedVector() && getExtendedSizeInBits() == 32;
68 }
69 
70 bool EVT::isExtended64BitVector() const {
71  return isExtendedVector() && getExtendedSizeInBits() == 64;
72 }
73 
74 bool EVT::isExtended128BitVector() const {
75  return isExtendedVector() && getExtendedSizeInBits() == 128;
76 }
77 
78 bool EVT::isExtended256BitVector() const {
79  return isExtendedVector() && getExtendedSizeInBits() == 256;
80 }
81 
82 bool EVT::isExtended512BitVector() const {
83  return isExtendedVector() && getExtendedSizeInBits() == 512;
84 }
85 
86 bool EVT::isExtended1024BitVector() const {
87  return isExtendedVector() && getExtendedSizeInBits() == 1024;
88 }
89 
90 bool EVT::isExtended2048BitVector() const {
91  return isExtendedVector() && getExtendedSizeInBits() == 2048;
92 }
93 
94 EVT EVT::getExtendedVectorElementType() const {
95  assert(isExtended() && "Type is not extended!");
96  return EVT::getEVT(cast<VectorType>(LLVMTy)->getElementType());
97 }
98 
99 unsigned EVT::getExtendedVectorNumElements() const {
100  assert(isExtended() && "Type is not extended!");
101  return cast<VectorType>(LLVMTy)->getNumElements();
102 }
103 
104 unsigned EVT::getExtendedSizeInBits() const {
105  assert(isExtended() && "Type is not extended!");
106  if (IntegerType *ITy = dyn_cast<IntegerType>(LLVMTy))
107  return ITy->getBitWidth();
108  if (VectorType *VTy = dyn_cast<VectorType>(LLVMTy))
109  return VTy->getBitWidth();
110  llvm_unreachable("Unrecognized extended type!");
111 }
112 
113 /// getEVTString - This function returns value type as a string, e.g. "i32".
114 std::string EVT::getEVTString() const {
115  switch (V.SimpleTy) {
116  default:
117  if (isVector())
118  return "v" + utostr(getVectorNumElements()) +
120  if (isInteger())
121  return "i" + utostr(getSizeInBits());
122  llvm_unreachable("Invalid EVT!");
123  case MVT::i1: return "i1";
124  case MVT::i8: return "i8";
125  case MVT::i16: return "i16";
126  case MVT::i32: return "i32";
127  case MVT::i64: return "i64";
128  case MVT::i128: return "i128";
129  case MVT::f16: return "f16";
130  case MVT::f32: return "f32";
131  case MVT::f64: return "f64";
132  case MVT::f80: return "f80";
133  case MVT::f128: return "f128";
134  case MVT::ppcf128: return "ppcf128";
135  case MVT::isVoid: return "isVoid";
136  case MVT::Other: return "ch";
137  case MVT::Glue: return "glue";
138  case MVT::x86mmx: return "x86mmx";
139  case MVT::v1i1: return "v1i1";
140  case MVT::v2i1: return "v2i1";
141  case MVT::v4i1: return "v4i1";
142  case MVT::v8i1: return "v8i1";
143  case MVT::v16i1: return "v16i1";
144  case MVT::v32i1: return "v32i1";
145  case MVT::v64i1: return "v64i1";
146  case MVT::v128i1: return "v128i1";
147  case MVT::v512i1: return "v512i1";
148  case MVT::v1024i1: return "v1024i1";
149  case MVT::v1i8: return "v1i8";
150  case MVT::v2i8: return "v2i8";
151  case MVT::v4i8: return "v4i8";
152  case MVT::v8i8: return "v8i8";
153  case MVT::v16i8: return "v16i8";
154  case MVT::v32i8: return "v32i8";
155  case MVT::v64i8: return "v64i8";
156  case MVT::v128i8: return "v128i8";
157  case MVT::v256i8: return "v256i8";
158  case MVT::v1i16: return "v1i16";
159  case MVT::v2i16: return "v2i16";
160  case MVT::v4i16: return "v4i16";
161  case MVT::v8i16: return "v8i16";
162  case MVT::v16i16: return "v16i16";
163  case MVT::v32i16: return "v32i16";
164  case MVT::v64i16: return "v64i16";
165  case MVT::v128i16: return "v128i16";
166  case MVT::v1i32: return "v1i32";
167  case MVT::v2i32: return "v2i32";
168  case MVT::v4i32: return "v4i32";
169  case MVT::v8i32: return "v8i32";
170  case MVT::v16i32: return "v16i32";
171  case MVT::v32i32: return "v32i32";
172  case MVT::v64i32: return "v64i32";
173  case MVT::v1i64: return "v1i64";
174  case MVT::v2i64: return "v2i64";
175  case MVT::v4i64: return "v4i64";
176  case MVT::v8i64: return "v8i64";
177  case MVT::v16i64: return "v16i64";
178  case MVT::v32i64: return "v32i64";
179  case MVT::v1i128: return "v1i128";
180  case MVT::v1f32: return "v1f32";
181  case MVT::v2f32: return "v2f32";
182  case MVT::v2f16: return "v2f16";
183  case MVT::v4f16: return "v4f16";
184  case MVT::v8f16: return "v8f16";
185  case MVT::v4f32: return "v4f32";
186  case MVT::v8f32: return "v8f32";
187  case MVT::v16f32: return "v16f32";
188  case MVT::v1f64: return "v1f64";
189  case MVT::v2f64: return "v2f64";
190  case MVT::v4f64: return "v4f64";
191  case MVT::v8f64: return "v8f64";
192  case MVT::Metadata:return "Metadata";
193  case MVT::Untyped: return "Untyped";
194  case MVT::ExceptRef: return "ExceptRef";
195  }
196 }
197 
198 /// getTypeForEVT - This method returns an LLVM type corresponding to the
199 /// specified EVT. For integer types, this returns an unsigned type. Note
200 /// that this will abort for types that cannot be represented.
202  switch (V.SimpleTy) {
203  default:
204  assert(isExtended() && "Type is not extended!");
205  return LLVMTy;
206  case MVT::isVoid: return Type::getVoidTy(Context);
207  case MVT::i1: return Type::getInt1Ty(Context);
208  case MVT::i8: return Type::getInt8Ty(Context);
209  case MVT::i16: return Type::getInt16Ty(Context);
210  case MVT::i32: return Type::getInt32Ty(Context);
211  case MVT::i64: return Type::getInt64Ty(Context);
212  case MVT::i128: return IntegerType::get(Context, 128);
213  case MVT::f16: return Type::getHalfTy(Context);
214  case MVT::f32: return Type::getFloatTy(Context);
215  case MVT::f64: return Type::getDoubleTy(Context);
216  case MVT::f80: return Type::getX86_FP80Ty(Context);
217  case MVT::f128: return Type::getFP128Ty(Context);
218  case MVT::ppcf128: return Type::getPPC_FP128Ty(Context);
219  case MVT::x86mmx: return Type::getX86_MMXTy(Context);
220  case MVT::v1i1: return VectorType::get(Type::getInt1Ty(Context), 1);
221  case MVT::v2i1: return VectorType::get(Type::getInt1Ty(Context), 2);
222  case MVT::v4i1: return VectorType::get(Type::getInt1Ty(Context), 4);
223  case MVT::v8i1: return VectorType::get(Type::getInt1Ty(Context), 8);
224  case MVT::v16i1: return VectorType::get(Type::getInt1Ty(Context), 16);
225  case MVT::v32i1: return VectorType::get(Type::getInt1Ty(Context), 32);
226  case MVT::v64i1: return VectorType::get(Type::getInt1Ty(Context), 64);
227  case MVT::v128i1: return VectorType::get(Type::getInt1Ty(Context), 128);
228  case MVT::v512i1: return VectorType::get(Type::getInt1Ty(Context), 512);
229  case MVT::v1024i1: return VectorType::get(Type::getInt1Ty(Context), 1024);
230  case MVT::v1i8: return VectorType::get(Type::getInt8Ty(Context), 1);
231  case MVT::v2i8: return VectorType::get(Type::getInt8Ty(Context), 2);
232  case MVT::v4i8: return VectorType::get(Type::getInt8Ty(Context), 4);
233  case MVT::v8i8: return VectorType::get(Type::getInt8Ty(Context), 8);
234  case MVT::v16i8: return VectorType::get(Type::getInt8Ty(Context), 16);
235  case MVT::v32i8: return VectorType::get(Type::getInt8Ty(Context), 32);
236  case MVT::v64i8: return VectorType::get(Type::getInt8Ty(Context), 64);
237  case MVT::v128i8: return VectorType::get(Type::getInt8Ty(Context), 128);
238  case MVT::v256i8: return VectorType::get(Type::getInt8Ty(Context), 256);
239  case MVT::v1i16: return VectorType::get(Type::getInt16Ty(Context), 1);
240  case MVT::v2i16: return VectorType::get(Type::getInt16Ty(Context), 2);
241  case MVT::v4i16: return VectorType::get(Type::getInt16Ty(Context), 4);
242  case MVT::v8i16: return VectorType::get(Type::getInt16Ty(Context), 8);
243  case MVT::v16i16: return VectorType::get(Type::getInt16Ty(Context), 16);
244  case MVT::v32i16: return VectorType::get(Type::getInt16Ty(Context), 32);
245  case MVT::v64i16: return VectorType::get(Type::getInt16Ty(Context), 64);
246  case MVT::v128i16: return VectorType::get(Type::getInt16Ty(Context), 128);
247  case MVT::v1i32: return VectorType::get(Type::getInt32Ty(Context), 1);
248  case MVT::v2i32: return VectorType::get(Type::getInt32Ty(Context), 2);
249  case MVT::v4i32: return VectorType::get(Type::getInt32Ty(Context), 4);
250  case MVT::v8i32: return VectorType::get(Type::getInt32Ty(Context), 8);
251  case MVT::v16i32: return VectorType::get(Type::getInt32Ty(Context), 16);
252  case MVT::v32i32: return VectorType::get(Type::getInt32Ty(Context), 32);
253  case MVT::v64i32: return VectorType::get(Type::getInt32Ty(Context), 64);
254  case MVT::v1i64: return VectorType::get(Type::getInt64Ty(Context), 1);
255  case MVT::v2i64: return VectorType::get(Type::getInt64Ty(Context), 2);
256  case MVT::v4i64: return VectorType::get(Type::getInt64Ty(Context), 4);
257  case MVT::v8i64: return VectorType::get(Type::getInt64Ty(Context), 8);
258  case MVT::v16i64: return VectorType::get(Type::getInt64Ty(Context), 16);
259  case MVT::v32i64: return VectorType::get(Type::getInt64Ty(Context), 32);
260  case MVT::v1i128: return VectorType::get(Type::getInt128Ty(Context), 1);
261  case MVT::v2f16: return VectorType::get(Type::getHalfTy(Context), 2);
262  case MVT::v4f16: return VectorType::get(Type::getHalfTy(Context), 4);
263  case MVT::v8f16: return VectorType::get(Type::getHalfTy(Context), 8);
264  case MVT::v1f32: return VectorType::get(Type::getFloatTy(Context), 1);
265  case MVT::v2f32: return VectorType::get(Type::getFloatTy(Context), 2);
266  case MVT::v4f32: return VectorType::get(Type::getFloatTy(Context), 4);
267  case MVT::v8f32: return VectorType::get(Type::getFloatTy(Context), 8);
268  case MVT::v16f32: return VectorType::get(Type::getFloatTy(Context), 16);
269  case MVT::v1f64: return VectorType::get(Type::getDoubleTy(Context), 1);
270  case MVT::v2f64: return VectorType::get(Type::getDoubleTy(Context), 2);
271  case MVT::v4f64: return VectorType::get(Type::getDoubleTy(Context), 4);
272  case MVT::v8f64: return VectorType::get(Type::getDoubleTy(Context), 8);
273  case MVT::Metadata: return Type::getMetadataTy(Context);
274  }
275 }
276 
277 /// Return the value type corresponding to the specified type. This returns all
278 /// pointers as MVT::iPTR. If HandleUnknown is true, unknown types are returned
279 /// as Other, otherwise they are invalid.
280 MVT MVT::getVT(Type *Ty, bool HandleUnknown){
281  switch (Ty->getTypeID()) {
282  default:
283  if (HandleUnknown) return MVT(MVT::Other);
284  llvm_unreachable("Unknown type!");
285  case Type::VoidTyID:
286  return MVT::isVoid;
287  case Type::IntegerTyID:
288  return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth());
289  case Type::HalfTyID: return MVT(MVT::f16);
290  case Type::FloatTyID: return MVT(MVT::f32);
291  case Type::DoubleTyID: return MVT(MVT::f64);
292  case Type::X86_FP80TyID: return MVT(MVT::f80);
293  case Type::X86_MMXTyID: return MVT(MVT::x86mmx);
294  case Type::FP128TyID: return MVT(MVT::f128);
295  case Type::PPC_FP128TyID: return MVT(MVT::ppcf128);
296  case Type::PointerTyID: return MVT(MVT::iPTR);
297  case Type::VectorTyID: {
298  VectorType *VTy = cast<VectorType>(Ty);
299  return getVectorVT(
300  getVT(VTy->getElementType(), false), VTy->getNumElements());
301  }
302  }
303 }
304 
305 /// getEVT - Return the value type corresponding to the specified type. This
306 /// returns all pointers as MVT::iPTR. If HandleUnknown is true, unknown types
307 /// are returned as Other, otherwise they are invalid.
308 EVT EVT::getEVT(Type *Ty, bool HandleUnknown){
309  switch (Ty->getTypeID()) {
310  default:
311  return MVT::getVT(Ty, HandleUnknown);
312  case Type::IntegerTyID:
313  return getIntegerVT(Ty->getContext(), cast<IntegerType>(Ty)->getBitWidth());
314  case Type::VectorTyID: {
315  VectorType *VTy = cast<VectorType>(Ty);
316  return getVectorVT(Ty->getContext(), getEVT(VTy->getElementType(), false),
317  VTy->getNumElements());
318  }
319  }
320 }
static unsigned getBitWidth(Type *Ty, const DataLayout &DL)
Returns the bitwidth of the given scalar or pointer type.
static Type * getDoubleTy(LLVMContext &C)
Definition: Type.cpp:164
static IntegerType * getInt1Ty(LLVMContext &C)
Definition: Type.cpp:172
LLVMContext & Context
This class represents lattice values for constants.
Definition: AllocatorList.h:23
2: 32-bit floating point type
Definition: Type.h:58
bool isInteger() const
Return true if this is an integer or a vector integer type.
Definition: ValueTypes.h:140
4: 80-bit floating point type (X87)
Definition: Type.h:60
1: 16-bit floating point type
Definition: Type.h:57
static IntegerType * getInt64Ty(LLVMContext &C)
Definition: Type.cpp:176
static Type * getMetadataTy(LLVMContext &C)
Definition: Type.cpp:165
bool isVectorTy() const
True if this is an instance of VectorType.
Definition: Type.h:229
15: Pointers
Definition: Type.h:74
static IntegerType * getInt16Ty(LLVMContext &C)
Definition: Type.cpp:174
static Type * getX86_MMXTy(LLVMContext &C)
Definition: Type.cpp:170
static Type * getX86_FP80Ty(LLVMContext &C)
Definition: Type.cpp:167
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition: Type.h:129
static Type * getFloatTy(LLVMContext &C)
Definition: Type.cpp:163
TypeID getTypeID() const
Return the type id for the type.
Definition: Type.h:137
Type * getTypeForEVT(LLVMContext &Context) const
This method returns an LLVM type corresponding to the specified EVT.
Definition: ValueTypes.cpp:201
bool isIntegerTy() const
True if this is an instance of IntegerType.
Definition: Type.h:196
SimpleValueType SimpleTy
uint64_t getNumElements() const
Definition: DerivedTypes.h:390
static Type * getPPC_FP128Ty(LLVMContext &C)
Definition: Type.cpp:169
unsigned getScalarSizeInBits() const
Definition: ValueTypes.h:297
unsigned getSizeInBits() const
Return the size of the specified value type in bits.
Definition: ValueTypes.h:291
bool isIntOrIntVectorTy() const
Return true if this is an integer type or a vector of integer types.
Definition: Type.h:202
11: Arbitrary bit width integers
Definition: Type.h:70
0: type with no size
Definition: Type.h:56
static IntegerType * getInt128Ty(LLVMContext &C)
Definition: Type.cpp:177
Machine Value Type.
The instances of the Type class are immutable: once they are created, they are never changed...
Definition: Type.h:45
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:68
unsigned getVectorNumElements() const
Given a vector type, return the number of elements it contains.
Definition: ValueTypes.h:272
static Type * getVoidTy(LLVMContext &C)
Definition: Type.cpp:160
6: 128-bit floating point type (two 64-bits, PowerPC)
Definition: Type.h:62
std::string getEVTString() const
This function returns value type as a string, e.g. "i32".
Definition: ValueTypes.cpp:114
Class to represent integer types.
Definition: DerivedTypes.h:39
static MVT getVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
Definition: ValueTypes.cpp:280
Extended Value Type.
Definition: ValueTypes.h:33
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
static Type * getFP128Ty(LLVMContext &C)
Definition: Type.cpp:168
static Type * getHalfTy(LLVMContext &C)
Definition: Type.cpp:162
static IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition: Type.cpp:239
16: SIMD &#39;packed&#39; format, or other vector type
Definition: Type.h:75
EVT getVectorElementType() const
Given a vector type, return the type of each element.
Definition: ValueTypes.h:264
std::string utostr(uint64_t X, bool isNeg=false)
Definition: StringExtras.h:223
Class to represent vector types.
Definition: DerivedTypes.h:424
static EVT getVectorVT(LLVMContext &Context, EVT VT, unsigned NumElements, bool IsScalable=false)
Returns the EVT that represents a vector NumElements in length, where each element is of type VT...
Definition: ValueTypes.h:72
bool isVector() const
Return true if this is a vector value type.
Definition: ValueTypes.h:150
static IntegerType * getInt32Ty(LLVMContext &C)
Definition: Type.cpp:175
static EVT getEVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
Definition: ValueTypes.cpp:308
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Definition: Type.h:184
3: 64-bit floating point type
Definition: Type.h:59
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static VectorType * get(Type *ElementType, unsigned NumElements)
This static method is the primary way to construct an VectorType.
Definition: Type.cpp:605
Type * getElementType() const
Definition: DerivedTypes.h:391
9: MMX vectors (64 bits, X86 specific)
Definition: Type.h:65
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
Definition: ValueTypes.h:63
static IntegerType * getInt8Ty(LLVMContext &C)
Definition: Type.cpp:173
bool isExtended() const
Test if the given EVT is extended (as opposed to being simple).
Definition: ValueTypes.h:130
5: 128-bit floating point type (112-bit mantissa)
Definition: Type.h:61