1; RUN: opt -S -simplifycfg < %s | FileCheck %s
2
3define i32 @test1(i32 %x) nounwind {
4  %i = shl i32 %x, 1
5  switch i32 %i, label %a [
6    i32 21, label %b
7    i32 24, label %c
8  ]
9
10a:
11  ret i32 0
12b:
13  ret i32 3
14c:
15  ret i32 5
16; CHECK-LABEL: @test1(
17; CHECK: %cond = icmp eq i32 %i, 24
18; CHECK: %. = select i1 %cond, i32 5, i32 0
19; CHECK: ret i32 %.
20}
21
22
23define i32 @test2(i32 %x) nounwind {
24  %i = shl i32 %x, 1
25  switch i32 %i, label %a [
26    i32 21, label %b
27    i32 23, label %c
28  ]
29
30a:
31  ret i32 0
32b:
33  ret i32 3
34c:
35  ret i32 5
36; CHECK-LABEL: @test2(
37; CHECK: ret i32 0
38}
39