From: Dan Gohman <gohman@apple.com>
Date: Mon, 8 Nov 2010 23:46:02 +0000 (+0000)
Subject: Add some comments noting some correspondences between ModRefBehavior
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=902da265f684b00b76c669c2a7cbc0f209cda187;p=oota-llvm.git

Add some comments noting some correspondences between ModRefBehavior
values, LLVM IR function attributes, and LLVM intrinsic attributes.


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

diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h
index 48a93962627..13c380e3fb1 100644
--- a/include/llvm/Analysis/AliasAnalysis.h
+++ b/include/llvm/Analysis/AliasAnalysis.h
@@ -185,10 +185,14 @@ public:
     // or stores to memory.
     //
     // This property corresponds to the GCC 'const' attribute.
+    // This property corresponds to the LLVM IR 'readnone' attribute.
+    // This property corresponds to the IntrNoMem LLVM intrinsic flag.
     DoesNotAccessMemory,
 
     // AccessesArguments - This function accesses function arguments in well
     // known (possibly volatile) ways, but does not access any other memory.
+    //
+    // This property corresponds to the IntrReadWriteArgMem LLVM intrinsic flag.
     AccessesArguments,
 
     // AccessesArgumentsAndGlobals - This function has accesses function
@@ -200,6 +204,8 @@ public:
     // volatile loads, but may read from any memory location.
     //
     // This property corresponds to the GCC 'pure' attribute.
+    // This property corresponds to the LLVM IR 'readonly' attribute.
+    // This property corresponds to the IntrReadMem LLVM intrinsic flag.
     OnlyReadsMemory,
 
     // UnknownModRefBehavior - This indicates that the function could not be