82 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; memset(A, 0, 16);8; memset(B, 0, 16);9;10; bodyB:11; double val = B[j];12;13; bodyC:14; A[j] = val;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 call void @llvm.memset.p0.i64(ptr %A, i8 0, i64 16, i32 1, i1 false)31 call void @llvm.memset.p0.i64(ptr %B, i8 0, i64 16, i32 1, i1 false)32 br label %bodyB33 34 bodyB:35 %B_idx = getelementptr inbounds double, ptr %B, i32 %j36 %val = load double, ptr %B_idx37 br label %bodyC38 39 bodyC:40 %A_idx = getelementptr inbounds double, ptr %A, i32 %j41 store double %val, ptr %A_idx42 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 62; CHECK-NEXT: After statements {63; CHECK: Stmt_bodyB64; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]65; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_B[o0] : 8i0 <= o0 <= 7 + 8i0 };66; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]67; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_val[] };68; CHECK-NEXT: Instructions {69; CHECK-NEXT: %val = load double, ptr %B_idx, align 870; CHECK-NEXT: }71; CHECK-NEXT: Stmt_bodyC72; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]73; CHECK-NEXT: ;74; CHECK-NEXT: new: [n] -> { Stmt_bodyC[i0] -> MemRef_B[8i0] };75; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]76; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[o0] : 8i0 <= o0 <= 7 + 8i0 };77; CHECK-NEXT: Instructions {78; CHECK-NEXT: %val = load double, ptr %B_idx, align 879; CHECK-NEXT: store double %val, ptr %A_idx, align 880; CHECK-NEXT: }81; CHECK-NEXT: }82