| 12345678910111213141516171819 |
- ; RUN: opt -licm -S < %s | FileCheck %s
- define void @f(i1 zeroext %p1) {
- ; CHECK-LABEL: @f(
- entry:
- br label %lbl
- lbl.loopexit: ; No predecessors!
- br label %lbl
- lbl: ; preds = %lbl.loopexit, %entry
- %phi = phi i32 [ %conv, %lbl.loopexit ], [ undef, %entry ]
- ; CHECK: phi i32 [ undef, {{.*}} ], [ undef
- br label %if.then.5
- if.then.5: ; preds = %if.then.5, %lbl
- %conv = zext i1 undef to i32
- br label %if.then.5
- }
|
