Lines Matching full:signextend
1623 if (CR.truncate(TruncBits).signExtend(NewBits).contains(4273 ConservativeResult.intersectWith(X.signExtend(BitWidth)));
