1; RUN: opt %loadPolly -polly-scops -analyze -polly-print-instructions < %s | FileCheck %s 2; 3; CHECK: Statements { 4; CHECK-NEXT: Stmt_Region__TO__Stmt 5; CHECK-NEXT: Domain := 6; CHECK-NEXT: { Stmt_Region__TO__Stmt[i0] : 0 <= i0 <= 1023 }; 7; CHECK-NEXT: Schedule := 8; CHECK-NEXT: { Stmt_Region__TO__Stmt[i0] -> [i0, 0] }; 9; CHECK-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0] 10; CHECK-NEXT: { Stmt_Region__TO__Stmt[i0] -> MemRef_C[0] }; 11; CHECK-NEXT: Instructions { 12; CHECK-NEXT: %cond = fcmp oeq double 2.100000e+01, 2.100000e+01 13; CHECK-NEXT: } 14; CHECK-NEXT: Stmt_Stmt 15; CHECK-NEXT: Domain := 16; CHECK-NEXT: { Stmt_Stmt[i0] : 0 <= i0 <= 1023 }; 17; CHECK-NEXT: Schedule := 18; CHECK-NEXT: { Stmt_Stmt[i0] -> [i0, 1] }; 19; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 20; CHECK-NEXT: { Stmt_Stmt[i0] -> MemRef_A[i0] }; 21; CHECK-NEXT: Instructions { 22; CHECK-NEXT: store i32 %i.0, i32* %arrayidx, align 4, !polly_split_after !0 23; CHECK-NEXT: } 24; CHECK-NEXT: Stmt_Stmt_b 25; CHECK-NEXT: Domain := 26; CHECK-NEXT: { Stmt_Stmt_b[i0] : 0 <= i0 <= 1023 }; 27; CHECK-NEXT: Schedule := 28; CHECK-NEXT: { Stmt_Stmt_b[i0] -> [i0, 2] }; 29; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 30; CHECK-NEXT: { Stmt_Stmt_b[i0] -> MemRef_B[i0] }; 31; CHECK-NEXT: Instructions { 32; CHECK-NEXT: store i32 %i.0, i32* %arrayidx2, align 4 33; CHECK-NEXT: } 34; CHECK-NEXT: } 35; 36; Function Attrs: noinline nounwind uwtable 37define void @func(i32* %A, i32* %B, double* %C) { 38entry: 39 br label %for.cond 40 41for.cond: ; preds = %for.inc, %entry 42 %i.0 = phi i32 [ 0, %entry ], [ %add, %for.inc ] 43 %cmp = icmp slt i32 %i.0, 1024 44 br i1 %cmp, label %for.body, label %for.end 45 46for.body: ; preds = %for.cond 47 br label %Region 48 49Region: ; preds = %for.body 50 %cond = fcmp oeq double 2.100000e+01, 2.100000e+01 51 br i1 %cond, label %Region_true, label %Stmt 52 53Region_true: ; preds = %Region 54 store double 0.000000e+00, double* %C 55 br label %Stmt 56 57Stmt: ; preds = %Region_true, %Region 58 %idxprom = sext i32 %i.0 to i64 59 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom 60 store i32 %i.0, i32* %arrayidx, align 4, !polly_split_after !0 61 %idxprom1 = sext i32 %i.0 to i64 62 %arrayidx2 = getelementptr inbounds i32, i32* %B, i64 %idxprom1 63 store i32 %i.0, i32* %arrayidx2, align 4 64 br label %for.inc 65 66for.inc: ; preds = %Stmt 67 %add = add nsw i32 %i.0, 1 68 br label %for.cond 69 70for.end: ; preds = %for.cond 71 ret void 72} 73 74!0 = !{!"polly_split_after"} 75