From adbb6383a9cca4ef43aec3b6c0add25d1f243eda Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sat, 16 Dec 2006 02:26:57 +0000
Subject: [PATCH] testcases for PR1042

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32625 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Verifier/invoke-1.ll | 10 ++++++++++
 test/Verifier/invoke-2.ll | 13 +++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 test/Verifier/invoke-1.ll
 create mode 100644 test/Verifier/invoke-2.ll

diff --git a/test/Verifier/invoke-1.ll b/test/Verifier/invoke-1.ll
new file mode 100644
index 00000000000..362f2680993
--- /dev/null
+++ b/test/Verifier/invoke-1.ll
@@ -0,0 +1,10 @@
+; RUN: not llvm-as < %s -o /dev/null -f
+; PR1042
+
+int %foo() {
+        %A = invoke int %foo( )
+                        to label %L unwind label %L             ; <int> [#uses=1]
+
+L:              ; preds = %0, %0
+        ret int %A
+}
diff --git a/test/Verifier/invoke-2.ll b/test/Verifier/invoke-2.ll
new file mode 100644
index 00000000000..b3a5750fee5
--- /dev/null
+++ b/test/Verifier/invoke-2.ll
@@ -0,0 +1,13 @@
+; RUN: not llvm-as < %s -o /dev/null -f
+; PR1042
+
+int %foo() {
+        br bool false, label %L1, label %L2
+L1:
+        %A = invoke int %foo() to label %L unwind label %L
+
+L2:
+        br label %L
+L:
+        ret int %A
+}