aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Transforms/InstCombine/InstCombineAddSub.cpp
Commit message (Expand)AuthorAgeFilesLines
* InstCombine: Make OptimizePointerDifference more aggressive.Benjamin Kramer2012-02-201-27/+27
* InstCombine: Add a combine that turns (2^n)-1 ^ x back into (2^n)-1 - x iff x...Benjamin Kramer2011-12-241-0/+13
* InstCombine: Canonicalize (2^n)-1 - x into (2^n)-1 ^ x iff x is known to be s...Benjamin Kramer2011-12-241-0/+3
* land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner2011-07-181-4/+4
* add is always integer, thanks to Frits for noticing this.Chris Lattner2011-02-171-1/+1
* preserve NUW/NSW when transforming add x,xChris Lattner2011-02-171-2/+7
* When lowering an inbounds gep, the intermediate adds can haveChris Lattner2011-02-111-6/+3
* implement the first part of PR8882: when lowering an inboundsChris Lattner2011-02-101-8/+15
* A bunch of cleanups and simplifications using the new PatternMatch predicatesChris Lattner2011-02-101-176/+132
* one more instcombine variant that is needed to work with future changes,Chris Lattner2011-01-151-0/+9
* Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C)Duncan Sands2010-12-221-6/+8
* Move Sub simplifications and additional Add simplifications out ofDuncan Sands2010-12-151-28/+4
* Rename SimplifyDistributed to the more meaningfull name SimplifyByFactorizing.Duncan Sands2010-11-231-2/+2
* Exploit distributive laws (eg: And distributes over Or, Mul over Add, etc) in aDuncan Sands2010-11-231-0/+5
* InstCombine: Implement X - A*-B -> X + A*B.Benjamin Kramer2010-11-221-0/+9
* Generalize the reassociation transform in SimplifyCommutative (now renamed toDuncan Sands2010-11-131-2/+2
* Floating-point add, sub, and mul are now spelled fadd, fsub, and fmul,Dan Gohman2010-03-021-3/+3
* Uniformize the names of type predicates: rather than having isFloatTy andDuncan Sands2010-02-151-6/+6
* Simplify/generalize the xor+add->sign-extend instcombine.Eli Friedman2010-01-311-35/+19
* Add a small transform: transform -(X<<Y) to (-X<<Y) when the shift has a singleEli Friedman2010-01-311-0/+7
* When the visitSub method was split into visitSub and visitFSub, this xform wasBill Wendling2010-01-131-11/+0
* reduce indentationChris Lattner2010-01-051-15/+18
* Convert a ton of simple integer type equality tests to the new predicate.Benjamin Kramer2010-01-051-2/+2
* split add/sub out to its own file. Eliminate use ofChris Lattner2010-01-051-0/+748