44 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; void f(int a[], int N) {4; int i;5; for (i = 0; i < N; ++i)6; a[i] = i;7; }8 9; CHECK: Assumed Context:10; CHECK-NEXT: [N] -> { : }11;12; CHECK: Arrays {13; CHECK-NEXT: i32 MemRef_a[*]; // Element size 414; CHECK-NEXT: }15;16; CHECK: Statements {17; CHECK-NEXT: Stmt_bb18; CHECK-NEXT: Domain :=19; CHECK-NEXT: [N] -> { Stmt_bb[i0] : 0 <= i0 < N };20; CHECK-NEXT: Schedule :=21; CHECK-NEXT: [N] -> { Stmt_bb[i0] -> [i0] };22; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]23; CHECK-NEXT: [N] -> { Stmt_bb[i0] -> MemRef_a[i0] };24; CHECK-NEXT: }25 26target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"27 28define void @f(ptr nocapture %a, i64 %N) nounwind {29entry:30 br label %bb31 32bb: ; preds = %bb, %entry33 %i = phi i32 [ 0, %entry ], [ %i.inc, %bb ]34 %scevgep = getelementptr inbounds i32, ptr %a, i32 %i35 store i32 %i, ptr %scevgep36 %i.inc = add nsw i32 %i, 137 %i.ext = zext i32 %i.inc to i6438 %exitcond = icmp eq i64 %i.ext, %N39 br i1 %exitcond, label %return, label %bb40 41return: ; preds = %bb, %entry42 ret void43}44