80 lines · plain
1; RUN: opt -aa-pipeline=basic-aa %loadNPMPolly '-passes=polly-custom<deps>' -polly-print-deps -disable-output < %s | FileCheck %s2; RUN: opt -aa-pipeline=basic-aa %loadNPMPolly '-passes=polly-custom<deps>' -polly-print-deps -polly-dependences-analysis-level=reference-wise -disable-output < %s | FileCheck %s3; RUN: opt -aa-pipeline=basic-aa %loadNPMPolly '-passes=polly-custom<deps>' -polly-print-deps -polly-dependences-analysis-level=access-wise -disable-output < %s | FileCheck %s4;5; Verify that only the inner reduction like accesses cause reduction dependences6;7; CHECK: Reduction dependences:8; CHECK-NEXT: { Stmt_for_body3[i0, i1] -> Stmt_for_body3[i0, 1 + i1] : 0 <= i0 <= 99 and 0 <= i1 <= 98 }9;10; void f(int * restrict A, int * restrict sum) {11; int i, j, k;12; for (i = 0; i < 100; i++) {13; *sum *= 7;14; for (j = 0; j < 100; j++) {15; *sum += A[i+j];16; for (k = 0; k< 100; k++) {}17; }18; }19; }20target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"21 22define void @f(ptr noalias %A, ptr noalias %sum) {23entry:24 br label %for.cond25 26for.cond: ; preds = %for.inc11, %entry27 %i.0 = phi i32 [ 0, %entry ], [ %inc12, %for.inc11 ]28 %exitcond2 = icmp ne i32 %i.0, 10029 br i1 %exitcond2, label %for.body, label %for.end1330 31for.body: ; preds = %for.cond32 %tmp = load i32, ptr %sum, align 433 %mul = mul nsw i32 %tmp, 734 store i32 %mul, ptr %sum, align 435 br label %for.cond136 37for.cond1: ; preds = %for.inc8, %for.body38 %j.0 = phi i32 [ 0, %for.body ], [ %inc9, %for.inc8 ]39 %exitcond1 = icmp ne i32 %j.0, 10040 br i1 %exitcond1, label %for.body3, label %for.end1041 42for.body3: ; preds = %for.cond143 %add = add nsw i32 %i.0, %j.044 %arrayidx = getelementptr inbounds i32, ptr %A, i32 %add45 %tmp3 = load i32, ptr %arrayidx, align 446 %tmp4 = load i32, ptr %sum, align 447 %add4 = add nsw i32 %tmp4, %tmp348 store i32 %add4, ptr %sum, align 449 br label %for.cond550 51for.cond5: ; preds = %for.inc, %for.body352 %k.0 = phi i32 [ 0, %for.body3 ], [ %inc, %for.inc ]53 %exitcond = icmp ne i32 %k.0, 10054 br i1 %exitcond, label %for.body7, label %for.end55 56for.body7: ; preds = %for.cond557 br label %for.inc58 59for.inc: ; preds = %for.body760 %inc = add nsw i32 %k.0, 161 br label %for.cond562 63for.end: ; preds = %for.cond564 br label %for.inc865 66for.inc8: ; preds = %for.end67 %inc9 = add nsw i32 %j.0, 168 br label %for.cond169 70for.end10: ; preds = %for.cond171 br label %for.inc1172 73for.inc11: ; preds = %for.end1074 %inc12 = add nsw i32 %i.0, 175 br label %for.cond76 77for.end13: ; preds = %for.cond78 ret void79}80