; RUN: opt -passes=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 | |
} |