1; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2; 3; Check that we do not generate any scalar dependences regarding x. It is 4; defined and used on the non-affine subregion only, thus we do not need 5; to represent the definition and uses in the model. 6; 7; CHECK: Stmt_bb2__TO__bb11 8; CHECK-NOT: [Scalar: 1] 9; CHECK-NOT: MemRef_x 10; 11; void f(int *A) { 12; int x; 13; for (int i = 0; i < 1024; i++) { 14; if (A[i]) { 15; if (i > 512) 16; x = 1; 17; else 18; x = 2; 19; A[i] = x; 20; } 21; } 22; } 23; 24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 25 26define void @f(ptr %A) { 27bb: 28 br label %bb1 29 30bb1: ; preds = %bb12, %bb 31 %indvars.iv = phi i64 [ %indvars.iv.next, %bb12 ], [ 0, %bb ] 32 %exitcond = icmp ne i64 %indvars.iv, 1024 33 br i1 %exitcond, label %bb2, label %bb13 34 35bb2: ; preds = %bb1 36 %tmp = getelementptr inbounds i32, ptr %A, i64 %indvars.iv 37 %tmp3 = load i32, ptr %tmp, align 4 38 %tmp4 = icmp eq i32 %tmp3, 0 39 br i1 %tmp4, label %bb11, label %bb5 40 41bb5: ; preds = %bb2 42 %tmp6 = icmp sgt i64 %indvars.iv, 512 43 br i1 %tmp6, label %bb7, label %bb8 44 45bb7: ; preds = %bb5 46 br label %bb9 47 48bb8: ; preds = %bb5 49 br label %bb9 50 51bb9: ; preds = %bb8, %bb7 52 %x.0 = phi i32 [ 1, %bb7 ], [ 2, %bb8 ] 53 %tmp10 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv 54 store i32 %x.0, ptr %tmp10, align 4 55 br label %bb11 56 57bb11: ; preds = %bb2, %bb9 58 br label %bb12 59 60bb12: ; preds = %bb11 61 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 62 br label %bb1 63 64bb13: ; preds = %bb1 65 ret void 66} 67