Make the definition of the noalias attribute clearer.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47255 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2008-02-18 04:09:01 +00:00
parent 9eb948b466
commit 117bbd37b8

View File

@ -827,8 +827,9 @@ declare i32 @atoi(i8*) nounwind readonly
that is the return value of the function in the source program.</dd>
<dt><tt>noalias</tt></dt>
<dd>This indicates that the parameter not alias any other object or any
other "noalias" objects during the function call.
<dd>This indicates that the parameter does not alias any global or any other
parameter. The caller is responsible for ensuring that this is the case,
usually by placing the value in a stack allocation.</dd>
<dt><tt>noreturn</tt></dt>
<dd>This function attribute indicates that the function never returns. This