diff options
| author | Nadav Rotem <nrotem@apple.com> | 2012-10-31 21:40:39 +0000 |
|---|---|---|
| committer | Nadav Rotem <nrotem@apple.com> | 2012-10-31 21:40:39 +0000 |
| commit | e57b2cbce652d45ed5516e52ad82991bfa03cfd7 (patch) | |
| tree | ebb28b57979f57cddc2f7172f559c5981005ad09 /lib | |
| parent | 0dba9a9a26f45119a82200d1db37b734b3e1bb22 (diff) | |
| download | llvm-e57b2cbce652d45ed5516e52ad82991bfa03cfd7.tar.gz llvm-e57b2cbce652d45ed5516e52ad82991bfa03cfd7.tar.bz2 llvm-e57b2cbce652d45ed5516e52ad82991bfa03cfd7.tar.xz | |
LoopVectorize: Preserve NSW, NUW and IsExact flags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167174 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Transforms/Vectorize/LoopVectorize.cpp | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/Transforms/Vectorize/LoopVectorize.cpp b/lib/Transforms/Vectorize/LoopVectorize.cpp index 94e56a1713..c9871e25f1 100644 --- a/lib/Transforms/Vectorize/LoopVectorize.cpp +++ b/lib/Transforms/Vectorize/LoopVectorize.cpp @@ -849,8 +849,19 @@ SingleBlockLoopVectorizer::vectorizeLoop(LoopVectorizationLegality *Legal) { BinaryOperator *BinOp = dyn_cast<BinaryOperator>(Inst); Value *A = getVectorValue(Inst->getOperand(0)); Value *B = getVectorValue(Inst->getOperand(1)); + // Use this vector value for all users of the original instruction. - WidenMap[Inst] = Builder.CreateBinOp(BinOp->getOpcode(), A, B); + Value *V = Builder.CreateBinOp(BinOp->getOpcode(), A, B); + WidenMap[Inst] = V; + + // Update the NSW, NUW and Exact flags. + BinaryOperator *VecOp = cast<BinaryOperator>(V); + if (isa<OverflowingBinaryOperator>(BinOp)) { + VecOp->setHasNoSignedWrap(BinOp->hasNoSignedWrap()); + VecOp->setHasNoUnsignedWrap(BinOp->hasNoUnsignedWrap()); + } + if (isa<PossiblyExactOperator>(VecOp)) + VecOp->setIsExact(BinOp->isExact()); break; } case Instruction::Select: { |