1 ; RUN: llc < %s -mtriple thumbv7s-apple-darwin -asm-verbose=false | FileCheck %s
4 declare i8* @bar(i32, i8*, i8*)
6 ; Verify that we don't try to iteratively re-ifconvert a block with a
7 ; (predicated) indirectbr terminator.
8 ; If we do, we would ignore its fallthrough successor.
12 ; CHECK: cmp {{.*}}, #21
15 ; CHECK-NEXT: moveq pc
16 ; CHECK-NEXT: LBB{{[0-9_]+}}:
17 ; CHECK-NEXT: cmp {{.*}}, #42
20 ; CHECK-NEXT: movne pc
23 ; CHECK-NEXT: movw r0, #1234
24 ; CHECK-NEXT: b [[FOOCALL:LBB[0-9_]+]]
26 ; CHECK-NEXT: LBB{{[0-9_]+}}:
27 ; CHECK-NEXT: movw r0, #4567
28 ; CHECK-NEXT: [[FOOCALL]]:
29 ; CHECK-NEXT: blx _foo
31 define i32 @test(i32 %a, i32 %a2, i32* %p, i32* %p2) {
33 %dst1 = call i8* @bar(i32 1, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
34 %dst2 = call i8* @bar(i32 2, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
35 %dst3 = call i8* @bar(i32 3, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
36 %cc1 = icmp eq i32 %a, 21
37 br i1 %cc1, label %cc1t, label %cc1f
41 indirectbr i8* %dst3, [label %bb1, label %bb2]
44 %cc2 = icmp ne i32 %a2, 42
45 br i1 %cc2, label %cc2t, label %bb1
47 store i32 %a, i32* %p2
48 indirectbr i8* %dst1, [label %bb1, label %bb2]
51 %ret_bb1 = call i32 @foo(i32 1234)
54 %ret_bb2 = call i32 @foo(i32 4567)