aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
2011-03-17Added isValidRewrite() to check the result of ScalarEvolutionExpander.Andrew Trick
2011-03-15Remove getMinusSCEVForExitTest().Andrew Trick
2011-03-15Propagate SCEV no-wrap flags whenever possible.Andrew Trick
2011-03-14Negating a recurrence preserves no-self-wrap.Andrew Trick
2011-03-14HowFarToZero can compute a trip count as long as the recurrence has no-self-w...Andrew Trick
2011-03-14Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrapAndrew Trick
2011-03-09When SCEV can determine the loop test is X < X, set ExactBECount=0.Andrew Trick
2011-03-09whitespaceAndrew Trick
2011-02-13teach SCEV that the scale and addition of an inbounds gep don't NSW.Chris Lattner
2011-02-11Per discussion with Dan G, inbounds geps *certainly* can haveChris Lattner
2011-01-26Fix memory corruption. If one of the SCEV creation functions calls another butNick Lewycky
2011-01-24Add a comment.Dan Gohman
2011-01-23Simplify some code with no functionality change. Make the test a lot moreNick Lewycky
2011-01-23Use value ranges to fold ext(trunc) in SCEV when possible.Nick Lewycky
2011-01-22Have SCEV turn sext(x) into zext(x) when x is s>= 0. This applies many times inNick Lewycky
2011-01-19Similarly, analyze truncate through multiply.Nick Lewycky
2011-01-19Add a missed SCEV fold that is required to continue analyzing the IR producedNick Lewycky
2011-01-19Add a missing SCEV simplification sext(zext x) --> zext x.Nick Lewycky
2011-01-11some comment improvements.Chris Lattner
2011-01-11Temporarily revert 123133, it's causing some regressions and I'm tryingEric Christopher
2011-01-11the GEP faq says that only inbounds geps are guaranteed to not overflow.Chris Lattner
2011-01-09add a fixme: ir isn't expressive enough.Chris Lattner
2011-01-09Step #4 in improving trip count analysis: HowFarToZero can analyzeChris Lattner
2011-01-09rearrange some code, no functionality change.Chris Lattner
2011-01-09Step #3 to improving trip count analysis: If we foldChris Lattner
2011-01-09Step #2 to improve trip count analysis for loops like this:Chris Lattner
2011-01-09teach SCEV analysis of PHI nodes that PHI recurences formedChris Lattner
2011-01-09reduce indentation. Print <nuw> and <nsw> when dumping SCEV AddRec'sChris Lattner
2010-12-07PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() andJay Foad
2010-12-01PR5207: Rename overloaded APInt methods set(), clear(), flip() toJay Foad
2010-11-20Simplify code. No change in functionality.Benjamin Kramer
2010-11-19Silence warning about an uninitialized variable.Benjamin Kramer
2010-11-18Factor code for testing whether replacing one value with anotherDuncan Sands
2010-11-18Introduce memoization for ScalarEvolution dominates and properlyDominatesDan Gohman
2010-11-17Factor out the code for purging a SCEV from all the various memoization maps.Dan Gohman
2010-11-17Merge the implementations of isLoopInvariant and hasComputableLoopEvolution, andDan Gohman
2010-11-17Make SCEV::getType() and SCEV::print non-virtual. Move SCEV::hasOperandDan Gohman
2010-11-17Move SCEV::dominates and properlyDominates to ScalarEvolution.Dan Gohman
2010-11-17Move SCEV::isLoopInvariant and hasComputableLoopEvolution to be memberDan Gohman
2010-11-17Before replacing a phi node with a different value, itDuncan Sands
2010-11-17Verify SCEVAddRecExpr's invariant in ScalarEvolution::getAddRecExprDan Gohman
2010-11-17Fix ScalarEvolution's range memoization to avoid using aDan Gohman
2010-11-17Have ScalarEvolution use SimplifyInstruction rather than hasConstantValue.Duncan Sands
2010-11-17Memoize results from ScalarEvolution's getUnsignedRange and getSignedRange.Dan Gohman
2010-10-29Make ScalarEvolution::forgetLoop forget all contained loops too, becauseDan Gohman
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson
2010-10-12Begin adding static dependence information to passes, which will allow us toOwen Anderson
2010-10-07Now with fewer extraneous semicolons!Owen Anderson
2010-10-04Don't add the operand count to SCEV uniquing data; FoldingSetNodeIDDan Gohman
2010-08-31Reapply r112432, now that the real problem is addressed.Dan Gohman