1 //===----------- ValueTypes.cpp - Implementation of EVT methods -----------===//
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
7 //===----------------------------------------------------------------------===//
9 #include "llvm/CodeGen/ValueTypes.h"
10 #include "llvm/ADT/StringExtras.h"
11 #include "llvm/IR/DerivedTypes.h"
12 #include "llvm/IR/Type.h"
13 #include "llvm/Support/ErrorHandling.h"
16 EVT
EVT::changeExtendedTypeToInteger() const {
17 LLVMContext
&Context
= LLVMTy
->getContext();
18 return getIntegerVT(Context
, getSizeInBits());
21 EVT
EVT::changeExtendedVectorElementTypeToInteger() const {
22 LLVMContext
&Context
= LLVMTy
->getContext();
23 EVT IntTy
= getIntegerVT(Context
, getScalarSizeInBits());
24 return getVectorVT(Context
, IntTy
, getVectorNumElements());
27 EVT
EVT::getExtendedIntegerVT(LLVMContext
&Context
, unsigned BitWidth
) {
29 VT
.LLVMTy
= IntegerType::get(Context
, BitWidth
);
30 assert(VT
.isExtended() && "Type is not extended!");
34 EVT
EVT::getExtendedVectorVT(LLVMContext
&Context
, EVT VT
,
35 unsigned NumElements
) {
37 ResultVT
.LLVMTy
= VectorType::get(VT
.getTypeForEVT(Context
), NumElements
);
38 assert(ResultVT
.isExtended() && "Type is not extended!");
42 bool EVT::isExtendedFloatingPoint() const {
43 assert(isExtended() && "Type is not extended!");
44 return LLVMTy
->isFPOrFPVectorTy();
47 bool EVT::isExtendedInteger() const {
48 assert(isExtended() && "Type is not extended!");
49 return LLVMTy
->isIntOrIntVectorTy();
52 bool EVT::isExtendedScalarInteger() const {
53 assert(isExtended() && "Type is not extended!");
54 return LLVMTy
->isIntegerTy();
57 bool EVT::isExtendedVector() const {
58 assert(isExtended() && "Type is not extended!");
59 return LLVMTy
->isVectorTy();
62 bool EVT::isExtended16BitVector() const {
63 return isExtendedVector() && getExtendedSizeInBits() == 16;
66 bool EVT::isExtended32BitVector() const {
67 return isExtendedVector() && getExtendedSizeInBits() == 32;
70 bool EVT::isExtended64BitVector() const {
71 return isExtendedVector() && getExtendedSizeInBits() == 64;
74 bool EVT::isExtended128BitVector() const {
75 return isExtendedVector() && getExtendedSizeInBits() == 128;
78 bool EVT::isExtended256BitVector() const {
79 return isExtendedVector() && getExtendedSizeInBits() == 256;
82 bool EVT::isExtended512BitVector() const {
83 return isExtendedVector() && getExtendedSizeInBits() == 512;
86 bool EVT::isExtended1024BitVector() const {
87 return isExtendedVector() && getExtendedSizeInBits() == 1024;
90 bool EVT::isExtended2048BitVector() const {
91 return isExtendedVector() && getExtendedSizeInBits() == 2048;
94 EVT
EVT::getExtendedVectorElementType() const {
95 assert(isExtended() && "Type is not extended!");
96 return EVT::getEVT(cast
<VectorType
>(LLVMTy
)->getElementType());
99 unsigned EVT::getExtendedVectorNumElements() const {
100 assert(isExtended() && "Type is not extended!");
101 return cast
<VectorType
>(LLVMTy
)->getNumElements();
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!");
113 /// getEVTString - This function returns value type as a string, e.g. "i32".
114 std::string
EVT::getEVTString() const {
115 switch (V
.SimpleTy
) {
118 return "v" + utostr(getVectorNumElements()) +
119 getVectorElementType().getEVTString();
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";
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.
201 Type
*EVT::getTypeForEVT(LLVMContext
&Context
) const {
202 switch (V
.SimpleTy
) {
204 assert(isExtended() && "Type is not extended!");
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
);
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()) {
283 if (HandleUnknown
) return MVT(MVT::Other
);
284 llvm_unreachable("Unknown type!");
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
);
300 getVT(VTy
->getElementType(), false), VTy
->getNumElements());
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()) {
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());