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
