| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [InstSimplify] add nuw %x, C2 must be at least C2 | David Majnemer | 2015-08-20 | 1 | -0/+8 |
| * | Add a bunch of CHECK missing colons in tests. NFC. | Ahmed Bougacha | 2015-03-14 | 1 | -1/+1 |
| * | [opaque pointer type] Add textual IR support for explicit type parameter to l... | David Blaikie | 2015-02-27 | 1 | -3/+3 |
| * | [opaque pointer type] Add textual IR support for explicit type parameter to g... | David Blaikie | 2015-02-27 | 1 | -46/+46 |
| * | InstSimplify: Handle some simple tautological comparisons | David Majnemer | 2014-11-25 | 1 | -0/+64 |
| * | Introduce a 'nonnull' metadata on Load instructions. | Philip Reames | 2014-10-20 | 1 | -0/+23 |
| * | InstSimplify: Move a transform from InstCombine to InstSimplify | David Majnemer | 2014-08-28 | 1 | -2/+70 |
| * | InstSimplify: Compute comparison ranges for left shift instructions | David Majnemer | 2014-08-27 | 1 | -0/+27 |
| * | ValueTracking: Figure out more bits when looking at add/sub | David Majnemer | 2014-08-22 | 1 | -0/+13 |
| * | Add a dereferenceable attribute | Hal Finkel | 2014-07-18 | 1 | -0/+34 |
| * | Fix a test broken in r212981 | David Majnemer | 2014-07-14 | 1 | -1/+1 |
| * | InstSimplify: Correct sdiv x / -1 | David Majnemer | 2014-07-14 | 1 | -0/+11 |
| * | InstSimplify: The upper bound of X / C was missing a rounding step | David Majnemer | 2014-07-14 | 1 | -0/+11 |
| * | InstSimplify: Fix a bug when INT_MIN is in a sdiv | David Majnemer | 2014-07-04 | 1 | -0/+11 |
| * | Make instsimplify's analysis of icmp eq/ne use computeKnownBits to determine ... | Nick Lewycky | 2014-06-19 | 1 | -0/+19 |
| * | Teach isKnownNonNull that a nonnull return is not null. Add a test for this c... | Nick Lewycky | 2014-05-20 | 1 | -0/+17 |
| * | InstSimplify: Improve handling of ashr/lshr | David Majnemer | 2014-05-16 | 1 | -0/+40 |
| * | InstSimplify: Optimize using dividend in sdiv | David Majnemer | 2014-05-16 | 1 | -0/+9 |
| * | InstSimplify: Optimize signed icmp of -(zext V) | David Majnemer | 2014-05-14 | 1 | -0/+60 |
| * | InstSimplify: Make shift, select and GEP simplifications vector-aware. | Benjamin Kramer | 2014-01-24 | 1 | -0/+18 |
| * | Add a test that large offsets on GEPs on 32 bits targets are handled correctly. | Benjamin Kramer | 2013-09-28 | 1 | -0/+10 |
| * | Expand test case a bit. | Benjamin Kramer | 2013-09-23 | 1 | -2/+5 |
| * | InstSimplify: Fold equality comparisons between non-inbounds GEPs. | Benjamin Kramer | 2013-09-23 | 1 | -0/+9 |
| * | Update Transforms tests to use CHECK-LABEL for easier debugging. No functiona... | Stephen Lin | 2013-07-14 | 1 | -69/+69 |
| * | Fix logic error optimizing "icmp pred (urem X, Y), Y" where pred is signed. | Nick Lewycky | 2013-07-12 | 1 | -1/+9 |
| * | InstSimplify: X >> X -> 0 | David Majnemer | 2013-07-09 | 1 | -0/+16 |
| * | Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. | Manman Ren | 2013-03-18 | 1 | -0/+11 |
| * | Rewrite instsimplify's handling if icmp on pointer values to remove the | Dan Gohman | 2013-02-01 | 1 | -0/+22 |
| * | An alloca can be equal to an argument. It can't *alias* an alloca, but it could | Dan Gohman | 2013-01-31 | 1 | -0/+13 |
| * | Add support to ValueTracking for determining that a pointer is non-null | Chandler Carruth | 2012-12-07 | 1 | -0/+40 |
| * | InstructionSimplify should be able to simplify A+B==B+A to 'true' | Duncan Sands | 2012-11-16 | 1 | -0/+9 |
| * | Teach instsimplify how to simplify comparisons of pointers which are | Chandler Carruth | 2012-03-25 | 1 | -0/+62 |
| * | Reinstate the optimization from r151449 with a fix to not turn 'gep %x' into | Nick Lewycky | 2012-02-26 | 1 | -0/+63 |
| * | Roll these back to r151448 until I figure out how they're breaking | Nick Lewycky | 2012-02-25 | 1 | -54/+0 |
| * | An argument and a local identified object (eg. a noalias call) could turn out | Nick Lewycky | 2012-02-25 | 1 | -14/+24 |
| * | Teach instsimplify to be more aggressive when analyzing comparisons of pointers | Nick Lewycky | 2012-02-25 | 1 | -0/+44 |
| * | fix PR12075, a regression in a recent transform I added. In unreachable code... | Chris Lattner | 2012-02-24 | 1 | -0/+10 |
| * | fold comparisons of gep'd alloca points with null to false, | Chris Lattner | 2012-02-20 | 1 | -1/+12 |
| * | Fix a rather nasty regression from r150690: LHS != RHS does not imply LHS->st... | Eli Friedman | 2012-02-18 | 1 | -0/+10 |
| * | InstSimplify: Ignore pointer casts when constant folding compares between poi... | Benjamin Kramer | 2012-02-16 | 1 | -0/+20 |
| * | Fix PR11948: the result type of an icmp may be a vector of boolean - | Duncan Sands | 2012-02-10 | 1 | -0/+7 |
| * | Revert commit 149912 (lattner) and add a testcase that shows the problem (which | Duncan Sands | 2012-02-10 | 1 | -0/+9 |
| * | Fix code to match comment. Fixes PR11340, a regression from r143209. | Eli Friedman | 2011-11-08 | 1 | -0/+10 |
| * | Reapply commit 143214 with a fix: m_ICmp doesn't match conditions | Duncan Sands | 2011-10-30 | 1 | -0/+18 |
| * | Revert r143214; it's breaking a bunch of stuff. | Eli Friedman | 2011-10-29 | 1 | -9/+0 |
| * | The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false. | Duncan Sands | 2011-10-28 | 1 | -0/+9 |
| * | Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizer | Duncan Sands | 2011-10-28 | 1 | -0/+24 |
| * | Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul | Duncan Sands | 2011-10-27 | 1 | -0/+31 |
| * | Revert Duncan's r143028 expression folding which appears to be the culprit | Bob Wilson | 2011-10-27 | 1 | -31/+0 |
| * | My super-optimizer noticed that we weren't folding this expression to | Duncan Sands | 2011-10-26 | 1 | -0/+31 |
