Mercurial > hg > CbC > CbC_llvm

annotate polly/test/DeadCodeElimination/dead_iteration_elimination.ll @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
1 ; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-dce -polly-dce-precise-steps=2 -polly-print-ast -disable-output < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
2 ; RUN: opt -S %loadNPMPolly "-passes=scop(polly-dce,print<polly-ast>)" -polly-dependences-analysis-type=value-based -polly-dce-precise-steps=2 < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
anatofuz
parents:
diff changeset
4 ;
anatofuz
parents:
diff changeset
5 ; for(i = 0; i < 200; i++ )
anatofuz
parents:
diff changeset
6 ; A[i] = 2;
anatofuz
parents:
diff changeset
7 ;
anatofuz
parents:
diff changeset
8 ; for (i = 0; i < 50; i++ )
anatofuz
parents:
diff changeset
9 ; A[i] = 5;
anatofuz
parents:
diff changeset
10 ;
anatofuz
parents:
diff changeset
11 ; for (i = 0; i < 70; i++ )
anatofuz
parents:
diff changeset
12 ; A[i] = A[i] + 5;
anatofuz
parents:
diff changeset
13 ;
anatofuz
parents:
diff changeset
14 ; for (i = 100; i < 110; i++ )
anatofuz
parents:
diff changeset
15 ; A[i] = i;
anatofuz
parents:
diff changeset
16 ;
anatofuz
parents:
diff changeset
17 define void @main() nounwind uwtable {
anatofuz
parents:
diff changeset
18 entry:
anatofuz
parents:
diff changeset
19 %A = alloca [200 x i32], align 16
anatofuz
parents:
diff changeset
20 br label %for.body.1
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 for.body.1:
anatofuz
parents:
diff changeset
23 %indvar.1 = phi i64 [ 0, %entry ], [ %indvar.next.1, %for.body.1 ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
24 %arrayidx.1 = getelementptr [200 x i32], ptr %A, i64 0, i64 %indvar.1
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
25 store i32 2, ptr %arrayidx.1, align 4
150
anatofuz
parents:
diff changeset
26 %indvar.next.1 = add i64 %indvar.1, 1
anatofuz
parents:
diff changeset
27 %exitcond.1 = icmp ne i64 %indvar.next.1, 200
anatofuz
parents:
diff changeset
28 br i1 %exitcond.1, label %for.body.1, label %exit.1
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 exit.1:
anatofuz
parents:
diff changeset
31 br label %for.body.2
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 for.body.2:
anatofuz
parents:
diff changeset
34 %indvar.2 = phi i64 [ 0, %exit.1 ], [ %indvar.next.2, %for.body.2 ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
35 %arrayidx.2 = getelementptr [200 x i32], ptr %A, i64 0, i64 %indvar.2
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
36 store i32 5, ptr %arrayidx.2, align 4
150
anatofuz
parents:
diff changeset
37 %indvar.next.2 = add i64 %indvar.2, 1
anatofuz
parents:
diff changeset
38 %exitcond.2 = icmp ne i64 %indvar.next.2, 50
anatofuz
parents:
diff changeset
39 br i1 %exitcond.2, label %for.body.2, label %exit.2
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 exit.2:
anatofuz
parents:
diff changeset
42 br label %for.body.3
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 for.body.3:
anatofuz
parents:
diff changeset
45 %indvar.3 = phi i64 [ 0, %exit.2 ], [ %indvar.next.3, %for.body.3 ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
46 %arrayidx.3 = getelementptr [200 x i32], ptr %A, i64 0, i64 %indvar.3
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
47 %val = load i32, ptr %arrayidx.3, align 4
150
anatofuz
parents:
diff changeset
48 %add = add nsw i32 %val, 5
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
49 store i32 %add, ptr %arrayidx.3, align 4
150
anatofuz
parents:
diff changeset
50 %indvar.next.3 = add i64 %indvar.3, 1
anatofuz
parents:
diff changeset
51 %exitcond.3 = icmp ne i64 %indvar.next.3, 70
anatofuz
parents:
diff changeset
52 br i1 %exitcond.3, label %for.body.3 , label %exit.3
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 exit.3:
anatofuz
parents:
diff changeset
55 br label %for.body.4
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 for.body.4:
anatofuz
parents:
diff changeset
58 %indvar.4 = phi i64 [ 0, %exit.3 ], [ %indvar.next.4, %for.body.4 ]
anatofuz
parents:
diff changeset
59 %indvar.plus = add i64 %indvar.4, 100
anatofuz
parents:
diff changeset
60 %trunc = trunc i64 %indvar.plus to i32
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
61 %arrayidx.4 = getelementptr [200 x i32], ptr %A, i64 0, i64 %indvar.plus
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
62 store i32 %trunc, ptr %arrayidx.4, align 4
150
anatofuz
parents:
diff changeset
63 %indvar.next.4 = add i64 %indvar.4, 1
anatofuz
parents:
diff changeset
64 %exitcond.4 = icmp ne i64 %indvar.next.4, 10
anatofuz
parents:
diff changeset
65 br i1 %exitcond.4, label %for.body.4, label %exit.4
anatofuz
parents:
diff changeset
66
anatofuz
parents:
diff changeset
67 exit.4:
anatofuz
parents:
diff changeset
68 ret void
anatofuz
parents:
diff changeset
69 }
anatofuz
parents:
diff changeset
70
anatofuz
parents:
diff changeset
71 ; CHECK: for (int c0 = 50; c0 <= 99; c0 += 1)
anatofuz
parents:
diff changeset
72 ; CHECK: Stmt_for_body_1(c0);
anatofuz
parents:
diff changeset
73 ; CHECK: for (int c0 = 110; c0 <= 199; c0 += 1)
anatofuz
parents:
diff changeset
74 ; CHECK: Stmt_for_body_1(c0);
anatofuz
parents:
diff changeset
75 ; CHECK: for (int c0 = 0; c0 <= 49; c0 += 1)
anatofuz
parents:
diff changeset
76 ; CHECK: Stmt_for_body_2(c0);
anatofuz
parents:
diff changeset
77 ; CHECK: for (int c0 = 0; c0 <= 69; c0 += 1)
anatofuz
parents:
diff changeset
78 ; CHECK: Stmt_for_body_3(c0);
anatofuz
parents:
diff changeset
79 ; CHECK: for (int c0 = 0; c0 <= 9; c0 += 1)