55 lines · plain
1; RUN: opt < %s -passes='loop(loop-deletion),print<domtree>' -verify-dom-info 2>&1 | FileCheck -check-prefix=DT %s2 3; CHECK: for.body4; CHECK-NOT: for.cond15 6; Verify only the important parts of the DomTree.7; DT: [1] %entry8; DT: [2] %for.cond9; DT: [3] %lbl63A679E510; DT: [3] %for.cond911; DT: [3] %lbl64774A9B12; DT: [3] %for.body13; DT: [4] %for.cond3.loopexit14 15define i32 @fn1() {16entry:17 br label %for.cond18 19for.cond: ; preds = %entry20 br i1 true, label %lbl63A679E5, label %for.body21 22for.body: ; preds = %for.cond23 br label %for.cond124 25for.cond1: ; preds = %for.cond1, %for.body26 br i1 false, label %for.cond1, label %for.cond3.loopexit27 28for.cond3.loopexit: ; preds = %for.cond129 br label %for.cond330 31for.cond3: ; preds = %for.cond9, %for.cond3.loopexit32 br i1 false, label %for.body4, label %for.cond1733 34for.body4: ; preds = %for.cond335 br label %for.cond536 37for.cond5: ; preds = %lbl63A679E5, %for.body438 br label %for.cond939 40lbl63A679E5: ; preds = %for.cond41 br label %for.cond542 43for.cond9: ; preds = %for.end14.split, %for.cond544 br i1 false, label %for.cond3, label %lbl64774A9B45 46lbl64774A9B: ; preds = %for.cond17, %for.cond947 br label %for.end14.split48 49for.end14.split: ; preds = %lbl64774A9B50 br label %for.cond951 52for.cond17: ; preds = %for.cond353 br label %lbl64774A9B54}55