Searched refs:MaskKnown (Results 1 – 1 of 1) sorted by relevance
718 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local719 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()723 Known.Zero |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()724 Known.One |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()731 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local732 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()736 Known.Zero |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()737 Known.One |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()