projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1960d13) | patch
[SimplifyCFG] Add missing implications to isImpliedTrueByMatchingCmp.
authorChad Rosier <mcrosier@codeaurora.org>
Fri, 22 Apr 2016 17:14:12 +0000 (17:14 +0000)
committerChad Rosier <mcrosier@codeaurora.org>
Fri, 22 Apr 2016 17:14:12 +0000 (17:14 +0000)
commit3456cb5672715f9d7528cae17fbe1de395240a5c
tree0480c227ad5680329ecc1f7759c20c4b1a31cbdatree | snapshot
parent1960d13e29ad8520ebbec3d24fb4b0b58c548091commit | diff
[SimplifyCFG] Add missing implications to isImpliedTrueByMatchingCmp.

Summary: [u|s]gt and [u|s]lt imply [u|s]ge and [u|s]le are true, respectively.
I've simplified the existing tests and added additional tests to cover the new
cases mentioned above.  I've also added tests for all the cases where the
first compare doesn't imply anything about the second compare.

llvm-svn: 267171
llvm/lib/IR/Instructions.cpp diff | blob | history
llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll [new file with mode: 0644] blob
Domain: System / Toolchain;