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

[hfinkel@anl.gov via llvm-commits]

hfinkel added a comment.

I like the idea of this function, but I'm somewhat nervous of adding such a generic facility with such a limited implementation. It would make me feel much better if it also had the following check: call computeKnownBits on V1 and V2, and return true if any of the bits known to be 1 in one value are known to be zero in the other. That would naturally leverage much more of the existing infrastructure.

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


Repository:
  rL LLVM

http://reviews.llvm.org/D12801