xref: /llvm-project/llvm/test/Transforms/LICM/PR24013.ll (revision 80e8f2beeb954f8c241897099bb01b24da400e8a) 
1; RUN: opt -passes=licm -S < %s | FileCheck %s
2
3define void @f(i1 zeroext %p1) {
4; CHECK-LABEL: @f(
5entry:
6  br label %lbl
7
8lbl.loopexit:                                     ; No predecessors!
9  br label %lbl
10
11lbl:                                              ; preds = %lbl.loopexit, %entry
12  %phi = phi i32 [ %conv, %lbl.loopexit ], [ poison, %entry ]
13; CHECK: phi i32 [ poison, {{.*}} ], [ poison
14  br label %if.then.5
15
16if.then.5:                                        ; preds = %if.then.5, %lbl
17  %conv = zext i1 0 to i32
18  br label %if.then.5
19}
20