[PATCH] D159402: [ValueTracking] Consider assumptions in isKnownNonEqual

[Marc Auberer via Phabricator via llvm-commits]

marcauberer abandoned this revision.
marcauberer added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:3164
+}
+
 /// Return true if it is known that V1 != V2.
----------------
goldstein.w.n wrote:
> In generaly I'm not sure how valuable this is. Does it affect any of the codes in LLVM test suite or any common patterns?
The original use case vanished due to switching to a calculateKnownBits-approach.
So I think the relevant use cases are covered with calculateKnownBits, which is also refered by isKnownNonEqual for int and int vector types.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D159402