109 lines · plain
1; RUN: opt %loadNPMPolly -polly-allow-nonaffine '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; Verify only the incoming scalar x is modeled as a read in the non-affine4; region.5;6; void f(int *A, int b) {7; int x;8; for (int i = 0; i < 1024; i++) {9; if (b > i)10; x = 0;11; else if (b < 2 * i)12; x = 3;13; else14; x = b;15;16; if (A[x])17; A[x] = 0;18; }19; }20;21; CHECK: Statements {22; CHECK-NEXT: Stmt_bb323; CHECK-NEXT: Domain :=24; CHECK-NEXT: [b] -> { Stmt_bb3[i0] : 0 <= i0 <= 1023 and i0 < b };25; CHECK-NEXT: Schedule :=26; CHECK-NEXT: [b] -> { Stmt_bb3[i0] -> [i0, 2] };27; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]28; CHECK-NEXT: [b] -> { Stmt_bb3[i0] -> MemRef_x_1__phi[] };29; CHECK-NEXT: Stmt_bb730; CHECK-NEXT: Domain :=31; CHECK-NEXT: [b] -> { Stmt_bb7[i0] : i0 >= b and 0 <= i0 <= 1023 and 2i0 > b };32; CHECK-NEXT: Schedule :=33; CHECK-NEXT: [b] -> { Stmt_bb7[i0] -> [i0, 1] };34; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]35; CHECK-NEXT: [b] -> { Stmt_bb7[i0] -> MemRef_x_1__phi[] };36; CHECK-NEXT: Stmt_bb837; CHECK-NEXT: Domain :=38; CHECK-NEXT: [b] -> { Stmt_bb8[0] : b = 0 };39; CHECK-NEXT: Schedule :=40; CHECK-NEXT: [b] -> { Stmt_bb8[i0] -> [0, 0] };41; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]42; CHECK-NEXT: [b] -> { Stmt_bb8[i0] -> MemRef_x_1__phi[] };43; CHECK-NEXT: Stmt_bb10__TO__bb1844; CHECK-NEXT: Domain :=45; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] : 0 <= i0 <= 1023 };46; CHECK-NEXT: Schedule :=47; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> [i0, 3] }48; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]49; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_x_1__phi[] };50; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]51; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_A[o0] };52; CHECK-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]53; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_A[o0] };54; CHECK-NEXT: }55 56target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"57 58define void @f(ptr %A, i32 %b) {59bb:60 br label %bb161 62bb1: ; preds = %bb19, %bb63 %i.0 = phi i32 [ 0, %bb ], [ %tmp20, %bb19 ]64 %exitcond = icmp ne i32 %i.0, 102465 br i1 %exitcond, label %bb2, label %bb2166 67bb2: ; preds = %bb168 %tmp = icmp slt i32 %i.0, %b69 br i1 %tmp, label %bb3, label %bb470 71bb3: ; preds = %bb272 br label %bb1073 74bb4: ; preds = %bb275 %tmp5 = mul nsw i32 %i.0, 276 %tmp6 = icmp sgt i32 %tmp5, %b77 br i1 %tmp6, label %bb7, label %bb878 79bb7: ; preds = %bb480 br label %bb1081 82bb8: ; preds = %bb483 br label %bb1084 85bb10: ; preds = %bb9, %bb386 %x.1 = phi i32 [ 0, %bb3 ], [ 3, %bb7 ], [ %b, %bb8 ]87 %tmp11 = sext i32 %x.1 to i6488 %tmp12 = getelementptr inbounds i32, ptr %A, i64 %tmp1189 %tmp13 = load i32, ptr %tmp12, align 490 %tmp14 = icmp eq i32 %tmp13, 091 br i1 %tmp14, label %bb18, label %bb1592 93bb15: ; preds = %bb1094 %tmp16 = sext i32 %x.1 to i6495 %tmp17 = getelementptr inbounds i32, ptr %A, i64 %tmp1696 store i32 0, ptr %tmp17, align 497 br label %bb1898 99bb18: ; preds = %bb10, %bb15100 br label %bb19101 102bb19: ; preds = %bb18103 %tmp20 = add nuw nsw i32 %i.0, 1104 br label %bb1105 106bb21: ; preds = %bb1107 ret void108}109