aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis/ScalarEvolution.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix recent regression in gcc.dg/pr26719.c (6835035).Dale Johannesen2009-04-291-2/+5
* Update comments to reflect the current code.Dan Gohman2009-04-291-4/+4
* Teach getZeroExtendExpr and getSignExtendExpr to use trip-countDan Gohman2009-04-271-9/+133
* Handle ands with ~0 correctly too. This fixes PR4052.Dan Gohman2009-04-271-0/+2
* Handle ands with 0 and shifts by 0 correctly. These aren'tDan Gohman2009-04-251-2/+9
* Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some oddNick Lewycky2009-04-231-4/+12
* Simplify trivial cast-of-cast SCEVs.Dan Gohman2009-04-221-0/+12
* De-pImpl-ify ScalarEvolution. The pImpl pattern doesn't provide muchDan Gohman2009-04-211-452/+165
* When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of theDan Gohman2009-04-211-1/+1
* Teach ScalarEvolution how to recognize zext-inreg and sext-inreg,Dan Gohman2009-04-211-0/+27
* This FIXME is fixed, now that SCEV understands pointers.Dan Gohman2009-04-211-3/+0
* Factor out a common base class from SCEVTruncateExpr, SCEVZeroExtendExpr,Dan Gohman2009-04-211-15/+13
* Usage getAnalysisToUpdate for TargetData, per PR760.Dan Gohman2009-04-211-2/+1
* Introduce encapsulation for ScalarEvolution's TargetData object, and refactorDan Gohman2009-04-211-68/+122
* Move some assertion checks so they can do more complete checking.Dan Gohman2009-04-211-6/+8
* Convert ScalarEvolution to use raw_ostream instead of OStream.Dan Gohman2009-04-211-22/+32
* Add a ScalarEvolution::getCouldNotCompute() function, and use itDan Gohman2009-04-181-12/+21
* Fix a bug with inttoptr/ptrtoint casts where the pointer has a differentDan Gohman2009-04-161-3/+6
* Expand GEPs in ScalarEvolution expressions. SCEV expressions can nowDan Gohman2009-04-161-122/+283
* Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman2009-02-241-76/+99
* Use a sign-extend instead of a zero-extend when promoting aDan Gohman2009-02-181-0/+15
* Add a method to ScalarEvolution for telling it when a loop has beenDan Gohman2009-02-171-0/+16
* Strengthen the "non-constant stride must dominate loop preheader" check.Evan Cheng2009-02-171-0/+40
* Teach IndVarSimplify to optimize code using the C "int" type forDan Gohman2009-02-121-27/+73
* Start generating arbitrary precision integer SCEVs. This removes the temporarynicholas2009-01-251-11/+1
* Reinstate r60509 from Dale:Nick Lewycky2009-01-161-0/+1
* Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky2009-01-131-202/+41
* We know it's always a SCEVConstant if it gets here, so just cast it andNick Lewycky2009-01-031-6/+2
* Don't try to analyze this "backward" case. This is overly conservative Nick Lewycky2009-01-021-0/+12
* Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky2008-12-161-24/+23
* Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li...Nick Lewycky2008-12-121-15/+15
* Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate theNick Lewycky2008-12-111-15/+15
* Back out 60748 for now. It's breaking SPASS, 254.gap, and 464.h264ref.Evan Cheng2008-12-091-5/+1
* It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky2008-12-091-1/+5
* Minor cleanup. Use dyn_cast, not isa/cast pairs. No functionality change.Nick Lewycky2008-12-061-5/+5
* Make the debugging dump be a full line.Dale Johannesen2008-12-031-0/+1
* Add a new SCEV representing signed division.Nick Lewycky2008-12-021-10/+67
* Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky2008-11-181-31/+127
* Remove unused variable.Duncan Sands2008-11-181-3/+0
* Don't brute-force analyze cubic or higher polynomials.Nick Lewycky2008-11-161-21/+0
* Silence unused variable warning.Devang Patel2008-11-111-0/+1
* Don't crash analyzing certain quadratics (addrec of {X,+,Y,+,1}).Nick Lewycky2008-11-031-0/+5
* Disallow the construction of SCEVs with could-not-compute operands. Catch CNCsNick Lewycky2008-10-131-72/+6
* Allow the construction of SCEVs with SCEVCouldNotCompute operands, byNick Lewycky2008-10-041-0/+67
* Finally re-apply r46959. This is made feasible by the combinationDan Gohman2008-09-161-2/+2
* Improve instcombine's handling of integer min and max in two ways:Dan Gohman2008-09-161-5/+0
* Teach ScalarEvolution to consider loop preheaders in the search forDan Gohman2008-09-151-8/+38
* Fix WriteAsOperand to not emit a leading space character. AdjustDan Gohman2008-09-141-4/+4
* Extend ScalarEvolution's executesAtLeastOnce logic to be able toDan Gohman2008-08-121-55/+57
* Canonicalize nested AddRecs in by nesting them in order of loop depth.Dan Gohman2008-08-081-0/+13