1; RUN: opt %loadPolly -polly-stmt-granularity=bb -polly-print-simplify -disable-output < %s | FileCheck %s -match-full-lines
2; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb "-passes=scop(print<polly-simplify>)" -disable-output -aa-pipeline=basic-aa < %s | FileCheck %s -match-full-lines
3;
4; Remove a dead PHI write/read pair
5; (accesses that are effectively not used)
6;
7; for (int j = 0; j < n; j += 1) {
8; body:
9;   double phi = 42;
10;
11; body_succ:
12;   A[0] = 42.0;
13; }
14;
15define void @func(i32 %n, double* noalias nonnull %A) {
16entry:
17  br label %for
18
19for:
20  %j = phi i32 [0, %entry], [%j.inc, %inc]
21  %j.cmp = icmp slt i32 %j, %n
22  br i1 %j.cmp, label %body, label %exit
23
24    body:
25      br label %body_succ
26
27    body_succ:
28      %phi = phi double [42.0, %body]
29      store double 42.0, double* %A
30      br label %inc
31
32inc:
33  %j.inc = add nuw nsw i32 %j, 1
34  br label %for
35
36exit:
37  br label %return
38
39return:
40  ret void
41}
42
43
44; CHECK: Statistics {
45; CHECK:     Dead accesses removed: 2
46; CHECK:     Dead instructions removed: 1
47; CHECK:     Stmts removed: 1
48; CHECK: }
49
50; CHECK:      After accesses {
51; CHECK-NEXT:     Stmt_body_succ
52; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
53; CHECK-NEXT:                 [n] -> { Stmt_body_succ[i0] -> MemRef_A[0] };
54; CHECK-NEXT: }
55