| //===- AttributeImpl.h - Attribute Internals --------------------*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// This file defines various helper methods and classes used by |
| /// LLVMContextImpl for creating and managing attributes. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_LIB_IR_ATTRIBUTEIMPL_H |
| #define LLVM_LIB_IR_ATTRIBUTEIMPL_H |
| |
| #include "llvm/ADT/ArrayRef.h" |
| #include "llvm/ADT/FoldingSet.h" |
| #include "llvm/ADT/StringRef.h" |
| #include "llvm/IR/Attributes.h" |
| #include "llvm/Support/TrailingObjects.h" |
| #include <cassert> |
| #include <cstddef> |
| #include <cstdint> |
| #include <string> |
| #include <utility> |
| |
| namespace llvm { |
| |
| class LLVMContext; |
| class Type; |
| |
| //===----------------------------------------------------------------------===// |
| /// \class |
| /// This class represents a single, uniqued attribute. That attribute |
| /// could be a single enum, a tuple, or a string. |
| class AttributeImpl : public FoldingSetNode { |
| unsigned char KindID; ///< Holds the AttrEntryKind of the attribute |
| |
| protected: |
| enum AttrEntryKind { |
| EnumAttrEntry, |
| IntAttrEntry, |
| StringAttrEntry, |
| TypeAttrEntry, |
| }; |
| |
| AttributeImpl(AttrEntryKind KindID) : KindID(KindID) {} |
| |
| public: |
| // AttributesImpl is uniqued, these should not be available. |
| AttributeImpl(const AttributeImpl &) = delete; |
| AttributeImpl &operator=(const AttributeImpl &) = delete; |
| |
| virtual ~AttributeImpl(); |
| |
| bool isEnumAttribute() const { return KindID == EnumAttrEntry; } |
| bool isIntAttribute() const { return KindID == IntAttrEntry; } |
| bool isStringAttribute() const { return KindID == StringAttrEntry; } |
| bool isTypeAttribute() const { return KindID == TypeAttrEntry; } |
| |
| bool hasAttribute(Attribute::AttrKind A) const; |
| bool hasAttribute(StringRef Kind) const; |
| |
| Attribute::AttrKind getKindAsEnum() const; |
| uint64_t getValueAsInt() const; |
| |
| StringRef getKindAsString() const; |
| StringRef getValueAsString() const; |
| |
| Type *getValueAsType() const; |
| |
| /// Used when sorting the attributes. |
| bool operator<(const AttributeImpl &AI) const; |
| |
| void Profile(FoldingSetNodeID &ID) const { |
| if (isEnumAttribute()) |
| Profile(ID, getKindAsEnum(), static_cast<uint64_t>(0)); |
| else if (isIntAttribute()) |
| Profile(ID, getKindAsEnum(), getValueAsInt()); |
| else if (isStringAttribute()) |
| Profile(ID, getKindAsString(), getValueAsString()); |
| else |
| Profile(ID, getKindAsEnum(), getValueAsType()); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, Attribute::AttrKind Kind, |
| uint64_t Val) { |
| ID.AddInteger(Kind); |
| if (Val) ID.AddInteger(Val); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, StringRef Kind, StringRef Values) { |
| ID.AddString(Kind); |
| if (!Values.empty()) ID.AddString(Values); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, Attribute::AttrKind Kind, |
| Type *Ty) { |
| ID.AddInteger(Kind); |
| ID.AddPointer(Ty); |
| } |
| }; |
| |
| //===----------------------------------------------------------------------===// |
| /// \class |
| /// A set of classes that contain the value of the |
| /// attribute object. There are three main categories: enum attribute entries, |
| /// represented by Attribute::AttrKind; alignment attribute entries; and string |
| /// attribute enties, which are for target-dependent attributes. |
| |
| class EnumAttributeImpl : public AttributeImpl { |
| virtual void anchor(); |
| |
| Attribute::AttrKind Kind; |
| |
| protected: |
| EnumAttributeImpl(AttrEntryKind ID, Attribute::AttrKind Kind) |
| : AttributeImpl(ID), Kind(Kind) {} |
| |
| public: |
| EnumAttributeImpl(Attribute::AttrKind Kind) |
| : AttributeImpl(EnumAttrEntry), Kind(Kind) {} |
| |
| Attribute::AttrKind getEnumKind() const { return Kind; } |
| }; |
| |
| class IntAttributeImpl : public EnumAttributeImpl { |
| uint64_t Val; |
| |
| void anchor() override; |
| |
| public: |
| IntAttributeImpl(Attribute::AttrKind Kind, uint64_t Val) |
| : EnumAttributeImpl(IntAttrEntry, Kind), Val(Val) { |
| assert((Kind == Attribute::Alignment || Kind == Attribute::StackAlignment || |
| Kind == Attribute::Dereferenceable || |
| Kind == Attribute::DereferenceableOrNull || |
| Kind == Attribute::AllocSize) && |
| "Wrong kind for int attribute!"); |
| } |
| |
| uint64_t getValue() const { return Val; } |
| }; |
| |
| class StringAttributeImpl : public AttributeImpl { |
| virtual void anchor(); |
| |
| std::string Kind; |
| std::string Val; |
| |
| public: |
| StringAttributeImpl(StringRef Kind, StringRef Val = StringRef()) |
| : AttributeImpl(StringAttrEntry), Kind(Kind), Val(Val) {} |
| |
| StringRef getStringKind() const { return Kind; } |
| StringRef getStringValue() const { return Val; } |
| }; |
| |
| class TypeAttributeImpl : public EnumAttributeImpl { |
| void anchor() override; |
| |
| Type *Ty; |
| |
| public: |
| TypeAttributeImpl(Attribute::AttrKind Kind, Type *Ty) |
| : EnumAttributeImpl(TypeAttrEntry, Kind), Ty(Ty) {} |
| |
| Type *getTypeValue() const { return Ty; } |
| }; |
| |
| //===----------------------------------------------------------------------===// |
| /// \class |
| /// This class represents a group of attributes that apply to one |
| /// element: function, return type, or parameter. |
| class AttributeSetNode final |
| : public FoldingSetNode, |
| private TrailingObjects<AttributeSetNode, Attribute> { |
| friend TrailingObjects; |
| |
| unsigned NumAttrs; ///< Number of attributes in this node. |
| /// Bitset with a bit for each available attribute Attribute::AttrKind. |
| uint8_t AvailableAttrs[12] = {}; |
| |
| AttributeSetNode(ArrayRef<Attribute> Attrs); |
| |
| public: |
| // AttributesSetNode is uniqued, these should not be available. |
| AttributeSetNode(const AttributeSetNode &) = delete; |
| AttributeSetNode &operator=(const AttributeSetNode &) = delete; |
| |
| void operator delete(void *p) { ::operator delete(p); } |
| |
| static AttributeSetNode *get(LLVMContext &C, const AttrBuilder &B); |
| |
| static AttributeSetNode *get(LLVMContext &C, ArrayRef<Attribute> Attrs); |
| |
| /// Return the number of attributes this AttributeList contains. |
| unsigned getNumAttributes() const { return NumAttrs; } |
| |
| bool hasAttribute(Attribute::AttrKind Kind) const { |
| return AvailableAttrs[Kind / 8] & ((uint64_t)1) << (Kind % 8); |
| } |
| bool hasAttribute(StringRef Kind) const; |
| bool hasAttributes() const { return NumAttrs != 0; } |
| |
| Attribute getAttribute(Attribute::AttrKind Kind) const; |
| Attribute getAttribute(StringRef Kind) const; |
| |
| MaybeAlign getAlignment() const; |
| MaybeAlign getStackAlignment() const; |
| uint64_t getDereferenceableBytes() const; |
| uint64_t getDereferenceableOrNullBytes() const; |
| std::pair<unsigned, Optional<unsigned>> getAllocSizeArgs() const; |
| std::string getAsString(bool InAttrGrp) const; |
| Type *getByValType() const; |
| |
| using iterator = const Attribute *; |
| |
| iterator begin() const { return getTrailingObjects<Attribute>(); } |
| iterator end() const { return begin() + NumAttrs; } |
| |
| void Profile(FoldingSetNodeID &ID) const { |
| Profile(ID, makeArrayRef(begin(), end())); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, ArrayRef<Attribute> AttrList) { |
| for (const auto &Attr : AttrList) |
| Attr.Profile(ID); |
| } |
| }; |
| |
| using IndexAttrPair = std::pair<unsigned, AttributeSet>; |
| |
| //===----------------------------------------------------------------------===// |
| /// \class |
| /// This class represents a set of attributes that apply to the function, |
| /// return type, and parameters. |
| class AttributeListImpl final |
| : public FoldingSetNode, |
| private TrailingObjects<AttributeListImpl, AttributeSet> { |
| friend class AttributeList; |
| friend TrailingObjects; |
| |
| private: |
| LLVMContext &Context; |
| unsigned NumAttrSets; ///< Number of entries in this set. |
| /// Bitset with a bit for each available attribute Attribute::AttrKind. |
| uint8_t AvailableFunctionAttrs[12] = {}; |
| |
| // Helper fn for TrailingObjects class. |
| size_t numTrailingObjects(OverloadToken<AttributeSet>) { return NumAttrSets; } |
| |
| public: |
| AttributeListImpl(LLVMContext &C, ArrayRef<AttributeSet> Sets); |
| |
| // AttributesSetImpt is uniqued, these should not be available. |
| AttributeListImpl(const AttributeListImpl &) = delete; |
| AttributeListImpl &operator=(const AttributeListImpl &) = delete; |
| |
| void operator delete(void *p) { ::operator delete(p); } |
| |
| /// Get the context that created this AttributeListImpl. |
| LLVMContext &getContext() { return Context; } |
| |
| /// Return true if the AttributeSet or the FunctionIndex has an |
| /// enum attribute of the given kind. |
| bool hasFnAttribute(Attribute::AttrKind Kind) const { |
| return AvailableFunctionAttrs[Kind / 8] & ((uint64_t)1) << (Kind % 8); |
| } |
| |
| using iterator = const AttributeSet *; |
| |
| iterator begin() const { return getTrailingObjects<AttributeSet>(); } |
| iterator end() const { return begin() + NumAttrSets; } |
| |
| void Profile(FoldingSetNodeID &ID) const; |
| static void Profile(FoldingSetNodeID &ID, ArrayRef<AttributeSet> Nodes); |
| |
| void dump() const; |
| }; |
| |
| } // end namespace llvm |
| |
| #endif // LLVM_LIB_IR_ATTRIBUTEIMPL_H |