1; RUN: opt -licm -S < %s | FileCheck %s
2
3define void @f() {
4; CHECK-LABEL: @f(
5entry:
6  br label %bb0
7
8bb0:
9  %tobool7 = icmp eq i1 undef, undef
10  br label %bb1
11
12bb1:
13  br i1 undef, label %bb0, label %bb0
14
15unreachable:
16; CHECK-LABEL: unreachable:
17; CHECK:   br i1 undef, label %unreachable, label %unreachable
18  br i1 %tobool7, label %unreachable, label %unreachable
19
20bb3:
21  unreachable
22}
23