Revert r245635, "[InstCombine] Transform A & (L - 1) u< L --> L != 0"
[oota-llvm.git] / test / Transforms / InstCombine / icmp.ll
2015-08-21 NAKAMURA TakumiRevert r245635, "[InstCombine] Transform A & (L - 1...
2015-08-20 Sanjoy Das[InstCombine] Transform A & (L - 1) u< L --> L != 0
2015-03-26 Benjamin KramerInstCombine: fold (A << C) == (B << C) --> ((A^B) ...
2015-03-13 David Blaikie[opaque pointer type] Add textual IR support for explic...
2015-02-27 David Blaikie[opaque pointer type] Add textual IR support for explic...
2015-01-14 David MajnemerInstCombine: Don't take A-B<0 into A<B if A-B has other...
2014-12-31 David MajnemerInstCombine: try to transform A-B < 0 into A < B
2014-11-06 David MajnemerInstCombine: Rely on cmpxchg's return code when it...
2014-11-01 David MajnemerInstCombine: Combine (X+cst) < 0 --> X < -cst
2014-10-19 David MajnemerInstCombine: Optimize icmp eq/ne (shl Const2, A), Const1
2014-08-28 David MajnemerInstSimplify: Move a transform from InstCombine to...
2014-08-24 David MajnemerInstCombine: Properly optimize or'ing bittests together
2014-06-09 Matt ArsenaultLook through addrspacecasts when turning ptr comparison...
2014-06-07 Rafael EspindolaRevert 209903 and 210040.
2014-06-02 Rafael EspindolaAdded support to optimize comparisons with "lshr exact...
2014-06-02 Dinesh DwivediAdded inst combine tarnsform for (1 << X) & C pattrens...
2014-05-30 Rafael EspindolaPR19753: Optimize comparisons with "ashr exact" of...
2014-05-15 David MajnemerInstCombine: Optimize -x s< cst
2014-03-28 Erik VerbruggenRevert "InstCombine: merge constants in both operands...
2014-03-27 Reid KlecknerInstCombine: Don't combine constants on unsigned icmps
2014-03-27 Erik VerbruggenInstCombine: merge constants in both operands of icmp.
2013-11-16 Benjamin KramerInstCombine: fold (A >> C) == (B >> C) --> (A^B) <...
2013-09-09 Quentin Colombet[InstCombiner] Expose opportunities to merge subtract...
2013-08-21 Matt ArsenaultTeach InstCombine about address spaces
2013-07-14 Stephen LinCatch more CHECK that can be converted to CHECK-LABEL...
2013-07-14 Stephen LinUpdate Transforms tests to use CHECK-LABEL for easier...
2013-07-09 David MajnemerInstCombine: variations on 0xffffffff - x >= 4
2013-07-09 David MajnemerInstCombine: X & -C != -C -> X <= u ~C
2013-07-09 David MajnemerCommit r185909 was a misapplied patch, fix it
2013-07-09 David MajnemerInstCombine: add more transforms
2013-07-08 David MajnemerInstCombine: Fold X-C1 <u 2 -> (X & -2) == C1
2013-07-06 David MajnemerInstCombine: typo in or_icmp_eq_B_0_icmp_ult_A_B test
2013-07-05 David MajnemerInstCombine: (icmp eq B, 0) | (icmp ult A, B) -> (icmp...
2013-06-28 David MajnemerInstCombine: Optimize (1 << X) Pred CstP2 to X Pred...
2013-06-06 Rafael EspindolaAdd a testcase from pr16244.
2013-05-09 Benjamin KramerInstCombine: Don't just copy known bits from the first...
2013-04-14 David MajnemerReorders two transforms that collide with each other
2013-04-12 David MajnemerSimplify (A & ~B) in icmp if A is a power of 2
2013-04-11 David MajnemerOptimize icmp involving addition better
2013-03-25 Arnaud A. de Grand... Address issues found by Duncan during post-commit revie...
2013-03-25 Arnaud A. de Grand... InstCombine: simplify comparisons to zero of (shl ...
2013-02-15 Arnaud A. de Grand... Teach InstCombine to work with smaller legal types...
2012-12-31 Jakub StaszakAdd extra CHECK to make sure that 'or' instruction...
2012-12-31 Jakub StaszakTransform (A == C1 || A == C2) into (A & ~(C1 ^ C2...
2012-12-19 Paul RedmondTransform (x&C)>V into (x&C)!=0 where possible
2012-12-13 NAKAMURA TakumiRevert r170020, "Simplify negated bit test", for now.
2012-12-12 David MajnemerSimplify negated bit test
2012-11-16 Duncan SandsFix PR14361: wrong simplification of A+B==B+A. You...
2012-06-10 Benjamin KramerInstCombine: Turn (zext A) == (B & (1<<X)-1) into A...
2012-02-26 Nick LewyckyReinstate the optimization from r151449 with a fix...
2012-02-25 Nick LewyckyRoll these back to r151448 until I figure out how they...
2012-02-25 Nick LewyckyTeach instsimplify to be more aggressive when analyzing...
2012-02-21 Benjamin KramerInstCombine: Don't transform a signed icmp of two GEPs...
2012-02-20 Benjamin KramerTest case for r150978.
2012-02-20 Benjamin KramerInstCombine: When comparing two GEPs that were derived...
2012-01-27 Rafael EspindolaAdd r149110 back with a fix for when the vector and...
2012-01-27 Rafael EspindolaRevert r149110 and add a testcase that was crashing...
2012-01-27 Chris Lattnerenhance constant folding to be able to constant fold...
2012-01-05 Benjamin KramerFileCheck hygiene.
2011-12-01 Pete CooperImproved fix for abs(val) != 0 to check other similar...
2011-12-01 Pete CooperRemoved use of grep from test and moved it to be with...
2011-07-04 Benjamin KramerPR10267: Don't combine an equality compare with an...
2011-06-13 Benjamin KramerInstCombine: Fold A-b == C --> b == A-C if A and C...
2011-06-12 Benjamin KramerInstCombine: Shrink ((zext X) & C1) == C2 to fold away...
2011-05-05 Eli FriedmanPR9838: Fix transform introduced in r127064 to not...
2011-04-26 Chris LattnerTransform: "icmp eq (trunc (lshr(X, cst1)), cst" to...
2011-03-09 Benjamin KramerFix mistyped CHECK lines.
2011-03-07 Nick LewyckyTweak this test. We can analyze what happens and show...
2011-03-07 Nick LewyckyAdd more analysis of the sign bit of an srem instructio...
2011-03-06 Nick LewyckyConstantInt has some getters which return ConstantInt...
2011-03-05 Nick LewyckyThread comparisons over udiv/sdiv/ashr/lshr exact and...
2011-03-05 Nick LewyckyTry once again to optimize "icmp (srem X, Y), Y" by...
2011-03-04 Nick LewyckyFold "icmp pred (srem X, Y), Y" like we do for urem...
2011-02-28 Nick Lewyckysrem doesn't actually have the same resulting sign...
2011-02-28 Nick LewyckyTeach InstCombine to fold "(shr exact X, Y) == 0" ...
2011-02-28 Nick LewyckyThe sign of an srem instruction is the sign of its...
2011-02-18 Duncan SandsAdd some transforms of the kind X-Y>X -> 0>Y which...
2011-02-17 Duncan SandsTransform "A + B >= A + C" into "B >= C" if the adds...
2011-02-10 Chris Lattnerimplement the first part of PR8882: when lowering an...
2011-02-09 Chris Lattnermerge two tests.
2011-01-11 Owen AndersonFix a random missed optimization by making InstCombine...
2010-11-23 Chris Lattnerduncan's spider sense was right, I completely reversed...
2010-11-21 Chris Lattneroptimize:
2010-06-28 Dan GohmanConstant fold x == undef to undef.
2010-03-03 Chris Lattnerfix incorrect folding of icmp with undef, PR6481.
2010-02-01 Chris Lattnerfix PR6195, a bug constant folding scalar -> vector...
2009-12-21 Chris Lattnerenhance x-(-A) -> x+A to preserve NUW/NSW.
2009-12-21 Chris LattnerOptimize all cases of "icmp (X+Cst), X" to something...
2009-12-21 Chris Lattnerconvert to filecheck
2009-10-11 Chris Lattnersimplify a transformation by making it more general.
2009-09-08 Dan GohmanUse opt -S instead of piping bitcode output through...
2009-09-08 Dan GohmanChange these tests to feed the assembly files to opt...
2009-09-02 Chris Lattnerfix PR4837, some bugs folding vector compares. These
2009-01-09 Chris LattnerImplement rdar://6480391, extending of equality icmp...
2007-04-14 Reid SpencerFor PR1319:
2007-04-11 Chris Lattnersext of compares.
2007-04-11 Chris Lattnernew testcase