Searched refs:MaskKnown (Results 1 – 1 of 1) sorted by relevance
632 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local633 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()637 Known.Zero |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()638 Known.One |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()646 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local647 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()651 Known.Zero |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()652 Known.One |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()