[llvm-commits] [llvm] r118455 - /llvm/trunk/include/llvm/Analysis/AliasAnalysis.h

[Dan Gohman]

Author: djg
Date: Mon Nov  8 17:46:02 2010
New Revision: 118455

URL: http://llvm.org/viewvc/llvm-project?rev=118455&view=rev
Log:
Add some comments noting some correspondences between ModRefBehavior
values, LLVM IR function attributes, and LLVM intrinsic attributes.

Modified:
    llvm/trunk/include/llvm/Analysis/AliasAnalysis.h

Modified: llvm/trunk/include/llvm/Analysis/AliasAnalysis.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/AliasAnalysis.h?rev=118455&r1=118454&r2=118455&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/AliasAnalysis.h (original)
+++ llvm/trunk/include/llvm/Analysis/AliasAnalysis.h Mon Nov  8 17:46:02 2010
@@ -185,10 +185,14 @@
     // 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 @@
     // 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