1 ; RUN: llc < %s -asm-verbose=false -disable-block-placement -verify-machineinstrs | FileCheck %s
2 ; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck -check-prefix=OPT %s
4 ; Test the CFG stackifier pass.
6 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
7 target triple = "wasm32-unknown-unknown"
9 declare void @something()
11 ; Test that loops are made contiguous, even in the presence of split backedges.
17 ; CHECK-NEXT: i32.ge_s
21 ; CHECK: br .LBB0_1{{$}}
31 ; OPT: br .LBB0_1{{$}}
33 define void @test0(i32 %n) {
38 %i = phi i32 [ 0, %entry ], [ %i.next, %back ]
39 %i.next = add i32 %i, 1
41 %c = icmp slt i32 %i.next, %n
42 br i1 %c, label %back, label %exit
48 call void @something()
52 ; Same as test0, but the branch condition is reversed.
58 ; CHECK-NEXT: i32.ge_s
62 ; CHECK: br .LBB1_1{{$}}
72 ; OPT: br .LBB1_1{{$}}
74 define void @test1(i32 %n) {
79 %i = phi i32 [ 0, %entry ], [ %i.next, %back ]
80 %i.next = add i32 %i, 1
82 %c = icmp sge i32 %i.next, %n
83 br i1 %c, label %exit, label %back
89 call void @something()
93 ; Test that a simple loop is handled as expected.
97 ; CHECK: block .LBB2_2{{$}}
98 ; CHECK: br_if {{[^,]*}}, .LBB2_2{{$}}
100 ; CHECK: br_if ${{[0-9]+}}, .LBB2_1{{$}}
104 ; OPT: block .LBB2_2{{$}}
105 ; OPT: br_if {{[^,]*}}, .LBB2_2{{$}}
107 ; OPT: br_if ${{[0-9]+}}, .LBB2_1{{$}}
110 define void @test2(double* nocapture %p, i32 %n) {
112 %cmp.4 = icmp sgt i32 %n, 0
113 br i1 %cmp.4, label %for.body.preheader, label %for.end
119 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
120 %arrayidx = getelementptr inbounds double, double* %p, i32 %i.05
121 %0 = load double, double* %arrayidx, align 8
122 %mul = fmul double %0, 3.200000e+00
123 store double %mul, double* %arrayidx, align 8
124 %inc = add nuw nsw i32 %i.05, 1
125 %exitcond = icmp eq i32 %inc, %n
126 br i1 %exitcond, label %for.end.loopexit, label %for.body
135 ; CHECK-LABEL: doublediamond:
136 ; CHECK: block .LBB3_5{{$}}
137 ; CHECK: block .LBB3_2{{$}}
138 ; CHECK: br_if $0, .LBB3_2{{$}}
139 ; CHECK: block .LBB3_4{{$}}
140 ; CHECK: br_if $1, .LBB3_4{{$}}
141 ; CHECK: br .LBB3_5{{$}}
144 ; CHECK: return ${{[0-9]+}}{{$}}
145 ; OPT-LABEL: doublediamond:
146 ; OPT: block .LBB3_5{{$}}
147 ; OPT: block .LBB3_4{{$}}
148 ; OPT: br_if {{[^,]*}}, .LBB3_4{{$}}
149 ; OPT: block .LBB3_3{{$}}
150 ; OPT: br_if {{[^,]*}}, .LBB3_3{{$}}
151 ; OPT: br .LBB3_5{{$}}
154 ; OPT: return ${{[0-9]+}}{{$}}
155 define i32 @doublediamond(i32 %a, i32 %b, i32* %p) {
157 %c = icmp eq i32 %a, 0
158 %d = icmp eq i32 %b, 0
159 store volatile i32 0, i32* %p
160 br i1 %c, label %true, label %false
162 store volatile i32 1, i32* %p
165 store volatile i32 2, i32* %p
166 br i1 %d, label %ft, label %ff
168 store volatile i32 3, i32* %p
171 store volatile i32 4, i32* %p
174 store volatile i32 5, i32* %p
178 ; CHECK-LABEL: triangle:
179 ; CHECK: block .LBB4_2{{$}}
180 ; CHECK: br_if $1, .LBB4_2{{$}}
182 ; CHECK: return ${{[0-9]+}}{{$}}
183 ; OPT-LABEL: triangle:
184 ; OPT: block .LBB4_2{{$}}
185 ; OPT: br_if $1, .LBB4_2{{$}}
187 ; OPT: return ${{[0-9]+}}{{$}}
188 define i32 @triangle(i32* %p, i32 %a) {
190 %c = icmp eq i32 %a, 0
191 store volatile i32 0, i32* %p
192 br i1 %c, label %true, label %exit
194 store volatile i32 1, i32* %p
197 store volatile i32 2, i32* %p
201 ; CHECK-LABEL: diamond:
202 ; CHECK: block .LBB5_3{{$}}
203 ; CHECK: block .LBB5_2{{$}}
204 ; CHECK: br_if $1, .LBB5_2{{$}}
205 ; CHECK: br .LBB5_3{{$}}
208 ; CHECK: return ${{[0-9]+}}{{$}}
209 ; OPT-LABEL: diamond:
210 ; OPT: block .LBB5_3{{$}}
211 ; OPT: block .LBB5_2{{$}}
212 ; OPT: br_if {{[^,]*}}, .LBB5_2{{$}}
213 ; OPT: br .LBB5_3{{$}}
216 ; OPT: return ${{[0-9]+}}{{$}}
217 define i32 @diamond(i32* %p, i32 %a) {
219 %c = icmp eq i32 %a, 0
220 store volatile i32 0, i32* %p
221 br i1 %c, label %true, label %false
223 store volatile i32 1, i32* %p
226 store volatile i32 2, i32* %p
229 store volatile i32 3, i32* %p
233 ; CHECK-LABEL: single_block:
235 ; CHECK: return $pop{{[0-9]+}}{{$}}
236 ; OPT-LABEL: single_block:
238 ; OPT: return $pop{{[0-9]+}}{{$}}
239 define i32 @single_block(i32* %p) {
241 store volatile i32 0, i32* %p
245 ; CHECK-LABEL: minimal_loop:
248 ; CHECK: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}}
249 ; CHECK: br .LBB7_1{{$}}
251 ; OPT-LABEL: minimal_loop:
254 ; OPT: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}}
255 ; OPT: br .LBB7_1{{$}}
257 define i32 @minimal_loop(i32* %p) {
259 store volatile i32 0, i32* %p
262 store volatile i32 1, i32* %p
266 ; CHECK-LABEL: simple_loop:
269 ; CHECK: loop .LBB8_2{{$}}
270 ; CHECK: br_if $pop{{[0-9]+}}, .LBB8_1{{$}}
272 ; CHECK: return ${{[0-9]+}}{{$}}
273 ; OPT-LABEL: simple_loop:
276 ; OPT: loop .LBB8_2{{$}}
277 ; OPT: br_if {{[^,]*}}, .LBB8_1{{$}}
279 ; OPT: return ${{[0-9]+}}{{$}}
280 define i32 @simple_loop(i32* %p, i32 %a) {
282 %c = icmp eq i32 %a, 0
283 store volatile i32 0, i32* %p
286 store volatile i32 1, i32* %p
287 br i1 %c, label %loop, label %exit
289 store volatile i32 2, i32* %p
293 ; CHECK-LABEL: doubletriangle:
294 ; CHECK: block .LBB9_4{{$}}
295 ; CHECK: br_if $0, .LBB9_4{{$}}
296 ; CHECK: block .LBB9_3{{$}}
297 ; CHECK: br_if $1, .LBB9_3{{$}}
300 ; CHECK: return ${{[0-9]+}}{{$}}
301 ; OPT-LABEL: doubletriangle:
302 ; OPT: block .LBB9_4{{$}}
303 ; OPT: br_if $0, .LBB9_4{{$}}
304 ; OPT: block .LBB9_3{{$}}
305 ; OPT: br_if $1, .LBB9_3{{$}}
308 ; OPT: return ${{[0-9]+}}{{$}}
309 define i32 @doubletriangle(i32 %a, i32 %b, i32* %p) {
311 %c = icmp eq i32 %a, 0
312 %d = icmp eq i32 %b, 0
313 store volatile i32 0, i32* %p
314 br i1 %c, label %true, label %exit
316 store volatile i32 2, i32* %p
317 br i1 %d, label %tt, label %tf
319 store volatile i32 3, i32* %p
322 store volatile i32 4, i32* %p
325 store volatile i32 5, i32* %p
329 ; CHECK-LABEL: ifelse_earlyexits:
330 ; CHECK: block .LBB10_4{{$}}
331 ; CHECK: block .LBB10_2{{$}}
332 ; CHECK: br_if $0, .LBB10_2{{$}}
333 ; CHECK: br .LBB10_4{{$}}
335 ; CHECK: br_if $1, .LBB10_4{{$}}
337 ; CHECK: return ${{[0-9]+}}{{$}}
338 ; OPT-LABEL: ifelse_earlyexits:
339 ; OPT: block .LBB10_4{{$}}
340 ; OPT: block .LBB10_3{{$}}
341 ; OPT: br_if {{[^,]*}}, .LBB10_3{{$}}
342 ; OPT: br_if $1, .LBB10_4{{$}}
343 ; OPT: br .LBB10_4{{$}}
346 ; OPT: return ${{[0-9]+}}{{$}}
347 define i32 @ifelse_earlyexits(i32 %a, i32 %b, i32* %p) {
349 %c = icmp eq i32 %a, 0
350 %d = icmp eq i32 %b, 0
351 store volatile i32 0, i32* %p
352 br i1 %c, label %true, label %false
354 store volatile i32 1, i32* %p
357 store volatile i32 2, i32* %p
358 br i1 %d, label %ft, label %exit
360 store volatile i32 3, i32* %p
363 store volatile i32 4, i32* %p
367 ; CHECK-LABEL: doublediamond_in_a_loop:
369 ; CHECK: loop .LBB11_7{{$}}
370 ; CHECK: block .LBB11_6{{$}}
371 ; CHECK: block .LBB11_3{{$}}
372 ; CHECK: br_if $0, .LBB11_3{{$}}
373 ; CHECK: br .LBB11_6{{$}}
375 ; CHECK: block .LBB11_5{{$}}
376 ; CHECK: br_if $1, .LBB11_5{{$}}
377 ; CHECK: br .LBB11_6{{$}}
380 ; CHECK: br .LBB11_1{{$}}
382 ; OPT-LABEL: doublediamond_in_a_loop:
384 ; OPT: loop .LBB11_7{{$}}
385 ; OPT: block .LBB11_6{{$}}
386 ; OPT: block .LBB11_5{{$}}
387 ; OPT: br_if {{[^,]*}}, .LBB11_5{{$}}
388 ; OPT: block .LBB11_4{{$}}
389 ; OPT: br_if {{[^,]*}}, .LBB11_4{{$}}
390 ; OPT: br .LBB11_6{{$}}
392 ; OPT: br .LBB11_6{{$}}
395 ; OPT: br .LBB11_1{{$}}
397 define i32 @doublediamond_in_a_loop(i32 %a, i32 %b, i32* %p) {
401 %c = icmp eq i32 %a, 0
402 %d = icmp eq i32 %b, 0
403 store volatile i32 0, i32* %p
404 br i1 %c, label %true, label %false
406 store volatile i32 1, i32* %p
409 store volatile i32 2, i32* %p
410 br i1 %d, label %ft, label %ff
412 store volatile i32 3, i32* %p
415 store volatile i32 4, i32* %p
418 store volatile i32 5, i32* %p
422 ; Test that nested loops are handled.
424 ; CHECK-LABEL: test3:
427 ; CHECK-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}:
432 ; OPT-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}:
435 define void @test3(i32 %w) {
437 br i1 undef, label %outer.ph, label %exit
443 %tobool = icmp eq i32 undef, 0
444 br i1 %tobool, label %inner, label %unreachable
450 %c = icmp eq i32 undef, %w
451 br i1 %c, label %if.end, label %inner
461 ; Test switch lowering and block placement.
463 ; CHECK-LABEL: test4:
464 ; CHECK-NEXT: .param i32{{$}}
465 ; CHECK: block .LBB13_8{{$}}
466 ; CHECK-NEXT: block .LBB13_7{{$}}
467 ; CHECK-NEXT: block .LBB13_4{{$}}
468 ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_4{{$}}
469 ; CHECK-NEXT: block .LBB13_3{{$}}
470 ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_3{{$}}
471 ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
472 ; CHECK-NEXT: .LBB13_3:
473 ; CHECK-NEXT: return{{$}}
474 ; CHECK-NEXT: .LBB13_4:
475 ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_8{{$}}
476 ; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
477 ; CHECK-NEXT: return{{$}}
478 ; CHECK-NEXT: .LBB13_7:
479 ; CHECK-NEXT: return{{$}}
480 ; CHECK-NEXT: .LBB13_8:
481 ; CHECK-NEXT: return{{$}}
483 ; OPT-NEXT: .param i32{{$}}
484 ; OPT: block .LBB13_8{{$}}
485 ; OPT-NEXT: block .LBB13_7{{$}}
486 ; OPT-NEXT: block .LBB13_4{{$}}
487 ; OPT: br_if $pop{{[0-9]*}}, .LBB13_4{{$}}
488 ; OPT-NEXT: block .LBB13_3{{$}}
489 ; OPT: br_if $pop{{[0-9]*}}, .LBB13_3{{$}}
490 ; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
491 ; OPT-NEXT: .LBB13_3:
492 ; OPT-NEXT: return{{$}}
493 ; OPT-NEXT: .LBB13_4:
494 ; OPT: br_if $pop{{[0-9]*}}, .LBB13_8{{$}}
495 ; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
496 ; OPT-NEXT: return{{$}}
497 ; OPT-NEXT: .LBB13_7:
498 ; OPT-NEXT: return{{$}}
499 ; OPT-NEXT: .LBB13_8:
500 ; OPT-NEXT: return{{$}}
501 define void @test4(i32 %t) {
503 switch i32 %t, label %default [
523 ; Test a case where the BLOCK needs to be placed before the LOOP in the
526 ; CHECK-LABEL: test5:
528 ; CHECK-NEXT: block .LBB14_4{{$}}
529 ; CHECK-NEXT: loop .LBB14_3{{$}}
530 ; CHECK: br_if {{[^,]*}}, .LBB14_4{{$}}
531 ; CHECK: br_if {{[^,]*}}, .LBB14_1{{$}}
532 ; CHECK-NEXT: .LBB14_3:
534 ; CHECK-NEXT: .LBB14_4:
538 ; OPT-NEXT: block .LBB14_4{{$}}
539 ; OPT-NEXT: loop .LBB14_3{{$}}
540 ; OPT: br_if {{[^,]*}}, .LBB14_4{{$}}
541 ; OPT: br_if {{[^,]*}}, .LBB14_1{{$}}
542 ; OPT-NEXT: .LBB14_3:
544 ; OPT-NEXT: .LBB14_4:
546 define void @test5(i1 %p, i1 %q) {
551 store volatile i32 0, i32* null
552 br i1 %p, label %more, label %alt
555 store volatile i32 1, i32* null
556 br i1 %q, label %header, label %return
559 store volatile i32 2, i32* null
563 store volatile i32 3, i32* null
567 ; Test an interesting case of a loop with multiple exits, which
568 ; aren't to layout successors of the loop, and one of which is to a successors
569 ; which has another predecessor.
571 ; CHECK-LABEL: test6:
573 ; CHECK-NEXT: block .LBB15_6{{$}}
574 ; CHECK-NEXT: block .LBB15_5{{$}}
575 ; CHECK-NEXT: loop .LBB15_4{{$}}
577 ; CHECK: br_if {{[^,]*}}, .LBB15_6{{$}}
579 ; CHECK: br_if {{[^,]*}}, .LBB15_5{{$}}
581 ; CHECK: br_if {{[^,]*}}, .LBB15_1{{$}}
582 ; CHECK-NEXT: .LBB15_4:
585 ; CHECK-NEXT: .LBB15_5:
592 ; OPT-NEXT: block .LBB15_6{{$}}
593 ; OPT-NEXT: block .LBB15_5{{$}}
594 ; OPT-NEXT: loop .LBB15_4{{$}}
596 ; OPT: br_if {{[^,]*}}, .LBB15_6{{$}}
598 ; OPT: br_if {{[^,]*}}, .LBB15_5{{$}}
600 ; OPT: br_if {{[^,]*}}, .LBB15_1{{$}}
601 ; OPT-NEXT: .LBB15_4:
604 ; OPT-NEXT: .LBB15_5:
609 define void @test6(i1 %p, i1 %q) {
614 store volatile i32 0, i32* null
615 br i1 %p, label %more, label %second
618 store volatile i32 1, i32* null
619 br i1 %q, label %evenmore, label %first
622 store volatile i32 1, i32* null
623 br i1 %q, label %header, label %return
626 store volatile i32 2, i32* null
630 store volatile i32 3, i32* null
634 store volatile i32 4, i32* null
638 ; Test a case where there are multiple backedges and multiple loop exits
639 ; that end in unreachable.
641 ; CHECK-LABEL: test7:
643 ; CHECK-NEXT: loop .LBB16_5{{$}}
645 ; CHECK: block .LBB16_4{{$}}
646 ; CHECK: br_if {{[^,]*}}, .LBB16_4{{$}}
648 ; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}}
651 ; CHECK_NEXT: .LBB16_4:
653 ; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}}
654 ; CHECK-NEXT: .LBB16_5:
659 ; OPT-NEXT: loop .LBB16_5{{$}}
661 ; OPT: block .LBB16_4{{$}}
663 ; OPT: br_if {{[^,]*}}, .LBB16_4{{$}}
665 ; OPT: br_if {{[^,]*}}, .LBB16_1{{$}}
668 ; OPT_NEXT: .LBB16_4:
670 ; OPT: br_if {{[^,]*}}, .LBB16_1{{$}}
671 ; OPT-NEXT: .LBB16_5:
674 define void @test7(i1 %tobool2, i1 %tobool9) {
676 store volatile i32 0, i32* null
680 store volatile i32 1, i32* null
681 br i1 %tobool2, label %l1, label %l0
684 store volatile i32 2, i32* null
685 br i1 %tobool9, label %loop, label %u0
688 store volatile i32 3, i32* null
689 br i1 %tobool9, label %loop, label %u1
692 store volatile i32 4, i32* null
696 store volatile i32 5, i32* null
700 ; Test an interesting case using nested loops and switches.
702 ; CHECK-LABEL: test8:
704 ; CHECK-NEXT: loop .LBB17_4{{$}}
705 ; CHECK-NEXT: block .LBB17_3{{$}}
707 ; CHECK: br_if {{[^,]*}}, .LBB17_3{{$}}
709 ; CHECK: br_if {{[^,]*}}, .LBB17_1{{$}}
710 ; CHECK-NEXT: .LBB17_3:
711 ; CHECK-NEXT: loop .LBB17_4{{$}}
712 ; CHECK-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}}
713 ; CHECK-NEXT: br .LBB17_1{{$}}
714 ; CHECK-NEXT: .LBB17_4:
717 ; OPT-NEXT: loop .LBB17_4{{$}}
718 ; OPT-NEXT: block .LBB17_3{{$}}
720 ; OPT: br_if {{[^,]*}}, .LBB17_3{{$}}
722 ; OPT: br_if {{[^,]*}}, .LBB17_1{{$}}
723 ; OPT-NEXT: .LBB17_3:
724 ; OPT-NEXT: loop .LBB17_4{{$}}
725 ; OPT-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}}
726 ; OPT-NEXT: br .LBB17_1{{$}}
727 ; OPT-NEXT: .LBB17_4:
728 define i32 @test8() {
733 br i1 undef, label %bb2, label %bb3
736 switch i8 undef, label %bb1 [
741 switch i8 undef, label %bb1 [
746 ; Test an interesting case using nested loops that share a bottom block.
748 ; CHECK-LABEL: test9:
750 ; CHECK-NEXT: loop .LBB18_5{{$}}
752 ; CHECK: br_if {{[^,]*}}, .LBB18_5{{$}}
753 ; CHECK-NEXT: .LBB18_2:
754 ; CHECK-NEXT: loop .LBB18_5{{$}}
756 ; CHECK: block .LBB18_4{{$}}
758 ; CHECK: br_if {{[^,]*}}, .LBB18_4{{$}}
760 ; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}}
761 ; CHECK-NEXT: br .LBB18_1{{$}}
762 ; CHECK-NEXT: .LBB18_4:
764 ; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}}
765 ; CHECK-NEXT: br .LBB18_1{{$}}
766 ; CHECK-NEXT: .LBB18_5:
771 ; OPT-NEXT: loop .LBB18_5{{$}}
773 ; OPT: br_if {{[^,]*}}, .LBB18_5{{$}}
774 ; OPT-NEXT: .LBB18_2:
775 ; OPT-NEXT: loop .LBB18_5{{$}}
777 ; OPT: block .LBB18_4{{$}}
779 ; OPT: br_if {{[^,]*}}, .LBB18_4{{$}}
781 ; OPT: br_if {{[^,]*}}, .LBB18_2{{$}}
782 ; OPT-NEXT: br .LBB18_1{{$}}
783 ; OPT-NEXT: .LBB18_4:
785 ; OPT: br_if {{[^,]*}}, .LBB18_2{{$}}
786 ; OPT-NEXT: br .LBB18_1{{$}}
787 ; OPT-NEXT: .LBB18_5:
791 define void @test9() {
793 store volatile i32 0, i32* null
797 store volatile i32 1, i32* null
798 %call4 = call i1 @a()
799 br i1 %call4, label %header2, label %end
802 store volatile i32 2, i32* null
804 br i1 %call, label %if.then, label %if.else
807 store volatile i32 3, i32* null
808 %call3 = call i1 @a()
809 br i1 %call3, label %header2, label %header
812 store volatile i32 4, i32* null
813 %call2 = call i1 @a()
814 br i1 %call2, label %header2, label %header
817 store volatile i32 5, i32* null
821 ; Test an interesting case involving nested loops sharing a loop bottom,
822 ; and loop exits to a block with unreachable.
824 ; CHECK-LABEL: test10:
826 ; CHECK-NEXT: loop .LBB19_7{{$}}
828 ; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}}
829 ; CHECK-NEXT: .LBB19_2:
830 ; CHECK-NEXT: block .LBB19_6{{$}}
831 ; CHECK-NEXT: loop .LBB19_5{{$}}
834 ; CHECK-NEXT: loop .LBB19_5{{$}}
836 ; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}}
838 ; CHECK: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}}
839 ; CHECK-NEXT: .LBB19_5:
840 ; CHECK-NEXT: return{{$}}
841 ; CHECK-NEXT: .LBB19_6:
843 ; CHECK: br .LBB19_1{{$}}
844 ; CHECK-NEXT: .LBB19_7:
847 ; OPT-NEXT: loop .LBB19_7{{$}}
849 ; OPT: br_if {{[^,]*}}, .LBB19_1{{$}}
850 ; OPT-NEXT: .LBB19_2:
851 ; OPT-NEXT: block .LBB19_6{{$}}
852 ; OPT-NEXT: loop .LBB19_5{{$}}
855 ; OPT-NEXT: loop .LBB19_5{{$}}
857 ; OPT: br_if {{[^,]*}}, .LBB19_1{{$}}
859 ; OPT: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}}
860 ; OPT-NEXT: .LBB19_5:
861 ; OPT-NEXT: return{{$}}
862 ; OPT-NEXT: .LBB19_6:
864 ; OPT: br .LBB19_1{{$}}
865 ; OPT-NEXT: .LBB19_7:
866 define void @test10() {
871 %tmp = phi i32 [ 2, %bb0 ], [ 3, %bb3 ]
872 %tmp3 = phi i32 [ undef, %bb0 ], [ %tmp11, %bb3 ]
873 %tmp4 = icmp eq i32 %tmp3, 0
874 br i1 %tmp4, label %bb4, label %bb2
880 %tmp11 = phi i32 [ 1, %bb5 ], [ 0, %bb2 ]
884 %tmp6 = phi i32 [ %tmp9, %bb5 ], [ 4, %bb1 ]
885 %tmp7 = phi i32 [ %tmp6, %bb5 ], [ %tmp, %bb1 ]
889 %tmp9 = phi i32 [ %tmp6, %bb5 ], [ %tmp7, %bb4 ]
890 switch i32 %tmp9, label %bb2 [
901 ; Test a CFG DAG with interesting merging.
903 ; CHECK-LABEL: test11:
904 ; CHECK: block .LBB20_8{{$}}
905 ; CHECK-NEXT: block .LBB20_7{{$}}
906 ; CHECK-NEXT: block .LBB20_6{{$}}
907 ; CHECK-NEXT: block .LBB20_4{{$}}
908 ; CHECK-NEXT: br_if {{[^,]*}}, .LBB20_4{{$}}
910 ; CHECK: block .LBB20_3{{$}}
911 ; CHECK: br_if {{[^,]*}}, .LBB20_3{{$}}
913 ; CHECK: br_if {{[^,]*}}, .LBB20_6{{$}}
914 ; CHECK-NEXT: .LBB20_3:
917 ; CHECK-NEXT: .LBB20_4:
919 ; CHECK: br_if {{[^,]*}}, .LBB20_8{{$}}
921 ; CHECK: br_if {{[^,]*}}, .LBB20_7{{$}}
922 ; CHECK-NEXT: .LBB20_6:
925 ; CHECK-NEXT: .LBB20_7:
928 ; CHECK-NEXT: .LBB20_8:
932 ; OPT: block .LBB20_8{{$}}
933 ; OPT-NEXT: block .LBB20_4{{$}}
934 ; OPT-NEXT: br_if $0, .LBB20_4{{$}}
936 ; OPT: block .LBB20_3{{$}}
937 ; OPT: br_if $0, .LBB20_3{{$}}
939 ; OPT: br_if $0, .LBB20_8{{$}}
940 ; OPT-NEXT: .LBB20_3:
943 ; OPT-NEXT: .LBB20_4:
945 ; OPT: block .LBB20_6{{$}}
947 ; OPT: br_if $pop9, .LBB20_6{{$}}
950 ; OPT-NEXT: .LBB20_6:
952 ; OPT: br_if $0, .LBB20_8{{$}}
955 ; OPT-NEXT: .LBB20_8:
958 define void @test11() {
960 store volatile i32 0, i32* null
961 br i1 undef, label %bb1, label %bb4
963 store volatile i32 1, i32* null
964 br i1 undef, label %bb3, label %bb2
966 store volatile i32 2, i32* null
967 br i1 undef, label %bb3, label %bb7
969 store volatile i32 3, i32* null
972 store volatile i32 4, i32* null
973 br i1 undef, label %bb8, label %bb5
975 store volatile i32 5, i32* null
976 br i1 undef, label %bb6, label %bb7
978 store volatile i32 6, i32* null
981 store volatile i32 7, i32* null
984 store volatile i32 8, i32* null
988 ; CHECK-LABEL: test12:
990 ; CHECK-NEXT: loop .LBB21_8{{$}}
992 ; CHECK: block .LBB21_7{{$}}
993 ; CHECK-NEXT: block .LBB21_6{{$}}
994 ; CHECK-NEXT: block .LBB21_4{{$}}
995 ; CHECK: br_if {{[^,]*}}, .LBB21_4{{$}}
997 ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
999 ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
1000 ; CHECK-NEXT: br .LBB21_6{{$}}
1001 ; CHECK-NEXT: .LBB21_4:
1003 ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
1005 ; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
1006 ; CHECK-NEXT: .LBB21_6:
1007 ; CHECK-NEXT: return{{$}}
1008 ; CHECK-NEXT: .LBB21_7:
1010 ; CHECK: br .LBB21_1{{$}}
1011 ; CHECK-NEXT: .LBB21_8:
1012 ; OPT-LABEL: test12:
1014 ; OPT-NEXT: loop .LBB21_8{{$}}
1016 ; OPT: block .LBB21_7{{$}}
1017 ; OPT-NEXT: block .LBB21_6{{$}}
1018 ; OPT-NEXT: block .LBB21_4{{$}}
1019 ; OPT: br_if {{[^,]*}}, .LBB21_4{{$}}
1021 ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1023 ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1024 ; OPT-NEXT: br .LBB21_6{{$}}
1025 ; OPT-NEXT: .LBB21_4:
1027 ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1029 ; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1030 ; OPT-NEXT: .LBB21_6:
1031 ; OPT-NEXT: return{{$}}
1032 ; OPT-NEXT: .LBB21_7:
1034 ; OPT: br .LBB21_1{{$}}
1035 ; OPT-NEXT: .LBB21_8:
1036 define void @test12(i8* %arg) {
1041 %tmp = phi i32 [ 0, %bb ], [ %tmp5, %bb4 ]
1042 %tmp2 = getelementptr i8, i8* %arg, i32 %tmp
1043 %tmp3 = load i8, i8* %tmp2
1044 switch i8 %tmp3, label %bb7 [
1052 %tmp5 = add i32 %tmp, 1
1059 ; A block can be "branched to" from another even if it is also reachable via
1060 ; fallthrough from the other. This would normally be optimized away, so use
1061 ; optnone to disable optimizations to test this case.
1063 ; CHECK-LABEL: test13:
1064 ; CHECK-NEXT: .local i32{{$}}
1065 ; CHECK: block .LBB22_2{{$}}
1066 ; CHECK: br_if $pop4, .LBB22_2{{$}}
1067 ; CHECK-NEXT: return{{$}}
1068 ; CHECK-NEXT: .LBB22_2:
1069 ; CHECK: block .LBB22_4{{$}}
1070 ; CHECK-NEXT: br_if $0, .LBB22_4{{$}}
1072 ; CHECK: block .LBB22_5{{$}}
1073 ; CHECK: br_if $pop6, .LBB22_5{{$}}
1074 ; CHECK-NEXT: .LBB22_5:
1075 ; CHECK-NEXT: unreachable{{$}}
1076 ; OPT-LABEL: test13:
1077 ; OPT-NEXT: .local i32{{$}}
1078 ; OPT: block .LBB22_2{{$}}
1079 ; OPT: br_if $pop4, .LBB22_2{{$}}
1080 ; OPT-NEXT: return{{$}}
1081 ; OPT-NEXT: .LBB22_2:
1082 ; OPT: block .LBB22_4{{$}}
1083 ; OPT-NEXT: br_if $0, .LBB22_4{{$}}
1085 ; OPT: block .LBB22_5{{$}}
1086 ; OPT: br_if $pop6, .LBB22_5{{$}}
1087 ; OPT-NEXT: .LBB22_5:
1088 ; OPT-NEXT: unreachable{{$}}
1089 define void @test13() noinline optnone {
1091 br i1 undef, label %bb5, label %bb2
1095 br i1 undef, label %bb3, label %bb4
1099 %tmp = phi i1 [ false, %bb2 ], [ false, %bb3 ]
1100 br i1 %tmp, label %bb1, label %bb1