X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fllvm%2FDerivedTypes.h;h=6013c265f0b1700ae86c76722d30231ef4408736;hb=c651e4c51e11feb58e6c12fee8a8f85631269f2f;hp=58a08960279badeffee685b1be110d8874b81aee;hpb=3afbb1ab105f2fd0065a46265c6d9a45de5475ef;p=oota-llvm.git diff --git a/include/llvm/DerivedTypes.h b/include/llvm/DerivedTypes.h index 58a08960279..6013c265f0b 100644 --- a/include/llvm/DerivedTypes.h +++ b/include/llvm/DerivedTypes.h @@ -1,13 +1,13 @@ //===-- llvm/DerivedTypes.h - Classes for handling data types ---*- C++ -*-===// -// +// // The LLVM Compiler Infrastructure // // This file was developed by the LLVM research group and is distributed under // the University of Illinois Open Source License. See LICENSE.TXT for details. -// +// //===----------------------------------------------------------------------===// // -// This file contains the declarations of classes that represent "derived +// This file contains the declarations of classes that represent "derived // types". These are things like "arrays of x" or "structure of x, y, z" or // "method returning x taking (y,z) as parameters", etc... // @@ -22,23 +22,22 @@ namespace llvm { +class Value; template class TypeMap; class FunctionValType; class ArrayValType; class StructValType; class PointerValType; +class VectorValType; +class IntegerValType; +class APInt; +class ParamAttrsList; -class DerivedType : public Type, public AbstractTypeUser { - // AbstractTypeUsers - Implement a list of the users that need to be notified - // if I am a type, and I get resolved into a more concrete type. - // - mutable std::vector AbstractTypeUsers; +class DerivedType : public Type { + friend class Type; protected: - DerivedType(PrimitiveID id) : Type("", id) {} - ~DerivedType() { - assert(AbstractTypeUsers.empty()); - } + explicit DerivedType(TypeID id) : Type(id) {} /// notifyUsesThatTypeBecameConcrete - Notify AbstractTypeUsers of this type /// that the current type has transitioned from being abstract to being @@ -52,12 +51,6 @@ protected: /// void dropAllTypeUses(); - void RefCountIsZero() const { - if (AbstractTypeUsers.empty()) - delete this; - } - - public: //===--------------------------------------------------------------------===// @@ -65,22 +58,6 @@ public: // are managed by (add|remove)AbstractTypeUser. See comments in // AbstractTypeUser.h for more information. - /// addAbstractTypeUser - Notify an abstract type that there is a new user of - /// it. This function is called primarily by the PATypeHandle class. - /// - void addAbstractTypeUser(AbstractTypeUser *U) const { - assert(isAbstract() && "addAbstractTypeUser: Current type not abstract!"); - AbstractTypeUsers.push_back(U); - } - - /// removeAbstractTypeUser - Notify an abstract type that a user of the class - /// no longer has a handle to the type. This function is called primarily by - /// the PATypeHandle class. When there are no users of the abstract type, it - /// is annihilated, because there is no way to get a reference to it ever - /// again. - /// - void removeAbstractTypeUser(AbstractTypeUser *U) const; - /// refineAbstractTypeTo - This function is used to when it is discovered that /// the 'this' abstract type is actually equivalent to the NewType specified. /// This causes all users of 'this' to switch to reference the more concrete @@ -95,8 +72,65 @@ public: static inline bool classof(const Type *T) { return T->isDerivedType(); } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); +}; + +/// Class to represent integer types. Note that this class is also used to +/// represent the built-in integer types: Int1Ty, Int8Ty, Int16Ty, Int32Ty and +/// Int64Ty. +/// @brief Integer representation type +class IntegerType : public DerivedType { +protected: + explicit IntegerType(unsigned NumBits) : DerivedType(IntegerTyID) { + setSubclassData(NumBits); + } + friend class TypeMap; +public: + /// This enum is just used to hold constants we need for IntegerType. + enum { + MIN_INT_BITS = 1, ///< Minimum number of bits that can be specified + MAX_INT_BITS = (1<<23)-1 ///< Maximum number of bits that can be specified + ///< Note that bit width is stored in the Type classes SubclassData field + ///< which has 23 bits. This yields a maximum bit width of 8,388,607 bits. + }; + + /// This static method is the primary way of constructing an IntegerType. + /// If an IntegerType with the same NumBits value was previously instantiated, + /// that instance will be returned. Otherwise a new one will be created. Only + /// one instance with a given NumBits value is ever created. + /// @brief Get or create an IntegerType instance. + static const IntegerType* get(unsigned NumBits); + + /// @brief Get the number of bits in this IntegerType + unsigned getBitWidth() const { return getSubclassData(); } + + /// getBitMask - Return a bitmask with ones set for all of the bits + /// that can be set by an unsigned version of this type. This is 0xFF for + /// sbyte/ubyte, 0xFFFF for shorts, etc. + uint64_t getBitMask() const { + return ~uint64_t(0UL) >> (64-getBitWidth()); + } + + /// getSignBit - Return a uint64_t with just the most significant bit set (the + /// sign bit, if the value is treated as a signed number). + uint64_t getSignBit() const { + return 1ULL << (getBitWidth()-1); + } + + /// For example, this is 0xFF for an 8 bit integer, 0xFFFF for i16, etc. + /// @returns a bit mask with ones set for all the bits of this type. + /// @brief Get a bit mask for this type. + APInt getMask() const; + + /// This method determines if the width of this IntegerType is a power-of-2 + /// in terms of 8 bit bytes. + /// @returns true if this is a power-of-2 byte width. + /// @brief Is this a power-of-2 byte-width IntegerType ? + bool isPowerOf2ByteWidth() const; + + // Methods for support type inquiry through isa, cast, and dyn_cast: + static inline bool classof(const IntegerType *T) { return true; } + static inline bool classof(const Type *T) { + return T->getTypeID() == IntegerTyID; } }; @@ -106,33 +140,34 @@ public: class FunctionType : public DerivedType { friend class TypeMap; bool isVarArgs; + ParamAttrsList *ParamAttrs; FunctionType(const FunctionType &); // Do not implement const FunctionType &operator=(const FunctionType &); // Do not implement -protected: - /// This should really be private, but it squelches a bogus warning - /// from GCC to make them protected: warning: `class FunctionType' only - /// defines private constructors and has no friends - /// - /// Private ctor - Only can be created by a static member... - /// - FunctionType(const Type *Result, const std::vector &Params, - bool IsVarArgs); + FunctionType(const Type *Result, const std::vector &Params, + bool IsVarArgs, ParamAttrsList *Attrs = 0); public: /// FunctionType::get - This static method is the primary way of constructing - /// a FunctionType + /// a FunctionType. /// - static FunctionType *get(const Type *Result, - const std::vector &Params, - bool isVarArg); + static FunctionType *get( + const Type *Result, ///< The result type + const std::vector &Params, ///< The types of the parameters + bool isVarArg, ///< Whether this is a variable argument length function + ParamAttrsList *Attrs = 0 + ///< Indicates the parameter attributes to use, if any. The 0th entry + ///< in the list refers to the return type. Parameters are numbered + ///< starting at 1. This argument must be on the heap and FunctionType + ///< owns it after its passed here. + ); inline bool isVarArg() const { return isVarArgs; } inline const Type *getReturnType() const { return ContainedTys[0]; } - typedef std::vector::const_iterator param_iterator; - param_iterator param_begin() const { return ContainedTys.begin()+1; } - param_iterator param_end() const { return ContainedTys.end(); } + typedef Type::subtype_iterator param_iterator; + param_iterator param_begin() const { return ContainedTys + 1; } + param_iterator param_end() const { return &ContainedTys[NumContainedTys]; } // Parameter type accessors... const Type *getParamType(unsigned i) const { return ContainedTys[i+1]; } @@ -140,28 +175,33 @@ public: /// getNumParams - Return the number of fixed parameters this function type /// requires. This does not consider varargs. /// - unsigned getNumParams() const { return ContainedTys.size()-1; } + unsigned getNumParams() const { return NumContainedTys - 1; } + + bool isStructReturn() const; + + /// The parameter attributes for the \p ith parameter are returned. The 0th + /// parameter refers to the return type of the function. + /// @returns The ParameterAttributes for the \p ith parameter. + /// @brief Get the attributes for a parameter + const ParamAttrsList *getParamAttrs() const { return ParamAttrs; } // Implement the AbstractTypeUser interface. virtual void refineAbstractType(const DerivedType *OldTy, const Type *NewTy); virtual void typeBecameConcrete(const DerivedType *AbsTy); - + // Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const FunctionType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == FunctionTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == FunctionTyID; } }; -/// CompositeType - Common super class of ArrayType, StructType, and PointerType -/// +/// CompositeType - Common super class of ArrayType, StructType, PointerType +/// and VectorType class CompositeType : public DerivedType { protected: - inline CompositeType(PrimitiveID id) : DerivedType(id) { } + inline explicit CompositeType(TypeID id) : DerivedType(id) { } public: /// getTypeAtIndex - Given an index value into the type, return the type of @@ -173,12 +213,10 @@ public: // Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const CompositeType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == ArrayTyID || - T->getPrimitiveID() == StructTyID || - T->getPrimitiveID() == PointerTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == ArrayTyID || + T->getTypeID() == StructTyID || + T->getTypeID() == PointerTyID || + T->getTypeID() == VectorTyID; } }; @@ -189,31 +227,23 @@ class StructType : public CompositeType { friend class TypeMap; StructType(const StructType &); // Do not implement const StructType &operator=(const StructType &); // Do not implement - -protected: - /// This should really be private, but it squelches a bogus warning - /// from GCC to make them protected: warning: `class StructType' only - /// defines private constructors and has no friends - /// - /// Private ctor - Only can be created by a static member... - /// - StructType(const std::vector &Types); - + StructType(const std::vector &Types, bool isPacked); public: /// StructType::get - This static method is the primary way to create a /// StructType. /// - static StructType *get(const std::vector &Params); + static StructType *get(const std::vector &Params, + bool isPacked=false); // Iterator access to the elements - typedef std::vector::const_iterator element_iterator; - element_iterator element_begin() const { return ContainedTys.begin(); } - element_iterator element_end() const { return ContainedTys.end(); } + typedef Type::subtype_iterator element_iterator; + element_iterator element_begin() const { return ContainedTys; } + element_iterator element_end() const { return &ContainedTys[NumContainedTys];} // Random access to the elements - unsigned getNumElements() const { return ContainedTys.size(); } + unsigned getNumElements() const { return NumContainedTys; } const Type *getElementType(unsigned N) const { - assert(N < ContainedTys.size() && "Element number out of range!"); + assert(N < NumContainedTys && "Element number out of range!"); return ContainedTys[N]; } @@ -230,59 +260,50 @@ public: // Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const StructType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == StructTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == StructTyID; } + + bool isPacked() const { return getSubclassData(); } }; -/// SequentialType - This is the superclass of the array and pointer type -/// classes. Both of these represent "arrays" in memory. The array type +/// SequentialType - This is the superclass of the array, pointer and packed +/// type classes. All of these represent "arrays" in memory. The array type /// represents a specifically sized array, pointer types are unsized/unknown -/// size arrays. SequentialType holds the common features of both, which stem -/// from the fact that both lay their components out in memory identically. +/// size arrays, vector types represent specifically sized arrays that +/// allow for use of SIMD instructions. SequentialType holds the common +/// features of all, which stem from the fact that all three lay their +/// components out in memory identically. /// class SequentialType : public CompositeType { + PATypeHandle ContainedType; ///< Storage for the single contained type SequentialType(const SequentialType &); // Do not implement! const SequentialType &operator=(const SequentialType &); // Do not implement! protected: - SequentialType(PrimitiveID TID, const Type *ElType) : CompositeType(TID) { - ContainedTys.reserve(1); - ContainedTys.push_back(PATypeHandle(ElType, this)); + SequentialType(TypeID TID, const Type *ElType) + : CompositeType(TID), ContainedType(ElType, this) { + ContainedTys = &ContainedType; + NumContainedTys = 1; } public: inline const Type *getElementType() const { return ContainedTys[0]; } + virtual bool indexValid(const Value *V) const; + /// getTypeAtIndex - Given an index value into the type, return the type of /// the element. For sequential types, there is only one subtype... /// virtual const Type *getTypeAtIndex(const Value *V) const { return ContainedTys[0]; } - virtual bool indexValid(const Value *V) const { - const Type *Ty = V->getType(); - switch (Ty->getPrimitiveID()) { - case Type::IntTyID: - case Type::UIntTyID: - case Type::LongTyID: - case Type::ULongTyID: - return true; - default: - return false; - } - } // Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const SequentialType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == ArrayTyID || - T->getPrimitiveID() == PointerTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == ArrayTyID || + T->getTypeID() == PointerTyID || + T->getTypeID() == VectorTyID; } }; @@ -291,26 +312,18 @@ public: /// class ArrayType : public SequentialType { friend class TypeMap; - unsigned NumElements; + uint64_t NumElements; ArrayType(const ArrayType &); // Do not implement const ArrayType &operator=(const ArrayType &); // Do not implement -protected: - /// This should really be private, but it squelches a bogus warning - /// from GCC to make them protected: warning: `class ArrayType' only - /// defines private constructors and has no friends - /// - /// Private ctor - Only can be created by a static member... - /// - ArrayType(const Type *ElType, unsigned NumEl); - + ArrayType(const Type *ElType, uint64_t NumEl); public: /// ArrayType::get - This static method is the primary way to construct an /// ArrayType /// - static ArrayType *get(const Type *ElementType, unsigned NumElements); + static ArrayType *get(const Type *ElementType, uint64_t NumElements); - inline unsigned getNumElements() const { return NumElements; } + inline uint64_t getNumElements() const { return NumElements; } // Implement the AbstractTypeUser interface. virtual void refineAbstractType(const DerivedType *OldTy, const Type *NewTy); @@ -319,10 +332,41 @@ public: // Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const ArrayType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == ArrayTyID; + return T->getTypeID() == ArrayTyID; } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); +}; + +/// VectorType - Class to represent vector types +/// +class VectorType : public SequentialType { + friend class TypeMap; + unsigned NumElements; + + VectorType(const VectorType &); // Do not implement + const VectorType &operator=(const VectorType &); // Do not implement + VectorType(const Type *ElType, unsigned NumEl); +public: + /// VectorType::get - This static method is the primary way to construct an + /// VectorType + /// + static VectorType *get(const Type *ElementType, unsigned NumElements); + + /// @brief Return the number of elements in the Vector type. + inline unsigned getNumElements() const { return NumElements; } + + /// @brief Return the number of bits in the Vector type. + inline unsigned getBitWidth() const { + return NumElements *getElementType()->getPrimitiveSizeInBits(); + } + + // Implement the AbstractTypeUser interface. + virtual void refineAbstractType(const DerivedType *OldTy, const Type *NewTy); + virtual void typeBecameConcrete(const DerivedType *AbsTy); + + // Methods for support type inquiry through isa, cast, and dyn_cast: + static inline bool classof(const VectorType *T) { return true; } + static inline bool classof(const Type *T) { + return T->getTypeID() == VectorTyID; } }; @@ -333,14 +377,7 @@ class PointerType : public SequentialType { friend class TypeMap; PointerType(const PointerType &); // Do not implement const PointerType &operator=(const PointerType &); // Do not implement -protected: - // This should really be private, but it squelches a bogus warning - // from GCC to make them protected: warning: `class PointerType' only - // defines private constructors and has no friends - - // Private ctor - Only can be created by a static member... - PointerType(const Type *ElType); - + explicit PointerType(const Type *ElType); public: /// PointerType::get - This is the only way to construct a new pointer type. static PointerType *get(const Type *ElementType); @@ -352,10 +389,7 @@ public: // Implement support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const PointerType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == PointerTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == PointerTyID; } }; @@ -365,14 +399,7 @@ public: class OpaqueType : public DerivedType { OpaqueType(const OpaqueType &); // DO NOT IMPLEMENT const OpaqueType &operator=(const OpaqueType &); // DO NOT IMPLEMENT -protected: - /// This should really be private, but it squelches a bogus warning - /// from GCC to make them protected: warning: `class OpaqueType' only - /// defines private constructors and has no friends - /// - /// Private ctor - Only can be created by a static member... OpaqueType(); - public: /// OpaqueType::get - Static factory method for the OpaqueType class... /// @@ -391,10 +418,7 @@ public: // Implement support for type inquiry through isa, cast, and dyn_cast: static inline bool classof(const OpaqueType *T) { return true; } static inline bool classof(const Type *T) { - return T->getPrimitiveID() == OpaqueTyID; - } - static inline bool classof(const Value *V) { - return isa(V) && classof(cast(V)); + return T->getTypeID() == OpaqueTyID; } };