1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
3; RUN: opt -S -data-layout="p:32:32-p1:16:16" -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck -check-prefix=CHECK -check-prefix=DL %s
4
5declare void @foo1()
6
7declare void @foo2()
8
9define void @test1(i32 %V) {
10; CHECK-LABEL: @test1(
11; CHECK-NEXT:    switch i32 [[V:%.*]], label [[F:%.*]] [
12; CHECK-NEXT:    i32 17, label [[T:%.*]]
13; CHECK-NEXT:    i32 4, label [[T]]
14; CHECK-NEXT:    ]
15; CHECK:       T:
16; CHECK-NEXT:    call void @foo1()
17; CHECK-NEXT:    ret void
18; CHECK:       F:
19; CHECK-NEXT:    call void @foo2()
20; CHECK-NEXT:    ret void
21;
22  %C1 = icmp eq i32 %V, 4         ; <i1> [#uses=1]
23  %C2 = icmp eq i32 %V, 17                ; <i1> [#uses=1]
24  %CN = or i1 %C1, %C2            ; <i1> [#uses=1]
25  br i1 %CN, label %T, label %F
26T:              ; preds = %0
27  call void @foo1( )
28  ret void
29F:              ; preds = %0
30  call void @foo2( )
31  ret void
32}
33
34define void @test1_select(i32 %V) {
35; CHECK-LABEL: @test1_select(
36; CHECK-NEXT:    switch i32 [[V:%.*]], label [[F:%.*]] [
37; CHECK-NEXT:    i32 17, label [[T:%.*]]
38; CHECK-NEXT:    i32 4, label [[T]]
39; CHECK-NEXT:    ]
40; CHECK:       T:
41; CHECK-NEXT:    call void @foo1()
42; CHECK-NEXT:    ret void
43; CHECK:       F:
44; CHECK-NEXT:    call void @foo2()
45; CHECK-NEXT:    ret void
46;
47  %C1 = icmp eq i32 %V, 4
48  %C2 = icmp eq i32 %V, 17
49  %CN = select i1 %C1, i1 true, i1 %C2
50  br i1 %CN, label %T, label %F
51T:
52  call void @foo1( )
53  ret void
54F:
55  call void @foo2( )
56  ret void
57}
58
59define void @test1_ptr(i32* %V) {
60; DL-LABEL: @test1_ptr(
61; DL-NEXT:    [[MAGICPTR:%.*]] = ptrtoint i32* [[V:%.*]] to i32
62; DL-NEXT:    switch i32 [[MAGICPTR]], label [[F:%.*]] [
63; DL-NEXT:    i32 17, label [[T:%.*]]
64; DL-NEXT:    i32 4, label [[T]]
65; DL-NEXT:    ]
66; DL:       T:
67; DL-NEXT:    call void @foo1()
68; DL-NEXT:    ret void
69; DL:       F:
70; DL-NEXT:    call void @foo2()
71; DL-NEXT:    ret void
72;
73  %C1 = icmp eq i32* %V, inttoptr (i32 4 to i32*)
74  %C2 = icmp eq i32* %V, inttoptr (i32 17 to i32*)
75  %CN = or i1 %C1, %C2            ; <i1> [#uses=1]
76  br i1 %CN, label %T, label %F
77T:              ; preds = %0
78  call void @foo1( )
79  ret void
80F:              ; preds = %0
81  call void @foo2( )
82  ret void
83}
84
85define void @test1_ptr_as1(i32 addrspace(1)* %V) {
86; DL-LABEL: @test1_ptr_as1(
87; DL-NEXT:    [[MAGICPTR:%.*]] = ptrtoint i32 addrspace(1)* [[V:%.*]] to i16
88; DL-NEXT:    switch i16 [[MAGICPTR]], label [[F:%.*]] [
89; DL-NEXT:    i16 17, label [[T:%.*]]
90; DL-NEXT:    i16 4, label [[T]]
91; DL-NEXT:    ]
92; DL:       T:
93; DL-NEXT:    call void @foo1()
94; DL-NEXT:    ret void
95; DL:       F:
96; DL-NEXT:    call void @foo2()
97; DL-NEXT:    ret void
98;
99  %C1 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 4 to i32 addrspace(1)*)
100  %C2 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 17 to i32 addrspace(1)*)
101  %CN = or i1 %C1, %C2            ; <i1> [#uses=1]
102  br i1 %CN, label %T, label %F
103T:              ; preds = %0
104  call void @foo1( )
105  ret void
106F:              ; preds = %0
107  call void @foo2( )
108  ret void
109}
110
111define void @test2(i32 %V) {
112; CHECK-LABEL: @test2(
113; CHECK-NEXT:    switch i32 [[V:%.*]], label [[T:%.*]] [
114; CHECK-NEXT:    i32 17, label [[F:%.*]]
115; CHECK-NEXT:    i32 4, label [[F]]
116; CHECK-NEXT:    ]
117; CHECK:       T:
118; CHECK-NEXT:    call void @foo1()
119; CHECK-NEXT:    ret void
120; CHECK:       F:
121; CHECK-NEXT:    call void @foo2()
122; CHECK-NEXT:    ret void
123;
124  %C1 = icmp ne i32 %V, 4         ; <i1> [#uses=1]
125  %C2 = icmp ne i32 %V, 17                ; <i1> [#uses=1]
126  %CN = and i1 %C1, %C2           ; <i1> [#uses=1]
127  br i1 %CN, label %T, label %F
128T:              ; preds = %0
129  call void @foo1( )
130  ret void
131F:              ; preds = %0
132  call void @foo2( )
133  ret void
134}
135
136define void @test2_select(i32 %V) {
137; CHECK-LABEL: @test2_select(
138; CHECK-NEXT:    switch i32 [[V:%.*]], label [[T:%.*]] [
139; CHECK-NEXT:    i32 17, label [[F:%.*]]
140; CHECK-NEXT:    i32 4, label [[F]]
141; CHECK-NEXT:    ]
142; CHECK:       T:
143; CHECK-NEXT:    call void @foo1()
144; CHECK-NEXT:    ret void
145; CHECK:       F:
146; CHECK-NEXT:    call void @foo2()
147; CHECK-NEXT:    ret void
148;
149  %C1 = icmp ne i32 %V, 4
150  %C2 = icmp ne i32 %V, 17
151  %CN = select i1 %C1, i1 %C2, i1 false
152  br i1 %CN, label %T, label %F
153T:
154  call void @foo1( )
155  ret void
156F:
157  call void @foo2( )
158  ret void
159}
160
161define void @test3(i32 %V) {
162; CHECK-LABEL: @test3(
163; CHECK-NEXT:    switch i32 [[V:%.*]], label [[F:%.*]] [
164; CHECK-NEXT:    i32 4, label [[T:%.*]]
165; CHECK-NEXT:    i32 17, label [[T]]
166; CHECK-NEXT:    ]
167; CHECK:       T:
168; CHECK-NEXT:    call void @foo1()
169; CHECK-NEXT:    ret void
170; CHECK:       F:
171; CHECK-NEXT:    call void @foo2()
172; CHECK-NEXT:    ret void
173;
174  %C1 = icmp eq i32 %V, 4         ; <i1> [#uses=1]
175  br i1 %C1, label %T, label %N
176N:              ; preds = %0
177  %C2 = icmp eq i32 %V, 17                ; <i1> [#uses=1]
178  br i1 %C2, label %T, label %F
179T:              ; preds = %N, %0
180  call void @foo1( )
181  ret void
182F:              ; preds = %N
183  call void @foo2( )
184  ret void
185
186}
187
188
189
190define i32 @test4(i8 zeroext %c) nounwind ssp noredzone {
191; CHECK-LABEL: @test4(
192; CHECK-NEXT:  entry:
193; CHECK-NEXT:    switch i8 [[C:%.*]], label [[LOR_RHS:%.*]] [
194; CHECK-NEXT:    i8 62, label [[LOR_END:%.*]]
195; CHECK-NEXT:    i8 34, label [[LOR_END]]
196; CHECK-NEXT:    i8 92, label [[LOR_END]]
197; CHECK-NEXT:    ]
198; CHECK:       lor.rhs:
199; CHECK-NEXT:    br label [[LOR_END]]
200; CHECK:       lor.end:
201; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ true, [[ENTRY:%.*]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY]] ], [ true, [[ENTRY]] ]
202; CHECK-NEXT:    [[LOR_EXT:%.*]] = zext i1 [[TMP0]] to i32
203; CHECK-NEXT:    ret i32 [[LOR_EXT]]
204;
205entry:
206  %cmp = icmp eq i8 %c, 62
207  br i1 %cmp, label %lor.end, label %lor.lhs.false
208
209lor.lhs.false:                                    ; preds = %entry
210  %cmp4 = icmp eq i8 %c, 34
211  br i1 %cmp4, label %lor.end, label %lor.rhs
212
213lor.rhs:                                          ; preds = %lor.lhs.false
214  %cmp8 = icmp eq i8 %c, 92
215  br label %lor.end
216
217lor.end:                                          ; preds = %lor.rhs, %lor.lhs.false, %entry
218  %0 = phi i1 [ true, %lor.lhs.false ], [ true, %entry ], [ %cmp8, %lor.rhs ]
219  %lor.ext = zext i1 %0 to i32
220  ret i32 %lor.ext
221
222}
223
224define i32 @test5(i8 zeroext %c) nounwind ssp noredzone {
225; CHECK-LABEL: @test5(
226; CHECK-NEXT:  entry:
227; CHECK-NEXT:    switch i8 [[C:%.*]], label [[LOR_RHS:%.*]] [
228; CHECK-NEXT:    i8 62, label [[LOR_END:%.*]]
229; CHECK-NEXT:    i8 34, label [[LOR_END]]
230; CHECK-NEXT:    i8 92, label [[LOR_END]]
231; CHECK-NEXT:    ]
232; CHECK:       lor.rhs:
233; CHECK-NEXT:    br label [[LOR_END]]
234; CHECK:       lor.end:
235; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ true, [[ENTRY:%.*]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY]] ], [ true, [[ENTRY]] ]
236; CHECK-NEXT:    [[LOR_EXT:%.*]] = zext i1 [[TMP0]] to i32
237; CHECK-NEXT:    ret i32 [[LOR_EXT]]
238;
239entry:
240  switch i8 %c, label %lor.rhs [
241  i8 62, label %lor.end
242  i8 34, label %lor.end
243  i8 92, label %lor.end
244  ]
245
246lor.rhs:                                          ; preds = %entry
247  %V = icmp eq i8 %c, 92
248  br label %lor.end
249
250lor.end:                                          ; preds = %entry, %entry, %entry, %lor.rhs
251  %0 = phi i1 [ true, %entry ], [ %V, %lor.rhs ], [ true, %entry ], [ true, %entry ]
252  %lor.ext = zext i1 %0 to i32
253  ret i32 %lor.ext
254}
255
256
257define i1 @test6({ i32, i32 }* %I) {
258; CHECK-LABEL: @test6(
259; CHECK-NEXT:  entry:
260; CHECK-NEXT:    [[TMP_1_I:%.*]] = getelementptr { i32, i32 }, { i32, i32 }* [[I:%.*]], i64 0, i32 1
261; CHECK-NEXT:    [[TMP_2_I:%.*]] = load i32, i32* [[TMP_1_I]], align 4
262; CHECK-NEXT:    [[TMP_2_I_OFF:%.*]] = add i32 [[TMP_2_I]], -14
263; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[TMP_2_I_OFF]], 6
264; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[SWITCH]], i1 true, i1 false
265; CHECK-NEXT:    ret i1 [[SPEC_SELECT]]
266;
267entry:
268  %tmp.1.i = getelementptr { i32, i32 }, { i32, i32 }* %I, i64 0, i32 1         ; <i32*> [#uses=1]
269  %tmp.2.i = load i32, i32* %tmp.1.i           ; <i32> [#uses=6]
270  %tmp.2 = icmp eq i32 %tmp.2.i, 14               ; <i1> [#uses=1]
271  br i1 %tmp.2, label %shortcirc_done.4, label %shortcirc_next.0
272shortcirc_next.0:               ; preds = %entry
273  %tmp.6 = icmp eq i32 %tmp.2.i, 15               ; <i1> [#uses=1]
274  br i1 %tmp.6, label %shortcirc_done.4, label %shortcirc_next.1
275shortcirc_next.1:               ; preds = %shortcirc_next.0
276  %tmp.11 = icmp eq i32 %tmp.2.i, 16              ; <i1> [#uses=1]
277  br i1 %tmp.11, label %shortcirc_done.4, label %shortcirc_next.2
278shortcirc_next.2:               ; preds = %shortcirc_next.1
279  %tmp.16 = icmp eq i32 %tmp.2.i, 17              ; <i1> [#uses=1]
280  br i1 %tmp.16, label %shortcirc_done.4, label %shortcirc_next.3
281shortcirc_next.3:               ; preds = %shortcirc_next.2
282  %tmp.21 = icmp eq i32 %tmp.2.i, 18              ; <i1> [#uses=1]
283  br i1 %tmp.21, label %shortcirc_done.4, label %shortcirc_next.4
284shortcirc_next.4:               ; preds = %shortcirc_next.3
285  %tmp.26 = icmp eq i32 %tmp.2.i, 19              ; <i1> [#uses=1]
286  br label %UnifiedReturnBlock
287shortcirc_done.4:               ; preds = %shortcirc_next.3, %shortcirc_next.2, %shortcirc_next.1, %shortcirc_next.0, %entry
288  br label %UnifiedReturnBlock
289UnifiedReturnBlock:             ; preds = %shortcirc_done.4, %shortcirc_next.4
290  %UnifiedRetVal = phi i1 [ %tmp.26, %shortcirc_next.4 ], [ true, %shortcirc_done.4 ]             ; <i1> [#uses=1]
291  ret i1 %UnifiedRetVal
292
293}
294
295define void @test7(i8 zeroext %c, i32 %x) nounwind ssp noredzone {
296; CHECK-LABEL: @test7(
297; CHECK-NEXT:  entry:
298; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 32
299; CHECK-NEXT:    br i1 [[CMP]], label [[IF_THEN:%.*]], label [[SWITCH_EARLY_TEST:%.*]]
300; CHECK:       switch.early.test:
301; CHECK-NEXT:    switch i8 [[C:%.*]], label [[IF_END:%.*]] [
302; CHECK-NEXT:    i8 99, label [[IF_THEN]]
303; CHECK-NEXT:    i8 97, label [[IF_THEN]]
304; CHECK-NEXT:    ]
305; CHECK:       if.then:
306; CHECK-NEXT:    tail call void @foo1() #[[ATTR2:[0-9]+]]
307; CHECK-NEXT:    ret void
308; CHECK:       if.end:
309; CHECK-NEXT:    ret void
310;
311entry:
312  %cmp = icmp ult i32 %x, 32
313  %cmp4 = icmp eq i8 %c, 97
314  %or.cond = or i1 %cmp, %cmp4
315  %cmp9 = icmp eq i8 %c, 99
316  %or.cond11 = or i1 %or.cond, %cmp9
317  br i1 %or.cond11, label %if.then, label %if.end
318
319if.then:                                          ; preds = %entry
320  tail call void @foo1() nounwind noredzone
321  ret void
322
323if.end:                                           ; preds = %entry
324  ret void
325
326}
327
328define i32 @test8(i8 zeroext %c, i32 %x, i1 %C) nounwind ssp noredzone {
329; CHECK-LABEL: @test8(
330; CHECK-NEXT:  entry:
331; CHECK-NEXT:    br i1 [[C:%.*]], label [[N:%.*]], label [[IF_THEN:%.*]]
332; CHECK:       N:
333; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 32
334; CHECK-NEXT:    br i1 [[CMP]], label [[IF_THEN]], label [[SWITCH_EARLY_TEST:%.*]]
335; CHECK:       switch.early.test:
336; CHECK-NEXT:    switch i8 [[C:%.*]], label [[IF_END:%.*]] [
337; CHECK-NEXT:    i8 99, label [[IF_THEN]]
338; CHECK-NEXT:    i8 97, label [[IF_THEN]]
339; CHECK-NEXT:    ]
340; CHECK:       if.then:
341; CHECK-NEXT:    [[A:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ 42, [[SWITCH_EARLY_TEST]] ], [ 42, [[N]] ], [ 42, [[SWITCH_EARLY_TEST]] ]
342; CHECK-NEXT:    tail call void @foo1() #[[ATTR2]]
343; CHECK-NEXT:    ret i32 [[A]]
344; CHECK:       if.end:
345; CHECK-NEXT:    ret i32 0
346;
347entry:
348  br i1 %C, label %N, label %if.then
349N:
350  %cmp = icmp ult i32 %x, 32
351  %cmp4 = icmp eq i8 %c, 97
352  %or.cond = or i1 %cmp, %cmp4
353  %cmp9 = icmp eq i8 %c, 99
354  %or.cond11 = or i1 %or.cond, %cmp9
355  br i1 %or.cond11, label %if.then, label %if.end
356
357if.then:                                          ; preds = %entry
358  %A = phi i32 [0, %entry], [42, %N]
359  tail call void @foo1() nounwind noredzone
360  ret i32 %A
361
362if.end:                                           ; preds = %entry
363  ret i32 0
364
365}
366
367;; This is "Example 7" from http://blog.regehr.org/archives/320
368define i32 @test9(i8 zeroext %c) nounwind ssp noredzone {
369; CHECK-LABEL: @test9(
370; CHECK-NEXT:  entry:
371; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[C:%.*]], 33
372; CHECK-NEXT:    br i1 [[CMP]], label [[LOR_END:%.*]], label [[SWITCH_EARLY_TEST:%.*]]
373; CHECK:       switch.early.test:
374; CHECK-NEXT:    switch i8 [[C]], label [[LOR_RHS:%.*]] [
375; CHECK-NEXT:    i8 92, label [[LOR_END]]
376; CHECK-NEXT:    i8 62, label [[LOR_END]]
377; CHECK-NEXT:    i8 60, label [[LOR_END]]
378; CHECK-NEXT:    i8 59, label [[LOR_END]]
379; CHECK-NEXT:    i8 58, label [[LOR_END]]
380; CHECK-NEXT:    i8 46, label [[LOR_END]]
381; CHECK-NEXT:    i8 44, label [[LOR_END]]
382; CHECK-NEXT:    i8 34, label [[LOR_END]]
383; CHECK-NEXT:    i8 39, label [[LOR_END]]
384; CHECK-NEXT:    ]
385; CHECK:       lor.rhs:
386; CHECK-NEXT:    br label [[LOR_END]]
387; CHECK:       lor.end:
388; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ true, [[SWITCH_EARLY_TEST]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY:%.*]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ]
389; CHECK-NEXT:    [[CONV46:%.*]] = zext i1 [[TMP0]] to i32
390; CHECK-NEXT:    ret i32 [[CONV46]]
391;
392entry:
393  %cmp = icmp ult i8 %c, 33
394  br i1 %cmp, label %lor.end, label %lor.lhs.false
395
396lor.lhs.false:                                    ; preds = %entry
397  %cmp4 = icmp eq i8 %c, 46
398  br i1 %cmp4, label %lor.end, label %lor.lhs.false6
399
400lor.lhs.false6:                                   ; preds = %lor.lhs.false
401  %cmp9 = icmp eq i8 %c, 44
402  br i1 %cmp9, label %lor.end, label %lor.lhs.false11
403
404lor.lhs.false11:                                  ; preds = %lor.lhs.false6
405  %cmp14 = icmp eq i8 %c, 58
406  br i1 %cmp14, label %lor.end, label %lor.lhs.false16
407
408lor.lhs.false16:                                  ; preds = %lor.lhs.false11
409  %cmp19 = icmp eq i8 %c, 59
410  br i1 %cmp19, label %lor.end, label %lor.lhs.false21
411
412lor.lhs.false21:                                  ; preds = %lor.lhs.false16
413  %cmp24 = icmp eq i8 %c, 60
414  br i1 %cmp24, label %lor.end, label %lor.lhs.false26
415
416lor.lhs.false26:                                  ; preds = %lor.lhs.false21
417  %cmp29 = icmp eq i8 %c, 62
418  br i1 %cmp29, label %lor.end, label %lor.lhs.false31
419
420lor.lhs.false31:                                  ; preds = %lor.lhs.false26
421  %cmp34 = icmp eq i8 %c, 34
422  br i1 %cmp34, label %lor.end, label %lor.lhs.false36
423
424lor.lhs.false36:                                  ; preds = %lor.lhs.false31
425  %cmp39 = icmp eq i8 %c, 92
426  br i1 %cmp39, label %lor.end, label %lor.rhs
427
428lor.rhs:                                          ; preds = %lor.lhs.false36
429  %cmp43 = icmp eq i8 %c, 39
430  br label %lor.end
431
432lor.end:                                          ; preds = %lor.rhs, %lor.lhs.false36, %lor.lhs.false31, %lor.lhs.false26, %lor.lhs.false21, %lor.lhs.false16, %lor.lhs.false11, %lor.lhs.false6, %lor.lhs.false, %entry
433  %0 = phi i1 [ true, %lor.lhs.false36 ], [ true, %lor.lhs.false31 ], [ true, %lor.lhs.false26 ], [ true, %lor.lhs.false21 ], [ true, %lor.lhs.false16 ], [ true, %lor.lhs.false11 ], [ true, %lor.lhs.false6 ], [ true, %lor.lhs.false ], [ true, %entry ], [ %cmp43, %lor.rhs ]
434  %conv46 = zext i1 %0 to i32
435  ret i32 %conv46
436
437
438}
439
440define i32 @test10(i32 %mode, i1 %Cond) {
441; CHECK-LABEL: @test10(
442; CHECK-NEXT:    br i1 [[COND:%.*]], label [[SWITCH_EARLY_TEST:%.*]], label [[F:%.*]]
443; CHECK:       switch.early.test:
444; CHECK-NEXT:    switch i32 [[MODE:%.*]], label [[T:%.*]] [
445; CHECK-NEXT:    i32 51, label [[F]]
446; CHECK-NEXT:    i32 0, label [[F]]
447; CHECK-NEXT:    ]
448; CHECK:       T:
449; CHECK-NEXT:    call void @foo1()
450; CHECK-NEXT:    ret i32 123
451; CHECK:       F:
452; CHECK-NEXT:    call void @foo2()
453; CHECK-NEXT:    ret i32 324
454;
455  %A = icmp ne i32 %mode, 0
456  %B = icmp ne i32 %mode, 51
457  %C = and i1 %A, %B
458  %D = and i1 %C, %Cond
459  br i1 %D, label %T, label %F
460T:
461  call void @foo1()
462  ret i32 123
463F:
464  call void @foo2()
465  ret i32 324
466
467}
468
469define i32 @test10_select(i32 %mode, i1 %Cond) {
470; CHECK-LABEL: @test10_select(
471; CHECK-NEXT:    br i1 [[COND:%.*]], label [[SWITCH_EARLY_TEST:%.*]], label [[F:%.*]]
472; CHECK:       switch.early.test:
473; CHECK-NEXT:    switch i32 [[MODE:%.*]], label [[T:%.*]] [
474; CHECK-NEXT:    i32 51, label [[F]]
475; CHECK-NEXT:    i32 0, label [[F]]
476; CHECK-NEXT:    ]
477; CHECK:       T:
478; CHECK-NEXT:    call void @foo1()
479; CHECK-NEXT:    ret i32 123
480; CHECK:       F:
481; CHECK-NEXT:    call void @foo2()
482; CHECK-NEXT:    ret i32 324
483;
484  %A = icmp ne i32 %mode, 0
485  %B = icmp ne i32 %mode, 51
486  %C = select i1 %A, i1 %B, i1 false
487  %D = select i1 %C, i1 %Cond, i1 false
488  br i1 %D, label %T, label %F
489T:
490  call void @foo1()
491  ret i32 123
492F:
493  call void @foo2()
494  ret i32 324
495
496}
497
498; TODO: %Cond doesn't need freeze
499define i32 @test10_select_and(i32 %mode, i1 %Cond) {
500; CHECK-LABEL: @test10_select_and(
501; CHECK-NEXT:    br i1 [[COND:%.*]], label [[SWITCH_EARLY_TEST:%.*]], label [[F:%.*]]
502; CHECK:       switch.early.test:
503; CHECK-NEXT:    switch i32 [[MODE:%.*]], label [[T:%.*]] [
504; CHECK-NEXT:    i32 51, label [[F]]
505; CHECK-NEXT:    i32 0, label [[F]]
506; CHECK-NEXT:    ]
507; CHECK:       T:
508; CHECK-NEXT:    call void @foo1()
509; CHECK-NEXT:    ret i32 123
510; CHECK:       F:
511; CHECK-NEXT:    call void @foo2()
512; CHECK-NEXT:    ret i32 324
513;
514  %A = icmp ne i32 %mode, 0
515  %B = icmp ne i32 %mode, 51
516  %C = select i1 %A, i1 %B, i1 false
517  %D = and i1 %C, %Cond
518  br i1 %D, label %T, label %F
519T:
520  call void @foo1()
521  ret i32 123
522F:
523  call void @foo2()
524  ret i32 324
525
526}
527
528define i32 @test10_select_nofreeze(i32 %mode, i1 noundef %Cond) {
529; CHECK-LABEL: @test10_select_nofreeze(
530; CHECK-NEXT:    br i1 [[COND:%.*]], label [[SWITCH_EARLY_TEST:%.*]], label [[F:%.*]]
531; CHECK:       switch.early.test:
532; CHECK-NEXT:    switch i32 [[MODE:%.*]], label [[T:%.*]] [
533; CHECK-NEXT:    i32 51, label [[F]]
534; CHECK-NEXT:    i32 0, label [[F]]
535; CHECK-NEXT:    ]
536; CHECK:       T:
537; CHECK-NEXT:    call void @foo1()
538; CHECK-NEXT:    ret i32 123
539; CHECK:       F:
540; CHECK-NEXT:    call void @foo2()
541; CHECK-NEXT:    ret i32 324
542;
543  %A = icmp ne i32 %mode, 0
544  %B = icmp ne i32 %mode, 51
545  %C = select i1 %A, i1 %B, i1 false
546  %D = select i1 %C, i1 %Cond, i1 false
547  br i1 %D, label %T, label %F
548T:
549  call void @foo1()
550  ret i32 123
551F:
552  call void @foo2()
553  ret i32 324
554
555}
556
557; PR8780
558define i32 @test11(i32 %bar) nounwind {
559; CHECK-LABEL: @test11(
560; CHECK-NEXT:  entry:
561; CHECK-NEXT:    switch i32 [[BAR:%.*]], label [[IF_END:%.*]] [
562; CHECK-NEXT:    i32 55, label [[RETURN:%.*]]
563; CHECK-NEXT:    i32 53, label [[RETURN]]
564; CHECK-NEXT:    i32 35, label [[RETURN]]
565; CHECK-NEXT:    i32 24, label [[RETURN]]
566; CHECK-NEXT:    i32 23, label [[RETURN]]
567; CHECK-NEXT:    i32 12, label [[RETURN]]
568; CHECK-NEXT:    i32 4, label [[RETURN]]
569; CHECK-NEXT:    ]
570; CHECK:       if.end:
571; CHECK-NEXT:    br label [[RETURN]]
572; CHECK:       return:
573; CHECK-NEXT:    [[RETVAL_0:%.*]] = phi i32 [ 0, [[IF_END]] ], [ 1, [[ENTRY:%.*]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ]
574; CHECK-NEXT:    ret i32 [[RETVAL_0]]
575;
576entry:
577  %cmp = icmp eq i32 %bar, 4
578  %cmp2 = icmp eq i32 %bar, 35
579  %or.cond = or i1 %cmp, %cmp2
580  %cmp5 = icmp eq i32 %bar, 53
581  %or.cond1 = or i1 %or.cond, %cmp5
582  %cmp8 = icmp eq i32 %bar, 24
583  %or.cond2 = or i1 %or.cond1, %cmp8
584  %cmp11 = icmp eq i32 %bar, 23
585  %or.cond3 = or i1 %or.cond2, %cmp11
586  %cmp14 = icmp eq i32 %bar, 55
587  %or.cond4 = or i1 %or.cond3, %cmp14
588  %cmp17 = icmp eq i32 %bar, 12
589  %or.cond5 = or i1 %or.cond4, %cmp17
590  %cmp20 = icmp eq i32 %bar, 35
591  %or.cond6 = or i1 %or.cond5, %cmp20
592  br i1 %or.cond6, label %if.then, label %if.end
593
594if.then:                                          ; preds = %entry
595  br label %return
596
597if.end:                                           ; preds = %entry
598  br label %return
599
600return:                                           ; preds = %if.end, %if.then
601  %retval.0 = phi i32 [ 1, %if.then ], [ 0, %if.end ]
602  ret i32 %retval.0
603
604}
605
606define void @test12() nounwind {
607; CHECK-LABEL: @test12(
608; CHECK-NEXT:  entry:
609; CHECK-NEXT:    [[A_OLD:%.*]] = icmp eq i32 undef, undef
610; CHECK-NEXT:    br i1 [[A_OLD]], label [[BB55_US_US:%.*]], label [[MALFORMED:%.*]]
611; CHECK:       bb55.us.us:
612; CHECK-NEXT:    [[B:%.*]] = icmp ugt i32 undef, undef
613; CHECK-NEXT:    [[A:%.*]] = icmp eq i32 undef, undef
614; CHECK-NEXT:    [[OR_COND:%.*]] = or i1 [[B]], [[A]]
615; CHECK-NEXT:    br i1 [[OR_COND]], label [[BB55_US_US]], label [[MALFORMED]]
616; CHECK:       malformed:
617; CHECK-NEXT:    ret void
618;
619entry:
620  br label %bb49.us.us
621
622bb49.us.us:
623  %A = icmp eq i32 undef, undef
624  br i1 %A, label %bb55.us.us, label %malformed
625
626bb48.us.us:
627  %B = icmp ugt i32 undef, undef
628  br i1 %B, label %bb55.us.us, label %bb49.us.us
629
630bb55.us.us:
631  br label %bb48.us.us
632
633malformed:
634  ret void
635
636}
637
638; test13 - handle switch formation with ult.
639define void @test13(i32 %x) nounwind ssp noredzone {
640; CHECK-LABEL: @test13(
641; CHECK-NEXT:  entry:
642; CHECK-NEXT:    switch i32 [[X:%.*]], label [[IF_END:%.*]] [
643; CHECK-NEXT:    i32 6, label [[IF_THEN:%.*]]
644; CHECK-NEXT:    i32 4, label [[IF_THEN]]
645; CHECK-NEXT:    i32 3, label [[IF_THEN]]
646; CHECK-NEXT:    i32 1, label [[IF_THEN]]
647; CHECK-NEXT:    i32 0, label [[IF_THEN]]
648; CHECK-NEXT:    ]
649; CHECK:       if.then:
650; CHECK-NEXT:    call void @foo1() #[[ATTR3:[0-9]+]]
651; CHECK-NEXT:    br label [[IF_END]]
652; CHECK:       if.end:
653; CHECK-NEXT:    ret void
654;
655entry:
656  %cmp = icmp ult i32 %x, 2
657  br i1 %cmp, label %if.then, label %lor.lhs.false3
658
659lor.lhs.false3:                                   ; preds = %lor.lhs.false
660  %cmp5 = icmp eq i32 %x, 3
661  br i1 %cmp5, label %if.then, label %lor.lhs.false6
662
663lor.lhs.false6:                                   ; preds = %lor.lhs.false3
664  %cmp8 = icmp eq i32 %x, 4
665  br i1 %cmp8, label %if.then, label %lor.lhs.false9
666
667lor.lhs.false9:                                   ; preds = %lor.lhs.false6
668  %cmp11 = icmp eq i32 %x, 6
669  br i1 %cmp11, label %if.then, label %if.end
670
671if.then:                                          ; preds = %lor.lhs.false9, %lor.lhs.false6, %lor.lhs.false3, %lor.lhs.false, %entry
672  call void @foo1() noredzone
673  br label %if.end
674
675if.end:                                           ; preds = %if.then, %lor.lhs.false9
676  ret void
677}
678
679; test14 - handle switch formation with ult.
680define void @test14(i32 %x) nounwind ssp noredzone {
681; CHECK-LABEL: @test14(
682; CHECK-NEXT:  entry:
683; CHECK-NEXT:    switch i32 [[X:%.*]], label [[IF_END:%.*]] [
684; CHECK-NEXT:    i32 6, label [[IF_THEN:%.*]]
685; CHECK-NEXT:    i32 4, label [[IF_THEN]]
686; CHECK-NEXT:    i32 3, label [[IF_THEN]]
687; CHECK-NEXT:    i32 2, label [[IF_THEN]]
688; CHECK-NEXT:    i32 1, label [[IF_THEN]]
689; CHECK-NEXT:    i32 0, label [[IF_THEN]]
690; CHECK-NEXT:    ]
691; CHECK:       if.then:
692; CHECK-NEXT:    call void @foo1() #[[ATTR3]]
693; CHECK-NEXT:    br label [[IF_END]]
694; CHECK:       if.end:
695; CHECK-NEXT:    ret void
696;
697entry:
698  %cmp = icmp ugt i32 %x, 2
699  br i1 %cmp, label %lor.lhs.false3, label %if.then
700
701lor.lhs.false3:                                   ; preds = %lor.lhs.false
702  %cmp5 = icmp ne i32 %x, 3
703  br i1 %cmp5, label %lor.lhs.false6, label %if.then
704
705lor.lhs.false6:                                   ; preds = %lor.lhs.false3
706  %cmp8 = icmp ne i32 %x, 4
707  br i1 %cmp8, label %lor.lhs.false9, label %if.then
708
709lor.lhs.false9:                                   ; preds = %lor.lhs.false6
710  %cmp11 = icmp ne i32 %x, 6
711  br i1 %cmp11, label %if.end, label %if.then
712
713if.then:                                          ; preds = %lor.lhs.false9, %lor.lhs.false6, %lor.lhs.false3, %lor.lhs.false, %entry
714  call void @foo1() noredzone
715  br label %if.end
716
717if.end:                                           ; preds = %if.then, %lor.lhs.false9
718  ret void
719}
720
721; Don't crash on ginormous ranges.
722define void @test15(i128 %x) nounwind {
723; CHECK-LABEL: @test15(
724; CHECK-NEXT:  if.end:
725; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt i128 [[X:%.*]], 2
726; CHECK-NEXT:    ret void
727;
728  %cmp = icmp ugt i128 %x, 2
729  br i1 %cmp, label %if.end, label %lor.false
730
731lor.false:
732  %cmp2 = icmp ne i128 %x, 100000000000000000000
733  br i1 %cmp2, label %if.end, label %if.then
734
735if.then:
736  call void @foo1() noredzone
737  br label %if.end
738
739if.end:
740  ret void
741
742}
743
744; PR8675
745; rdar://5134905
746define zeroext i1 @test16(i32 %x) nounwind {
747; CHECK-LABEL: @test16(
748; CHECK-NEXT:  entry:
749; CHECK-NEXT:    [[X_OFF:%.*]] = add i32 [[X:%.*]], -1
750; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[X_OFF]], 3
751; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[SWITCH]], i1 true, i1 false
752; CHECK-NEXT:    ret i1 [[SPEC_SELECT]]
753;
754entry:
755  %cmp.i = icmp eq i32 %x, 1
756  br i1 %cmp.i, label %lor.end, label %lor.lhs.false
757
758lor.lhs.false:
759  %cmp.i2 = icmp eq i32 %x, 2
760  br i1 %cmp.i2, label %lor.end, label %lor.rhs
761
762lor.rhs:
763  %cmp.i1 = icmp eq i32 %x, 3
764  br label %lor.end
765
766lor.end:
767  %0 = phi i1 [ true, %lor.lhs.false ], [ true, %entry ], [ %cmp.i1, %lor.rhs ]
768  ret i1 %0
769}
770
771; Check that we don't turn an icmp into a switch where it's not useful.
772define void @test17(i32 %x, i32 %y) {
773; CHECK-LABEL: @test17(
774; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 3
775; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[Y:%.*]], 2
776; CHECK-NEXT:    [[OR_COND775:%.*]] = or i1 [[CMP]], [[SWITCH]]
777; CHECK-NEXT:    br i1 [[OR_COND775]], label [[LOR_LHS_FALSE8:%.*]], label [[RETURN:%.*]]
778; CHECK:       lor.lhs.false8:
779; CHECK-NEXT:    tail call void @foo1()
780; CHECK-NEXT:    ret void
781; CHECK:       return:
782; CHECK-NEXT:    ret void
783;
784  %cmp = icmp ult i32 %x, 3
785  %switch = icmp ult i32 %y, 2
786  %or.cond775 = or i1 %cmp, %switch
787  br i1 %or.cond775, label %lor.lhs.false8, label %return
788
789lor.lhs.false8:
790  tail call void @foo1()
791  ret void
792
793return:
794  ret void
795
796}
797
798define void @test17_select(i32 %x, i32 %y) {
799; CHECK-LABEL: @test17_select(
800; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 3
801; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[Y:%.*]], 2
802; CHECK-NEXT:    [[OR_COND775:%.*]] = select i1 [[CMP]], i1 true, i1 [[SWITCH]]
803; CHECK-NEXT:    br i1 [[OR_COND775]], label [[LOR_LHS_FALSE8:%.*]], label [[RETURN:%.*]]
804; CHECK:       lor.lhs.false8:
805; CHECK-NEXT:    tail call void @foo1()
806; CHECK-NEXT:    ret void
807; CHECK:       return:
808; CHECK-NEXT:    ret void
809;
810  %cmp = icmp ult i32 %x, 3
811  %switch = icmp ult i32 %y, 2
812  %or.cond775 = select i1 %cmp, i1 true, i1 %switch
813  br i1 %or.cond775, label %lor.lhs.false8, label %return
814
815lor.lhs.false8:
816  tail call void @foo1()
817  ret void
818
819return:
820  ret void
821
822}
823
824define void @test18(i32 %arg) {
825; CHECK-LABEL: @test18(
826; CHECK-NEXT:  bb:
827; CHECK-NEXT:    [[ARG_OFF:%.*]] = add i32 [[ARG:%.*]], -8
828; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[ARG_OFF]], 11
829; CHECK-NEXT:    br i1 [[SWITCH]], label [[BB19:%.*]], label [[BB20:%.*]]
830; CHECK:       bb19:
831; CHECK-NEXT:    tail call void @foo1()
832; CHECK-NEXT:    br label [[BB20]]
833; CHECK:       bb20:
834; CHECK-NEXT:    ret void
835;
836bb:
837  %tmp = and i32 %arg, -2
838  %tmp1 = icmp eq i32 %tmp, 8
839  %tmp2 = icmp eq i32 %arg, 10
840  %tmp3 = or i1 %tmp1, %tmp2
841  %tmp4 = icmp eq i32 %arg, 11
842  %tmp5 = or i1 %tmp3, %tmp4
843  %tmp6 = icmp eq i32 %arg, 12
844  %tmp7 = or i1 %tmp5, %tmp6
845  br i1 %tmp7, label %bb19, label %bb8
846
847bb8:                                              ; preds = %bb
848  %tmp9 = add i32 %arg, -13
849  %tmp10 = icmp ult i32 %tmp9, 2
850  %tmp11 = icmp eq i32 %arg, 16
851  %tmp12 = or i1 %tmp10, %tmp11
852  %tmp13 = icmp eq i32 %arg, 17
853  %tmp14 = or i1 %tmp12, %tmp13
854  %tmp15 = icmp eq i32 %arg, 18
855  %tmp16 = or i1 %tmp14, %tmp15
856  %tmp17 = icmp eq i32 %arg, 15
857  %tmp18 = or i1 %tmp16, %tmp17
858  br i1 %tmp18, label %bb19, label %bb20
859
860bb19:                                             ; preds = %bb8, %bb
861  tail call void @foo1()
862  br label %bb20
863
864bb20:                                             ; preds = %bb19, %bb8
865  ret void
866
867}
868
869define void @PR26323(i1 %tobool23, i32 %tmp3) {
870; CHECK-LABEL: @PR26323(
871; CHECK-NEXT:  entry:
872; CHECK-NEXT:    [[TOBOOL5:%.*]] = icmp ne i32 [[TMP3:%.*]], 0
873; CHECK-NEXT:    [[NEG14:%.*]] = and i32 [[TMP3]], -2
874; CHECK-NEXT:    [[CMP17:%.*]] = icmp ne i32 [[NEG14]], -1
875; CHECK-NEXT:    [[OR_COND:%.*]] = and i1 [[TOBOOL5]], [[TOBOOL23:%.*]]
876; CHECK-NEXT:    [[OR_COND1:%.*]] = and i1 [[CMP17]], [[OR_COND]]
877; CHECK-NEXT:    br i1 [[OR_COND1]], label [[IF_END29:%.*]], label [[IF_THEN27:%.*]]
878; CHECK:       if.then27:
879; CHECK-NEXT:    call void @foo1()
880; CHECK-NEXT:    unreachable
881; CHECK:       if.end29:
882; CHECK-NEXT:    ret void
883;
884entry:
885  %tobool5 = icmp ne i32 %tmp3, 0
886  %neg14 = and i32 %tmp3, -2
887  %cmp17 = icmp ne i32 %neg14, -1
888  %or.cond = and i1 %tobool5, %tobool23
889  %or.cond1 = and i1 %cmp17, %or.cond
890  br i1 %or.cond1, label %if.end29, label %if.then27
891
892if.then27:                                        ; preds = %entry
893  call void @foo1()
894  unreachable
895
896if.end29:                                         ; preds = %entry
897  ret void
898}
899
900; Form a switch when and'ing a negated power of two
901define void @test19(i32 %arg) {
902; CHECK-LABEL: @test19(
903; CHECK-NEXT:    switch i32 [[ARG:%.*]], label [[ELSE:%.*]] [
904; CHECK-NEXT:    i32 32, label [[IF:%.*]]
905; CHECK-NEXT:    i32 13, label [[IF]]
906; CHECK-NEXT:    i32 12, label [[IF]]
907; CHECK-NEXT:    ]
908; CHECK:       if:
909; CHECK-NEXT:    call void @foo1()
910; CHECK-NEXT:    ret void
911; CHECK:       else:
912; CHECK-NEXT:    ret void
913;
914  %and = and i32 %arg, -2
915  %cmp1 = icmp eq i32 %and, 12
916  %cmp2 = icmp eq i32 %arg, 32
917  %pred = or i1 %cmp1, %cmp2
918  br i1 %pred, label %if, label %else
919
920if:
921  call void @foo1()
922  ret void
923
924else:
925  ret void
926}
927
928define void @test19_select(i32 %arg) {
929; CHECK-LABEL: @test19_select(
930; CHECK-NEXT:    switch i32 [[ARG:%.*]], label [[ELSE:%.*]] [
931; CHECK-NEXT:    i32 32, label [[IF:%.*]]
932; CHECK-NEXT:    i32 13, label [[IF]]
933; CHECK-NEXT:    i32 12, label [[IF]]
934; CHECK-NEXT:    ]
935; CHECK:       if:
936; CHECK-NEXT:    call void @foo1()
937; CHECK-NEXT:    ret void
938; CHECK:       else:
939; CHECK-NEXT:    ret void
940;
941  %and = and i32 %arg, -2
942  %cmp1 = icmp eq i32 %and, 12
943  %cmp2 = icmp eq i32 %arg, 32
944  %pred = select i1 %cmp1, i1 true, i1 %cmp2
945  br i1 %pred, label %if, label %else
946
947if:
948  call void @foo1()
949  ret void
950
951else:
952  ret void
953}
954
955; Since %cmp1 is always false, a switch is never formed
956define void @test20(i32 %arg) {
957; CHECK-LABEL: @test20(
958; CHECK-NEXT:    [[AND:%.*]] = and i32 [[ARG:%.*]], -2
959; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[AND]], 13
960; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32 [[ARG]], 32
961; CHECK-NEXT:    [[PRED:%.*]] = or i1 [[CMP1]], [[CMP2]]
962; CHECK-NEXT:    br i1 [[PRED]], label [[IF:%.*]], label [[ELSE:%.*]]
963; CHECK:       if:
964; CHECK-NEXT:    call void @foo1()
965; CHECK-NEXT:    ret void
966; CHECK:       else:
967; CHECK-NEXT:    ret void
968;
969  %and = and i32 %arg, -2
970  %cmp1 = icmp eq i32 %and, 13
971  %cmp2 = icmp eq i32 %arg, 32
972  %pred = or i1 %cmp1, %cmp2
973  br i1 %pred, label %if, label %else
974
975if:
976  call void @foo1()
977  ret void
978
979else:
980  ret void
981}
982
983; Form a switch when or'ing a power of two
984define void @test21(i32 %arg) {
985; CHECK-LABEL: @test21(
986; CHECK-NEXT:    switch i32 [[ARG:%.*]], label [[IF:%.*]] [
987; CHECK-NEXT:    i32 32, label [[ELSE:%.*]]
988; CHECK-NEXT:    i32 13, label [[ELSE]]
989; CHECK-NEXT:    i32 12, label [[ELSE]]
990; CHECK-NEXT:    ]
991; CHECK:       if:
992; CHECK-NEXT:    call void @foo1()
993; CHECK-NEXT:    ret void
994; CHECK:       else:
995; CHECK-NEXT:    ret void
996;
997  %and = or i32 %arg, 1
998  %cmp1 = icmp ne i32 %and, 13
999  %cmp2 = icmp ne i32 %arg, 32
1000  %pred = and i1 %cmp1, %cmp2
1001  br i1 %pred, label %if, label %else
1002
1003if:
1004  call void @foo1()
1005  ret void
1006
1007else:
1008  ret void
1009}
1010
1011; Since %cmp1 is always false, a switch is never formed
1012define void @test22(i32 %arg) {
1013; CHECK-LABEL: @test22(
1014; CHECK-NEXT:    [[AND:%.*]] = or i32 [[ARG:%.*]], 1
1015; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i32 [[AND]], 12
1016; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[ARG]], 32
1017; CHECK-NEXT:    [[PRED:%.*]] = and i1 [[CMP1]], [[CMP2]]
1018; CHECK-NEXT:    br i1 [[PRED]], label [[IF:%.*]], label [[ELSE:%.*]]
1019; CHECK:       if:
1020; CHECK-NEXT:    call void @foo1()
1021; CHECK-NEXT:    ret void
1022; CHECK:       else:
1023; CHECK-NEXT:    ret void
1024;
1025  %and = or i32 %arg, 1
1026  %cmp1 = icmp ne i32 %and, 12
1027  %cmp2 = icmp ne i32 %arg, 32
1028  %pred = and i1 %cmp1, %cmp2
1029  br i1 %pred, label %if, label %else
1030
1031if:
1032  call void @foo1()
1033  ret void
1034
1035else:
1036  ret void
1037}
1038