Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/multidim_nested_start_integer.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 %loadPolly -polly-scops -analyze < %s | FileCheck %s
anatofuz
parents:
diff changeset
2 ; RUN: opt %loadPolly -polly-function-scops -analyze < %s | FileCheck %s
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-S128"
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 ; void foo(long n, long m, long o, double A[n][m][o]) {
anatofuz
parents:
diff changeset
6 ; for (long i = 0; i < n - 3; i++)
anatofuz
parents:
diff changeset
7 ; for (long j = 4; j < m; j++)
anatofuz
parents:
diff changeset
8 ; for (long k = 0; k < o - 7; k++)
anatofuz
parents:
diff changeset
9 ; A[i+3][j-4][k+7] = 1.0;
anatofuz
parents:
diff changeset
10 ; }
anatofuz
parents:
diff changeset
11 ;
anatofuz
parents:
diff changeset
12 ; CHECK: Assumed Context:
anatofuz
parents:
diff changeset
13 ; CHECK-NEXT: [o, m, n] -> { : }
anatofuz
parents:
diff changeset
14 ;
anatofuz
parents:
diff changeset
15 ; CHECK: p0: %o
anatofuz
parents:
diff changeset
16 ; CHECK-NEXT: p1: %m
anatofuz
parents:
diff changeset
17 ; CHECK-NEXT: p2: %n
anatofuz
parents:
diff changeset
18 ; CHECK-NOT: p3
anatofuz
parents:
diff changeset
19 ;
anatofuz
parents:
diff changeset
20 ; CHECK: Statements {
anatofuz
parents:
diff changeset
21 ; CHECK-NEXT: Stmt_for_k
anatofuz
parents:
diff changeset
22 ; CHECK-NEXT: Domain :=
anatofuz
parents:
diff changeset
23 ; CHECK-NEXT: [o, m, n] -> { Stmt_for_k[i0, i1, i2] : 0 <= i0 <= -4 + n and 0 <= i1 <= -5 + m and 0 <= i2 <= -8 + o };
anatofuz
parents:
diff changeset
24 ; CHECK-NEXT: Schedule :=
anatofuz
parents:
diff changeset
25 ; CHECK-NEXT: [o, m, n] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
anatofuz
parents:
diff changeset
26 ; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
anatofuz
parents:
diff changeset
27 ; CHECK-NEXT: [o, m, n] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] };
anatofuz
parents:
diff changeset
28 ; CHECK-NEXT: }
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 define void @foo(i64 %n, i64 %m, i64 %o, double* %A) {
anatofuz
parents:
diff changeset
31 entry:
anatofuz
parents:
diff changeset
32 br label %for.i
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 for.i:
anatofuz
parents:
diff changeset
35 %i = phi i64 [ 0, %entry ], [ %i.inc, %for.i.inc ]
anatofuz
parents:
diff changeset
36 br label %for.j
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 for.j:
anatofuz
parents:
diff changeset
39 %j = phi i64 [ 4, %for.i ], [ %j.inc, %for.j.inc ]
anatofuz
parents:
diff changeset
40 br label %for.k
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 for.k:
anatofuz
parents:
diff changeset
43 %k = phi i64 [ 0, %for.j ], [ %k.inc, %for.k.inc ]
anatofuz
parents:
diff changeset
44 %offset0 = add nsw i64 %i, 3
anatofuz
parents:
diff changeset
45 %subscript0 = mul i64 %offset0, %m
anatofuz
parents:
diff changeset
46 %offset1 = add nsw i64 %j, -4
anatofuz
parents:
diff changeset
47 %subscript1 = add i64 %offset1, %subscript0
anatofuz
parents:
diff changeset
48 %subscript2 = mul i64 %subscript1, %o
anatofuz
parents:
diff changeset
49 %offset2 = add nsw i64 %k, 7
anatofuz
parents:
diff changeset
50 %subscript = add i64 %subscript2, %offset2
anatofuz
parents:
diff changeset
51 %idx = getelementptr inbounds double, double* %A, i64 %subscript
anatofuz
parents:
diff changeset
52 store double 1.0, double* %idx
anatofuz
parents:
diff changeset
53 br label %for.k.inc
anatofuz
parents:
diff changeset
54
anatofuz
parents:
diff changeset
55 for.k.inc:
anatofuz
parents:
diff changeset
56 %k.inc = add nsw i64 %k, 1
anatofuz
parents:
diff changeset
57 %osub = sub nsw i64 %o, 7
anatofuz
parents:
diff changeset
58 %k.exitcond = icmp eq i64 %k.inc, %osub
anatofuz
parents:
diff changeset
59 br i1 %k.exitcond, label %for.j.inc, label %for.k
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 for.j.inc:
anatofuz
parents:
diff changeset
62 %j.inc = add nsw i64 %j, 1
anatofuz
parents:
diff changeset
63 %j.exitcond = icmp eq i64 %j.inc, %m
anatofuz
parents:
diff changeset
64 br i1 %j.exitcond, label %for.i.inc, label %for.j
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 for.i.inc:
anatofuz
parents:
diff changeset
67 %i.inc = add nsw i64 %i, 1
anatofuz
parents:
diff changeset
68 %nsub = sub nsw i64 %n, 3
anatofuz
parents:
diff changeset
69 %i.exitcond = icmp eq i64 %i.inc, %nsub
anatofuz
parents:
diff changeset
70 br i1 %i.exitcond, label %end, label %for.i
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 end:
anatofuz
parents:
diff changeset
73 ret void
anatofuz
parents:
diff changeset
74 }