From e925df7f0267afd0334adbcfd97531698104aa22 Mon Sep 17 00:00:00 2001
From: Anton Korobeynikov <asl@math.spbu.ru>
Date: Wed, 14 Nov 2007 10:30:13 +0000
Subject: [PATCH] Document pure/const parameter attributes

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44111 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/LangRef.html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/LangRef.html b/docs/LangRef.html
index 46ec87eed26..f40e8b67506 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -813,6 +813,15 @@ a power of 2.</p>
     <dt><tt>nest</tt></dt>
     <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>
+    <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>
   </dl>
 
 </div>