[InstSimplify] simplifyUnsignedRangeCheck(): handle few tautological cases (PR43251)
authorRoman Lebedev <lebedev.ri@gmail.com>
Sat, 14 Sep 2019 13:47:27 +0000 (13:47 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Sat, 14 Sep 2019 13:47:27 +0000 (13:47 +0000)
commit9c5a4a4527bc6c06b0f889501aa48aa23ccb90a5
treee843091522b2188b38106457274bcbe80d483fa0
parent8f6d40e9b1856eb5b6462252b6994635b730b02a
[InstSimplify] simplifyUnsignedRangeCheck(): handle few tautological cases (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
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll