aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine/icmp.ll
Commit message (Expand)AuthorAgeFilesLines
* InstCombine: Turn (zext A) == (B & (1<<X)-1) into A == (trunc B), narrowing t...Benjamin Kramer2012-06-101-0/+22
* Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky2012-02-261-3/+1
* Roll these back to r151448 until I figure out how they're breakingNick Lewycky2012-02-251-1/+3
* Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky2012-02-251-3/+1
* InstCombine: Don't transform a signed icmp of two GEPs into a signed compare ...Benjamin Kramer2012-02-211-0/+11
* Test case for r150978.Benjamin Kramer2012-02-201-0/+13
* InstCombine: When comparing two GEPs that were derived from the same base poi...Benjamin Kramer2012-02-201-0/+26
* Add r149110 back with a fix for when the vector and the int have the sameRafael Espindola2012-01-271-6/+5
* Revert r149110 and add a testcase that was crashing since that revision.Rafael Espindola2012-01-271-2/+12
* enhance constant folding to be able to constant fold bitcast of Chris Lattner2012-01-271-2/+2
* FileCheck hygiene.Benjamin Kramer2012-01-051-1/+1
* Improved fix for abs(val) != 0 to check other similar case. Also fixed style...Pete Cooper2011-12-011-2/+12
* Removed use of grep from test and moved it to be with other icmp testsPete Cooper2011-12-011-0/+11
* PR10267: Don't combine an equality compare with an AND into an inequality com...Benjamin Kramer2011-07-041-0/+12
* InstCombine: Fold A-b == C --> b == A-C if A and C are constants.Benjamin Kramer2011-06-131-0/+16
* InstCombine: Shrink ((zext X) & C1) == C2 to fold away the cast if the "zext"...Benjamin Kramer2011-06-121-0/+10
* PR9838: Fix transform introduced in r127064 to not trigger when only one side...Eli Friedman2011-05-051-0/+11
* Transform: "icmp eq (trunc (lshr(X, cst1)), cst" to "icmp (and X, mask), cst"Chris Lattner2011-04-261-0/+16
* Fix mistyped CHECK lines.Benjamin Kramer2011-03-091-1/+1
* Tweak this test. We can analyze what happens and show that we still do theNick Lewycky2011-03-071-2/+2
* Add more analysis of the sign bit of an srem instruction. If the LHS is negativeNick Lewycky2011-03-071-0/+19
* ConstantInt has some getters which return ConstantInt's or ConstantVector's ofNick Lewycky2011-03-061-0/+10
* Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky2011-03-051-0/+46
* Try once again to optimize "icmp (srem X, Y), Y" by turning the comparison intoNick Lewycky2011-03-051-0/+16
* Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky2011-03-041-2/+11
* srem doesn't actually have the same resulting sign as its numerator, you couldNick Lewycky2011-02-281-15/+5
* Teach InstCombine to fold "(shr exact X, Y) == 0" --> X == 0, fixing #1 fromNick Lewycky2011-02-281-0/+17
* The sign of an srem instruction is the sign of its dividend (the firstNick Lewycky2011-02-281-0/+10
* Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands2011-02-181-1/+125
* Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands2011-02-171-0/+19
* implement the first part of PR8882: when lowering an inboundsChris Lattner2011-02-101-0/+16
* merge two tests.Chris Lattner2011-02-091-0/+9
* Fix a random missed optimization by making InstCombine more aggressive when d...Owen Anderson2011-01-111-0/+17
* duncan's spider sense was right, I completely reversed the conditionChris Lattner2010-11-231-4/+4
* optimize:Chris Lattner2010-11-211-0/+38
* Constant fold x == undef to undef.Dan Gohman2010-06-281-0/+23
* fix incorrect folding of icmp with undef, PR6481.Chris Lattner2010-03-031-1/+11
* fix PR6195, a bug constant folding scalar -> vector compares.Chris Lattner2010-02-011-0/+9
* enhance x-(-A) -> x+A to preserve NUW/NSW.Chris Lattner2009-12-211-0/+13
* Optimize all cases of "icmp (X+Cst), X" to something simpler. This triggersChris Lattner2009-12-211-0/+37
* convert to filecheckChris Lattner2009-12-211-1/+21
* simplify a transformation by making it more general.Chris Lattner2009-10-111-1/+9
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-081-1/+1
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-081-1/+1
* fix PR4837, some bugs folding vector compares. TheseChris Lattner2009-09-021-0/+6
* Implement rdar://6480391, extending of equality icmp's to avoid a truncation.Chris Lattner2009-01-091-1/+0
* For PR1319:Reid Spencer2007-04-141-1/+1
* sext of compares.Chris Lattner2007-04-111-0/+14
* new testcaseChris Lattner2007-04-111-0/+17