43 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"4 5define void @remove_all_children(ptr %eclass) {6entry:7 br label %while.body8 9while.cond.loopexit: ; preds = %while.body50, %while.end4410 fence seq_cst11 br label %while.cond.backedge12 13while.body: ; preds = %while.cond.backedge, %entry14 br label %if.end3315 16while.cond.backedge: ; preds = %while.end30, %while.cond.loopexit17 br i1 false, label %while.body, label %while.end6018 19if.end33: ; preds = %while.end3020 br i1 false, label %while.body36, label %while.end4421 22while.body36: ; preds = %while.body36, %while.body36.lr.ph23 %indvar77 = phi i64 [ 0, %if.end33 ], [ %indvar.next78, %while.body36 ]24 %indvar.next78 = add i64 %indvar77, 125 br i1 false, label %while.body36, label %while.end4426 27while.end44: ; preds = %while.body36, %if.end3328 br i1 false, label %while.body50, label %while.cond.loopexit29 30while.body50: ; preds = %while.body50, %while.body50.lr.ph31 %indvar79 = phi i64 [ 0, %while.end44 ], [ %indvar.next80, %while.body50 ]32 store i32 0, ptr %eclass, align 433 %indvar.next80 = add i64 %indvar79, 134 br i1 false, label %while.body50, label %while.cond.loopexit35 36while.end60: ; preds = %while.cond.backedge37 ret void38}39; remove_all_children40; CHECK-NOT: Valid Region41; CHECK: Valid Region for Scop: if.end33 => while.cond.loopexit42; CHECK-NOT: Valid Region43