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

hfinkel@anl.gov via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 22 13:55:49 PDT 2015

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?



More information about the llvm-commits mailing list