Benjamin Kramer 4968944376 [Reassociate] Similar to "X + -X" -> "0", added code to handle "X + ~X" -> "-1". ...

Handle "X + ~X" -> "-1" in the function Value *Reassociate::OptimizeAdd(Instruction *I, SmallVectorImpl<ValueEntry> &Ops);
This patch implements:
TODO: We could handle "X + ~X" -> "-1" if we wanted, since "-X = ~X+1".

Patch by Rahul Jain!

Differential Revision: http://reviews.llvm.org/D3835

llvm-svn: 209973

2014-05-31 15:01:54 +00:00

..

2002-05-15-AgressiveSubMove.ll

…

2002-05-15-MissedTree.ll

…

2002-05-15-SubReassociate2.ll

…

2002-05-15-SubReassociate.ll

…

2002-07-09-DominanceProblem.ll

…

2003-08-12-InfiniteLoop.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2005-09-01-ArrayOutOfBounds.ll

…

2006-04-27-ReassociateVector.ll

…

2011-01-26-UseAfterFree.ll

…

2012-05-08-UndefLeak.ll

…

2012-06-08-InfiniteLoop.ll

…

absorption.ll

…

basictest.ll

…

crash.ll

…

fp-commute.ll

…

inverses.ll

[Reassociate] Similar to "X + -X" -> "0", added code to handle "X + ~X" -> "-1".

2014-05-31 15:01:54 +00:00

looptest.ll

…

mightymul.ll

…

mulfactor.ll

…

multistep.ll

…

negation.ll

…

no-op.ll

…

optional-flags.ll

…

otherops.ll

…

pr12245.ll

…

repeats.ll

…

secondary.ll

…

shift-factor.ll

…

shifttest.ll

…

subtest2.ll

…

subtest.ll

…

xor_reassoc.ll

…