| Age | Commit message (Expand) | Author |
|---|
| 2013-03-18 | Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. | Manman Ren |
| 2013-02-01 | Rewrite instsimplify's handling if icmp on pointer values to remove the | Dan Gohman |
| 2013-01-31 | An alloca can be equal to an argument. It can't *alias* an alloca, but it could | Dan Gohman |
| 2012-12-07 | Add support to ValueTracking for determining that a pointer is non-null | Chandler Carruth |
| 2012-11-16 | InstructionSimplify should be able to simplify A+B==B+A to 'true' | Duncan Sands |
| 2012-03-25 | Teach instsimplify how to simplify comparisons of pointers which are | Chandler Carruth |
| 2012-02-26 | Reinstate the optimization from r151449 with a fix to not turn 'gep %x' into | Nick Lewycky |
| 2012-02-25 | Roll these back to r151448 until I figure out how they're breaking | Nick Lewycky |
| 2012-02-25 | An argument and a local identified object (eg. a noalias call) could turn out | Nick Lewycky |
| 2012-02-25 | Teach instsimplify to be more aggressive when analyzing comparisons of pointers | Nick Lewycky |
| 2012-02-24 | fix PR12075, a regression in a recent transform I added. In unreachable code... | Chris Lattner |
| 2012-02-20 | fold comparisons of gep'd alloca points with null to false, | Chris Lattner |
| 2012-02-18 | Fix a rather nasty regression from r150690: LHS != RHS does not imply LHS->st... | Eli Friedman |
| 2012-02-16 | InstSimplify: Ignore pointer casts when constant folding compares between poi... | Benjamin Kramer |
| 2012-02-10 | Fix PR11948: the result type of an icmp may be a vector of boolean - | Duncan Sands |
| 2012-02-10 | Revert commit 149912 (lattner) and add a testcase that shows the problem (which | Duncan Sands |
| 2011-11-08 | Fix code to match comment. Fixes PR11340, a regression from r143209. | Eli Friedman |
| 2011-10-30 | Reapply commit 143214 with a fix: m_ICmp doesn't match conditions | Duncan Sands |
| 2011-10-29 | Revert r143214; it's breaking a bunch of stuff. | Eli Friedman |
| 2011-10-28 | The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false. | Duncan Sands |
| 2011-10-28 | Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizer | Duncan Sands |
| 2011-10-27 | Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul | Duncan Sands |
| 2011-10-27 | Revert Duncan's r143028 expression folding which appears to be the culprit | Bob Wilson |
| 2011-10-26 | My super-optimizer noticed that we weren't folding this expression to | Duncan Sands |
| 2011-07-19 | Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteed | Nick Lewycky |
| 2011-03-12 | Teach ComputeMaskedBits about sub nsw. | Benjamin Kramer |
| 2011-03-11 | Teach ComputeMaskedBits about nsw on add. I don't think there's anything we can | Nick Lewycky |
| 2011-03-09 | Fix mistyped CHECK lines. | Benjamin Kramer |
| 2011-03-09 | Add another micro-optimization. Apologies for the lack of refactoring, but I | Nick Lewycky |
| 2011-03-05 | Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever | Nick Lewycky |
| 2011-03-04 | Revert broken srem logic from r126991. | Nick Lewycky |
| 2011-03-04 | Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisons | Nick Lewycky |
| 2011-03-04 | Teach instruction simplify to use constant ranges to solve problems of the form | Nick Lewycky |
| 2011-03-01 | Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There's | Nick Lewycky |
| 2011-02-13 | Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows, | Duncan Sands |
