[PATCH] D92726: Teach isKnownNonEqual how to recurse through invertable multiplies

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added inline comments.
This revision now requires changes to proceed.


================
Comment at: llvm/test/Analysis/ValueTracking/known-non-equal.ll:161
+  ret i1 %cmp
+}
+
----------------
I don't think this is right if `%C` can be zero. In that case `%A.op == %B.op` regardless of what the relation between `%A` and `%B` is.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92726