aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms
AgeCommit message (Expand)Author
2011-03-30Merging r128577Bill Wendling
2011-03-14--- Merging r127464 into '.': Bill Wendling
2011-03-07Preserve line no. info.Devang Patel
2011-03-07Add test for r127138.Rafael Espindola
2011-03-07Tweak this test. We can analyze what happens and show that we still do theNick Lewycky
2011-03-07Add more analysis of the sign bit of an srem instruction. If the LHS is negativeNick Lewycky
2011-03-06ConstantInt has some getters which return ConstantInt's or ConstantVector's ofNick Lewycky
2011-03-05Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw wheneverNick Lewycky
2011-03-05Try once again to optimize "icmp (srem X, Y), Y" by turning the comparison intoNick Lewycky
2011-03-04Revert broken srem logic from r126991.Nick Lewycky
2011-03-04Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisonsNick Lewycky
2011-03-04Teach instruction simplify to use constant ranges to solve problems of the formNick Lewycky
2011-03-03Optimize fprintf -> iprintf if there are no floating point argumentsRichard Osborne
2011-03-03Optimize sprintf -> siprintf if there are no floating point argumentsRichard Osborne
2011-03-03Optimize printf -> iprintf if there are no floating point argumentsRichard Osborne
2011-03-01Make InstCombiner::FoldAndOfICmps create a ConstantRange that's theAnders Carlsson
2011-03-01Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There'sNick Lewycky
2011-03-01Add an obvious missing safety check to DAE::RemoveDeadArgumentsFromCallers.Eli Friedman
2011-02-28Delete obsolete test.Dan Gohman
2011-02-28Teach SimplifyCFG that (switch (select cond, X, Y)) is better expressed as a ...Frits van Bommel
2011-02-28srem doesn't actually have the same resulting sign as its numerator, you couldNick Lewycky
2011-02-28Teach InstCombine to fold "(shr exact X, Y) == 0" --> X == 0, fixing #1 fromNick Lewycky
2011-02-28The sign of an srem instruction is the sign of its dividend (the firstNick Lewycky
2011-02-25Revert "SimplifyCFG: GEPs with just one non-constant index are also cheap."Benjamin Kramer
2011-02-24SimplifyCFG: GEPs with just one non-constant index are also cheap.Benjamin Kramer
2011-02-24SimplifyCFG: GEPs with constant indices are cheap enough to be executed uncon...Benjamin Kramer
2011-02-24change instcombine to not turn a call to non-varargs bitcast ofChris Lattner
2011-02-22Make LoopDeletion work on loops with multiple edges, as long as the incomingCameron Zwarich
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