From: Dan Gohman <gohman@apple.com>
Date: Tue, 9 Nov 2010 19:48:55 +0000 (+0000)
Subject: Add a AccessesArgumentsReadonly ModRefBehavior value, so that the intrinsic
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=db78c4873ea8c4b3dce90d761a1ad59d5bcdd6e7;p=oota-llvm.git

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 d97552ee77d..7f6fe5d94dc 100644
--- 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.
     //