Add a note mentioning that uses of the return value of an invoke

must be dominated by the normal label.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72285 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-05-22 21:47:08 +00:00
parent a2ac75d547
commit f96a499535

View File

@ -2383,6 +2383,10 @@ cleanup is performed in the case of either a <tt>longjmp</tt> or a thrown
exception. Additionally, this is important for implementation of
'<tt>catch</tt>' clauses in high-level languages that support them.</p>
<p>It is not valid to reference the return value of an invoke call from
anywhere not dominated by the normal label, since an unwind does not
provide a return value.</p>
<h5>Example:</h5>
<pre>
%retval = invoke i32 @Test(i32 15) to label %Continue