aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine
AgeCommit message (Expand)Author
2011-02-20InstCombine: Add a bunch of combines of the form x | (y ^ z).Benjamin Kramer
2011-02-19PR9218: SimplifyDemandedVectorElts can return a non-null value that is notEli Friedman
2011-02-18Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands
2011-02-17have instcombine preserve nsw/nuw/exact when sinkingChris Lattner
2011-02-17fix instcombine merging GEPs through a PHI to only make theChris Lattner
2011-02-17Enhance constant folding of bitcast operations on vectors of floats.Nadav Rotem
2011-02-17Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands
2011-02-17preserve NUW/NSW when transforming add x,xChris Lattner
2011-02-17filecheckizeChris Lattner
2011-02-15Teach PatternMatch that splat vectors could be floating point as well asNick Lewycky
2011-02-15Fix 9216 - Endless loop in InstCombine pass.Nadav Rotem
2011-02-13Fix testNadav Rotem
2011-02-13Fix a regression from r125393;Nadav Rotem
2011-02-13add PR#Chris Lattner
2011-02-13implement instcombine folding for things like (x >> c) < 42.Chris Lattner
2011-02-11Also fold (A+B) == A -> B == 0 when the add is commuted.Benjamin Kramer
2011-02-11Fix 9173.Nadav Rotem
2011-02-10implement the first part of PR8882: when lowering an inboundsChris Lattner
2011-02-10Enhance a bunch of transformations in instcombine to start generatingChris Lattner
2011-02-10Enhance the "compare with shift" and "compare with div" Chris Lattner
2011-02-10more cleanups, notably bitcast isn't used for "signed to unsigned type Chris Lattner
2011-02-09merge two tests.Chris Lattner
2011-02-06enhance vmcore to know that udiv's can be exact, and add a trivialChris Lattner
2011-01-30Recognize and simplifyAnders Carlsson
2011-01-28My auto-simplifier noticed that ((X/Y)*Y)/Y occurs several times in SPECDuncan Sands
2011-01-28Clean up the tests a little, make sure we match an instruction in the rightNick Lewycky
2011-01-28Fold select + select where both selects are on the same condition.Nick Lewycky
2011-01-21Just because we have determined that an (fcmp | fcmp) is true for A < B,Owen Anderson
2011-01-21fix PR9013, an infinite loop in instcombine.Chris Lattner
2011-01-21Don't try to pull vector bitcasts that change the number of elements throughNick Lewycky
2011-01-16enhance FoldOpIntoPhi in instcombine to try harder when a phi hasChris Lattner
2011-01-16fix PR8983, a broken assertion.Chris Lattner
2011-01-15implement an instcombine xform that canonicalizes casts outside of and-with-c...Chris Lattner
2011-01-14Move some shift transforms out of instcombine and into InstructionSimplify.Duncan Sands
2011-01-11Fix a random missed optimization by making InstCombine more aggressive when d...Owen Anderson
2011-01-10Teach instcombine about the rest of the SSE and SSE2 conversionChandler Carruth
2011-01-10Fold two related tests into the newly FileCheck-ized test, migratingChandler Carruth
2011-01-10Clean up and FileCheck-ize a test.Chandler Carruth
2011-01-09Instcombine: Fix pattern where the sext did not dominate the icmp using itTobias Grosser
2011-01-08Fix a bug in r123034 (trying to sext/zext non-integers) and clean up a little.Frits van Bommel
2011-01-07InstCombine: Match min/max hidden by sext/zextTobias Grosser
2011-01-07Revert 122959, it needs more thought. Add it back to README.txt with addition...Benjamin Kramer
2011-01-06InstCombine: Turn _chk functions into the "unsafe" variant if length and max ...Benjamin Kramer
2011-01-06InstCombine: If we call llvm.objectsize on a malloc call we can replace it wi...Benjamin Kramer
2011-01-06InstCombine: Teach llvm.objectsize folding to look through GEPs.Benjamin Kramer
2011-01-06implement constant folding support for an exotic constant expr:Chris Lattner
2011-01-04fix an off-by-one bug that caused a crash analyzingChris Lattner
2010-12-23When determining if we can fold (x >> C1) << C2, the bits that we need to ver...Owen Anderson
2010-12-22InstCombine: creating selects from -1 and 0 is fine, they combine into a sext...Benjamin Kramer
2010-12-22Make this test not depend on how the variable is named.Duncan Sands