1; RUN: opt %loadPolly -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines
2; RUN: opt %loadNPMPolly "-passes=scop(print<polly-optree>)" -disable-output < %s | FileCheck %s -match-full-lines
3;
4; Rematerialize a load.
5;
6; for (int j = 0; j < n; j += 1) {
7; bodyA:
8;   double val = B[j];
9;
10; bodyB:
11;   A[j] = val;
12; }
13;
14define void @func(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B) {
15entry:
16  br label %for
17
18for:
19  %j = phi i32 [0, %entry], [%j.inc, %inc]
20  %j.cmp = icmp slt i32 %j, %n
21  br i1 %j.cmp, label %bodyA, label %exit
22
23    bodyA:
24      %B_idx = getelementptr inbounds double, double* %B, i32 %j
25      %val = load double, double* %B_idx
26      br label %bodyB
27
28    bodyB:
29      %A_idx = getelementptr inbounds double, double* %A, i32 %j
30      store double %val, double* %A_idx
31      br label %inc
32
33inc:
34  %j.inc = add nuw nsw i32 %j, 1
35  br label %for
36
37exit:
38  br label %return
39
40return:
41  ret void
42}
43
44
45; CHECK: Statistics {
46; CHECK:     Known loads forwarded: 1
47; CHECK:     Operand trees forwarded: 1
48; CHECK:     Statements with forwarded operand trees: 1
49; CHECK: }
50
51; CHECK:      Stmt_bodyB
52; CHECK-NEXT:         ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
53; CHECK-NEXT:             ;
54; CHECK-NEXT:        new: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };
55; CHECK-NEXT:         MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
56; CHECK-NEXT:             [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };
57; CHECK-NEXT:         Instructions {
58; CHECK-NEXT:               %val = load double, double* %B_idx, align 8
59; CHECK-NEXT:               store double %val, double* %A_idx, align 8
60; CHECK-NEXT:         }
61