summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/icmp.ll
Commit message (Expand)AuthorAge
* InstCombine: fold (A >> C) == (B >> C) --> (A^B) < (1 << C) for constant Cs.Benjamin Kramer2013-11-16
* [InstCombiner] Expose opportunities to merge subtract and comparison.Quentin Colombet2013-09-09
* Teach InstCombine about address spacesMatt Arsenault2013-08-21
* Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easie...Stephen Lin2013-07-14
* Update Transforms tests to use CHECK-LABEL for easier debugging. No functiona...Stephen Lin2013-07-14
* InstCombine: variations on 0xffffffff - x >= 4David Majnemer2013-07-09
* InstCombine: X & -C != -C -> X <= u ~CDavid Majnemer2013-07-09
* Commit r185909 was a misapplied patch, fix itDavid Majnemer2013-07-09
* InstCombine: add more transformsDavid Majnemer2013-07-09
* InstCombine: Fold X-C1 <u 2 -> (X & -2) == C1David Majnemer2013-07-08
* InstCombine: typo in or_icmp_eq_B_0_icmp_ult_A_B testDavid Majnemer2013-07-06
* InstCombine: (icmp eq B, 0) | (icmp ult A, B) -> (icmp ule A, B-1)David Majnemer2013-07-05
* InstCombine: Optimize (1 << X) Pred CstP2 to X Pred Log2(CstP2)David Majnemer2013-06-28
* Add a testcase from pr16244.Rafael Espindola2013-06-06
* InstCombine: Don't just copy known bits from the first operand of an srem.Benjamin Kramer2013-05-09
* Reorders two transforms that collide with each otherDavid Majnemer2013-04-14
* Simplify (A & ~B) in icmp if A is a power of 2David Majnemer2013-04-12
* Optimize icmp involving addition betterDavid Majnemer2013-04-11
* Address issues found by Duncan during post-commit review of r177856.Arnaud A. de Grandmaison2013-03-25
* InstCombine: simplify comparisons to zero of (shl %x, Cst) or (mul %x, Cst)Arnaud A. de Grandmaison2013-03-25
* Teach InstCombine to work with smaller legal types in icmp (shl %v, C1), C2Arnaud A. de Grandmaison2013-02-15
* Add extra CHECK to make sure that 'or' instruction was replaced.Jakub Staszak2012-12-31
* Transform (A == C1 || A == C2) into (A & ~(C1 ^ C2)) == C1Jakub Staszak2012-12-31
* Transform (x&C)>V into (x&C)!=0 where possiblePaul Redmond2012-12-19
* Revert r170020, "Simplify negated bit test", for now.NAKAMURA Takumi2012-12-13
* Simplify negated bit testDavid Majnemer2012-12-12
* Fix PR14361: wrong simplification of A+B==B+A. You may think that the old logicDuncan Sands2012-11-16
* 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