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 } 20
