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