summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll
Commit message (Collapse)AuthorAgeFilesLines
* [InstSimplify] Handle more 'A </>/>=/<= B &&/|| (A - B) !=/== 0' patterns ↵Roman Lebedev2019-09-251-24/+8
| | | | | | | | | | | (PR43251) https://rise4fun.com/Alive/sl9s https://rise4fun.com/Alive/2plN https://bugs.llvm.org/show_bug.cgi?id=43251 llvm-svn: 372928
* [NFC][InstSimplify] More exaustive test coverage for 'A </>/>=/<= B &&/|| (A ↵Roman Lebedev2019-09-251-68/+245
| | | | | | - B) !=/== 0' pattern (PR43251) llvm-svn: 372927
* [InstSimplify] simplifyUnsignedRangeCheck(): handle few tautological cases ↵Roman Lebedev2019-09-141-12/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | (PR43251) Summary: This is split off from D67356, since these cases produce a constant, no real need to keep them in instcombine. Alive proofs: https://rise4fun.com/Alive/u7Fk https://rise4fun.com/Alive/4lV https://bugs.llvm.org/show_bug.cgi?id=43251 Reviewers: spatel, nikic, xbolva00 Reviewed By: spatel Subscribers: hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D67498 llvm-svn: 371921
* [NFC][InstSimplify] Add some more tests for D67498/D67502Roman Lebedev2019-09-131-0/+44
| | | | llvm-svn: 371877
* [InstCombine][InstSimplify] Move constant-folding tests in ↵Roman Lebedev2019-09-121-0/+140
result-of-usub-is-non-zero-and-no-overflow.ll llvm-svn: 371737
OpenPOWER on IntegriCloud