aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstSimplify
AgeCommit message (Expand)Author
2011-09-05InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the ...Benjamin Kramer
2011-09-05Add some simple insertvalue simplifications, for the purpose of cleaningDuncan Sands
2011-07-19Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteedNick Lewycky
2011-07-01Improve constant folding of undef for cmp and select operators.Dan Gohman
2011-07-01Improve constant folding of undef for binary operators.Dan Gohman
2011-05-07The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max isDuncan Sands
2011-05-04Add variations on: max(x,y) >= min(x,z) folds to true. This isn't that common,Duncan Sands
2011-05-03Implement some basic simplifications involving min/max, for exampleDuncan Sands
2011-05-02Move some rem transforms out of instcombine and into instsimplify.Duncan Sands
2011-03-12Teach ComputeMaskedBits about sub nsw.Benjamin Kramer
2011-03-11Teach ComputeMaskedBits about nsw on add. I don't think there's anything we canNick Lewycky
2011-03-09Fix mistyped CHECK lines.Benjamin Kramer
2011-03-09Add another micro-optimization. Apologies for the lack of refactoring, but INick Lewycky
2011-03-05Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky
2011-03-04Revert broken srem logic from r126991.Nick Lewycky
2011-03-04Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky
2011-03-04Teach instruction simplify to use constant ranges to solve problems of the formNick Lewycky
2011-03-01Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There'sNick Lewycky
2011-02-13Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows,Duncan Sands
2011-02-09Teach instsimplify some tricks about exact/nuw/nsw shifts.Chris Lattner
2011-02-06teach instsimplify to transform (X / Y) * Y to XChris Lattner
2011-02-06rename test.Chris Lattner
2011-02-03Improve threading of comparisons over select instructions (spotted by myDuncan Sands
2011-02-02Reenable the transform "(X*Y)/Y->X" when the multiplication is known not toDuncan Sands
2011-02-01Have m_One also match constant vectors for which every element is 1.Duncan Sands
2011-01-30Commit 124487 broke 254.gap. See if disabling the part that might be triggeredDuncan Sands
2011-01-30Transform (X/Y)*Y into X if the division is exact. Instcombine already knows...Duncan Sands
2011-01-29Move InstCombine's knowledge of fdiv to SimplifyInstruction().Frits van Bommel
2011-01-29Fix typo: should have been testing that X was odd, not V.Duncan Sands
2011-01-28My auto-simplifier noticed that ((X/Y)*Y)/Y occurs several times in SPECDuncan Sands
2011-01-25In which I discover that zero+zero is zero, d'oh!Duncan Sands
2011-01-25Turn off this test - the corresponding instsimplify logic has beenDuncan Sands
2011-01-25According to my auto-simplifier the most common missed simplifications inDuncan Sands
2011-01-20At -O123 the early-cse pass is run before instcombine has run. According to myDuncan Sands
2011-01-18For completeness, generalize the (X + Y) - Y -> X transform and add X - (X + ...Duncan Sands
2011-01-18Simplify (X<<1)-X into X. According to my auto-simplier this is the most com...Duncan Sands
2011-01-14Turn X-(X-Y) into Y. According to my auto-simplifier this is the most commonDuncan Sands
2011-01-14Factorize common code out of the InstructionSimplify shift logic. Add inDuncan Sands
2011-01-14Rename this test.Duncan Sands
2011-01-13The most common simplification missed by instsimplify in unoptimized bitcodeDuncan Sands
2011-01-01Revert commit 122654 at the request of Chris, who reckons that instsimplifyDuncan Sands
2011-01-01Fix a README item by having InstructionSimplify do a mild form of valueDuncan Sands
2010-12-22When determining whether the new instruction was already present inDuncan Sands
2010-12-21Add an additional InstructionSimplify factorization test.Duncan Sands
2010-12-21While I don't think any later transforms can fire, it seems cleaner toDuncan Sands
2010-12-21Fix typo in comment, spotted by Deewiant.Duncan Sands
2010-12-21Teach InstructionSimplify about distributive laws. These transforms fireDuncan Sands
2010-12-21Add generic simplification of associative operations, generalizingDuncan Sands