Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOne bit sets. NOTE: we cannot consider 'undef' to be "IsZero" here. The problem is that we cannot optimize based on the assumption that it is zero without changing it to be an explicit zero. If we don't change it to zero, other code could optimized based on the contradictory assumption that it is
source not stored for this graph (policy: none)
no test coverage detected