121 lines · plain
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<delicm>' -polly-print-delicm -disable-output < %s | FileCheck %s -match-full-lines2;3; Reduction over parametric number of elements and a loopguard if the4; reduction loop is not executed at all, such that A[j] is also not accessed.5; Reduction variable promoted to register.6;7; void func(double *A) {8; for (int j = 0; j < 2; j += 1) { /* outer */9; if (i > 0) {10; double phi = A[j];11; for (int i = 0; i < n; i += 1) /* reduction */12; phi += 4.2;13; A[j] = phi;14; }15; }16; }17;18define void @func(i32 %n, ptr noalias nonnull %A) {19entry:20 br label %outer.preheader21 22outer.preheader:23 br label %outer.for24 25outer.for:26 %j = phi i32 [0, %outer.preheader], [%j.inc, %outer.inc]27 %j.cmp = icmp slt i32 %j, 228 br i1 %j.cmp, label %reduction.guard, label %outer.exit29 30 31 reduction.guard:32 %guard.cmp = icmp sle i32 %n,033 br i1 %guard.cmp, label %reduction.skip, label %reduction.preheader34 35 reduction.preheader:36 %A_idx = getelementptr inbounds double, ptr %A, i32 %j37 %init = load double, ptr %A_idx38 br label %reduction.for39 40 reduction.for:41 %i = phi i32 [0, %reduction.preheader], [%i.inc, %reduction.inc]42 %phi = phi double [%init, %reduction.preheader], [%add, %reduction.inc]43 br label %body44 45 46 47 body:48 %add = fadd double %phi, 4.249 br label %reduction.inc50 51 52 53 reduction.inc:54 %i.inc = add nuw nsw i32 %i, 155 %i.cmp = icmp slt i32 %i.inc, %n56 br i1 %i.cmp, label %reduction.for, label %reduction.exit57 58 reduction.exit:59 store double %add, ptr %A_idx60 br label %reduction.skip61 62 reduction.skip:63 br label %outer.inc64 65 66 67outer.inc:68 %j.inc = add nuw nsw i32 %j, 169 br label %outer.for70 71outer.exit:72 br label %return73 74return:75 ret void76}77 78 79; CHECK: Statistics {80; CHECK: Compatible overwrites: 181; CHECK: Overwrites mapped to: 182; CHECK: Value scalars mapped: 283; CHECK: PHI scalars mapped: 184; CHECK: }85 86; CHECK: After accesses {87; CHECK-NEXT: Stmt_reduction_preheader88; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]89; CHECK-NEXT: [n] -> { Stmt_reduction_preheader[i0] -> MemRef_A[i0] };90; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]91; CHECK-NEXT: [n] -> { Stmt_reduction_preheader[i0] -> MemRef_phi__phi[] };92; CHECK-NEXT: new: [n] -> { Stmt_reduction_preheader[i0] -> MemRef_A[i0] };93; CHECK-NEXT: Stmt_reduction_for94; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]95; CHECK-NEXT: [n] -> { Stmt_reduction_for[i0, i1] -> MemRef_phi__phi[] };96; CHECK-NEXT: new: [n] -> { Stmt_reduction_for[i0, i1] -> MemRef_A[i0] };97; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]98; CHECK-NEXT: [n] -> { Stmt_reduction_for[i0, i1] -> MemRef_phi[] };99; CHECK-NEXT: new: [n] -> { Stmt_reduction_for[i0, i1] -> MemRef_A[i0] };100; CHECK-NEXT: Stmt_body101; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]102; CHECK-NEXT: [n] -> { Stmt_body[i0, i1] -> MemRef_add[] };103; CHECK-NEXT: new: [n] -> { Stmt_body[i0, i1] -> MemRef_A[i0] };104; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]105; CHECK-NEXT: [n] -> { Stmt_body[i0, i1] -> MemRef_phi[] };106; CHECK-NEXT: new: [n] -> { Stmt_body[i0, i1] -> MemRef_A[i0] };107; CHECK-NEXT: Stmt_reduction_inc108; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]109; CHECK-NEXT: [n] -> { Stmt_reduction_inc[i0, i1] -> MemRef_add[] };110; CHECK-NEXT: new: [n] -> { Stmt_reduction_inc[i0, i1] -> MemRef_A[i0] };111; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]112; CHECK-NEXT: [n] -> { Stmt_reduction_inc[i0, i1] -> MemRef_phi__phi[] };113; CHECK-NEXT: new: [n] -> { Stmt_reduction_inc[i0, i1] -> MemRef_A[i0] : i1 <= -2 + n };114; CHECK-NEXT: Stmt_reduction_exit115; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]116; CHECK-NEXT: [n] -> { Stmt_reduction_exit[i0] -> MemRef_A[i0] };117; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]118; CHECK-NEXT: [n] -> { Stmt_reduction_exit[i0] -> MemRef_add[] };119; CHECK-NEXT: new: [n] -> { Stmt_reduction_exit[i0] -> MemRef_A[i0] };120; CHECK-NEXT: }121