[PATCH] D12801: [ValueTracking] Add a new predicate: isKnownNonEqual()
firstname.lastname@example.org 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