summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/icmp.ll
Commit message (Expand)AuthorAge
* PR10267: Don't combine an equality compare with an AND into an inequality com...Benjamin Kramer2011-07-04
* InstCombine: Fold A-b == C --> b == A-C if A and C are constants.Benjamin Kramer2011-06-13
* InstCombine: Shrink ((zext X) & C1) == C2 to fold away the cast if the "zext"...Benjamin Kramer2011-06-12
* PR9838: Fix transform introduced in r127064 to not trigger when only one side...Eli Friedman2011-05-05
* Transform: "icmp eq (trunc (lshr(X, cst1)), cst" to "icmp (and X, mask), cst"Chris Lattner2011-04-26
* Fix mistyped CHECK lines.Benjamin Kramer2011-03-09
* Tweak this test. We can analyze what happens and show that we still do theNick Lewycky2011-03-07
* Add more analysis of the sign bit of an srem instruction. If the LHS is negativeNick Lewycky2011-03-07
* ConstantInt has some getters which return ConstantInt's or ConstantVector's ofNick Lewycky2011-03-06
* Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky2011-03-05
* Try once again to optimize "icmp (srem X, Y), Y" by turning the comparison intoNick Lewycky2011-03-05
* Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky2011-03-04
* srem doesn't actually have the same resulting sign as its numerator, you couldNick Lewycky2011-02-28
* Teach InstCombine to fold "(shr exact X, Y) == 0" --> X == 0, fixing #1 fromNick Lewycky2011-02-28
* The sign of an srem instruction is the sign of its dividend (the firstNick Lewycky2011-02-28
* Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands2011-02-18
* Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands2011-02-17
* implement the first part of PR8882: when lowering an inboundsChris Lattner2011-02-10
* merge two tests.Chris Lattner2011-02-09
* Fix a random missed optimization by making InstCombine more aggressive when d...Owen Anderson2011-01-11
* duncan's spider sense was right, I completely reversed the conditionChris Lattner2010-11-23
* optimize:Chris Lattner2010-11-21
* Constant fold x == undef to undef.Dan Gohman2010-06-28
* fix incorrect folding of icmp with undef, PR6481.Chris Lattner2010-03-03
* fix PR6195, a bug constant folding scalar -> vector compares.Chris Lattner2010-02-01
* enhance x-(-A) -> x+A to preserve NUW/NSW.Chris Lattner2009-12-21
* Optimize all cases of "icmp (X+Cst), X" to something simpler. This triggersChris Lattner2009-12-21
* convert to filecheckChris Lattner2009-12-21
* simplify a transformation by making it more general.Chris Lattner2009-10-11
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-08
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-08
* fix PR4837, some bugs folding vector compares. TheseChris Lattner2009-09-02
* Implement rdar://6480391, extending of equality icmp's to avoid a truncation.Chris Lattner2009-01-09
* For PR1319:Reid Spencer2007-04-14
* sext of compares.Chris Lattner2007-04-11
* new testcaseChris Lattner2007-04-11