Transforms/SCCP/switch.ll

4 ; Make sure we always consider the default edge executable for a switch
9 ; CHECK-NEXT:    switch i32 undef, label [[D:%.*]] [
15   switch i32 undef, label %d []
25 ; CHECK:       switch:
27 ; CHECK:       switch.default:
33   br i1 %c, label %switch, label %end
35 switch:
36   switch i32 -1, label %switch.default [
41 switch.default:
45   %phi = phi i32 [ %x, %entry ], [ 1, %switch ], [ 1, %switch ]
53 ; CHECK:       switch:
60   br i1 %c, label %switch, label %end
62 switch:
63   switch i32 0, label %switch.default [
68 switch.default:
72   %phi = phi i32 [ %x, %entry ], [ 1, %switch ], [ 1, %switch ]
80 ; CHECK:       switch:
82 ; CHECK-NEXT:    switch i32 [[X]], label [[SWITCH_DEFAULT:%.*]] [
87 ; CHECK:       switch.default:
89 ; CHECK:       switch.0:
91 ; CHECK:       switch.1:
95   br i1 %c1, label %switch, label %switch.1
97 switch:
99   switch i32 %x, label %switch.default [
100   i32 0, label %switch.default
101   i32 1, label %switch.0
102   i32 2, label %switch.0
103   i32 3, label %switch.1
104   i32 4, label %switch.1
107 switch.default:
110 switch.0:
113 switch.1:
114   %phi = phi i32 [ %y, %entry ], [ 0, %switch ], [ 0, %switch ]
122 ; CHECK-NEXT:    switch i32 [[X]], label [[SWITCH_DEFAULT:%.*]] [
127 ; CHECK:       switch.default:
129 ; CHECK:       switch.0:
131 ; CHECK:       switch.1:
133 ; CHECK:       switch.2:
137   switch i32 %x, label %switch.default [
138   i32 0, label %switch.0
139   i32 1, label %switch.1
140   i32 2, label %switch.2
141   i32 3, label %switch.3
144 switch.default:
147 switch.0:
150 switch.1:
153 switch.2:
156 switch.3:
164 ; CHECK-NEXT:    switch i32 [[X]], label [[SWITCH_DEFAULT:%.*]] [
170 ; CHECK:       switch.default:
172 ; CHECK:       switch.0:
174 ; CHECK:       switch.1:
178   switch i32 %x, label %switch.default [
179   i32 0, label %switch.0
180   i32 1, label %switch.0
181   i32 2, label %switch.1
182   i32 3, label %switch.1
183   i32 4, label %switch.2
184   i32 5, label %switch.2
187 switch.default:
190 switch.0:
193 switch.1:
196 switch.2:
204 ; CHECK-NEXT:    switch i32 [[X:%.*]], label [[SWITCH_DEFAULT:%.*]] [
209 ; CHECK:       switch.default:
211 ; CHECK:       switch.1:
213 ; CHECK:       switch.2:
215 ; CHECK:       switch.3:
218   switch i32 %x, label %switch.default [
219   i32 0, label %switch.0
220   i32 1, label %switch.1
221   i32 2, label %switch.2
222   i32 3, label %switch.3
225 switch.default:
228 switch.0:
231 switch.1:
234 switch.2:
237 switch.3: