1; RUN: opt < %s -lowerswitch -S | FileCheck %s
2; RUN: opt < %s -passes=lowerswitch -S | FileCheck %s
3
4; We have switch on input.
5; On output we should got binary comparison tree. Check that all is fine.
6
7;CHECK:     entry:
8;CHECK-NEXT:  br label %NodeBlock19
9
10;CHECK:     NodeBlock19:                                      ; preds = %entry
11;CHECK-NEXT:  %Pivot20 = icmp slt i32 %tmp158, 10
12;CHECK-NEXT:  br i1 %Pivot20, label %NodeBlock5, label %NodeBlock17
13
14;CHECK:     NodeBlock17:                                      ; preds = %NodeBlock19
15;CHECK-NEXT:  %Pivot18 = icmp slt i32 %tmp158, 13
16;CHECK-NEXT:  br i1 %Pivot18, label %NodeBlock9, label %NodeBlock15
17
18;CHECK:     NodeBlock15:                                      ; preds = %NodeBlock17
19;CHECK-NEXT:  %Pivot16 = icmp slt i32 %tmp158, 14
20;CHECK-NEXT:  br i1 %Pivot16, label %bb330, label %NodeBlock13
21
22;CHECK:     NodeBlock13:                                      ; preds = %NodeBlock15
23;CHECK-NEXT:  %Pivot14 = icmp slt i32 %tmp158, 15
24;CHECK-NEXT:  br i1 %Pivot14, label %bb332, label %LeafBlock11
25
26;CHECK:     LeafBlock11:                                      ; preds = %NodeBlock13
27;CHECK-NEXT:  %SwitchLeaf12 = icmp eq i32 %tmp158, 15
28;CHECK-NEXT:  br i1 %SwitchLeaf12, label %bb334, label %bb336
29
30;CHECK:     NodeBlock9:                                       ; preds = %NodeBlock17
31;CHECK-NEXT:  %Pivot10 = icmp slt i32 %tmp158, 11
32;CHECK-NEXT:  br i1 %Pivot10, label %bb324, label %NodeBlock7
33
34;CHECK:     NodeBlock7:                                       ; preds = %NodeBlock9
35;CHECK-NEXT:  %Pivot8 = icmp slt i32 %tmp158, 12
36;CHECK-NEXT:  br i1 %Pivot8, label %bb326, label %bb328
37
38;CHECK:     NodeBlock5:                                       ; preds = %NodeBlock19
39;CHECK-NEXT:  %Pivot6 = icmp slt i32 %tmp158, 7
40;CHECK-NEXT:  br i1 %Pivot6, label %NodeBlock, label %NodeBlock3
41
42;CHECK:     NodeBlock3:                                       ; preds = %NodeBlock5
43;CHECK-NEXT:  %Pivot4 = icmp slt i32 %tmp158, 8
44;CHECK-NEXT:  br i1 %Pivot4, label %bb, label %NodeBlock1
45
46;CHECK:     NodeBlock1:                                       ; preds = %NodeBlock3
47;CHECK-NEXT:  %Pivot2 = icmp slt i32 %tmp158, 9
48;CHECK-NEXT:  br i1 %Pivot2, label %bb338, label %bb322
49
50;CHECK:     NodeBlock:                                        ; preds = %NodeBlock5
51;CHECK-NEXT:  %Pivot = icmp slt i32 %tmp158, 0
52;CHECK-NEXT:  br i1 %Pivot, label %LeafBlock, label %bb338
53
54;CHECK:     LeafBlock:                                        ; preds = %NodeBlock
55;CHECK-NEXT:  %tmp158.off = add i32 %tmp158, 6
56;CHECK-NEXT:  %SwitchLeaf = icmp ule i32 %tmp158.off, 4
57;CHECK-NEXT:  br i1 %SwitchLeaf, label %bb338, label %bb336
58
59define i32 @main(i32 %tmp158) {
60entry:
61
62        switch i32 %tmp158, label %bb336 [
63                 i32 -2, label %bb338
64                 i32 -3, label %bb338
65                 i32 -4, label %bb338
66                 i32 -5, label %bb338
67                 i32 -6, label %bb338
68                 i32 0, label %bb338
69                 i32 1, label %bb338
70                 i32 2, label %bb338
71                 i32 3, label %bb338
72                 i32 4, label %bb338
73                 i32 5, label %bb338
74                 i32 6, label %bb338
75                 i32 7, label %bb
76                 i32 8, label %bb338
77                 i32 9, label %bb322
78                 i32 10, label %bb324
79                 i32 11, label %bb326
80                 i32 12, label %bb328
81                 i32 13, label %bb330
82                 i32 14, label %bb332
83                 i32 15, label %bb334
84        ]
85bb:
86  ret i32 2
87bb322:
88  ret i32 3
89bb324:
90  ret i32 4
91bb326:
92  ret i32 5
93bb328:
94  ret i32 6
95bb330:
96  ret i32 7
97bb332:
98  ret i32 8
99bb334:
100  ret i32 9
101bb336:
102  ret i32 10
103bb338:
104  ret i32 11
105}
106