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