1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
2target 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"
3
4; void foo(float *input) {
5;   for (int j = 0; j < 8; j++) {
6;     //SCoP begin
7;     for (int i = 0; i < 63; i++) {
8;       float x = input[j * 64 + i + 1];
9;       input[j * 64 + i + 0] = x * x;
10;     }
11;   }
12; }
13
14; CHECK  p0: {0,+,256}<%for.cond1.preheader>
15; CHECK-NOT: p1
16
17; CHECK: ReadAccess
18; CHECK:   [p_0] -> { Stmt_for_body3[i0] -> MemRef_input[1 + 64p_0 + i0] };
19; CHECK: MustWriteAccess
20; CHECK:   [p_0] -> { Stmt_for_body3[i0] -> MemRef_input[64p_0 + i0] };
21
22define void @foo(float* nocapture %input) {
23entry:
24  br label %for.cond1.preheader
25
26for.cond1.preheader:                              ; preds = %for.inc10, %entry
27  %j.021 = phi i64 [ 0, %entry ], [ %inc11, %for.inc10 ]
28  %mul = shl nsw i64 %j.021, 6
29  br label %for.body3
30
31for.body3:                                        ; preds = %for.body3, %for.cond1.preheader
32  %i.020 = phi i64 [ 0, %for.cond1.preheader ], [ %inc, %for.body3 ]
33  %add = add nsw i64 %i.020, %mul
34  %add4 = add nsw i64 %add, 1
35  %arrayidx = getelementptr inbounds float, float* %input, i64 %add4
36  %0 = load float, float* %arrayidx, align 8
37  %mul5 = fmul float %0, %0
38  %arrayidx9 = getelementptr inbounds float, float* %input, i64 %add
39  store float %mul5, float* %arrayidx9, align 8
40  %inc = add nsw i64 %i.020, 1
41  %exitcond = icmp eq i64 %inc, 63
42  br i1 %exitcond, label %for.inc10, label %for.body3
43
44for.inc10:                                        ; preds = %for.body3
45  %inc11 = add nsw i64 %j.021, 1
46  %exitcond22 = icmp eq i64 %inc11, 8
47  fence seq_cst
48  br i1 %exitcond22, label %for.end12, label %for.cond1.preheader
49
50for.end12:                                        ; preds = %for.inc10
51  ret void
52}
53