1 //===- CodeGen/MachineValueType.h - Machine-Level types ---------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the set of machine-level target independent types which
11 // legal values in the code generator use.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_CODEGEN_MACHINEVALUETYPE_H
16 #define LLVM_CODEGEN_MACHINEVALUETYPE_H
18 #include "llvm/Support/ErrorHandling.h"
24 /// MVT - Machine Value Type. Every type that is supported natively by some
25 /// processor targeted by LLVM occurs here. This means that any legal value
26 /// type can be represented by an MVT.
29 enum SimpleValueType {
30 // INVALID_SIMPLE_VALUE_TYPE - Simple value types less than zero are
31 // considered extended value types.
32 INVALID_SIMPLE_VALUE_TYPE = -1,
34 // If you change this numbering, you must change the values in
35 // ValueTypes.td as well!
36 Other = 0, // This is a non-standard value
37 i1 = 1, // This is a 1 bit integer value
38 i8 = 2, // This is an 8 bit integer value
39 i16 = 3, // This is a 16 bit integer value
40 i32 = 4, // This is a 32 bit integer value
41 i64 = 5, // This is a 64 bit integer value
42 i128 = 6, // This is a 128 bit integer value
44 FIRST_INTEGER_VALUETYPE = i1,
45 LAST_INTEGER_VALUETYPE = i128,
47 f16 = 7, // This is a 16 bit floating point value
48 f32 = 8, // This is a 32 bit floating point value
49 f64 = 9, // This is a 64 bit floating point value
50 f80 = 10, // This is a 80 bit floating point value
51 f128 = 11, // This is a 128 bit floating point value
52 ppcf128 = 12, // This is a PPC 128-bit floating point value
54 FIRST_FP_VALUETYPE = f16,
55 LAST_FP_VALUETYPE = ppcf128,
60 v16i1 = 16, // 16 x i1
61 v32i1 = 17, // 32 x i1
62 v64i1 = 18, // 64 x i1
68 v16i8 = 23, // 16 x i8
69 v32i8 = 24, // 32 x i8
70 v64i8 = 25, // 64 x i8
71 v1i16 = 26, // 1 x i16
72 v2i16 = 27, // 2 x i16
73 v4i16 = 28, // 4 x i16
74 v8i16 = 29, // 8 x i16
75 v16i16 = 30, // 16 x i16
76 v32i16 = 31, // 32 x i16
77 v1i32 = 32, // 1 x i32
78 v2i32 = 33, // 2 x i32
79 v4i32 = 34, // 4 x i32
80 v8i32 = 35, // 8 x i32
81 v16i32 = 36, // 16 x i32
82 v1i64 = 37, // 1 x i64
83 v2i64 = 38, // 2 x i64
84 v4i64 = 39, // 4 x i64
85 v8i64 = 40, // 8 x i64
86 v16i64 = 41, // 16 x i64
88 FIRST_INTEGER_VECTOR_VALUETYPE = v2i1,
89 LAST_INTEGER_VECTOR_VALUETYPE = v16i64,
91 v2f16 = 42, // 2 x f16
92 v4f16 = 43, // 4 x f16
93 v8f16 = 44, // 8 x f16
94 v1f32 = 45, // 1 x f32
95 v2f32 = 46, // 2 x f32
96 v4f32 = 47, // 4 x f32
97 v8f32 = 48, // 8 x f32
98 v16f32 = 49, // 16 x f32
99 v1f64 = 50, // 1 x f64
100 v2f64 = 51, // 2 x f64
101 v4f64 = 52, // 4 x f64
102 v8f64 = 53, // 8 x f64
104 FIRST_FP_VECTOR_VALUETYPE = v2f16,
105 LAST_FP_VECTOR_VALUETYPE = v8f64,
107 FIRST_VECTOR_VALUETYPE = v2i1,
108 LAST_VECTOR_VALUETYPE = v8f64,
110 x86mmx = 54, // This is an X86 MMX value
112 Glue = 55, // This glues nodes together during pre-RA sched
114 isVoid = 56, // This has no value
116 Untyped = 57, // This value takes a register, but has
117 // unspecified type. The register class
118 // will be determined by the opcode.
120 LAST_VALUETYPE = 58, // This always remains at the end of the list.
122 // This is the current maximum for LAST_VALUETYPE.
123 // MVT::MAX_ALLOWED_VALUETYPE is used for asserts and to size bit vectors
124 // This value must be a multiple of 32.
125 MAX_ALLOWED_VALUETYPE = 64,
127 // Metadata - This is MDNode or MDString.
130 // iPTRAny - An int value the size of the pointer of the current
131 // target to any address space. This must only be used internal to
132 // tblgen. Other than for overloading, we treat iPTRAny the same as iPTR.
135 // vAny - A vector with any length and element size. This is used
136 // for intrinsics that have overloadings based on vector types.
137 // This is only for tblgen's consumption!
140 // fAny - Any floating-point or vector floating-point value. This is used
141 // for intrinsics that have overloadings based on floating-point types.
142 // This is only for tblgen's consumption!
145 // iAny - An integer or vector integer value of any bit width. This is
146 // used for intrinsics that have overloadings based on integer bit widths.
147 // This is only for tblgen's consumption!
150 // iPTR - An int value the size of the pointer of the current
151 // target. This should only be used internal to tblgen!
155 SimpleValueType SimpleTy;
157 MVT() : SimpleTy((SimpleValueType)(INVALID_SIMPLE_VALUE_TYPE)) {}
158 MVT(SimpleValueType SVT) : SimpleTy(SVT) { }
160 bool operator>(const MVT& S) const { return SimpleTy > S.SimpleTy; }
161 bool operator<(const MVT& S) const { return SimpleTy < S.SimpleTy; }
162 bool operator==(const MVT& S) const { return SimpleTy == S.SimpleTy; }
163 bool operator!=(const MVT& S) const { return SimpleTy != S.SimpleTy; }
164 bool operator>=(const MVT& S) const { return SimpleTy >= S.SimpleTy; }
165 bool operator<=(const MVT& S) const { return SimpleTy <= S.SimpleTy; }
167 /// isFloatingPoint - Return true if this is a FP, or a vector FP type.
168 bool isFloatingPoint() const {
169 return ((SimpleTy >= MVT::FIRST_FP_VALUETYPE &&
170 SimpleTy <= MVT::LAST_FP_VALUETYPE) ||
171 (SimpleTy >= MVT::FIRST_FP_VECTOR_VALUETYPE &&
172 SimpleTy <= MVT::LAST_FP_VECTOR_VALUETYPE));
175 /// isInteger - Return true if this is an integer, or a vector integer type.
176 bool isInteger() const {
177 return ((SimpleTy >= MVT::FIRST_INTEGER_VALUETYPE &&
178 SimpleTy <= MVT::LAST_INTEGER_VALUETYPE) ||
179 (SimpleTy >= MVT::FIRST_INTEGER_VECTOR_VALUETYPE &&
180 SimpleTy <= MVT::LAST_INTEGER_VECTOR_VALUETYPE));
183 /// isVector - Return true if this is a vector value type.
184 bool isVector() const {
185 return (SimpleTy >= MVT::FIRST_VECTOR_VALUETYPE &&
186 SimpleTy <= MVT::LAST_VECTOR_VALUETYPE);
189 /// is16BitVector - Return true if this is a 16-bit vector type.
190 bool is16BitVector() const {
191 return (SimpleTy == MVT::v2i8 || SimpleTy == MVT::v1i16 ||
192 SimpleTy == MVT::v16i1);
195 /// is32BitVector - Return true if this is a 32-bit vector type.
196 bool is32BitVector() const {
197 return (SimpleTy == MVT::v4i8 || SimpleTy == MVT::v2i16 ||
198 SimpleTy == MVT::v1i32);
201 /// is64BitVector - Return true if this is a 64-bit vector type.
202 bool is64BitVector() const {
203 return (SimpleTy == MVT::v8i8 || SimpleTy == MVT::v4i16 ||
204 SimpleTy == MVT::v2i32 || SimpleTy == MVT::v1i64 ||
205 SimpleTy == MVT::v1f64 || SimpleTy == MVT::v2f32);
208 /// is128BitVector - Return true if this is a 128-bit vector type.
209 bool is128BitVector() const {
210 return (SimpleTy == MVT::v16i8 || SimpleTy == MVT::v8i16 ||
211 SimpleTy == MVT::v4i32 || SimpleTy == MVT::v2i64 ||
212 SimpleTy == MVT::v4f32 || SimpleTy == MVT::v2f64);
215 /// is256BitVector - Return true if this is a 256-bit vector type.
216 bool is256BitVector() const {
217 return (SimpleTy == MVT::v8f32 || SimpleTy == MVT::v4f64 ||
218 SimpleTy == MVT::v32i8 || SimpleTy == MVT::v16i16 ||
219 SimpleTy == MVT::v8i32 || SimpleTy == MVT::v4i64);
222 /// is512BitVector - Return true if this is a 512-bit vector type.
223 bool is512BitVector() const {
224 return (SimpleTy == MVT::v8f64 || SimpleTy == MVT::v16f32 ||
225 SimpleTy == MVT::v64i8 || SimpleTy == MVT::v32i16 ||
226 SimpleTy == MVT::v8i64 || SimpleTy == MVT::v16i32);
229 /// is1024BitVector - Return true if this is a 1024-bit vector type.
230 bool is1024BitVector() const {
231 return (SimpleTy == MVT::v16i64);
234 /// isOverloaded - Return true if this is an overloaded type for TableGen.
235 bool isOverloaded() const {
236 return (SimpleTy==MVT::iAny || SimpleTy==MVT::fAny ||
237 SimpleTy==MVT::vAny || SimpleTy==MVT::iPTRAny);
240 /// isPow2VectorType - Returns true if the given vector is a power of 2.
241 bool isPow2VectorType() const {
242 unsigned NElts = getVectorNumElements();
243 return !(NElts & (NElts - 1));
246 /// getPow2VectorType - Widens the length of the given vector MVT up to
247 /// the nearest power of 2 and returns that type.
248 MVT getPow2VectorType() const {
249 if (isPow2VectorType())
252 unsigned NElts = getVectorNumElements();
253 unsigned Pow2NElts = 1 << Log2_32_Ceil(NElts);
254 return MVT::getVectorVT(getVectorElementType(), Pow2NElts);
257 /// getScalarType - If this is a vector type, return the element type,
258 /// otherwise return this.
259 MVT getScalarType() const {
260 return isVector() ? getVectorElementType() : *this;
263 MVT getVectorElementType() const {
266 llvm_unreachable("Not a vector MVT!");
272 case v64i1: return i1;
279 case v64i8: return i8;
285 case v32i16: return i16;
290 case v16i32: return i32;
295 case v16i64: return i64;
298 case v8f16: return f16;
303 case v16f32: return f32;
307 case v8f64: return f64;
311 unsigned getVectorNumElements() const {
314 llvm_unreachable("Not a vector MVT!");
317 case v32i16: return 32;
319 case v64i8: return 64;
325 case v16f32: return 16;
333 case v8f64: return 8;
341 case v4f64: return 4;
349 case v2f64: return 2;
355 case v1f64: return 1;
359 unsigned getSizeInBits() const {
362 llvm_unreachable("getSizeInBits called on extended MVT.");
364 llvm_unreachable("Value type is non-standard value, Other.");
366 llvm_unreachable("Value type size is target-dependent. Ask TLI.");
371 llvm_unreachable("Value type is overloaded.");
373 llvm_unreachable("Value type is metadata.");
384 case v1i16: return 16;
392 case v1i32: return 32;
403 case v1f64: return 64;
404 case f80 : return 80;
414 case v2f64: return 128;
420 case v4f64: return 256;
426 case v8f64: return 512;
427 case v16i64:return 1024;
431 unsigned getScalarSizeInBits() const {
432 return getScalarType().getSizeInBits();
435 /// getStoreSize - Return the number of bytes overwritten by a store
436 /// of the specified value type.
437 unsigned getStoreSize() const {
438 return (getSizeInBits() + 7) / 8;
441 /// getStoreSizeInBits - Return the number of bits overwritten by a store
442 /// of the specified value type.
443 unsigned getStoreSizeInBits() const {
444 return getStoreSize() * 8;
447 /// Return true if this has more bits than VT.
448 bool bitsGT(MVT VT) const {
449 return getSizeInBits() > VT.getSizeInBits();
452 /// Return true if this has no less bits than VT.
453 bool bitsGE(MVT VT) const {
454 return getSizeInBits() >= VT.getSizeInBits();
457 /// Return true if this has less bits than VT.
458 bool bitsLT(MVT VT) const {
459 return getSizeInBits() < VT.getSizeInBits();
462 /// Return true if this has no more bits than VT.
463 bool bitsLE(MVT VT) const {
464 return getSizeInBits() <= VT.getSizeInBits();
468 static MVT getFloatingPointVT(unsigned BitWidth) {
471 llvm_unreachable("Bad bit width!");
485 static MVT getIntegerVT(unsigned BitWidth) {
488 return (MVT::SimpleValueType)(MVT::INVALID_SIMPLE_VALUE_TYPE);
504 static MVT getVectorVT(MVT VT, unsigned NumElements) {
505 switch (VT.SimpleTy) {
509 if (NumElements == 2) return MVT::v2i1;
510 if (NumElements == 4) return MVT::v4i1;
511 if (NumElements == 8) return MVT::v8i1;
512 if (NumElements == 16) return MVT::v16i1;
513 if (NumElements == 32) return MVT::v32i1;
514 if (NumElements == 64) return MVT::v64i1;
517 if (NumElements == 1) return MVT::v1i8;
518 if (NumElements == 2) return MVT::v2i8;
519 if (NumElements == 4) return MVT::v4i8;
520 if (NumElements == 8) return MVT::v8i8;
521 if (NumElements == 16) return MVT::v16i8;
522 if (NumElements == 32) return MVT::v32i8;
523 if (NumElements == 64) return MVT::v64i8;
526 if (NumElements == 1) return MVT::v1i16;
527 if (NumElements == 2) return MVT::v2i16;
528 if (NumElements == 4) return MVT::v4i16;
529 if (NumElements == 8) return MVT::v8i16;
530 if (NumElements == 16) return MVT::v16i16;
531 if (NumElements == 32) return MVT::v32i16;
534 if (NumElements == 1) return MVT::v1i32;
535 if (NumElements == 2) return MVT::v2i32;
536 if (NumElements == 4) return MVT::v4i32;
537 if (NumElements == 8) return MVT::v8i32;
538 if (NumElements == 16) return MVT::v16i32;
541 if (NumElements == 1) return MVT::v1i64;
542 if (NumElements == 2) return MVT::v2i64;
543 if (NumElements == 4) return MVT::v4i64;
544 if (NumElements == 8) return MVT::v8i64;
545 if (NumElements == 16) return MVT::v16i64;
548 if (NumElements == 2) return MVT::v2f16;
549 if (NumElements == 4) return MVT::v4f16;
550 if (NumElements == 8) return MVT::v8f16;
553 if (NumElements == 1) return MVT::v1f32;
554 if (NumElements == 2) return MVT::v2f32;
555 if (NumElements == 4) return MVT::v4f32;
556 if (NumElements == 8) return MVT::v8f32;
557 if (NumElements == 16) return MVT::v16f32;
560 if (NumElements == 1) return MVT::v1f64;
561 if (NumElements == 2) return MVT::v2f64;
562 if (NumElements == 4) return MVT::v4f64;
563 if (NumElements == 8) return MVT::v8f64;
566 return (MVT::SimpleValueType)(MVT::INVALID_SIMPLE_VALUE_TYPE);
569 /// Return the value type corresponding to the specified type. This returns
570 /// all pointers as iPTR. If HandleUnknown is true, unknown types are
571 /// returned as Other, otherwise they are invalid.
572 static MVT getVT(Type *Ty, bool HandleUnknown = false);
576 } // End llvm namespace