| Commit message (Expand) | Author | Age | Files | Lines |
* | Clean up some of the PassRegistry implementation, and pImpl-ize it to reduce ... | Owen Anderson | 2010-09-07 | 1 | -0/+2 |
* | Add completely hokey binary-and and binary-or operations to ConstantRange and | Nick Lewycky | 2010-09-07 | 1 | -0/+6 |
* | zap dead code. | Chris Lattner | 2010-09-04 | 1 | -4/+0 |
* | Add support for simplifying a load from a computed value to a load from a glo... | Owen Anderson | 2010-09-03 | 1 | -2/+11 |
* | Remove incorrect and poorly tested code for trying to reason about values on ... | Owen Anderson | 2010-09-02 | 1 | -16/+2 |
* | Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LV... | Owen Anderson | 2010-09-02 | 1 | -4/+0 |
* | It is possible to try to merge a not-constant with a constantrage, when deali... | Owen Anderson | 2010-08-30 | 1 | -2/+3 |
* | Improve the precision of getConstant(). | Owen Anderson | 2010-08-27 | 1 | -0/+5 |
* | Use LVI to eliminate conditional branches where we've tested a related condit... | Owen Anderson | 2010-08-27 | 1 | -1/+2 |
* | In the default address space, any GEP off of null results in a trap value if ... | Owen Anderson | 2010-08-25 | 1 | -4/+5 |
* | NULL loads are only invalid in the default address space. | Owen Anderson | 2010-08-24 | 1 | -1/+1 |
* | Add support for inferring values for the default cases of switches. | Owen Anderson | 2010-08-24 | 1 | -3/+22 |
* | Add support for inferring that a load from a pointer implies that it is not n... | Owen Anderson | 2010-08-24 | 1 | -4/+17 |
* | Don't assume that all constants with integer types are ConstantInts. | Owen Anderson | 2010-08-24 | 1 | -2/+11 |
* | Use ConstantRange to propagate information through value definitions. | Owen Anderson | 2010-08-18 | 1 | -4/+83 |
* | Inform LazyValueInfo whenever a block is deleted, to avoid dangling pointer i... | Owen Anderson | 2010-08-18 | 1 | -21/+47 |
* | Fix another iterator invalidation that caused a *really* nasty miscompilation... | Owen Anderson | 2010-08-16 | 1 | -6/+7 |
* | Fix a subtle use-after-free issue. | Owen Anderson | 2010-08-11 | 1 | -1/+4 |
* | Improve indentation. | Owen Anderson | 2010-08-11 | 1 | -27/+28 |
* | Now that we're using ConstantRange to represent potential values, make use of... | Owen Anderson | 2010-08-10 | 1 | -8/+35 |
* | Switch over to using ConstantRange to track integral values. | Owen Anderson | 2010-08-10 | 1 | -7/+44 |
* | Add ConstantRange information to the debugging output. | Owen Anderson | 2010-08-09 | 1 | -0/+3 |
* | Add the beginnings of infrastructure for range tracking. | Owen Anderson | 2010-08-05 | 1 | -6/+60 |
* | Split the tag and value members of LVILatticeVal in preparation for expanding... | Owen Anderson | 2010-08-05 | 1 | -14/+14 |
* | Add an initial implementation of PHI translation for LazyValueInfo. This inv... | Owen Anderson | 2010-07-30 | 1 | -35/+72 |
* | Revert my last two patches to LVI, which recent changes have exposed a miscom... | Owen Anderson | 2010-07-30 | 1 | -56/+94 |
* | Pass the queried value by argument rather than in a member, in preparation fo... | Owen Anderson | 2010-07-28 | 1 | -36/+25 |
* | Get rid of LVIQuery as a distinct data structure, so that we don't have to in... | Owen Anderson | 2010-07-28 | 1 | -93/+66 |
* | Rearrange several datastructures in LazyValueInfo to improve compile time. | Owen Anderson | 2010-07-27 | 1 | -69/+35 |
* | Add an initial implementation of LazyValueInfo updating for JumpThreading. D... | Owen Anderson | 2010-07-26 | 1 | -4/+89 |
* | Fix batch of converting RegisterPass<> to INTIALIZE_PASS(). | Owen Anderson | 2010-07-21 | 1 | -2/+2 |
* | Convert debug messages to use dbgs(). Generally this means | David Greene | 2009-12-23 | 1 | -7/+7 |
* | typo spotted by duncan. | Chris Lattner | 2009-11-16 | 1 | -1/+1 |
* | teach LVI to infer edge information from switch instructions. | Chris Lattner | 2009-11-15 | 1 | -6/+24 |
* | fix a logic error that would cause LVI-JT to miscompile | Chris Lattner | 2009-11-15 | 1 | -1/+1 |
* | implement the first stab at caching queries. This isn't correct | Chris Lattner | 2009-11-15 | 1 | -13/+97 |
* | refactor a bunch of code forming the new LazyValueInfoCache | Chris Lattner | 2009-11-15 | 1 | -94/+172 |
* | various fixes to the lattice transfer functions. | Chris Lattner | 2009-11-12 | 1 | -6/+27 |
* | Add a new getPredicateOnEdge method which returns more rich information for | Chris Lattner | 2009-11-12 | 1 | -17/+85 |
* | expose edge information and switch j-t to use it. | Chris Lattner | 2009-11-12 | 1 | -0/+21 |
* | move some stuff into DEBUG's and turn on lazy-value-info for | Chris Lattner | 2009-11-12 | 1 | -3/+5 |
* | make LazyValueInfo actually to some stuff. This isn't very tested but improves | Chris Lattner | 2009-11-11 | 1 | -8/+152 |
* | stub out some LazyValueInfo interfaces, and have JumpThreading | Chris Lattner | 2009-11-11 | 1 | -1/+116 |
* | Stub out a new lazy value info pass, which will eventually | Chris Lattner | 2009-11-11 | 1 | -0/+31 |