Searched refs:MaskKnown (Results 1 – 1 of 1) sorted by relevance
641 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local642 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()646 Known.Zero |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()647 Known.One |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()655 KnownBits MaskKnown(BitWidth); in computeKnownBitsFromAssume() local656 computeKnownBits(B, MaskKnown, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()660 Known.Zero |= RHSKnown.One & MaskKnown.One; in computeKnownBitsFromAssume()661 Known.One |= RHSKnown.Zero & MaskKnown.One; in computeKnownBitsFromAssume()