summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Analysis/ScalarEvolution.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Remove dump routine and the associated Debug.h from a header. Patch upDavid Greene2009-12-231-0/+1
| | | | | | other files to compensate. llvm-svn: 92075
* Convert debug messages to use dbgs(). Generally this meansDavid Greene2009-12-231-7/+7
| | | | | | s/errs/dbgs/g except for certain special cases. llvm-svn: 92067
* Fix a spello in a comment that Nick spotted.Dan Gohman2009-12-191-2/+2
| | | | llvm-svn: 91742
* Make this comment more precise.Dan Gohman2009-12-181-1/+1
| | | | llvm-svn: 91722
* Revert this use of NUW/NSW also. Overflow-undefined multiplication isn'tDan Gohman2009-12-181-3/+6
| | | | | | associative either. llvm-svn: 91701
* Revert this use of NSW; this one isn't actually safe. NSW additionDan Gohman2009-12-181-4/+2
| | | | | | is not reassociative. llvm-svn: 91667
* Delete an unused variable.Dan Gohman2009-12-181-1/+0
| | | | llvm-svn: 91659
* Preserve NSW information in more places.Dan Gohman2009-12-181-8/+19
| | | | llvm-svn: 91656
* Add Loop contains utility methods for testing whether a loopDan Gohman2009-12-181-4/+4
| | | | | | | | contains another loop, or an instruction. The loop form is substantially more efficient on large loops than the typical code it replaces. llvm-svn: 91654
* Whitespace cleanups.Dan Gohman2009-12-181-12/+12
| | | | llvm-svn: 91651
* Remove dead LLVMContext argument.Nick Lewycky2009-11-231-2/+2
| | | | llvm-svn: 89641
* Pass the (optional) TargetData object to ConstantFoldInstOperandsDan Gohman2009-11-091-9/+10
| | | | | | and ConstantFoldCompareInstOperands. llvm-svn: 86626
* fix ConstantFoldCompareInstOperands to take the LHS/RHS asChris Lattner2009-11-091-6/+5
| | | | | | individual operands instead of taking a temporary array llvm-svn: 86619
* remove a bunch of extraneous LLVMContext argumentsChris Lattner2009-11-061-9/+4
| | | | | | from various APIs, addressing PR5325. llvm-svn: 86231
* Reverting 85714, 85715, 85716, which are breaking the buildDouglas Gregor2009-11-011-2/+0
| | | | llvm-svn: 85717
* Add a function to Passes.h to allow clients to create instancesDan Gohman2009-11-011-0/+2
| | | | | | of the ScalarEvolution pass without needing to #include ScalarEvolution.h. llvm-svn: 85716
* Rename forgetLoopBackedgeTakenCount to forgetLoop, because itDan Gohman2009-10-311-8/+8
| | | | | | clears out more information than just the stored backedge taken count. llvm-svn: 85664
* Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky2009-10-251-1/+0
| | | | | | VISIBILITY_HIDDEN removal. llvm-svn: 85043
* Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky2009-10-251-1/+1
| | | | | | | Chris claims we should never have visibility_hidden inside any .cpp file but that's still not true even after this commit. llvm-svn: 85042
* Revert r83606 and add comments explaining why it isn't safe.Dan Gohman2009-10-091-12/+10
| | | | llvm-svn: 83649
* Preserve HasNSW and HasNUW when constructing SCEVs for Add and MulDan Gohman2009-10-091-4/+12
| | | | | | instructions. llvm-svn: 83606
* Add the ability to track HasNSW and HasNUW on more kinds of SCEV expressions.Dan Gohman2009-10-091-12/+22
| | | | llvm-svn: 83601
* Add a properlyDominates member function to ScalarEvolution.Dan Gohman2009-09-271-0/+22
| | | | llvm-svn: 82898
* Teach ScalarEvolution how to reason about no-wrap flags on loopsDan Gohman2009-09-171-15/+37
| | | | | | | | where the induction variable has a non-unit stride, such as {0,+,2}, and there are expressions such as {1,+,2} inside the loop formed with or or add nsw operators. llvm-svn: 82151
* Remove references to expression "handles", which are no longer used.Dan Gohman2009-09-031-1/+1
| | | | llvm-svn: 80918
* Don't use an iterator which is potentially invalidated.Dan Gohman2009-08-311-1/+1
| | | | llvm-svn: 80632
* Extend the ValuesAtScope cache to cover all expressions, not justDan Gohman2009-08-311-20/+24
| | | | | | | | | | | | | | SCEVUnknowns, as the non-SCEVUnknown cases in the getSCEVAtScope code can also end up repeatedly climing through the same expression trees, which can be unusably slow when the trees are very tall. Also, add a quick check for SCEV pointer equality to the main SCEV comparison routine, as the full comparison code can be expensive in the case of large expression trees. These fix compile-time problems in some pathlogical cases. llvm-svn: 80623
* Don't assume that two identical instructions that read from memoryDan Gohman2009-08-251-1/+1
| | | | | | | | will always return the same value. This isn't currently necessary, since this code doesn't currently ever get called under circumstances where it would matter, but it may some day. llvm-svn: 80017
* Teach ScalarEvolution about GlobalAliases.Dan Gohman2009-08-251-0/+3
| | | | llvm-svn: 80014
* remove a few dead insertion methods.Chris Lattner2009-08-241-5/+0
| | | | llvm-svn: 79882
* Change Pass::print to take a raw ostream instead of std::ostream,Chris Lattner2009-08-231-4/+0
| | | | | | update all code that this affects. llvm-svn: 79830
* Rename hasNoUnsignedOverflow and hasNoSignedOverflow to hasNoUnsignedWrapDan Gohman2009-08-201-8/+8
| | | | | | and hasNoSignedWrap, for consistency with the nuw and nsw properties. llvm-svn: 79539
* Various comment and whitespace cleanups.Dan Gohman2009-08-201-5/+5
| | | | llvm-svn: 79533
* Use hasDefinitiveInitializer() instead of testing the same thingDan Gohman2009-08-191-1/+1
| | | | | | | by hand, and fix a few places that were using hasInitializer() that appear to depend on the initializer value. llvm-svn: 79441
* Generalize ScalarEvolution to be able to analyze GEPs whenDan Gohman2009-08-181-36/+164
| | | | | | | | TargetData is not present. It still uses TargetData when available. This generalization also fixed some limitations in the TargetData case; the attached testcase covers this. llvm-svn: 79344
* Push LLVMContexts through the IntegerType APIs.Owen Anderson2009-08-131-10/+12
| | | | llvm-svn: 78948
* Fix copy-pasto.Andreas Bolka2009-08-071-2/+2
| | | | llvm-svn: 78426
* Move a few more APIs back to 2.5 forms. The only remaining ones left to ↵Owen Anderson2009-07-311-4/+4
| | | | | | | | change back are metadata related, which I'm waiting on to avoid conflicting with Devang. llvm-svn: 77721
* Move types back to the 2.5 API.Owen Anderson2009-07-291-1/+1
| | | | llvm-svn: 77516
* Move ConstantExpr to 2.5 API.Owen Anderson2009-07-291-6/+5
| | | | llvm-svn: 77494
* Fix wording in comments.Dan Gohman2009-07-271-1/+1
| | | | llvm-svn: 77193
* SCEV objects are no longer reference-counted.Dan Gohman2009-07-251-3/+2
| | | | llvm-svn: 77080
* When attempting to sign-extend an addrec by interpretingDan Gohman2009-07-251-2/+2
| | | | | | | the step value as unsigned, the start value and the addrec itself still need to be treated as signed. llvm-svn: 77078
* Teach ScalarEvolution to make use of no-overflow flags whenDan Gohman2009-07-251-2/+37
| | | | | | analyzing add recurrences. llvm-svn: 77034
* Instead of eagerly creating new SCEVs to replace all SCEVs that areDan Gohman2009-07-251-103/+56
| | | | | | | | | | | | affected after a PHI node has been analyzed, just remove affected SCEVs from the Scalars map, so that they'll be (lazily) recreated as needed. This avoids creating SCEV objects that aren't actually needed. Also, rewrite the associated def-use walking code to be non-recursive and to continue traversing past Instructions that don't have an entry in the Scalars map. llvm-svn: 77032
* Revert the ConstantInt constructors back to their 2.5 forms where possible, ↵Owen Anderson2009-07-241-15/+16
| | | | | | thanks to contexts-on-types. More to come. llvm-svn: 77011
* Fix whitespace.Dan Gohman2009-07-241-1/+1
| | | | llvm-svn: 76929
* Get rid of the Pass+Context magic.Owen Anderson2009-07-221-31/+32
| | | | llvm-svn: 76702
* Replace the original ad-hoc code for determining whether (v pred w) impliesDan Gohman2009-07-211-104/+197
| | | | | | | | (x pred y) with more thorough code that does more complete canonicalization before resorting to range checks. This helps it find more cases where the canonicalized expressions match. llvm-svn: 76671
* Make the range calculations for addrecs to be more conservative,Dan Gohman2009-07-211-3/+9
| | | | | | | as they aren't currently prepared to handle complicated overflow cases. llvm-svn: 76524
OpenPOWER on IntegriCloud