| Commit message (Expand) | Author | Age | Files | Lines |
* | When comparing constants, consider a less wide constant to be "less complex" | Nick Lewycky | 2009-07-04 | 1 | -0/+16 |
* | Array accesses are independent if the underlying arrays differ. | Andreas Bolka | 2009-06-30 | 4 | -2/+49 |
* | Print pairwise dependence results, add testcases. | Andreas Bolka | 2009-06-28 | 5 | -0/+113 |
* | Add a testcase demoing some of ScalarEvolution's new trip count logic. | Dan Gohman | 2009-06-24 | 1 | -0/+37 |
* | Fix a bug in the trip-count computation with And/Or. If either of the | Dan Gohman | 2009-06-22 | 1 | -0/+150 |
* | Fix llvm::ComputeNumSignBits to handle pointer types | Dan Gohman | 2009-06-22 | 1 | -0/+220 |
* | Teach ScalarEvolution how to analyze loops with multiple exit | Dan Gohman | 2009-06-22 | 1 | -0/+48 |
* | Fix ScalarEvolution's backedge-taken count computations to check for | Dan Gohman | 2009-06-21 | 2 | -2/+11 |
* | Teach ScalarEvolution how to recognize another xor(and(x, C), C) case. | Dan Gohman | 2009-06-18 | 1 | -2/+3 |
* | Add -disable-output to a bunch of tests that don't care about the output. | Dan Gohman | 2009-06-17 | 30 | -31/+31 |
* | Fix ScalarEvolution's Xor handling to not assume that an And | Dan Gohman | 2009-06-17 | 1 | -0/+11 |
* | Split the Add, Sub, and Mul instruction opcodes into separate | Dan Gohman | 2009-06-04 | 3 | -6/+6 |
* | Teach BasicAliasAnalysis to understand constant gep indices that fall | Dan Gohman | 2009-05-27 | 1 | -0/+27 |
* | Teach ScalarEvolution to recognize x^-1 in the case where non-demanded | Dan Gohman | 2009-05-18 | 1 | -0/+8 |
* | Make ScalarEvolution::isLoopGuardedByCond work even when the edge | Dan Gohman | 2009-05-18 | 1 | -1/+1 |
* | Add nounwind to a few tests. | Dan Gohman | 2009-05-18 | 1 | -1/+1 |
* | Allow scalar evolution to compute iteration counts for loops with a | Eli Friedman | 2009-05-09 | 1 | -0/+27 |
* | Fix bogus overflow checks by replacing them with actual | Dan Gohman | 2009-05-08 | 1 | -0/+10 |
* | Fold trunc casts into add-recurrence expressions, allowing the | Dan Gohman | 2009-05-08 | 1 | -0/+24 |
* | When printing a SCEVUnknown with pointer type, don't print an | Dan Gohman | 2009-05-01 | 1 | -1/+1 |
* | Extend ScalarEvolution's getBackedgeTakenCount to be able to | Dan Gohman | 2009-04-30 | 3 | -1/+106 |
* | Generalize the cast-of-addrec folding to handle folding of SCEVs like | Dan Gohman | 2009-04-29 | 2 | -0/+131 |
* | Fix this test to match the new output from scalar-evolution. | Dan Gohman | 2009-04-29 | 1 | -1/+1 |
* | Include the source type in SCEV cast expression debug output, and | Dan Gohman | 2009-04-29 | 1 | -2/+3 |
* | Fix a grammaro in a comment. | Dan Gohman | 2009-04-28 | 1 | -1/+1 |
* | Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some odd | Nick Lewycky | 2009-04-23 | 1 | -0/+37 |
* | Testcase for PR3909. | Owen Anderson | 2009-04-23 | 1 | -0/+30 |
* | When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of the | Dan Gohman | 2009-04-21 | 1 | -0/+29 |
* | change this to test for an alias result more directly. | Chris Lattner | 2009-03-16 | 1 | -3/+7 |
* | Add a replacement for 2009-02-12-GEPNoalias.ll that works without -debug. | Nick Lewycky | 2009-03-14 | 1 | -0/+9 |
* | remove a buggy test, it is not ok to use -debug in RUN line. | Chris Lattner | 2009-03-13 | 1 | -196/+0 |
* | Update this test for the LoopInfo::print changes. | Dan Gohman | 2009-02-27 | 1 | -1/+1 |
* | Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount, | Dan Gohman | 2009-02-24 | 15 | -15/+15 |
* | BasicAA was making the assumption that a local allocation which hadn't escaped | Nick Lewycky | 2009-02-13 | 1 | -0/+196 |
* | Finish making AliasAnalysis aware of the fact that most atomic intrinsics onl... | Owen Anderson | 2009-02-04 | 1 | -0/+14 |
* | Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295, | Nick Lewycky | 2009-01-13 | 7 | -0/+7 |
* | Don't try to analyze this "backward" case. This is overly conservative | Nick Lewycky | 2009-01-02 | 1 | -0/+40 |
* | Check that the function prototypes are correct before assuming that the | Nick Lewycky | 2008-12-27 | 1 | -0/+19 |
* | Resubmit support for the 'nocapture' attribute. | Nick Lewycky | 2008-12-19 | 1 | -0/+14 |
* | Remove empty test. | Bill Wendling | 2008-12-16 | 1 | -0/+0 |
* | Temporarily revert r61019, r61030, and r61040. These were breaking LLVM Release | Bill Wendling | 2008-12-16 | 1 | -13/+0 |
* | Generalize support for analyzing loops to include SLE/SGE loop exit conditions | Nick Lewycky | 2008-12-16 | 4 | -2/+41 |
* | Teach basicaa to use the nocapture attribute when possible. When the | Chris Lattner | 2008-12-15 | 1 | -0/+13 |
* | Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li... | Nick Lewycky | 2008-12-12 | 2 | -0/+2 |
* | Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate the | Nick Lewycky | 2008-12-11 | 2 | -1/+27 |
* | Allow basicaa to walk through geps with identical indices in | Chris Lattner | 2008-12-10 | 1 | -0/+16 |
* | xfail this for now. | Evan Cheng | 2008-12-09 | 1 | -0/+1 |
* | It's easy to handle SLE/SGE when the loop has a unit stride. | Nick Lewycky | 2008-12-09 | 1 | -0/+24 |
* | Extend the 'noalias' attribute to function return values. This is intended to | Nick Lewycky | 2008-11-24 | 1 | -0/+12 |
* | Add a utility function that detects whether a loop is guaranteed to be finite. | Nick Lewycky | 2008-11-18 | 3 | -0/+91 |