1; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-simplify -analyze < %s | FileCheck %s -match-full-lines
2;
3; Remove a redundant store, if its partial domain is a subset of the
4; read's domain.
5;
6define void @redundant_partialwrite(i32 %n, double* noalias nonnull %A) {
7entry:
8  br label %for
9
10for:
11  %j = phi i32 [0, %entry], [%j.inc, %inc]
12  %j.cmp = icmp slt i32 %j, %n
13  br i1 %j.cmp, label %body, label %exit
14
15    body:
16      %val = load double, double* %A
17      store double %val, double* %A
18      br label %inc
19
20inc:
21  %j.inc = add nuw nsw i32 %j, 1
22  br label %for
23
24exit:
25  br label %return
26
27return:
28  ret void
29}
30
31
32; Check successful import.
33; CHECK:    new: [n] -> { Stmt_body[i0] -> MemRef_A[0] : i0 <= 15 };
34
35; CHECK: Statistics {
36; CHECK:     Redundant writes removed: 1
37; CHECK: }
38
39; CHECK:      After accesses {
40; CHECK-NEXT: }
41