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

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
target triple = "x86_64-unknown-linux-gnu"

; CHECK-LABEL: @f1
; CHECK-LABEL: bci_524:
; CHECK: add i32 poison, poison
define void @f1(i32 %v, i1 %c) {
not_zero.lr.ph:
  br label %not_zero

not_zero:
  br i1 %c, label %bci_748 ,  label %bci_314

bci_314:
  %0 = select i1 poison, i32 poison, i32 poison
  br label %not_zero

bci_524:                   ; No predecessors!
  %add = add i32 %0, %0
  br label %bci_748

bci_748:
  ret void
}