45 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK: Valid Region for Scop: if.end.1631 => for.cond.1647.outer4 5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"6 7define void @qtm_decompress() {8entry:9 br label %while.cond.outer.outer10 11while.cond.outer.outer: ; preds = %entry12 br label %if.end.163113 14if.end.1631: ; preds = %do.end.1721, %while.cond.outer.outer15 br i1 false, label %for.cond.1647.preheader, label %if.then.163516 17if.then.1635: ; preds = %if.end.163118 br label %for.cond.1647.preheader19 20for.cond.1647.preheader: ; preds = %if.then.1635, %if.end.163121 br label %for.cond.1647.outer22 23for.cond.1647.outer: ; preds = %do.end.1685, %for.cond.1647.preheader24 %bits_needed.5.ph = phi i8 [ 8, %for.cond.1647.preheader ], [ 0, %do.end.1685 ]25 br label %for.cond.164726 27for.cond.1647: ; preds = %do.cond.1718, %for.cond.1647.outer28 br i1 undef, label %do.cond.1718, label %if.then.165929 30if.then.1659: ; preds = %for.cond.164731 br i1 false, label %do.end.1685, label %if.then.166232 33if.then.1662: ; preds = %if.then.165934 unreachable35 36do.end.1685: ; preds = %if.then.165937 br label %for.cond.1647.outer38 39do.cond.1718: ; preds = %for.cond.164740 br i1 false, label %do.end.1721, label %for.cond.164741 42do.end.1721: ; preds = %do.cond.171843 br label %if.end.163144}45