37 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2target 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.split8 9entry.split: ; preds = %entry10 %shl = shl i32 %l, 211 br i1 false, label %for.body, label %for.end12 13for.body: ; preds = %for.body, %entry.split14 %j.011 = phi i32 [ 0, %entry.split ], [ %add76, %for.body ]15 %add76 = add nsw i32 %j.011, 216 br i1 false, label %for.body, label %for.end17 18for.end: ; preds = %for.body, %entry.split19 br i1 undef, label %for.body81, label %for.end17020 21for.body81: ; preds = %for.body81, %for.end22 %j.19 = phi i32 [ %shl, %for.end ], [ %add169, %for.body81 ]23 %add13710 = or disjoint i32 %j.19, 124 %idxprom138 = sext i32 %add13710 to i6425 %arrayidx139 = getelementptr inbounds double, ptr %a, i64 %idxprom13826 store double undef, ptr %arrayidx139, align 827 %add169 = add nsw i32 %j.19, 228 br i1 false, label %for.body81, label %for.end17029 30for.end170: ; preds = %for.body8131 ret void32}33 34; CHECK: Valid Region for Scop: entry.split => for.end35; CHECK: Valid Region for Scop: for.body81 => for.end17036 37