On Thu, 2011-05-26 at 14:35 +0100, 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? > > Andrew
OK. R.
