mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-26 04:32:44 +01:00
Add a note mentioning that uses of the return value of an invoke
must be dominated by the normal label. llvm-svn: 72285
This commit is contained in:
parent
832290edfe
commit
00b088d848
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user