Attributes.h revision 8246df61f6de716acf1f8c64fac3c19970a2c174
1710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov//===-- llvm/Attributes.h - Container for Attributes ------------*- C++ -*-===// 26091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer// 36091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer// The LLVM Compiler Infrastructure 46091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer// 57ed47a13356daed2a34cd2209a31f92552e3bdd8Chris Lattner// This file is distributed under the University of Illinois Open Source 67ed47a13356daed2a34cd2209a31f92552e3bdd8Chris Lattner// License. See LICENSE.TXT for details. 76091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer// 86091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer//===----------------------------------------------------------------------===// 927107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// 1027107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \file 1127107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \brief This file contains the simple types necessary to represent the 1227107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// attributes associated with functions and their calls. 1327107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// 146091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer//===----------------------------------------------------------------------===// 156091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 16674be02d525d4e24bc6943ed9274958c580bcfbcJakub Staszak#ifndef LLVM_IR_ATTRIBUTES_H 17674be02d525d4e24bc6943ed9274958c580bcfbcJakub Staszak#define LLVM_IR_ATTRIBUTES_H 186091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 19d509d0b532ec2358b3f341d4a4cd1411cb8b5db2Chris Lattner#include "llvm/ADT/ArrayRef.h" 200319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling#include "llvm/ADT/DenseSet.h" 2122bd64173981bf1251c4b3bfc684207340534ba3Bill Wendling#include "llvm/Support/MathExtras.h" 2222bd64173981bf1251c4b3bfc684207340534ba3Bill Wendling#include <cassert> 2358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner#include <string> 246091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 256091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencernamespace llvm { 26d426a642a23a234547cbc7061f5bfec157673249Bill Wendling 27702cc91aa1bd41540e8674921ae7ac89a4ff061fBill Wendlingclass AttrBuilder; 28f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendlingclass AttributeImpl; 29a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingclass Constant; 302c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendlingclass LLVMContext; 31ad9a9e15595bc9d5ba1ed752caf8572957f77a3dDuncan Sandsclass Type; 32ad9a9e15595bc9d5ba1ed752caf8572957f77a3dDuncan Sands 331d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling//===----------------------------------------------------------------------===// 3427107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \class 3527107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \brief Functions, function parameters, and return types can have attributes 361d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// to indicate how they should be treated by optimizations and code 371d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// generation. This class represents one of those attributes. It's light-weight 381d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// and should be passed around by-value. 39034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendlingclass Attribute { 406765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendlingpublic: 411d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// This enumeration lists the attributes that can be associated with 421d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// parameters, function results or the function itself. 43f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 441d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// Note: uwtable is about the ABI or the user mandating an entry in the 4511d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// unwind table. The nounwind attribute is about an exception passing by the 4611d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// function. 47f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 4811d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// In a theoretical system that uses tables for profiling and sjlj for 4911d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// exceptions, they would be fully independent. In a normal system that uses 5011d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// tables for both, the semantics are: 51f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 5211d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// nil = Needs an entry because an exception might pass by. 5311d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// nounwind = No need for an entry 5411d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// uwtable = Needs an entry because the ABI says so and because 5511d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// an exception might pass by. 5611d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// uwtable + nounwind = Needs an entry because the ABI says so. 5711d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling 58629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling enum AttrKind { 595a0eeb5a9d727940b1dbe8dff6e9aa292ada0f6aBill Wendling // IR-Level Attributes 60480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling None, ///< No attributes have been set 61480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling AddressSafety, ///< Address safety checking is on. 62480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Alignment, ///< Alignment of parameter (5 bits) 636765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< stored as log2 of alignment with +1 bias 64f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendling ///< 0 means unaligned (different from align(1)) 65480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling AlwaysInline, ///< inline=always 66480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ByVal, ///< Pass structure by value 67480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling InlineHint, ///< Source said inlining was desirable 68480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling InReg, ///< Force argument to be passed in register 699a419f656e278b96e9dfe739cd63c7bff9a4e1fdQuentin Colombet MinSize, ///< Function must be optimized for size first 70480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Naked, ///< Naked function 71480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Nest, ///< Nested function static chain 72480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoAlias, ///< Considered to not alias after call 73480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoCapture, ///< Function creates no aliases of pointer 7467ae13575900e8efd056672987249fd0adbf5e73James Molloy NoDuplicate, ///< Call cannot be duplicated 75480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoImplicitFloat, ///< Disable implicit floating point insts 76480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoInline, ///< inline=never 77480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NonLazyBind, ///< Function is called early and/or 783a106e60366a51b4594ec303ff8dbbc58913227fBill Wendling ///< often, so lazy binding isn't worthwhile 79480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoRedZone, ///< Disable redzone 80480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoReturn, ///< Mark the function as not returning 81480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoUnwind, ///< Function doesn't unwind stack 82480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling OptimizeForSize, ///< opt_size 83480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReadNone, ///< Function does not access memory 84480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReadOnly, ///< Function only reads from memory 85480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReturnsTwice, ///< Function can return twice 86480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling SExt, ///< Sign extended before/after call 87480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackAlignment, ///< Alignment of stack for function (3 bits) 886765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< stored as log2 of alignment with +1 bias 0 896765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< means unaligned (different from 90f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendling ///< alignstack=(1)) 91480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackProtect, ///< Stack protection. 92480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackProtectReq, ///< Stack protection required. 93480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StructRet, ///< Hidden pointer to structure to return 94480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling UWTable, ///< Function must be in a unwind table 950319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling ZExt, ///< Zero extended before/after call 960319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling 973a4779a9211281a1d0c27c97037342329035a185NAKAMURA Takumi EndAttrKinds, ///< Sentinal value useful for loops 983a4779a9211281a1d0c27c97037342329035a185NAKAMURA Takumi 996f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth AttrKindEmptyKey, ///< Empty key value for DenseMapInfo 1006f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth AttrKindTombstoneKey ///< Tombstone key value for DenseMapInfo 1016765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling }; 1026765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendlingprivate: 10327107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling AttributeImpl *pImpl; 10427107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling Attribute(AttributeImpl *A) : pImpl(A) {} 105d426a642a23a234547cbc7061f5bfec157673249Bill Wendlingpublic: 10627107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling Attribute() : pImpl(0) {} 1072c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling 1081d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Return a uniquified Attribute object. This takes the uniquified 109034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling /// value from the Builder and wraps it in the Attribute class. 110629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling static Attribute get(LLVMContext &Context, ArrayRef<AttrKind> Vals); 111034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling static Attribute get(LLVMContext &Context, AttrBuilder &B); 1122c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling 1131d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Return true if the attribute is present. 114629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling bool hasAttribute(AttrKind Val) const; 1152e879bcd52583335c753c005d203bf2ffe8b67b5Bill Wendling 1161d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Return true if attributes exist 11705cc40d20c0f3b2f1bd5cb86ceb9f32d07cae110Bill Wendling bool hasAttributes() const; 1182e879bcd52583335c753c005d203bf2ffe8b67b5Bill Wendling 1191d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Returns the alignment field of an attribute as a byte alignment 120ef99fe8efaa6cb74c66e570a6ef467debca92911Bill Wendling /// value. 121e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling unsigned getAlignment() const; 122ef99fe8efaa6cb74c66e570a6ef467debca92911Bill Wendling 1231bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling /// \brief Set the alignment field of an attribute. 1241bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling void setAlignment(unsigned Align); 1251bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling 1261d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Returns the stack alignment field of an attribute as a byte 127943c29135e03e55f9a5dab393786171a4a536482Bill Wendling /// alignment value. 128e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling unsigned getStackAlignment() const; 12930b483c94001927b3593ed200e823104bab51660Bill Wendling 1301bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling /// \brief Set the stack alignment field of an attribute. 1311bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling void setStackAlignment(unsigned Align); 1321bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling 13360507d53e7e8e6b0c537675f68204a93c3033de7Bill Wendling /// \brief Equality and non-equality query methods. 13492e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling bool operator==(AttrKind K) const; 13592e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling bool operator!=(AttrKind K) const; 13692e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling 13792e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling // FIXME: Remove these 'operator' methods. 138034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling bool operator==(const Attribute &A) const { 13927107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling return pImpl == A.pImpl; 140d426a642a23a234547cbc7061f5bfec157673249Bill Wendling } 141034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling bool operator!=(const Attribute &A) const { 14227107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling return pImpl != A.pImpl; 143d426a642a23a234547cbc7061f5bfec157673249Bill Wendling } 144e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling 1451db9b6957c2565a2322206bd5907530895f1c7acBill Wendling uint64_t Raw() const; 1468ce1e432d1c942d101617b3c623970a4f763f93dBill Wendling 1471d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Which attributes cannot be applied to a type. 148034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling static Attribute typeIncompatible(Type *Ty); 149623a389f623dfef44f07211bd12fbd2a93db09e3Duncan Sands 1501d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief This returns an integer containing an encoding of all the LLVM 1511d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// attributes found in the given attribute bitset. Any change to this 1521d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// encoding is a breaking change to bitcode compatibility. 153034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling static uint64_t encodeLLVMAttributesForBitcode(Attribute Attrs); 1542039a8f83464e900a71f3e846c7749b2d0d8cde2Bill Wendling 1551d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief This returns an attribute bitset containing the LLVM attributes 1561d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// that have been decoded from the given integer. This function must stay in 1571d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// sync with 'encodeLLVMAttributesForBitcode'. 158034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling static Attribute decodeLLVMAttributesForBitcode(LLVMContext &C, 15992e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling uint64_t EncodedAttrs); 1602c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling 16194e94b350652d3a71993bbc7d44afbe3b304605eBill Wendling /// \brief The Attribute is converted to a string of equivalent mnemonic. This 16294e94b350652d3a71993bbc7d44afbe3b304605eBill Wendling /// is, presumably, for writing out the mnemonics for the assembly writer. 1632c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling std::string getAsString() const; 164827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands}; 165827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 166e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling//===----------------------------------------------------------------------===// 16727107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \class 1680319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling/// \brief Provide DenseMapInfo for Attribute::AttrKinds. This is used by 1690319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling/// AttrBuilder. 1700319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendlingtemplate<> struct DenseMapInfo<Attribute::AttrKind> { 1710319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling static inline Attribute::AttrKind getEmptyKey() { 1726f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth return Attribute::AttrKindEmptyKey; 1730319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling } 1740319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling static inline Attribute::AttrKind getTombstoneKey() { 1756f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth return Attribute::AttrKindTombstoneKey; 1760319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling } 1770319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling static unsigned getHashValue(const Attribute::AttrKind &Val) { 1780319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling return Val * 37U; 1790319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling } 1800319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling static bool isEqual(const Attribute::AttrKind &LHS, 1810319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling const Attribute::AttrKind &RHS) { 1820319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling return LHS == RHS; 1830319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling } 1840319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling}; 1850319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling 1860319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling//===----------------------------------------------------------------------===// 18799faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling// AttributeSet Smart Pointer 18858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner//===----------------------------------------------------------------------===// 18958d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner 190a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingclass AttrBuilder; 19118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendlingclass AttributeSetImpl; 192c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendlingstruct AttributeWithIndex; 193710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 19418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling//===----------------------------------------------------------------------===// 19527107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \class 19627107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \brief This class manages the ref count for the opaque AttributeSetImpl 19718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling/// object and provides accessors for it. 19899faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendlingclass AttributeSet { 19907aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendlingpublic: 20007aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling enum AttrIndex { 20107aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling ReturnIndex = 0U, 20207aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling FunctionIndex = ~0U 20307aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling }; 20407aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendlingprivate: 205a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling friend class AttrBuilder; 206a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 20718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes that we are managing. This can be null to represent 2080976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling /// the empty attributes list. 20918e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling AttributeSetImpl *AttrList; 2100976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling 21118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the specified index are returned. Attributes 2120976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling /// for the result are denoted with Idx = 0. 213034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling Attribute getAttributes(unsigned Idx) const; 2140976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling 215defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// \brief Add the specified attribute at the specified index to this 216defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 217defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// list. 218defaca00b8087d452df2b783250a48a32658a910Bill Wendling AttributeSet addAttr(LLVMContext &C, unsigned Idx, Attribute Attrs) const; 219defaca00b8087d452df2b783250a48a32658a910Bill Wendling 2208246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// \brief Remove the specified attribute at the specified index from this 2218246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 2228246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// list. 2238246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet removeAttr(LLVMContext &C, unsigned Idx, Attribute Attrs) const; 2248246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling 22518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling explicit AttributeSet(AttributeSetImpl *LI) : AttrList(LI) {} 22658d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattnerpublic: 22799faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet() : AttrList(0) {} 22899faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet(const AttributeSet &P) : AttrList(P.AttrList) {} 22999faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling const AttributeSet &operator=(const AttributeSet &RHS); 230710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 23158d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 2320598866c052147c31b808391f58434ce3dbfb838Devang Patel // Attribute List Construction and Mutation 23358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 234710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 23518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return an AttributeSet with the specified parameters in it. 23699faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling static AttributeSet get(LLVMContext &C, ArrayRef<AttributeWithIndex> Attrs); 2371bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling static AttributeSet get(LLVMContext &C, unsigned Idx, AttrBuilder &B); 23858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner 239defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// \brief Add an attribute to the attribute set at the given index. Since 240defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// attribute sets are immutable, this returns a new set. 241defaca00b8087d452df2b783250a48a32658a910Bill Wendling AttributeSet addAttribute(LLVMContext &C, unsigned Idx, 242defaca00b8087d452df2b783250a48a32658a910Bill Wendling Attribute::AttrKind Attr) const; 243710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 244e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling /// \brief Add attributes to the attribute set at the given index. Since 245e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling /// attribute sets are immutable, this returns a new set. 246e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addAttributes(LLVMContext &C, unsigned Idx, 247e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet Attrs) const; 248e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling 2491b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling /// \brief Add return attributes to this attribute set. Since attribute sets 2501b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling /// are immutable, this returns a new set. 251e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addRetAttributes(LLVMContext &C, AttributeSet Attrs) const { 252e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling return addAttributes(C, ReturnIndex, Attrs); 253e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling } 2541b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling 255956f13440a4aa0297606a4412f4aa091d931592aBill Wendling /// \brief Add function attributes to this attribute set. Since attribute sets 256956f13440a4aa0297606a4412f4aa091d931592aBill Wendling /// are immutable, this returns a new set. 257e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addFnAttributes(LLVMContext &C, AttributeSet Attrs) const { 258e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling return addAttributes(C, FunctionIndex, Attrs); 259e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling } 260956f13440a4aa0297606a4412f4aa091d931592aBill Wendling 26118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Remove the specified attribute at the specified index from this 2628246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 26318e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// list. 2648246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet removeAttribute(LLVMContext &C, unsigned Idx, 2658246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling Attribute::AttrKind Attr) const; 2668246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling 2678246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// \brief Remove the specified attributes at the specified index from this 2688246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 2698246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// list. 2708246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet removeAttributes(LLVMContext &C, unsigned Idx, 2718246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet Attrs) const; 272710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 27358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 2740598866c052147c31b808391f58434ce3dbfb838Devang Patel // Attribute List Accessors 27558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 27618e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling 27718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the specified index are returned. 278034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling Attribute getParamAttributes(unsigned Idx) const { 27919c874638d9478a5d5028854817a5ee72293bb2bDevang Patel return getAttributes(Idx); 28019c874638d9478a5d5028854817a5ee72293bb2bDevang Patel } 28119c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 28218e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the ret value are returned. 2833fc4b96b503fa202411317684a2ba02e41e43072Bill Wendling AttributeSet getRetAttributes() const; 28419c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 28518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The function attributes are returned. 286c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling AttributeSet getFnAttributes() const; 287710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 28818e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return the alignment for the specified function parameter. 289956f13440a4aa0297606a4412f4aa091d931592aBill Wendling unsigned getParamAlignment(unsigned Idx) const; 290710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 291831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return true if the attribute exists at the given index. 292831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling bool hasAttribute(unsigned Index, Attribute::AttrKind Kind) const; 293831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 294831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return true if attribute exists at the given index. 295831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling bool hasAttributes(unsigned Index) const; 296831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 297831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Get the stack alignment. 298831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling unsigned getStackAlignment(unsigned Index) const; 299831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 300831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return the attributes at the index as a string. 301831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling std::string getAsString(unsigned Index) const; 302831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 3031db9b6957c2565a2322206bd5907530895f1c7acBill Wendling uint64_t Raw(unsigned Index) const; 304831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 30518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return true if the specified attribute is set for at least one 30618e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// parameter or for the return value. 307629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling bool hasAttrSomewhere(Attribute::AttrKind Attr) const; 30858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner 309041221c0972ff575b07f76808c504833d629ae1fChris Lattner /// operator==/!= - Provide equality predicates. 31018e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling bool operator==(const AttributeSet &RHS) const { 31118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling return AttrList == RHS.AttrList; 31218e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling } 31318e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling bool operator!=(const AttributeSet &RHS) const { 31418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling return AttrList != RHS.AttrList; 31518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling } 316710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 31758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 3180598866c052147c31b808391f58434ce3dbfb838Devang Patel // Attribute List Introspection 31958d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 320710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 32118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return a raw pointer that uniquely identifies this attribute list. 32258d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner void *getRawPointer() const { 3230598866c052147c31b808391f58434ce3dbfb838Devang Patel return AttrList; 32458d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner } 325710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 326034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling // Attributes are stored as a dense set of slots, where there is one slot for 327034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling // each argument that has an attribute. This allows walking over the dense 328034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling // set instead of walking the sparse list of attributes. 329710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 33018e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return true if there are no attributes. 33158d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner bool isEmpty() const { 3320598866c052147c31b808391f58434ce3dbfb838Devang Patel return AttrList == 0; 33358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner } 334710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 33518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return the number of slots used in this attribute list. This is 33618e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// the number of arguments that have an attribute set on them (including the 33718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// function itself). 33858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner unsigned getNumSlots() const; 339710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 34018e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return the AttributeWithIndex at the specified slot. This holds a 34118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// index number plus a set of attributes. 3420598866c052147c31b808391f58434ce3dbfb838Devang Patel const AttributeWithIndex &getSlot(unsigned Slot) const; 343710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 344f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling void dump() const; 34558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner}; 3464f859aa532dbf061736f9c23e0d0882b5cdfe566Reid Spencer 347a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling//===----------------------------------------------------------------------===// 348a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// \class 349c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling/// \brief This is just a pair of values to associate a set of attributes with 350c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling/// an index. 351c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendlingstruct AttributeWithIndex { 352c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling Attribute Attrs; ///< The attributes that are set, or'd together. 353c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling Constant *Val; ///< Value attached to attribute, e.g. alignment. 354c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling unsigned Index; ///< Index of the parameter for which the attributes apply. 355c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling ///< Index 0 is used for return value attributes. 356c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling ///< Index ~0U is used for function attributes. 357c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling 358c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling // FIXME: These methods all need to be revised. The first one is temporary. 359c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling static AttributeWithIndex get(LLVMContext &C, unsigned Idx, AttributeSet AS); 360c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling static AttributeWithIndex get(LLVMContext &C, unsigned Idx, 361c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling ArrayRef<Attribute::AttrKind> Attrs) { 362c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling return get(Idx, Attribute::get(C, Attrs)); 363c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling } 364c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling static AttributeWithIndex get(unsigned Idx, Attribute Attrs) { 365c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling AttributeWithIndex P; 366c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Index = Idx; 367c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Attrs = Attrs; 368c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Val = 0; 369c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling return P; 370c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling } 371c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling static AttributeWithIndex get(unsigned Idx, Attribute Attrs, Constant *Val) { 372c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling AttributeWithIndex P; 373c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Index = Idx; 374c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Attrs = Attrs; 375c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling P.Val = Val; 376c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling return P; 377c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling } 378c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling}; 379c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling 380c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling//===----------------------------------------------------------------------===// 381c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling/// \class 382a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// \brief This class is used in conjunction with the Attribute::get method to 383a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// create an Attribute object. The object itself is uniquified. The Builder's 384a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// value, however, is not. So this can be used as a quick way to test for 385a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// equality, presence of attributes, etc. 386a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingclass AttrBuilder { 387a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling DenseSet<Attribute::AttrKind> Attrs; 388a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t Alignment; 389a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t StackAlignment; 390a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingpublic: 391a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder() : Alignment(0), StackAlignment(0) {} 392a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling explicit AttrBuilder(uint64_t B) : Alignment(0), StackAlignment(0) { 393a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling addRawValue(B); 394a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 395a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder(const Attribute &A) : Alignment(0), StackAlignment(0) { 396a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling addAttributes(A); 397a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 398a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder(AttributeSet AS, unsigned Idx); 399a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 400a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling void clear(); 401a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 402a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Add an attribute to the builder. 403a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addAttribute(Attribute::AttrKind Val); 404a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 405a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Remove an attribute from the builder. 406a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &removeAttribute(Attribute::AttrKind Val); 407a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 408a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Add the attributes from A to the builder. 409a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addAttributes(const Attribute &A); 410a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 411a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Remove the attributes from A from the builder. 412a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &removeAttributes(const Attribute &A); 413a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 414a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has the specified attribute. 415a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool contains(Attribute::AttrKind A) const; 416a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 417a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has IR-level attributes. 418a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool hasAttributes() const; 419a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 420a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has any attribute that's in the 421a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// specified attribute. 422a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool hasAttributes(const Attribute &A) const; 423a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 424a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has an alignment attribute. 425a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool hasAlignmentAttr() const; 426a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 427a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Retrieve the alignment attribute, if it exists. 428a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t getAlignment() const { return Alignment; } 429a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 430a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Retrieve the stack alignment attribute, if it exists. 431a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t getStackAlignment() const { return StackAlignment; } 432a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 433a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief This turns an int alignment (which must be a power of 2) into the 434a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// form used internally in Attribute. 435a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addAlignmentAttr(unsigned Align); 436a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 437a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief This turns an int stack alignment (which must be a power of 2) into 438a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// the form used internally in Attribute. 439a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addStackAlignmentAttr(unsigned Align); 440a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 441a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling typedef DenseSet<Attribute::AttrKind>::iterator iterator; 442a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling typedef DenseSet<Attribute::AttrKind>::const_iterator const_iterator; 443a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 444a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling iterator begin() { return Attrs.begin(); } 445a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling iterator end() { return Attrs.end(); } 446a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 447a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling const_iterator begin() const { return Attrs.begin(); } 448a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling const_iterator end() const { return Attrs.end(); } 449a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 450a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Add the raw value to the internal representation. 451a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// 452a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// N.B. This should be used ONLY for decoding LLVM bitcode! 453a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addRawValue(uint64_t Val); 454a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 455a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Remove attributes that are used on functions only. 456a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling void removeFunctionOnlyAttrs() { 457a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling removeAttribute(Attribute::NoReturn) 458a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoUnwind) 459a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReadNone) 460a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReadOnly) 461a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoInline) 462a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::AlwaysInline) 463a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::OptimizeForSize) 464a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackProtect) 465a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackProtectReq) 466a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoRedZone) 467a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoImplicitFloat) 468a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::Naked) 469a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::InlineHint) 470a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackAlignment) 471a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::UWTable) 472a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NonLazyBind) 473a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReturnsTwice) 474a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::AddressSafety) 475a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::MinSize) 476a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoDuplicate); 477a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 478a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 4791db9b6957c2565a2322206bd5907530895f1c7acBill Wendling uint64_t Raw() const; 480a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 481a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool operator==(const AttrBuilder &B); 482a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool operator!=(const AttrBuilder &B) { 483a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling return !(*this == B); 484a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 485a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling}; 486a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 48727107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling} // end llvm namespace 4886091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 4896091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer#endif 490