1; RUN: opt -passes=loop-instsimplify -print-after-all -disable-output -S < %s 2>&1 | FileCheck %s
2
3; loop-instsimplify dumps individual basic blocks as part of a loop,
4; not a function.  Verify that the non-entry basic block is labeled as
5; "1", not "<badref>".
6
7; CHECK-NOT: <badref>
8
9define void @foo() {
10  br label %1
11
121:
13  br label %1
14}
15