76 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<deps>' -polly-print-deps -disable-output < %s | FileCheck %s2;3; CHECK: RAW dependences:4; CHECK-NEXT: { Stmt_S1[i0, i1] -> Stmt_S2[i0] : 0 <= i0 <= 99 and 0 <= i1 <= 99; Stmt_S0[i0] -> Stmt_S1[i0, o1] : 0 <= i0 <= 99 and 0 <= o1 <= 99; Stmt_S2[i0] -> Stmt_S0[1 + i0] : 0 <= i0 <= 98 }5; CHECK-NEXT: WAR dependences:6; CHECK-NEXT: { Stmt_S1[i0, i1] -> Stmt_S2[i0] : 0 <= i0 <= 99 and 0 <= i1 <= 99; Stmt_S0[i0] -> Stmt_S1[i0, o1] : 0 <= i0 <= 99 and 0 <= o1 <= 99; Stmt_S2[i0] -> Stmt_S0[1 + i0] : 0 <= i0 <= 98 }7; CHECK-NEXT: WAW dependences:8; CHECK-NEXT: { Stmt_S1[i0, i1] -> Stmt_S2[i0] : 0 <= i0 <= 99 and 0 <= i1 <= 99; Stmt_S0[i0] -> Stmt_S1[i0, o1] : 0 <= i0 <= 99 and 0 <= o1 <= 99; Stmt_S2[i0] -> Stmt_S0[1 + i0] : 0 <= i0 <= 98 }9; CHECK-NEXT: Reduction dependences:10; CHECK-NEXT: { Stmt_S1[i0, i1] -> Stmt_S1[i0, 1 + i1] : 0 <= i0 <= 99 and 0 <= i1 <= 98 }11;12; void f(int *sum) {13; for (int i = 0; i < 100; i++) {14; S0: *sum *= 42;15; for (int j = 0; j < 100; j++)16; S1: *sum += i * j;17; S2: *sum *= 7;18; }19; }20;21target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"22 23define void @f(ptr %sum) {24entry:25 br label %for.cond26 27for.cond: ; preds = %for.inc6, %entry28 %i.0 = phi i32 [ 0, %entry ], [ %inc7, %for.inc6 ]29 %exitcond1 = icmp ne i32 %i.0, 10030 br i1 %exitcond1, label %for.body, label %for.end831 32for.body: ; preds = %for.cond33 br label %S034 35S0: ; preds = %for.body36 %tmp = load i32, ptr %sum, align 437 %mul = mul nsw i32 %tmp, 4238 store i32 %mul, ptr %sum, align 439 br label %for.cond140 41for.cond1: ; preds = %for.inc, %S042 %j.0 = phi i32 [ 0, %S0 ], [ %inc, %for.inc ]43 %exitcond = icmp ne i32 %j.0, 10044 br i1 %exitcond, label %for.body3, label %for.end45 46for.body3: ; preds = %for.cond147 br label %S148 49S1: ; preds = %for.body350 %mul4 = mul nsw i32 %i.0, %j.051 %tmp2 = load i32, ptr %sum, align 452 %add = add nsw i32 %tmp2, %mul453 store i32 %add, ptr %sum, align 454 br label %for.inc55 56for.inc: ; preds = %S157 %inc = add nsw i32 %j.0, 158 br label %for.cond159 60for.end: ; preds = %for.cond161 br label %S262 63S2: ; preds = %for.end64 %tmp3 = load i32, ptr %sum, align 465 %mul5 = mul nsw i32 %tmp3, 766 store i32 %mul5, ptr %sum, align 467 br label %for.inc668 69for.inc6: ; preds = %S270 %inc7 = add nsw i32 %i.0, 171 br label %for.cond72 73for.end8: ; preds = %for.cond74 ret void75}76