1; RUN: opt %loadNPMPolly '-passes=print<polly-detect>,print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3 4; This test case contains two scops. 5define void @test(i32 %l, ptr %a) { 6entry: 7 br label %entry.split 8 9entry.split: ; preds = %entry 10 %shl = shl i32 %l, 2 11 br i1 false, label %for.body, label %for.end 12 13for.body: ; preds = %for.body, %entry.split 14 %j.011 = phi i32 [ 0, %entry.split ], [ %add76, %for.body ] 15 %add76 = add nsw i32 %j.011, 2 16 br i1 false, label %for.body, label %for.end 17 18for.end: ; preds = %for.body, %entry.split 19 br i1 undef, label %for.body81, label %for.end170 20 21for.body81: ; preds = %for.body81, %for.end 22 %j.19 = phi i32 [ %shl, %for.end ], [ %add169, %for.body81 ] 23 %add13710 = or disjoint i32 %j.19, 1 24 %idxprom138 = sext i32 %add13710 to i64 25 %arrayidx139 = getelementptr inbounds double, ptr %a, i64 %idxprom138 26 store double undef, ptr %arrayidx139, align 8 27 %add169 = add nsw i32 %j.19, 2 28 br i1 false, label %for.body81, label %for.end170 29 30for.end170: ; preds = %for.body81 31 ret void 32} 33 34; CHECK: Valid Region for Scop: entry.split => for.end 35; CHECK: Valid Region for Scop: for.body81 => for.end170 36 37