aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2011-01-11Turn on memdep's verifyRemoved() in an attempt to smoke out the cause of our ...Jakob Stoklund Olesen
2011-01-11Teach constant folding to perform conversions from constant floatingChandler Carruth
2011-01-10Cleanup some of the constant folding code to consistently test intrinsicChandler Carruth
2011-01-09add a fixme: ir isn't expressive enough.Chris Lattner
2011-01-09Step #4 in improving trip count analysis: HowFarToZero can analyzeChris Lattner
2011-01-09rearrange some code, no functionality change.Chris Lattner
2011-01-09Step #3 to improving trip count analysis: If we foldChris Lattner
2011-01-09Step #2 to improve trip count analysis for loops like this:Chris Lattner
2011-01-09teach SCEV analysis of PHI nodes that PHI recurences formedChris Lattner
2011-01-09reduce indentation. Print <nuw> and <nsw> when dumping SCEV AddRec'sChris Lattner
2011-01-06use isNullValue() to simplify code, add an assert.Chris Lattner
2011-01-06implement constant folding support for an exotic constant expr:Chris Lattner
2011-01-05Reorder, rename, and document some members to make this easier to follow.Owen Anderson
2011-01-05When computing the value on an edge, in certain cases LVI would fail to compu...Owen Anderson
2011-01-05Re-convert several of LazyValueInfo's internal maps to Dense{Map|Set}, and fi...Owen Anderson
2011-01-04fix an off-by-one bug that caused a crash analyzingChris Lattner
2011-01-03Use the new addEscapingValue callback to update GlobalsModRef when GVN adds P...Owen Anderson
2011-01-03Stub out a new updating interface to AliasAnalysis, allowing stateful analyse...Owen Anderson
2011-01-03fix rdar://8813415 - a miscompilation of 164.gzip that loop-idiomChris Lattner
2011-01-03Add spliceFunction to the CallGraph interface. This allows users to efficientlyNick Lewycky
2011-01-02split dom frontier handling stuff out to its own DominanceFrontier header,Chris Lattner
2011-01-01Revert commit 122654 at the request of Chris, who reckons that instsimplifyDuncan Sands
2011-01-01Fix a README item by having InstructionSimplify do a mild form of valueDuncan Sands
2010-12-28Cast away "comparison between signed and unsigned integer" warnings.Benjamin Kramer
2010-12-26move isBytewiseValue out to ValueTracking.h/cppChris Lattner
2010-12-23Change all self assignments X=X to (void)X, so that we can turn on aJeffrey Yasskin
2010-12-22When determining whether the new instruction was already present inDuncan Sands
2010-12-22Add some statistics, good for understanding how much more powerfulDuncan Sands
2010-12-21While I don't think any later transforms can fire, it seems cleaner toDuncan Sands
2010-12-21Fix inverted condition noticed by Frits van Bommel.Duncan Sands
2010-12-21Pull a few more simplifications out of instcombine (there are stillDuncan Sands
2010-12-21Teach InstructionSimplify about distributive laws. These transforms fireDuncan Sands
2010-12-21Move checking of the recursion limit into the various Thread methods.Duncan Sands
2010-12-21Add generic simplification of associative operations, generalizingDuncan Sands
2010-12-20Speculatively revert the use of DenseMap in LazyValueInfo, which may be causi...Owen Anderson
2010-12-20Attempt to appease the DragonEgg buildbots.Owen Anderson
2010-12-20Convert one of LVI's primary maps to a DenseMap, now that we know are more as...Owen Anderson
2010-12-20More LVI cleanups, including trying to simplify the process of maintaining th...Owen Anderson
2010-12-20Reuse the reference into the LVI cache throughout the solver subsystem. This...Owen Anderson
2010-12-20Have SimplifyBinOp dispatch Xor, Add and Sub to the corresponding methodsDuncan Sands
2010-12-18Make LazyValueInfo non-recursive.Nick Lewycky
2010-12-17Add vector versions of some existing scalar transforms to aid codegen in matc...Nate Begeman
2010-12-16Update a comment.Dan Gohman
2010-12-16Make memcpyopt TBAA-aware.Dan Gohman
2010-12-15Enable TBAA by default.Dan Gohman
2010-12-15Reapply r121886, and also update DecomposeGEPExpression to keepDan Gohman
2010-12-15Revert r121886. DecomposeGEPExpression needs to be keptDan Gohman
2010-12-15Strengthen GetUnderlyingObject using InstructionSimplify.Dan Gohman
2010-12-15Move Value::getUnderlyingObject to be a standaloneDan Gohman
2010-12-15Clean up some of LVI:Nick Lewycky