20 lines · plain
1; RUN: opt -passes=licm -S < %s | FileCheck %s2 3define void @f(i1 zeroext %p1) {4; CHECK-LABEL: @f(5entry:6 br label %lbl7 8lbl.loopexit: ; No predecessors!9 br label %lbl10 11lbl: ; preds = %lbl.loopexit, %entry12 %phi = phi i32 [ %conv, %lbl.loopexit ], [ poison, %entry ]13; CHECK: phi i32 [ poison, {{.*}} ], [ poison14 br label %if.then.515 16if.then.5: ; preds = %if.then.5, %lbl17 %conv = zext i1 0 to i3218 br label %if.then.519}20