Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/HardwareLoops/unconditional-latch.ll @ 201:a96fbbdf2d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -force-hardware-loops=true -hardware-loop-decrement=1 -hardware-loop-counter-bitwidth=32 -hardware-loops -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ALLOW
anatofuz
parents:
diff changeset
2 ; RUN: opt -force-hardware-loops=true -hardware-loop-decrement=1 -hardware-loop-counter-bitwidth=32 -hardware-loops -force-hardware-loop-guard=true -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ALLOW
anatofuz
parents:
diff changeset
3 ; RUN: opt -force-hardware-loops=true -hardware-loop-decrement=1 -hardware-loop-counter-bitwidth=32 -force-hardware-loop-phi=true -hardware-loops -S %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-LATCH
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 ; CHECK-LABEL: not_rotated
anatofuz
parents:
diff changeset
6 ; CHECK-LATCH-NOT: call void @llvm.set.loop.iterations
anatofuz
parents:
diff changeset
7 ; CHECK-LATCH-NOT: call i1 @llvm.loop.decrement
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 ; CHECK-ALLOW: bb:
anatofuz
parents:
diff changeset
10 ; CHECK-ALLOW: [[COUNT:%[^ ]+]] = add i32 %arg, 1
anatofuz
parents:
diff changeset
11 ; CHECK-ALLOW: br label %bb3
anatofuz
parents:
diff changeset
12 ; CHECK-ALLOW: bb5:
anatofuz
parents:
diff changeset
13 ; CHECK-ALLOW: call void @llvm.set.loop.iterations.i32(i32 [[COUNT]])
anatofuz
parents:
diff changeset
14 ; CHECK-ALLOW: br label %bb7
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 ; CHECK-ALLOW: [[CMP:%[^ ]+]] = call i1 @llvm.loop.decrement.i32(i32 1)
anatofuz
parents:
diff changeset
17 ; CHECK-ALLOW: br i1 [[CMP]], label %bb10, label %bb16
anatofuz
parents:
diff changeset
18 define void @not_rotated(i32 %arg, i16* nocapture %arg1, i16 signext %arg2) {
anatofuz
parents:
diff changeset
19 bb:
anatofuz
parents:
diff changeset
20 br label %bb3
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 bb3: ; preds = %bb16, %bb
anatofuz
parents:
diff changeset
23 %tmp = phi i32 [ 0, %bb ], [ %tmp17, %bb16 ]
anatofuz
parents:
diff changeset
24 %tmp4 = icmp eq i32 %tmp, %arg
anatofuz
parents:
diff changeset
25 br i1 %tmp4, label %bb18, label %bb5
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 bb5: ; preds = %bb3
anatofuz
parents:
diff changeset
28 %tmp6 = mul i32 %tmp, %arg
anatofuz
parents:
diff changeset
29 br label %bb7
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 bb7: ; preds = %bb10, %bb5
anatofuz
parents:
diff changeset
32 %tmp8 = phi i32 [ %tmp15, %bb10 ], [ 0, %bb5 ]
anatofuz
parents:
diff changeset
33 %tmp9 = icmp eq i32 %tmp8, %arg
anatofuz
parents:
diff changeset
34 br i1 %tmp9, label %bb16, label %bb10
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 bb10: ; preds = %bb7
anatofuz
parents:
diff changeset
37 %tmp11 = add i32 %tmp8, %tmp6
anatofuz
parents:
diff changeset
38 %tmp12 = getelementptr inbounds i16, i16* %arg1, i32 %tmp11
anatofuz
parents:
diff changeset
39 %tmp13 = load i16, i16* %tmp12, align 2
anatofuz
parents:
diff changeset
40 %tmp14 = add i16 %tmp13, %arg2
anatofuz
parents:
diff changeset
41 store i16 %tmp14, i16* %tmp12, align 2
anatofuz
parents:
diff changeset
42 %tmp15 = add i32 %tmp8, 1
anatofuz
parents:
diff changeset
43 br label %bb7
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 bb16: ; preds = %bb7
anatofuz
parents:
diff changeset
46 %tmp17 = add i32 %tmp, 1
anatofuz
parents:
diff changeset
47 br label %bb3
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 bb18: ; preds = %bb3
anatofuz
parents:
diff changeset
50 ret void
anatofuz
parents:
diff changeset
51 }