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