On Thu, 26 May 2011, Andrew Stubbs wrote: > On 25/05/11 14:47, Joseph S. Myers wrote: > > The shift must be by a positive constant amount, strictly less than the > > precision (GET_MODE_PRECISION) of the mode (of the value being shifted). > > If that applies, the relevant number of bits is the precision of the mode > > minus the number of bits of the shift. For an extension, just take the > > number of bits in the inner mode. Add the two numbers of bits; if the > > result does not exceed the number of bits in the mode (of the operands and > > the multiplication) then the multiplication won't overflow. > > I believe the attached should implement what you describe. > > Is the patch OK now?
It appears to implement the logic I described, so I have no further comments on it (but can't review it). -- Joseph S. Myers jos...@codesourcery.com