projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b909e9) | patch
[SimplifyCFG] Add final missing implications to isImpliedTrueByMatchingCmp.
authorChad Rosier <mcrosier@codeaurora.org>
Fri, 22 Apr 2016 17:57:34 +0000 (17:57 +0000)
committerChad Rosier <mcrosier@codeaurora.org>
Fri, 22 Apr 2016 17:57:34 +0000 (17:57 +0000)
commit1a601590640f6af67873bf0a72cbf4de39bad95f
tree5edd298c98951e2ad8053fd4ba9eb3d30649b458tree | snapshot
parent2b909e9917b27568f256aece48b5c3d5f07d3ad0commit | 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)).

llvm-svn: 267177
llvm/lib/IR/Instructions.cpp diff | blob | history
llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll diff | blob | history
Domain: System / Toolchain;