1 Commits

Author	SHA1	Message	Date
Dan Gohman	430f0cc544	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. llvm-svn: 76671	2009-07-21 23:03:19 +00:00