aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine/icmp.ll
Commit message (Expand)AuthorAgeFilesLines
* InstCombine: variations on 0xffffffff - x >= 4David Majnemer2013-07-091-0/+18
* InstCombine: X & -C != -C -> X <= u ~CDavid Majnemer2013-07-091-40/+0
* Commit r185909 was a misapplied patch, fix itDavid Majnemer2013-07-091-0/+58
* InstCombine: add more transformsDavid Majnemer2013-07-091-0/+40
* InstCombine: Fold X-C1 <u 2 -> (X & -2) == C1David Majnemer2013-07-081-0/+10
* InstCombine: typo in or_icmp_eq_B_0_icmp_ult_A_B testDavid Majnemer2013-07-061-2/+2
* InstCombine: (icmp eq B, 0) | (icmp ult A, B) -> (icmp ule A, B-1)David Majnemer2013-07-051-0/+11
* InstCombine: Optimize (1 << X) Pred CstP2 to X Pred Log2(CstP2)David Majnemer2013-06-281-0/+104
* Add a testcase from pr16244.Rafael Espindola2013-06-061-0/+10
* InstCombine: Don't just copy known bits from the first operand of an srem.Benjamin Kramer2013-05-091-0/+12
* Reorders two transforms that collide with each otherDavid Majnemer2013-04-141-0/+12
* Simplify (A & ~B) in icmp if A is a power of 2David Majnemer2013-04-121-0/+26
* Optimize icmp involving addition betterDavid Majnemer2013-04-111-0/+52
* Address issues found by Duncan during post-commit review of r177856.Arnaud A. de Grandmaison2013-03-251-2/+2
* InstCombine: simplify comparisons to zero of (shl %x, Cst) or (mul %x, Cst)Arnaud A. de Grandmaison2013-03-251-0/+142
* Teach InstCombine to work with smaller legal types in icmp (shl %v, C1), C2Arnaud A. de Grandmaison2013-02-151-0/+38
* Add extra CHECK to make sure that 'or' instruction was replaced.Jakub Staszak2012-12-311-0/+1
* Transform (A == C1 || A == C2) into (A & ~(C1 ^ C2)) == C1Jakub Staszak2012-12-311-0/+11
* Transform (x&C)>V into (x&C)!=0 where possiblePaul Redmond2012-12-191-0/+17
* Revert r170020, "Simplify negated bit test", for now.NAKAMURA Takumi2012-12-131-26/+0
* Simplify negated bit testDavid Majnemer2012-12-121-0/+26
* Fix PR14361: wrong simplification of A+B==B+A. You may think that the old logicDuncan Sands2012-11-161-0/+18
* 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