Searched refs:RHSNegative (Results 1 – 1 of 1) sorted by relevance
5914 bool RHSNegative = RHSKnown.isNegative(); in computeKnownBitsForTargetNode() local5918 if ((LHSNonNegative && RHSNonNegative) || (LHSNegative && RHSNegative)) in computeKnownBitsForTargetNode()5920 else if ((LHSNegative && RHSPositive) || (LHSPositive && RHSNegative)) in computeKnownBitsForTargetNode()