aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
2011-09-06Fix typo in comment again.Nick Lewycky
2011-09-06Apparently we compile the code, not the comments. Thanks Eli!Nick Lewycky
2011-09-06Fix typo in comment.Nick Lewycky
2011-09-06Nope! I had it right the first time. Revert the operative part of r139135 andNick Lewycky
2011-09-06Fix flipped sign. While there, show my math.Nick Lewycky
2011-09-06No no no, fix typo properly!Nick Lewycky
2011-09-06The logic inside getMulExpr to simplify {a,+,b}*{c,+,d} was wrong, which wasNick Lewycky
2011-09-06Revert r139126 due to selfhost failures reported by buildbots.Nick Lewycky
2011-09-05Teach SCEV to report a max backedge count in one interesting case inNick Lewycky
2011-09-02Comment and clarifying assert.Andrew Trick
2011-08-11Allow loop unrolling to get known trip counts from ScalarEvolution.Andrew Trick
2011-08-06Made SCEV's UDiv expressions more canonical. When dividing aAndrew Trick
2011-08-02Use consistent terminology for loop exit/exiting blocks. Name change only.Andrew Trick
2011-07-26SCEV: Added a data structure for storing not-taken info per loopAndrew Trick
2011-07-19Use ArrayRef in ConstantFoldInstOperands and ConstantFoldCall.Jay Foad
2011-07-18land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner
2011-06-01SCEV: missing null check fix for r132360, dragonegg crash.Andrew Trick
2011-05-31scev: Better sign-extend removal. Normalize postincrement recurrencesAndrew Trick
2011-05-09Change a few std::maps to DenseMaps.Dan Gohman
2011-04-27Corrects an old, old typo in a case that doesn't seem to be reached in practice.Andrew Trick
2011-04-27Test case and comment for PR9633.Andrew Trick
2011-04-27Fix for PR9633 [indvars] Assertion `isa<X>(Val) && "cast<Ty>() argument of in...Andrew Trick
2011-04-25Fix an iterator invalidation bug.Dan Gohman
2011-04-15Fix a ton of comment typos found by codespell. Patch byChris Lattner
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