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