aboutsummaryrefslogtreecommitdiff
path: root/lib/Transforms/InstCombine/InstCombineAddSub.cpp
AgeCommit message (Expand)Author
2011-07-18land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner
2011-02-17add is always integer, thanks to Frits for noticing this.Chris Lattner
2011-02-17preserve NUW/NSW when transforming add x,xChris Lattner
2011-02-11When lowering an inbounds gep, the intermediate adds can haveChris Lattner
2011-02-10implement the first part of PR8882: when lowering an inboundsChris Lattner
2011-02-10A bunch of cleanups and simplifications using the new PatternMatch predicatesChris Lattner
2011-01-15one more instcombine variant that is needed to work with future changes,Chris Lattner
2010-12-22Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C)Duncan Sands
2010-12-15Move Sub simplifications and additional Add simplifications out ofDuncan Sands
2010-11-23Rename SimplifyDistributed to the more meaningfull name SimplifyByFactorizing.Duncan Sands
2010-11-23Exploit distributive laws (eg: And distributes over Or, Mul over Add, etc) in aDuncan Sands
2010-11-22InstCombine: Implement X - A*-B -> X + A*B.Benjamin Kramer
2010-11-13Generalize the reassociation transform in SimplifyCommutative (now renamed toDuncan Sands
2010-03-02Floating-point add, sub, and mul are now spelled fadd, fsub, and fmul,Dan Gohman
2010-02-15Uniformize the names of type predicates: rather than having isFloatTy andDuncan Sands
2010-01-31Simplify/generalize the xor+add->sign-extend instcombine.Eli Friedman
2010-01-31Add a small transform: transform -(X<<Y) to (-X<<Y) when the shift has a singleEli Friedman
2010-01-13When the visitSub method was split into visitSub and visitFSub, this xform wasBill Wendling
2010-01-05reduce indentationChris Lattner
2010-01-05Convert a ton of simple integer type equality tests to the new predicate.Benjamin Kramer
2010-01-05split add/sub out to its own file. Eliminate use ofChris Lattner