New testcase. Switch instructions that go to switch instructions should be
authorChris Lattner <sabre@nondot.org>
Tue, 24 Feb 2004 07:21:09 +0000 (07:21 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 24 Feb 2004 07:21:09 +0000 (07:21 +0000)
merged.

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

test/Transforms/SimplifyCFG/switch_switch_fold.ll [new file with mode: 0644]

diff --git a/test/Transforms/SimplifyCFG/switch_switch_fold.ll b/test/Transforms/SimplifyCFG/switch_switch_fold.ll
new file mode 100644 (file)
index 0000000..cafd7d7
--- /dev/null
@@ -0,0 +1,46 @@
+; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | grep switch | wc -l | grep 1
+
+; Test that a switch going to a switch on the same value can be merged.   All 
+; three switches in this example can be merged into one big one.
+
+declare void %foo1()
+declare void %foo2()
+declare void %foo3()
+declare void %foo4()
+
+void %test1(uint %V) {
+        switch uint %V, label %F [
+                 uint 4, label %T
+                 uint 17, label %T
+                 uint 5, label %T
+                 uint 1234, label %F
+        ]
+
+T:
+        switch uint %V, label %F [
+                 uint 4, label %A
+                 uint 17, label %B
+                uint 42, label %C
+        ]
+A:
+        call void %foo1()
+        ret void
+
+B:
+        call void %foo2()
+        ret void
+C:
+       call void %foo3()
+       ret void
+
+F:
+        switch uint %V, label %F [
+                 uint 4, label %B
+                 uint 18, label %B
+                uint 42, label %D
+        ]
+D:
+        call void %foo4()
+        ret void
+}
+