diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/switch_switch_fold.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/switch_switch_fold.ll | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/switch_switch_fold.ll b/test/Transforms/SimplifyCFG/switch_switch_fold.ll new file mode 100644 index 0000000..2e2e310 --- /dev/null +++ b/test/Transforms/SimplifyCFG/switch_switch_fold.ll @@ -0,0 +1,47 @@ +; RUN: opt < %s -simplifycfg -S | \ +; RUN: grep switch | count 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() + +define void @test1(i32 %V) { + switch i32 %V, label %F [ + i32 4, label %T + i32 17, label %T + i32 5, label %T + i32 1234, label %F + ] +T: ; preds = %0, %0, %0 + switch i32 %V, label %F [ + i32 4, label %A + i32 17, label %B + i32 42, label %C + ] +A: ; preds = %T + call void @foo1( ) + ret void +B: ; preds = %F, %F, %T + call void @foo2( ) + ret void +C: ; preds = %T + call void @foo3( ) + ret void +F: ; preds = %F, %T, %0, %0 + switch i32 %V, label %F [ + i32 4, label %B + i32 18, label %B + i32 42, label %D + ] +D: ; preds = %F + call void @foo4( ) + ret void +} + |