aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
2013-03-26Fix SCEV forgetMemoizedResults should search and destroy backedge exprs.Andrew Trick
2013-01-02Move all of the header files which are involved in modelling the LLVM IRChandler Carruth
2012-12-03Use the new script to sort the includes of every file under lib.Chandler Carruth
2012-11-29Follow up to 168711: It's safe to base this analysis on the found compare, ju...Benjamin Kramer
2012-11-29Improve isImpliedCond comment a bit.Andrew Trick
2012-11-27SCEV: Even if the latch terminator is foldable we can't deduce the result of ...Benjamin Kramer
2012-11-01Revert the series of commits starting with r166578 which introduced theChandler Carruth
2012-10-27SCEV validator: Ignore CouldNotCompute/undef on both sides. This is mostly no...Benjamin Kramer
2012-10-27SCEV validator: Add workarounds for some common false positives due to the wa...Benjamin Kramer
2012-10-26Add a basic verifier for SCEV's backedge taken counts.Benjamin Kramer
2012-10-24getSmallConstantTripMultiple should never return zero.Hal Finkel
2012-10-24Add in support for getIntPtrType to get the pointer type based on the address...Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-09-27Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru
2012-09-27Fix a typo 'iff' => 'if'Sylvestre Ledru
2012-09-12Release build: guard dump functions withManman Ren
2012-09-06Release build: guard dump functions with "ifndef NDEBUG"Manman Ren
2012-08-01Stay rational; don't assert trying to take the square root of a negative value.Nick Lewycky
2012-07-13Factor SCEV traversal code so I can use it elsewhere. No functionality.Andrew Trick
2012-07-09Delete code for folding undefs in ScalarEvolution. It's invalid inDan Gohman
2012-06-30Reduce use list thrashing by using DenseMap's find_as for maps with ValueHand...Benjamin Kramer
2012-06-28If the step value is a constant zero, the loop isn't going to terminate. FixesNick Lewycky
2012-06-02Fix typos found by http://github.com/lyda/misspell-checkBenjamin Kramer
2012-05-30Make sure that we're dealing with a binary SCEVExpr when simplifying.Benjamin Kramer
2012-05-30Teach SCEV's icmp simplification logic that a-b == 0 is equivalent to a == b.Benjamin Kramer
2012-05-30SCEV: Handle a corner case reducing AddRecExpr * AddRecExprAndrew Trick
2012-05-30Reformat the loop that does AddRecExpr * AddRecExpr reduction.Andrew Trick
2012-05-19SCEV: Add MarkPendingLoopPredicates to avoid recursive isImpliedCond.Andrew Trick
2012-05-15reuse the result of some expensive computations in getSignExtendExpr() and ge...Nuno Lopes
2012-05-15minor simplification to code: Ty is already a SCEV type; don't need to run ge...Nuno Lopes
2012-05-10Rewrite ScalarEvolution::hasOperand to use an explicit worklist insteadDan Gohman
2012-04-17Revert "SCEV: When expanding a GEP the final addition to the base pointer has...Benjamin Kramer
2012-04-07SCEV: When expanding a GEP the final addition to the base pointer has NUW but...Benjamin Kramer
2012-04-04Always compute all the bits in ComputeMaskedBits.Rafael Espindola
2012-03-26SCEV fix: Handle loop invariant loads.Andrew Trick
2012-01-24switch SCEV to use the new ConstantFoldLoadThroughGEPIndices functionChris Lattner
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-20Remove obviously invalid early exit that prevented analyzing ConstantAggregat...Benjamin Kramer
2012-01-11Clarified the SCEV getSmallConstantTripCount interface with in-your-face comm...Andrew Trick
2012-01-07Expose isNonConstantNegative to users of ScalarEvolution.Andrew Trick
2011-12-02Fix a few more places where TargetData/TargetLibraryInfo is not being passed.Chad Rosier
2011-12-01Last bit of TargetLibraryInfo propagation. Also fixed a case for TargetDataChad Rosier
2011-12-01Propagate TargetLibraryInfo throughout ConstantFolding.cpp and Chad Rosier
2011-11-29SCEV fix. In general, Add/Mul expressions should not inherit NSW/NUW.Andrew Trick
2011-11-29Make SCEV print <nsw><nuw> for Add/MulExpr.Andrew Trick
2011-11-20SCEV: Actually set overflow flags on add expressions.Benjamin Kramer
2011-11-16Fix SCEV overly optimistic back edge taken count for multi-exit loops.Andrew Trick
2011-11-12Don't try to loop on iterators that are potentially invalidated inside the lo...Nick Lewycky
2011-11-09Don't forget to check FlagNW when determining whether an AddRecExpr will wrapNick Lewycky
2011-10-25Restore commits 142790 and 142843 - they weren't breaking the buildDuncan Sands