diff --git a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
--- a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+++ b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
@@ -3700,9 +3700,12 @@
   // any loop invariant values.
   BasicBlock *Latch = OrigLoop->getLoopLatch();
   Value *LoopVal = Phi->getIncomingValueForBlock(Latch);
+  bool StripWrapFlags = isa<OverflowingBinaryOperator>(LoopVal);
   for (unsigned Part = 0; Part < UF; ++Part) {
     Value *VecRdxPhi = getOrCreateVectorValue(Phi, Part);
     Value *Val = getOrCreateVectorValue(LoopVal, Part);
+    if (StripWrapFlags)
+      cast<Instruction>(Val)->dropPoisonGeneratingFlags();
     // Make sure to add the reduction stat value only to the
     // first unroll part.
     Value *StartVal = (Part == 0) ? VectorStart : Identity;