aboutsummaryrefslogtreecommitdiff
path: root/lib/Transforms/InstCombine/InstCombineCompares.cpp
AgeCommit message (Expand)Author
2012-02-21Fix unsigned off-by-one in comment.Benjamin Kramer
2012-02-21InstCombine: Don't transform a signed icmp of two GEPs into a signed compare ...Benjamin Kramer
2012-02-20InstCombine: Removing the base from the address calculation is only safe when...Benjamin Kramer
2012-02-20InstCombine: When comparing two GEPs that were derived from the same base poi...Benjamin Kramer
2012-02-13Check against umin while converting fcmp into an icmp.Devang Patel
2012-01-31enhance logic to support ConstantDataArray.Chris Lattner
2011-12-17The powers that be have decided that LLVM IR should now support 16-bitDan Gohman
2011-12-02Fix a few more places where TargetData/TargetLibraryInfo is not being passed.Chad Rosier
2011-12-01Improved fix for abs(val) != 0 to check other similar case. Also fixed style...Pete Cooper
2011-12-01Added instcombine pattern to spot comparing -val or val against 0.Pete Cooper
2011-11-28Add a missing safety check to ProcessUGT_ADDCST_ADD. Fixes PR11438.Eli Friedman
2011-09-30Don't modify constant in-place.Jim Grosbach
2011-09-30float comparison to double 'zero' constant can just be a float 'zero.'Jim Grosbach
2011-09-30Tidy up. Trailing whitespace.Jim Grosbach
2011-09-27Stop emitting instructions with the name "tmp" they eat up memory and have to...Benjamin Kramer
2011-07-20Clean up includes of llvm/Analysis/ConstantFolding.h so it's included where i...Eli Friedman
2011-07-18land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner
2011-07-15start using the new helper methods a bit.Chris Lattner
2011-07-14Change Intrinsic::getDeclaration and friends to take an ArrayRef.Benjamin Kramer
2011-07-13Convert InsertValueInst and ExtractValueInst APIs to use ArrayRef.Jay Foad
2011-07-12Second attempt at de-constifying LLVM Types in FunctionType::get(),Jay Foad
2011-07-12Revert r134893 and r134888 (and related patches in other trees). It was causingBill Wendling
2011-07-11De-constify Types in FunctionType::get().Jay Foad
2011-07-04PR10267: Don't combine an equality compare with an AND into an inequality com...Benjamin Kramer
2011-06-13InstCombine: Fold A-b == C --> b == A-C if A and C are constants.Benjamin Kramer
2011-06-12InstCombine: Shrink ((zext X) & C1) == C2 to fold away the cast if the "zext"...Benjamin Kramer
2011-06-12Simplify code. No functionality changes, name changes aside.Benjamin Kramer
2011-05-25PR9998: ashr exact %x, 31 is not equivalent to sdiv exact %x, -2147483648.Eli Friedman
2011-05-18More instcombine simplifications towards better debug locations.Eli Friedman
2011-05-14Avoid combining GEPs that might overflow at runtime.Stuart Hastings
2011-05-05PR9838: Fix transform introduced in r127064 to not trigger when only one side...Eli Friedman
2011-04-26Transform: "icmp eq (trunc (lshr(X, cst1)), cst" to "icmp (and X, mask), cst"Chris Lattner
2011-04-26some random cleanups, no functionality change.Chris Lattner
2011-04-15Fix a ton of comment typos found by codespell. Patch byChris Lattner
2011-03-31InstCombine: APFloat can't perform arithmetic on PPC double doubles, don't ev...Benjamin Kramer
2011-03-31InstCombine: Fix transform to use the swapped predicate.Benjamin Kramer
2011-03-31InstCombine: fold fcmp (fneg x), (fneg y) -> fcmp x, yBenjamin Kramer
2011-03-31InstCombine: fold fcmp pred (fneg x), C -> fcmp swap(pred) x, -CBenjamin Kramer
2011-03-31InstCombine: Shrink "fcmp (fpext x), C" to "fcmp x, C" if C can be losslessly...Benjamin Kramer
2011-03-31InstCombine: fold fcmp (fpext x), (fpext y) -> fcmp x, y.Benjamin Kramer
2011-03-08Reorder comments to put them the right way around.Nick 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-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-18Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is noDuncan Sands
2011-02-17Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise f...Duncan Sands
2011-02-13remove a now-unneccesary cast.Chris Lattner