Add a AccessesArgumentsReadonly ModRefBehavior value, so that the intrinsic

property IntrReadArgMem can be modeled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118614 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h
index d97552ee77d4cb76b5213eec48917f58601fa1e4..7f6fe5d94dc7a498b2fb11b0fd8ac6e96205eb2a 100644 (file)
--- a/include/llvm/Analysis/AliasAnalysis.h
+++ b/include/llvm/Analysis/AliasAnalysis.h
@@ -189,6 +189,13 @@ public:
     // This property corresponds to the IntrNoMem LLVM intrinsic flag.
     DoesNotAccessMemory,
 
+    // AccessesArgumentsReadonly - This function loads through function
+    // arguments and does not perform any non-local stores or volatile
+    // loads.
+    //
+    // This property corresponds to the IntrReadArgMem LLVM intrinsic flag.
+    AccessesArgumentsReadonly,
+
     // AccessesArguments - This function accesses function arguments in well
     // known (possibly volatile) ways, but does not access any other memory.
     //