; RUN: opt -licm -S < %s | FileCheck %s

define void @f(i1 %c) {
; CHECK-LABEL: @f(
entry:
  br label %bb0

bb0:
  %tobool7 = icmp eq i1 0, 1
  br label %bb1

bb1:
  br i1 %c, label %bb0, label %bb0

unreachable:
; CHECK-LABEL: unreachable:
; CHECK:   br i1 poison, label %unreachable, label %unreachable
  br i1 %tobool7, label %unreachable, label %unreachable

bb3:
  unreachable
}