1; RUN: opt -passes=licm -S < %s | FileCheck %s 2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1" 4target triple = "x86_64-unknown-linux-gnu" 5 6; CHECK-LABEL: @f1 7; CHECK-LABEL: bci_524: 8; CHECK: add i32 poison, poison 9define void @f1(i32 %v, i1 %c) { 10not_zero.lr.ph: 11 br label %not_zero 12 13not_zero: 14 br i1 %c, label %bci_748 , label %bci_314 15 16bci_314: 17 %0 = select i1 poison, i32 poison, i32 poison 18 br label %not_zero 19 20bci_524: ; No predecessors! 21 %add = add i32 %0, %0 22 br label %bci_748 23 24bci_748: 25 ret void 26} 27