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"
20using namespace llvm;
21
22EVT EVT::changeExtendedVectorElementTypeToInteger() const {
23  LLVMContext &Context = LLVMTy->getContext();
24  EVT IntTy = getIntegerVT(Context, getVectorElementType().getSizeInBits());
25  return getVectorVT(Context, IntTy, getVectorNumElements());
26}
27
28EVT 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
35EVT 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
43bool EVT::isExtendedFloatingPoint() const {
44  assert(isExtended() && "Type is not extended!");
45  return LLVMTy->isFPOrFPVectorTy();
46}
47
48bool EVT::isExtendedInteger() const {
49  assert(isExtended() && "Type is not extended!");
50  return LLVMTy->isIntOrIntVectorTy();
51}
52
53bool EVT::isExtendedVector() const {
54  assert(isExtended() && "Type is not extended!");
55  return LLVMTy->isVectorTy();
56}
57
58bool EVT::isExtended16BitVector() const {
59  return isExtendedVector() && getExtendedSizeInBits() == 16;
60}
61
62bool EVT::isExtended32BitVector() const {
63  return isExtendedVector() && getExtendedSizeInBits() == 32;
64}
65
66bool EVT::isExtended64BitVector() const {
67  return isExtendedVector() && getExtendedSizeInBits() == 64;
68}
69
70bool EVT::isExtended128BitVector() const {
71  return isExtendedVector() && getExtendedSizeInBits() == 128;
72}
73
74bool EVT::isExtended256BitVector() const {
75  return isExtendedVector() && getExtendedSizeInBits() == 256;
76}
77
78bool EVT::isExtended512BitVector() const {
79  return isExtendedVector() && getExtendedSizeInBits() == 512;
80}
81
82bool EVT::isExtended1024BitVector() const {
83  return isExtendedVector() && getExtendedSizeInBits() == 1024;
84}
85
86EVT EVT::getExtendedVectorElementType() const {
87  assert(isExtended() && "Type is not extended!");
88  return EVT::getEVT(cast<VectorType>(LLVMTy)->getElementType());
89}
90
91unsigned EVT::getExtendedVectorNumElements() const {
92  assert(isExtended() && "Type is not extended!");
93  return cast<VectorType>(LLVMTy)->getNumElements();
94}
95
96unsigned 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".
106std::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::v2i8:    return "v2i8";
138  case MVT::v4i8:    return "v4i8";
139  case MVT::v8i8:    return "v8i8";
140  case MVT::v16i8:   return "v16i8";
141  case MVT::v32i8:   return "v32i8";
142  case MVT::v64i8:   return "v64i8";
143  case MVT::v1i16:   return "v1i16";
144  case MVT::v2i16:   return "v2i16";
145  case MVT::v4i16:   return "v4i16";
146  case MVT::v8i16:   return "v8i16";
147  case MVT::v16i16:  return "v16i16";
148  case MVT::v32i16:  return "v32i16";
149  case MVT::v1i32:   return "v1i32";
150  case MVT::v2i32:   return "v2i32";
151  case MVT::v4i32:   return "v4i32";
152  case MVT::v8i32:   return "v8i32";
153  case MVT::v16i32:  return "v16i32";
154  case MVT::v1i64:   return "v1i64";
155  case MVT::v2i64:   return "v2i64";
156  case MVT::v4i64:   return "v4i64";
157  case MVT::v8i64:   return "v8i64";
158  case MVT::v16i64:  return "v16i64";
159  case MVT::v2f32:   return "v2f32";
160  case MVT::v2f16:   return "v2f16";
161  case MVT::v4f32:   return "v4f32";
162  case MVT::v8f32:   return "v8f32";
163  case MVT::v16f32:  return "v16f32";
164  case MVT::v2f64:   return "v2f64";
165  case MVT::v4f64:   return "v4f64";
166  case MVT::v8f64:   return "v8f64";
167  case MVT::Metadata:return "Metadata";
168  case MVT::Untyped: return "Untyped";
169  }
170}
171
172/// getTypeForEVT - This method returns an LLVM type corresponding to the
173/// specified EVT.  For integer types, this returns an unsigned type.  Note
174/// that this will abort for types that cannot be represented.
175Type *EVT::getTypeForEVT(LLVMContext &Context) const {
176  switch (V.SimpleTy) {
177  default:
178    assert(isExtended() && "Type is not extended!");
179    return LLVMTy;
180  case MVT::isVoid:  return Type::getVoidTy(Context);
181  case MVT::i1:      return Type::getInt1Ty(Context);
182  case MVT::i8:      return Type::getInt8Ty(Context);
183  case MVT::i16:     return Type::getInt16Ty(Context);
184  case MVT::i32:     return Type::getInt32Ty(Context);
185  case MVT::i64:     return Type::getInt64Ty(Context);
186  case MVT::i128:    return IntegerType::get(Context, 128);
187  case MVT::f16:     return Type::getHalfTy(Context);
188  case MVT::f32:     return Type::getFloatTy(Context);
189  case MVT::f64:     return Type::getDoubleTy(Context);
190  case MVT::f80:     return Type::getX86_FP80Ty(Context);
191  case MVT::f128:    return Type::getFP128Ty(Context);
192  case MVT::ppcf128: return Type::getPPC_FP128Ty(Context);
193  case MVT::x86mmx:  return Type::getX86_MMXTy(Context);
194  case MVT::v2i1:    return VectorType::get(Type::getInt1Ty(Context), 2);
195  case MVT::v4i1:    return VectorType::get(Type::getInt1Ty(Context), 4);
196  case MVT::v8i1:    return VectorType::get(Type::getInt1Ty(Context), 8);
197  case MVT::v16i1:   return VectorType::get(Type::getInt1Ty(Context), 16);
198  case MVT::v32i1:   return VectorType::get(Type::getInt1Ty(Context), 32);
199  case MVT::v64i1:   return VectorType::get(Type::getInt1Ty(Context), 64);
200  case MVT::v2i8:    return VectorType::get(Type::getInt8Ty(Context), 2);
201  case MVT::v4i8:    return VectorType::get(Type::getInt8Ty(Context), 4);
202  case MVT::v8i8:    return VectorType::get(Type::getInt8Ty(Context), 8);
203  case MVT::v16i8:   return VectorType::get(Type::getInt8Ty(Context), 16);
204  case MVT::v32i8:   return VectorType::get(Type::getInt8Ty(Context), 32);
205  case MVT::v64i8:   return VectorType::get(Type::getInt8Ty(Context), 64);
206  case MVT::v1i16:   return VectorType::get(Type::getInt16Ty(Context), 1);
207  case MVT::v2i16:   return VectorType::get(Type::getInt16Ty(Context), 2);
208  case MVT::v4i16:   return VectorType::get(Type::getInt16Ty(Context), 4);
209  case MVT::v8i16:   return VectorType::get(Type::getInt16Ty(Context), 8);
210  case MVT::v16i16:  return VectorType::get(Type::getInt16Ty(Context), 16);
211  case MVT::v32i16:  return VectorType::get(Type::getInt16Ty(Context), 32);
212  case MVT::v1i32:   return VectorType::get(Type::getInt32Ty(Context), 1);
213  case MVT::v2i32:   return VectorType::get(Type::getInt32Ty(Context), 2);
214  case MVT::v4i32:   return VectorType::get(Type::getInt32Ty(Context), 4);
215  case MVT::v8i32:   return VectorType::get(Type::getInt32Ty(Context), 8);
216  case MVT::v16i32:  return VectorType::get(Type::getInt32Ty(Context), 16);
217  case MVT::v1i64:   return VectorType::get(Type::getInt64Ty(Context), 1);
218  case MVT::v2i64:   return VectorType::get(Type::getInt64Ty(Context), 2);
219  case MVT::v4i64:   return VectorType::get(Type::getInt64Ty(Context), 4);
220  case MVT::v8i64:   return VectorType::get(Type::getInt64Ty(Context), 8);
221  case MVT::v16i64:  return VectorType::get(Type::getInt64Ty(Context), 16);
222  case MVT::v2f16:   return VectorType::get(Type::getHalfTy(Context), 2);
223  case MVT::v2f32:   return VectorType::get(Type::getFloatTy(Context), 2);
224  case MVT::v4f32:   return VectorType::get(Type::getFloatTy(Context), 4);
225  case MVT::v8f32:   return VectorType::get(Type::getFloatTy(Context), 8);
226  case MVT::v16f32:   return VectorType::get(Type::getFloatTy(Context), 16);
227  case MVT::v2f64:   return VectorType::get(Type::getDoubleTy(Context), 2);
228  case MVT::v4f64:   return VectorType::get(Type::getDoubleTy(Context), 4);
229  case MVT::v8f64:   return VectorType::get(Type::getDoubleTy(Context), 8);
230  case MVT::Metadata: return Type::getMetadataTy(Context);
231 }
232}
233
234/// Return the value type corresponding to the specified type.  This returns all
235/// pointers as MVT::iPTR.  If HandleUnknown is true, unknown types are returned
236/// as Other, otherwise they are invalid.
237MVT MVT::getVT(Type *Ty, bool HandleUnknown){
238  switch (Ty->getTypeID()) {
239  default:
240    if (HandleUnknown) return MVT(MVT::Other);
241    llvm_unreachable("Unknown type!");
242  case Type::VoidTyID:
243    return MVT::isVoid;
244  case Type::IntegerTyID:
245    return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth());
246  case Type::HalfTyID:      return MVT(MVT::f16);
247  case Type::FloatTyID:     return MVT(MVT::f32);
248  case Type::DoubleTyID:    return MVT(MVT::f64);
249  case Type::X86_FP80TyID:  return MVT(MVT::f80);
250  case Type::X86_MMXTyID:   return MVT(MVT::x86mmx);
251  case Type::FP128TyID:     return MVT(MVT::f128);
252  case Type::PPC_FP128TyID: return MVT(MVT::ppcf128);
253  case Type::PointerTyID:   return MVT(MVT::iPTR);
254  case Type::VectorTyID: {
255    VectorType *VTy = cast<VectorType>(Ty);
256    return getVectorVT(
257      getVT(VTy->getElementType(), false), VTy->getNumElements());
258  }
259  }
260}
261
262/// getEVT - Return the value type corresponding to the specified type.  This
263/// returns all pointers as MVT::iPTR.  If HandleUnknown is true, unknown types
264/// are returned as Other, otherwise they are invalid.
265EVT EVT::getEVT(Type *Ty, bool HandleUnknown){
266  switch (Ty->getTypeID()) {
267  default:
268    return MVT::getVT(Ty, HandleUnknown);
269  case Type::IntegerTyID:
270    return getIntegerVT(Ty->getContext(), cast<IntegerType>(Ty)->getBitWidth());
271  case Type::VectorTyID: {
272    VectorType *VTy = cast<VectorType>(Ty);
273    return getVectorVT(Ty->getContext(), getEVT(VTy->getElementType(), false),
274                       VTy->getNumElements());
275  }
276  }
277}
278