Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 1 | //===-- ValueTypes.cpp - Implementation of MVT::ValueType methods ---------===// |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame^] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 7 | // |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements methods in the CodeGen/ValueTypes.h header. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Dan Gohman | acaf32e | 2007-06-26 15:14:48 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/StringExtras.h" |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/ValueTypes.h" |
| 16 | #include "llvm/Type.h" |
Reid Spencer | c103057 | 2007-01-19 21:13:56 +0000 | [diff] [blame] | 17 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 18 | using namespace llvm; |
| 19 | |
| 20 | /// MVT::getValueTypeString - This function returns value type as a string, |
| 21 | /// e.g. "i32". |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 22 | std::string MVT::getValueTypeString(MVT::ValueType VT) { |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 23 | switch (VT) { |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 24 | default: |
Duncan Sands | af47b11 | 2007-10-16 09:56:48 +0000 | [diff] [blame] | 25 | if (isVector(VT)) |
Dan Gohman | acaf32e | 2007-06-26 15:14:48 +0000 | [diff] [blame] | 26 | return "v" + utostr(getVectorNumElements(VT)) + |
| 27 | getValueTypeString(getVectorElementType(VT)); |
Duncan Sands | af47b11 | 2007-10-16 09:56:48 +0000 | [diff] [blame] | 28 | if (isInteger(VT)) |
| 29 | return "i" + utostr(getSizeInBits(VT)); |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 30 | assert(0 && "Invalid ValueType!"); |
Dale Johannesen | e713d93 | 2007-08-03 20:51:37 +0000 | [diff] [blame] | 31 | case MVT::i1: return "i1"; |
| 32 | case MVT::i8: return "i8"; |
| 33 | case MVT::i16: return "i16"; |
| 34 | case MVT::i32: return "i32"; |
| 35 | case MVT::i64: return "i64"; |
| 36 | case MVT::i128: return "i128"; |
| 37 | case MVT::f32: return "f32"; |
| 38 | case MVT::f64: return "f64"; |
| 39 | case MVT::f80: return "f80"; |
| 40 | case MVT::f128: return "f128"; |
| 41 | case MVT::ppcf128: return "ppcf128"; |
| 42 | case MVT::isVoid: return "isVoid"; |
| 43 | case MVT::Other: return "ch"; |
| 44 | case MVT::Flag: return "flag"; |
| 45 | case MVT::v8i8: return "v8i8"; |
| 46 | case MVT::v4i16: return "v4i16"; |
| 47 | case MVT::v2i32: return "v2i32"; |
| 48 | case MVT::v1i64: return "v1i64"; |
| 49 | case MVT::v16i8: return "v16i8"; |
| 50 | case MVT::v8i16: return "v8i16"; |
| 51 | case MVT::v4i32: return "v4i32"; |
| 52 | case MVT::v2i64: return "v2i64"; |
| 53 | case MVT::v2f32: return "v2f32"; |
| 54 | case MVT::v4f32: return "v4f32"; |
| 55 | case MVT::v2f64: return "v2f64"; |
| 56 | case MVT::v3i32: return "v3i32"; |
| 57 | case MVT::v3f32: return "v3f32"; |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 58 | } |
| 59 | } |
| 60 | |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 61 | /// MVT::getTypeForValueType - This method returns an LLVM type corresponding |
Chris Lattner | 58092e3 | 2007-01-20 22:35:55 +0000 | [diff] [blame] | 62 | /// to the specified ValueType. Note that this will abort for types that cannot |
| 63 | /// be represented. |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 64 | const Type *MVT::getTypeForValueType(MVT::ValueType VT) { |
| 65 | switch (VT) { |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 66 | default: |
Duncan Sands | af47b11 | 2007-10-16 09:56:48 +0000 | [diff] [blame] | 67 | if (isVector(VT)) |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 68 | return VectorType::get(getTypeForValueType(getVectorElementType(VT)), |
| 69 | getVectorNumElements(VT)); |
Duncan Sands | af47b11 | 2007-10-16 09:56:48 +0000 | [diff] [blame] | 70 | if (isInteger(VT)) |
| 71 | return IntegerType::get(getSizeInBits(VT)); |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 72 | assert(0 && "ValueType does not correspond to LLVM type!"); |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 73 | case MVT::isVoid:return Type::VoidTy; |
Dale Johannesen | e713d93 | 2007-08-03 20:51:37 +0000 | [diff] [blame] | 74 | case MVT::i1: return Type::Int1Ty; |
| 75 | case MVT::i8: return Type::Int8Ty; |
| 76 | case MVT::i16: return Type::Int16Ty; |
| 77 | case MVT::i32: return Type::Int32Ty; |
| 78 | case MVT::i64: return Type::Int64Ty; |
| 79 | case MVT::i128: return IntegerType::get(128); |
| 80 | case MVT::f32: return Type::FloatTy; |
| 81 | case MVT::f64: return Type::DoubleTy; |
| 82 | case MVT::f80: return Type::X86_FP80Ty; |
| 83 | case MVT::f128: return Type::FP128Ty; |
| 84 | case MVT::ppcf128: return Type::PPC_FP128Ty; |
| 85 | case MVT::v8i8: return VectorType::get(Type::Int8Ty, 8); |
| 86 | case MVT::v4i16: return VectorType::get(Type::Int16Ty, 4); |
| 87 | case MVT::v2i32: return VectorType::get(Type::Int32Ty, 2); |
| 88 | case MVT::v1i64: return VectorType::get(Type::Int64Ty, 1); |
| 89 | case MVT::v16i8: return VectorType::get(Type::Int8Ty, 16); |
| 90 | case MVT::v8i16: return VectorType::get(Type::Int16Ty, 8); |
| 91 | case MVT::v4i32: return VectorType::get(Type::Int32Ty, 4); |
| 92 | case MVT::v2i64: return VectorType::get(Type::Int64Ty, 2); |
| 93 | case MVT::v2f32: return VectorType::get(Type::FloatTy, 2); |
| 94 | case MVT::v4f32: return VectorType::get(Type::FloatTy, 4); |
| 95 | case MVT::v2f64: return VectorType::get(Type::DoubleTy, 2); |
| 96 | case MVT::v3i32: return VectorType::get(Type::Int32Ty, 3); |
| 97 | case MVT::v3f32: return VectorType::get(Type::FloatTy, 3); |
Chris Lattner | 57bf328 | 2005-01-15 06:52:40 +0000 | [diff] [blame] | 98 | } |
| 99 | } |
Chris Lattner | 2df6dc5 | 2007-03-31 04:03:02 +0000 | [diff] [blame] | 100 | |
| 101 | /// MVT::getValueType - Return the value type corresponding to the specified |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 102 | /// type. This returns all pointers as MVT::iPTR. If HandleUnknown is true, |
| 103 | /// unknown types are returned as Other, otherwise they are invalid. |
Chris Lattner | bb58b9c | 2007-04-28 05:38:52 +0000 | [diff] [blame] | 104 | MVT::ValueType MVT::getValueType(const Type *Ty, bool HandleUnknown) { |
Chris Lattner | 2df6dc5 | 2007-03-31 04:03:02 +0000 | [diff] [blame] | 105 | switch (Ty->getTypeID()) { |
Chris Lattner | bb58b9c | 2007-04-28 05:38:52 +0000 | [diff] [blame] | 106 | default: |
| 107 | if (HandleUnknown) return MVT::Other; |
| 108 | assert(0 && "Unknown type!"); |
Chris Lattner | 2df6dc5 | 2007-03-31 04:03:02 +0000 | [diff] [blame] | 109 | case Type::VoidTyID: |
| 110 | return MVT::isVoid; |
| 111 | case Type::IntegerTyID: |
Duncan Sands | af47b11 | 2007-10-16 09:56:48 +0000 | [diff] [blame] | 112 | return getIntegerType(cast<IntegerType>(Ty)->getBitWidth()); |
Dale Johannesen | e713d93 | 2007-08-03 20:51:37 +0000 | [diff] [blame] | 113 | case Type::FloatTyID: return MVT::f32; |
| 114 | case Type::DoubleTyID: return MVT::f64; |
| 115 | case Type::X86_FP80TyID: return MVT::f80; |
| 116 | case Type::FP128TyID: return MVT::f128; |
| 117 | case Type::PPC_FP128TyID: return MVT::ppcf128; |
| 118 | case Type::PointerTyID: return MVT::iPTR; |
Dan Gohman | 7f32156 | 2007-06-25 16:23:39 +0000 | [diff] [blame] | 119 | case Type::VectorTyID: { |
| 120 | const VectorType *VTy = cast<VectorType>(Ty); |
| 121 | return getVectorType(getValueType(VTy->getElementType(), false), |
| 122 | VTy->getNumElements()); |
| 123 | } |
Chris Lattner | 2df6dc5 | 2007-03-31 04:03:02 +0000 | [diff] [blame] | 124 | } |
| 125 | } |