Teach ComputeMaskedBits about nsw on add. I don't think there's anything we can
[oota-llvm.git] / test / Transforms / InstCombine /
2011-03-10 Benjamin KramerInstCombine: Turn umul_with_overflow into mul nuw if...
2011-03-09 Benjamin KramerFix mistyped CHECK lines.
2011-03-09 Eli FriedmanPR9346: Prevent SimplifyDemandedBits from incorrectly...
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-03-01 Anders CarlssonMake InstCombiner::FoldAndOfICmps create a ConstantRang...
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-24 Chris Lattnerchange instcombine to not turn a call to non-varargs...
2011-02-20 Benjamin KramerInstCombine: Add a bunch of combines of the form x...
2011-02-19 Eli FriedmanPR9218: SimplifyDemandedVectorElts can return a non...
2011-02-18 Duncan SandsAdd some transforms of the kind X-Y>X -> 0>Y which...
2011-02-17 Chris Lattnerhave instcombine preserve nsw/nuw/exact when sinking
2011-02-17 Chris Lattnerfix instcombine merging GEPs through a PHI to only...
2011-02-17 Nadav RotemEnhance constant folding of bitcast operations on vecto...
2011-02-17 Duncan SandsTransform "A + B >= A + C" into "B >= C" if the adds...
2011-02-17 Chris Lattnerpreserve NUW/NSW when transforming add x,x
2011-02-17 Chris Lattnerfilecheckize
2011-02-15 Nick LewyckyTeach PatternMatch that splat vectors could be floating...
2011-02-15 Nadav RotemFix 9216 - Endless loop in InstCombine pass.
2011-02-13 Nadav RotemFix test
2011-02-13 Nadav RotemFix a regression from r125393;
2011-02-13 Chris Lattneradd PR#
2011-02-13 Chris Lattnerimplement instcombine folding for things like (x >...
2011-02-11 Benjamin KramerAlso fold (A+B) == A -> B == 0 when the add is commuted.
2011-02-11 Nadav RotemFix 9173.
2011-02-10 Chris Lattnerimplement the first part of PR8882: when lowering an...
2011-02-10 Chris LattnerEnhance a bunch of transformations in instcombine to...
2011-02-10 Chris LattnerEnhance the "compare with shift" and "compare with...
2011-02-10 Chris Lattnermore cleanups, notably bitcast isn't used for "signed...
2011-02-09 Chris Lattnermerge two tests.
2011-02-06 Chris Lattnerenhance vmcore to know that udiv's can be exact, and...
2011-01-30 Anders CarlssonRecognize and simplify
2011-01-28 Duncan SandsMy auto-simplifier noticed that ((X/Y)*Y)/Y occurs...
2011-01-28 Nick LewyckyClean up the tests a little, make sure we match an...
2011-01-28 Nick LewyckyFold select + select where both selects are on the...
2011-01-21 Owen AndersonJust because we have determined that an (fcmp | fcmp...
2011-01-21 Chris Lattnerfix PR9013, an infinite loop in instcombine.
2011-01-21 Nick LewyckyDon't try to pull vector bitcasts that change the numbe...
2011-01-16 Chris Lattnerenhance FoldOpIntoPhi in instcombine to try harder...
2011-01-16 Chris Lattnerfix PR8983, a broken assertion.
2011-01-15 Chris Lattnerimplement an instcombine xform that canonicalizes casts...
2011-01-14 Duncan SandsMove some shift transforms out of instcombine and into...
2011-01-11 Owen AndersonFix a random missed optimization by making InstCombine...
2011-01-10 Chandler CarruthTeach instcombine about the rest of the SSE and SSE2...
2011-01-10 Chandler CarruthFold two related tests into the newly FileCheck-ized...
2011-01-10 Chandler CarruthClean up and FileCheck-ize a test.
2011-01-09 Tobias GrosserInstcombine: Fix pattern where the sext did not dominat...
2011-01-08 Frits van BommelFix a bug in r123034 (trying to sext/zext non-integers...
2011-01-07 Tobias GrosserInstCombine: Match min/max hidden by sext/zext
2011-01-07 Benjamin KramerRevert 122959, it needs more thought. Add it back to...
2011-01-06 Benjamin KramerInstCombine: Turn _chk functions into the "unsafe"...
2011-01-06 Benjamin KramerInstCombine: If we call llvm.objectsize on a malloc...
2011-01-06 Benjamin KramerInstCombine: Teach llvm.objectsize folding to look...
2011-01-06 Chris Lattnerimplement constant folding support for an exotic consta...
2011-01-04 Chris Lattnerfix an off-by-one bug that caused a crash analyzing
2010-12-23 Owen AndersonWhen determining if we can fold (x >> C1) << C2, the...
2010-12-22 Benjamin KramerInstCombine: creating selects from -1 and 0 is fine...
2010-12-22 Duncan SandsMake this test not depend on how the variable is named.
2010-12-22 Duncan SandsAdd a generic expansion transform: A op (B op' C) ...
2010-12-20 Benjamin KramerTeach InstCombine to merge (icmp ult (X + CA), C1)...
2010-12-20 Duncan SandsHave SimplifyBinOp dispatch Xor, Add and Sub to the...
2010-12-20 Chris Lattnerfix PR8807 by making transformConstExprCastCall aware...
2010-12-20 Mon P WangTest case for r122215 when InstCombine optimizes memset
2010-12-19 Chris LattnerX86 supports i8/i16 overflow ops (except i8 multiplies...
2010-12-19 Chris Lattnerrecognize an unsigned add with overflow idiom into...
2010-12-19 Chris Lattneroptimize uadd(x, cst) into a comparison when the normal
2010-12-19 Chris Lattnergeneralize the sadd creation code to not require that the
2010-12-19 Chris Lattnerfix another miscompile in the llvm.sadd formation logic...
2010-12-19 Chris Lattnerfix a bug (possibly 8816) in the sadd forming xform...
2010-12-17 Nate BegemanAdd vector versions of some existing scalar transforms...
2010-12-17 Owen AndersonReapply r121905 (automatic synthesis of @llvm.sadd...
2010-12-16 Duncan SandsSpeculatively revert commit 121905 since it looks like...
2010-12-15 Owen AndersonAdd an InstCombine transform to recognize instances...
2010-12-11 Benjamin KramerGeneralize the and-icmp-select instcombine further...
2010-12-11 Benjamin KramerFactor the (x & 2^n) ? 2^m : 0 instcombine into its...
2010-12-09 Dan GohmanReally check that the bits that will become zero are...
2010-11-30 Chris Lattnerremove a use of llvm-dis
2010-11-29 Frits van BommelTransform (extractvalue (load P), ...) to (load (gep...
2010-11-29 Frits van BommelUpdate this test to keep testing the -instcombine trans...
2010-11-23 Benjamin KramerThe srem -> urem transform is not safe for any divisor...
2010-11-23 Benjamin KramerInstCombine: Reduce "X shift (A srem B)" to "X shift...
2010-11-23 Duncan SandsExploit distributive laws (eg: And distributes over...
2010-11-23 Chris Lattnerduncan's spider sense was right, I completely reversed...
2010-11-22 Benjamin KramerInstCombine: Implement X - A*-B -> X + A*B.
2010-11-22 Duncan SandsIf a GEP index simply advances by multiples of a type...
2010-11-21 Duncan SandsAdd a rather pointless InstructionSimplify transform...
2010-11-21 Chris Lattneroptimize:
2010-11-17 Benjamin KramerInstCombine: Add a missing irem identity (X % X -> 0).
2010-11-16 Duncan SandsIn which I discover the existence of loops. Threading...
2010-11-15 Duncan SandsTeach InstructionSimplify the trick of skipping incomin...
2010-11-15 Duncan SandsMove PHI tests to phi.ll, out of select.ll.
2010-11-13 Duncan SandsGeneralize the reassociation transform in SimplifyCommu...
2010-11-10 Duncan SandsTeach InstructionSimplify how to look through PHI nodes...
2010-11-10 Dale JohannesenWhen checking that the necessary bits are zero in
next