aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis/ScalarEvolution.cpp
Commit message (Expand)AuthorAgeFilesLines
* Set NSW/NUW flags on SCEVAddExpr when the operation is flagged asAndrew Trick2011-09-101-1/+7
* This transform only handles two-operand AddRec's. Prevent it from trying toNick Lewycky2011-09-061-13/+23
* Fix typo in comment again.Nick Lewycky2011-09-061-1/+1
* Apparently we compile the code, not the comments. Thanks Eli!Nick Lewycky2011-09-061-2/+1
* Fix typo in comment.Nick Lewycky2011-09-061-1/+1
* Nope! I had it right the first time. Revert the operative part of r139135 andNick Lewycky2011-09-061-5/+8
* Fix flipped sign. While there, show my math.Nick Lewycky2011-09-061-2/+9
* No no no, fix typo properly!Nick Lewycky2011-09-061-2/+2
* The logic inside getMulExpr to simplify {a,+,b}*{c,+,d} was wrong, which wasNick Lewycky2011-09-061-13/+20
* Revert r139126 due to selfhost failures reported by buildbots.Nick Lewycky2011-09-061-6/+2
* Teach SCEV to report a max backedge count in one interesting case inNick Lewycky2011-09-051-2/+6
* Comment and clarifying assert.Andrew Trick2011-09-021-0/+1
* Allow loop unrolling to get known trip counts from ScalarEvolution.Andrew Trick2011-08-111-0/+57
* Made SCEV's UDiv expressions more canonical. When dividing aAndrew Trick2011-08-061-4/+21
* Use consistent terminology for loop exit/exiting blocks. Name change only.Andrew Trick2011-08-021-9/+9
* SCEV: Added a data structure for storing not-taken info per loopAndrew Trick2011-07-261-127/+212
* Use ArrayRef in ConstantFoldInstOperands and ConstantFoldCall.Jay Foad2011-07-191-3/+2
* land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner2011-07-181-71/+71
* SCEV: missing null check fix for r132360, dragonegg crash.Andrew Trick2011-06-011-3/+3
* scev: Better sign-extend removal. Normalize postincrement recurrencesAndrew Trick2011-05-311-31/+102
* Change a few std::maps to DenseMaps.Dan Gohman2011-05-091-2/+2
* Corrects an old, old typo in a case that doesn't seem to be reached in practice.Andrew Trick2011-04-271-1/+1
* Test case and comment for PR9633.Andrew Trick2011-04-271-2/+3
* Fix for PR9633 [indvars] Assertion `isa<X>(Val) && "cast<Ty>() argument of in...Andrew Trick2011-04-271-2/+7
* Fix an iterator invalidation bug.Dan Gohman2011-04-251-9/+16
* Fix a ton of comment typos found by codespell. Patch byChris Lattner2011-04-151-1/+1
* Added isValidRewrite() to check the result of ScalarEvolutionExpander.Andrew Trick2011-03-171-0/+30
* Remove getMinusSCEVForExitTest().Andrew Trick2011-03-151-106/+3
* Propagate SCEV no-wrap flags whenever possible.Andrew Trick2011-03-151-60/+72
* Negating a recurrence preserves no-self-wrap.Andrew Trick2011-03-141-0/+11
* HowFarToZero can compute a trip count as long as the recurrence has no-self-w...Andrew Trick2011-03-141-16/+20
* Added SCEV::NoWrapFlags to manage unsigned, signed, and self wrapAndrew Trick2011-03-141-126/+187
* When SCEV can determine the loop test is X < X, set ExactBECount=0.Andrew Trick2011-03-091-1/+17
* whitespaceAndrew Trick2011-03-091-18/+18
* teach SCEV that the scale and addition of an inbounds gep don't NSW.Chris Lattner2011-02-131-2/+5
* Per discussion with Dan G, inbounds geps *certainly* can haveChris Lattner2011-02-111-3/+14
* Fix memory corruption. If one of the SCEV creation functions calls another butNick Lewycky2011-01-261-0/+2
* Add a comment.Dan Gohman2011-01-241-0/+1
* Simplify some code with no functionality change. Make the test a lot moreNick Lewycky2011-01-231-12/+4
* Use value ranges to fold ext(trunc) in SCEV when possible.Nick Lewycky2011-01-231-0/+34
* Have SCEV turn sext(x) into zext(x) when x is s>= 0. This applies many times inNick Lewycky2011-01-221-0/+4
* Similarly, analyze truncate through multiply.Nick Lewycky2011-01-191-0/+14
* Add a missed SCEV fold that is required to continue analyzing the IR producedNick Lewycky2011-01-191-0/+14
* Add a missing SCEV simplification sext(zext x) --> zext x.Nick Lewycky2011-01-191-0/+4
* some comment improvements.Chris Lattner2011-01-111-3/+4
* Temporarily revert 123133, it's causing some regressions and I'm tryingEric Christopher2011-01-111-8/+4
* the GEP faq says that only inbounds geps are guaranteed to not overflow.Chris Lattner2011-01-111-2/+3
* add a fixme: ir isn't expressive enough.Chris Lattner2011-01-091-0/+1
* Step #4 in improving trip count analysis: HowFarToZero can analyzeChris Lattner2011-01-091-2/+11
* rearrange some code, no functionality change.Chris Lattner2011-01-091-41/+45