| commit | c21feac46fc4ca1d34b5315954e49b1f29ab630f | |
| author | Nick Lewycky <nicholas@mxc.ca> | |
| Sat, 11 Jul 2009 06:15:39 +0000 (11 06:15 +0000) | ||
| committer | Nick Lewycky <nicholas@mxc.ca> | |
| Sat, 11 Jul 2009 06:15:39 +0000 (11 06:15 +0000) | ||
| tree | b84d8f3e90e0792979e903143e8d348386694c98 | treesnapshot (tar.gz zip) |
| parent | b5a5ab2df4bd8a61bac1be99f2e0a4b8493d964b | commitdiff |
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
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
| include/llvm/Support/ConstantRange.h | diffblobblamehistory | |
| lib/Support/ConstantRange.cpp | diffblobblamehistory | |
| lib/Transforms/Scalar/PredicateSimplifier.cpp | diffblobblamehistory |