| //===- 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/DenseMap.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 <optional> |
| #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; |
| |
| 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; |
| bool getValueAsBool() 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()); |
| 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) { |
| assert(Attribute::isEnumAttrKind(Kind) && "Expected enum attribute"); |
| ID.AddInteger(Kind); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, Attribute::AttrKind Kind, |
| uint64_t Val) { |
| assert(Attribute::isIntAttrKind(Kind) && "Expected int attribute"); |
| ID.AddInteger(Kind); |
| 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); |
| } |
| }; |
| |
| static_assert(std::is_trivially_destructible<AttributeImpl>::value, |
| "AttributeImpl should be trivially destructible"); |
| |
| //===----------------------------------------------------------------------===// |
| /// \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 { |
| Attribute::AttrKind Kind; |
| |
| protected: |
| EnumAttributeImpl(AttrEntryKind ID, Attribute::AttrKind Kind) |
| : AttributeImpl(ID), Kind(Kind) {} |
| |
| public: |
| EnumAttributeImpl(Attribute::AttrKind Kind) |
| : AttributeImpl(EnumAttrEntry), Kind(Kind) { |
| assert(Kind != Attribute::AttrKind::None && |
| "Can't create a None attribute!"); |
| } |
| |
| Attribute::AttrKind getEnumKind() const { return Kind; } |
| }; |
| |
| class IntAttributeImpl : public EnumAttributeImpl { |
| uint64_t Val; |
| |
| public: |
| IntAttributeImpl(Attribute::AttrKind Kind, uint64_t Val) |
| : EnumAttributeImpl(IntAttrEntry, Kind), Val(Val) { |
| assert(Attribute::isIntAttrKind(Kind) && |
| "Wrong kind for int attribute!"); |
| } |
| |
| uint64_t getValue() const { return Val; } |
| }; |
| |
| class StringAttributeImpl final |
| : public AttributeImpl, |
| private TrailingObjects<StringAttributeImpl, char> { |
| friend TrailingObjects; |
| |
| unsigned KindSize; |
| unsigned ValSize; |
| size_t numTrailingObjects(OverloadToken<char>) const { |
| return KindSize + 1 + ValSize + 1; |
| } |
| |
| public: |
| StringAttributeImpl(StringRef Kind, StringRef Val = StringRef()) |
| : AttributeImpl(StringAttrEntry), KindSize(Kind.size()), |
| ValSize(Val.size()) { |
| char *TrailingString = getTrailingObjects<char>(); |
| // Some users rely on zero-termination. |
| llvm::copy(Kind, TrailingString); |
| TrailingString[KindSize] = '\0'; |
| llvm::copy(Val, &TrailingString[KindSize + 1]); |
| TrailingString[KindSize + 1 + ValSize] = '\0'; |
| } |
| |
| StringRef getStringKind() const { |
| return StringRef(getTrailingObjects<char>(), KindSize); |
| } |
| StringRef getStringValue() const { |
| return StringRef(getTrailingObjects<char>() + KindSize + 1, ValSize); |
| } |
| |
| static size_t totalSizeToAlloc(StringRef Kind, StringRef Val) { |
| return TrailingObjects::totalSizeToAlloc<char>(Kind.size() + 1 + |
| Val.size() + 1); |
| } |
| }; |
| |
| class TypeAttributeImpl : public EnumAttributeImpl { |
| Type *Ty; |
| |
| public: |
| TypeAttributeImpl(Attribute::AttrKind Kind, Type *Ty) |
| : EnumAttributeImpl(TypeAttrEntry, Kind), Ty(Ty) {} |
| |
| Type *getTypeValue() const { return Ty; } |
| }; |
| |
| class AttributeBitSet { |
| /// Bitset with a bit for each available attribute Attribute::AttrKind. |
| uint8_t AvailableAttrs[12] = {}; |
| static_assert(Attribute::EndAttrKinds <= sizeof(AvailableAttrs) * CHAR_BIT, |
| "Too many attributes"); |
| |
| public: |
| bool hasAttribute(Attribute::AttrKind Kind) const { |
| return AvailableAttrs[Kind / 8] & (1 << (Kind % 8)); |
| } |
| |
| void addAttribute(Attribute::AttrKind Kind) { |
| AvailableAttrs[Kind / 8] |= 1 << (Kind % 8); |
| } |
| }; |
| |
| //===----------------------------------------------------------------------===// |
| /// \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. |
| AttributeBitSet AvailableAttrs; ///< Available enum attributes. |
| |
| DenseMap<StringRef, Attribute> StringAttrs; |
| |
| AttributeSetNode(ArrayRef<Attribute> Attrs); |
| |
| static AttributeSetNode *getSorted(LLVMContext &C, |
| ArrayRef<Attribute> SortedAttrs); |
| std::optional<Attribute> findEnumAttribute(Attribute::AttrKind Kind) const; |
| |
| 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.hasAttribute(Kind); |
| } |
| 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::optional<std::pair<unsigned, std::optional<unsigned>>> getAllocSizeArgs() |
| const; |
| unsigned getVScaleRangeMin() const; |
| std::optional<unsigned> getVScaleRangeMax() const; |
| UWTableKind getUWTableKind() const; |
| AllocFnKind getAllocKind() const; |
| MemoryEffects getMemoryEffects() const; |
| std::string getAsString(bool InAttrGrp) const; |
| Type *getAttributeType(Attribute::AttrKind Kind) const; |
| |
| using iterator = const Attribute *; |
| |
| iterator begin() const { return getTrailingObjects<Attribute>(); } |
| iterator end() const { return begin() + NumAttrs; } |
| |
| void Profile(FoldingSetNodeID &ID) const { |
| Profile(ID, ArrayRef(begin(), end())); |
| } |
| |
| static void Profile(FoldingSetNodeID &ID, ArrayRef<Attribute> AttrList) { |
| for (const auto &Attr : AttrList) |
| Attr.Profile(ID); |
| } |
| }; |
| |
| //===----------------------------------------------------------------------===// |
| /// \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: |
| unsigned NumAttrSets; ///< Number of entries in this set. |
| /// Available enum function attributes. |
| AttributeBitSet AvailableFunctionAttrs; |
| /// Union of enum attributes available at any index. |
| AttributeBitSet AvailableSomewhereAttrs; |
| |
| // Helper fn for TrailingObjects class. |
| size_t numTrailingObjects(OverloadToken<AttributeSet>) { return NumAttrSets; } |
| |
| public: |
| AttributeListImpl(ArrayRef<AttributeSet> Sets); |
| |
| // AttributesSetImpt is uniqued, these should not be available. |
| AttributeListImpl(const AttributeListImpl &) = delete; |
| AttributeListImpl &operator=(const AttributeListImpl &) = delete; |
| |
| /// Return true if the AttributeSet or the FunctionIndex has an |
| /// enum attribute of the given kind. |
| bool hasFnAttribute(Attribute::AttrKind Kind) const { |
| return AvailableFunctionAttrs.hasAttribute(Kind); |
| } |
| |
| /// Return true if the specified attribute is set for at least one |
| /// parameter or for the return value. If Index is not nullptr, the index |
| /// of a parameter with the specified attribute is provided. |
| bool hasAttrSomewhere(Attribute::AttrKind Kind, |
| unsigned *Index = nullptr) const; |
| |
| 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; |
| }; |
| |
| static_assert(std::is_trivially_destructible<AttributeListImpl>::value, |
| "AttributeListImpl should be trivially destructible"); |
| |
| } // end namespace llvm |
| |
| #endif // LLVM_LIB_IR_ATTRIBUTEIMPL_H |