summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/icmp.ll
Commit message (Expand)AuthorAge
* Merging r168181: into 3.2 release branch.Pawel Wodnicki2012-11-21
* InstCombine: Turn (zext A) == (B & (1<<X)-1) into A == (trunc B), narrowing t...Benjamin Kramer2012-06-10
* Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky2012-02-26
* Roll these back to r151448 until I figure out how they're breakingNick Lewycky2012-02-25
* Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky2012-02-25
* InstCombine: Don't transform a signed icmp of two GEPs into a signed compare ...Benjamin Kramer2012-02-21
* Test case for r150978.Benjamin Kramer2012-02-20
* InstCombine: When comparing two GEPs that were derived from the same base poi...Benjamin Kramer2012-02-20
* Add r149110 back with a fix for when the vector and the int have the sameRafael Espindola2012-01-27
* Revert r149110 and add a testcase that was crashing since that revision.Rafael Espindola2012-01-27
* enhance constant folding to be able to constant fold bitcast of Chris Lattner2012-01-27
* FileCheck hygiene.Benjamin Kramer2012-01-05
* Improved fix for abs(val) != 0 to check other similar case. Also fixed style...Pete Cooper2011-12-01
* Removed use of grep from test and moved it to be with other icmp testsPete Cooper2011-12-01
* 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