diff options
| author | Dan Gohman <gohman@apple.com> | 2009-05-22 21:47:08 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-05-22 21:47:08 +0000 |
| commit | f96a499535aedb6785645db3ea21bb2051233e8d (patch) | |
| tree | 3ed6a78a693c6f11101ef79cdb275c9947ed3be5 | |
| parent | a2ac75d54793b35efee6f4eec4a937822c8e1636 (diff) | |
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
| -rw-r--r-- | docs/LangRef.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 3f16e386c2..d6a78c903b 100644 --- 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 |