aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/icmp.ll
AgeCommit message (Expand)Author
2013-03-25Address issues found by Duncan during post-commit review of r177856.Arnaud A. de Grandmaison
2013-03-25InstCombine: simplify comparisons to zero of (shl %x, Cst) or (mul %x, Cst)Arnaud A. de Grandmaison
2013-02-15Teach InstCombine to work with smaller legal types in icmp (shl %v, C1), C2Arnaud A. de Grandmaison
2012-12-31Add extra CHECK to make sure that 'or' instruction was replaced.Jakub Staszak
2012-12-31Transform (A == C1 || A == C2) into (A & ~(C1 ^ C2)) == C1Jakub Staszak
2012-12-19Transform (x&C)>V into (x&C)!=0 where possiblePaul Redmond
2012-12-13Revert r170020, "Simplify negated bit test", for now.NAKAMURA Takumi
2012-12-12Simplify negated bit testDavid Majnemer
2012-11-16Fix PR14361: wrong simplification of A+B==B+A. You may think that the old logicDuncan Sands
2012-06-10InstCombine: Turn (zext A) == (B & (1<<X)-1) into A == (trunc B), narrowing t...Benjamin Kramer
2012-02-26Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky
2012-02-25Roll these back to r151448 until I figure out how they're breakingNick Lewycky
2012-02-25Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky
2012-02-21InstCombine: Don't transform a signed icmp of two GEPs into a signed compare ...Benjamin Kramer
2012-02-20Test case for r150978.Benjamin Kramer
2012-02-20InstCombine: When comparing two GEPs that were derived from the same base poi...Benjamin Kramer
2012-01-27Add r149110 back with a fix for when the vector and the int have the sameRafael Espindola
2012-01-27Revert r149110 and add a testcase that was crashing since that revision.Rafael Espindola
2012-01-27enhance constant folding to be able to constant fold bitcast of Chris Lattner
2012-01-05FileCheck hygiene.Benjamin Kramer
2011-12-01Improved fix for abs(val) != 0 to check other similar case. Also fixed style...Pete Cooper
2011-12-01Removed use of grep from test and moved it to be with other icmp testsPete Cooper
2011-07-04PR10267: Don't combine an equality compare with an AND into an inequality com...Benjamin Kramer
2011-06-13InstCombine: Fold A-b == C --> b == A-C if A and C are constants.Benjamin Kramer
2011-06-12InstCombine: Shrink ((zext X) & C1) == C2 to fold away the cast if the "zext"...Benjamin Kramer
2011-05-05PR9838: Fix transform introduced in r127064 to not trigger when only one side...Eli Friedman
2011-04-26Transform: "icmp eq (trunc (lshr(X, cst1)), cst" to "icmp (and X, mask), cst"Chris Lattner
2011-03-09Fix mistyped CHECK lines.Benjamin Kramer
2011-03-07Tweak this test. We can analyze what happens and show that we still do theNick Lewycky
2011-03-07Add more analysis of the sign bit of an srem instruction. If the LHS is negativeNick Lewycky
2011-03-06ConstantInt has some getters which return ConstantInt's or ConstantVector's ofNick Lewycky
2011-03-05Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky
2011-03-05Try once again to optimize "icmp (srem X, Y), Y" by turning the comparison intoNick Lewycky
2011-03-04Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky
2011-02-28srem doesn't actually have the same resulting sign as its numerator, you couldNick Lewycky
2011-02-28Teach InstCombine to fold "(shr exact X, Y) == 0" --> X == 0, fixing #1 fromNick Lewycky
2011-02-28The sign of an srem instruction is the sign of its dividend (the firstNick Lewycky
2011-02-18Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands
2011-02-17Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands
2011-02-10implement the first part of PR8882: when lowering an inboundsChris Lattner
2011-02-09merge two tests.Chris Lattner
2011-01-11Fix a random missed optimization by making InstCombine more aggressive when d...Owen Anderson
2010-11-23duncan's spider sense was right, I completely reversed the conditionChris Lattner
2010-11-21optimize:Chris Lattner
2010-06-28Constant fold x == undef to undef.Dan Gohman
2010-03-03fix incorrect folding of icmp with undef, PR6481.Chris Lattner
2010-02-01fix PR6195, a bug constant folding scalar -> vector compares.Chris Lattner
2009-12-21enhance x-(-A) -> x+A to preserve NUW/NSW.Chris Lattner
2009-12-21Optimize all cases of "icmp (X+Cst), X" to something simpler. This triggersChris Lattner
2009-12-21convert to filecheckChris Lattner