aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/ScalarEvolution
AgeCommit message (Expand)Author
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-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-02-24Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman
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-16Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky
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-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-18Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky
2008-11-16Don't brute-force analyze cubic or higher polynomials.Nick Lewycky
2008-11-03Don't crash analyzing certain quadratics (addrec of {X,+,Y,+,1}).Nick Lewycky
2008-09-16Finally re-apply r46959. This is made feasible by the combinationDan Gohman
2008-09-16Fix spacing in the grep line for this test, following the recentDan Gohman
2008-09-15Teach ScalarEvolution to consider loop preheaders in the search forDan Gohman
2008-09-14Fix WriteAsOperand to not emit a leading space character. AdjustDan Gohman
2008-08-12Extend ScalarEvolution's executesAtLeastOnce logic to be able toDan Gohman
2008-08-04PR2621: Improvements to the SCEV AddRec binomial expansion. This Eli Friedman
2008-07-30Another SCEV issue from PR2607; essentially the same issue, but this Eli Friedman
2008-07-30Fix for PR2607: SCEV miscomputing the loop count for loops with an Eli Friedman
2008-07-20Fix PR2088. Use modulo linear equation solver to compute loop iterationWojciech Matyjewicz
2008-07-19XFAIL this test.Nick Lewycky
2008-07-19While testing particular algorithms to compute loop iteration count the bruteWojciech Matyjewicz
2008-07-12Stop creating extraneous smax/umax in SCEV. This removes a regression where weNick Lewycky
2008-06-13Crash less. The i64 restriction in BinomialCoefficient caused some problemsNick Lewycky
2008-05-26Whoops -- forgot PR reference on this test.Nick Lewycky
2008-05-26Use {} instead of "" in RUN lines.Nick Lewycky
2008-05-25Don't treat values as signed when looking at loop steppings in HowForToNonZero.Nick Lewycky
2008-02-25Temporarily reverting 46959.Evan Cheng
2008-02-20Add 'umax' similar to 'smax' SCEV. Closes PR2003.Nick Lewycky
2008-02-12Now that ScalarEvolution::print writes to the correct stream, there is Wojciech Matyjewicz
2008-02-12Change negative grep into positive one in my yesterday's testcase.Wojciech Matyjewicz
2008-02-12Fix PR2002. Suppose n is the initial value for the induction Wojciech Matyjewicz
2008-02-11If the LHS of the comparison is a loop-invariant we also want to move it Wojciech Matyjewicz