63 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<import-jscop;simplify-0>' -polly-print-simplify -polly-import-jscop-postfix=transformed -disable-output < %s | FileCheck %s -match-full-lines2;3; Map %phi to A[j], so the scalar write in Stmt_for_bodyA can be removed.4;5; for (int j = 0; j < n; j += 1) {6; bodyA:7; val = 21.0 + 21.0;8; A[j] = val;9;10; bodyB:11; B[j] = val;12; }13;14 15define void @sweep_mapped_phi(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {16entry:17 br label %for18 19for:20 %j = phi i32 [0, %entry], [%j.inc, %inc]21 %j.cmp = icmp slt i32 %j, %n22 br i1 %j.cmp, label %bodyA, label %exit23 24 bodyA:25 %val = fadd double 21.0, 21.026 %A_idx = getelementptr inbounds double, ptr %A, i32 %j27 store double %val, ptr %A_idx28 br label %bodyB29 30 bodyB:31 %phi = phi double [%val, %bodyA]32 %B_idx = getelementptr inbounds double, ptr %B, i32 %j33 store double %phi, ptr %B_idx34 br label %inc35 36inc:37 %j.inc = add nuw nsw i32 %j, 138 br label %for39 40exit:41 br label %return42 43return:44 ret void45}46 47 48; CHECK: Statistics {49; CHECK: Dead accesses removed: 150; CHECK: }51 52; CHECK: After accesses {53; CHECK-NEXT: Stmt_bodyA54; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]55; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_A[i0] };56; CHECK-NEXT: Stmt_bodyB57; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]58; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_phi__phi[] };59; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };60; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]61; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };62; CHECK-NEXT: }63