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