; RUN: opt -passes=loop-instsimplify -print-after-all -disable-output -S < %s 2>&1 | FileCheck %s

; loop-instsimplify dumps individual basic blocks as part of a loop,
; not a function.  Verify that the non-entry basic block is labeled as
; "1", not "<badref>".

; CHECK-NOT: <badref>

define void @foo() {
  br label %1

1:
  br label %1
}