61 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3; Rematerialize a load in the presence of a non-store WRITE access.4;5; for (int j = 0; j < n; j += 1) {6; bodyA:7; double val = B[j];8;9; bodyB:10; A[j] = val;11;12; bodyC:13; memset(A, 0, 16);14; memset(B, 0, 16);15; }16;17 18declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i32, i1)19 20define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {21entry:22 br label %for23 24for:25 %j = phi i32 [0, %entry], [%j.inc, %inc]26 %j.cmp = icmp slt i32 %j, %n27 br i1 %j.cmp, label %bodyA, label %exit28 29 bodyA:30 %B_idx = getelementptr inbounds double, ptr %B, i32 %j31 %val = load double, ptr %B_idx32 br label %bodyB33 34 bodyB:35 %A_idx = getelementptr inbounds double, ptr %A, i32 %j36 store double %val, ptr %A_idx37 br label %bodyC38 39 bodyC:40 call void @llvm.memset.p0.i64(ptr %A, i8 0, i64 16, i32 1, i1 false)41 call void @llvm.memset.p0.i64(ptr %B, i8 0, i64 16, i32 1, i1 false)42 br label %inc43 44inc:45 %j.inc = add nuw nsw i32 %j, 146 br label %for47 48exit:49 br label %return50 51return:52 ret void53}54 55 56; CHECK: Statistics {57; CHECK: Known loads forwarded: 158; CHECK: Operand trees forwarded: 159; CHECK: Statements with forwarded operand trees: 160; CHECK: }61