| commit | b52675b643db496bcea218bd3d5fc5e23f523c22 | [log] [tgz] |
|---|---|---|
| author | Chris Lattner <sabre@nondot.org> | Thu Nov 12 04:36:58 2009 +0000 |
| committer | Chris Lattner <sabre@nondot.org> | Thu Nov 12 04:36:58 2009 +0000 |
| tree | 941e375d7a624bfdbd253bf6811efc0813584536 | |
| parent | 7707a0df5b00c8326a581205639d6b2871f182e9 [diff] |
Add a new getPredicateOnEdge method which returns more rich information for constant constraints. Improve the LVI lattice to include inequality constraints. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86950 91177308-0d34-0410-b5e6-96231b3b80d8