Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/LoopUnroll/partially-unroll-unconditional-latch.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -loop-unroll -unroll-allow-partial -S %s -verify-loop-info -verify-dom-info -verify-loop-lcssa | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 @table = internal unnamed_addr global [344 x i32] zeroinitializer, align 16
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 define i32 @test_partial_unroll_with_breakout_at_iter0() {
anatofuz
parents:
diff changeset
6 ; CHECK-LABEL: define i32 @test_partial_unroll_with_breakout_at_iter0() {
anatofuz
parents:
diff changeset
7 ; CHECK-LABEL: entry:
anatofuz
parents:
diff changeset
8 ; CHECK-NEXT: br label %for.header
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 ; CHECK-LABEL: for.header: ; preds = %for.latch.3, %entry
anatofuz
parents:
diff changeset
11 ; CHECK-NEXT: %red = phi i32 [ 0, %entry ], [ %red.next.3, %for.latch.3 ]
anatofuz
parents:
diff changeset
12 ; CHECK-NEXT: %iv = phi i64 [ 0, %entry ], [ %iv.next.3, %for.latch.3 ]
anatofuz
parents:
diff changeset
13 ; CHECK-NEXT: %red.next = add nuw nsw i32 10, %red
anatofuz
parents:
diff changeset
14 ; CHECK-NEXT: %iv.next = add nuw nsw i64 %iv, 2
anatofuz
parents:
diff changeset
15 ; CHECK-NEXT: %ptr = getelementptr inbounds [344 x i32], [344 x i32]* @table, i64 0, i64 %iv.next
anatofuz
parents:
diff changeset
16 ; CHECK-NEXT: store i32 %red.next, i32* %ptr, align 4
anatofuz
parents:
diff changeset
17 ; CHECK-NEXT: br label %for.latch
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 ; CHECK-LABEL: for.latch: ; preds = %for.header
anatofuz
parents:
diff changeset
20 ; CHECK-NEXT: %red.next.1 = add nuw nsw i32 10, %red.next
anatofuz
parents:
diff changeset
21 ; CHECK-NEXT: %iv.next.1 = add nuw nsw i64 %iv.next, 2
anatofuz
parents:
diff changeset
22 ; CHECK-NEXT: %ptr.1 = getelementptr inbounds [344 x i32], [344 x i32]* @table, i64 0, i64 %iv.next.1
anatofuz
parents:
diff changeset
23 ; CHECK-NEXT: store i32 %red.next.1, i32* %ptr.1, align 4
anatofuz
parents:
diff changeset
24 ; CHECK-NEXT: br label %for.latch.1
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 ; CHECK-LABEL: exit: ; preds = %for.latch.2
anatofuz
parents:
diff changeset
27 ; CHECK-NEXT: ret i32 0
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 ; CHECK-LABEL: for.latch.1: ; preds = %for.latch
anatofuz
parents:
diff changeset
30 ; CHECK-NEXT: %red.next.2 = add nuw nsw i32 10, %red.next.1
anatofuz
parents:
diff changeset
31 ; CHECK-NEXT: %iv.next.2 = add nuw nsw i64 %iv.next.1, 2
anatofuz
parents:
diff changeset
32 ; CHECK-NEXT: %ptr.2 = getelementptr inbounds [344 x i32], [344 x i32]* @table, i64 0, i64 %iv.next.2
anatofuz
parents:
diff changeset
33 ; CHECK-NEXT: store i32 %red.next.2, i32* %ptr.2, align 4
anatofuz
parents:
diff changeset
34 ; CHECK-NEXT: br label %for.latch.2
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 ; CHECK-LABEL: for.latch.2: ; preds = %for.latch.1
anatofuz
parents:
diff changeset
37 ; CHECK-NEXT: %red.next.3 = add nuw nsw i32 10, %red.next.2
anatofuz
parents:
diff changeset
38 ; CHECK-NEXT: %iv.next.3 = add nuw nsw i64 %iv.next.2, 2
anatofuz
parents:
diff changeset
39 ; CHECK-NEXT: %ptr.3 = getelementptr inbounds [344 x i32], [344 x i32]* @table, i64 0, i64 %iv.next.3
anatofuz
parents:
diff changeset
40 ; CHECK-NEXT: store i32 %red.next.3, i32* %ptr.3, align 4
anatofuz
parents:
diff changeset
41 ; CHECK-NEXT: %exitcond.1.i.3 = icmp eq i64 %iv.next.3, 344
anatofuz
parents:
diff changeset
42 ; CHECK-NEXT: br i1 %exitcond.1.i.3, label %exit, label %for.latch.3
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 ; CHECK-LABEL: for.latch.3: ; preds = %for.latch.2
anatofuz
parents:
diff changeset
45 ; CHECK-NEXT: br label %for.header
anatofuz
parents:
diff changeset
46 ;
anatofuz
parents:
diff changeset
47 entry:
anatofuz
parents:
diff changeset
48 br label %for.header
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 for.header: ; preds = %for.body28.i.for.body28.i_crit_edge, %for.body.i
anatofuz
parents:
diff changeset
51 %red = phi i32 [ 0, %entry ], [ %red.next, %for.latch ]
anatofuz
parents:
diff changeset
52 %iv = phi i64 [ 0, %entry ], [ %iv.next, %for.latch ]
anatofuz
parents:
diff changeset
53 %red.next = add i32 10, %red
anatofuz
parents:
diff changeset
54 %iv.next = add nuw nsw i64 %iv, 2
anatofuz
parents:
diff changeset
55 %ptr = getelementptr inbounds [344 x i32], [344 x i32]* @table, i64 0, i64 %iv.next
anatofuz
parents:
diff changeset
56 store i32 %red.next, i32* %ptr, align 4
anatofuz
parents:
diff changeset
57 %exitcond.1.i = icmp eq i64 %iv.next, 344
anatofuz
parents:
diff changeset
58 br i1 %exitcond.1.i, label %exit, label %for.latch
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 for.latch: ; preds = %for.header
anatofuz
parents:
diff changeset
61 br label %for.header
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 exit:
anatofuz
parents:
diff changeset
64 ret i32 0
anatofuz
parents:
diff changeset
65 }