148 lines · plain
1; RUN: opt %loadNPMPolly -polly-allow-nonaffine -polly-use-llvm-names=true '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -polly-allow-nonaffine -polly-use-llvm-names=false '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s -check-prefix=UNNAMED3;4; void f(int *A, int b) {5; int x;6; for (int i = 0; i < 1024; i++) {7; if (b > i)8; x = 0;9; else if (b < 2 * i)10; x = 3;11; else12; x = b;13;14; if (A[x])15; A[x] = 0;16; }17; }18;19; CHECK: Statements {20; CHECK-NEXT: Stmt_bb321; CHECK-NEXT: Domain :=22; CHECK-NEXT: [b] -> { Stmt_bb3[i0] : 0 <= i0 <= 1023 and i0 < b };23; CHECK-NEXT: Schedule :=24; CHECK-NEXT: [b] -> { Stmt_bb3[i0] -> [i0, 2] };25; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]26; CHECK-NEXT: [b] -> { Stmt_bb3[i0] -> MemRef_x_1__phi[] };27; CHECK-NEXT: Stmt_bb728; CHECK-NEXT: Domain :=29; CHECK-NEXT: [b] -> { Stmt_bb7[i0] : i0 >= b and 0 <= i0 <= 1023 and 2i0 > b };30; CHECK-NEXT: Schedule :=31; CHECK-NEXT: [b] -> { Stmt_bb7[i0] -> [i0, 1] };32; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]33; CHECK-NEXT: [b] -> { Stmt_bb7[i0] -> MemRef_x_1__phi[] };34; CHECK-NEXT: Stmt_bb835; CHECK-NEXT: Domain :=36; CHECK-NEXT: [b] -> { Stmt_bb8[0] : b = 0 };37; CHECK-NEXT: Schedule :=38; CHECK-NEXT: [b] -> { Stmt_bb8[i0] -> [0, 0] };39; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]40; CHECK-NEXT: [b] -> { Stmt_bb8[i0] -> MemRef_x_1__phi[] };41; CHECK-NEXT: Stmt_bb10__TO__bb1842; CHECK-NEXT: Domain :=43; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] : 0 <= i0 <= 1023 };44; CHECK-NEXT: Schedule :=45; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> [i0, 3] }46; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]47; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_x_1__phi[] };48; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]49; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_A[o0] };50; CHECK-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]51; CHECK-NEXT: [b] -> { Stmt_bb10__TO__bb18[i0] -> MemRef_A[o0] };52; CHECK-NEXT: }53 54; UNNAMED: Arrays {55; UNNAMED-NEXT: i32 MemRef0__phi; // Element size 456; UNNAMED-NEXT: i32 MemRef1[*]; // Element size 457; UNNAMED-NEXT: }58 59; UNNAMED: Statements {60; UNNAMED-NEXT: Stmt261; UNNAMED-NEXT: Domain :=62; UNNAMED-NEXT: [p_0] -> { Stmt2[i0] : 0 <= i0 <= 1023 and i0 < p_0 };63; UNNAMED-NEXT: Schedule :=64; UNNAMED-NEXT: [p_0] -> { Stmt2[i0] -> [i0, 2] };65; UNNAMED-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]66; UNNAMED-NEXT: [p_0] -> { Stmt2[i0] -> MemRef0__phi[] };67; UNNAMED-NEXT: Stmt468; UNNAMED-NEXT: Domain :=69; UNNAMED-NEXT: [p_0] -> { Stmt4[i0] : i0 >= p_0 and 0 <= i0 <= 1023 and 2i0 > p_0 };70; UNNAMED-NEXT: Schedule :=71; UNNAMED-NEXT: [p_0] -> { Stmt4[i0] -> [i0, 1] };72; UNNAMED-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]73; UNNAMED-NEXT: [p_0] -> { Stmt4[i0] -> MemRef0__phi[] };74; UNNAMED-NEXT: Stmt575; UNNAMED-NEXT: Domain :=76; UNNAMED-NEXT: [p_0] -> { Stmt5[0] : p_0 = 0 };77; UNNAMED-NEXT: Schedule :=78; UNNAMED-NEXT: [p_0] -> { Stmt5[i0] -> [0, 0] };79; UNNAMED-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]80; UNNAMED-NEXT: [p_0] -> { Stmt5[i0] -> MemRef0__phi[] };81; UNNAMED-NEXT: Stmt682; UNNAMED-NEXT: Domain :=83; UNNAMED-NEXT: [p_0] -> { Stmt6[i0] : 0 <= i0 <= 1023 };84; UNNAMED-NEXT: Schedule :=85; UNNAMED-NEXT: [p_0] -> { Stmt6[i0] -> [i0, 3] };86; UNNAMED-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]87; UNNAMED-NEXT: [p_0] -> { Stmt6[i0] -> MemRef0__phi[] };88; UNNAMED-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]89; UNNAMED-NEXT: [p_0] -> { Stmt6[i0] -> MemRef1[o0] };90; UNNAMED-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]91; UNNAMED-NEXT: [p_0] -> { Stmt6[i0] -> MemRef1[o0] };92; UNNAMED-NEXT: }93 94 95target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"96 97define void @f(ptr %A, i32 %b) {98bb:99 br label %bb1100 101bb1: ; preds = %bb19, %bb102 %i.0 = phi i32 [ 0, %bb ], [ %tmp20, %bb19 ]103 %exitcond = icmp ne i32 %i.0, 1024104 br i1 %exitcond, label %bb2, label %bb21105 106bb2: ; preds = %bb1107 %tmp = icmp slt i32 %i.0, %b108 br i1 %tmp, label %bb3, label %bb4109 110bb3: ; preds = %bb2111 br label %bb10112 113bb4: ; preds = %bb2114 %tmp5 = mul nsw i32 %i.0, 2115 %tmp6 = icmp sgt i32 %tmp5, %b116 br i1 %tmp6, label %bb7, label %bb8117 118bb7: ; preds = %bb4119 br label %bb10120 121bb8: ; preds = %bb4122 br label %bb10123 124bb10: ; preds = %bb9, %bb3125 %x.1 = phi i32 [ 0, %bb3 ], [ 3, %bb7 ], [ %b, %bb8 ]126 %tmp11 = sext i32 %x.1 to i64127 %tmp12 = getelementptr inbounds i32, ptr %A, i64 %tmp11128 %tmp13 = load i32, ptr %tmp12, align 4129 %tmp14 = icmp eq i32 %tmp13, 0130 br i1 %tmp14, label %bb18, label %bb15131 132bb15: ; preds = %bb10133 %tmp16 = sext i32 %x.1 to i64134 %tmp17 = getelementptr inbounds i32, ptr %A, i64 %tmp16135 store i32 0, ptr %tmp17, align 4136 br label %bb18137 138bb18: ; preds = %bb10, %bb15139 br label %bb19140 141bb19: ; preds = %bb18142 %tmp20 = add nuw nsw i32 %i.0, 1143 br label %bb1144 145bb21: ; preds = %bb1146 ret void147}148