1 //===----------- ValueTypes.cpp - Implementation of EVT methods -----------===// 2 // 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 6 // 7 //===----------------------------------------------------------------------===// 8 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" 14 using namespace llvm; 15 16 EVT EVT::changeExtendedTypeToInteger() const { 17 LLVMContext &Context = LLVMTy->getContext(); 18 return getIntegerVT(Context, getSizeInBits()); 19 } 20 21 EVT EVT::changeExtendedVectorElementTypeToInteger() const { 22 LLVMContext &Context = LLVMTy->getContext(); 23 EVT IntTy = getIntegerVT(Context, getScalarSizeInBits()); 24 return getVectorVT(Context, IntTy, getVectorNumElements()); 25 } 26 27 EVT EVT::getExtendedIntegerVT(LLVMContext &Context, unsigned BitWidth) { 28 EVT VT; 29 VT.LLVMTy = IntegerType::get(Context, BitWidth); 30 assert(VT.isExtended() && "Type is not extended!"); 31 return VT; 32 } 33 34 EVT EVT::getExtendedVectorVT(LLVMContext &Context, EVT VT, 35 unsigned NumElements) { 36 EVT ResultVT; 37 ResultVT.LLVMTy = VectorType::get(VT.getTypeForEVT(Context), NumElements); 38 assert(ResultVT.isExtended() && "Type is not extended!"); 39 return ResultVT; 40 } 41 42 bool EVT::isExtendedFloatingPoint() const { 43 assert(isExtended() && "Type is not extended!"); 44 return LLVMTy->isFPOrFPVectorTy(); 45 } 46 47 bool EVT::isExtendedInteger() const { 48 assert(isExtended() && "Type is not extended!"); 49 return LLVMTy->isIntOrIntVectorTy(); 50 } 51 52 bool EVT::isExtendedScalarInteger() const { 53 assert(isExtended() && "Type is not extended!"); 54 return LLVMTy->isIntegerTy(); 55 } 56 57 bool EVT::isExtendedVector() const { 58 assert(isExtended() && "Type is not extended!"); 59 return LLVMTy->isVectorTy(); 60 } 61 62 bool EVT::isExtended16BitVector() const { 63 return isExtendedVector() && getExtendedSizeInBits() == 16; 64 } 65 66 bool EVT::isExtended32BitVector() const { 67 return isExtendedVector() && getExtendedSizeInBits() == 32; 68 } 69 70 bool EVT::isExtended64BitVector() const { 71 return isExtendedVector() && getExtendedSizeInBits() == 64; 72 } 73 74 bool EVT::isExtended128BitVector() const { 75 return isExtendedVector() && getExtendedSizeInBits() == 128; 76 } 77 78 bool EVT::isExtended256BitVector() const { 79 return isExtendedVector() && getExtendedSizeInBits() == 256; 80 } 81 82 bool EVT::isExtended512BitVector() const { 83 return isExtendedVector() && getExtendedSizeInBits() == 512; 84 } 85 86 bool EVT::isExtended1024BitVector() const { 87 return isExtendedVector() && getExtendedSizeInBits() == 1024; 88 } 89 90 bool EVT::isExtended2048BitVector() const { 91 return isExtendedVector() && getExtendedSizeInBits() == 2048; 92 } 93 94 EVT EVT::getExtendedVectorElementType() const { 95 assert(isExtended() && "Type is not extended!"); 96 return EVT::getEVT(cast<VectorType>(LLVMTy)->getElementType()); 97 } 98 99 unsigned EVT::getExtendedVectorNumElements() const { 100 assert(isExtended() && "Type is not extended!"); 101 return cast<VectorType>(LLVMTy)->getNumElements(); 102 } 103 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!"); 111 } 112 113 /// getEVTString - This function returns value type as a string, e.g. "i32". 114 std::string EVT::getEVTString() const { 115 switch (V.SimpleTy) { 116 default: 117 if (isVector()) 118 return "v" + utostr(getVectorNumElements()) + 119 getVectorElementType().getEVTString(); 120 if (isInteger()) 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::v3i32: return "v3i32"; 169 case MVT::v4i32: return "v4i32"; 170 case MVT::v5i32: return "v5i32"; 171 case MVT::v8i32: return "v8i32"; 172 case MVT::v16i32: return "v16i32"; 173 case MVT::v32i32: return "v32i32"; 174 case MVT::v64i32: return "v64i32"; 175 case MVT::v1i64: return "v1i64"; 176 case MVT::v2i64: return "v2i64"; 177 case MVT::v4i64: return "v4i64"; 178 case MVT::v8i64: return "v8i64"; 179 case MVT::v16i64: return "v16i64"; 180 case MVT::v32i64: return "v32i64"; 181 case MVT::v1i128: return "v1i128"; 182 case MVT::v1f32: return "v1f32"; 183 case MVT::v2f32: return "v2f32"; 184 case MVT::v2f16: return "v2f16"; 185 case MVT::v4f16: return "v4f16"; 186 case MVT::v8f16: return "v8f16"; 187 case MVT::v3f32: return "v3f32"; 188 case MVT::v4f32: return "v4f32"; 189 case MVT::v5f32: return "v5f32"; 190 case MVT::v8f32: return "v8f32"; 191 case MVT::v16f32: return "v16f32"; 192 case MVT::v1f64: return "v1f64"; 193 case MVT::v2f64: return "v2f64"; 194 case MVT::v4f64: return "v4f64"; 195 case MVT::v8f64: return "v8f64"; 196 case MVT::Metadata:return "Metadata"; 197 case MVT::Untyped: return "Untyped"; 198 case MVT::ExceptRef: return "ExceptRef"; 199 } 200 } 201 202 /// getTypeForEVT - This method returns an LLVM type corresponding to the 203 /// specified EVT. For integer types, this returns an unsigned type. Note 204 /// that this will abort for types that cannot be represented. 205 Type *EVT::getTypeForEVT(LLVMContext &Context) const { 206 switch (V.SimpleTy) { 207 default: 208 assert(isExtended() && "Type is not extended!"); 209 return LLVMTy; 210 case MVT::isVoid: return Type::getVoidTy(Context); 211 case MVT::i1: return Type::getInt1Ty(Context); 212 case MVT::i8: return Type::getInt8Ty(Context); 213 case MVT::i16: return Type::getInt16Ty(Context); 214 case MVT::i32: return Type::getInt32Ty(Context); 215 case MVT::i64: return Type::getInt64Ty(Context); 216 case MVT::i128: return IntegerType::get(Context, 128); 217 case MVT::f16: return Type::getHalfTy(Context); 218 case MVT::f32: return Type::getFloatTy(Context); 219 case MVT::f64: return Type::getDoubleTy(Context); 220 case MVT::f80: return Type::getX86_FP80Ty(Context); 221 case MVT::f128: return Type::getFP128Ty(Context); 222 case MVT::ppcf128: return Type::getPPC_FP128Ty(Context); 223 case MVT::x86mmx: return Type::getX86_MMXTy(Context); 224 case MVT::v1i1: return VectorType::get(Type::getInt1Ty(Context), 1); 225 case MVT::v2i1: return VectorType::get(Type::getInt1Ty(Context), 2); 226 case MVT::v4i1: return VectorType::get(Type::getInt1Ty(Context), 4); 227 case MVT::v8i1: return VectorType::get(Type::getInt1Ty(Context), 8); 228 case MVT::v16i1: return VectorType::get(Type::getInt1Ty(Context), 16); 229 case MVT::v32i1: return VectorType::get(Type::getInt1Ty(Context), 32); 230 case MVT::v64i1: return VectorType::get(Type::getInt1Ty(Context), 64); 231 case MVT::v128i1: return VectorType::get(Type::getInt1Ty(Context), 128); 232 case MVT::v512i1: return VectorType::get(Type::getInt1Ty(Context), 512); 233 case MVT::v1024i1: return VectorType::get(Type::getInt1Ty(Context), 1024); 234 case MVT::v1i8: return VectorType::get(Type::getInt8Ty(Context), 1); 235 case MVT::v2i8: return VectorType::get(Type::getInt8Ty(Context), 2); 236 case MVT::v4i8: return VectorType::get(Type::getInt8Ty(Context), 4); 237 case MVT::v8i8: return VectorType::get(Type::getInt8Ty(Context), 8); 238 case MVT::v16i8: return VectorType::get(Type::getInt8Ty(Context), 16); 239 case MVT::v32i8: return VectorType::get(Type::getInt8Ty(Context), 32); 240 case MVT::v64i8: return VectorType::get(Type::getInt8Ty(Context), 64); 241 case MVT::v128i8: return VectorType::get(Type::getInt8Ty(Context), 128); 242 case MVT::v256i8: return VectorType::get(Type::getInt8Ty(Context), 256); 243 case MVT::v1i16: return VectorType::get(Type::getInt16Ty(Context), 1); 244 case MVT::v2i16: return VectorType::get(Type::getInt16Ty(Context), 2); 245 case MVT::v4i16: return VectorType::get(Type::getInt16Ty(Context), 4); 246 case MVT::v8i16: return VectorType::get(Type::getInt16Ty(Context), 8); 247 case MVT::v16i16: return VectorType::get(Type::getInt16Ty(Context), 16); 248 case MVT::v32i16: return VectorType::get(Type::getInt16Ty(Context), 32); 249 case MVT::v64i16: return VectorType::get(Type::getInt16Ty(Context), 64); 250 case MVT::v128i16: return VectorType::get(Type::getInt16Ty(Context), 128); 251 case MVT::v1i32: return VectorType::get(Type::getInt32Ty(Context), 1); 252 case MVT::v2i32: return VectorType::get(Type::getInt32Ty(Context), 2); 253 case MVT::v3i32: return VectorType::get(Type::getInt32Ty(Context), 3); 254 case MVT::v4i32: return VectorType::get(Type::getInt32Ty(Context), 4); 255 case MVT::v5i32: return VectorType::get(Type::getInt32Ty(Context), 5); 256 case MVT::v8i32: return VectorType::get(Type::getInt32Ty(Context), 8); 257 case MVT::v16i32: return VectorType::get(Type::getInt32Ty(Context), 16); 258 case MVT::v32i32: return VectorType::get(Type::getInt32Ty(Context), 32); 259 case MVT::v64i32: return VectorType::get(Type::getInt32Ty(Context), 64); 260 case MVT::v1i64: return VectorType::get(Type::getInt64Ty(Context), 1); 261 case MVT::v2i64: return VectorType::get(Type::getInt64Ty(Context), 2); 262 case MVT::v4i64: return VectorType::get(Type::getInt64Ty(Context), 4); 263 case MVT::v8i64: return VectorType::get(Type::getInt64Ty(Context), 8); 264 case MVT::v16i64: return VectorType::get(Type::getInt64Ty(Context), 16); 265 case MVT::v32i64: return VectorType::get(Type::getInt64Ty(Context), 32); 266 case MVT::v1i128: return VectorType::get(Type::getInt128Ty(Context), 1); 267 case MVT::v2f16: return VectorType::get(Type::getHalfTy(Context), 2); 268 case MVT::v4f16: return VectorType::get(Type::getHalfTy(Context), 4); 269 case MVT::v8f16: return VectorType::get(Type::getHalfTy(Context), 8); 270 case MVT::v1f32: return VectorType::get(Type::getFloatTy(Context), 1); 271 case MVT::v2f32: return VectorType::get(Type::getFloatTy(Context), 2); 272 case MVT::v3f32: return VectorType::get(Type::getFloatTy(Context), 3); 273 case MVT::v4f32: return VectorType::get(Type::getFloatTy(Context), 4); 274 case MVT::v5f32: return VectorType::get(Type::getFloatTy(Context), 5); 275 case MVT::v8f32: return VectorType::get(Type::getFloatTy(Context), 8); 276 case MVT::v16f32: return VectorType::get(Type::getFloatTy(Context), 16); 277 case MVT::v1f64: return VectorType::get(Type::getDoubleTy(Context), 1); 278 case MVT::v2f64: return VectorType::get(Type::getDoubleTy(Context), 2); 279 case MVT::v4f64: return VectorType::get(Type::getDoubleTy(Context), 4); 280 case MVT::v8f64: return VectorType::get(Type::getDoubleTy(Context), 8); 281 case MVT::Metadata: return Type::getMetadataTy(Context); 282 } 283 } 284 285 /// Return the value type corresponding to the specified type. This returns all 286 /// pointers as MVT::iPTR. If HandleUnknown is true, unknown types are returned 287 /// as Other, otherwise they are invalid. 288 MVT MVT::getVT(Type *Ty, bool HandleUnknown){ 289 switch (Ty->getTypeID()) { 290 default: 291 if (HandleUnknown) return MVT(MVT::Other); 292 llvm_unreachable("Unknown type!"); 293 case Type::VoidTyID: 294 return MVT::isVoid; 295 case Type::IntegerTyID: 296 return getIntegerVT(cast<IntegerType>(Ty)->getBitWidth()); 297 case Type::HalfTyID: return MVT(MVT::f16); 298 case Type::FloatTyID: return MVT(MVT::f32); 299 case Type::DoubleTyID: return MVT(MVT::f64); 300 case Type::X86_FP80TyID: return MVT(MVT::f80); 301 case Type::X86_MMXTyID: return MVT(MVT::x86mmx); 302 case Type::FP128TyID: return MVT(MVT::f128); 303 case Type::PPC_FP128TyID: return MVT(MVT::ppcf128); 304 case Type::PointerTyID: return MVT(MVT::iPTR); 305 case Type::VectorTyID: { 306 VectorType *VTy = cast<VectorType>(Ty); 307 return getVectorVT( 308 getVT(VTy->getElementType(), false), VTy->getNumElements()); 309 } 310 } 311 } 312 313 /// getEVT - Return the value type corresponding to the specified type. This 314 /// returns all pointers as MVT::iPTR. If HandleUnknown is true, unknown types 315 /// are returned as Other, otherwise they are invalid. 316 EVT EVT::getEVT(Type *Ty, bool HandleUnknown){ 317 switch (Ty->getTypeID()) { 318 default: 319 return MVT::getVT(Ty, HandleUnknown); 320 case Type::IntegerTyID: 321 return getIntegerVT(Ty->getContext(), cast<IntegerType>(Ty)->getBitWidth()); 322 case Type::VectorTyID: { 323 VectorType *VTy = cast<VectorType>(Ty); 324 return getVectorVT(Ty->getContext(), getEVT(VTy->getElementType(), false), 325 VTy->getNumElements()); 326 } 327 } 328 } 329