include/llvm/IR/Type.h

   1 //===-- llvm/Type.h - Classes for handling data types -----------*- C++ -*-===//
   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 contains the declaration of the Type class.  For more "Type"
  11 // stuff, look in DerivedTypes.h.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_IR_TYPE_H
  16 #define LLVM_IR_TYPE_H
  17
  18 #include "llvm-c/Core.h"
  19 #include "llvm/ADT/APFloat.h"
  20 #include "llvm/ADT/SmallPtrSet.h"
  21 #include "llvm/Support/CBindingWrapping.h"
  22 #include "llvm/Support/Casting.h"
  23 #include "llvm/Support/DataTypes.h"
  24 #include "llvm/Support/ErrorHandling.h"
  25
  26 namespace llvm {
  27
  28 class PointerType;
  29 class IntegerType;
  30 class raw_ostream;
  31 class Module;
  32 class LLVMContext;
  33 class LLVMContextImpl;
  34 class StringRef;
  35 template<class GraphType> struct GraphTraits;
  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 - make sure LastPrimitiveTyID stays up to date.
  56     VoidTyID = 0,    ///<  0: type with no size
  57     HalfTyID,        ///<  1: 16-bit floating point type
  58     FloatTyID,       ///<  2: 32-bit floating point type
  59     DoubleTyID,      ///<  3: 64-bit floating point type
  60     X86_FP80TyID,    ///<  4: 80-bit floating point type (X87)
  61     FP128TyID,       ///<  5: 128-bit floating point type (112-bit mantissa)
  62     PPC_FP128TyID,   ///<  6: 128-bit floating point type (two 64-bits, PowerPC)
  63     LabelTyID,       ///<  7: Labels
  64     MetadataTyID,    ///<  8: Metadata
  65     X86_MMXTyID,     ///<  9: MMX vectors (64 bits, X86 specific)
  66
  67     // Derived types... see DerivedTypes.h file.
  68     // Make sure FirstDerivedTyID stays up to date!
  69     IntegerTyID,     ///< 10: Arbitrary bit width integers
  70     FunctionTyID,    ///< 11: Functions
  71     StructTyID,      ///< 12: Structures
  72     ArrayTyID,       ///< 13: Arrays
  73     PointerTyID,     ///< 14: Pointers
  74     VectorTyID       ///< 15: SIMD 'packed' format, or other vector type
  75   };
  76
  77 private:
  78   /// Context - This refers to the LLVMContext in which this type was uniqued.
  79   LLVMContext &Context;
  80
  81   TypeID   ID : 8;            // The current base type of this type.
  82   unsigned SubclassData : 24; // Space for subclasses to store data.
  83
  84 protected:
  85   friend class LLVMContextImpl;
  86   explicit Type(LLVMContext &C, TypeID tid)
  87     : Context(C), ID(tid), SubclassData(0),
  88       NumContainedTys(0), ContainedTys(nullptr) {}
  89   ~Type() = default;
  90
  91   unsigned getSubclassData() const { return SubclassData; }
  92
  93   void setSubclassData(unsigned val) {
  94     SubclassData = val;
  95     // Ensure we don't have any accidental truncation.
  96     assert(getSubclassData() == val && "Subclass data too large for field");
  97   }
  98
  99   /// NumContainedTys - Keeps track of how many Type*'s there are in the
 100   /// ContainedTys list.
 101   unsigned NumContainedTys;
 102
 103   /// ContainedTys - A pointer to the array of Types contained by this Type.
 104   /// For example, this includes the arguments of a function type, the elements
 105   /// of a structure, the pointee of a pointer, the element type of an array,
 106   /// etc.  This pointer may be 0 for types that don't contain other types
 107   /// (Integer, Double, Float).
 108   Type * const *ContainedTys;
 109
 110 public:
 111   void print(raw_ostream &O) const;
 112   void dump() const;
 113
 114   /// getContext - Return the LLVMContext in which this type was uniqued.
 115   LLVMContext &getContext() const { return Context; }
 116
 117   //===--------------------------------------------------------------------===//
 118   // Accessors for working with types.
 119   //
 120
 121   /// getTypeID - Return the type id for the type.  This will return one
 122   /// of the TypeID enum elements defined above.
 123   ///
 124   TypeID getTypeID() const { return ID; }
 125
 126   /// isVoidTy - Return true if this is 'void'.
 127   bool isVoidTy() const { return getTypeID() == VoidTyID; }
 128
 129   /// isHalfTy - Return true if this is 'half', a 16-bit IEEE fp type.
 130   bool isHalfTy() const { return getTypeID() == HalfTyID; }
 131
 132   /// isFloatTy - Return true if this is 'float', a 32-bit IEEE fp type.
 133   bool isFloatTy() const { return getTypeID() == FloatTyID; }
 134
 135   /// isDoubleTy - Return true if this is 'double', a 64-bit IEEE fp type.
 136   bool isDoubleTy() const { return getTypeID() == DoubleTyID; }
 137
 138   /// isX86_FP80Ty - Return true if this is x86 long double.
 139   bool isX86_FP80Ty() const { return getTypeID() == X86_FP80TyID; }
 140
 141   /// isFP128Ty - Return true if this is 'fp128'.
 142   bool isFP128Ty() const { return getTypeID() == FP128TyID; }
 143
 144   /// isPPC_FP128Ty - Return true if this is powerpc long double.
 145   bool isPPC_FP128Ty() const { return getTypeID() == PPC_FP128TyID; }
 146
 147   /// isFloatingPointTy - Return true if this is one of the six floating point
 148   /// types
 149   bool isFloatingPointTy() const {
 150     return getTypeID() == HalfTyID || getTypeID() == FloatTyID ||
 151            getTypeID() == DoubleTyID ||
 152            getTypeID() == X86_FP80TyID || getTypeID() == FP128TyID ||
 153            getTypeID() == PPC_FP128TyID;
 154   }
 155
 156   const fltSemantics &getFltSemantics() const {
 157     switch (getTypeID()) {
 158     case HalfTyID: return APFloat::IEEEhalf;
 159     case FloatTyID: return APFloat::IEEEsingle;
 160     case DoubleTyID: return APFloat::IEEEdouble;
 161     case X86_FP80TyID: return APFloat::x87DoubleExtended;
 162     case FP128TyID: return APFloat::IEEEquad;
 163     case PPC_FP128TyID: return APFloat::PPCDoubleDouble;
 164     default: llvm_unreachable("Invalid floating type");
 165     }
 166   }
 167
 168   /// isX86_MMXTy - Return true if this is X86 MMX.
 169   bool isX86_MMXTy() const { return getTypeID() == X86_MMXTyID; }
 170
 171   /// isFPOrFPVectorTy - Return true if this is a FP type or a vector of FP.
 172   ///
 173   bool isFPOrFPVectorTy() const { return getScalarType()->isFloatingPointTy(); }
 174
 175   /// isLabelTy - Return true if this is 'label'.
 176   bool isLabelTy() const { return getTypeID() == LabelTyID; }
 177
 178   /// isMetadataTy - Return true if this is 'metadata'.
 179   bool isMetadataTy() const { return getTypeID() == MetadataTyID; }
 180
 181   /// isIntegerTy - True if this is an instance of IntegerType.
 182   ///
 183   bool isIntegerTy() const { return getTypeID() == IntegerTyID; }
 184
 185   /// isIntegerTy - Return true if this is an IntegerType of the given width.
 186   bool isIntegerTy(unsigned Bitwidth) const;
 187
 188   /// isIntOrIntVectorTy - Return true if this is an integer type or a vector of
 189   /// integer types.
 190   ///
 191   bool isIntOrIntVectorTy() const { return getScalarType()->isIntegerTy(); }
 192
 193   /// isFunctionTy - True if this is an instance of FunctionType.
 194   ///
 195   bool isFunctionTy() const { return getTypeID() == FunctionTyID; }
 196
 197   /// isStructTy - True if this is an instance of StructType.
 198   ///
 199   bool isStructTy() const { return getTypeID() == StructTyID; }
 200
 201   /// isArrayTy - True if this is an instance of ArrayType.
 202   ///
 203   bool isArrayTy() const { return getTypeID() == ArrayTyID; }
 204
 205   /// isPointerTy - True if this is an instance of PointerType.
 206   ///
 207   bool isPointerTy() const { return getTypeID() == PointerTyID; }
 208
 209   /// isPtrOrPtrVectorTy - Return true if this is a pointer type or a vector of
 210   /// pointer types.
 211   ///
 212   bool isPtrOrPtrVectorTy() const { return getScalarType()->isPointerTy(); }
 213
 214   /// isVectorTy - True if this is an instance of VectorType.
 215   ///
 216   bool isVectorTy() const { return getTypeID() == VectorTyID; }
 217
 218   /// canLosslesslyBitCastTo - Return true if this type could be converted
 219   /// with a lossless BitCast to type 'Ty'. For example, i8* to i32*. BitCasts
 220   /// are valid for types of the same size only where no re-interpretation of
 221   /// the bits is done.
 222   /// @brief Determine if this type could be losslessly bitcast to Ty
 223   bool canLosslesslyBitCastTo(Type *Ty) const;
 224
 225   /// isEmptyTy - Return true if this type is empty, that is, it has no
 226   /// elements or all its elements are empty.
 227   bool isEmptyTy() const;
 228
 229   /// isFirstClassType - Return true if the type is "first class", meaning it
 230   /// is a valid type for a Value.
 231   ///
 232   bool isFirstClassType() const {
 233     return getTypeID() != FunctionTyID && getTypeID() != VoidTyID;
 234   }
 235
 236   /// isSingleValueType - Return true if the type is a valid type for a
 237   /// register in codegen.  This includes all first-class types except struct
 238   /// and array types.
 239   ///
 240   bool isSingleValueType() const {
 241     return isFloatingPointTy() || isX86_MMXTy() || isIntegerTy() ||
 242            isPointerTy() || isVectorTy();
 243   }
 244
 245   /// isAggregateType - Return true if the type is an aggregate type. This
 246   /// means it is valid as the first operand of an insertvalue or
 247   /// extractvalue instruction. This includes struct and array types, but
 248   /// does not include vector types.
 249   ///
 250   bool isAggregateType() const {
 251     return getTypeID() == StructTyID || getTypeID() == ArrayTyID;
 252   }
 253
 254   /// isSized - Return true if it makes sense to take the size of this type.  To
 255   /// get the actual size for a particular target, it is reasonable to use the
 256   /// DataLayout subsystem to do this.
 257   ///
 258   bool isSized(SmallPtrSetImpl<Type*> *Visited = nullptr) const {
 259     // If it's a primitive, it is always sized.
 260     if (getTypeID() == IntegerTyID || isFloatingPointTy() ||
 261         getTypeID() == PointerTyID ||
 262         getTypeID() == X86_MMXTyID)
 263       return true;
 264     // If it is not something that can have a size (e.g. a function or label),
 265     // it doesn't have a size.
 266     if (getTypeID() != StructTyID && getTypeID() != ArrayTyID &&
 267         getTypeID() != VectorTyID)
 268       return false;
 269     // Otherwise we have to try harder to decide.
 270     return isSizedDerivedType(Visited);
 271   }
 272
 273   /// getPrimitiveSizeInBits - Return the basic size of this type if it is a
 274   /// primitive type.  These are fixed by LLVM and are not target dependent.
 275   /// This will return zero if the type does not have a size or is not a
 276   /// primitive type.
 277   ///
 278   /// Note that this may not reflect the size of memory allocated for an
 279   /// instance of the type or the number of bytes that are written when an
 280   /// instance of the type is stored to memory. The DataLayout class provides
 281   /// additional query functions to provide this information.
 282   ///
 283   unsigned getPrimitiveSizeInBits() const LLVM_READONLY;
 284
 285   /// getScalarSizeInBits - If this is a vector type, return the
 286   /// getPrimitiveSizeInBits value for the element type. Otherwise return the
 287   /// getPrimitiveSizeInBits value for this type.
 288   unsigned getScalarSizeInBits() const LLVM_READONLY;
 289
 290   /// getFPMantissaWidth - Return the width of the mantissa of this type.  This
 291   /// is only valid on floating point types.  If the FP type does not
 292   /// have a stable mantissa (e.g. ppc long double), this method returns -1.
 293   int getFPMantissaWidth() const;
 294
 295   /// getScalarType - If this is a vector type, return the element type,
 296   /// otherwise return 'this'.
 297   Type *getScalarType() const LLVM_READONLY;
 298
 299   //===--------------------------------------------------------------------===//
 300   // Type Iteration support.
 301   //
 302   typedef Type * const *subtype_iterator;
 303   subtype_iterator subtype_begin() const { return ContainedTys; }
 304   subtype_iterator subtype_end() const { return &ContainedTys[NumContainedTys];}
 305   ArrayRef<Type*> subtypes() const {
 306     return makeArrayRef(subtype_begin(), subtype_end());
 307   }
 308
 309   typedef std::reverse_iterator<subtype_iterator> subtype_reverse_iterator;
 310   subtype_reverse_iterator subtype_rbegin() const {
 311     return subtype_reverse_iterator(subtype_end());
 312   }
 313   subtype_reverse_iterator subtype_rend() const {
 314     return subtype_reverse_iterator(subtype_begin());
 315   }
 316
 317   /// getContainedType - This method is used to implement the type iterator
 318   /// (defined at the end of the file).  For derived types, this returns the
 319   /// types 'contained' in the derived type.
 320   ///
 321   Type *getContainedType(unsigned i) const {
 322     assert(i < NumContainedTys && "Index out of range!");
 323     return ContainedTys[i];
 324   }
 325
 326   /// getNumContainedTypes - Return the number of types in the derived type.
 327   ///
 328   unsigned getNumContainedTypes() const { return NumContainedTys; }
 329
 330   //===--------------------------------------------------------------------===//
 331   // Helper methods corresponding to subclass methods.  This forces a cast to
 332   // the specified subclass and calls its accessor.  "getVectorNumElements" (for
 333   // example) is shorthand for cast<VectorType>(Ty)->getNumElements().  This is
 334   // only intended to cover the core methods that are frequently used, helper
 335   // methods should not be added here.
 336
 337   unsigned getIntegerBitWidth() const;
 338
 339   Type *getFunctionParamType(unsigned i) const;
 340   unsigned getFunctionNumParams() const;
 341   bool isFunctionVarArg() const;
 342
 343   StringRef getStructName() const;
 344   unsigned getStructNumElements() const;
 345   Type *getStructElementType(unsigned N) const;
 346
 347   Type *getSequentialElementType() const;
 348
 349   uint64_t getArrayNumElements() const;
 350   Type *getArrayElementType() const { return getSequentialElementType(); }
 351
 352   unsigned getVectorNumElements() const;
 353   Type *getVectorElementType() const { return getSequentialElementType(); }
 354
 355   Type *getPointerElementType() const { return getSequentialElementType(); }
 356
 357   /// \brief Get the address space of this pointer or pointer vector type.
 358   unsigned getPointerAddressSpace() const;
 359
 360   //===--------------------------------------------------------------------===//
 361   // Static members exported by the Type class itself.  Useful for getting
 362   // instances of Type.
 363   //
 364
 365   /// getPrimitiveType - Return a type based on an identifier.
 366   static Type *getPrimitiveType(LLVMContext &C, TypeID IDNumber);
 367
 368   //===--------------------------------------------------------------------===//
 369   // These are the builtin types that are always available.
 370   //
 371   static Type *getVoidTy(LLVMContext &C);
 372   static Type *getLabelTy(LLVMContext &C);
 373   static Type *getHalfTy(LLVMContext &C);
 374   static Type *getFloatTy(LLVMContext &C);
 375   static Type *getDoubleTy(LLVMContext &C);
 376   static Type *getMetadataTy(LLVMContext &C);
 377   static Type *getX86_FP80Ty(LLVMContext &C);
 378   static Type *getFP128Ty(LLVMContext &C);
 379   static Type *getPPC_FP128Ty(LLVMContext &C);
 380   static Type *getX86_MMXTy(LLVMContext &C);
 381   static IntegerType *getIntNTy(LLVMContext &C, unsigned N);
 382   static IntegerType *getInt1Ty(LLVMContext &C);
 383   static IntegerType *getInt8Ty(LLVMContext &C);
 384   static IntegerType *getInt16Ty(LLVMContext &C);
 385   static IntegerType *getInt32Ty(LLVMContext &C);
 386   static IntegerType *getInt64Ty(LLVMContext &C);
 387   static IntegerType *getInt128Ty(LLVMContext &C);
 388
 389   //===--------------------------------------------------------------------===//
 390   // Convenience methods for getting pointer types with one of the above builtin
 391   // types as pointee.
 392   //
 393   static PointerType *getHalfPtrTy(LLVMContext &C, unsigned AS = 0);
 394   static PointerType *getFloatPtrTy(LLVMContext &C, unsigned AS = 0);
 395   static PointerType *getDoublePtrTy(LLVMContext &C, unsigned AS = 0);
 396   static PointerType *getX86_FP80PtrTy(LLVMContext &C, unsigned AS = 0);
 397   static PointerType *getFP128PtrTy(LLVMContext &C, unsigned AS = 0);
 398   static PointerType *getPPC_FP128PtrTy(LLVMContext &C, unsigned AS = 0);
 399   static PointerType *getX86_MMXPtrTy(LLVMContext &C, unsigned AS = 0);
 400   static PointerType *getIntNPtrTy(LLVMContext &C, unsigned N, unsigned AS = 0);
 401   static PointerType *getInt1PtrTy(LLVMContext &C, unsigned AS = 0);
 402   static PointerType *getInt8PtrTy(LLVMContext &C, unsigned AS = 0);
 403   static PointerType *getInt16PtrTy(LLVMContext &C, unsigned AS = 0);
 404   static PointerType *getInt32PtrTy(LLVMContext &C, unsigned AS = 0);
 405   static PointerType *getInt64PtrTy(LLVMContext &C, unsigned AS = 0);
 406
 407   /// getPointerTo - Return a pointer to the current type.  This is equivalent
 408   /// to PointerType::get(Foo, AddrSpace).
 409   PointerType *getPointerTo(unsigned AddrSpace = 0) const;
 410
 411 private:
 412   /// isSizedDerivedType - Derived types like structures and arrays are sized
 413   /// iff all of the members of the type are sized as well.  Since asking for
 414   /// their size is relatively uncommon, move this operation out of line.
 415   bool isSizedDerivedType(SmallPtrSetImpl<Type*> *Visited = nullptr) const;
 416 };
 417
 418 // Printing of types.
 419 static inline raw_ostream &operator<<(raw_ostream &OS, Type &T) {
 420   T.print(OS);
 421   return OS;
 422 }
 423
 424 // allow isa<PointerType>(x) to work without DerivedTypes.h included.
 425 template <> struct isa_impl<PointerType, Type> {
 426   static inline bool doit(const Type &Ty) {
 427     return Ty.getTypeID() == Type::PointerTyID;
 428   }
 429 };
 430
 431
 432 //===----------------------------------------------------------------------===//
 433 // Provide specializations of GraphTraits to be able to treat a type as a
 434 // graph of sub types.
 435
 436
 437 template <> struct GraphTraits<Type*> {
 438   typedef Type NodeType;
 439   typedef Type::subtype_iterator ChildIteratorType;
 440
 441   static inline NodeType *getEntryNode(Type *T) { return T; }
 442   static inline ChildIteratorType child_begin(NodeType *N) {
 443     return N->subtype_begin();
 444   }
 445   static inline ChildIteratorType child_end(NodeType *N) {
 446     return N->subtype_end();
 447   }
 448 };
 449
 450 template <> struct GraphTraits<const Type*> {
 451   typedef const Type NodeType;
 452   typedef Type::subtype_iterator ChildIteratorType;
 453
 454   static inline NodeType *getEntryNode(NodeType *T) { return T; }
 455   static inline ChildIteratorType child_begin(NodeType *N) {
 456     return N->subtype_begin();
 457   }
 458   static inline ChildIteratorType child_end(NodeType *N) {
 459     return N->subtype_end();
 460   }
 461 };
 462
 463 // Create wrappers for C Binding types (see CBindingWrapping.h).
 464 DEFINE_ISA_CONVERSION_FUNCTIONS(Type, LLVMTypeRef)
 465
 466 /* Specialized opaque type conversions.
 467  */
 468 inline Type **unwrap(LLVMTypeRef* Tys) {
 469   return reinterpret_cast<Type**>(Tys);
 470 }
 471
 472 inline LLVMTypeRef *wrap(Type **Tys) {
 473   return reinterpret_cast<LLVMTypeRef*>(const_cast<Type**>(Tys));
 474 }
 475
 476 } // End llvm namespace
 477
 478 #endif