aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/LazyValueInfo.cpp
AgeCommit message (Expand)Author
2011-01-15Teach LazyValueInfo that allocas aren't NULL. Over all of llvm-test, this savesNick Lewycky
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
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-18Make LazyValueInfo non-recursive.Nick Lewycky
2010-12-15Move Value::getUnderlyingObject to be a standaloneDan Gohman
2010-12-15Clean up some of LVI:Nick Lewycky
2010-12-09Take the first step towards making LVI non-recursive: get rid of the LVIQuery...Owen Anderson
2010-10-07Now with fewer extraneous semicolons!Owen Anderson
2010-09-16It is possible, under specific circumstances involving ptrtoint ConstantExpr'...Owen Anderson
2010-09-07Clean up some of the PassRegistry implementation, and pImpl-ize it to reduce ...Owen Anderson
2010-09-07Add completely hokey binary-and and binary-or operations to ConstantRange andNick Lewycky
2010-09-04zap dead code.Chris Lattner
2010-09-03Add support for simplifying a load from a computed value to a load from a glo...Owen Anderson
2010-09-02Remove incorrect and poorly tested code for trying to reason about values on ...Owen Anderson
2010-09-02Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LV...Owen Anderson
2010-08-30It is possible to try to merge a not-constant with a constantrage, when deali...Owen Anderson
2010-08-27Improve the precision of getConstant().Owen Anderson
2010-08-27Use LVI to eliminate conditional branches where we've tested a related condit...Owen Anderson
2010-08-25In the default address space, any GEP off of null results in a trap value if ...Owen Anderson
2010-08-24NULL loads are only invalid in the default address space.Owen Anderson
2010-08-24Add support for inferring values for the default cases of switches.Owen Anderson
2010-08-24Add support for inferring that a load from a pointer implies that it is not n...Owen Anderson
2010-08-24Don't assume that all constants with integer types are ConstantInts.Owen Anderson
2010-08-18Use ConstantRange to propagate information through value definitions.Owen Anderson
2010-08-18Inform LazyValueInfo whenever a block is deleted, to avoid dangling pointer i...Owen Anderson
2010-08-16Fix another iterator invalidation that caused a *really* nasty miscompilation...Owen Anderson
2010-08-11Fix a subtle use-after-free issue.Owen Anderson
2010-08-11Improve indentation.Owen Anderson
2010-08-10Now that we're using ConstantRange to represent potential values, make use of...Owen Anderson
2010-08-10Switch over to using ConstantRange to track integral values.Owen Anderson
2010-08-09Add ConstantRange information to the debugging output.Owen Anderson
2010-08-05Add the beginnings of infrastructure for range tracking.Owen Anderson
2010-08-05Split the tag and value members of LVILatticeVal in preparation for expanding...Owen Anderson
2010-07-30Add an initial implementation of PHI translation for LazyValueInfo. This inv...Owen Anderson
2010-07-30Revert my last two patches to LVI, which recent changes have exposed a miscom...Owen Anderson
2010-07-28Pass the queried value by argument rather than in a member, in preparation fo...Owen Anderson
2010-07-28Get rid of LVIQuery as a distinct data structure, so that we don't have to in...Owen Anderson
2010-07-27Rearrange several datastructures in LazyValueInfo to improve compile time.Owen Anderson
2010-07-26Add an initial implementation of LazyValueInfo updating for JumpThreading. D...Owen Anderson
2010-07-21Fix batch of converting RegisterPass<> to INTIALIZE_PASS().Owen Anderson
2009-12-23Convert debug messages to use dbgs(). Generally this meansDavid Greene
2009-11-16typo spotted by duncan.Chris Lattner
2009-11-15teach LVI to infer edge information from switch instructions.Chris Lattner
2009-11-15fix a logic error that would cause LVI-JT to miscompileChris Lattner