aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstSimplify
Commit message (Expand)AuthorAgeFilesLines
* Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky2012-02-162-3/+1
* Fix PR11948: the result type of an icmp may be a vector of boolean -Duncan Sands2012-02-101-0/+7
* Revert commit 149912 (lattner) and add a testcase that shows the problem (whichDuncan Sands2012-02-101-0/+9
* Add support for vectors of pointers.Nadav Rotem2011-12-051-0/+8
* Fix a crash in which a multiplication was being reported as being both negativeDuncan Sands2011-11-231-0/+17
* Fix code to match comment. Fixes PR11340, a regression from r143209.Eli Friedman2011-11-081-0/+10
* Add tests for existing InstSimplify features.Dan Gohman2011-11-041-0/+21
* Teach instsimplify to simplify calls to undef.Dan Gohman2011-11-041-0/+7
* Reapply commit 143214 with a fix: m_ICmp doesn't match conditionsDuncan Sands2011-10-301-0/+18
* Revert r143214; it's breaking a bunch of stuff.Eli Friedman2011-10-291-9/+0
* The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false.Duncan Sands2011-10-281-0/+9
* A shift of a power of two is a power of two or zero.Duncan Sands2011-10-281-0/+10
* Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizerDuncan Sands2011-10-281-0/+24
* Reapply commit 143028 with a fix: the problem was casting a ConstantExpr MulDuncan Sands2011-10-272-0/+43
* Revert Duncan's r143028 expression folding which appears to be the culpritBob Wilson2011-10-271-31/+0
* The maximum power of 2 dividing a power of 2 is itself. This occursDuncan Sands2011-10-261-0/+12
* My super-optimizer noticed that we weren't folding this expression toDuncan Sands2011-10-261-0/+31
* InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the ...Benjamin Kramer2011-09-051-4/+11
* Add some simple insertvalue simplifications, for the purpose of cleaningDuncan Sands2011-09-051-0/+22
* Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteedNick Lewycky2011-07-191-11/+0
* Improve constant folding of undef for cmp and select operators.Dan Gohman2011-07-011-0/+28
* Improve constant folding of undef for binary operators.Dan Gohman2011-07-011-0/+99
* The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max isDuncan Sands2011-05-071-0/+36
* Add variations on: max(x,y) >= min(x,z) folds to true. This isn't that common,Duncan Sands2011-05-041-0/+88
* Implement some basic simplifications involving min/max, for exampleDuncan Sands2011-05-031-0/+145
* Move some rem transforms out of instcombine and into instsimplify.Duncan Sands2011-05-021-0/+17
* Teach ComputeMaskedBits about sub nsw.Benjamin Kramer2011-03-121-0/+23
* Teach ComputeMaskedBits about nsw on add. I don't think there's anything we canNick Lewycky2011-03-111-0/+10
* Fix mistyped CHECK lines.Benjamin Kramer2011-03-091-1/+1
* Add another micro-optimization. Apologies for the lack of refactoring, but INick Lewycky2011-03-091-0/+8
* Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky2011-03-051-0/+9
* Revert broken srem logic from r126991.Nick Lewycky2011-03-041-9/+0
* Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky2011-03-041-0/+18
* Teach instruction simplify to use constant ranges to solve problems of the formNick Lewycky2011-03-041-4/+76
* Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There'sNick Lewycky2011-03-011-0/+16
* Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows,Duncan Sands2011-02-131-0/+20
* Teach instsimplify some tricks about exact/nuw/nsw shifts.Chris Lattner2011-02-091-0/+44
* teach instsimplify to transform (X / Y) * Y to XChris Lattner2011-02-061-0/+20
* rename test.Chris Lattner2011-02-061-0/+0
* Improve threading of comparisons over select instructions (spotted by myDuncan Sands2011-02-031-0/+35
* Reenable the transform "(X*Y)/Y->X" when the multiplication is known not toDuncan Sands2011-02-021-0/+4
* Have m_One also match constant vectors for which every element is 1.Duncan Sands2011-02-011-0/+8
* Commit 124487 broke 254.gap. See if disabling the part that might be triggeredDuncan Sands2011-01-301-4/+0
* Transform (X/Y)*Y into X if the division is exact. Instcombine already knows...Duncan Sands2011-01-301-0/+18
* Move InstCombine's knowledge of fdiv to SimplifyInstruction().Frits van Bommel2011-01-291-0/+17
* Fix typo: should have been testing that X was odd, not V.Duncan Sands2011-01-291-0/+24
* My auto-simplifier noticed that ((X/Y)*Y)/Y occurs several times in SPECDuncan Sands2011-01-281-0/+56
* In which I discover that zero+zero is zero, d'oh!Duncan Sands2011-01-251-1/+14
* Turn off this test - the corresponding instsimplify logic has beenDuncan Sands2011-01-251-2/+0
* According to my auto-simplifier the most common missed simplifications inDuncan Sands2011-01-251-0/+54