Lines Matching refs:zeroExtend
935 if (CR.truncate(TruncBits).zeroExtend(NewBits).contains(3371 ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));3512 ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));