aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis/ScalarEvolution.cpp
Commit message (Expand)AuthorAgeFilesLines
* Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman2009-02-241-76/+99
* Use a sign-extend instead of a zero-extend when promoting aDan Gohman2009-02-181-0/+15
* Add a method to ScalarEvolution for telling it when a loop has beenDan Gohman2009-02-171-0/+16
* Strengthen the "non-constant stride must dominate loop preheader" check.Evan Cheng2009-02-171-0/+40
* Teach IndVarSimplify to optimize code using the C "int" type forDan Gohman2009-02-121-27/+73
* Start generating arbitrary precision integer SCEVs. This removes the temporaryNick Lewycky2009-01-251-11/+1
* Reinstate r60509 from Dale:Nick Lewycky2009-01-161-0/+1
* Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky2009-01-131-202/+41
* We know it's always a SCEVConstant if it gets here, so just cast it andNick Lewycky2009-01-031-6/+2
* Don't try to analyze this "backward" case. This is overly conservative Nick Lewycky2009-01-021-0/+12
* Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky2008-12-161-24/+23
* Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li...Nick Lewycky2008-12-121-15/+15
* Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate theNick Lewycky2008-12-111-15/+15
* Back out 60748 for now. It's breaking SPASS, 254.gap, and 464.h264ref.Evan Cheng2008-12-091-5/+1
* It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky2008-12-091-1/+5
* Minor cleanup. Use dyn_cast, not isa/cast pairs. No functionality change.Nick Lewycky2008-12-061-5/+5
* Make the debugging dump be a full line.Dale Johannesen2008-12-031-0/+1
* Add a new SCEV representing signed division.Nick Lewycky2008-12-021-10/+67
* Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky2008-11-181-31/+127
* Remove unused variable.Duncan Sands2008-11-181-3/+0
* Don't brute-force analyze cubic or higher polynomials.Nick Lewycky2008-11-161-21/+0
* Silence unused variable warning.Devang Patel2008-11-111-0/+1
* Don't crash analyzing certain quadratics (addrec of {X,+,Y,+,1}).Nick Lewycky2008-11-031-0/+5
* Disallow the construction of SCEVs with could-not-compute operands. Catch CNCsNick Lewycky2008-10-131-72/+6
* Allow the construction of SCEVs with SCEVCouldNotCompute operands, byNick Lewycky2008-10-041-0/+67
* Finally re-apply r46959. This is made feasible by the combinationDan Gohman2008-09-161-2/+2
* Improve instcombine's handling of integer min and max in two ways:Dan Gohman2008-09-161-5/+0
* Teach ScalarEvolution to consider loop preheaders in the search forDan Gohman2008-09-151-8/+38
* Fix WriteAsOperand to not emit a leading space character. AdjustDan Gohman2008-09-141-4/+4
* Extend ScalarEvolution's executesAtLeastOnce logic to be able toDan Gohman2008-08-121-55/+57
* Canonicalize nested AddRecs in by nesting them in order of loop depth.Dan Gohman2008-08-081-0/+13
* PR2621: Improvements to the SCEV AddRec binomial expansion. This Eli Friedman2008-08-041-84/+111
* Another SCEV issue from PR2607; essentially the same issue, but this Eli Friedman2008-07-301-4/+4
* Fix for PR2607: SCEV miscomputing the loop count for loops with an Eli Friedman2008-07-301-3/+7
* Revert r53812 -- premature. LegalizeTypes isn't actually on yet!Nick Lewycky2008-07-211-8/+22
* Switch on the use of arbitrary precision integers in scalar evolution. This willNick Lewycky2008-07-211-22/+8
* This header isn't necessary now.Wojciech Matyjewicz2008-07-201-2/+0
* Fix PR2088. Use modulo linear equation solver to compute loop iterationWojciech Matyjewicz2008-07-201-22/+71
* Correct this inversion!Nick Lewycky2008-07-151-1/+1
* Fix up comments.Nick Lewycky2008-07-151-5/+7
* Stop creating extraneous smax/umax in SCEV. This removes a regression where weNick Lewycky2008-07-121-6/+79
* Remove getValueRange from SCEV. It wasn't doing anything there anyways, and aNick Lewycky2008-07-091-31/+0
* Handle 'lshr' instruction with SCEVUDiv object.Nick Lewycky2008-07-071-2/+14
* Generalize createSCEV to be able to form SCEV expressions fromDan Gohman2008-06-221-110/+117
* Move LSR's private isZero function to a public SCEV memberDan Gohman2008-06-181-8/+12
* Crash less. The i64 restriction in BinomialCoefficient caused some problemsNick Lewycky2008-06-131-24/+30
* Don't treat values as signed when looking at loop steppings in HowForToNonZero.Nick Lewycky2008-05-251-2/+2
* Clean up the use of static and anonymous namespaces. This turned upDan Gohman2008-05-131-5/+3
* Fix typo and indentation.Nick Lewycky2008-05-061-2/+2
* (re)fix handling of UGT. Pointed out by Nick Lewycky.Dale Johannesen2008-04-201-1/+2