104 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; Verify the scalar x defined in a non-affine subregion is written as it4; escapes the region. In this test the two conditionals inside the region5; are expressed as two PHI nodes with two incoming values each.6;7; void f(int *A, int b) {8; for (int i = 0; i < 1024; i++) {9; int x = 0;10; if (A[i]) {11; if (b > i)12; x = 0;13; else if (b < 2 * i)14; x = i;15; else16; x = b;17; }18; A[i] = x;19; }20; }21 22; CHECK-LABEL: Region: %bb2---%bb2123;24; CHECK: Statements {25; CHECK-NEXT: Stmt_bb3__TO__bb1826; CHECK-NEXT: Domain :=27; CHECK-NEXT: { Stmt_bb3__TO__bb18[i0] : 0 <= i0 <= 1023 };28; CHECK-NEXT: Schedule :=29; CHECK-NEXT: { Stmt_bb3__TO__bb18[i0] -> [i0, 0] };30; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]31; CHECK-NEXT: { Stmt_bb3__TO__bb18[i0] -> MemRef_A[i0] };32; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]33; CHECK-NEXT: { Stmt_bb3__TO__bb18[i0] -> MemRef_x_2__phi[] };34; CHECK-NEXT: Stmt_bb1835; CHECK-NEXT: Domain :=36; CHECK-NEXT: { Stmt_bb18[i0] : 0 <= i0 <= 1023 };37; CHECK-NEXT: Schedule :=38; CHECK-NEXT: { Stmt_bb18[i0] -> [i0, 1] };39; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]40; CHECK-NEXT: { Stmt_bb18[i0] -> MemRef_x_2__phi[] };41; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]42; CHECK-NEXT: { Stmt_bb18[i0] -> MemRef_A[i0] };43; CHECK-NEXT: }44 45target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"46 47define void @f(ptr %A, i32 %b) {48bb:49 %tmp = sext i32 %b to i6450 %tmp1 = sext i32 %b to i6451 br label %bb252 53bb2: ; preds = %bb20, %bb54 %indvars.iv = phi i64 [ %indvars.iv.next, %bb20 ], [ 0, %bb ]55 %exitcond = icmp ne i64 %indvars.iv, 102456 br i1 %exitcond, label %bb3, label %bb2157 58bb3: ; preds = %bb259 %tmp4 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv60 %tmp5 = load i32, ptr %tmp4, align 461 %tmp6 = icmp eq i32 %tmp5, 062 br i1 %tmp6, label %bb18, label %bb763 64bb7: ; preds = %bb365 %tmp8 = icmp slt i64 %indvars.iv, %tmp66 br i1 %tmp8, label %bb9, label %bb1067 68bb9: ; preds = %bb769 br label %bb1770 71bb10: ; preds = %bb772 %tmp11 = shl nsw i64 %indvars.iv, 173 %tmp12 = icmp sgt i64 %tmp11, %tmp174 br i1 %tmp12, label %bb13, label %bb1575 76bb13: ; preds = %bb1077 %tmp14 = trunc i64 %indvars.iv to i3278 br label %bb1679 80bb15: ; preds = %bb1081 br label %bb1682 83bb16: ; preds = %bb15, %bb1384 %x.0 = phi i32 [ %tmp14, %bb13 ], [ %b, %bb15 ]85 br label %bb1786 87bb17: ; preds = %bb16, %bb988 %x.1 = phi i32 [ 0, %bb9 ], [ %x.0, %bb16 ]89 br label %bb1890 91bb18: ; preds = %bb3, %bb1792 %x.2 = phi i32 [ %x.1, %bb17 ], [ 0, %bb3 ]93 %tmp19 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv94 store i32 %x.2, ptr %tmp19, align 495 br label %bb2096 97bb20: ; preds = %bb1898 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 199 br label %bb2100 101bb21: ; preds = %bb2102 ret void103}104