aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
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
2008-04-20Switch to using Simplified ConstantFP::get API.Chris Lattner
2008-04-18Fix a scalar evolution bug. Reversing everythingDale Johannesen
2008-04-14In the special case, call the comparison function instead ofDan Gohman
2008-03-20Restore isCFGOnly property of various analysis passes.Devang Patel
2008-03-19PassInfo keep tracks whether a pass is an analysis pass or not.Devang Patel
2008-02-25Temporarily reverting 46959.Evan Cheng
2008-02-21Simplify this code, no functionality change.Nick Lewycky
2008-02-21GlobalValues are Constants, remove redundant code. Also fix typo in a comment.Nick Lewycky
2008-02-20Unbreak build with gcc 4.3: provide missed includes and silence most annoying...Anton Korobeynikov
2008-02-20Use getConstant for ConstantInts.Nick Lewycky
2008-02-20Add 'umax' similar to 'smax' SCEV. Closes PR2003.Nick Lewycky
2008-02-13Fix typo. Thanks to Duncan for noticing.Wojciech Matyjewicz
2008-02-13Add comments as per review feedback.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
2008-02-11Fix PR1798 - an error in the evaluation of SCEVAddRecExpr at an Wojciech Matyjewicz
2008-01-31Avoid unnecessarily casting away const, fixing a FIXME.Dan Gohman
2008-01-02Don't be rude, emit debugging info where asked to.Nick Lewycky
2007-12-29Remove attribution from file headers, per discussion on llvmdev.Chris Lattner
2007-12-10Fix PR1850 by removing an unsafe transformation from VMCore/ConstantFold.cpp.Chris Lattner
2007-11-25Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops.Nick Lewycky
2007-11-23simplify some code.Chris Lattner