Lines Matching defs:Overflow
130 // not overflow. This function only handles the Add and Sub opcodes. For
154 bool Overflow = false;
157 BVal.sadd_ov(CVal, Overflow);
159 BVal.ssub_ov(CVal, Overflow);
162 return !Overflow;
386 // but this requires knowing that the addition does not overflow and other
830 /// the multiplication is known not to overflow then NoSignedWrap is set.
873 // levels that doesn't overflow.
975 // Scale and the multiplication Y * SmallScale should not overflow.
980 // Require that Y * SmallScale must not overflow.
993 // always holds. However (trunc Y) * Scale may overflow even if
1017 // not to overflow.
1031 // on the following observation: if X * Y is known not to overflow as a signed
1033 // then X * Z will not overflow as a signed multiplication either. As we work
1270 // If the multiplication NewIdx * Scale may overflow then the new
1305 // If the multiplication NewIdx * Scale may overflow then the new
1727 // Check if we're grabbing the overflow bit or the result of a 'with
1728 // overflow' intrinsic. If it's the latter we can remove the intrinsic
1742 // overflow = uadd a, -4 --> overflow = icmp ugt a, 3
