[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)
commit914a3d1cf2e7fa93ab6972dd9f9d9bc525b10dd5
tree8db6d4f28d75d5ea024ac773c765084c4e6e0d68
parent26606bec9a2ab9f98869d518359f8ab719e5dd0f
[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

llvm-svn: 372928
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstCombine/result-of-usub-is-non-zero-and-no-overflow.ll
llvm/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll