llvm-6502/test/Analysis
Dan Gohman 0f4b285a5b 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
2009-07-21 23:03:19 +00:00
..
Andersens
BasicAA
CallGraph
Dominators
GlobalsModRef
LoopDependenceAnalysis
LoopInfo
PointerTracking
PostDominators
ScalarEvolution Replace the original ad-hoc code for determining whether (v pred w) implies 2009-07-21 23:03:19 +00:00