]> granicus.if.org Git - llvm/commit
[InstSimplify] Handle more 'A </>/>=/<= B &&/|| (A - B) !=/== 0' patterns (PR43251)
authorRoman Lebedev <lebedev.ri@gmail.com>
Wed, 25 Sep 2019 22:59:41 +0000 (22:59 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Wed, 25 Sep 2019 22:59:41 +0000 (22:59 +0000)
commit04d4f957bc349c0f5991014f3f85ce39ebf97cb9
treed4432a17fbb2684fc6161cfcb4f53306c569359a
parent0b7541acda93f61b7c6ac788f5e53c6317c72894
[InstSimplify] Handle more 'A </>/>=/<= B &&/|| (A - B) !=/== 0' patterns (PR43251)

https://rise4fun.com/Alive/sl9s
https://rise4fun.com/Alive/2plN

https://bugs.llvm.org/show_bug.cgi?id=43251

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@372928 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp
test/Transforms/InstCombine/result-of-usub-is-non-zero-and-no-overflow.ll
test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll