xref: /llvm-project/polly/test/Simplify/dead_access_load.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed) 
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb "-passes=scop(print<polly-simplify>)" -disable-output -aa-pipeline=basic-aa < %s | FileCheck %s -match-full-lines
2;
3; Remove a dead load-instruction
4; (an load whose result is not used anywhere)
5;
6; for (int j = 0; j < n; j += 1) {
7;   double val = A[0];
8;   A[0] = 42.0;
9; }
10;
11define void @func(i32 %n, ptr noalias nonnull %A) {
12entry:
13  br label %for
14
15for:
16  %j = phi i32 [0, %entry], [%j.inc, %inc]
17  %j.cmp = icmp slt i32 %j, %n
18  br i1 %j.cmp, label %body, label %exit
19
20    body:
21      %val = load double, ptr %A
22      store double 42.0, ptr %A
23      br label %inc
24
25inc:
26  %j.inc = add nuw nsw i32 %j, 1
27  br label %for
28
29exit:
30  br label %return
31
32return:
33  ret void
34}
35
36
37; CHECK: Statistics {
38; CHECK:     Dead accesses removed: 1
39; CHECK:     Dead instructions removed: 1
40; CHECK: }
41
42; CHECK:      After accesses {
43; CHECK-NEXT:     Stmt_body
44; CHECK-NEXT:             MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
45; CHECK-NEXT:                 [n] -> { Stmt_body[i0] -> MemRef_A[0] };
46; CHECK-NEXT: }
47