Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/granularity_scalar-indep_ordered-2.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: 173
diff changeset
1 ; RUN: opt %loadPolly -polly-stmt-granularity=scalar-indep -polly-print-instructions -polly-print-scops -disable-output < %s | FileCheck %s -match-full-lines
150
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; This case should be split into two statements because {X[0], Y[0]}
anatofuz
parents:
diff changeset
4 ; and {A[0], B[0]} do not intersect.
anatofuz
parents:
diff changeset
5 ;
anatofuz
parents:
diff changeset
6 ;
anatofuz
parents:
diff changeset
7 ; for (int j = 0; j < n; j += 1) {
anatofuz
parents:
diff changeset
8 ; body:
anatofuz
parents:
diff changeset
9 ; double valX = X[0];
anatofuz
parents:
diff changeset
10 ; Y[0] = valX;
anatofuz
parents:
diff changeset
11 ; double valA = A[0];
anatofuz
parents:
diff changeset
12 ; double valB = B[0];
anatofuz
parents:
diff changeset
13 ; A[0] = valA;
anatofuz
parents:
diff changeset
14 ; A[0] = valB;
anatofuz
parents:
diff changeset
15 ; }
anatofuz
parents:
diff changeset
16 ;
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
17 define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B, ptr noalias nonnull %X, ptr noalias nonnull %Y) {
150
anatofuz
parents:
diff changeset
18 entry:
anatofuz
parents:
diff changeset
19 br label %for
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 for:
anatofuz
parents:
diff changeset
22 %j = phi i32 [0, %entry], [%j.inc, %inc]
anatofuz
parents:
diff changeset
23 %j.cmp = icmp slt i32 %j, %n
anatofuz
parents:
diff changeset
24 br i1 %j.cmp, label %body, label %exit
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 body:
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
27 %valX = load double, ptr %X
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
28 store double %valX, ptr %Y
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
29 %valA = load double, ptr %A
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
30 %valB = load double, ptr %B
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
31 store double %valA, ptr %A
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
32 store double %valB, ptr %A
150
anatofuz
parents:
diff changeset
33 br label %inc
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 inc:
anatofuz
parents:
diff changeset
36 %j.inc = add nuw nsw i32 %j, 1
anatofuz
parents:
diff changeset
37 br label %for
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 exit:
anatofuz
parents:
diff changeset
40 br label %return
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 return:
anatofuz
parents:
diff changeset
43 ret void
anatofuz
parents:
diff changeset
44 }
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 ; CHECK: Statements {
anatofuz
parents:
diff changeset
48 ; CHECK-NEXT: Stmt_body
anatofuz
parents:
diff changeset
49 ; CHECK-NEXT: Domain :=
anatofuz
parents:
diff changeset
50 ; CHECK-NEXT: [n] -> { Stmt_body[i0] : 0 <= i0 < n };
anatofuz
parents:
diff changeset
51 ; CHECK-NEXT: Schedule :=
anatofuz
parents:
diff changeset
52 ; CHECK-NEXT: [n] -> { Stmt_body[i0] -> [i0, 0] };
anatofuz
parents:
diff changeset
53 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
54 ; CHECK-NEXT: [n] -> { Stmt_body[i0] -> MemRef_X[0] };
anatofuz
parents:
diff changeset
55 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
56 ; CHECK-NEXT: [n] -> { Stmt_body[i0] -> MemRef_Y[0] };
anatofuz
parents:
diff changeset
57 ; CHECK-NEXT: Instructions {
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
58 ; CHECK-NEXT: %valX = load double, ptr %X, align 8
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
59 ; CHECK-NEXT: store double %valX, ptr %Y, align 8
150
anatofuz
parents:
diff changeset
60 ; CHECK-NEXT: }
anatofuz
parents:
diff changeset
61 ; CHECK-NEXT: Stmt_body_b
anatofuz
parents:
diff changeset
62 ; CHECK-NEXT: Domain :=
anatofuz
parents:
diff changeset
63 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] : 0 <= i0 < n };
anatofuz
parents:
diff changeset
64 ; CHECK-NEXT: Schedule :=
anatofuz
parents:
diff changeset
65 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> [i0, 1] };
anatofuz
parents:
diff changeset
66 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
67 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> MemRef_A[0] };
anatofuz
parents:
diff changeset
68 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
69 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> MemRef_B[0] };
anatofuz
parents:
diff changeset
70 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
71 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> MemRef_A[0] };
anatofuz
parents:
diff changeset
72 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
73 ; CHECK-NEXT: [n] -> { Stmt_body_b[i0] -> MemRef_A[0] };
anatofuz
parents:
diff changeset
74 ; CHECK-NEXT: Instructions {
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
75 ; CHECK-NEXT: %valA = load double, ptr %A, align 8
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
76 ; CHECK-NEXT: %valB = load double, ptr %B, align 8
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
77 ; CHECK-NEXT: store double %valA, ptr %A, align 8
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
78 ; CHECK-NEXT: store double %valB, ptr %A, align 8
150
anatofuz
parents:
diff changeset
79 ; CHECK-NEXT: }
anatofuz
parents:
diff changeset
80 ; CHECK-NEXT: }