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

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:2520
+  // requires our operation be 1-to-1 and map every input value to exactly
+  // one output value.  Such an operation is invertable.
   auto *O1 = dyn_cast<Operator>(V1);
----------------
nit: invertable -> invertible


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

https://reviews.llvm.org/D92726