From: Duncan Sands <baldrick@free.fr>
Date: Wed, 14 Nov 2007 21:14:02 +0000 (+0000)
Subject: Tweak the descriptions of the new 'const' and 'pure' attributes.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=f04d584cae72b1172e83c47c69ea65cc55c190ac;p=oota-llvm.git

Tweak the descriptions of the new 'const' and 'pure' attributes.


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

diff --git a/docs/LangRef.html b/docs/LangRef.html
index f40e8b67506..c6cbe295465 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -814,14 +814,14 @@ a power of 2.</p>
     <dd>This indicates that the parameter can be excised using the
     <a href="#int_trampoline">trampoline intrinsics</a>.</dd>
     <dt><tt>pure</tt></dt>
-    <dd>This function attribute indicates, that the function have no effects
-    except the return value and its return value depends only on the
-    arguments and/or global variables.</dd>
+    <dd>This function attribute indicates that the function has no side-effects
+    except for producing a return value.  The value returned must only depend on
+    the function arguments and/or global variables.  It may use values obtained
+    by dereferencing pointers.</dd>
     <dt><tt>const</tt></dt>
-    <dd>This function attribute is slightly more stricter version
-    of <tt>pure</tt> function attribute. <tt>const</tt> functions are not
-    allowed to read global memory, so such function only examines its arguments
-    and has no effects except return value.</dd>
+    <dd>A <tt>const</tt> function has the same restrictions as a <tt>pure</tt>
+    function, but in addition it is not allowed to dereference any pointer arguments
+    or global variables.
   </dl>
 
 </div>