diff options
Diffstat (limited to 'llvm/test/Transforms/LoopVectorize/pr32859.ll')
-rw-r--r-- | llvm/test/Transforms/LoopVectorize/pr32859.ll | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/pr32859.ll b/llvm/test/Transforms/LoopVectorize/pr32859.ll deleted file mode 100644 index 31cb84699f7..00000000000 --- a/llvm/test/Transforms/LoopVectorize/pr32859.ll +++ /dev/null @@ -1,30 +0,0 @@ -; RUN: opt < %s -loop-vectorize -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 ] - -; Function Attrs: nounwind uwtable -define void @main() #0 { -entry: - br label %for.cond1.preheader.i - -for.cond1.preheader.i: ; preds = %if.end.2.i, %entry - %c.06.i = phi i32 [ 0, %entry ], [ %inc5.i, %if.end.2.i ] - %tobool.i = icmp ne i32 undef, 0 - br label %if.end.2.i - -if.end.2.i: ; preds = %for.cond1.preheader.i - %inc5.i = add nsw i32 %c.06.i, 1 - %cmp.i = icmp slt i32 %inc5.i, 16 - br i1 %cmp.i, label %for.cond1.preheader.i, label %for.cond.preheader - -for.cond.preheader: ; preds = %if.end.2.i - %e.0.ph = phi i32 [ 0, %if.end.2.i ] - unreachable -} |