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

diff --git a/docs/LangRef.html b/docs/LangRef.html
index 3f16e386c2beac5585b610cd89d758c930a9a7d8..d6a78c903b3d2043921b205f17893634d53b88c4 100644 (file)
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -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