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