From 5592071768cfeef8f113db2ca6708723f31ed871 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Thu, 17 Feb 2011 02:23:02 +0000 Subject: preserve NUW/NSW when transforming add x,x llvm-svn: 125711 --- llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'llvm/lib/Transforms') diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp index 4ff005e26c2..89cc540da71 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp @@ -147,8 +147,13 @@ Instruction *InstCombiner::visitAdd(BinaryOperator &I) { return BinaryOperator::CreateXor(LHS, RHS); // X + X --> X << 1 - if (LHS == RHS && I.getType()->isIntegerTy()) - return BinaryOperator::CreateShl(LHS, ConstantInt::get(I.getType(), 1)); + if (LHS == RHS && I.getType()->isIntegerTy()) { + BinaryOperator *New = + BinaryOperator::CreateShl(LHS, ConstantInt::get(I.getType(), 1)); + New->setHasNoSignedWrap(I.hasNoSignedWrap()); + New->setHasNoUnsignedWrap(I.hasNoUnsignedWrap()); + return New; + } // -A + B --> B - A // -A + -B --> -(A + B) -- cgit v1.2.3