24 lines · plain
1; RUN: opt < %s -disable-output -passes='verify<cycles>,print<cycles>' 2>&1 | FileCheck %s2; CHECK-LABEL: CycleInfo for function: unreachable3; CHECK: depth=1: entries(loop.body) loop.latch inner.block4define void @unreachable(i32 %n, i1 %arg) {5entry:6 br label %loop.body7 8loop.body:9 br label %inner.block10 11; This branch should not cause %inner.block to appear as an entry.12unreachable.block:13 br label %inner.block14 15inner.block:16 br i1 %arg, label %loop.exit, label %loop.latch17 18loop.latch:19 br label %loop.body20 21loop.exit:22 ret void23}24