aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine
Commit message (Expand)AuthorAgeFilesLines
* This testcase passed even without the fix. Added the target info to make theNadav Rotem2011-04-061-0/+3
* InstCombine optimizes gep(bitcast(x)) even when the bitcasts casts away addressNadav Rotem2011-04-051-0/+16
* InstCombine: Turn icmp + sext into bitwise/integer ops when the input has onl...Benjamin Kramer2011-04-011-0/+48
* Instcombile optimization: extractelement(cast) -> cast(extractelement)Nadav Rotem2011-03-311-0/+27
* InstCombine: APFloat can't perform arithmetic on PPC double doubles, don't ev...Benjamin Kramer2011-03-311-0/+9
* InstCombine: Fix transform to use the swapped predicate.Benjamin Kramer2011-03-311-1/+1
* InstCombine: fold fcmp (fneg x), (fneg y) -> fcmp x, yBenjamin Kramer2011-03-311-0/+9
* InstCombine: fold fcmp pred (fneg x), C -> fcmp swap(pred) x, -CBenjamin Kramer2011-03-311-0/+8
* InstCombine: Shrink "fcmp (fpext x), C" to "fcmp x, C" if C can be losslessly...Benjamin Kramer2011-03-311-0/+23
* InstCombine: fold fcmp (fpext x), (fpext y) -> fcmp x, y.Benjamin Kramer2011-03-311-0/+11
* Avoid turning a floating point division with a constant power of two into a d...Benjamin Kramer2011-03-301-1/+1
* InstCombine: If the divisor of an fdiv has an exact inverse, turn it into an ...Benjamin Kramer2011-03-301-0/+25
* InstCombine: Add a few missing combines for ANDs and ORs of sign bit tests.Benjamin Kramer2011-03-291-0/+79
* Teach the transformation that moves binary operators around selects to preserveNick Lewycky2011-03-271-0/+12
* Add a small missed optimization: turn X == C ? X : Y into X == C ? C : Y. ThisNick Lewycky2011-03-271-0/+13
* FileCheck-ize and update test.Eli Friedman2011-03-181-6/+9
* Try to not lose variable's debug info during instcombine.Devang Patel2011-03-171-0/+57
* If we don't know how long a string is we can't fold an _chk version to theEric Christopher2011-03-151-0/+18
* ComputeMaskedBits: sub falls through to add, and sub doesn't have the same ov...Benjamin Kramer2011-03-111-0/+10
* InstCombine: Fix a thinko where transform an icmp under the assumption that i...Benjamin Kramer2011-03-111-0/+10
* InstCombine: Turn umul_with_overflow into mul nuw if we can prove that it can...Benjamin Kramer2011-03-101-0/+27
* Fix mistyped CHECK lines.Benjamin Kramer2011-03-091-1/+1
* PR9346: Prevent SimplifyDemandedBits from incorrectly introducingEli Friedman2011-03-091-0/+12
* 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
* Make InstCombiner::FoldAndOfICmps create a ConstantRange that's theAnders Carlsson2011-03-011-0/+9
* 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
* change instcombine to not turn a call to non-varargs bitcast ofChris Lattner2011-02-242-13/+15
* InstCombine: Add a bunch of combines of the form x | (y ^ z).Benjamin Kramer2011-02-201-0/+94
* PR9218: SimplifyDemandedVectorElts can return a non-null value that is notEli Friedman2011-02-191-0/+11
* Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands2011-02-182-2/+126
* have instcombine preserve nsw/nuw/exact when sinkingChris Lattner2011-02-171-0/+18
* fix instcombine merging GEPs through a PHI to only make theChris Lattner2011-02-171-2/+3
* Enhance constant folding of bitcast operations on vectors of floats.Nadav Rotem2011-02-171-1/+41
* Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands2011-02-171-0/+19
* preserve NUW/NSW when transforming add x,xChris Lattner2011-02-171-0/+8
* filecheckizeChris Lattner2011-02-171-3/+14
* Teach PatternMatch that splat vectors could be floating point as well asNick Lewycky2011-02-151-0/+28
* Fix 9216 - Endless loop in InstCombine pass.Nadav Rotem2011-02-151-0/+19
* Fix testNadav Rotem2011-02-131-1/+1
* Fix a regression from r125393;Nadav Rotem2011-02-131-1/+17
* add PR#Chris Lattner2011-02-131-0/+1
* implement instcombine folding for things like (x >> c) < 42.Chris Lattner2011-02-131-2/+11
* Also fold (A+B) == A -> B == 0 when the add is commuted.Benjamin Kramer2011-02-111-10/+18