test/Transforms/LICM/PR19798.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

; RUN: opt -licm -S < %s | FileCheck %s

define void @f() {
; CHECK-LABEL: @f(
entry:
  br label %bb0

bb0:
  %tobool7 = icmp eq i1 undef, undef
  br label %bb1

bb1:
  br i1 undef, label %bb0, label %bb0

unreachable:
; CHECK-LABEL: unreachable:
; CHECK:   br i1 undef, label %unreachable, label %unreachable
  br i1 %tobool7, label %unreachable, label %unreachable

bb3:
  unreachable
}