Add InaccessibleMemOnly and inaccessibleMemOrArgMemOnly attributes

[oota-llvm.git] / include / llvm / IR / Attributes.td

diff --git a/include/llvm/IR/Attributes.td b/include/llvm/IR/Attributes.td
index 3f4be671251e79fe06cb6453ee8933fe16d2f0ea..0660ed15476ae1639e5cf2f9b933eac892d5d123 100644 (file)
--- a/include/llvm/IR/Attributes.td
+++ b/include/llvm/IR/Attributes.td
@@ -41,6 +41,13 @@ def Dereferenceable : EnumAttr<"dereferenceable">;
 /// Pointer is either null or dereferenceable.
 def DereferenceableOrNull : EnumAttr<"dereferenceable_or_null">;
 
+/// Function may only access memory that is inaccessible from IR.
+def InaccessibleMemOnly : EnumAttr<"inaccessiblememonly">;
+
+/// Function may only access memory that is either inaccessible from the IR,
+/// or pointed to by its pointer arguments.
+def InaccessibleMemOrArgMemOnly : EnumAttr<"inaccessiblemem_or_argmemonly">;
+
 /// Pass structure in an alloca.
 def InAlloca : EnumAttr<"inalloca">;