| ; RUN: opt < %s -passes=loop-vectorize -force-vector-width=4 -S | FileCheck %s | |
| ; Out of the LCSSA form we could have 'phi i32 [ loop-invariant, %for.inc.2.i ]' | |
| ; but the IR Verifier requires for PHI one entry for each predecessor of | |
| ; it's parent basic block. The original PR14725 solution for the issue just | |
| ; added 'undef' for an predecessor BB and which is not correct. We copy the real | |
| ; value for another predecessor instead of bringing 'undef'. | |
| ; CHECK-LABEL: for.cond.preheader: | |
| ; CHECK: %e.0.ph = phi i32 [ 0, %if.end.2.i ], [ 0, %middle.block ] | |
| define void @main(i32 %n, i32 %v) { | |
| entry: | |
| br label %for.cond1.preheader.i | |
| for.cond1.preheader.i: | |
| %c.06.i = phi i32 [ 0, %entry ], [ %inc5.i, %if.end.2.i ] | |
| %tobool.i = icmp ne i32 %v, 0 | |
| br label %if.end.2.i | |
| if.end.2.i: | |
| %inc5.i = add nsw i32 %c.06.i, 1 | |
| %cmp.i = icmp slt i32 %inc5.i, %n | |
| br i1 %cmp.i, label %for.cond1.preheader.i, label %for.cond.preheader | |
| for.cond.preheader: | |
| %e.0.ph = phi i32 [ 0, %if.end.2.i ] | |
| unreachable | |
| } |