Make the definition of the noalias attribute clearer.

llvm-svn: 47255
This commit is contained in:
Owen Anderson 2008-02-18 04:09:01 +00:00
parent c66655e14c
commit 6110128ed5
1 changed files with 3 additions and 2 deletions

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