62 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s | FileCheck %s2;3; CHECK: Reduction Type: +4; CHECK: MemRef_sum5; CHECK: Reduction Type: NONE6; CHECK: MemRef_A7; CHECK: Reduction Type: +8; CHECK: MemRef_sum9; CHECK-NOT: MemRef_A10;11; void f(int *restrict sum, int *restrict A) {12; for (int i = 0; i < 1024; i++)13; *sum = (A[i + 3] * (i - 14)) + ((A[i] + *sum + A[0]) + A[1023]) +14; (A[i + 2] * A[i - 1]);15; }16;17target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"18 19define void @f(i32* noalias %sum, i32* noalias %A) {20entry:21 br label %for.cond22 23for.cond: ; preds = %for.inc, %entry24 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]25 %exitcond = icmp ne i32 %i.0, 102426 br i1 %exitcond, label %for.body, label %for.end27 28for.body: ; preds = %for.cond29 %add = add nsw i32 %i.0, 330 %arrayidx = getelementptr inbounds i32, i32* %A, i32 %add31 %tmp = load i32, i32* %arrayidx, align 432 %sub = add nsw i32 %i.0, -1433 %mul = mul nsw i32 %tmp, %sub34 %arrayidx1 = getelementptr inbounds i32, i32* %A, i32 %i.035 %tmp1 = load i32, i32* %arrayidx1, align 436 %tmp2 = load i32, i32* %sum, align 437 %add2 = add nsw i32 %tmp1, %tmp238 %tmp3 = load i32, i32* %A, align 439 %add4 = add nsw i32 %add2, %tmp340 %arrayidx5 = getelementptr inbounds i32, i32* %A, i32 102341 %tmp4 = load i32, i32* %arrayidx5, align 442 %add6 = add nsw i32 %add4, %tmp443 %add7 = add nsw i32 %mul, %add644 %add8 = add nsw i32 %i.0, 245 %arrayidx9 = getelementptr inbounds i32, i32* %A, i32 %add846 %tmp5 = load i32, i32* %arrayidx9, align 447 %sub10 = add nsw i32 %i.0, -148 %arrayidx11 = getelementptr inbounds i32, i32* %A, i32 %sub1049 %tmp6 = load i32, i32* %arrayidx11, align 450 %mul12 = mul nsw i32 %tmp5, %tmp651 %add13 = add nsw i32 %add7, %mul1252 store i32 %add13, i32* %sum, align 453 br label %for.inc54 55for.inc: ; preds = %for.body56 %inc = add nsw i32 %i.0, 157 br label %for.cond58 59for.end: ; preds = %for.cond60 ret void61}62