[PATCH] D67502: [InstSimplify] simplifyUnsignedRangeCheck(): '(a+b) </>= c &&/|| (a+b) ==/!= 0' if we known 'c' is 'a' or 'b' and is non-zero (PR43259)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:1393-1395
+    // Given  Y = (A - B)
+    //   Y >= A/B && Y != 0  --> false  iff A/B != 0
+    //   Y <  A/B || Y == 0  --> true   iff A/B != 0
----------------
lebedev.ri wrote:
> spatel wrote:
> > Comments don't match code.
> That's D67498
Actually, i don't see it?
Comments being added by this patch, or D67498?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D67502