contrib/llvm/include/llvm/IR/Attributes.td

   1 /// Attribute base class.
   2 class Attr<string S> {
   3   // String representation of this attribute in the IR.
   4   string AttrString = S;
   5 }
   6
   7 /// Enum attribute.
   8 class EnumAttr<string S> : Attr<S>;
   9
  10 /// StringBool attribute.
  11 class StrBoolAttr<string S> : Attr<S>;
  12
  13 /// Target-independent enum attributes.
  14
  15 /// Alignment of parameter (5 bits) stored as log2 of alignment with +1 bias.
  16 /// 0 means unaligned (different from align(1)).
  17 def Alignment : EnumAttr<"align">;
  18
  19 /// The result of the function is guaranteed to point to a number of bytes that
  20 /// we can determine if we know the value of the function's arguments.
  21 def AllocSize : EnumAttr<"allocsize">;
  22
  23 /// inline=always.
  24 def AlwaysInline : EnumAttr<"alwaysinline">;
  25
  26 /// Function can access memory only using pointers based on its arguments.
  27 def ArgMemOnly : EnumAttr<"argmemonly">;
  28
  29 /// Callee is recognized as a builtin, despite nobuiltin attribute on its
  30 /// declaration.
  31 def Builtin : EnumAttr<"builtin">;
  32
  33 /// Pass structure by value.
  34 def ByVal : EnumAttr<"byval">;
  35
  36 /// Marks function as being in a cold path.
  37 def Cold : EnumAttr<"cold">;
  38
  39 /// Can only be moved to control-equivalent blocks.
  40 def Convergent : EnumAttr<"convergent">;
  41
  42 /// Pointer is known to be dereferenceable.
  43 def Dereferenceable : EnumAttr<"dereferenceable">;
  44
  45 /// Pointer is either null or dereferenceable.
  46 def DereferenceableOrNull : EnumAttr<"dereferenceable_or_null">;
  47
  48 /// Function may only access memory that is inaccessible from IR.
  49 def InaccessibleMemOnly : EnumAttr<"inaccessiblememonly">;
  50
  51 /// Function may only access memory that is either inaccessible from the IR,
  52 /// or pointed to by its pointer arguments.
  53 def InaccessibleMemOrArgMemOnly : EnumAttr<"inaccessiblemem_or_argmemonly">;
  54
  55 /// Pass structure in an alloca.
  56 def InAlloca : EnumAttr<"inalloca">;
  57
  58 /// Source said inlining was desirable.
  59 def InlineHint : EnumAttr<"inlinehint">;
  60
  61 /// Force argument to be passed in register.
  62 def InReg : EnumAttr<"inreg">;
  63
  64 /// Build jump-instruction tables and replace refs.
  65 def JumpTable : EnumAttr<"jumptable">;
  66
  67 /// Function must be optimized for size first.
  68 def MinSize : EnumAttr<"minsize">;
  69
  70 /// Naked function.
  71 def Naked : EnumAttr<"naked">;
  72
  73 /// Nested function static chain.
  74 def Nest : EnumAttr<"nest">;
  75
  76 /// Considered to not alias after call.
  77 def NoAlias : EnumAttr<"noalias">;
  78
  79 /// Callee isn't recognized as a builtin.
  80 def NoBuiltin : EnumAttr<"nobuiltin">;
  81
  82 /// Function creates no aliases of pointer.
  83 def NoCapture : EnumAttr<"nocapture">;
  84
  85 /// Call cannot be duplicated.
  86 def NoDuplicate : EnumAttr<"noduplicate">;
  87
  88 /// Disable implicit floating point insts.
  89 def NoImplicitFloat : EnumAttr<"noimplicitfloat">;
  90
  91 /// inline=never.
  92 def NoInline : EnumAttr<"noinline">;
  93
  94 /// Function is called early and/or often, so lazy binding isn't worthwhile.
  95 def NonLazyBind : EnumAttr<"nonlazybind">;
  96
  97 /// Pointer is known to be not null.
  98 def NonNull : EnumAttr<"nonnull">;
  99
 100 /// The function does not recurse.
 101 def NoRecurse : EnumAttr<"norecurse">;
 102
 103 /// Disable redzone.
 104 def NoRedZone : EnumAttr<"noredzone">;
 105
 106 /// Mark the function as not returning.
 107 def NoReturn : EnumAttr<"noreturn">;
 108
 109 /// Disable Indirect Branch Tracking.
 110 def NoCfCheck : EnumAttr<"nocf_check">;
 111
 112 /// Function doesn't unwind stack.
 113 def NoUnwind : EnumAttr<"nounwind">;
 114
 115 /// Select optimizations for best fuzzing signal.
 116 def OptForFuzzing : EnumAttr<"optforfuzzing">;
 117
 118 /// opt_size.
 119 def OptimizeForSize : EnumAttr<"optsize">;
 120
 121 /// Function must not be optimized.
 122 def OptimizeNone : EnumAttr<"optnone">;
 123
 124 /// Function does not access memory.
 125 def ReadNone : EnumAttr<"readnone">;
 126
 127 /// Function only reads from memory.
 128 def ReadOnly : EnumAttr<"readonly">;
 129
 130 /// Return value is always equal to this argument.
 131 def Returned : EnumAttr<"returned">;
 132
 133 /// Function can return twice.
 134 def ReturnsTwice : EnumAttr<"returns_twice">;
 135
 136 /// Safe Stack protection.
 137 def SafeStack : EnumAttr<"safestack">;
 138
 139 /// Shadow Call Stack protection.
 140 def ShadowCallStack : EnumAttr<"shadowcallstack">;
 141
 142 /// Sign extended before/after call.
 143 def SExt : EnumAttr<"signext">;
 144
 145 /// Alignment of stack for function (3 bits)  stored as log2 of alignment with
 146 /// +1 bias 0 means unaligned (different from alignstack=(1)).
 147 def StackAlignment : EnumAttr<"alignstack">;
 148
 149 /// Function can be speculated.
 150 def Speculatable : EnumAttr<"speculatable">;
 151
 152 /// Stack protection.
 153 def StackProtect : EnumAttr<"ssp">;
 154
 155 /// Stack protection required.
 156 def StackProtectReq : EnumAttr<"sspreq">;
 157
 158 /// Strong Stack protection.
 159 def StackProtectStrong : EnumAttr<"sspstrong">;
 160
 161 /// Function was called in a scope requiring strict floating point semantics.
 162 def StrictFP : EnumAttr<"strictfp">;
 163
 164 /// Hidden pointer to structure to return.
 165 def StructRet : EnumAttr<"sret">;
 166
 167 /// AddressSanitizer is on.
 168 def SanitizeAddress : EnumAttr<"sanitize_address">;
 169
 170 /// ThreadSanitizer is on.
 171 def SanitizeThread : EnumAttr<"sanitize_thread">;
 172
 173 /// MemorySanitizer is on.
 174 def SanitizeMemory : EnumAttr<"sanitize_memory">;
 175
 176 /// HWAddressSanitizer is on.
 177 def SanitizeHWAddress : EnumAttr<"sanitize_hwaddress">;
 178
 179 /// Speculative Load Hardening is enabled.
 180 ///
 181 /// Note that this uses the default compatibility (always compatible during
 182 /// inlining) and a conservative merge strategy where inlining an attributed
 183 /// body will add the attribute to the caller. This ensures that code carrying
 184 /// this attribute will always be lowered with hardening enabled.
 185 def SpeculativeLoadHardening : EnumAttr<"speculative_load_hardening">;
 186
 187 /// Argument is swift error.
 188 def SwiftError : EnumAttr<"swifterror">;
 189
 190 /// Argument is swift self/context.
 191 def SwiftSelf : EnumAttr<"swiftself">;
 192
 193 /// Function must be in a unwind table.
 194 def UWTable : EnumAttr<"uwtable">;
 195
 196 /// Function only writes to memory.
 197 def WriteOnly : EnumAttr<"writeonly">;
 198
 199 /// Zero extended before/after call.
 200 def ZExt : EnumAttr<"zeroext">;
 201
 202 /// Target-independent string attributes.
 203 def LessPreciseFPMAD : StrBoolAttr<"less-precise-fpmad">;
 204 def NoInfsFPMath : StrBoolAttr<"no-infs-fp-math">;
 205 def NoNansFPMath : StrBoolAttr<"no-nans-fp-math">;
 206 def UnsafeFPMath : StrBoolAttr<"unsafe-fp-math">;
 207 def NoJumpTables : StrBoolAttr<"no-jump-tables">;
 208 def ProfileSampleAccurate : StrBoolAttr<"profile-sample-accurate">;
 209
 210 class CompatRule<string F> {
 211   // The name of the function called to check the attribute of the caller and
 212   // callee and decide whether inlining should be allowed. The function's
 213   // signature must match "bool(const Function&, const Function &)", where the
 214   // first parameter is the reference to the caller and the second parameter is
 215   // the reference to the callee. It must return false if the attributes of the
 216   // caller and callee are incompatible, and true otherwise.
 217   string CompatFunc = F;
 218 }
 219
 220 def : CompatRule<"isEqual<SanitizeAddressAttr>">;
 221 def : CompatRule<"isEqual<SanitizeThreadAttr>">;
 222 def : CompatRule<"isEqual<SanitizeMemoryAttr>">;
 223 def : CompatRule<"isEqual<SanitizeHWAddressAttr>">;
 224 def : CompatRule<"isEqual<SafeStackAttr>">;
 225 def : CompatRule<"isEqual<ShadowCallStackAttr>">;
 226
 227 class MergeRule<string F> {
 228   // The name of the function called to merge the attributes of the caller and
 229   // callee. The function's signature must match
 230   // "void(Function&, const Function &)", where the first parameter is the
 231   // reference to the caller and the second parameter is the reference to the
 232   // callee.
 233   string MergeFunc = F;
 234 }
 235
 236 def : MergeRule<"setAND<LessPreciseFPMADAttr>">;
 237 def : MergeRule<"setAND<NoInfsFPMathAttr>">;
 238 def : MergeRule<"setAND<NoNansFPMathAttr>">;
 239 def : MergeRule<"setAND<UnsafeFPMathAttr>">;
 240 def : MergeRule<"setOR<NoImplicitFloatAttr>">;
 241 def : MergeRule<"setOR<NoJumpTablesAttr>">;
 242 def : MergeRule<"setOR<ProfileSampleAccurateAttr>">;
 243 def : MergeRule<"setOR<SpeculativeLoadHardeningAttr>">;
 244 def : MergeRule<"adjustCallerSSPLevel">;
 245 def : MergeRule<"adjustCallerStackProbes">;
 246 def : MergeRule<"adjustCallerStackProbeSize">;
 247 def : MergeRule<"adjustMinLegalVectorWidth">;
 248 def : MergeRule<"adjustNullPointerValidAttr">;