47 lines · plain
1; RUN: opt %s -S -passes='loop-unroll,loop-mssa(licm)' | FileCheck %s2 3; Check that we can deal with loops where a parent loop gets deleted before it4; is visited by LICM.5define void @test() {6; CHECK-LABEL: define void @test() {7; CHECK-LABEL: entry:8; CHECK-NEXT: br label %for.body439 10; CHECK-LABEL: for.body43: ; preds = %entry11; CHECK-NEXT: br label %if.else7512 13; CHECK-LABEL: if.else75: ; preds = %for.body4314; CHECK-NEXT: br label %for.body46715 16; CHECK-LABEL: for.body467: ; preds = %for.body467.for.body467_crit_edge, %if.else7517; CHECK-NEXT: br label %for.body467.for.body467_crit_edge18 19; CHECK-LABEL: for.body467.for.body467_crit_edge: ; preds = %for.body46720; CHECK-NEXT: br i1 false, label %for.end539, label %for.body46721 22; CHECK-LABEL: for.end539: ; preds = %for.body467.for.body467_crit_edge23; CHECK-NEXT: ret void24;25 26entry:27 br label %for.body4328 29for.body43: ; preds = %for.end539, %entry30 br label %if.else7531 32if.else75: ; preds = %for.body4333 br label %for.body46734 35for.body467: ; preds = %for.body467.for.body467_crit_edge, %if.else7536 br label %for.body467.for.body467_crit_edge37 38for.body467.for.body467_crit_edge: ; preds = %for.body46739 br i1 false, label %for.end539, label %for.body46740 41for.end539: ; preds = %for.body46742 br i1 false, label %for.body43, label %for.end54743 44for.end547: ; preds = %for.body4345 ret void46}47