| commit | 6d282e5efc63167212990a478c9089710e9c4825 | [log] [tgz] |
|---|---|---|
| author | Chad Rosier <mcrosier@codeaurora.org> | Fri Apr 22 17:57:34 2016 +0000 |
| committer | Chad Rosier <mcrosier@codeaurora.org> | Fri Apr 22 17:57:34 2016 +0000 |
| tree | 8d2eec3dbfd6f5ee9834af7707e6f2c554738a9f | |
| parent | 0e44a1ed64502680e3d69281251b2be5a14011be [diff] |
[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