1; RUN: opt -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 ], [ undef, %entry ] 13; CHECK: phi i32 [ undef, {{.*}} ], [ undef 14 br label %if.then.5 15 16if.then.5: ; preds = %if.then.5, %lbl 17 %conv = zext i1 undef to i32 18 br label %if.then.5 19} 20