aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Teach BasicAliasAnalysis to understand constant gep indices that fallDan Gohman2009-05-271-0/+27
* Teach ScalarEvolution to recognize x^-1 in the case where non-demandedDan Gohman2009-05-181-0/+8
* Make ScalarEvolution::isLoopGuardedByCond work even when the edgeDan Gohman2009-05-181-1/+1
* Add nounwind to a few tests.Dan Gohman2009-05-181-1/+1
* Allow scalar evolution to compute iteration counts for loops with a Eli Friedman2009-05-091-0/+27
* Fix bogus overflow checks by replacing them with actualDan Gohman2009-05-081-0/+10
* Fold trunc casts into add-recurrence expressions, allowing theDan Gohman2009-05-081-0/+24
* When printing a SCEVUnknown with pointer type, don't print anDan Gohman2009-05-011-1/+1
* Extend ScalarEvolution's getBackedgeTakenCount to be able toDan Gohman2009-04-303-1/+106
* Generalize the cast-of-addrec folding to handle folding of SCEVs likeDan Gohman2009-04-292-0/+131
* Fix this test to match the new output from scalar-evolution.Dan Gohman2009-04-291-1/+1
* Include the source type in SCEV cast expression debug output, andDan Gohman2009-04-291-2/+3
* Fix a grammaro in a comment.Dan Gohman2009-04-281-1/+1
* Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some oddNick Lewycky2009-04-231-0/+37
* Testcase for PR3909.Owen Anderson2009-04-231-0/+30
* When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of theDan Gohman2009-04-211-0/+29
* change this to test for an alias result more directly.Chris Lattner2009-03-161-3/+7
* Add a replacement for 2009-02-12-GEPNoalias.ll that works without -debug.Nick Lewycky2009-03-141-0/+9
* remove a buggy test, it is not ok to use -debug in RUN line.Chris Lattner2009-03-131-196/+0
* Update this test for the LoopInfo::print changes.Dan Gohman2009-02-271-1/+1
* Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman2009-02-2415-15/+15
* BasicAA was making the assumption that a local allocation which hadn't escapedNick Lewycky2009-02-131-0/+196
* Finish making AliasAnalysis aware of the fact that most atomic intrinsics onl...Owen Anderson2009-02-041-0/+14
* Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky2009-01-137-0/+7
* Don't try to analyze this "backward" case. This is overly conservative Nick Lewycky2009-01-021-0/+40
* Check that the function prototypes are correct before assuming that the Nick Lewycky2008-12-271-0/+19
* Resubmit support for the 'nocapture' attribute.Nick Lewycky2008-12-191-0/+14
* Remove empty test.Bill Wendling2008-12-161-0/+0
* Temporarily revert r61019, r61030, and r61040. These were breaking LLVM ReleaseBill Wendling2008-12-161-13/+0
* Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky2008-12-164-2/+41
* Teach basicaa to use the nocapture attribute when possible. When theChris Lattner2008-12-151-0/+13
* Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li...Nick Lewycky2008-12-122-0/+2
* Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate theNick Lewycky2008-12-112-1/+27
* Allow basicaa to walk through geps with identical indices in Chris Lattner2008-12-101-0/+16
* xfail this for now.Evan Cheng2008-12-091-0/+1
* It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky2008-12-091-0/+24
* Extend the 'noalias' attribute to function return values. This is intended toNick Lewycky2008-11-241-0/+12
* Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky2008-11-183-0/+91
* Don't brute-force analyze cubic or higher polynomials.Nick Lewycky2008-11-161-0/+19
* Don't crash analyzing certain quadratics (addrec of {X,+,Y,+,1}).Nick Lewycky2008-11-031-0/+21
* Rationalize the names of passes that print information:Duncan Sands2008-09-232-2/+4
* Remove the MarkModRef pass (use AddReadAttrs instead).Duncan Sands2008-09-191-1104/+0
* Add a new pass AddReadAttrs which works out which functionsDuncan Sands2008-09-194-38/+0
* Teach -callgraph to always print the callgraph (as theDuncan Sands2008-09-192-2/+2
* Finally re-apply r46959. This is made feasible by the combinationDan Gohman2008-09-162-3/+4
* Fix spacing in the grep line for this test, following the recentDan Gohman2008-09-161-1/+1
* Teach ScalarEvolution to consider loop preheaders in the search forDan Gohman2008-09-152-0/+234
* Fix WriteAsOperand to not emit a leading space character. AdjustDan Gohman2008-09-1410-10/+10
* Fix PR2792: treat volatile loads as writing memory somewhere.Duncan Sands2008-09-131-0/+9
* Correct callgraph construction. It has two problems:Duncan Sands2008-09-093-0/+22