; 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
}