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