aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ScalarEvolution.cpp
AgeCommit message (Expand)Author
2009-06-22Delete an unused variable.Dan Gohman
2009-06-21Fix ScalarEvolution's backedge-taken count computations to check forDan Gohman
2009-06-20Generalize isLoopGuardedByCond's checking to consider twoDan Gohman
2009-06-20Use ScalarEvolution's new GetMinSignBits and GetMinLeadingZerosDan Gohman
2009-06-19Make GetMinTrailingZeros a member function of ScalarEvolution,Dan Gohman
2009-06-19Make ScalarEvolution::print print getSCEVAtScope values forDan Gohman
2009-06-18Add a parent pointer to SCEV, in preparation for getting rid of the global un...Owen Anderson
2009-06-18Recognize n != 0 ? n : 1 as umax(n, 1). Previously only ULT/UGT/ULE/UGEDan Gohman
2009-06-18Update a comment to reflect the code.Dan Gohman
2009-06-18Fix trailing whitespace from ScalarEvolution::print.Dan Gohman
2009-06-18Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.Dan Gohman
2009-06-17Delete unnecessary braces.Dan Gohman
2009-06-17Fix ScalarEvolution's Xor handling to not assume that an AndDan Gohman
2009-06-16Instcombine's ShrinkDemandedConstant may strip bits out of constants,Dan Gohman
2009-06-15Support vector casts in more places, fixing a variety of assertionDan Gohman
2009-06-14Implement more aggressive folding of add operand lists whenDan Gohman
2009-06-14Check for the short-circuiting condition before performingDan Gohman
2009-06-14Do compare constant SCEV values in SCEVComplexityCompare, becauseDan Gohman
2009-06-14Convert several parts of the ScalarEvolution framework to useDan Gohman
2009-06-13Add a ScalarEvolution::getAnyExtendExpr utility function for performingDan Gohman
2009-06-06Rename UnknownValue to CouldNotCompute, since it holds an instance ofDan Gohman
2009-06-05Simplify.Devang Patel
2009-06-05Remove some unnecessary #includes.Dan Gohman
2009-05-26For the return type of SCEVUDivExpr, use the RHS' type instead ofDan Gohman
2009-05-24Various comment fixes.Dan Gohman
2009-05-24Change ScalarEvolution::getSCEVAtScope to always return the original valueDan Gohman
2009-05-20Teach SCEV::isLoopInvariant and SCEV::hasComputableLoopEvolutionDan Gohman
2009-05-19Make SCEVCallbackVH a private nested class inside ScalarEvolution, asDan Gohman
2009-05-19Teach SCEVExpander to expand arithmetic involving pointers into GEPDan Gohman
2009-05-18Silence Release-Asserts warnings.Daniel Dunbar
2009-05-18Teach ScalarEvolution to recognize x^-1 in the case where non-demandedDan Gohman
2009-05-18Delete a redundant 'else'.Dan Gohman
2009-05-18Fix ScalarEvolution::isLoopGuardedByCond to accept a null Loop*, forDan Gohman
2009-05-18Minor code cleanups. Do more of the work before the if statementsDan Gohman
2009-05-18Add assertion checks to the SCEV operator creation methods to catchDan Gohman
2009-05-18Make ScalarEvolution::isLoopGuardedByCond work even when the edgeDan Gohman
2009-05-18Add an isOne() utility function to ScalarEvolution, similar to isZero()Dan Gohman
2009-05-13Add three new helper routines, getNoopOrZeroExtend,Dan Gohman
2009-05-12When forgetting SCEVs for loop PHIs, don't forget SCEVUnknown values.Dan Gohman
2009-05-12Fix GetMinTrailingZeros for SCEVSignExtend and SCEVZeroExtendExpr toDan Gohman
2009-05-09Allow scalar evolution to compute iteration counts for loops with a Eli Friedman
2009-05-09Rename PaddedSize to AllocSize, in the hope that thisDuncan Sands
2009-05-09Don't attempt to handle unsized types in ScalarEvolution's GEP analyzer.Dan Gohman
2009-05-08Fix bogus overflow checks by replacing them with actualDan Gohman
2009-05-08Fold trunc casts into add-recurrence expressions, allowing theDan Gohman
2009-05-08Fix another bug in r71252. This code supports GetElementPtrDan Gohman
2009-05-08Add memoization for getSCEVAtScope results for instructionsDan Gohman
2009-05-08Make the SCEV* form of getSCEVAtScope public, to allow ScalarEvolutionDan Gohman
2009-05-08Fix an error from r71252.Dan Gohman
2009-05-08Factor out the code for creating SCEVs for GEPs into aDan Gohman