Testcase for PR340: Verifier misses malformed switch instruction

This testcase was reduced by John, thanks!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13617 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Verifier/2004-05-21-SwitchConstantMismatch.ll b/test/Verifier/2004-05-21-SwitchConstantMismatch.ll
new file mode 100644 (file)
index 0000000..b5fa489
--- /dev/null
+++ b/test/Verifier/2004-05-21-SwitchConstantMismatch.ll
@@ -0,0 +1,11 @@
+
+
+int %main() {  
+start1:
+  switch uint 0, label %brt0 [int 3, label %brt1  ]
+brt0:
+  ret int 0
+brt1:
+  ret int 0
+}
+