83 lines · plain
1; RUN: opt %loadNPMPolly -polly-optree-normalize-phi=true '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3; Rematerialize a load.4;5; for (int j = 0; j < n; j += 1) {6; bodyA:7; double val = B[j];8;9; bodyB:10; double phi = val;11;12; bodyC:13; A[j] = phi;14; }15;16define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {17entry:18 br label %for19 20for:21 %j = phi i32 [0, %entry], [%j.inc, %inc]22 %j.cmp = icmp slt i32 %j, %n23 br i1 %j.cmp, label %bodyA, label %exit24 25 bodyA:26 %B_idx = getelementptr inbounds double, ptr %B, i32 %j27 %val = load double, ptr %B_idx28 br label %bodyB29 30 bodyB:31 %phi = phi double [%val, %bodyA]32 br label %bodyC33 34 bodyC:35 %A_idx = getelementptr inbounds double, ptr %A, i32 %j36 store double %phi, ptr %A_idx37 br label %inc38 39inc:40 %j.inc = add nuw nsw i32 %j, 141 br label %for42 43exit:44 br label %return45 46return:47 ret void48}49 50 51; CHECK: Statistics {52; CHECK: Reloads: 253; CHECK: }54 55; CHECK-NEXT: After statements {56; CHECK-NEXT: Stmt_bodyA57; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]58; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_B[i0] };59; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]60; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_phi__phi[] };61; CHECK-NEXT: Instructions {62; CHECK-NEXT: %val = load double, ptr %B_idx, align 863; CHECK-NEXT: }64; CHECK-NEXT: Stmt_bodyB65; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]66; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_phi__phi[] };67; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };68; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]69; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_phi[] };70; CHECK-NEXT: Instructions {71; CHECK-NEXT: %phi = phi double [ %val, %bodyA ]72; CHECK-NEXT: }73; CHECK-NEXT: Stmt_bodyC74; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]75; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_A[i0] };76; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]77; CHECK-NEXT: [n] -> { Stmt_bodyC[i0] -> MemRef_phi[] };78; CHECK-NEXT: new: [n] -> { Stmt_bodyC[i0] -> MemRef_B[i0] };79; CHECK-NEXT: Instructions {80; CHECK-NEXT: store double %phi, ptr %A_idx, align 881; CHECK-NEXT: }82; CHECK-NEXT: }83