Lines Matching refs:Overflow
125 // not overflow. This function only handles the Add and Sub opcodes. For
141 bool Overflow = false;
143 BVal->sadd_ov(*CVal, Overflow);
145 BVal->ssub_ov(*CVal, Overflow);
147 return !Overflow;
395 // but this requires knowing that the addition does not overflow and other
997 /// If the multiplication is known not to overflow, then NoSignedWrap is set.
1040 // overflow.
1142 // Scale and the multiplication Y * SmallScale should not overflow.
1147 // Require that Y * SmallScale must not overflow.
1160 // always holds. However (trunc Y) * Scale may overflow even if
1190 // not to overflow.
1204 // on the following observation: if X * Y is known not to overflow as a signed
1206 // then X * Z will not overflow as a signed multiplication either. As we work
1725 // If the multiplication NewIdx * Scale may overflow then the new
1764 // If the multiplication NewIdx * Scale may overflow then the new
2297 // Check if we're grabbing the overflow bit or the result of a 'with
2298 // overflow' intrinsic. If it's the latter we can remove the intrinsic
2312 // overflow = uadd a, -4 --> overflow = icmp ugt a, 3
