blob: cb2c55ccbe78931ebc15aef74c0063b467cf9701 [file] [log] [blame]
Bill Wendlingf6670722012-12-20 01:36:59 +00001//===-- AttributeImpl.h - Attribute Internals -------------------*- C++ -*-===//
Bill Wendling2c79ecb2012-09-26 21:07:29 +00002//
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//===----------------------------------------------------------------------===//
Bill Wendling27107f62012-12-20 21:28:43 +00009///
10/// \file
11/// \brief This file defines various helper methods and classes used by
12/// LLVMContextImpl for creating and managing attributes.
13///
Bill Wendling2c79ecb2012-09-26 21:07:29 +000014//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_ATTRIBUTESIMPL_H
17#define LLVM_ATTRIBUTESIMPL_H
18
19#include "llvm/ADT/FoldingSet.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000020#include "llvm/IR/Attributes.h"
Bill Wendling606c8e32013-01-29 03:20:31 +000021#include <string>
Bill Wendling2c79ecb2012-09-26 21:07:29 +000022
23namespace llvm {
24
Bill Wendling7c1683d2012-12-29 12:29:38 +000025class Constant;
Bill Wendling5f93e2b2012-12-19 23:55:43 +000026class LLVMContext;
27
Bill Wendling27107f62012-12-20 21:28:43 +000028//===----------------------------------------------------------------------===//
29/// \class
Bill Wendling8c74ecf2013-02-05 22:37:24 +000030/// \brief A set of classes that contain the kind and (optional) value of the
31/// attribute object. There are three main categories: enum attribute entries,
32/// represented by Attribute::AttrKind; alignment attribute entries; and string
33/// attribute enties, which are for target-dependent attributes.
34class AttributeEntry {
35 unsigned char KindID;
36protected:
37 enum AttrEntryKind {
38 EnumAttrEntry,
39 AlignAttrEntry,
40 StringAttrEntry
41 };
42public:
43 AttributeEntry(AttrEntryKind Kind)
44 : KindID(Kind) {}
45 virtual ~AttributeEntry() {}
46
47 unsigned getKindID() const { return KindID; }
48
49 static inline bool classof(const AttributeEntry *) { return true; }
50};
51
52class EnumAttributeEntry : public AttributeEntry {
53 Attribute::AttrKind Kind;
54public:
55 EnumAttributeEntry(Attribute::AttrKind Kind)
56 : AttributeEntry(EnumAttrEntry), Kind(Kind) {}
57
58 Attribute::AttrKind getEnumKind() const { return Kind; }
59
60 static inline bool classof(const AttributeEntry *AE) {
61 return AE->getKindID() == EnumAttrEntry;
62 }
63 static inline bool classof(const EnumAttributeEntry *) { return true; }
64};
65
66class AlignAttributeEntry : public AttributeEntry {
67 Attribute::AttrKind Kind;
68 unsigned Align;
69public:
70 AlignAttributeEntry(Attribute::AttrKind Kind, unsigned Align)
71 : AttributeEntry(AlignAttrEntry), Kind(Kind), Align(Align) {}
72
73 Attribute::AttrKind getEnumKind() const { return Kind; }
74 unsigned getAlignment() const { return Align; }
75
76 static inline bool classof(const AttributeEntry *AE) {
77 return AE->getKindID() == AlignAttrEntry;
78 }
79 static inline bool classof(const AlignAttributeEntry *) { return true; }
80};
81
82class StringAttributeEntry : public AttributeEntry {
83 std::string Kind;
84 std::string Val;
85public:
86 StringAttributeEntry(StringRef Kind, StringRef Val = StringRef())
87 : AttributeEntry(StringAttrEntry), Kind(Kind), Val(Val) {}
88
89 StringRef getStringKind() const { return Kind; }
90 StringRef getStringValue() const { return Val; }
91
92 static inline bool classof(const AttributeEntry *AE) {
93 return AE->getKindID() == StringAttrEntry;
94 }
95 static inline bool classof(const StringAttributeEntry *) { return true; }
96};
97
98//===----------------------------------------------------------------------===//
99/// \class
Bill Wendling27107f62012-12-20 21:28:43 +0000100/// \brief This class represents a single, uniqued attribute. That attribute
Bill Wendling979aff62012-12-30 02:22:16 +0000101/// could be a single enum, a tuple, or a string.
Bill Wendlingf6670722012-12-20 01:36:59 +0000102class AttributeImpl : public FoldingSetNode {
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000103 LLVMContext &Context; ///< Global context for uniquing objects
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000104
105 AttributeEntry *Entry; ///< Holds the kind and value of the attribute
Bill Wendling1cc0d5a2013-01-27 21:38:03 +0000106
107 // AttributesImpl is uniqued, these should not be publicly available.
108 void operator=(const AttributeImpl &) LLVM_DELETED_FUNCTION;
109 AttributeImpl(const AttributeImpl &) LLVM_DELETED_FUNCTION;
Bill Wendling2c79ecb2012-09-26 21:07:29 +0000110public:
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000111 AttributeImpl(LLVMContext &C, Attribute::AttrKind Kind);
112 AttributeImpl(LLVMContext &C, Attribute::AttrKind Kind, unsigned Align);
113 AttributeImpl(LLVMContext &C, StringRef Kind, StringRef Val = StringRef());
114 ~AttributeImpl();
Bill Wendling979aff62012-12-30 02:22:16 +0000115
Bill Wendling14292a62013-01-31 20:59:05 +0000116 LLVMContext &getContext() { return Context; }
117
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000118 bool isEnumAttribute() const;
119 bool isAlignAttribute() const;
120 bool isStringAttribute() const;
121
Bill Wendling60507d52013-01-04 20:54:35 +0000122 bool hasAttribute(Attribute::AttrKind A) const;
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000123 bool hasAttribute(StringRef Kind) const;
Bill Wendling8e635db2012-10-08 21:47:17 +0000124
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000125 Attribute::AttrKind getKindAsEnum() const;
126 uint64_t getValueAsInt() const;
Bill Wendling9f175f82013-01-29 20:37:10 +0000127
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000128 StringRef getKindAsString() const;
129 StringRef getValueAsString() const;
Bill Wendling529ec712012-12-30 01:38:39 +0000130
Bill Wendling14292a62013-01-31 20:59:05 +0000131 /// \brief Used when sorting the attributes.
Bill Wendling3467e302013-01-24 00:06:56 +0000132 bool operator<(const AttributeImpl &AI) const;
133
Bill Wendling2c79ecb2012-09-26 21:07:29 +0000134 void Profile(FoldingSetNodeID &ID) const {
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000135 if (isEnumAttribute())
136 Profile(ID, getKindAsEnum(), 0);
137 else if (isAlignAttribute())
138 Profile(ID, getKindAsEnum(), getValueAsInt());
139 else
140 Profile(ID, getKindAsString(), getValueAsString());
Bill Wendling2c79ecb2012-09-26 21:07:29 +0000141 }
Bill Wendling8c74ecf2013-02-05 22:37:24 +0000142 static void Profile(FoldingSetNodeID &ID, Attribute::AttrKind Kind,
143 uint64_t Val) {
144 ID.AddInteger(Kind);
145 if (Val) ID.AddInteger(Val);
146 }
147 static void Profile(FoldingSetNodeID &ID, StringRef Kind, StringRef Values) {
148 ID.AddString(Kind);
149 ID.AddString(Values);
Bill Wendlingc22f4aa2013-01-29 00:34:06 +0000150 }
151
Bill Wendlingf715dbd2013-02-01 00:48:14 +0000152 // FIXME: Remove this!
Bill Wendlingc22f4aa2013-01-29 00:34:06 +0000153 static uint64_t getAttrMask(Attribute::AttrKind Val);
Bill Wendling2c79ecb2012-09-26 21:07:29 +0000154};
155
Bill Wendling27107f62012-12-20 21:28:43 +0000156//===----------------------------------------------------------------------===//
157/// \class
Bill Wendling3467e302013-01-24 00:06:56 +0000158/// \brief This class represents a group of attributes that apply to one
159/// element: function, return type, or parameter.
160class AttributeSetNode : public FoldingSetNode {
161 SmallVector<Attribute, 4> AttrList;
162
163 AttributeSetNode(ArrayRef<Attribute> Attrs)
164 : AttrList(Attrs.begin(), Attrs.end()) {}
Bill Wendling1cc0d5a2013-01-27 21:38:03 +0000165
166 // AttributesSetNode is uniqued, these should not be publicly available.
167 void operator=(const AttributeSetNode &) LLVM_DELETED_FUNCTION;
168 AttributeSetNode(const AttributeSetNode &) LLVM_DELETED_FUNCTION;
Bill Wendling3467e302013-01-24 00:06:56 +0000169public:
170 static AttributeSetNode *get(LLVMContext &C, ArrayRef<Attribute> Attrs);
171
Bill Wendling606c8e32013-01-29 03:20:31 +0000172 bool hasAttribute(Attribute::AttrKind Kind) const;
Bill Wendling0e9d5d02013-02-13 08:42:21 +0000173 bool hasAttribute(StringRef Kind) const;
Bill Wendling606c8e32013-01-29 03:20:31 +0000174 bool hasAttributes() const { return !AttrList.empty(); }
175
Bill Wendling0e9d5d02013-02-13 08:42:21 +0000176 Attribute getAttribute(Attribute::AttrKind Kind) const;
177 Attribute getAttribute(StringRef Kind) const;
178
Bill Wendling606c8e32013-01-29 03:20:31 +0000179 unsigned getAlignment() const;
180 unsigned getStackAlignment() const;
Bill Wendlingb29ce262013-02-11 08:43:33 +0000181 std::string getAsString(bool InAttrGrp) const;
Bill Wendling606c8e32013-01-29 03:20:31 +0000182
Bill Wendling3467e302013-01-24 00:06:56 +0000183 typedef SmallVectorImpl<Attribute>::iterator iterator;
184 typedef SmallVectorImpl<Attribute>::const_iterator const_iterator;
185
186 iterator begin() { return AttrList.begin(); }
187 iterator end() { return AttrList.end(); }
188
189 const_iterator begin() const { return AttrList.begin(); }
190 const_iterator end() const { return AttrList.end(); }
191
192 void Profile(FoldingSetNodeID &ID) const {
193 Profile(ID, AttrList);
194 }
195 static void Profile(FoldingSetNodeID &ID, ArrayRef<Attribute> AttrList) {
196 for (unsigned I = 0, E = AttrList.size(); I != E; ++I)
197 AttrList[I].Profile(ID);
198 }
199};
200
201//===----------------------------------------------------------------------===//
202/// \class
203/// \brief This class represents a set of attributes that apply to the function,
204/// return type, and parameters.
Bill Wendling18e72112012-12-19 22:42:22 +0000205class AttributeSetImpl : public FoldingSetNode {
Bill Wendling8e47daf2013-01-25 23:09:36 +0000206 friend class AttributeSet;
207
Bill Wendling60507d52013-01-04 20:54:35 +0000208 LLVMContext &Context;
Bill Wendling60507d52013-01-04 20:54:35 +0000209
Bill Wendling6bdbf062013-01-28 22:33:39 +0000210 typedef std::pair<unsigned, AttributeSetNode*> IndexAttrPair;
Bill Wendling73bc4522013-01-28 00:21:34 +0000211 SmallVector<IndexAttrPair, 4> AttrNodes;
Bill Wendlingbb085932013-01-24 01:01:34 +0000212
Bill Wendling831737d2012-12-30 10:32:01 +0000213 // AttributesSet is uniqued, these should not be publicly available.
Bill Wendling18e72112012-12-19 22:42:22 +0000214 void operator=(const AttributeSetImpl &) LLVM_DELETED_FUNCTION;
215 AttributeSetImpl(const AttributeSetImpl &) LLVM_DELETED_FUNCTION;
Bill Wendling0976e002012-11-20 05:09:20 +0000216public:
Bill Wendling87e10df2013-01-28 21:55:20 +0000217 AttributeSetImpl(LLVMContext &C,
Bill Wendling6bdbf062013-01-28 22:33:39 +0000218 ArrayRef<std::pair<unsigned, AttributeSetNode*> > attrs)
Bill Wendling87e10df2013-01-28 21:55:20 +0000219 : Context(C), AttrNodes(attrs.begin(), attrs.end()) {}
Bill Wendling60507d52013-01-04 20:54:35 +0000220
Bill Wendling893eac12013-01-27 21:32:11 +0000221 /// \brief Get the context that created this AttributeSetImpl.
Bill Wendling60507d52013-01-04 20:54:35 +0000222 LLVMContext &getContext() { return Context; }
Bill Wendling893eac12013-01-27 21:32:11 +0000223
Bill Wendling893eac12013-01-27 21:32:11 +0000224 /// \brief Return the number of attributes this AttributeSet contains.
225 unsigned getNumAttributes() const { return AttrNodes.size(); }
226
227 /// \brief Get the index of the given "slot" in the AttrNodes list. This index
228 /// is the index of the return, parameter, or function object that the
229 /// attributes are applied to, not the index into the AttrNodes list where the
230 /// attributes reside.
Bill Wendling73bc4522013-01-28 00:21:34 +0000231 uint64_t getSlotIndex(unsigned Slot) const {
232 return AttrNodes[Slot].first;
233 }
Bill Wendling893eac12013-01-27 21:32:11 +0000234
235 /// \brief Retrieve the attributes for the given "slot" in the AttrNode list.
236 /// \p Slot is an index into the AttrNodes list, not the index of the return /
237 /// parameter/ function which the attributes apply to.
Bill Wendling8e47daf2013-01-25 23:09:36 +0000238 AttributeSet getSlotAttributes(unsigned Slot) const {
Bill Wendling87e10df2013-01-28 21:55:20 +0000239 return AttributeSet::get(Context, AttrNodes[Slot]);
Bill Wendling8e47daf2013-01-25 23:09:36 +0000240 }
Bill Wendling0976e002012-11-20 05:09:20 +0000241
Bill Wendling606c8e32013-01-29 03:20:31 +0000242 /// \brief Retrieve the attribute set node for the given "slot" in the
243 /// AttrNode list.
244 AttributeSetNode *getSlotNode(unsigned Slot) const {
245 return AttrNodes[Slot].second;
246 }
247
Bill Wendling73bc4522013-01-28 00:21:34 +0000248 typedef AttributeSetNode::iterator iterator;
249 typedef AttributeSetNode::const_iterator const_iterator;
250
251 iterator begin(unsigned Idx)
252 { return AttrNodes[Idx].second->begin(); }
253 iterator end(unsigned Idx)
254 { return AttrNodes[Idx].second->end(); }
255
256 const_iterator begin(unsigned Idx) const
257 { return AttrNodes[Idx].second->begin(); }
258 const_iterator end(unsigned Idx) const
259 { return AttrNodes[Idx].second->end(); }
260
Bill Wendling0976e002012-11-20 05:09:20 +0000261 void Profile(FoldingSetNodeID &ID) const {
Bill Wendling87e10df2013-01-28 21:55:20 +0000262 Profile(ID, AttrNodes);
Bill Wendling0976e002012-11-20 05:09:20 +0000263 }
Bill Wendling60507d52013-01-04 20:54:35 +0000264 static void Profile(FoldingSetNodeID &ID,
Bill Wendling6bdbf062013-01-28 22:33:39 +0000265 ArrayRef<std::pair<unsigned, AttributeSetNode*> > Nodes) {
Bill Wendlingbb085932013-01-24 01:01:34 +0000266 for (unsigned i = 0, e = Nodes.size(); i != e; ++i) {
267 ID.AddInteger(Nodes[i].first);
268 ID.AddPointer(Nodes[i].second);
269 }
270 }
Bill Wendlingd05204a2013-01-27 23:41:29 +0000271
272 // FIXME: This atrocity is temporary.
273 uint64_t Raw(uint64_t Index) const;
Bill Wendling0976e002012-11-20 05:09:20 +0000274};
275
Bill Wendling2c79ecb2012-09-26 21:07:29 +0000276} // end llvm namespace
277
278#endif