Hi Peter,

I cross checked it with a AFM model, and the results are indeed different.

The problem I think lies in how we treat de-normalized numbers which are too small to represent in half precision.

In case of qemu

>> if(exp < -10)

>> return signed/unsigned zero.

However, in case rounding is set, we ignore and we return zero. This may not be true and we may have a smallest possible denormalized number.

Thanks,

Gaurav

On Sun, Aug 17, 2014 at 1:14 AM, Peter Maydell <peter.maydell@linaro.org> wrote:

On 16 August 2014 20:06, Gaurav Sharma <gauravs.2010@gmail.com> wrote:
> Can some one confirm is this is an issue with qemu implementation ?

It's on my todo list to look at. If you want to confirm it as a QEMU
bug your best bet is to write a short test program and compare
the output on QEMU against running it on real hardware.

-- PMM