aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms
AgeCommit message (Expand)Author
2011-02-20InstCombine: Add a bunch of combines of the form x | (y ^ z).Benjamin Kramer
2011-02-20Teach RecursivelyDeleteDeadPHINodes to handle multiple self-references. PatchNick Lewycky
2011-02-19PR9218: SimplifyDemandedVectorElts can return a non-null value that is notEli Friedman
2011-02-19rewrite the memset_pattern pattern generation stuff to accept any 2/4/8/16-byteChris Lattner
2011-02-19Stores of null pointers should turn into memset, we weren't recognizingChris Lattner
2011-02-19Implement rdar://9009151, transforming strided loop stores ofChris Lattner
2011-02-18Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands
2011-02-18add a testcase for r125827Chris Lattner
2011-02-18prevent jump threading from merging blocks when their address isChris Lattner
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-17fix PR9215, preventing -reassociate from clearing nsw/nuw whenChris 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-14Do not hoist @llvm.dbg.value. Here, @llvm.dbg.value is "referring" a value th...Devang Patel
2011-02-13Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows,Duncan Sands
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-12SimplifyLibCalls: Add missing legalize check on various printf to puts andDaniel Dunbar
2011-02-12tests: FileCheckizeDaniel Dunbar
2011-02-11Also fold (A+B) == A -> B == 0 when the add is commuted.Benjamin Kramer
2011-02-11Fix 9173.Nadav Rotem
2011-02-11Add a test for the LSR issue exposed by r125254.Cameron Zwarich
2011-02-10Tolerate degenerate phi nodes that can occur in the middle of optimizationNick Lewycky
2011-02-10Rename 'loopsimplify' to 'loop-simplify'.Cameron Zwarich
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-09Teach instsimplify some tricks about exact/nuw/nsw shifts.Chris Lattner
2011-02-09merge two tests.Chris Lattner
2011-02-09When removing a function from the function set and adding it to deferred, weNick Lewycky
2011-02-07SimplifyCFG: Track the number of used icmps when turning a icmp chain into a ...Benjamin Kramer
2011-02-06teach instsimplify to transform (X / Y) * Y to XChris Lattner
2011-02-06rename test.Chris Lattner
2011-02-06enhance vmcore to know that udiv's can be exact, and add a trivialChris Lattner
2011-02-06When loading from a constant, fold inttoptr if the integer type and the resul...Anders Carlsson
2011-02-03SimplifyCFG: Also transform switches that represent a range comparison but ar...Benjamin Kramer
2011-02-03Improve threading of comparisons over select instructions (spotted by myDuncan Sands
2011-02-02Reenable the transform "(X*Y)/Y->X" when the multiplication is known not toDuncan Sands
2011-02-02SimplifyCFG: Turn switches into sub+icmp+branch if possible.Benjamin Kramer
2011-02-02Fix reassociate to clear optional flags, such as nsw.Dan Gohman
2011-02-01Have m_One also match constant vectors for which every element is 1.Duncan Sands
2011-01-30Recognize and simplifyAnders Carlsson