diff options
| author | Duncan Sands <baldrick@free.fr> | 2007-11-14 21:14:02 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2007-11-14 21:14:02 +0000 |
| commit | 730a32643f23ed145388e750cb7e6d327f93079d (patch) | |
| tree | 9b1265f8b2779fdb3e3be0031558c4b150447c3b /llvm/docs/LangRef.html | |
| parent | 00e0b40599b5b57e0d8869edb6adaa1fe623bff8 (diff) | |
| download | bcm5719-llvm-730a32643f23ed145388e750cb7e6d327f93079d.tar.gz bcm5719-llvm-730a32643f23ed145388e750cb7e6d327f93079d.zip | |
Tweak the descriptions of the new 'const' and 'pure' attributes.
llvm-svn: 44132
Diffstat (limited to 'llvm/docs/LangRef.html')
| -rw-r--r-- | llvm/docs/LangRef.html | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index f40e8b67506..c6cbe295465 100644 --- a/llvm/docs/LangRef.html +++ b/llvm/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> |
