| commit | bf8c7f0adf90c8271c790be9922a2f97d19d4c01 | [log] [tgz] |
|---|---|---|
| author | Nick Lewycky <nicholas@mxc.ca> | Sat Jul 11 06:15:39 2009 +0000 |
| committer | Nick Lewycky <nicholas@mxc.ca> | Sat Jul 11 06:15:39 2009 +0000 |
| tree | b84d8f3e90e0792979e903143e8d348386694c98 | |
| parent | 8955e93b1ffa7645beea0b51e4b091b96063f613 [diff] |
Move a method that creates constant ranges relative to another constant range per icmp predicate out of predsimplify and into ConstantRange. Add another utility method that determines whether one range is a subset of another. Combine with the former to determine whether icmp pred range, range is known to be true or not. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75357 91177308-0d34-0410-b5e6-96231b3b80d8