Duncan pointed out that the Extended case in getTypeForMVT could
[oota-llvm.git] / lib / VMCore / ValueTypes.cpp
1 //===----------- ValueTypes.cpp - Implementation of MVT 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/ADT/StringExtras.h"
15 #include "llvm/CodeGen/ValueTypes.h"
16 #include "llvm/Type.h"
17 #include "llvm/DerivedTypes.h"
18 using namespace llvm;
19
20 MVT MVT::getExtendedIntegerVT(unsigned BitWidth) {
21   MVT VT;
22   VT.LLVMTy = IntegerType::get(BitWidth);
23   assert(VT.isExtended() && "Type is not extended!");
24   return VT;
25 }
26
27 MVT MVT::getExtendedVectorVT(MVT VT, unsigned NumElements) {
28   MVT ResultVT;
29   ResultVT.LLVMTy = VectorType::get(VT.getTypeForMVT(), NumElements);
30   assert(ResultVT.isExtended() && "Type is not extended!");
31   return ResultVT;
32 }
33
34 bool MVT::isExtendedFloatingPoint() const {
35   assert(isExtended() && "Type is not extended!");
36   return LLVMTy->isFPOrFPVector();
37 }
38
39 bool MVT::isExtendedInteger() const {
40   assert(isExtended() && "Type is not extended!");
41   return LLVMTy->isIntOrIntVector();
42 }
43
44 bool MVT::isExtendedVector() const {
45   assert(isExtended() && "Type is not extended!");
46   return isa<VectorType>(LLVMTy);
47 }
48
49 bool MVT::isExtended64BitVector() const {
50   return isExtendedVector() && getSizeInBits() == 64;
51 }
52
53 bool MVT::isExtended128BitVector() const {
54   return isExtendedVector() && getSizeInBits() == 128;
55 }
56
57 MVT MVT::getExtendedVectorElementType() const {
58   assert(isExtended() && "Type is not extended!");
59   return MVT::getMVT(cast<VectorType>(LLVMTy)->getElementType());
60 }
61
62 unsigned MVT::getExtendedVectorNumElements() const {
63   assert(isExtended() && "Type is not extended!");
64   return cast<VectorType>(LLVMTy)->getNumElements();
65 }
66
67 unsigned MVT::getExtendedSizeInBits() const {
68   assert(isExtended() && "Type is not extended!");
69   if (const IntegerType *ITy = dyn_cast<IntegerType>(LLVMTy))
70     return ITy->getBitWidth();
71   if (const VectorType *VTy = dyn_cast<VectorType>(LLVMTy))
72     return VTy->getBitWidth();
73   assert(false && "Unrecognized extended type!");
74   return 0; // Suppress warnings.
75 }
76
77 /// getMVTString - This function returns value type as a string, e.g. "i32".
78 std::string MVT::getMVTString() const {
79   switch (V) {
80   default:
81     if (isVector())
82       return "v" + utostr(getVectorNumElements()) +
83              getVectorElementType().getMVTString();
84     if (isInteger())
85       return "i" + utostr(getSizeInBits());
86     assert(0 && "Invalid MVT!");
87     return "?";
88   case MVT::i1:      return "i1";
89   case MVT::i8:      return "i8";
90   case MVT::i16:     return "i16";
91   case MVT::i32:     return "i32";
92   case MVT::i64:     return "i64";
93   case MVT::i128:    return "i128";
94   case MVT::f32:     return "f32";
95   case MVT::f64:     return "f64";
96   case MVT::f80:     return "f80";
97   case MVT::f128:    return "f128";
98   case MVT::ppcf128: return "ppcf128";
99   case MVT::isVoid:  return "isVoid";
100   case MVT::Other:   return "ch";
101   case MVT::Flag:    return "flag";
102   case MVT::v8i8:    return "v8i8";
103   case MVT::v4i16:   return "v4i16";
104   case MVT::v2i32:   return "v2i32";
105   case MVT::v1i64:   return "v1i64";
106   case MVT::v16i8:   return "v16i8";
107   case MVT::v8i16:   return "v8i16";
108   case MVT::v4i32:   return "v4i32";
109   case MVT::v2i64:   return "v2i64";
110   case MVT::v2f32:   return "v2f32";
111   case MVT::v4f32:   return "v4f32";
112   case MVT::v2f64:   return "v2f64";
113   case MVT::v3i32:   return "v3i32";
114   case MVT::v3f32:   return "v3f32";
115   }
116 }
117
118 /// getTypeForMVT - This method returns an LLVM type corresponding to the
119 /// specified MVT.  For integer types, this returns an unsigned type.  Note
120 /// that this will abort for types that cannot be represented.
121 const Type *MVT::getTypeForMVT() const {
122   switch (V) {
123   default:
124     assert(isExtended() && "Type is not extended!");
125     return LLVMTy;
126   case MVT::isVoid:  return Type::VoidTy;
127   case MVT::i1:      return Type::Int1Ty;
128   case MVT::i8:      return Type::Int8Ty;
129   case MVT::i16:     return Type::Int16Ty;
130   case MVT::i32:     return Type::Int32Ty;
131   case MVT::i64:     return Type::Int64Ty;
132   case MVT::i128:    return IntegerType::get(128);
133   case MVT::f32:     return Type::FloatTy;
134   case MVT::f64:     return Type::DoubleTy;
135   case MVT::f80:     return Type::X86_FP80Ty;
136   case MVT::f128:    return Type::FP128Ty;
137   case MVT::ppcf128: return Type::PPC_FP128Ty;
138   case MVT::v8i8:    return VectorType::get(Type::Int8Ty, 8);
139   case MVT::v4i16:   return VectorType::get(Type::Int16Ty, 4);
140   case MVT::v2i32:   return VectorType::get(Type::Int32Ty, 2);
141   case MVT::v1i64:   return VectorType::get(Type::Int64Ty, 1);
142   case MVT::v16i8:   return VectorType::get(Type::Int8Ty, 16);
143   case MVT::v8i16:   return VectorType::get(Type::Int16Ty, 8);
144   case MVT::v4i32:   return VectorType::get(Type::Int32Ty, 4);
145   case MVT::v2i64:   return VectorType::get(Type::Int64Ty, 2);
146   case MVT::v2f32:   return VectorType::get(Type::FloatTy, 2);
147   case MVT::v4f32:   return VectorType::get(Type::FloatTy, 4);
148   case MVT::v2f64:   return VectorType::get(Type::DoubleTy, 2);
149   case MVT::v3i32:   return VectorType::get(Type::Int32Ty, 3);
150   case MVT::v3f32:   return VectorType::get(Type::FloatTy, 3);
151   }
152 }
153
154 /// getMVT - Return the value type corresponding to the specified type.  This
155 /// returns all pointers as MVT::iPTR.  If HandleUnknown is true, unknown types
156 /// are returned as Other, otherwise they are invalid.
157 MVT MVT::getMVT(const Type *Ty, bool HandleUnknown){
158   switch (Ty->getTypeID()) {
159   default:
160     if (HandleUnknown) return MVT::Other;
161     assert(0 && "Unknown type!");
162     return MVT::isVoid;
163   case Type::VoidTyID:
164     return MVT::isVoid;
165   case Type::IntegerTyID:
166     return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth());
167   case Type::FloatTyID:     return MVT::f32;
168   case Type::DoubleTyID:    return MVT::f64;
169   case Type::X86_FP80TyID:  return MVT::f80;
170   case Type::FP128TyID:     return MVT::f128;
171   case Type::PPC_FP128TyID: return MVT::ppcf128;
172   case Type::PointerTyID:   return MVT::iPTR;
173   case Type::VectorTyID: {
174     const VectorType *VTy = cast<VectorType>(Ty);
175     return getVectorVT(getMVT(VTy->getElementType(), false),
176                        VTy->getNumElements());
177   }
178   }
179 }