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