source: icGREP/icgrep-devel/llvm-3.8.0.src/test/CodeGen/ARM/ifcvt-iter-indbr.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 1.9 KB
Line 
1; RUN: llc < %s -mtriple thumbv7s-apple-darwin  -asm-verbose=false | FileCheck %s
2; RUN: llc < %s -mtriple thumbv7s-apple-darwin  -asm-verbose=false -print-machineinstrs=if-converter 2>&1 | FileCheck --check-prefix=CHECK-PROB %s
3
4declare i32 @foo(i32)
5declare i8* @bar(i32, i8*, i8*)
6
7; Verify that we don't try to iteratively re-ifconvert a block with a
8; (predicated) indirectbr terminator.
9; If we do, we would ignore its fallthrough successor.
10
11
12; CHECK-LABEL: test:
13; CHECK:       cmp {{.*}}, #21
14; CHECK-NEXT:  itt eq
15; CHECK-NEXT:  streq.w
16; CHECK-NEXT:  moveq pc
17; CHECK-NEXT: LBB{{[0-9_]+}}:
18; CHECK-NEXT:  cmp {{.*}}, #42
19; CHECK-NEXT:  itt ne
20; CHECK-NEXT:  strne.w
21; CHECK-NEXT:  movne pc
22; CHECK-NEXT: Ltmp
23; CHECK-NEXT: LBB0_2:
24; CHECK-NEXT:  movw r0, #1234
25; CHECK-NEXT:  b [[FOOCALL:LBB[0-9_]+]]
26; CHECK-NEXT: Ltmp
27; CHECK-NEXT: LBB{{[0-9_]+}}:
28; CHECK-NEXT:  movw r0, #4567
29; CHECK-NEXT: [[FOOCALL]]:
30; CHECK-NEXT:  blx _foo
31;
32; CHECK-PROB: BB#0:
33; CHECK-PROB: Successors according to CFG: BB#1({{[0-9a-fx/= ]+}}50.00%) BB#2({{[0-9a-fx/= ]+}}25.00%) BB#4({{[0-9a-fx/= ]+}}25.00%)
34; CHECK-PROB: BB#1:
35; CHECK-PROB: Successors according to CFG: BB#2({{[0-9a-fx/= ]+}}75.00%) BB#4({{[0-9a-fx/= ]+}}25.00%)
36
37define i32 @test(i32 %a, i32 %a2, i32* %p, i32* %p2) {
38entry:
39  %dst1 = call i8* @bar(i32 1, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
40  %dst2 = call i8* @bar(i32 2, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
41  %dst3 = call i8* @bar(i32 3, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
42  %cc1 = icmp eq i32 %a, 21
43  br i1 %cc1, label %cc1t, label %cc1f
44
45cc1t:
46  store i32 %a, i32* %p
47  indirectbr i8* %dst3, [label %bb1, label %bb2]
48
49cc1f:
50  %cc2 = icmp ne i32 %a2, 42
51  br i1 %cc2, label %cc2t, label %bb1
52cc2t:
53  store i32 %a, i32* %p2
54  indirectbr i8* %dst1, [label %bb1, label %bb2]
55
56bb1:
57  %ret_bb1 = call i32 @foo(i32 1234)
58  ret i32 %ret_bb1
59bb2:
60  %ret_bb2 = call i32 @foo(i32 4567)
61  ret i32 %ret_bb2
62}
Note: See TracBrowser for help on using the repository browser.