[PATCH] D67498: [InstSimplify] simplifyUnsignedRangeCheck(): handle few tautological cases (PR43251)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:1388-1389
+  if (match(Y, m_Sub(m_Value(A), m_Value(B)))) {
+    // A >= B || (A - B) != 0  <-->  true
+    // A <  B && (A - B) == 0  <-->  false
+    if (match(UnsignedICmp,
----------------
spatel wrote:
> This doesn't seem general enough - we can handle more predicates at least:
> https://rise4fun.com/Alive/4lV
Thanks, will update.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67498/new/

https://reviews.llvm.org/D67498