David Majnemer ec7ee07036 InstSimplify: Simplify (X - (0 - Y)) if the second sub is NUW ...

If the NUW bit is set for 0 - Y, we know that all values for Y other
than 0 would produce a poison value.  This allows us to replace (0 - Y)
with 0 in the expression (X - (0 - Y)) which will ultimately leave us
with X.

This partially fixes PR20189.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214384 91177308-0d34-0410-b5e6-96231b3b80d8

2014-07-31 04:49:18 +00:00

..

2010-12-20-Boolean.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

2011-09-05-InsertExtractValue.ll

…

2011-10-27-BinOpCrash.ll

…

2011-11-23-MaskedBitsCrash.ll

…

2013-04-19-ConstantFoldingCrash.ll

…

AndOrXor.ll

InstSimplify: Simplify (X - (0 - Y)) if the second sub is NUW

2014-07-31 04:49:18 +00:00

apint-or.ll

…

ashr-nop.ll

Move ashr optimization from InstCombineShift to InstSimplify.

2014-07-17 06:28:15 +00:00

assume.ll

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

call-callconv.ll

…

call.ll

…

compare.ll

Add a dereferenceable attribute

2014-07-18 15:51:28 +00:00

dead-code-removal.ll

…

exact-nsw-nuw.ll

…

fast-math.ll

…

fdiv.ll

…

floating-point-arithmetic.ll

…

maxmin.ll

…

past-the-end.ll

…

phi.ll

…

ptr_diff.ll

…

reassociate.ll

…

rem.ll

…

undef.ll

…

vector_gep.ll

…