[PATCH] D12801: [ValueTracking] Add a new predicate: isKnownNonEqual()

[hfinkel@anl.gov via llvm-commits]

hfinkel added a comment.

In http://reviews.llvm.org/D12801#251005, @hfinkel wrote:

>


...

> Also, I assume you're planning on soon using this somewhere?


You can ignore this; I see you're using it in http://reviews.llvm.org/D12801.


Repository:
  rL LLVM

http://reviews.llvm.org/D12801