aboutsummaryrefslogtreecommitdiff
path: root/lib/Transforms/InstCombine/InstCombineAddSub.cpp
AgeCommit message (Expand)Author
2013-03-14Perform factorization as a last resort of unsafe fadd/fsub simplification.Shuxin Yang
2013-01-21Transform (sub 0, (zext bool to A)) to (sext bool to A) andPaul Redmond
2013-01-14Fix Casting BugDavid Greene
2013-01-02Move all of the header files which are involved in modelling the LLVM IRChandler Carruth
2012-12-19Make sure the buffer, which containas an instance of APFloat, has proper alig...Shuxin Yang
2012-12-18rdar://12801297 Shuxin Yang
2012-12-14Add back FoldOpIntoPhi optimizations with fix. Included test cases to help ca...Michael Ilseman
2012-12-13Revert "Restore the PHI optimization I accidently removed" temporarily sinceEric Christopher
2012-12-12Restore the PHI optimization I accidently removedMichael Ilseman
2012-12-12Remove trailing whitespaceMichael Ilseman
2012-12-12Remove redunant optimizations from InstCombine, instead call the appropriate ...Michael Ilseman
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-09-27Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru
2012-09-27Fix a typo 'iff' => 'if'Sylvestre Ledru
2012-06-26Remove a instcombine transform that (no longer?) makes sense:Evan Cheng
2012-06-08canonicalize:Nuno Lopes
2012-05-22add a new pass to instrument loads and stores for run-time bounds checkingNuno Lopes
2012-05-10objectsize: add support for GEPs with non-constant indexesNuno Lopes
2012-04-26Add instcombine patterns for the following transformations:Chad Rosier
2012-04-04Always compute all the bits in ComputeMaskedBits.Rafael Espindola
2012-02-20InstCombine: Make OptimizePointerDifference more aggressive.Benjamin Kramer
2011-12-24InstCombine: Add a combine that turns (2^n)-1 ^ x back into (2^n)-1 - x iff x...Benjamin Kramer
2011-12-24InstCombine: Canonicalize (2^n)-1 - x into (2^n)-1 ^ x iff x is known to be s...Benjamin Kramer
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