test/Transforms/LICM/PR24013.ll

   1 ; RUN: opt -licm -S < %s | FileCheck %s
   2
   3 define void @f(i1 zeroext %p1) {
   4 ; CHECK-LABEL: @f(
   5 entry:
   6   br label %lbl
   7
   8 lbl.loopexit:                                     ; No predecessors!
   9   br label %lbl
  10
  11 lbl:                                              ; preds = %lbl.loopexit, %entry
  12   %phi = phi i32 [ %conv, %lbl.loopexit ], [ undef, %entry ]
  13 ; CHECK: phi i32 [ undef, {{.*}} ], [ undef
  14   br label %if.then.5
  15
  16 if.then.5:                                        ; preds = %if.then.5, %lbl
  17   %conv = zext i1 undef to i32
  18   br label %if.then.5
  19 }