aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/LazyValueInfo.cpp
AgeCommit message (Expand)Author
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
2009-11-15implement the first stab at caching queries. This isn't correctChris Lattner
2009-11-15refactor a bunch of code forming the new LazyValueInfoCacheChris Lattner
2009-11-12various fixes to the lattice transfer functions.Chris Lattner
2009-11-12Add a new getPredicateOnEdge method which returns more rich information forChris Lattner
2009-11-12expose edge information and switch j-t to use it.Chris Lattner
2009-11-12move some stuff into DEBUG's and turn on lazy-value-info forChris Lattner
2009-11-11make LazyValueInfo actually to some stuff. This isn't very tested but improvesChris Lattner
2009-11-11stub out some LazyValueInfo interfaces, and have JumpThreadingChris Lattner
2009-11-11Stub out a new lazy value info pass, which will eventuallyChris Lattner