xref: /llvm-project/llvm/test/Transforms/LICM/PR19798.ll (revision 80e8f2beeb954f8c241897099bb01b24da400e8a) 
1; RUN: opt -passes=licm -S < %s | FileCheck %s
2
3define void @f(i1 %c) {
4; CHECK-LABEL: @f(
5entry:
6  br label %bb0
7
8bb0:
9  %tobool7 = icmp eq i1 0, 1
10  br label %bb1
11
12bb1:
13  br i1 %c, label %bb0, label %bb0
14
15unreachable:
16; CHECK-LABEL: unreachable:
17; CHECK:   br i1 poison, label %unreachable, label %unreachable
18  br i1 %tobool7, label %unreachable, label %unreachable
19
20bb3:
21  unreachable
22}
23