[PATCH] D98422: [Alias] Add a ah-hoc pattern with two PHI for isKnownNonEqual

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

I don't understand what the problem here is?

Sure, it's not great that we need to write yet another bicycle,
but it seems to me that the "only" change `isKnownNonEqual()` needs to support the motivational case
is to implement a variation of `isAddOfNonZero()` but for multiplications.


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

https://reviews.llvm.org/D98422