Searched refs:OppositeBits (Results 1 – 1 of 1) sorted by relevance
1903 auto OppositeBits = (KnownZero1 & KnownOne2) | (KnownZero2 & KnownOne1); in isKnownNonEqual() local1904 if (OppositeBits.getBoolValue()) in isKnownNonEqual()