aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
2009-02-24Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman
2009-02-18Use a sign-extend instead of a zero-extend when promoting aDan Gohman
2009-02-17Add a method to ScalarEvolution for telling it when a loop has beenDan Gohman
2009-02-17Strengthen the "non-constant stride must dominate loop preheader" check.Evan Cheng
2009-02-12Teach IndVarSimplify to optimize code using the C "int" type forDan Gohman
2009-01-25Start generating arbitrary precision integer SCEVs. This removes the temporaryNick Lewycky
2009-01-16Reinstate r60509 from Dale:Nick Lewycky
2009-01-13Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky
2009-01-03We know it's always a SCEVConstant if it gets here, so just cast it andNick 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-09Back out 60748 for now. It's breaking SPASS, 254.gap, and 464.h264ref.Evan Cheng
2008-12-09It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky
2008-12-06Minor cleanup. Use dyn_cast, not isa/cast pairs. No functionality change.Nick Lewycky
2008-12-03Make the debugging dump be a full line.Dale Johannesen
2008-12-02Add a new SCEV representing signed division.Nick Lewycky
2008-11-18Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky
2008-11-18Remove unused variable.Duncan Sands
2008-11-16Don't brute-force analyze cubic or higher polynomials.Nick Lewycky
2008-11-11Silence unused variable warning.Devang Patel
2008-11-03Don't crash analyzing certain quadratics (addrec of {X,+,Y,+,1}).Nick Lewycky
2008-10-13Disallow the construction of SCEVs with could-not-compute operands. Catch CNCsNick Lewycky
2008-10-04Allow the construction of SCEVs with SCEVCouldNotCompute operands, byNick Lewycky
2008-09-16Finally re-apply r46959. This is made feasible by the combinationDan Gohman
2008-09-16Improve instcombine's handling of integer min and max in two ways:Dan 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-08Canonicalize nested AddRecs in by nesting them in order of loop depth.Dan 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-21Revert r53812 -- premature. LegalizeTypes isn't actually on yet!Nick Lewycky
2008-07-21Switch on the use of arbitrary precision integers in scalar evolution. This willNick Lewycky
2008-07-20This header isn't necessary now.Wojciech Matyjewicz
2008-07-20Fix PR2088. Use modulo linear equation solver to compute loop iterationWojciech Matyjewicz
2008-07-15Correct this inversion!Nick Lewycky
2008-07-15Fix up comments.Nick Lewycky
2008-07-12Stop creating extraneous smax/umax in SCEV. This removes a regression where weNick Lewycky
2008-07-09Remove getValueRange from SCEV. It wasn't doing anything there anyways, and aNick Lewycky
2008-07-07Handle 'lshr' instruction with SCEVUDiv object.Nick Lewycky
2008-06-22Generalize createSCEV to be able to form SCEV expressions fromDan Gohman
2008-06-18Move LSR's private isZero function to a public SCEV memberDan Gohman
2008-06-13Crash less. The i64 restriction in BinomialCoefficient caused some problemsNick Lewycky
2008-05-25Don't treat values as signed when looking at loop steppings in HowForToNonZero.Nick Lewycky
2008-05-13Clean up the use of static and anonymous namespaces. This turned upDan Gohman
2008-05-06Fix typo and indentation.Nick Lewycky
2008-04-20(re)fix handling of UGT. Pointed out by Nick Lewycky.Dale Johannesen