Chad Rosier 6d282e5efc [SimplifyCFG] Add final missing implications to isImpliedTrueByMatchingCmp.
Summary: eq imply [u|s]ge and [u|s]le are true.

Remove redundant logic by implementing isImpliedFalseByMatchingCmp(Pred1, Pred2)
as isImpliedTrueByMatchingCmp(Pred1, getInversePredicate(Pred2)).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@267177 91177308-0d34-0410-b5e6-96231b3b80d8
2016-04-22 17:57:34 +00:00
..
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-04-18 09:17:29 +00:00
2016-01-14 21:06:47 +00:00
2016-04-18 09:17:29 +00:00