aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2010-11-18Add support for PHI-translating sext, zext, and trunc instructions,Dan Gohman
2010-11-18Introduce memoization for ScalarEvolution dominates and properlyDominatesDan Gohman
2010-11-17Factor out the code for purging a SCEV from all the various memoization maps.Dan Gohman
2010-11-17Merge the implementations of isLoopInvariant and hasComputableLoopEvolution, andDan Gohman
2010-11-17Make SCEV::getType() and SCEV::print non-virtual. Move SCEV::hasOperandDan Gohman
2010-11-17Move SCEV::dominates and properlyDominates to ScalarEvolution.Dan Gohman
2010-11-17Move SCEV::isLoopInvariant and hasComputableLoopEvolution to be memberDan Gohman
2010-11-17Before replacing a phi node with a different value, itDuncan Sands
2010-11-17Verify SCEVAddRecExpr's invariant in ScalarEvolution::getAddRecExprDan Gohman
2010-11-17Fix ScalarEvolution's range memoization to avoid using aDan Gohman
2010-11-17Move some those Xor simplifications which don't require creating newDuncan Sands
2010-11-17Now that hasConstantValue has been made simpler, it may return theDuncan Sands
2010-11-17Previously SimplifyInstruction could report that an instructionDuncan Sands
2010-11-17Fix a layering violation: hasConstantValue, which is part of the PHINodeDuncan Sands
2010-11-17Have ScalarEvolution use SimplifyInstruction rather than hasConstantValue.Duncan Sands
2010-11-17Memoize results from ScalarEvolution's getUnsignedRange and getSignedRange.Dan Gohman
2010-11-16In which I discover the existence of loops. Threading an operationDuncan Sands
2010-11-15Teach InstructionSimplify the trick of skipping incoming phiDuncan Sands
2010-11-14If dom tree information is available, make it possible to passDuncan Sands
2010-11-14Teach InstructionSimplify about phi nodes. I chose to have it simplyDuncan Sands
2010-11-14Boost the power of phi node constant folding slightly: if allDuncan Sands
2010-11-14Strip trailing whitespace.Duncan Sands
2010-11-13Fix typo pointed out by Trevor Harmon.Duncan Sands
2010-11-12Re-disable TBAA for now; it broke MultiSource/Applications/JM/lencod,Dan Gohman
2010-11-12Enable TBAA.Dan Gohman
2010-11-11Add helper functions for computing the Location of load, store,Dan Gohman
2010-11-11Don't forget the TBAA info, if available.Dan Gohman
2010-11-11Avoid calling alias on non-pointer values.Dan Gohman
2010-11-11It's not necessary to clear out the Size and TBAATag at each ofDan Gohman
2010-11-11Set NonLocalDepInfo's Size field to UnknownSize when invalidatingDan Gohman
2010-11-10When clearing a non-local pointer dependency cache entry, clearDan Gohman
2010-11-10Take care of special characters while creating named MDNode name to hold func...Devang Patel
2010-11-10Factor out the code for computing an AliasAnalysis::LocationDan Gohman
2010-11-10Fully invalidate cached results when a prior query's size orDan Gohman
2010-11-10Reduce the maximum recursion depth, 5 seems pointlessly too much.Duncan Sands
2010-11-10Enhance GVN to do more precise alias queries for non-local memoryDan Gohman
2010-11-10Teach InstructionSimplify how to look through PHI nodes. Since PHIDuncan Sands
2010-11-10Add a doesAccessArgPointees helper function, and update code to useDan Gohman
2010-11-10Simplify binary operations where one operand is a select instruction.Duncan Sands
2010-11-10Make ModRefBehavior a lattice. Use this to clean up AliasAnalysisDan Gohman
2010-11-09VAArg doesn't capture its operand.Dan Gohman
2010-11-09Teach AliasAnalysis about AccessesArgumentsReadonly.Dan Gohman
2010-11-09Teach LICM and AliasSetTracker about AccessesArgumentsReadonly.Dan Gohman
2010-11-09Factorize code, no functionality change.Duncan Sands
2010-11-08Re-introduce the MaxLookup limit to BasicAliasAnalysis'Dan Gohman
2010-11-08Implement getModRefBehavior for TypeBasedAliasAnalysis.Dan Gohman
2010-11-08Extend the AliasAnalysis::pointsToConstantMemory interface to allow itDan Gohman
2010-11-08Delete getIntrinsicModRefBehavior. Clients can just use the normalDan Gohman
2010-11-08Teach BasicAliasAnalysis::getModRefBehavior(const Function *F)Dan Gohman
2010-11-07Add simplification of floating point comparisons with the resultDuncan Sands