Searched refs:isKnownNonNegativeOp1 (Results 1 – 1 of 1) sorted by relevance
339 bool isKnownNonNegativeOp1 = Known.isNonNegative(); in computeKnownBitsMul() local345 (isKnownNonNegativeOp1 && isKnownNonNegativeOp0); in computeKnownBitsMul()351 (isKnownNegativeOp0 && isKnownNonNegativeOp1 && in computeKnownBitsMul()