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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:3150
+    if (!Cmp->isEquality())
+      continue;
+
----------------
Equality check and Operand checks are probably faster than valid assume check.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D159402