xref: /freebsd/contrib/llvm-project/llvm/include/llvm/IR/Type.h (revision 700637cbb5e582861067a11aaca4d053546871d2)
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