From d1eaebef493ce086f7791be24a3eaacf355d1cdc Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 24 Feb 2004 05:34:44 +0000
Subject: [PATCH] The simplifycfg pass should be able to turn stuff like:   if
 (X == 4 || X == 7) and   if (X != 4 && X != 7)

into switch instructions.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11791 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/SimplifyCFG/switch_create.ll | 33 ++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 test/Transforms/SimplifyCFG/switch_create.ll

diff --git a/test/Transforms/SimplifyCFG/switch_create.ll b/test/Transforms/SimplifyCFG/switch_create.ll
new file mode 100644
index 00000000000..95d7d4a0f64
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/switch_create.ll
@@ -0,0 +1,33 @@
+; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep br
+
+declare void %foo1()
+declare void %foo2()
+
+void %test1(uint %V) {
+	%C1 = seteq uint %V, 4
+	%C2 = seteq uint %V, 17
+	%CN = or bool %C1, %C2
+	br bool %CN, label %T, label %F
+T:
+	call void %foo1()
+	ret void
+F:
+	call void %foo2()
+	ret void
+}
+
+
+void %test2(int %V) {
+	%C1 = setne int %V, 4
+	%C2 = setne int %V, 17
+	%CN = and bool %C1, %C2
+	br bool %CN, label %T, label %F
+T:
+	call void %foo1()
+	ret void
+F:
+	call void %foo2()
+	ret void
+}
+
+