1 //===- llvm/Type.h - Classes for handling data types ------------*- C++ -*-===// 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 // This file contains the declaration of the Type class. For more "Type" 10 // stuff, look in DerivedTypes.h. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #ifndef LLVM_IR_TYPE_H 15 #define LLVM_IR_TYPE_H 16 17 #include "llvm/ADT/ArrayRef.h" 18 #include "llvm/Support/CBindingWrapping.h" 19 #include "llvm/Support/Casting.h" 20 #include "llvm/Support/Compiler.h" 21 #include "llvm/Support/ErrorHandling.h" 22 #include "llvm/Support/TypeSize.h" 23 #include <cassert> 24 #include <cstdint> 25 #include <iterator> 26 27 namespace llvm { 28 29 class IntegerType; 30 struct fltSemantics; 31 class LLVMContext; 32 class PointerType; 33 class raw_ostream; 34 class StringRef; 35 template <typename PtrType> class SmallPtrSetImpl; 36 37 /// The instances of the Type class are immutable: once they are created, 38 /// they are never changed. Also note that only one instance of a particular 39 /// type is ever created. Thus seeing if two types are equal is a matter of 40 /// doing a trivial pointer comparison. To enforce that no two equal instances 41 /// are created, Type instances can only be created via static factory methods 42 /// in class Type and in derived classes. Once allocated, Types are never 43 /// free'd. 44 /// 45 class Type { 46 public: 47 //===--------------------------------------------------------------------===// 48 /// Definitions of all of the base types for the Type system. Based on this 49 /// value, you can cast to a class defined in DerivedTypes.h. 50 /// Note: If you add an element to this, you need to add an element to the 51 /// Type::getPrimitiveType function, or else things will break! 52 /// Also update LLVMTypeKind and LLVMGetTypeKind () in the C binding. 53 /// 54 enum TypeID { 55 // PrimitiveTypes 56 HalfTyID = 0, ///< 16-bit floating point type 57 BFloatTyID, ///< 16-bit floating point type (7-bit significand) 58 FloatTyID, ///< 32-bit floating point type 59 DoubleTyID, ///< 64-bit floating point type 60 X86_FP80TyID, ///< 80-bit floating point type (X87) 61 FP128TyID, ///< 128-bit floating point type (112-bit significand) 62 PPC_FP128TyID, ///< 128-bit floating point type (two 64-bits, PowerPC) 63 VoidTyID, ///< type with no size 64 LabelTyID, ///< Labels 65 MetadataTyID, ///< Metadata 66 X86_AMXTyID, ///< AMX vectors (8192 bits, X86 specific) 67 TokenTyID, ///< Tokens 68 69 // Derived types... see DerivedTypes.h file. 70 IntegerTyID, ///< Arbitrary bit width integers 71 FunctionTyID, ///< Functions 72 PointerTyID, ///< Pointers 73 StructTyID, ///< Structures 74 ArrayTyID, ///< Arrays 75 FixedVectorTyID, ///< Fixed width SIMD vector type 76 ScalableVectorTyID, ///< Scalable SIMD vector type 77 TypedPointerTyID, ///< Typed pointer used by some GPU targets 78 TargetExtTyID, ///< Target extension type 79 }; 80 81 private: 82 /// This refers to the LLVMContext in which this type was uniqued. 83 LLVMContext &Context; 84 85 TypeID ID : 8; // The current base type of this type. 86 unsigned SubclassData : 24; // Space for subclasses to store data. 87 // Note that this should be synchronized with 88 // MAX_INT_BITS value in IntegerType class. 89 90 protected: 91 friend class LLVMContextImpl; 92 Type(LLVMContext & C,TypeID tid)93 explicit Type(LLVMContext &C, TypeID tid) 94 : Context(C), ID(tid), SubclassData(0) {} 95 ~Type() = default; 96 getSubclassData()97 unsigned getSubclassData() const { return SubclassData; } 98 setSubclassData(unsigned val)99 void setSubclassData(unsigned val) { 100 SubclassData = val; 101 // Ensure we don't have any accidental truncation. 102 assert(getSubclassData() == val && "Subclass data too large for field"); 103 } 104 105 /// Keeps track of how many Type*'s there are in the ContainedTys list. 106 unsigned NumContainedTys = 0; 107 108 /// A pointer to the array of Types contained by this Type. For example, this 109 /// includes the arguments of a function type, the elements of a structure, 110 /// the pointee of a pointer, the element type of an array, etc. This pointer 111 /// may be 0 for types that don't contain other types (Integer, Double, 112 /// Float). 113 Type * const *ContainedTys = nullptr; 114 115 public: 116 /// Print the current type. 117 /// Omit the type details if \p NoDetails == true. 118 /// E.g., let %st = type { i32, i16 } 119 /// When \p NoDetails is true, we only print %st. 120 /// Put differently, \p NoDetails prints the type as if 121 /// inlined with the operands when printing an instruction. 122 LLVM_ABI void print(raw_ostream &O, bool IsForDebug = false, 123 bool NoDetails = false) const; 124 125 LLVM_ABI void dump() const; 126 127 /// Return the LLVMContext in which this type was uniqued. getContext()128 LLVMContext &getContext() const { return Context; } 129 130 //===--------------------------------------------------------------------===// 131 // Accessors for working with types. 132 // 133 134 /// Return the type id for the type. This will return one of the TypeID enum 135 /// elements defined above. getTypeID()136 TypeID getTypeID() const { return ID; } 137 138 /// Return true if this is 'void'. isVoidTy()139 bool isVoidTy() const { return getTypeID() == VoidTyID; } 140 141 /// Return true if this is 'half', a 16-bit IEEE fp type. isHalfTy()142 bool isHalfTy() const { return getTypeID() == HalfTyID; } 143 144 /// Return true if this is 'bfloat', a 16-bit bfloat type. isBFloatTy()145 bool isBFloatTy() const { return getTypeID() == BFloatTyID; } 146 147 /// Return true if this is a 16-bit float type. is16bitFPTy()148 bool is16bitFPTy() const { 149 return getTypeID() == BFloatTyID || getTypeID() == HalfTyID; 150 } 151 152 /// Return true if this is 'float', a 32-bit IEEE fp type. isFloatTy()153 bool isFloatTy() const { return getTypeID() == FloatTyID; } 154 155 /// Return true if this is 'double', a 64-bit IEEE fp type. isDoubleTy()156 bool isDoubleTy() const { return getTypeID() == DoubleTyID; } 157 158 /// Return true if this is x86 long double. isX86_FP80Ty()159 bool isX86_FP80Ty() const { return getTypeID() == X86_FP80TyID; } 160 161 /// Return true if this is 'fp128'. isFP128Ty()162 bool isFP128Ty() const { return getTypeID() == FP128TyID; } 163 164 /// Return true if this is powerpc long double. isPPC_FP128Ty()165 bool isPPC_FP128Ty() const { return getTypeID() == PPC_FP128TyID; } 166 167 /// Return true if this is a well-behaved IEEE-like type, which has a IEEE 168 /// compatible layout, and does not have non-IEEE values, such as x86_fp80's 169 /// unnormal values. isIEEELikeFPTy()170 bool isIEEELikeFPTy() const { 171 switch (getTypeID()) { 172 case DoubleTyID: 173 case FloatTyID: 174 case HalfTyID: 175 case BFloatTyID: 176 case FP128TyID: 177 return true; 178 default: 179 return false; 180 } 181 } 182 183 /// Return true if this is one of the floating-point types isFloatingPointTy()184 bool isFloatingPointTy() const { 185 return isIEEELikeFPTy() || getTypeID() == X86_FP80TyID || 186 getTypeID() == PPC_FP128TyID; 187 } 188 189 /// Returns true if this is a floating-point type that is an unevaluated sum 190 /// of multiple floating-point units. 191 /// An example of such a type is ppc_fp128, also known as double-double, which 192 /// consists of two IEEE 754 doubles. isMultiUnitFPType()193 bool isMultiUnitFPType() const { 194 return getTypeID() == PPC_FP128TyID; 195 } 196 197 LLVM_ABI const fltSemantics &getFltSemantics() const; 198 199 /// Return true if this is X86 AMX. isX86_AMXTy()200 bool isX86_AMXTy() const { return getTypeID() == X86_AMXTyID; } 201 202 /// Return true if this is a target extension type. isTargetExtTy()203 bool isTargetExtTy() const { return getTypeID() == TargetExtTyID; } 204 205 /// Return true if this is a target extension type with a scalable layout. 206 LLVM_ABI bool isScalableTargetExtTy() const; 207 208 /// Return true if this is a type whose size is a known multiple of vscale. 209 LLVM_ABI bool isScalableTy(SmallPtrSetImpl<const Type *> &Visited) const; 210 LLVM_ABI bool isScalableTy() const; 211 212 /// Return true if this type is or contains a target extension type that 213 /// disallows being used as a global. 214 LLVM_ABI bool 215 containsNonGlobalTargetExtType(SmallPtrSetImpl<const Type *> &Visited) const; 216 LLVM_ABI bool containsNonGlobalTargetExtType() const; 217 218 /// Return true if this type is or contains a target extension type that 219 /// disallows being used as a local. 220 LLVM_ABI bool 221 containsNonLocalTargetExtType(SmallPtrSetImpl<const Type *> &Visited) const; 222 LLVM_ABI bool containsNonLocalTargetExtType() const; 223 224 /// Return true if this is a FP type or a vector of FP. isFPOrFPVectorTy()225 bool isFPOrFPVectorTy() const { return getScalarType()->isFloatingPointTy(); } 226 227 /// Return true if this is 'label'. isLabelTy()228 bool isLabelTy() const { return getTypeID() == LabelTyID; } 229 230 /// Return true if this is 'metadata'. isMetadataTy()231 bool isMetadataTy() const { return getTypeID() == MetadataTyID; } 232 233 /// Return true if this is 'token'. isTokenTy()234 bool isTokenTy() const { return getTypeID() == TokenTyID; } 235 236 /// True if this is an instance of IntegerType. isIntegerTy()237 bool isIntegerTy() const { return getTypeID() == IntegerTyID; } 238 239 /// Return true if this is an IntegerType of the given width. 240 LLVM_ABI bool isIntegerTy(unsigned Bitwidth) const; 241 242 /// Return true if this is an integer type or a vector of integer types. isIntOrIntVectorTy()243 bool isIntOrIntVectorTy() const { return getScalarType()->isIntegerTy(); } 244 245 /// Return true if this is an integer type or a vector of integer types of 246 /// the given width. isIntOrIntVectorTy(unsigned BitWidth)247 bool isIntOrIntVectorTy(unsigned BitWidth) const { 248 return getScalarType()->isIntegerTy(BitWidth); 249 } 250 251 /// Return true if this is an integer type or a pointer type. isIntOrPtrTy()252 bool isIntOrPtrTy() const { return isIntegerTy() || isPointerTy(); } 253 254 /// True if this is an instance of FunctionType. isFunctionTy()255 bool isFunctionTy() const { return getTypeID() == FunctionTyID; } 256 257 /// True if this is an instance of StructType. isStructTy()258 bool isStructTy() const { return getTypeID() == StructTyID; } 259 260 /// True if this is an instance of ArrayType. isArrayTy()261 bool isArrayTy() const { return getTypeID() == ArrayTyID; } 262 263 /// True if this is an instance of PointerType. isPointerTy()264 bool isPointerTy() const { return getTypeID() == PointerTyID; } 265 266 /// Return true if this is a pointer type or a vector of pointer types. isPtrOrPtrVectorTy()267 bool isPtrOrPtrVectorTy() const { return getScalarType()->isPointerTy(); } 268 269 /// True if this is an instance of VectorType. isVectorTy()270 inline bool isVectorTy() const { 271 return getTypeID() == ScalableVectorTyID || getTypeID() == FixedVectorTyID; 272 } 273 274 // True if this is an instance of TargetExtType of RISC-V vector tuple. 275 LLVM_ABI bool isRISCVVectorTupleTy() const; 276 277 /// Return true if this type could be converted with a lossless BitCast to 278 /// type 'Ty'. For example, i8* to i32*. BitCasts are valid for types of the 279 /// same size only where no re-interpretation of the bits is done. 280 /// Determine if this type could be losslessly bitcast to Ty 281 LLVM_ABI bool canLosslesslyBitCastTo(Type *Ty) const; 282 283 /// Return true if this type is empty, that is, it has no elements or all of 284 /// its elements are empty. 285 LLVM_ABI bool isEmptyTy() const; 286 287 /// Return true if the type is "first class", meaning it is a valid type for a 288 /// Value. 289 LLVM_ABI bool isFirstClassType() const; 290 291 /// Return true if the type is a valid type for a register in codegen. This 292 /// includes all first-class types except struct and array types. isSingleValueType()293 bool isSingleValueType() const { 294 return isFloatingPointTy() || isIntegerTy() || isPointerTy() || 295 isVectorTy() || isX86_AMXTy() || isTargetExtTy(); 296 } 297 298 /// Return true if the type is an aggregate type. This means it is valid as 299 /// the first operand of an insertvalue or extractvalue instruction. This 300 /// includes struct and array types, but does not include vector types. isAggregateType()301 bool isAggregateType() const { 302 return getTypeID() == StructTyID || getTypeID() == ArrayTyID; 303 } 304 305 /// Return true if it makes sense to take the size of this type. To get the 306 /// actual size for a particular target, it is reasonable to use the 307 /// DataLayout subsystem to do this. 308 bool isSized(SmallPtrSetImpl<Type*> *Visited = nullptr) const { 309 // If it's a primitive, it is always sized. 310 if (getTypeID() == IntegerTyID || isFloatingPointTy() || 311 getTypeID() == PointerTyID || getTypeID() == X86_AMXTyID) 312 return true; 313 // If it is not something that can have a size (e.g. a function or label), 314 // it doesn't have a size. 315 if (getTypeID() != StructTyID && getTypeID() != ArrayTyID && 316 !isVectorTy() && getTypeID() != TargetExtTyID) 317 return false; 318 // Otherwise we have to try harder to decide. 319 return isSizedDerivedType(Visited); 320 } 321 322 /// Return the basic size of this type if it is a primitive type. These are 323 /// fixed by LLVM and are not target-dependent. 324 /// This will return zero if the type does not have a size or is not a 325 /// primitive type. 326 /// 327 /// If this is a scalable vector type, the scalable property will be set and 328 /// the runtime size will be a positive integer multiple of the base size. 329 /// 330 /// Note that this may not reflect the size of memory allocated for an 331 /// instance of the type or the number of bytes that are written when an 332 /// instance of the type is stored to memory. The DataLayout class provides 333 /// additional query functions to provide this information. 334 /// 335 LLVM_ABI TypeSize getPrimitiveSizeInBits() const LLVM_READONLY; 336 337 /// If this is a vector type, return the getPrimitiveSizeInBits value for the 338 /// element type. Otherwise return the getPrimitiveSizeInBits value for this 339 /// type. 340 LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY; 341 342 /// Return the width of the mantissa of this type. This is only valid on 343 /// floating-point types. If the FP type does not have a stable mantissa (e.g. 344 /// ppc long double), this method returns -1. 345 LLVM_ABI int getFPMantissaWidth() const; 346 347 /// If this is a vector type, return the element type, otherwise return 348 /// 'this'. getScalarType()349 inline Type *getScalarType() const { 350 if (isVectorTy()) 351 return getContainedType(0); 352 return const_cast<Type *>(this); 353 } 354 355 //===--------------------------------------------------------------------===// 356 // Type Iteration support. 357 // 358 using subtype_iterator = Type * const *; 359 subtype_begin()360 subtype_iterator subtype_begin() const { return ContainedTys; } subtype_end()361 subtype_iterator subtype_end() const { return &ContainedTys[NumContainedTys];} subtypes()362 ArrayRef<Type*> subtypes() const { 363 return ArrayRef(subtype_begin(), subtype_end()); 364 } 365 366 using subtype_reverse_iterator = std::reverse_iterator<subtype_iterator>; 367 subtype_rbegin()368 subtype_reverse_iterator subtype_rbegin() const { 369 return subtype_reverse_iterator(subtype_end()); 370 } subtype_rend()371 subtype_reverse_iterator subtype_rend() const { 372 return subtype_reverse_iterator(subtype_begin()); 373 } 374 375 /// This method is used to implement the type iterator (defined at the end of 376 /// the file). For derived types, this returns the types 'contained' in the 377 /// derived type. getContainedType(unsigned i)378 Type *getContainedType(unsigned i) const { 379 assert(i < NumContainedTys && "Index out of range!"); 380 return ContainedTys[i]; 381 } 382 383 /// Return the number of types in the derived type. getNumContainedTypes()384 unsigned getNumContainedTypes() const { return NumContainedTys; } 385 386 //===--------------------------------------------------------------------===// 387 // Helper methods corresponding to subclass methods. This forces a cast to 388 // the specified subclass and calls its accessor. "getArrayNumElements" (for 389 // example) is shorthand for cast<ArrayType>(Ty)->getNumElements(). This is 390 // only intended to cover the core methods that are frequently used, helper 391 // methods should not be added here. 392 393 LLVM_ABI inline unsigned getIntegerBitWidth() const; 394 395 LLVM_ABI inline Type *getFunctionParamType(unsigned i) const; 396 LLVM_ABI inline unsigned getFunctionNumParams() const; 397 LLVM_ABI inline bool isFunctionVarArg() const; 398 399 LLVM_ABI inline StringRef getStructName() const; 400 LLVM_ABI inline unsigned getStructNumElements() const; 401 LLVM_ABI inline Type *getStructElementType(unsigned N) const; 402 403 LLVM_ABI inline uint64_t getArrayNumElements() const; 404 getArrayElementType()405 Type *getArrayElementType() const { 406 assert(getTypeID() == ArrayTyID); 407 return ContainedTys[0]; 408 } 409 410 LLVM_ABI inline StringRef getTargetExtName() const; 411 412 /// Given vector type, change the element type, 413 /// whilst keeping the old number of elements. 414 /// For non-vectors simply returns \p EltTy. 415 LLVM_ABI inline Type *getWithNewType(Type *EltTy) const; 416 417 /// Given an integer or vector type, change the lane bitwidth to NewBitwidth, 418 /// whilst keeping the old number of lanes. 419 LLVM_ABI inline Type *getWithNewBitWidth(unsigned NewBitWidth) const; 420 421 /// Given scalar/vector integer type, returns a type with elements twice as 422 /// wide as in the original type. For vectors, preserves element count. 423 LLVM_ABI inline Type *getExtendedType() const; 424 425 /// Get the address space of this pointer or pointer vector type. 426 LLVM_ABI inline unsigned getPointerAddressSpace() const; 427 428 //===--------------------------------------------------------------------===// 429 // Static members exported by the Type class itself. Useful for getting 430 // instances of Type. 431 // 432 433 /// Return a type based on an identifier. 434 LLVM_ABI static Type *getPrimitiveType(LLVMContext &C, TypeID IDNumber); 435 436 //===--------------------------------------------------------------------===// 437 // These are the builtin types that are always available. 438 // 439 LLVM_ABI static Type *getVoidTy(LLVMContext &C); 440 LLVM_ABI static Type *getLabelTy(LLVMContext &C); 441 LLVM_ABI static Type *getHalfTy(LLVMContext &C); 442 LLVM_ABI static Type *getBFloatTy(LLVMContext &C); 443 LLVM_ABI static Type *getFloatTy(LLVMContext &C); 444 LLVM_ABI static Type *getDoubleTy(LLVMContext &C); 445 LLVM_ABI static Type *getMetadataTy(LLVMContext &C); 446 LLVM_ABI static Type *getX86_FP80Ty(LLVMContext &C); 447 LLVM_ABI static Type *getFP128Ty(LLVMContext &C); 448 LLVM_ABI static Type *getPPC_FP128Ty(LLVMContext &C); 449 LLVM_ABI static Type *getX86_AMXTy(LLVMContext &C); 450 LLVM_ABI static Type *getTokenTy(LLVMContext &C); 451 LLVM_ABI static IntegerType *getIntNTy(LLVMContext &C, unsigned N); 452 LLVM_ABI static IntegerType *getInt1Ty(LLVMContext &C); 453 LLVM_ABI static IntegerType *getInt8Ty(LLVMContext &C); 454 LLVM_ABI static IntegerType *getInt16Ty(LLVMContext &C); 455 LLVM_ABI static IntegerType *getInt32Ty(LLVMContext &C); 456 LLVM_ABI static IntegerType *getInt64Ty(LLVMContext &C); 457 LLVM_ABI static IntegerType *getInt128Ty(LLVMContext &C); getScalarTy(LLVMContext & C)458 template <typename ScalarTy> static Type *getScalarTy(LLVMContext &C) { 459 int noOfBits = sizeof(ScalarTy) * CHAR_BIT; 460 if (std::is_integral<ScalarTy>::value) { 461 return (Type*) Type::getIntNTy(C, noOfBits); 462 } else if (std::is_floating_point<ScalarTy>::value) { 463 switch (noOfBits) { 464 case 32: 465 return Type::getFloatTy(C); 466 case 64: 467 return Type::getDoubleTy(C); 468 } 469 } 470 llvm_unreachable("Unsupported type in Type::getScalarTy"); 471 } 472 LLVM_ABI static Type *getFloatingPointTy(LLVMContext &C, 473 const fltSemantics &S); 474 475 //===--------------------------------------------------------------------===// 476 // Convenience methods for getting pointer types. 477 // 478 LLVM_ABI static Type *getWasm_ExternrefTy(LLVMContext &C); 479 LLVM_ABI static Type *getWasm_FuncrefTy(LLVMContext &C); 480 481 /// Return a pointer to the current type. This is equivalent to 482 /// PointerType::get(Ctx, AddrSpace). 483 /// TODO: Remove this after opaque pointer transition is complete. 484 LLVM_ABI LLVM_DEPRECATED("Use PointerType::get instead", "PointerType::get") 485 PointerType *getPointerTo(unsigned AddrSpace = 0) const; 486 487 private: 488 /// Derived types like structures and arrays are sized iff all of the members 489 /// of the type are sized as well. Since asking for their size is relatively 490 /// uncommon, move this operation out-of-line. 491 LLVM_ABI bool 492 isSizedDerivedType(SmallPtrSetImpl<Type *> *Visited = nullptr) const; 493 }; 494 495 // Printing of types. 496 inline raw_ostream &operator<<(raw_ostream &OS, const Type &T) { 497 T.print(OS); 498 return OS; 499 } 500 501 // allow isa<PointerType>(x) to work without DerivedTypes.h included. 502 template <> struct isa_impl<PointerType, Type> { 503 static inline bool doit(const Type &Ty) { 504 return Ty.getTypeID() == Type::PointerTyID; 505 } 506 }; 507 508 // Create wrappers for C Binding types (see CBindingWrapping.h). 509 DEFINE_ISA_CONVERSION_FUNCTIONS(Type, LLVMTypeRef) 510 511 /* Specialized opaque type conversions. 512 */ 513 inline Type **unwrap(LLVMTypeRef* Tys) { 514 return reinterpret_cast<Type**>(Tys); 515 } 516 517 inline LLVMTypeRef *wrap(Type **Tys) { 518 return reinterpret_cast<LLVMTypeRef *>(Tys); 519 } 520 521 } // end namespace llvm 522 523 #endif // LLVM_IR_TYPE_H 524