71 lines · plain
1; RUN: opt %loadNPMPolly -polly-allow-nonaffine-branches '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; void f(int *A) {4; for (int i = 0; i < 1024; i++)5; if (A[i])6; if (A[i - 1])7; A[i] = A[i - 2];8; }9;10; CHECK: Region: %bb1---%bb1811; CHECK: Max Loop Depth: 112; CHECK: Statements {13; CHECK: Stmt_bb2__TO__bb1614; CHECK: Schedule :=15; CHECK: { Stmt_bb2__TO__bb16[i0] -> [i0] };16; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]17; CHECK: { Stmt_bb2__TO__bb16[i0] -> MemRef_A[i0] };18; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]19; CHECK: { Stmt_bb2__TO__bb16[i0] -> MemRef_A[-1 + i0] };20; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]21; CHECK: { Stmt_bb2__TO__bb16[i0] -> MemRef_A[-2 + i0] };22; CHECK: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]23; CHECK: { Stmt_bb2__TO__bb16[i0] -> MemRef_A[i0] };24; CHECK: }25 26target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"27 28define void @f(ptr %A) {29bb:30 br label %bb131 32bb1: ; preds = %bb17, %bb33 %indvars.iv = phi i64 [ %indvars.iv.next, %bb17 ], [ 0, %bb ]34 %exitcond = icmp ne i64 %indvars.iv, 102435 br i1 %exitcond, label %bb2, label %bb1836 37bb2: ; preds = %bb138 %tmp = getelementptr inbounds i32, ptr %A, i64 %indvars.iv39 %tmp3 = load i32, ptr %tmp, align 440 %tmp4 = icmp eq i32 %tmp3, 041 br i1 %tmp4, label %bb16, label %bb542 43bb5: ; preds = %bb244 %tmp6 = add nsw i64 %indvars.iv, -145 %tmp7 = getelementptr inbounds i32, ptr %A, i64 %tmp646 %tmp8 = load i32, ptr %tmp7, align 447 %tmp9 = icmp eq i32 %tmp8, 048 br i1 %tmp9, label %bb15, label %bb1049 50bb10: ; preds = %bb551 %tmp11 = add nsw i64 %indvars.iv, -252 %tmp12 = getelementptr inbounds i32, ptr %A, i64 %tmp1153 %tmp13 = load i32, ptr %tmp12, align 454 %tmp14 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv55 store i32 %tmp13, ptr %tmp14, align 456 br label %bb1557 58bb15: ; preds = %bb5, %bb1059 br label %bb1660 61bb16: ; preds = %bb2, %bb1562 br label %bb1763 64bb17: ; preds = %bb1665 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 166 br label %bb167 68bb18: ; preds = %bb169 ret void70}71