1; RUN: opt %loadNPMPolly -polly-process-unprofitable=false '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s 2; RUN: opt %loadNPMPolly -polly-process-unprofitable=true '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s 3 4; CHECK: Valid Region for Scop: 5 6; void foo(float *A, float *B, long N) { 7; if (N > 100) 8; for (long i = 0; i < 100; i++) 9; A[i] += i; 10; else 11; for (long i = 0; i < 100; i++) 12; B[i] += i; 13; } 14; 15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 16 17define void @foo(ptr %A, ptr %B, i64 %N) { 18entry: 19 br label %bb 20 21bb: 22 %tmp = icmp sgt i64 %N, 100 23 br i1 %tmp, label %bb2, label %bb12 24 25bb2: ; preds = %bb 26 br label %bb3 27 28bb3: ; preds = %bb9, %bb2 29 %i.0 = phi i64 [ 0, %bb2 ], [ %tmp10, %bb9 ] 30 %exitcond = icmp ne i64 %i.0, 100 31 br i1 %exitcond, label %bb4, label %bb11 32 33bb4: ; preds = %bb3 34 %tmp5 = sitofp i64 %i.0 to float 35 %tmp6 = getelementptr inbounds float, ptr %A, i64 %i.0 36 %tmp7 = load float, ptr %tmp6, align 4 37 %tmp8 = fadd float %tmp7, %tmp5 38 store float %tmp8, ptr %tmp6, align 4 39 br label %bb9 40 41bb9: ; preds = %bb4 42 %tmp10 = add nsw i64 %i.0, 1 43 br label %bb3 44 45bb11: ; preds = %bb3 46 br label %bb22 47 48bb12: ; preds = %bb 49 br label %bb13 50 51bb13: ; preds = %bb19, %bb12 52 %i1.0 = phi i64 [ 0, %bb12 ], [ %tmp20, %bb19 ] 53 %exitcond1 = icmp ne i64 %i1.0, 100 54 br i1 %exitcond1, label %bb14, label %bb21 55 56bb14: ; preds = %bb13 57 %tmp15 = sitofp i64 %i1.0 to float 58 %tmp16 = getelementptr inbounds float, ptr %B, i64 %i1.0 59 %tmp17 = load float, ptr %tmp16, align 4 60 %tmp18 = fadd float %tmp17, %tmp15 61 store float %tmp18, ptr %tmp16, align 4 62 br label %bb19 63 64bb19: ; preds = %bb14 65 %tmp20 = add nsw i64 %i1.0, 1 66 br label %bb13 67 68bb21: ; preds = %bb13 69 br label %bb22 70 71bb22: ; preds = %bb21, %bb11 72 ret void 73} 74