aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis/ScalarEvolution
Commit message (Expand)AuthorAgeFilesLines
* 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
* Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman2009-02-2415-15/+15
* 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
* Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky2008-12-164-2/+41
* 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
* 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
* 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
* 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-149-9/+9
* Extend ScalarEvolution's executesAtLeastOnce logic to be able toDan Gohman2008-08-121-0/+35
* PR2621: Improvements to the SCEV AddRec binomial expansion. This Eli Friedman2008-08-042-0/+81
* Another SCEV issue from PR2607; essentially the same issue, but this Eli Friedman2008-07-301-0/+24
* Fix for PR2607: SCEV miscomputing the loop count for loops with an Eli Friedman2008-07-301-0/+27
* Fix PR2088. Use modulo linear equation solver to compute loop iterationWojciech Matyjewicz2008-07-203-1/+30
* XFAIL this test.Nick Lewycky2008-07-191-0/+1
* While testing particular algorithms to compute loop iteration count the bruteWojciech Matyjewicz2008-07-195-7/+10
* Stop creating extraneous smax/umax in SCEV. This removes a regression where weNick Lewycky2008-07-123-1/+67
* Crash less. The i64 restriction in BinomialCoefficient caused some problemsNick Lewycky2008-06-131-0/+43
* Whoops -- forgot PR reference on this test.Nick Lewycky2008-05-261-0/+1
* Use {} instead of "" in RUN lines.Nick Lewycky2008-05-261-1/+1
* Don't treat values as signed when looking at loop steppings in HowForToNonZero.Nick Lewycky2008-05-251-0/+20
* Temporarily reverting 46959.Evan Cheng2008-02-251-0/+1
* Add 'umax' similar to 'smax' SCEV. Closes PR2003.Nick Lewycky2008-02-202-1/+18
* Now that ScalarEvolution::print writes to the correct stream, there is Wojciech Matyjewicz2008-02-127-7/+7
* Change negative grep into positive one in my yesterday's testcase.Wojciech Matyjewicz2008-02-121-1/+1
* Fix PR2002. Suppose n is the initial value for the induction Wojciech Matyjewicz2008-02-121-0/+16
* If the LHS of the comparison is a loop-invariant we also want to move it Wojciech Matyjewicz2008-02-111-0/+15
* Fix PR1798 - an error in the evaluation of SCEVAddRecExpr at an Wojciech Matyjewicz2008-02-111-1/+0
* Fix bug in regression tests that ignored stderr output in RUN lines. Updated ...Tanya Lattner2007-11-281-1/+1
* Change grep '' to grep {}.Dan Gohman2007-11-273-3/+3
* Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops.Nick Lewycky2007-11-252-0/+30
* Be more careful when transforming | to +. Patch from Wojciech Matyjewicz.Nick Lewycky2007-11-201-0/+18
* Reverted r44163 per requestAnton Korobeynikov2007-11-151-0/+1
* Fix handling of overflow in loop calculation by adding new UDiv SCEV. This SCEVNick Lewycky2007-11-151-0/+24
* Build the correct range for loops with unusual bounds. Fix from Jay Foad.Nick Lewycky2007-09-271-0/+21