On 06/23/2011 04:41 PM, Andrew Stubbs wrote: > > I believe this should be legal as long as the top bit of both inputs is > guaranteed to be zero. The code achieves this guarantee by > zero-extending the inputs to a wider mode (which must still be narrower > than the output mode). Yes, that's correct. Paolo