commit | 0f4b285a5b86b1e9c6e27bb46028dfbb77bb5db4 | [log] [tgz] |
---|---|---|
author | Dan Gohman <gohman@apple.com> | Tue Jul 21 23:03:19 2009 +0000 |
committer | Dan Gohman <gohman@apple.com> | Tue Jul 21 23:03:19 2009 +0000 |
tree | aa1ae81cbf2b60beca871def317801b7483006be | |
parent | 47b1e2afd0dc11e90d4e74a48db5b10d4efa6cf5 [diff] |
Replace the original ad-hoc code for determining whether (v pred w) implies (x pred y) with more thorough code that does more complete canonicalization before resorting to range checks. This helps it find more cases where the canonicalized expressions match. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76671 91177308-0d34-0410-b5e6-96231b3b80d8