Searched refs:isKnownNonNegativeOp0 (Results 1 – 1 of 1) sorted by relevance
462 bool isKnownNonNegativeOp0 = Known2.isNonNegative(); in computeKnownBitsMul() local467 (isKnownNonNegativeOp1 && isKnownNonNegativeOp0); in computeKnownBitsMul()472 (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in computeKnownBitsMul()