73 lines · plain
1; RUN: opt %loadNPMPolly -aa-pipeline=basic-aa -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; void f(int N, int * restrict sums, int * restrict escape) {4; int i, j;5; for (i = 0; i < 1024; i++) {6; for (j = 0; j < 1024; j++) {7; sums[i] += 5;8; escape[N-j] = escape[i] + sums[i-1];9; }10; }11; }12;13; CHECK: Reduction Type: NONE14; CHECK: sums15; CHECK: Reduction Type: NONE16; CHECK: sums17; CHECK: Reduction Type: NONE18; CHECK: escape19; CHECK: Reduction Type: NONE20; CHECK: sums21; CHECK: Reduction Type: NONE22; CHECK: escape23target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"24 25define void @f(i32 %N, ptr noalias %sums, ptr noalias %escape) {26entry:27 br label %for.cond28 29for.cond: ; preds = %for.inc10, %entry30 %i.0 = phi i32 [ 0, %entry ], [ %inc11, %for.inc10 ]31 %exitcond1 = icmp ne i32 %i.0, 102432 br i1 %exitcond1, label %for.body, label %for.end1233 34for.body: ; preds = %for.cond35 br label %for.cond136 37for.cond1: ; preds = %for.inc, %for.body38 %j.0 = phi i32 [ 0, %for.body ], [ %inc, %for.inc ]39 %exitcond = icmp ne i32 %j.0, 102440 br i1 %exitcond, label %for.body3, label %for.end41 42for.body3: ; preds = %for.cond143 %arrayidx = getelementptr inbounds i32, ptr %sums, i32 %i.044 %tmp = load i32, ptr %arrayidx, align 445 %add = add nsw i32 %tmp, 546 store i32 %add, ptr %arrayidx, align 447 %arrayidx4 = getelementptr inbounds i32, ptr %escape, i32 %i.048 %tmp2 = load i32, ptr %arrayidx4, align 449 %sub = add nsw i32 %i.0, -150 %arrayidx5 = getelementptr inbounds i32, ptr %sums, i32 %sub51 %tmp3 = load i32, ptr %arrayidx5, align 452 %add6 = add nsw i32 %tmp2, %tmp353 %sub7 = sub nsw i32 %N, %i.054 %add8 = add nsw i32 %sub7, %j.055 %arrayidx9 = getelementptr inbounds i32, ptr %escape, i32 %add856 store i32 %add6, ptr %arrayidx9, align 457 br label %for.inc58 59for.inc: ; preds = %for.body360 %inc = add nsw i32 %j.0, 161 br label %for.cond162 63for.end: ; preds = %for.cond164 br label %for.inc1065 66for.inc10: ; preds = %for.end67 %inc11 = add nsw i32 %i.0, 168 br label %for.cond69 70for.end12: ; preds = %for.cond71 ret void72}73