xref: /llvm-project/llvm/test/CodeGen/ARM/2013-05-05-IfConvertBug.ll (revision dc5436a3cb781aeceb510a41fcebcc5ce1459cba)
1; RUN: llc < %s -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 | FileCheck %s
2; rdar://13782395
3
4define i32 @t1(i32 %a, i32 %b, i8** %retaddr) {
5; CHECK: t1:
6; CHECK: Block address taken
7; CHECK-NOT: Address of block that was removed by CodeGen
8  store i8* blockaddress(@t1, %cond_true), i8** %retaddr
9  %tmp2 = icmp eq i32 %a, 0
10  br i1 %tmp2, label %cond_false, label %cond_true
11
12cond_true:
13  %tmp5 = add i32 %b, 1
14  ret i32 %tmp5
15
16cond_false:
17  %tmp7 = add i32 %b, -1
18  ret i32 %tmp7
19}
20
21define i32 @t2(i32 %a, i32 %b, i32 %c, i32 %d, i8** %retaddr) {
22; CHECK: t2:
23; CHECK: Block address taken
24; CHECK: %cond_true
25; CHECK: add
26; CHECK: bx lr
27  store i8* blockaddress(@t2, %cond_true), i8** %retaddr
28  %tmp2 = icmp sgt i32 %c, 10
29  %tmp5 = icmp slt i32 %d, 4
30  %tmp8 = and i1 %tmp5, %tmp2
31  %tmp13 = add i32 %b, %a
32  br i1 %tmp8, label %cond_true, label %UnifiedReturnBlock
33
34cond_true:
35  %tmp15 = add i32 %tmp13, %c
36  %tmp1821 = sub i32 %tmp15, %d
37  ret i32 %tmp1821
38
39UnifiedReturnBlock:
40  ret i32 %tmp13
41}
42
43define hidden fastcc void @t3(i8** %retaddr) {
44; CHECK: t3:
45; CHECK: Block address taken
46; CHECK-NOT: Address of block that was removed by CodeGen
47bb:
48  store i8* blockaddress(@t3, %KBBlockZero_return_1), i8** %retaddr
49  br i1 undef, label %bb77, label %bb7.i
50
51bb7.i:                                            ; preds = %bb35
52  br label %bb2.i
53
54KBBlockZero_return_1:                             ; preds = %KBBlockZero.exit
55  unreachable
56
57KBBlockZero_return_0:                             ; preds = %KBBlockZero.exit
58  unreachable
59
60bb77:                                             ; preds = %bb26, %bb12, %bb
61  ret void
62
63bb2.i:                                            ; preds = %bb6.i350, %bb7.i
64  br i1 undef, label %bb6.i350, label %KBBlockZero.exit
65
66bb6.i350:                                         ; preds = %bb2.i
67  br label %bb2.i
68
69KBBlockZero.exit:                                 ; preds = %bb2.i
70  indirectbr i8* undef, [label %KBBlockZero_return_1, label %KBBlockZero_return_0]
71}
72