summaryrefslogtreecommitdiff
path: root/test/Verifier/2009-05-29-InvokeResult1.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Verifier/2009-05-29-InvokeResult1.ll')
-rw-r--r--test/Verifier/2009-05-29-InvokeResult1.ll15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Verifier/2009-05-29-InvokeResult1.ll b/test/Verifier/2009-05-29-InvokeResult1.ll
new file mode 100644
index 0000000000..bb815b3bfe
--- /dev/null
+++ b/test/Verifier/2009-05-29-InvokeResult1.ll
@@ -0,0 +1,15 @@
+; RUN: not llvm-as < %s >& /dev/null
+
+declare i32 @v()
+
+define i32 @f() {
+e:
+ %r = invoke i32 @v()
+ to label %c unwind label %u ; <i32> [#uses=2]
+
+c: ; preds = %e
+ ret i32 %r
+
+u: ; preds = %e
+ ret i32 %r
+}