Lines Matching refs:KnownOut
547 KnownBits Known2, KnownOut;689 KnownOut.Zero = (Known.Zero & Known2.Zero) | (Known.One & Known2.One);691 KnownOut.One = (Known.Zero & Known2.One) | (Known.One & Known2.Zero);721 Known = std::move(KnownOut);