Attributes.h revision e74365462a39529ae48ef4d34ec76b4543b8ea29
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" 213467e30edf63b6d8a8d446186674ba9e4b7885a9Bill Wendling#include "llvm/ADT/FoldingSet.h" 2222bd64173981bf1251c4b3bfc684207340534ba3Bill Wendling#include <cassert> 2358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner#include <string> 246091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 256091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencernamespace llvm { 26d426a642a23a234547cbc7061f5bfec157673249Bill Wendling 27702cc91aa1bd41540e8674921ae7ac89a4ff061fBill Wendlingclass AttrBuilder; 28f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendlingclass AttributeImpl; 29817abdd8b055059e5930a15704b9f52da4236456Bill Wendlingclass AttributeSetImpl; 30817abdd8b055059e5930a15704b9f52da4236456Bill Wendlingclass AttributeSetNode; 316dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendlingclass Constant; 322c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendlingclass LLVMContext; 33ad9a9e15595bc9d5ba1ed752caf8572957f77a3dDuncan Sandsclass Type; 34ad9a9e15595bc9d5ba1ed752caf8572957f77a3dDuncan Sands 351d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling//===----------------------------------------------------------------------===// 3627107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \class 3727107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \brief Functions, function parameters, and return types can have attributes 381d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// to indicate how they should be treated by optimizations and code 391d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// generation. This class represents one of those attributes. It's light-weight 401d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling/// and should be passed around by-value. 41034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendlingclass Attribute { 426765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendlingpublic: 431d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// This enumeration lists the attributes that can be associated with 441d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// parameters, function results or the function itself. 45f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 461d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// Note: uwtable is about the ABI or the user mandating an entry in the 4711d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// unwind table. The nounwind attribute is about an exception passing by the 4811d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// function. 49f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 5011d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// In a theoretical system that uses tables for profiling and sjlj for 5111d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// exceptions, they would be fully independent. In a normal system that uses 5211d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// tables for both, the semantics are: 53f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling /// 5411d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// nil = Needs an entry because an exception might pass by. 5511d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// nounwind = No need for an entry 5611d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// uwtable = Needs an entry because the ABI says so and because 5711d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// an exception might pass by. 5811d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling /// uwtable + nounwind = Needs an entry because the ABI says so. 5911d00420e42ba88c3b48cab997965a7be79315e2Bill Wendling 60629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling enum AttrKind { 615a0eeb5a9d727940b1dbe8dff6e9aa292ada0f6aBill Wendling // IR-Level Attributes 62480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling None, ///< No attributes have been set 63480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling AddressSafety, ///< Address safety checking is on. 64480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Alignment, ///< Alignment of parameter (5 bits) 656765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< stored as log2 of alignment with +1 bias 66f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendling ///< 0 means unaligned (different from align(1)) 67480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling AlwaysInline, ///< inline=always 68480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ByVal, ///< Pass structure by value 69480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling InlineHint, ///< Source said inlining was desirable 70480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling InReg, ///< Force argument to be passed in register 719a419f656e278b96e9dfe739cd63c7bff9a4e1fdQuentin Colombet MinSize, ///< Function must be optimized for size first 72480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Naked, ///< Naked function 73480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling Nest, ///< Nested function static chain 74480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoAlias, ///< Considered to not alias after call 75480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoCapture, ///< Function creates no aliases of pointer 7667ae13575900e8efd056672987249fd0adbf5e73James Molloy NoDuplicate, ///< Call cannot be duplicated 77480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoImplicitFloat, ///< Disable implicit floating point insts 78480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoInline, ///< inline=never 79480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NonLazyBind, ///< Function is called early and/or 803a106e60366a51b4594ec303ff8dbbc58913227fBill Wendling ///< often, so lazy binding isn't worthwhile 81480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoRedZone, ///< Disable redzone 82480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoReturn, ///< Mark the function as not returning 83480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling NoUnwind, ///< Function doesn't unwind stack 84480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling OptimizeForSize, ///< opt_size 85480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReadNone, ///< Function does not access memory 86480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReadOnly, ///< Function only reads from memory 87480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling ReturnsTwice, ///< Function can return twice 88480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling SExt, ///< Sign extended before/after call 89480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackAlignment, ///< Alignment of stack for function (3 bits) 906765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< stored as log2 of alignment with +1 bias 0 916765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling ///< means unaligned (different from 92f6670729aabc1fab85238d2b306a1c1767a807bbBill Wendling ///< alignstack=(1)) 93480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackProtect, ///< Stack protection. 94480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StackProtectReq, ///< Stack protection required. 95114baee1fa017daefad2339c77b45b9ca3d79a41Bill Wendling StackProtectStrong, ///< Strong Stack protection. 96480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling StructRet, ///< Hidden pointer to structure to return 97480b1b28ea6fc1bb5c78d99472df624cfd3fce47Bill Wendling UWTable, ///< Function must be in a unwind table 980319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling ZExt, ///< Zero extended before/after call 990319888773b36dd61d7d2283cb9a26cac1e5abe8Bill Wendling 1003a4779a9211281a1d0c27c97037342329035a185NAKAMURA Takumi EndAttrKinds, ///< Sentinal value useful for loops 1013a4779a9211281a1d0c27c97037342329035a185NAKAMURA Takumi 1026f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth AttrKindEmptyKey, ///< Empty key value for DenseMapInfo 1036f78fbbc630d2b86fb752574f5ad74473f57dfb1Chandler Carruth AttrKindTombstoneKey ///< Tombstone key value for DenseMapInfo 1046765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendling }; 1056765834754cbb3cb0f15b4b15e98c5e73fa50066Bill Wendlingprivate: 10627107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling AttributeImpl *pImpl; 10727107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling Attribute(AttributeImpl *A) : pImpl(A) {} 108d426a642a23a234547cbc7061f5bfec157673249Bill Wendlingpublic: 10927107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling Attribute() : pImpl(0) {} 1102c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling 111c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling //===--------------------------------------------------------------------===// 112c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // Attribute Construction 113c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling //===--------------------------------------------------------------------===// 114c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 115c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling /// \brief Return a uniquified Attribute object. 1166bdbf061c353295669b6bfc271b948158602d1bcBill Wendling static Attribute get(LLVMContext &Context, AttrKind Kind); 117034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendling static Attribute get(LLVMContext &Context, AttrBuilder &B); 1182c79ecbd704c656178ffa43d5a58ebe3ca188b40Bill Wendling 119c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling /// \brief Return a uniquified Attribute object that has the specific 120c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling /// alignment set. 121c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling static Attribute getWithAlignment(LLVMContext &Context, uint64_t Align); 122c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling static Attribute getWithStackAlignment(LLVMContext &Context, uint64_t Align); 123c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling 124c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling //===--------------------------------------------------------------------===// 125c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // Attribute Accessors 126c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling //===--------------------------------------------------------------------===// 127c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 1281d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Return true if the attribute is present. 129629fb82419d9bfff6ae475363bcce66192dfcc8eBill Wendling bool hasAttribute(AttrKind Val) const; 1302e879bcd52583335c753c005d203bf2ffe8b67b5Bill Wendling 1311d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Return true if attributes exist 13205cc40d20c0f3b2f1bd5cb86ceb9f32d07cae110Bill Wendling bool hasAttributes() const; 1332e879bcd52583335c753c005d203bf2ffe8b67b5Bill Wendling 1346dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling /// \brief Return the kind of this attribute. 1356dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling Constant *getAttributeKind() const; 1366dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling 1376dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling /// \brief Return the value (if present) of the non-target-specific attribute. 1386dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling ArrayRef<Constant*> getAttributeValues() const; 1396dc3781d44e56f0addf28b06232a50f3f9e6b1afBill Wendling 1401d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Returns the alignment field of an attribute as a byte alignment 141ef99fe8efaa6cb74c66e570a6ef467debca92911Bill Wendling /// value. 142e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling unsigned getAlignment() const; 143ef99fe8efaa6cb74c66e570a6ef467debca92911Bill Wendling 1441d3dcfe4246b4d45fa78a8dfd0a11c7fff842c15Bill Wendling /// \brief Returns the stack alignment field of an attribute as a byte 145943c29135e03e55f9a5dab393786171a4a536482Bill Wendling /// alignment value. 146e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling unsigned getStackAlignment() const; 14730b483c94001927b3593ed200e823104bab51660Bill Wendling 148c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// \brief The Attribute is converted to a string of equivalent mnemonic. This 149c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// is, presumably, for writing out the mnemonics for the assembly writer. 150c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling std::string getAsString() const; 151c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 15260507d53e7e8e6b0c537675f68204a93c3033de7Bill Wendling /// \brief Equality and non-equality query methods. 15392e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling bool operator==(AttrKind K) const; 15492e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling bool operator!=(AttrKind K) const; 15592e287f5bde8d34af9c3f2979afb6cd05bfb452cBill Wendling 1562d5be6c313c0f9e23e56620fa8f8ae8d9b539bf0Bill Wendling bool operator==(Attribute A) const { return pImpl == A.pImpl; } 1572d5be6c313c0f9e23e56620fa8f8ae8d9b539bf0Bill Wendling bool operator!=(Attribute A) const { return pImpl != A.pImpl; } 1582d5be6c313c0f9e23e56620fa8f8ae8d9b539bf0Bill Wendling 159c08a5ef6581f2c7550e92d31f63cd65ec29c39e0Bill Wendling /// \brief Less-than operator. Useful for sorting the attributes list. 1603467e30edf63b6d8a8d446186674ba9e4b7885a9Bill Wendling bool operator<(Attribute A) const; 1613467e30edf63b6d8a8d446186674ba9e4b7885a9Bill Wendling 162bb08593980b16fbd9758da6ca4fa9c7964f2f926Bill Wendling void Profile(FoldingSetNodeID &ID) const { 163bb08593980b16fbd9758da6ca4fa9c7964f2f926Bill Wendling ID.AddPointer(pImpl); 164bb08593980b16fbd9758da6ca4fa9c7964f2f926Bill Wendling } 1653467e30edf63b6d8a8d446186674ba9e4b7885a9Bill Wendling 166c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // FIXME: Remove this. 1671db9b6957c2565a2322206bd5907530895f1c7acBill Wendling uint64_t Raw() const; 168827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands}; 169827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 170e66f3d3ba0ea9f82f65a29c47fc37e997cbf0aceBill Wendling//===----------------------------------------------------------------------===// 17127107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \class 17227107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling/// \brief This class manages the ref count for the opaque AttributeSetImpl 17318e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling/// object and provides accessors for it. 17499faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendlingclass AttributeSet { 17507aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendlingpublic: 17607aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling enum AttrIndex { 17707aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling ReturnIndex = 0U, 17807aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling FunctionIndex = ~0U 17907aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendling }; 18007aae2e7d58fe23e370e0cbb9e1a3def99434c36Bill Wendlingprivate: 181a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling friend class AttrBuilder; 1827d38c109aab8654e63e9071c7d948661f6b58433Bill Wendling friend class AttributeSetImpl; 183a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 18418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes that we are managing. This can be null to represent 1850976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling /// the empty attributes list. 186ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling AttributeSetImpl *pImpl; 1870976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling 18818e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the specified index are returned. Attributes 1890976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling /// for the result are denoted with Idx = 0. 190606c8e36dfdd28fc589356addd3e2cbb89a32e4dBill Wendling AttributeSetNode *getAttributes(unsigned Idx) const; 1910976e00fd1cbf4128daeb72efd8957d00383fda9Bill Wendling 19287e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling /// \brief Create an AttributeSet with the specified parameters in it. 19387e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling static AttributeSet get(LLVMContext &C, 1946bdbf061c353295669b6bfc271b948158602d1bcBill Wendling ArrayRef<std::pair<unsigned, Attribute> > Attrs); 19587e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling static AttributeSet get(LLVMContext &C, 1966bdbf061c353295669b6bfc271b948158602d1bcBill Wendling ArrayRef<std::pair<unsigned, 19787e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling AttributeSetNode*> > Attrs); 19887e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling 19987e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling static AttributeSet getImpl(LLVMContext &C, 2006bdbf061c353295669b6bfc271b948158602d1bcBill Wendling ArrayRef<std::pair<unsigned, 20187e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling AttributeSetNode*> > Attrs); 20287e10dfefa94f77937c37b0eb51095540d675cbcBill Wendling 2037d38c109aab8654e63e9071c7d948661f6b58433Bill Wendling 204ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling explicit AttributeSet(AttributeSetImpl *LI) : pImpl(LI) {} 20558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattnerpublic: 206ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling AttributeSet() : pImpl(0) {} 207ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling AttributeSet(const AttributeSet &P) : pImpl(P.pImpl) {} 208d05204aea4977eaec25e96bc7605a7bb9d806fc0Bill Wendling const AttributeSet &operator=(const AttributeSet &RHS) { 209d05204aea4977eaec25e96bc7605a7bb9d806fc0Bill Wendling pImpl = RHS.pImpl; 210d05204aea4977eaec25e96bc7605a7bb9d806fc0Bill Wendling return *this; 211d05204aea4977eaec25e96bc7605a7bb9d806fc0Bill Wendling } 212710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 21358d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 214c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // AttributeSet Construction and Mutation 21558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 216710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 21718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return an AttributeSet with the specified parameters in it. 2188e47daf2858e980210f3e1f007036b24da342c29Bill Wendling static AttributeSet get(LLVMContext &C, ArrayRef<AttributeSet> Attrs); 21928d65722d6f283b327b5815914382077fe9c0ab4Bill Wendling static AttributeSet get(LLVMContext &C, unsigned Idx, 22032a57958226e369f964a034da2ce7083a1a34297Bill Wendling ArrayRef<Attribute::AttrKind> Kind); 2211bbd644301ed4d8a7efd4ceb15f71c56fa914f28Bill Wendling static AttributeSet get(LLVMContext &C, unsigned Idx, AttrBuilder &B); 22258d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner 223defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// \brief Add an attribute to the attribute set at the given index. Since 224defaca00b8087d452df2b783250a48a32658a910Bill Wendling /// attribute sets are immutable, this returns a new set. 225defaca00b8087d452df2b783250a48a32658a910Bill Wendling AttributeSet addAttribute(LLVMContext &C, unsigned Idx, 226defaca00b8087d452df2b783250a48a32658a910Bill Wendling Attribute::AttrKind Attr) const; 227710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 228e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling /// \brief Add attributes to the attribute set at the given index. Since 229e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling /// attribute sets are immutable, this returns a new set. 230e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addAttributes(LLVMContext &C, unsigned Idx, 231e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet Attrs) const; 232e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling 2331b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling /// \brief Add return attributes to this attribute set. Since attribute sets 2341b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling /// are immutable, this returns a new set. 235e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addRetAttributes(LLVMContext &C, AttributeSet Attrs) const { 236e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling return addAttributes(C, ReturnIndex, Attrs); 237e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling } 2381b0c54f1c5dd61e56cb7cbc435fcb3319cff628fBill Wendling 239956f13440a4aa0297606a4412f4aa091d931592aBill Wendling /// \brief Add function attributes to this attribute set. Since attribute sets 240956f13440a4aa0297606a4412f4aa091d931592aBill Wendling /// are immutable, this returns a new set. 241e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling AttributeSet addFnAttributes(LLVMContext &C, AttributeSet Attrs) const { 242e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling return addAttributes(C, FunctionIndex, Attrs); 243e4e85f17564c28cd571dda30146c3f310521acf0Bill Wendling } 244956f13440a4aa0297606a4412f4aa091d931592aBill Wendling 24518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Remove the specified attribute at the specified index from this 2468246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 24718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// list. 2488246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet removeAttribute(LLVMContext &C, unsigned Idx, 2498246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling Attribute::AttrKind Attr) const; 2508246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling 2518246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// \brief Remove the specified attributes at the specified index from this 2528246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// attribute list. Since attribute lists are immutable, this returns the new 2538246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling /// list. 2548246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet removeAttributes(LLVMContext &C, unsigned Idx, 2558246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling AttributeSet Attrs) const; 256710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 25758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 258c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // AttributeSet Accessors 25958d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 26018e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling 26118e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the specified index are returned. 26228d65722d6f283b327b5815914382077fe9c0ab4Bill Wendling AttributeSet getParamAttributes(unsigned Idx) const; 26319c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 26418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The attributes for the ret value are returned. 2653fc4b96b503fa202411317684a2ba02e41e43072Bill Wendling AttributeSet getRetAttributes() const; 26619c874638d9478a5d5028854817a5ee72293bb2bDevang Patel 26718e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief The function attributes are returned. 268c5f1bc88a2eb7ad9ff924ca90cf88494e5f947b9Bill Wendling AttributeSet getFnAttributes() const; 269710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 270831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return true if the attribute exists at the given index. 27119d815c04fde6b7b53c2b542813157edfa213842Bill Wendling bool hasAttribute(unsigned Index, Attribute::AttrKind Kind) const; 272831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 273831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return true if attribute exists at the given index. 27419d815c04fde6b7b53c2b542813157edfa213842Bill Wendling bool hasAttributes(unsigned Index) const; 275831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 276c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// \brief Return true if the specified attribute is set for at least one 277c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// parameter or for the return value. 278c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling bool hasAttrSomewhere(Attribute::AttrKind Attr) const; 279c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 28049f6060f16aec4024d644a6ec4ddd3de9b3e8821Bill Wendling /// \brief Return the alignment for the specified function parameter. 28119d815c04fde6b7b53c2b542813157edfa213842Bill Wendling unsigned getParamAlignment(unsigned Idx) const; 2828e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 283831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Get the stack alignment. 28419d815c04fde6b7b53c2b542813157edfa213842Bill Wendling unsigned getStackAlignment(unsigned Index) const; 285831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 286831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling /// \brief Return the attributes at the index as a string. 28719d815c04fde6b7b53c2b542813157edfa213842Bill Wendling std::string getAsString(unsigned Index) const; 288831737d329a727f53a1fb0572f7b7a8127208881Bill Wendling 289041221c0972ff575b07f76808c504833d629ae1fChris Lattner /// operator==/!= - Provide equality predicates. 29018e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling bool operator==(const AttributeSet &RHS) const { 291ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling return pImpl == RHS.pImpl; 29218e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling } 29318e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling bool operator!=(const AttributeSet &RHS) const { 294ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling return pImpl != RHS.pImpl; 29518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling } 296710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 29758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 298c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // AttributeSet Introspection 29958d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner //===--------------------------------------------------------------------===// 300710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 301c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // FIXME: Remove this. 302c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling uint64_t Raw(unsigned Index) const; 303c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 30418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return a raw pointer that uniquely identifies this attribute list. 30558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner void *getRawPointer() const { 306ec2589863b32da169240c4fa120ef1e3798615d4Bill Wendling return pImpl; 30758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner } 308710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 30918e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return true if there are no attributes. 31058d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner bool isEmpty() const { 311aa57893e84ba7a35948fcaa99812ba88e58f4797Bill Wendling return getNumSlots() == 0; 31258d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner } 313710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 31418e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// \brief Return the number of slots used in this attribute list. This is 31518e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// the number of arguments that have an attribute set on them (including the 31618e7211068c9d2c6204512f9c468ee179818a4b6Bill Wendling /// function itself). 31758d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner unsigned getNumSlots() const; 318710632d07b13609444626367bebd34c0af3acb6aMikhail Glushenkov 319e1f95db4803a48a30fc2a1d5868281a87a36fb85Bill Wendling /// \brief Return the index for the given slot. 3203e3e789aede6ec38d39c95d88ad4e8634d5a259bBill Wendling uint64_t getSlotIndex(unsigned Slot) const; 321e1f95db4803a48a30fc2a1d5868281a87a36fb85Bill Wendling 3228e47daf2858e980210f3e1f007036b24da342c29Bill Wendling /// \brief Return the attributes at the given slot. 3238e47daf2858e980210f3e1f007036b24da342c29Bill Wendling AttributeSet getSlotAttributes(unsigned Slot) const; 3248e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 325f3d1500ab2c7364d3d0fb73a7e1b8c6339ab48b1Bill Wendling void dump() const; 32658d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner}; 3274f859aa532dbf061736f9c23e0d0882b5cdfe566Reid Spencer 328a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling//===----------------------------------------------------------------------===// 329a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// \class 330c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling/// \brief Provide DenseMapInfo for Attribute::AttrKinds. This is used by 331c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling/// AttrBuilder. 332c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendlingtemplate<> struct DenseMapInfo<Attribute::AttrKind> { 333c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling static inline Attribute::AttrKind getEmptyKey() { 334c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling return Attribute::AttrKindEmptyKey; 335c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling } 336c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling static inline Attribute::AttrKind getTombstoneKey() { 337c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling return Attribute::AttrKindTombstoneKey; 338c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling } 339c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling static unsigned getHashValue(const Attribute::AttrKind &Val) { 340c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling return Val * 37U; 341c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling } 342c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling static bool isEqual(const Attribute::AttrKind &LHS, 343c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling const Attribute::AttrKind &RHS) { 344c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling return LHS == RHS; 345c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling } 346c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling}; 347c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 348c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling//===----------------------------------------------------------------------===// 349c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling/// \class 350a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// \brief This class is used in conjunction with the Attribute::get method to 351a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// create an Attribute object. The object itself is uniquified. The Builder's 352a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// value, however, is not. So this can be used as a quick way to test for 353a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling/// equality, presence of attributes, etc. 354a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingclass AttrBuilder { 355a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling DenseSet<Attribute::AttrKind> Attrs; 356a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t Alignment; 357a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t StackAlignment; 358a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendlingpublic: 359a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder() : Alignment(0), StackAlignment(0) {} 360a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling explicit AttrBuilder(uint64_t B) : Alignment(0), StackAlignment(0) { 361a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling addRawValue(B); 362a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 363a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder(const Attribute &A) : Alignment(0), StackAlignment(0) { 364a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling addAttributes(A); 365a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 366a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder(AttributeSet AS, unsigned Idx); 367a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 368a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling void clear(); 369a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 370a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Add an attribute to the builder. 371a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addAttribute(Attribute::AttrKind Val); 372a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 373a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Remove an attribute from the builder. 374a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &removeAttribute(Attribute::AttrKind Val); 375a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 37649f6060f16aec4024d644a6ec4ddd3de9b3e8821Bill Wendling /// \brief Add the attributes to the builder. 37749f6060f16aec4024d644a6ec4ddd3de9b3e8821Bill Wendling AttrBuilder &addAttributes(Attribute A); 37849f6060f16aec4024d644a6ec4ddd3de9b3e8821Bill Wendling 37949f6060f16aec4024d644a6ec4ddd3de9b3e8821Bill Wendling /// \brief Remove the attributes from the builder. 380e74365462a39529ae48ef4d34ec76b4543b8ea29Bill Wendling AttrBuilder &removeAttributes(AttributeSet A, uint64_t Index); 381a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 382a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has the specified attribute. 383a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool contains(Attribute::AttrKind A) const; 384a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 385a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has IR-level attributes. 386a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool hasAttributes() const; 387a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 388a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has any attribute that's in the 389a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// specified attribute. 390e74365462a39529ae48ef4d34ec76b4543b8ea29Bill Wendling bool hasAttributes(AttributeSet A, uint64_t Index) const; 391a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 392a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Return true if the builder has an alignment attribute. 393a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool hasAlignmentAttr() const; 394a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 395a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Retrieve the alignment attribute, if it exists. 396a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t getAlignment() const { return Alignment; } 397a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 398a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Retrieve the stack alignment attribute, if it exists. 399a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling uint64_t getStackAlignment() const { return StackAlignment; } 400a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 401a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief This turns an int alignment (which must be a power of 2) into the 402a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// form used internally in Attribute. 403a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addAlignmentAttr(unsigned Align); 404a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 405a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief This turns an int stack alignment (which must be a power of 2) into 406a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// the form used internally in Attribute. 407a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling AttrBuilder &addStackAlignmentAttr(unsigned Align); 408a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 409a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling typedef DenseSet<Attribute::AttrKind>::iterator iterator; 410a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling typedef DenseSet<Attribute::AttrKind>::const_iterator const_iterator; 411a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 412c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling iterator begin() { return Attrs.begin(); } 413c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling iterator end() { return Attrs.end(); } 414817abdd8b055059e5930a15704b9f52da4236456Bill Wendling 415a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling const_iterator begin() const { return Attrs.begin(); } 416a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling const_iterator end() const { return Attrs.end(); } 417a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 418a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling /// \brief Remove attributes that are used on functions only. 419a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling void removeFunctionOnlyAttrs() { 420a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling removeAttribute(Attribute::NoReturn) 421a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoUnwind) 422a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReadNone) 423a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReadOnly) 424a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoInline) 425a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::AlwaysInline) 426a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::OptimizeForSize) 427a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackProtect) 428a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackProtectReq) 429114baee1fa017daefad2339c77b45b9ca3d79a41Bill Wendling .removeAttribute(Attribute::StackProtectStrong) 430a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoRedZone) 431a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoImplicitFloat) 432a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::Naked) 433a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::InlineHint) 434a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::StackAlignment) 435a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::UWTable) 436a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NonLazyBind) 437a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::ReturnsTwice) 438a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::AddressSafety) 439a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::MinSize) 440a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling .removeAttribute(Attribute::NoDuplicate); 441a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 442a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 443a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool operator==(const AttrBuilder &B); 444a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling bool operator!=(const AttrBuilder &B) { 445a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling return !(*this == B); 446a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling } 447c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 448c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling // FIXME: Remove these. 449c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 450c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// \brief Add the raw value to the internal representation. 451c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// 452c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling /// N.B. This should be used ONLY for decoding LLVM bitcode! 453c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling AttrBuilder &addRawValue(uint64_t Val); 454c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling 455c22f4aa886443507f8406d30d118fdeeac6a8c6cBill Wendling uint64_t Raw() const; 456a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling}; 457a90a99a82b9c5c39fc6dbee9c266dcd7b107fe2fBill Wendling 4588e47daf2858e980210f3e1f007036b24da342c29Bill Wendlingnamespace AttributeFuncs { 4598e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 4608e47daf2858e980210f3e1f007036b24da342c29Bill Wendling/// \brief Which attributes cannot be applied to a type. 461e74365462a39529ae48ef4d34ec76b4543b8ea29Bill WendlingAttributeSet typeIncompatible(Type *Ty, uint64_t Index); 4628e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 4638e47daf2858e980210f3e1f007036b24da342c29Bill Wendling/// \brief This returns an integer containing an encoding of all the LLVM 4648e47daf2858e980210f3e1f007036b24da342c29Bill Wendling/// attributes found in the given attribute bitset. Any change to this encoding 4658e47daf2858e980210f3e1f007036b24da342c29Bill Wendling/// is a breaking change to bitcode compatibility. 4668e47daf2858e980210f3e1f007036b24da342c29Bill Wendlinguint64_t encodeLLVMAttributesForBitcode(AttributeSet Attrs, unsigned Index); 4678e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 4688232ece5c1e57efe54342fb35610497d50bf894fBill Wendling/// \brief This fills an AttrBuilder object with the LLVM attributes that have 4698232ece5c1e57efe54342fb35610497d50bf894fBill Wendling/// been decoded from the given integer. This function must stay in sync with 4708232ece5c1e57efe54342fb35610497d50bf894fBill Wendling/// 'encodeLLVMAttributesForBitcode'. 4718232ece5c1e57efe54342fb35610497d50bf894fBill Wendling/// N.B. This should be used only by the bitcode reader! 4728232ece5c1e57efe54342fb35610497d50bf894fBill Wendlingvoid decodeLLVMAttributesForBitcode(LLVMContext &C, AttrBuilder &B, 4738232ece5c1e57efe54342fb35610497d50bf894fBill Wendling uint64_t EncodedAttrs); 4748e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 4758e47daf2858e980210f3e1f007036b24da342c29Bill Wendling} // end AttributeFuncs namespace 4768e47daf2858e980210f3e1f007036b24da342c29Bill Wendling 47727107f6ab4627fa38bcacad6757ed6d52910f880Bill Wendling} // end llvm namespace 4786091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer 4796091ebd172a16a10f1ea66061a5fa7cbf5139e56Reid Spencer#endif 480