1 ; RUN: opt %loadPolly -polly-optree -analyze < %s | FileCheck %s -match-full-lines
3 ; Rematerialize a load in the presence of a non-store WRITE access.
5 ; for (int j = 0; j < n; j += 1) {
18 declare void @llvm.memset.p0f64.i64(double* nocapture, i8, i64, i32, i1)
20 define void @func(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B) {
25 %j = phi i32 [0, %entry], [%j.inc, %inc]
26 %j.cmp = icmp slt i32 %j, %n
27 br i1 %j.cmp, label %bodyA, label %exit
30 %B_idx = getelementptr inbounds double, double* %B, i32 %j
31 %val = load double, double* %B_idx
35 %A_idx = getelementptr inbounds double, double* %A, i32 %j
36 store double %val, double* %A_idx
40 call void @llvm.memset.p0f64.i64(double* %A, i8 0, i64 16, i32 1, i1 false)
41 call void @llvm.memset.p0f64.i64(double* %B, i8 0, i64 16, i32 1, i1 false)
45 %j.inc = add nuw nsw i32 %j, 1
57 ; CHECK: Known loads forwarded: 1
58 ; CHECK: Operand trees forwarded: 1
59 ; CHECK: Statements with forwarded operand trees: 1