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 48a93962627f7e56127b0c31c0d4676c14317690..13c380e3fb18926c0205fa98126d53b471ffde71 100644 (file)
--- 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