| Commit message (Expand) | Author | Age | Files | Lines |
* | Add missing colons to check lines. | Benjamin Kramer | 2013-04-11 | 1 | -2/+2 |
* | Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. | Manman Ren | 2013-03-18 | 1 | -0/+11 |
* | [SimplifyLibCalls] Library call simplification doen't work if the call site | Chad Rosier | 2013-02-08 | 1 | -0/+48 |
* | Identify and simplify idempotent intrinsics. Test case included. | Michael Ilseman | 2013-02-07 | 1 | -0/+51 |
* | ConstantFolding: Fix a crash when encoutering a truncating inttoptr. | Benjamin Kramer | 2013-02-05 | 1 | -0/+19 |
* | Add a testcase for some past-the-end address subtleties. | Dan Gohman | 2013-02-01 | 1 | -0/+77 |
* | InstSimplify: stripAndComputeConstantOffsets can be called with vectors of po... | Benjamin Kramer | 2013-02-01 | 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 |
* | Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a Mod... | Dmitri Gribenko | 2012-12-30 | 1 | -1/+1 |
* | Teach instsimplify to use the constant folder where appropriate for | Chandler Carruth | 2012-12-28 | 1 | -0/+52 |
* | Added a slew of SimplifyInstruction floating-point optimizations, many of whi... | Michael Ilseman | 2012-12-12 | 2 | -0/+107 |
* | Add support to ValueTracking for determining that a pointer is non-null | Chandler Carruth | 2012-12-07 | 1 | -0/+40 |
* | Fast-math test for SimplifyInstruction: fold multiply by 0 | Michael Ilseman | 2012-11-27 | 1 | -0/+35 |
* | InstructionSimplify should be able to simplify A+B==B+A to 'true' | Duncan Sands | 2012-11-16 | 1 | -0/+9 |
* | Revert r153521 as it's causing large regressions on the nightly testers. | Chad Rosier | 2012-03-28 | 1 | -15/+0 |
* | Reapply r153423; the original commit was fine. The failing test, distray, had | Chad Rosier | 2012-03-27 | 1 | -0/+15 |
* | Revert r153423 as this is causing failures on our internal nightly testers. | Chad Rosier | 2012-03-26 | 1 | -15/+0 |
* | Use the new range metadata in computeMaskedBits and add a new optimization to | Rafael Espindola | 2012-03-26 | 1 | -0/+15 |
* | Teach instsimplify how to simplify comparisons of pointers which are | Chandler Carruth | 2012-03-25 | 1 | -0/+62 |
* | Switch the pointer-difference simplification logic to only work with | Chandler Carruth | 2012-03-25 | 1 | -10/+25 |
* | Generalize the "trunc(ptrtoint(x)) - trunc(ptrtoint(y)) -> | Duncan Sands | 2012-03-13 | 1 | -0/+9 |
* | Teach instsimplify how to constant fold pointer differences. | Chandler Carruth | 2012-03-12 | 1 | -0/+33 |
* | Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189. | Eli Friedman | 2012-03-05 | 1 | -0/+22 |
* | 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 |
* | Replace all instances of dg.exp file with lit.local.cfg, since all tests are ... | Eli Bendersky | 2012-02-16 | 2 | -3/+1 |
* | 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 |
* | Add support for vectors of pointers. | Nadav Rotem | 2011-12-05 | 1 | -0/+8 |
* | Fix a crash in which a multiplication was being reported as being both negative | Duncan Sands | 2011-11-23 | 1 | -0/+17 |
* | Fix code to match comment. Fixes PR11340, a regression from r143209. | Eli Friedman | 2011-11-08 | 1 | -0/+10 |
* | Add tests for existing InstSimplify features. | Dan Gohman | 2011-11-04 | 1 | -0/+21 |
* | Teach instsimplify to simplify calls to undef. | Dan Gohman | 2011-11-04 | 1 | -0/+7 |
* | 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 |
* | A shift of a power of two is a power of two or zero. | Duncan Sands | 2011-10-28 | 1 | -0/+10 |
* | 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 | 2 | -0/+43 |
* | Revert Duncan's r143028 expression folding which appears to be the culprit | Bob Wilson | 2011-10-27 | 1 | -31/+0 |
* | The maximum power of 2 dividing a power of 2 is itself. This occurs | Duncan Sands | 2011-10-26 | 1 | -0/+12 |
* | My super-optimizer noticed that we weren't folding this expression to | Duncan Sands | 2011-10-26 | 1 | -0/+31 |
* | InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the ... | Benjamin Kramer | 2011-09-05 | 1 | -4/+11 |