From f96a499535aedb6785645db3ea21bb2051233e8d Mon Sep 17 00:00:00 2001
From: Dan Gohman
Date: Fri, 22 May 2009 21:47:08 +0000
Subject: [PATCH] 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
---
docs/LangRef.html | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 3f16e386c2b..d6a78c903b3 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -2383,6 +2383,10 @@ cleanup is performed in the case of either a longjmp or a thrown
exception. Additionally, this is important for implementation of
'catch' clauses in high-level languages that support them.
+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.
+
Example:
%retval = invoke i32 @Test(i32 15) to label %Continue